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/688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/debian-dudf//688250e8-4bb4-11df-a561-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/688250e8-4bb4-11df-a561-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.03 1.00 5/34 12637 /proc/meminfo: memFree=603204/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) R 12635 12636 3447 769 3447 4194304 346 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 259 1283457024 134512640 135191968 4288470160 18446744073709551615 4159402400 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/12636/statm: 596 259 220 166 0 28 0 [pid=12637] ppid=12636 vsize=2384 CPUtime=0 /proc/12637/stat : 12637 (uns-trendy-0.00) R 12636 12636 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 39 1283457024 134512640 135191968 4288470160 18446744073709551615 4159402400 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/12637/statm: 596 39 0 166 0 28 0 [startup+0.178841 s] /proc/loadavg: 1.01 1.03 1.00 5/34 12637 /proc/meminfo: memFree=603204/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=15096 CPUtime=0.18 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 2366 0 0 0 18 0 0 0 25 0 1 0 527993129 15458304 2279 1283457024 134512640 140938604 4290913968 18446744073709551615 134608450 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 3774 2279 132 1569 0 2182 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 17480 [startup+0.2088 s] /proc/loadavg: 1.01 1.03 1.00 5/34 12637 /proc/meminfo: memFree=603204/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=16372 CPUtime=0.21 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 2666 0 0 0 21 0 0 0 25 0 1 0 527993129 16764928 2579 1283457024 134512640 140938604 4290913968 18446744073709551615 140190657 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 4093 2579 132 1569 0 2501 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 18756 [startup+0.308811 s] /proc/loadavg: 1.01 1.03 1.00 5/34 12637 /proc/meminfo: memFree=603204/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=20728 CPUtime=0.31 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 3792 0 0 0 31 0 0 0 25 0 1 0 527993129 21225472 3673 1283457024 134512640 140938604 4290913968 18446744073709551615 134571035 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 5182 3673 132 1569 0 3590 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 23112 [startup+0.708862 s] /proc/loadavg: 1.01 1.03 1.00 5/34 12637 /proc/meminfo: memFree=603204/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=36676 CPUtime=0.71 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 7824 0 0 0 70 1 0 0 25 0 1 0 527993129 37556224 7607 1283457024 134512640 140938604 4290913968 18446744073709551615 140190669 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 9169 7607 132 1569 0 7577 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 39060 [startup+1.50897 s] /proc/loadavg: 1.01 1.03 1.00 2/35 12638 /proc/meminfo: memFree=558544/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=65840 CPUtime=1.51 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 15276 0 0 0 148 3 0 0 25 0 1 0 527993129 67420160 14927 1283457024 134512640 140938604 4290913968 18446744073709551615 140187452 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 16460 14927 132 1569 0 14868 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 68224 [startup+3.11507 s] /proc/loadavg: 1.01 1.03 1.00 1/35 12638 /proc/meminfo: memFree=513480/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=136940 CPUtime=3.06 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 42765 0 6 0 291 15 0 0 25 0 1 0 527993129 140226560 31007 1283457024 134512640 140938604 4290913968 18446744073709551615 137948580 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 34235 31007 423 1569 0 32289 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 139324 [startup+6.30614 s] /proc/loadavg: 1.01 1.03 1.00 2/35 12638 /proc/meminfo: memFree=480008/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=134980 CPUtime=6.25 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 81877 0 6 0 599 26 0 0 25 0 1 0 527993129 138219520 30723 1283457024 134512640 140938604 4290913968 18446744073709551615 134890200 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 33745 30723 439 1569 0 31799 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 137364 [startup+12.7071 s] /proc/loadavg: 1.01 1.03 1.00 2/35 12638 /proc/meminfo: memFree=440528/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=277656 CPUtime=12.58 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 232692 0 15 0 1180 78 0 0 25 0 1 0 527993129 284319744 42166 1283457024 134512640 140938604 4290913968 18446744073709551615 137878522 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 69414 42166 649 1569 0 67468 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 280040 [startup+25.514 s] /proc/loadavg: 1.01 1.03 1.00 2/35 12638 /proc/meminfo: memFree=476184/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=137004 CPUtime=25.33 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 467069 0 18 0 2350 183 0 0 25 0 1 0 527993129 140292096 31784 1283457024 134512640 140938604 4290913968 18446744073709551615 134890171 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 34251 31784 727 1569 0 32305 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 139388 [startup+51.1147 s] /proc/loadavg: 1.00 1.02 1.00 2/35 12638 /proc/meminfo: memFree=422616/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=334100 CPUtime=50.89 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 567122 0 18 0 4871 218 0 0 25 0 1 0 527993129 342118400 52194 1283457024 134512640 140938604 4290913968 18446744073709551615 135982365 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 83525 52194 728 1569 0 81579 0 Current children cumulated CPU time (s) 50.89 Current children cumulated vsize (KiB) 336484 Solver just ended. Dumping a history of the last processes samples [startup+51.2147 s] /proc/loadavg: 1.00 1.02 1.00 2/35 12638 /proc/meminfo: memFree=422616/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=334100 CPUtime=50.99 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 567122 0 18 0 4881 218 0 0 25 0 1 0 527993129 342118400 52194 1283457024 134512640 140938604 4290913968 18446744073709551615 135981010 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 83525 52194 728 1569 0 81579 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 336484 [startup+52.8152 s] /proc/loadavg: 1.00 1.02 1.00 2/35 12638 /proc/meminfo: memFree=375496/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=355312 CPUtime=52.59 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 602294 0 18 0 5021 238 0 0 25 0 1 0 527993129 363839488 57283 1283457024 134512640 140938604 4290913968 18446744073709551615 136367737 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 88828 57283 728 1569 0 86882 0 Current children cumulated CPU time (s) 52.59 Current children cumulated vsize (KiB) 357696 [startup+53.6155 s] /proc/loadavg: 1.00 1.02 1.00 2/35 12638 /proc/meminfo: memFree=375496/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=329804 CPUtime=53.38 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 613178 0 18 0 5096 242 0 0 25 0 1 0 527993129 337719296 51007 1283457024 134512640 140938604 4290913968 18446744073709551615 134685294 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 82451 51007 728 1569 0 80505 0 Current children cumulated CPU time (s) 53.38 Current children cumulated vsize (KiB) 332188 [startup+54.0156 s] /proc/loadavg: 1.00 1.02 1.00 2/35 12638 /proc/meminfo: memFree=397568/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=332984 CPUtime=53.78 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 627757 0 18 0 5128 250 0 0 25 0 1 0 527993129 340975616 51797 1283457024 134512640 140938604 4290913968 18446744073709551615 134939584 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 83246 51797 728 1569 0 81300 0 Current children cumulated CPU time (s) 53.78 Current children cumulated vsize (KiB) 335368 [startup+54.4158 s] /proc/loadavg: 1.00 1.02 1.00 2/35 12638 /proc/meminfo: memFree=397568/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=329612 CPUtime=54.19 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 641516 0 18 0 5163 256 0 0 25 0 1 0 527993129 337522688 49117 1283457024 134512640 140938604 4290913968 18446744073709551615 134945440 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 82403 49117 728 1569 0 80457 0 Current children cumulated CPU time (s) 54.19 Current children cumulated vsize (KiB) 331996 [startup+54.5158 s] /proc/loadavg: 1.00 1.02 1.00 2/35 12638 /proc/meminfo: memFree=397568/1048576 swapFree=2094592/2097144 [pid=12636] ppid=12635 vsize=2384 CPUtime=0 /proc/12636/stat : 12636 (uns-trendy-0.00) S 12635 12636 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527993129 2441216 260 1283457024 134512640 135191968 4288470160 18446744073709551615 4159400350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12636/statm: 596 260 221 166 0 28 0 [pid=12637] ppid=12636 vsize=110120 CPUtime=54.28 /proc/12637/stat : 12637 (cudfsolver-stat) R 12636 12636 3447 769 3447 4202496 644239 0 18 0 5170 258 0 0 25 0 1 0 527993129 112762880 25671 1283457024 134512640 140938604 4290913968 18446744073709551615 134609147 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12637/statm: 27530 25671 728 1569 0 25584 0 Current children cumulated CPU time (s) 54.28 Current children cumulated vsize (KiB) 112504 Child status: 0 Real time (s): 54.5447 CPU time (s): 54.3114 CPU user time (s): 51.7112 CPU system time (s): 2.60016 CPU usage (%): 99.5723 Max. virtual memory (cumulated for all children) (KiB): 387584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 51.7112 system time used= 2.60016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 644618 page faults= 18 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21 involuntary context switches= 661 runsolver used 0 second user time and 0.008 second system time The end