runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-367251-1176919319 -o ROOT/results/node14/solver-367251-1176919319 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/367251-1176919319/cmusat /tmp/evaluation/367251-1176919319/instance-367251-1176919319.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.01 0.95 3/77 10281
/proc/meminfo: memFree=1864320/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=2788 CPUtime=0
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 524 0 0 0 0 0 0 0 18 0 1 0 139849936 2854912 507 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134525945 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 697 507 96 243 0 451 0
[startup+0.0698419 s]
/proc/loadavg: 1.03 1.01 0.95 3/77 10281
/proc/meminfo: memFree=1864320/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=11300 CPUtime=0.06
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 2293 0 0 0 5 1 0 0 18 0 1 0 139849936 11571200 2276 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 2825 2277 96 243 0 2579 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11300
[startup+0.102844 s]
/proc/loadavg: 1.03 1.01 0.95 3/77 10281
/proc/meminfo: memFree=1864320/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=12992 CPUtime=0.09
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 2751 0 0 0 8 1 0 0 18 0 1 0 139849936 13303808 2734 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 3248 2734 96 243 0 3002 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12992
[startup+0.301862 s]
/proc/loadavg: 1.03 1.01 0.95 3/77 10281
/proc/meminfo: memFree=1864320/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=44188 CPUtime=0.29
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 9143 0 0 0 24 5 0 0 19 0 1 0 139849936 45248512 9127 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134548965 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 11047 9129 96 243 0 10801 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44188
[startup+0.7019 s]
/proc/loadavg: 1.03 1.01 0.95 3/77 10281
/proc/meminfo: memFree=1864320/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=67504 CPUtime=0.69
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 15859 0 0 0 61 8 0 0 23 0 1 0 139849936 69124096 15842 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 16876 15843 96 243 0 16630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67504
[startup+1.50198 s]
/proc/loadavg: 1.03 1.01 0.95 2/78 10282
/proc/meminfo: memFree=1789624/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=104828 CPUtime=1.49
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 24633 0 0 0 136 13 0 0 25 0 1 0 139849936 107343872 24616 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 26207 24616 96 243 0 25961 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104828
[startup+3.10113 s]
/proc/loadavg: 1.03 1.01 0.95 2/78 10282
/proc/meminfo: memFree=1740984/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=137828 CPUtime=3.09
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 31458 0 0 0 292 17 0 0 25 0 1 0 139849936 141135872 31441 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134547041 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 34457 31441 107 243 0 34211 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137828
[startup+6.30143 s]
/proc/loadavg: 1.10 1.03 0.96 2/78 10282
/proc/meminfo: memFree=1713080/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=170124 CPUtime=6.29
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 39227 0 0 0 607 22 0 0 25 0 1 0 139849936 174206976 39210 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134530793 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 42531 39210 107 243 0 42285 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 170124
[startup+12.701 s]
/proc/loadavg: 1.10 1.03 0.96 2/78 10282
/proc/meminfo: memFree=1787840/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=88764 CPUtime=12.69
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 47671 0 0 0 1242 27 0 0 25 0 1 0 139849936 90894336 19145 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 22191 19145 117 243 0 21945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88764
[startup+25.5012 s]
/proc/loadavg: 1.07 1.02 0.96 2/78 10282
/proc/meminfo: memFree=1787968/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=88764 CPUtime=25.48
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 47693 0 0 0 2521 27 0 0 25 0 1 0 139849936 90894336 19167 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 22191 19167 117 243 0 21945 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88764
[startup+51.1017 s]
/proc/loadavg: 1.05 1.02 0.96 2/78 10282
/proc/meminfo: memFree=1784128/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=92736 CPUtime=51.08
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 48723 0 0 0 5080 28 0 0 25 0 1 0 139849936 94961664 20197 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 23184 20197 117 243 0 22938 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92736
[startup+102.306 s]
/proc/loadavg: 1.02 1.02 0.96 2/78 10282
/proc/meminfo: memFree=1743360/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=132908 CPUtime=102.26
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 58900 0 0 0 10189 37 0 0 25 0 1 0 139849936 136097792 30374 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590140 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 33227 30374 117 243 0 32981 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 132908
[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/78 10282
/proc/meminfo: memFree=1704512/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=171736 CPUtime=162.25
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 68709 0 0 0 16177 48 0 0 25 0 1 0 139849936 175857664 40183 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590202 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 42934 40183 117 243 0 42688 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 171736
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.96 2/78 10282
/proc/meminfo: memFree=1669312/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=206028 CPUtime=222.23
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 77377 0 0 0 22166 57 0 0 25 0 1 0 139849936 210972672 48851 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 51507 48851 117 243 0 51261 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 206028
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 10282
/proc/meminfo: memFree=1631360/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=243808 CPUtime=282.21
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 86951 0 0 0 28153 68 0 0 25 0 1 0 139849936 249659392 58425 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 60952 58425 117 243 0 60706 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 243808
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 10282
/proc/meminfo: memFree=1591808/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=282848 CPUtime=342.2
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 96763 0 0 0 34142 78 0 0 25 0 1 0 139849936 289636352 68237 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590173 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 70712 68237 117 243 0 70466 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 282848
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 10282
/proc/meminfo: memFree=1558528/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=316092 CPUtime=402.18
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 105122 0 0 0 40130 88 0 0 25 0 1 0 139849936 323678208 76596 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 79023 76596 117 243 0 78777 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 316092
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 10282
/proc/meminfo: memFree=1527232/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=347048 CPUtime=462.17
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 112911 0 0 0 46121 96 0 0 25 0 1 0 139849936 355377152 84385 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589670 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 86762 84385 117 243 0 86516 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 347048
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 10282
/proc/meminfo: memFree=1492672/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=381380 CPUtime=522.14
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 121577 0 0 0 52110 104 0 0 25 0 1 0 139849936 390533120 93018 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590060 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 95345 93018 117 243 0 95099 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 381380
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 10282
/proc/meminfo: memFree=1456512/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=416904 CPUtime=582.13
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 130549 0 0 0 58099 114 0 0 25 0 1 0 139849936 426909696 101990 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589753 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 104226 101990 117 243 0 103980 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 416904
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 10282
/proc/meminfo: memFree=1419520/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=453476 CPUtime=642.12
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 139730 0 0 0 64091 121 0 0 25 0 1 0 139849936 464359424 111171 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589684 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 113369 111171 117 243 0 113123 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 453476
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10682
/proc/meminfo: memFree=362304/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1504876 CPUtime=9099.6
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 418546 0 0 0 909546 414 0 0 25 0 1 0 139849936 1540993024 373477 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 376219 373477 117 243 0 375973 0
Current children cumulated CPU time (s) 9099.6
Current children cumulated vsize (KiB) 1504876
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10682
/proc/meminfo: memFree=361856/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1505900 CPUtime=9159.58
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 418847 0 0 0 915543 415 0 0 25 0 1 0 139849936 1542041600 373520 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589690 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 376475 373520 117 243 0 376229 0
Current children cumulated CPU time (s) 9159.58
Current children cumulated vsize (KiB) 1505900
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10682
/proc/meminfo: memFree=361856/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1505900 CPUtime=9219.58
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 418882 0 0 0 921542 416 0 0 25 0 1 0 139849936 1542041600 373555 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 135091424 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 376475 373555 117 243 0 376229 0
Current children cumulated CPU time (s) 9219.58
Current children cumulated vsize (KiB) 1505900
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10682
/proc/meminfo: memFree=361600/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1506156 CPUtime=9279.55
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 418972 0 0 0 927539 416 0 0 25 0 1 0 139849936 1542303744 373580 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 135091424 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 376539 373580 117 243 0 376293 0
Current children cumulated CPU time (s) 9279.55
Current children cumulated vsize (KiB) 1506156
[startup+9342.31 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 10683
/proc/meminfo: memFree=361408/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1506284 CPUtime=9339.54
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419010 0 0 0 933537 417 0 0 25 0 1 0 139849936 1542434816 373585 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589650 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 376571 373585 117 243 0 376325 0
Current children cumulated CPU time (s) 9339.54
Current children cumulated vsize (KiB) 1506284
[startup+9402.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10684
/proc/meminfo: memFree=361216/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1506800 CPUtime=9399.52
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419147 0 0 0 939535 417 0 0 25 0 1 0 139849936 1542963200 373657 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590202 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 376700 373657 117 243 0 376454 0
Current children cumulated CPU time (s) 9399.52
Current children cumulated vsize (KiB) 1506800
[startup+9462.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10684
/proc/meminfo: memFree=360640/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1507580 CPUtime=9459.51
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419298 0 0 0 945533 418 0 0 25 0 1 0 139849936 1543761920 373808 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 376895 373808 117 243 0 376649 0
Current children cumulated CPU time (s) 9459.51
Current children cumulated vsize (KiB) 1507580
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10684
/proc/meminfo: memFree=360576/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1507580 CPUtime=9519.48
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419305 0 0 0 951530 418 0 0 25 0 1 0 139849936 1543761920 373815 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 376895 373815 117 243 0 376649 0
Current children cumulated CPU time (s) 9519.48
Current children cumulated vsize (KiB) 1507580
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10684
/proc/meminfo: memFree=360320/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1507840 CPUtime=9579.47
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419361 0 0 0 957528 419 0 0 25 0 1 0 139849936 1544028160 373871 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 376960 373871 117 243 0 376714 0
Current children cumulated CPU time (s) 9579.47
Current children cumulated vsize (KiB) 1507840
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10684
/proc/meminfo: memFree=360256/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1507840 CPUtime=9639.46
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419365 0 0 0 963526 420 0 0 25 0 1 0 139849936 1544028160 373875 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 376960 373875 117 243 0 376714 0
Current children cumulated CPU time (s) 9639.46
Current children cumulated vsize (KiB) 1507840
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10684
/proc/meminfo: memFree=360000/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1508096 CPUtime=9699.44
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419453 0 0 0 969524 420 0 0 25 0 1 0 139849936 1544290304 373898 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 377024 373898 117 243 0 376778 0
Current children cumulated CPU time (s) 9699.44
Current children cumulated vsize (KiB) 1508096
[startup+9762.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 10684
/proc/meminfo: memFree=359808/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1508356 CPUtime=9759.42
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419520 0 0 0 975521 421 0 0 25 0 1 0 139849936 1544556544 373965 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 377089 373965 117 243 0 376843 0
Current children cumulated CPU time (s) 9759.42
Current children cumulated vsize (KiB) 1508356
[startup+9822.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10684
/proc/meminfo: memFree=359552/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1508616 CPUtime=9819.4
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419571 0 0 0 981519 421 0 0 25 0 1 0 139849936 1544822784 374016 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 377154 374016 117 243 0 376908 0
Current children cumulated CPU time (s) 9819.4
Current children cumulated vsize (KiB) 1508616
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10684
/proc/meminfo: memFree=359296/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1508876 CPUtime=9879.39
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419630 0 0 0 987517 422 0 0 25 0 1 0 139849936 1545089024 374075 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134578847 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 377219 374075 117 243 0 376973 0
Current children cumulated CPU time (s) 9879.39
Current children cumulated vsize (KiB) 1508876
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10684
/proc/meminfo: memFree=359232/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1508876 CPUtime=9939.38
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419641 0 0 0 993515 423 0 0 25 0 1 0 139849936 1545089024 374086 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 135092715 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 377219 374086 117 243 0 376973 0
Current children cumulated CPU time (s) 9939.38
Current children cumulated vsize (KiB) 1508876
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10684
/proc/meminfo: memFree=359040/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1509136 CPUtime=9999.36
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419696 0 0 0 999513 423 0 0 25 0 1 0 139849936 1545355264 374141 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590202 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 377284 374141 117 243 0 377038 0
Current children cumulated CPU time (s) 9999.36
Current children cumulated vsize (KiB) 1509136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10684
/proc/meminfo: memFree=359040/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=1509136 CPUtime=10000.1
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4194304 419696 0 0 0 999583 423 0 0 25 0 1 0 139849936 1545355264 374141 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 377284 374141 117 243 0 377038 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 1509136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10684
/proc/meminfo: memFree=359040/2055920 swapFree=4148736/4192956
[pid=10281] ppid=10279 vsize=0 CPUtime=10000.3
/proc/10281/stat : 10281 (cmusat) R 10279 10281 8362 0 -1 4195332 419696 0 0 0 999583 443 0 0 25 0 1 0 139849936 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 35 0 0 0 17 1 0 0
/proc/10281/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.3
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003.2
CPU time (s): 10000.3
CPU user time (s): 9995.83
CPU system time (s): 4.46732
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1509136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9995.84
system time used= 4.46732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419696
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= 6
involuntary context switches= 201847
runsolver used 11.9212 second user time and 24.1263 second system time
The end
Begin job on node14 on Wed Apr 18 18:02:02 UTC 2007
IDJOB= 367251
IDBENCH= 20375
IDSOLVER= 173
FILE ID= node14/367251-1176919319
PBS_JOBID= 4605634
Free space on /tmp= 66177 MiB
SOLVER NAME= CMUSAT 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/anbulagan/hard-unsat/total-10-19-u.cnf
COMMAND LINE= /tmp/evaluation/367251-1176919319/cmusat /tmp/evaluation/367251-1176919319/instance-367251-1176919319.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-367251-1176919319 -o ROOT/results/node14/solver-367251-1176919319 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/367251-1176919319/cmusat /tmp/evaluation/367251-1176919319/instance-367251-1176919319.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= a2687a8a1b0deeabfd7eddcfa56549a2
RANDOM SEED= 367096943
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1864728 kB
Buffers: 16888 kB
Cached: 110484 kB
SwapCached: 11076 kB
Active: 100920 kB
Inactive: 49708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1864728 kB
SwapTotal: 4192956 kB
SwapFree: 4148736 kB
Dirty: 31420 kB
Writeback: 0 kB
Mapped: 30476 kB
Slab: 26124 kB
Committed_AS: 6620340 kB
PageTables: 1784 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66177 MiB
End job on node14 on Wed Apr 18 20:48:47 UTC 2007