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/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/debian-dudf//e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/uns-paranoid-0.0002/e8a3eb4c-4c81-11df-8b8c-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.13 1.07 1.01 5/34 17008 /proc/meminfo: memFree=695220/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=6808 CPUtime=0 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 270 0 0 0 0 0 0 0 25 0 1 0 528738101 6971392 211 1283457024 134512640 140938604 4290344528 18446744073709551615 134604562 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 1702 211 132 1569 0 110 0 [startup+0.145811 s] /proc/loadavg: 1.13 1.07 1.01 5/34 17008 /proc/meminfo: memFree=695220/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=13640 CPUtime=0.14 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 2000 0 0 0 14 0 0 0 25 0 1 0 528738101 13967360 1912 1283457024 134512640 140938604 4290344528 18446744073709551615 140190642 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 3410 1912 132 1569 0 1818 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 16024 [startup+0.205827 s] /proc/loadavg: 1.13 1.07 1.01 5/34 17008 /proc/meminfo: memFree=695220/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=16236 CPUtime=0.2 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 2655 0 0 0 20 0 0 0 25 0 1 0 528738101 16625664 2567 1283457024 134512640 140938604 4290344528 18446744073709551615 140172366 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 4059 2567 132 1569 0 2467 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 18620 [startup+0.305853 s] /proc/loadavg: 1.13 1.07 1.01 5/34 17008 /proc/meminfo: memFree=695220/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=20856 CPUtime=0.3 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 3794 0 0 0 30 0 0 0 25 0 1 0 528738101 21356544 3674 1283457024 134512640 140938604 4290344528 18446744073709551615 134604662 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 5214 3674 132 1569 0 3622 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 23240 [startup+0.705916 s] /proc/loadavg: 1.13 1.07 1.01 5/34 17008 /proc/meminfo: memFree=695220/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=36804 CPUtime=0.7 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 7857 0 0 0 68 2 0 0 25 0 1 0 528738101 37687296 7639 1283457024 134512640 140938604 4290344528 18446744073709551615 140178510 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 9201 7639 132 1569 0 7609 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 39188 [startup+1.50608 s] /proc/loadavg: 1.13 1.07 1.01 2/35 17009 /proc/meminfo: memFree=650372/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=66232 CPUtime=1.5 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 15360 0 0 0 146 4 0 0 25 0 1 0 528738101 67821568 15010 1283457024 134512640 140938604 4290344528 18446744073709551615 134580485 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 16558 15010 132 1569 0 14966 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 68616 [startup+3.10641 s] /proc/loadavg: 1.13 1.07 1.01 2/35 17009 /proc/meminfo: memFree=592712/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=115200 CPUtime=3.1 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 38881 0 0 0 296 14 0 0 25 0 1 0 528738101 117964800 25910 1283457024 134512640 140938604 4290344528 18446744073709551615 137894141 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 28800 25910 411 1569 0 26854 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 117584 [startup+6.30729 s] /proc/loadavg: 1.12 1.07 1.01 2/35 17009 /proc/meminfo: memFree=573492/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=206148 CPUtime=6.29 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 93767 0 0 0 595 34 0 0 25 0 1 0 528738101 211095552 31104 1283457024 134512640 140938604 4290344528 18446744073709551615 137264994 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 51537 31104 452 1569 0 49591 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 208532 Solver just ended. Dumping a history of the last processes samples [startup+6.40733 s] /proc/loadavg: 1.12 1.07 1.01 2/35 17009 /proc/meminfo: memFree=573492/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=204828 CPUtime=6.39 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 94839 0 0 0 605 34 0 0 25 0 1 0 528738101 209743872 31010 1283457024 134512640 140938604 4290344528 18446744073709551615 137942570 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 51207 31010 533 1569 0 49261 0 Current children cumulated CPU time (s) 6.39 Current children cumulated vsize (KiB) 207212 [startup+9.61015 s] /proc/loadavg: 1.12 1.07 1.01 2/35 17009 /proc/meminfo: memFree=517384/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=255740 CPUtime=9.57 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 187242 0 2 0 885 72 0 0 25 0 1 0 528738101 261877760 34930 1283457024 134512640 140938604 4290344528 18446744073709551615 137529021 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 63935 34930 680 1569 0 61989 0 Current children cumulated CPU time (s) 9.57 Current children cumulated vsize (KiB) 258124 [startup+10.4103 s] /proc/loadavg: 1.11 1.06 1.01 2/35 17009 /proc/meminfo: memFree=529908/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=215140 CPUtime=10.37 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 207362 0 2 0 957 80 0 0 25 0 1 0 528738101 220303360 33373 1283457024 134512640 140938604 4290344528 18446744073709551615 134697060 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 53785 33373 681 1569 0 51839 0 Current children cumulated CPU time (s) 10.37 Current children cumulated vsize (KiB) 217524 [startup+11.2105 s] /proc/loadavg: 1.11 1.06 1.01 2/35 17009 /proc/meminfo: memFree=563636/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=261820 CPUtime=11.17 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 212988 0 2 0 1036 81 0 0 25 0 1 0 528738101 268103680 38548 1283457024 134512640 140938604 4290344528 18446744073709551615 137598872 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 65455 38548 681 1569 0 63509 0 Current children cumulated CPU time (s) 11.17 Current children cumulated vsize (KiB) 264204 [startup+11.6106 s] /proc/loadavg: 1.11 1.06 1.01 2/35 17009 /proc/meminfo: memFree=563636/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=268192 CPUtime=11.57 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 225421 0 2 0 1073 84 0 0 25 0 1 0 528738101 274628608 41760 1283457024 134512640 140938604 4290344528 18446744073709551615 136278498 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 67048 41760 701 1569 0 65102 0 Current children cumulated CPU time (s) 11.57 Current children cumulated vsize (KiB) 270576 [startup+11.7106 s] /proc/loadavg: 1.11 1.06 1.01 2/35 17009 /proc/meminfo: memFree=563636/1048576 swapFree=2094596/2097144 [pid=17007] ppid=17006 vsize=2384 CPUtime=0 /proc/17007/stat : 17007 (uns-paranoid-0.) S 17006 17007 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 528738100 2441216 260 1283457024 134512640 135191968 4287546288 18446744073709551615 4158925214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17007/statm: 596 260 221 166 0 28 0 [pid=17008] ppid=17007 vsize=268292 CPUtime=11.67 /proc/17008/stat : 17008 (cudfsolver-stat) R 17007 17007 3447 769 3447 4202496 226483 0 2 0 1083 84 0 0 25 0 1 0 528738101 274731008 41818 1283457024 134512640 140938604 4290344528 18446744073709551615 135058316 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17008/statm: 67073 41818 702 1569 0 65127 0 Current children cumulated CPU time (s) 11.67 Current children cumulated vsize (KiB) 270676 Child status: 0 Real time (s): 11.8051 CPU time (s): 11.7687 CPU user time (s): 10.8847 CPU system time (s): 0.884055 CPU usage (%): 99.692 Max. virtual memory (cumulated for all children) (KiB): 308116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.8847 system time used= 0.884055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 227581 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 152 runsolver used 0 second user time and 0 second system time The end