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/small1.cudf.cudf_set.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/cudf_set/small1.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/small1.cudf.cudf_set.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.08 1.04 1.01 5/34 9782 /proc/meminfo: memFree=871444/1048576 swapFree=2094608/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=9532 CPUtime=0.02 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 538 0 0 0 2 0 0 0 25 0 1 0 527515230 9760768 459 1283457024 134512640 140938604 4287468464 18446744073709551615 134525008 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 2383 459 310 1569 0 437 0 [startup+0.192216 s] /proc/loadavg: 1.08 1.04 1.01 5/34 9782 /proc/meminfo: memFree=871444/1048576 swapFree=2094608/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=13076 CPUtime=0.18 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 2043 0 1 0 17 1 0 0 25 0 1 0 527515230 13389824 1445 1283457024 134512640 140938604 4287468464 18446744073709551615 136074101 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 3269 1445 646 1569 0 1323 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 15468 [startup+0.204317 s] /proc/loadavg: 1.08 1.04 1.01 5/34 9782 /proc/meminfo: memFree=871444/1048576 swapFree=2094608/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=14644 CPUtime=0.19 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 2370 0 1 0 18 1 0 0 25 0 1 0 527515230 14995456 1656 1283457024 134512640 140938604 4287468464 18446744073709551615 135322341 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 3661 1656 654 1569 0 1715 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 17036 [startup+0.304339 s] /proc/loadavg: 1.08 1.04 1.01 5/34 9782 /proc/meminfo: memFree=871444/1048576 swapFree=2094608/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=13608 CPUtime=0.29 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 2866 0 1 0 28 1 0 0 25 0 1 0 527515230 13934592 1545 1283457024 134512640 140938604 4287468464 18446744073709551615 135091314 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 3402 1545 664 1569 0 1456 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16000 [startup+0.704431 s] /proc/loadavg: 1.08 1.04 1.01 5/34 9782 /proc/meminfo: memFree=871444/1048576 swapFree=2094608/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=15188 CPUtime=0.69 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 3883 0 1 0 68 1 0 0 25 0 1 0 527515230 15552512 1860 1283457024 134512640 140938604 4287468464 18446744073709551615 135076276 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 3797 1860 665 1569 0 1851 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17580 [startup+1.50949 s] /proc/loadavg: 1.08 1.04 1.01 2/35 9783 /proc/meminfo: memFree=867544/1048576 swapFree=2094608/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=13784 CPUtime=1.47 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 4014 0 5 0 146 1 0 0 25 0 1 0 527515230 14114816 1609 1283457024 134512640 140938604 4287468464 18446744073709551615 135407593 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 3446 1609 681 1569 0 1500 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 16176 [startup+3.10518 s] /proc/loadavg: 1.08 1.04 1.01 2/35 9783 /proc/meminfo: memFree=867364/1048576 swapFree=2094608/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=13112 CPUtime=3.04 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 4202 0 9 0 301 3 0 0 25 0 1 0 527515230 13426688 1544 1283457024 134512640 140938604 4287468464 18446744073709551615 135083717 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 3278 1544 709 1569 0 1332 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 15504 [startup+6.30616 s] /proc/loadavg: 1.15 1.05 1.01 2/36 9787 /proc/meminfo: memFree=866096/1048576 swapFree=2094612/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=13248 CPUtime=6.24 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 4716 0 9 0 621 3 0 0 25 0 1 0 527515230 13565952 1558 1283457024 134512640 140938604 4287468464 18446744073709551615 137356674 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 3312 1558 713 1569 0 1366 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 15640 [startup+12.7079 s] /proc/loadavg: 1.14 1.05 1.01 2/36 9787 /proc/meminfo: memFree=866096/1048576 swapFree=2094612/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=13384 CPUtime=12.64 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 5127 0 9 0 1260 4 0 0 25 0 1 0 527515230 13705216 1600 1283457024 134512640 140938604 4287468464 18446744073709551615 135301861 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 3346 1600 713 1569 0 1400 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 15776 [startup+25.5148 s] /proc/loadavg: 1.11 1.05 1.01 2/36 9787 /proc/meminfo: memFree=858720/1048576 swapFree=2094612/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=21372 CPUtime=25.4 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 15241 0 12 0 2532 8 0 0 25 0 1 0 527515230 21884928 3420 1283457024 134512640 140938604 4287468464 18446744073709551615 137515041 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 5343 3420 725 1569 0 3397 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 23764 [startup+51.1106 s] /proc/loadavg: 1.07 1.04 1.01 2/36 9787 /proc/meminfo: memFree=858720/1048576 swapFree=2094612/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=21568 CPUtime=50.96 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 28486 0 12 0 5082 14 0 0 25 0 1 0 527515230 22085632 3469 1283457024 134512640 140938604 4287468464 18446744073709551615 135322341 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 5392 3469 725 1569 0 3446 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 23960 [startup+102.311 s] /proc/loadavg: 1.03 1.03 1.00 2/35 9787 /proc/meminfo: memFree=858604/1048576 swapFree=2094612/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=21656 CPUtime=102.13 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 40073 0 12 0 10193 20 0 0 25 0 1 0 527515230 22175744 3491 1283457024 134512640 140938604 4287468464 18446744073709551615 135322341 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 5414 3491 725 1569 0 3468 0 Current children cumulated CPU time (s) 102.13 Current children cumulated vsize (KiB) 24048 [startup+162.307 s] /proc/loadavg: 1.01 1.03 1.00 2/35 9787 /proc/meminfo: memFree=858356/1048576 swapFree=2094612/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=21804 CPUtime=162.06 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 53258 0 12 0 16175 31 0 0 25 0 1 0 527515230 22327296 3527 1283457024 134512640 140938604 4287468464 18446744073709551615 135322341 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 5451 3527 725 1569 0 3505 0 Current children cumulated CPU time (s) 162.06 Current children cumulated vsize (KiB) 24196 [startup+222.312 s] /proc/loadavg: 1.00 1.02 1.00 2/35 9787 /proc/meminfo: memFree=858232/1048576 swapFree=2094612/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=21804 CPUtime=221.95 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 64478 0 12 0 22156 39 0 0 25 0 1 0 527515230 22327296 3528 1283457024 134512640 140938604 4287468464 18446744073709551615 135083788 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 5451 3528 725 1569 0 3505 0 Current children cumulated CPU time (s) 221.95 Current children cumulated vsize (KiB) 24196 [startup+282.315 s] /proc/loadavg: 1.00 1.01 1.00 2/35 9787 /proc/meminfo: memFree=857984/1048576 swapFree=2094612/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=22076 CPUtime=281.89 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 75277 0 12 0 28145 44 0 0 25 0 1 0 527515230 22605824 3592 1283457024 134512640 140938604 4287468464 18446744073709551615 137360957 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 5519 3592 725 1569 0 3573 0 Current children cumulated CPU time (s) 281.89 Current children cumulated vsize (KiB) 24468 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.507 s] /proc/loadavg: 1.00 1.01 1.00 2/35 9787 /proc/meminfo: memFree=857860/1048576 swapFree=2094612/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=22076 CPUtime=290.07 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 76788 0 12 0 28961 46 0 0 25 0 1 0 527515230 22605824 3592 1283457024 134512640 140938604 4287468464 18446744073709551615 135083901 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 5519 3592 725 1569 0 3573 0 Current children cumulated CPU time (s) 290.07 Current children cumulated vsize (KiB) 24468 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+290.507 s] /proc/loadavg: 1.00 1.01 1.00 2/35 9787 /proc/meminfo: memFree=857860/1048576 swapFree=2094612/2097144 [pid=9781] ppid=9780 vsize=2392 CPUtime=0 /proc/9781/stat : 9781 (uns-trendy-0.00) S 9780 9781 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 527515230 2449408 261 1283457024 134512640 135191968 4286585616 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9781/statm: 598 261 221 166 0 30 0 [pid=9782] ppid=9781 vsize=22076 CPUtime=290.07 /proc/9782/stat : 9782 (cudfsolver-stat) R 9781 9781 3447 769 3447 4202496 76788 0 12 0 28961 46 0 0 25 0 1 0 527515230 22605824 3592 1283457024 134512640 140938604 4287468464 18446744073709551615 135083901 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9782/statm: 5519 3592 725 1569 0 3573 0 Current children cumulated CPU time (s) 290.07 Current children cumulated vsize (KiB) 24468 Child status: 138 Real time (s): 290.512 CPU time (s): 290.074 CPU user time (s): 289.614 CPU system time (s): 0.460028 CPU usage (%): 99.8494 Max. virtual memory (cumulated for all children) (KiB): 27352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 289.614 system time used= 0.460028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77164 page faults= 12 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 3657 runsolver used 0 second user time and 0 second system time The end