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/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debian-dudf.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/debian-dudf//cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.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.00 1.02 1.00 5/34 15846 /proc/meminfo: memFree=772624/1048576 swapFree=2094596/2097144 [pid=15845] ppid=15844 vsize=2388 CPUtime=0 /proc/15845/stat : 15845 (uns-trendy-0.00) S 15844 15845 3447 769 3447 4194304 362 0 0 0 0 0 0 0 22 0 1 0 528652012 2445312 260 1283457024 134512640 135191968 4288642240 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15845/statm: 597 260 221 166 0 29 0 [pid=15846] ppid=15845 vsize=7072 CPUtime=0 /proc/15846/stat : 15846 (cudfsolver-stat) R 15845 15845 3447 769 3447 4202496 318 0 0 0 0 0 0 0 25 0 1 0 528652012 7241728 259 1283457024 134512640 140938604 4291004112 18446744073709551615 134570997 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15846/statm: 1768 259 132 1569 0 176 0 [startup+0.158916 s] /proc/loadavg: 1.00 1.02 1.00 5/34 15846 /proc/meminfo: memFree=772624/1048576 swapFree=2094596/2097144 [pid=15845] ppid=15844 vsize=2388 CPUtime=0 /proc/15845/stat : 15845 (uns-trendy-0.00) S 15844 15845 3447 769 3447 4194304 362 0 0 0 0 0 0 0 22 0 1 0 528652012 2445312 260 1283457024 134512640 135191968 4288642240 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15845/statm: 597 260 221 166 0 29 0 [pid=15846] ppid=15845 vsize=14388 CPUtime=0.15 /proc/15846/stat : 15846 (cudfsolver-stat) R 15845 15845 3447 769 3447 4202496 2160 0 0 0 15 0 0 0 25 0 1 0 528652012 14733312 2073 1283457024 134512640 140938604 4291004112 18446744073709551615 140190654 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15846/statm: 3597 2073 132 1569 0 2005 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 16776 [startup+0.20894 s] /proc/loadavg: 1.00 1.02 1.00 5/34 15846 /proc/meminfo: memFree=772624/1048576 swapFree=2094596/2097144 [pid=15845] ppid=15844 vsize=2388 CPUtime=0 /proc/15845/stat : 15845 (uns-trendy-0.00) S 15844 15845 3447 769 3447 4194304 362 0 0 0 0 0 0 0 22 0 1 0 528652012 2445312 260 1283457024 134512640 135191968 4288642240 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15845/statm: 597 260 221 166 0 29 0 [pid=15846] ppid=15845 vsize=16440 CPUtime=0.2 /proc/15846/stat : 15846 (cudfsolver-stat) R 15845 15845 3447 769 3447 4202496 2710 0 0 0 19 1 0 0 25 0 1 0 528652012 16834560 2607 1283457024 134512640 140938604 4291004112 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15846/statm: 4110 2607 132 1569 0 2518 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 18828 [startup+0.30894 s] /proc/loadavg: 1.00 1.02 1.00 5/34 15846 /proc/meminfo: memFree=772624/1048576 swapFree=2094596/2097144 [pid=15845] ppid=15844 vsize=2388 CPUtime=0 /proc/15845/stat : 15845 (uns-trendy-0.00) S 15844 15845 3447 769 3447 4194304 362 0 0 0 0 0 0 0 22 0 1 0 528652012 2445312 260 1283457024 134512640 135191968 4288642240 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15845/statm: 597 260 221 166 0 29 0 [pid=15846] ppid=15845 vsize=20804 CPUtime=0.3 /proc/15846/stat : 15846 (cudfsolver-stat) R 15845 15845 3447 769 3447 4202496 3805 0 0 0 29 1 0 0 25 0 1 0 528652012 21303296 3686 1283457024 134512640 140938604 4291004112 18446744073709551615 134604555 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15846/statm: 5201 3686 132 1569 0 3609 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 23192 [startup+0.709052 s] /proc/loadavg: 1.00 1.02 1.00 5/34 15846 /proc/meminfo: memFree=772624/1048576 swapFree=2094596/2097144 [pid=15845] ppid=15844 vsize=2388 CPUtime=0 /proc/15845/stat : 15845 (uns-trendy-0.00) S 15844 15845 3447 769 3447 4194304 362 0 0 0 0 0 0 0 22 0 1 0 528652012 2445312 260 1283457024 134512640 135191968 4288642240 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15845/statm: 597 260 221 166 0 29 0 [pid=15846] ppid=15845 vsize=36884 CPUtime=0.7 /proc/15846/stat : 15846 (cudfsolver-stat) R 15845 15845 3447 769 3447 4202496 7853 0 0 0 66 4 0 0 25 0 1 0 528652012 37769216 7669 1283457024 134512640 140938604 4291004112 18446744073709551615 139852186 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15846/statm: 9221 7669 132 1569 0 7629 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 39272 [startup+1.50423 s] /proc/loadavg: 1.00 1.02 1.00 2/35 15847 /proc/meminfo: memFree=725804/1048576 swapFree=2094596/2097144 [pid=15845] ppid=15844 vsize=2388 CPUtime=0 /proc/15845/stat : 15845 (uns-trendy-0.00) S 15844 15845 3447 769 3447 4194304 362 0 0 0 0 0 0 0 22 0 1 0 528652012 2445312 260 1283457024 134512640 135191968 4288642240 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15845/statm: 597 260 221 166 0 29 0 [pid=15846] ppid=15845 vsize=57640 CPUtime=1.44 /proc/15846/stat : 15846 (cudfsolver-stat) R 15845 15845 3447 769 3447 4202496 22419 0 6 0 138 6 0 0 25 0 1 0 528652012 59023360 12221 1283457024 134512640 140938604 4291004112 18446744073709551615 137264812 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15846/statm: 14410 12221 419 1569 0 12464 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 60028 [startup+3.11299 s] /proc/loadavg: 1.00 1.02 1.00 2/35 15847 /proc/meminfo: memFree=707348/1048576 swapFree=2094596/2097144 [pid=15845] ppid=15844 vsize=2388 CPUtime=0 /proc/15845/stat : 15845 (uns-trendy-0.00) S 15844 15845 3447 769 3447 4194304 362 0 0 0 0 0 0 0 22 0 1 0 528652012 2445312 260 1283457024 134512640 135191968 4288642240 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15845/statm: 597 260 221 166 0 29 0 [pid=15846] ppid=15845 vsize=65088 CPUtime=2.97 /proc/15846/stat : 15846 (cudfsolver-stat) R 15845 15845 3447 769 3447 4202496 69198 0 19 0 275 22 0 0 25 0 1 0 528652012 66650112 14218 1283457024 134512640 140938604 4291004112 18446744073709551615 137264988 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15846/statm: 16272 14218 715 1569 0 14326 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 67476 [startup+6.30371 s] /proc/loadavg: 1.00 1.02 1.00 2/35 15847 /proc/meminfo: memFree=705120/1048576 swapFree=2094596/2097144 [pid=15845] ppid=15844 vsize=2388 CPUtime=0 /proc/15845/stat : 15845 (uns-trendy-0.00) S 15844 15845 3447 769 3447 4194304 362 0 0 0 0 0 0 0 22 0 1 0 528652012 2445312 260 1283457024 134512640 135191968 4288642240 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15845/statm: 597 260 221 166 0 29 0 [pid=15846] ppid=15845 vsize=91664 CPUtime=6.14 /proc/15846/stat : 15846 (cudfsolver-stat) R 15845 15845 3447 769 3447 4202496 110435 0 19 0 572 42 0 0 25 0 1 0 528652012 93863936 17489 1283457024 134512640 140938604 4291004112 18446744073709551615 134697007 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15846/statm: 22916 17489 717 1569 0 20970 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 94052 Solver just ended. Dumping a history of the last processes samples [startup+6.41375 s] /proc/loadavg: 1.00 1.02 1.00 2/35 15847 /proc/meminfo: memFree=705120/1048576 swapFree=2094596/2097144 [pid=15845] ppid=15844 vsize=2388 CPUtime=0 /proc/15845/stat : 15845 (uns-trendy-0.00) S 15844 15845 3447 769 3447 4194304 362 0 0 0 0 0 0 0 22 0 1 0 528652012 2445312 260 1283457024 134512640 135191968 4288642240 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15845/statm: 597 260 221 166 0 29 0 [pid=15846] ppid=15845 vsize=100788 CPUtime=6.25 /proc/15846/stat : 15846 (cudfsolver-stat) R 15845 15845 3447 769 3447 4202496 111237 0 19 0 582 43 0 0 25 0 1 0 528652012 103206912 18154 1283457024 134512640 140938604 4291004112 18446744073709551615 137529021 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15846/statm: 25197 18154 717 1569 0 23251 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 103176 [startup+6.81388 s] /proc/loadavg: 1.00 1.02 1.00 2/35 15847 /proc/meminfo: memFree=695572/1048576 swapFree=2094596/2097144 [pid=15845] ppid=15844 vsize=2388 CPUtime=0 /proc/15845/stat : 15845 (uns-trendy-0.00) S 15844 15845 3447 769 3447 4194304 362 0 0 0 0 0 0 0 22 0 1 0 528652012 2445312 260 1283457024 134512640 135191968 4288642240 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15845/statm: 597 260 221 166 0 29 0 [pid=15846] ppid=15845 vsize=69276 CPUtime=6.65 /proc/15846/stat : 15846 (cudfsolver-stat) R 15845 15845 3447 769 3447 4202496 128197 0 19 0 617 48 0 0 25 0 1 0 528652012 70938624 15262 1283457024 134512640 140938604 4291004112 18446744073709551615 134611957 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15846/statm: 17319 15262 728 1569 0 15373 0 Current children cumulated CPU time (s) 6.65 Current children cumulated vsize (KiB) 71664 Child status: 0 Real time (s): 6.84192 CPU time (s): 6.68442 CPU user time (s): 6.18439 CPU system time (s): 0.500031 CPU usage (%): 97.698 Max. virtual memory (cumulated for all children) (KiB): 117008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.18439 system time used= 0.500031 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 128575 page faults= 19 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22 involuntary context switches= 93 runsolver used 0 second user time and 0.012 second system time The end