runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/uns-trendy-0.0002/huge1.cudf.cudf_set.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/cudf_set/huge1.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/huge1.cudf.cudf_set.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.92 0.93 0.91 2/37 3956 /proc/meminfo: memFree=957132/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2884 CPUtime=0 /proc/3956/stat : 3956 (runsolver) D 3955 3956 3447 769 3447 4202560 74 0 0 0 0 0 0 0 25 0 1 0 526221387 2953216 93 1283457024 134512640 134586868 4292200368 18446744073709551615 4158342186 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/3956/statm: 721 93 62 19 0 53 0 [startup+0.183255 s] /proc/loadavg: 0.92 0.93 0.91 2/37 3956 /proc/meminfo: memFree=957132/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.207251 s] /proc/loadavg: 0.92 0.93 0.91 2/37 3956 /proc/meminfo: memFree=957132/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.307242 s] /proc/loadavg: 0.92 0.93 0.91 2/37 3956 /proc/meminfo: memFree=957132/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.707633 s] /proc/loadavg: 0.92 0.93 0.91 2/37 3956 /proc/meminfo: memFree=957132/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.50512 s] /proc/loadavg: 0.92 0.93 0.91 2/39 3958 /proc/meminfo: memFree=943984/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=20908 CPUtime=1.19 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 3451 0 52 0 118 1 0 0 25 0 1 0 526221388 21409792 2574 1283457024 134512640 140938604 4293987344 18446744073709551615 137597989 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 5227 2574 557 1569 0 3281 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 23296 [startup+3.10557 s] /proc/loadavg: 0.92 0.93 0.91 2/39 3958 /proc/meminfo: memFree=939088/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=27776 CPUtime=2.78 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 5844 0 54 0 276 2 0 0 25 0 1 0 526221388 28442624 3877 1283457024 134512640 140938604 4293987344 18446744073709551615 135091445 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 6944 3877 650 1569 0 4998 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 30164 [startup+6.30622 s] /proc/loadavg: 0.93 0.94 0.91 2/39 3958 /proc/meminfo: memFree=938468/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=23544 CPUtime=5.97 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 7828 0 54 0 595 2 0 0 25 0 1 0 526221388 24109056 3364 1283457024 134512640 140938604 4293987344 18446744073709551615 138325925 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 5886 3364 664 1569 0 3940 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 25932 [startup+12.7075 s] /proc/loadavg: 0.93 0.94 0.91 2/39 3958 /proc/meminfo: memFree=940576/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=24248 CPUtime=12.36 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 11816 0 54 0 1233 3 0 0 25 0 1 0 526221388 24829952 3537 1283457024 134512640 140938604 4293987344 18446744073709551615 135307297 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 6062 3537 667 1569 0 4116 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 26636 [startup+25.5101 s] /proc/loadavg: 0.95 0.94 0.91 2/39 3958 /proc/meminfo: memFree=940080/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=24024 CPUtime=25.15 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 29279 0 54 0 2506 9 0 0 25 0 1 0 526221388 24600576 3476 1283457024 134512640 140938604 4293987344 18446744073709551615 137540030 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 6006 3476 665 1569 0 4060 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 26412 [startup+51.1045 s] /proc/loadavg: 0.96 0.94 0.91 2/39 3958 /proc/meminfo: memFree=940204/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=23876 CPUtime=50.74 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 60863 0 54 0 5046 28 0 0 25 0 1 0 526221388 24449024 3445 1283457024 134512640 140938604 4293987344 18446744073709551615 135304416 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 5969 3445 681 1569 0 4023 0 Current children cumulated CPU time (s) 50.74 Current children cumulated vsize (KiB) 26264 [startup+102.315 s] /proc/loadavg: 0.98 0.95 0.91 2/39 3958 /proc/meminfo: memFree=940948/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=22652 CPUtime=101.95 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 90793 0 54 0 10160 35 0 0 25 0 1 0 526221388 23195648 3337 1283457024 134512640 140938604 4293987344 18446744073709551615 135081095 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 5663 3337 711 1569 0 3717 0 Current children cumulated CPU time (s) 101.95 Current children cumulated vsize (KiB) 25040 [startup+162.303 s] /proc/loadavg: 0.99 0.95 0.91 2/39 3958 /proc/meminfo: memFree=940576/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=22872 CPUtime=161.94 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 102002 0 54 0 16154 40 0 0 25 0 1 0 526221388 23420928 3414 1283457024 134512640 140938604 4293987344 18446744073709551615 135307313 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 5718 3414 713 1569 0 3772 0 Current children cumulated CPU time (s) 161.94 Current children cumulated vsize (KiB) 25260 [startup+222.306 s] /proc/loadavg: 0.99 0.96 0.91 2/39 3958 /proc/meminfo: memFree=940452/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=23072 CPUtime=221.83 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 112992 0 54 0 22130 53 0 0 25 0 1 0 526221388 23625728 3468 1283457024 134512640 140938604 4293987344 18446744073709551615 135076166 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 5768 3468 713 1569 0 3822 0 Current children cumulated CPU time (s) 221.83 Current children cumulated vsize (KiB) 25460 [startup+282.306 s] /proc/loadavg: 0.99 0.97 0.91 2/39 3958 /proc/meminfo: memFree=940452/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=23128 CPUtime=281.83 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 120265 0 54 0 28127 56 0 0 25 0 1 0 526221388 23683072 3484 1283457024 134512640 140938604 4293987344 18446744073709551615 135076156 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 5782 3484 713 1569 0 3836 0 Current children cumulated CPU time (s) 281.83 Current children cumulated vsize (KiB) 25516 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.509 s] /proc/loadavg: 0.99 0.97 0.91 2/39 3958 /proc/meminfo: memFree=940576/1048576 swapFree=2091896/2097144 [pid=3956] ppid=3955 vsize=2388 CPUtime=0 /proc/3956/stat : 3956 (uns-trendy-0.00) S 3955 3956 3447 769 3447 4194304 365 0 0 0 0 0 0 0 25 0 1 0 526221387 2445312 261 1283457024 134512640 135191968 4287542272 18446744073709551615 4159220126 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3956/statm: 597 261 221 166 0 29 0 [pid=3958] ppid=3956 vsize=22788 CPUtime=290.04 /proc/3958/stat : 3958 (cudfsolver-stat) R 3956 3956 3447 769 3447 4202496 125332 0 54 0 28945 59 0 0 25 0 1 0 526221388 23334912 3401 1283457024 134512640 140938604 4293987344 18446744073709551615 138303828 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3958/statm: 5697 3401 713 1569 0 3751 0 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (KiB) 25176 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 138 Real time (s): 290.515 CPU time (s): 290.046 CPU user time (s): 289.454 CPU system time (s): 0.592037 CPU usage (%): 99.8387 Max. virtual memory (cumulated for all children) (KiB): 32000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 289.454 system time used= 0.592037 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125709 page faults= 54 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 64 involuntary context switches= 3498 runsolver used 0 second user time and 0.004 second system time The end