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/218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/debian-dudf//218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/218091ce-4bcc-11df-bc4e-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.01 1.04 1.01 1/36 6312 /proc/meminfo: memFree=739148/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2876 CPUtime=0 /proc/6312/stat : 6312 (runsolver) D 6311 6312 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 526820708 2945024 92 1283457024 134512640 134586868 4293197872 18446744073709551615 4157707306 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/6312/statm: 719 92 62 19 0 51 0 [startup+0.117595 s] /proc/loadavg: 1.01 1.04 1.01 1/36 6312 /proc/meminfo: memFree=739148/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.207615 s] /proc/loadavg: 1.01 1.04 1.01 1/36 6312 /proc/meminfo: memFree=739148/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.307639 s] /proc/loadavg: 1.01 1.04 1.01 1/36 6312 /proc/meminfo: memFree=739148/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.707732 s] /proc/loadavg: 1.01 1.04 1.01 1/36 6312 /proc/meminfo: memFree=739148/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.50789 s] /proc/loadavg: 1.01 1.04 1.01 2/38 6314 /proc/meminfo: memFree=694384/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=65972 CPUtime=1.5 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 15301 0 0 0 143 7 0 0 25 0 1 0 526820709 67555328 14951 1283457024 134512640 140938604 4287265600 18446744073709551615 134574153 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 16493 14951 132 1569 0 14901 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 68360 [startup+3.10938 s] /proc/loadavg: 1.01 1.04 1.01 2/38 6314 /proc/meminfo: memFree=635484/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=139676 CPUtime=3.08 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 43380 0 0 0 286 22 0 0 25 0 1 0 526820709 143028224 31278 1283457024 134512640 140938604 4287265600 18446744073709551615 135805977 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 34919 31278 425 1569 0 32973 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 142064 [startup+6.31034 s] /proc/loadavg: 1.01 1.04 1.01 2/38 6314 /proc/meminfo: memFree=615892/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=135588 CPUtime=6.27 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 82665 0 0 0 580 47 0 0 25 0 1 0 526820709 138842112 30848 1283457024 134512640 140938604 4287265600 18446744073709551615 140247153 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 33897 30848 439 1569 0 31951 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 137976 [startup+12.7124 s] /proc/loadavg: 1.01 1.04 1.01 2/38 6314 /proc/meminfo: memFree=526488/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=347108 CPUtime=12.68 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 238504 0 0 0 1160 108 0 0 25 0 1 0 526820709 355438592 55027 1283457024 134512640 140938604 4287265600 18446744073709551615 135058430 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 86777 55027 697 1569 0 84831 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 349496 [startup+25.5057 s] /proc/loadavg: 1.01 1.04 1.01 2/38 6314 /proc/meminfo: memFree=564804/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=283964 CPUtime=25.46 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 461118 0 0 0 2352 194 0 0 25 0 1 0 526820709 290779136 44127 1283457024 134512640 140938604 4287265600 18446744073709551615 135093870 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 70991 44127 795 1569 0 69045 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 286352 [startup+51.104 s] /proc/loadavg: 1.00 1.04 1.01 2/38 6314 /proc/meminfo: memFree=533184/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=253788 CPUtime=51.05 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 565769 0 0 0 4861 244 0 0 25 0 1 0 526820709 259878912 38429 1283457024 134512640 140938604 4287265600 18446744073709551615 135222553 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 63447 38429 731 1569 0 61501 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 256176 Solver just ended. Dumping a history of the last processes samples [startup+51.2041 s] /proc/loadavg: 1.00 1.04 1.01 2/38 6314 /proc/meminfo: memFree=533184/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=322280 CPUtime=51.15 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 575078 0 0 0 4867 248 0 0 25 0 1 0 526820709 330014720 47301 1283457024 134512640 140938604 4287265600 18446744073709551615 135301516 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 80570 47301 731 1569 0 78624 0 Current children cumulated CPU time (s) 51.15 Current children cumulated vsize (KiB) 324668 [startup+52.8045 s] /proc/loadavg: 1.00 1.03 1.00 2/38 6314 /proc/meminfo: memFree=569268/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=317248 CPUtime=52.75 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 612909 0 0 0 5012 263 0 0 25 0 1 0 526820709 324861952 43083 1283457024 134512640 140938604 4287265600 18446744073709551615 137529007 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 79312 43083 731 1569 0 77366 0 Current children cumulated CPU time (s) 52.75 Current children cumulated vsize (KiB) 319636 [startup+53.6047 s] /proc/loadavg: 1.00 1.03 1.00 2/38 6314 /proc/meminfo: memFree=569268/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=260652 CPUtime=53.55 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 635401 0 0 0 5087 268 0 0 25 0 1 0 526820709 266907648 40236 1283457024 134512640 140938604 4287265600 18446744073709551615 134697000 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 65163 40236 731 1569 0 63217 0 Current children cumulated CPU time (s) 53.55 Current children cumulated vsize (KiB) 263040 [startup+54.0048 s] /proc/loadavg: 1.00 1.03 1.00 2/38 6314 /proc/meminfo: memFree=580180/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=260652 CPUtime=53.95 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 635401 0 0 0 5127 268 0 0 25 0 1 0 526820709 266907648 40236 1283457024 134512640 140938604 4287265600 18446744073709551615 134697000 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 65163 40236 731 1569 0 63217 0 Current children cumulated CPU time (s) 53.95 Current children cumulated vsize (KiB) 263040 [startup+54.2048 s] /proc/loadavg: 1.00 1.03 1.00 2/38 6314 /proc/meminfo: memFree=580180/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=260652 CPUtime=54.15 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202496 635401 0 0 0 5147 268 0 0 25 0 1 0 526820709 266907648 40236 1283457024 134512640 140938604 4287265600 18446744073709551615 134697018 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 65163 40236 731 1569 0 63217 0 Current children cumulated CPU time (s) 54.15 Current children cumulated vsize (KiB) 263040 [startup+54.3032 s] /proc/loadavg: 1.00 1.03 1.00 2/38 6314 /proc/meminfo: memFree=580180/1048576 swapFree=2092220/2097144 [pid=6312] ppid=6311 vsize=2388 CPUtime=0 /proc/6312/stat : 6312 (uns-trendy-0.00) S 6311 6312 3447 769 3447 4194304 364 0 0 0 0 0 0 0 25 0 1 0 526820708 2445312 261 1283457024 134512640 135191968 4288537776 18446744073709551615 4159564190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6312/statm: 597 261 221 166 0 29 0 [pid=6314] ppid=6312 vsize=0 CPUtime=54.24 /proc/6314/stat : 6314 (cudfsolver-stat) R 6312 6312 3447 769 3447 4202500 635486 0 0 0 5153 271 0 0 25 0 1 0 526820709 0 0 1283457024 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6314/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 54.24 Current children cumulated vsize (KiB) 2388 Child status: 0 Real time (s): 54.3044 CPU time (s): 54.2554 CPU user time (s): 51.5352 CPU system time (s): 2.72017 CPU usage (%): 99.9098 Max. virtual memory (cumulated for all children) (KiB): 388888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 51.5352 system time used= 2.72017 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 635860 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 645 runsolver used 0 second user time and 0.004 second system time The end