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-paranoid-0.0002/1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/debian-dudf//1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/uns-paranoid-0.0002/1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.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: 1.29 1.05 0.98 3/40 5141 /proc/meminfo: memFree=433160/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=6804 CPUtime=0.01 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 261 0 0 0 1 0 0 0 25 0 1 0 526503017 6967296 203 1283457024 134512640 140938604 4293935552 18446744073709551615 140190608 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 1701 203 132 1569 0 109 0 [startup+0.155411 s] /proc/loadavg: 1.29 1.05 0.98 3/40 5141 /proc/meminfo: memFree=433160/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=14032 CPUtime=0.16 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 2067 0 0 0 14 2 0 0 25 0 1 0 526503017 14368768 1980 1283457024 134512640 140938604 4293935552 18446744073709551615 140397918 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 3508 1980 132 1569 0 1916 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 16416 [startup+0.205432 s] /proc/loadavg: 1.29 1.05 0.98 3/40 5141 /proc/meminfo: memFree=433160/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=16100 CPUtime=0.21 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 2593 0 0 0 19 2 0 0 25 0 1 0 526503017 16486400 2506 1283457024 134512640 140938604 4293935552 18446744073709551615 140172354 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 4025 2506 132 1569 0 2433 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 18484 [startup+0.305465 s] /proc/loadavg: 1.29 1.05 0.98 3/40 5141 /proc/meminfo: memFree=433160/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=20456 CPUtime=0.31 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 3697 0 0 0 29 2 0 0 25 0 1 0 526503017 20946944 3578 1283457024 134512640 140938604 4293935552 18446744073709551615 140190617 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 5114 3578 132 1569 0 3522 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 22840 [startup+0.705554 s] /proc/loadavg: 1.29 1.05 0.98 3/40 5141 /proc/meminfo: memFree=433160/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=35876 CPUtime=0.71 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 7641 0 0 0 67 4 0 0 25 0 1 0 526503017 36737024 7424 1283457024 134512640 140938604 4293935552 18446744073709551615 140190680 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 8969 7424 132 1569 0 7377 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 38260 [startup+1.50574 s] /proc/loadavg: 1.29 1.05 0.98 3/41 5142 /proc/meminfo: memFree=388304/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=64380 CPUtime=1.51 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 14910 0 0 0 144 7 0 0 25 0 1 0 526503017 65925120 14561 1283457024 134512640 140938604 4293935552 18446744073709551615 134570839 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 16095 14561 132 1569 0 14503 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 66764 [startup+3.11049 s] /proc/loadavg: 1.29 1.05 0.98 2/41 5142 /proc/meminfo: memFree=328288/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=117984 CPUtime=3.08 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 34487 0 1 0 294 14 0 0 25 0 1 0 526503017 120815616 26321 1283457024 134512640 140938604 4293935552 18446744073709551615 135810308 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 29496 26321 401 1569 0 27550 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 120368 [startup+6.31133 s] /proc/loadavg: 1.27 1.05 0.98 2/41 5142 /proc/meminfo: memFree=299088/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=212264 CPUtime=6.27 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 82484 0 1 0 597 30 0 0 25 0 1 0 526503017 217358336 31589 1283457024 134512640 140938604 4293935552 18446744073709551615 135811140 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 53066 31589 452 1569 0 51120 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 214648 Solver just ended. Dumping a history of the last processes samples [startup+6.41139 s] /proc/loadavg: 1.27 1.05 0.98 2/41 5142 /proc/meminfo: memFree=299088/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=209720 CPUtime=6.38 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 84710 0 1 0 606 32 0 0 25 0 1 0 526503017 214753280 31223 1283457024 134512640 140938604 4293935552 18446744073709551615 134890203 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 52430 31223 452 1569 0 50484 0 Current children cumulated CPU time (s) 6.38 Current children cumulated vsize (KiB) 212104 [startup+9.60825 s] /proc/loadavg: 1.27 1.05 0.98 2/41 5142 /proc/meminfo: memFree=239700/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=293680 CPUtime=9.49 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 173635 0 8 0 882 67 0 0 25 0 1 0 526503017 300728320 44425 1283457024 134512640 140938604 4293935552 18446744073709551615 136608666 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 73420 44425 664 1569 0 71474 0 Current children cumulated CPU time (s) 9.49 Current children cumulated vsize (KiB) 296064 [startup+11.2087 s] /proc/loadavg: 1.25 1.05 0.98 2/41 5142 /proc/meminfo: memFree=268844/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=220224 CPUtime=11.08 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 213457 0 8 0 1025 83 0 0 25 0 1 0 526503017 225509376 33816 1283457024 134512640 140938604 4293935552 18446744073709551615 134697069 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 55056 33816 681 1569 0 53110 0 Current children cumulated CPU time (s) 11.08 Current children cumulated vsize (KiB) 222608 [startup+12.0089 s] /proc/loadavg: 1.25 1.05 0.98 2/41 5142 /proc/meminfo: memFree=268844/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=220224 CPUtime=11.88 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 213457 0 8 0 1105 83 0 0 25 0 1 0 526503017 225509376 33816 1283457024 134512640 140938604 4293935552 18446744073709551615 134697085 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 55056 33816 681 1569 0 53110 0 Current children cumulated CPU time (s) 11.88 Current children cumulated vsize (KiB) 222608 [startup+12.409 s] /proc/loadavg: 1.25 1.05 0.98 2/41 5142 /proc/meminfo: memFree=266364/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=220224 CPUtime=12.27 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 213457 0 8 0 1144 83 0 0 25 0 1 0 526503017 225509376 33816 1283457024 134512640 140938604 4293935552 18446744073709551615 134697069 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 55056 33816 681 1569 0 53110 0 Current children cumulated CPU time (s) 12.27 Current children cumulated vsize (KiB) 222608 [startup+12.509 s] /proc/loadavg: 1.25 1.05 0.98 2/41 5142 /proc/meminfo: memFree=266364/1048576 swapFree=2092160/2097144 [pid=5140] ppid=5139 vsize=2384 CPUtime=0 /proc/5140/stat : 5140 (uns-paranoid-0.) S 5139 5140 3447 769 3447 4194304 362 0 0 0 0 0 0 0 24 0 1 0 526503017 2441216 260 1283457024 134512640 135191968 4293482832 18446744073709551615 4159629726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5140/statm: 596 260 221 166 0 28 0 [pid=5141] ppid=5140 vsize=274444 CPUtime=12.38 /proc/5141/stat : 5141 (cudfsolver-stat) R 5140 5140 3447 769 3447 4202496 222346 0 8 0 1150 88 0 0 25 0 1 0 526503017 281030656 42147 1283457024 134512640 140938604 4293935552 18446744073709551615 138298629 0 0 0 0 0 0 0 17 0 0 0 0 /proc/5141/statm: 68611 42147 681 1569 0 66665 0 Current children cumulated CPU time (s) 12.38 Current children cumulated vsize (KiB) 276828 Child status: 0 Real time (s): 12.598 CPU time (s): 12.4528 CPU user time (s): 11.5247 CPU system time (s): 0.928058 CPU usage (%): 98.8476 Max. virtual memory (cumulated for all children) (KiB): 319324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.5247 system time used= 0.928058 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 222806 page faults= 10 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 555 runsolver used 0 second user time and 0 second system time The end