runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-369334-1177294359 -o ROOT/results/node40/solver-369334-1177294359 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/369334-1177294359/cmusat /tmp/evaluation/369334-1177294359/instance-369334-1177294359.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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: 0.92 0.98 0.99 3/77 5737
/proc/meminfo: memFree=1883496/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=2196 CPUtime=0
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 58315445 2248704 162 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134555104 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 549 162 112 243 0 303 0
[startup+0.0079531 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5737
/proc/meminfo: memFree=1883496/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=2328 CPUtime=0
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 58315445 2383872 170 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589835 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 582 170 114 243 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2328
[startup+0.101973 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5737
/proc/meminfo: memFree=1883496/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=2788 CPUtime=0.09
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 308 0 0 0 9 0 0 0 18 0 1 0 58315445 2854912 291 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134578930 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 697 291 118 243 0 451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2788
[startup+0.302014 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5737
/proc/meminfo: memFree=1883496/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=2788 CPUtime=0.29
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 319 0 0 0 29 0 0 0 19 0 1 0 58315445 2854912 302 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134590282 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 697 302 118 243 0 451 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2788
[startup+0.701098 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5737
/proc/meminfo: memFree=1883496/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=3076 CPUtime=0.69
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 377 0 0 0 69 0 0 0 23 0 1 0 58315445 3149824 360 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134580894 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 769 360 118 243 0 523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3076
[startup+1.50126 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 5738
/proc/meminfo: memFree=1882016/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=3640 CPUtime=1.49
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 524 0 0 0 149 0 0 0 25 0 1 0 58315445 3727360 507 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589923 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 910 507 118 243 0 664 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3640
[startup+3.1016 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 5738
/proc/meminfo: memFree=1881504/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=5304 CPUtime=3.09
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 871 0 0 0 309 0 0 0 25 0 1 0 58315445 5431296 854 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589753 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 1326 854 118 243 0 1080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5304
[startup+6.30127 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 5738
/proc/meminfo: memFree=1880160/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=5672 CPUtime=6.29
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 1011 0 0 0 629 0 0 0 25 0 1 0 58315445 5808128 994 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589715 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 1418 994 118 243 0 1172 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5672
[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 5738
/proc/meminfo: memFree=1877280/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=8416 CPUtime=12.68
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 1821 0 0 0 1268 0 0 0 25 0 1 0 58315445 8617984 1612 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134581445 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 2104 1612 118 243 0 1858 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8416
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 5738
/proc/meminfo: memFree=1875368/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=10112 CPUtime=25.48
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 2576 0 0 0 2547 1 0 0 25 0 1 0 58315445 10354688 2114 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589536 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 2528 2114 118 243 0 2282 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10112
[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 5738
/proc/meminfo: memFree=1870760/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=15144 CPUtime=51.07
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 4376 0 0 0 5105 2 0 0 25 0 1 0 58315445 15507456 3244 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134590173 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 3786 3244 118 243 0 3540 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15144
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 5738
/proc/meminfo: memFree=1860392/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=27096 CPUtime=102.26
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 7980 0 0 0 10222 4 0 0 25 0 1 0 58315445 27746304 5825 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134590199 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 6774 5825 118 243 0 6528 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 27096
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5738
/proc/meminfo: memFree=1858472/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=28216 CPUtime=162.23
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 8953 0 0 0 16218 5 0 0 25 0 1 0 58315445 28893184 6299 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589515 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 7054 6299 118 243 0 6808 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 28216
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5740
/proc/meminfo: memFree=1853736/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=32408 CPUtime=222.21
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 10548 0 0 0 22214 7 0 0 25 0 1 0 58315445 33185792 7441 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589545 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 8102 7441 118 243 0 7856 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 32408
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5740
/proc/meminfo: memFree=1850536/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=35480 CPUtime=282.18
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 11628 0 0 0 28210 8 0 0 25 0 1 0 58315445 36331520 8247 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 8870 8247 118 243 0 8624 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 35480
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5740
/proc/meminfo: memFree=1836776/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=52840 CPUtime=342.16
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 16383 0 0 0 34205 11 0 0 25 0 1 0 58315445 54108160 11653 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 13210 11653 118 243 0 12964 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 52840
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5740
/proc/meminfo: memFree=1836008/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=53348 CPUtime=402.13
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 16850 0 0 0 40202 11 0 0 25 0 1 0 58315445 54628352 11829 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589536 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 13337 11829 118 243 0 13091 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 53348
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5740
/proc/meminfo: memFree=1835048/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=53740 CPUtime=462.11
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 17404 0 0 0 46199 12 0 0 25 0 1 0 58315445 55029760 12063 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 13435 12063 118 243 0 13189 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 53740
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5740
/proc/meminfo: memFree=1834344/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=54520 CPUtime=522.09
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 17677 0 0 0 52196 13 0 0 25 0 1 0 58315445 55828480 12238 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589528 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 13630 12238 118 243 0 13384 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 54520
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5740
/proc/meminfo: memFree=1833512/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=54920 CPUtime=582.06
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 18216 0 0 0 58192 14 0 0 25 0 1 0 58315445 56238080 12425 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 13730 12425 118 243 0 13484 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 54920
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5740
/proc/meminfo: memFree=1833000/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=55436 CPUtime=642.05
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 18376 0 0 0 64190 15 0 0 25 0 1 0 58315445 56766464 12520 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135090879 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 13859 12520 118 243 0 13613 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 55436
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1760680/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=128636 CPUtime=4060.6
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 44705 0 0 0 406001 59 0 0 25 0 1 0 58315445 131723264 30043 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 32159 30043 118 243 0 31913 0
Current children cumulated CPU time (s) 4060.6
Current children cumulated vsize (KiB) 128636
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1760488/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=128768 CPUtime=4120.58
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 44737 0 0 0 411998 60 0 0 25 0 1 0 58315445 131858432 30075 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589811 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 32192 30075 118 243 0 31946 0
Current children cumulated CPU time (s) 4120.58
Current children cumulated vsize (KiB) 128768
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1760296/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=128900 CPUtime=4180.56
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 44769 0 0 0 417996 60 0 0 25 0 1 0 58315445 131993600 30107 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 32225 30107 118 243 0 31979 0
Current children cumulated CPU time (s) 4180.56
Current children cumulated vsize (KiB) 128900
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1760168/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=129032 CPUtime=4240.54
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 44789 0 0 0 423993 61 0 0 25 0 1 0 58315445 132128768 30127 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589545 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 32258 30127 118 243 0 32012 0
Current children cumulated CPU time (s) 4240.54
Current children cumulated vsize (KiB) 129032
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1760104/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=129032 CPUtime=4300.51
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 44798 0 0 0 429990 61 0 0 25 0 1 0 58315445 132128768 30136 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 32258 30136 118 243 0 32012 0
Current children cumulated CPU time (s) 4300.51
Current children cumulated vsize (KiB) 129032
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1759784/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=129544 CPUtime=4360.49
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 44945 0 0 0 435987 62 0 0 25 0 1 0 58315445 132653056 30154 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 32386 30154 118 243 0 32140 0
Current children cumulated CPU time (s) 4360.49
Current children cumulated vsize (KiB) 129544
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1759784/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=129800 CPUtime=4420.46
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 45030 0 0 0 441984 62 0 0 25 0 1 0 58315445 132915200 30174 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134579774 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 32450 30174 118 243 0 32204 0
Current children cumulated CPU time (s) 4420.46
Current children cumulated vsize (KiB) 129800
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1759784/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=129800 CPUtime=4480.43
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 45036 0 0 0 447981 62 0 0 25 0 1 0 58315445 132915200 30180 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 32450 30180 118 243 0 32204 0
Current children cumulated CPU time (s) 4480.43
Current children cumulated vsize (KiB) 129800
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1759784/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=129800 CPUtime=4540.42
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 45043 0 0 0 453979 63 0 0 25 0 1 0 58315445 132915200 30187 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 32450 30187 118 243 0 32204 0
Current children cumulated CPU time (s) 4540.42
Current children cumulated vsize (KiB) 129800
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1757736/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=131780 CPUtime=4600.4
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 45542 0 0 0 459976 64 0 0 25 0 1 0 58315445 134942720 30686 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 32945 30686 118 243 0 32699 0
Current children cumulated CPU time (s) 4600.4
Current children cumulated vsize (KiB) 131780
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1755176/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=134048 CPUtime=4660.37
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 46177 0 0 0 465972 65 0 0 25 0 1 0 58315445 137265152 31321 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 33512 31321 118 243 0 33266 0
Current children cumulated CPU time (s) 4660.37
Current children cumulated vsize (KiB) 134048
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1751784/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=136972 CPUtime=4720.35
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 47027 0 0 0 471968 67 0 0 25 0 1 0 58315445 140259328 32171 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 34243 32171 118 243 0 33997 0
Current children cumulated CPU time (s) 4720.35
Current children cumulated vsize (KiB) 136972
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1748712/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=139480 CPUtime=4780.33
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 47785 0 0 0 477965 68 0 0 25 0 1 0 58315445 142827520 32929 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 34870 32929 118 243 0 34624 0
Current children cumulated CPU time (s) 4780.33
Current children cumulated vsize (KiB) 139480
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1746856/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=141028 CPUtime=4840.3
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 49134 0 0 0 483962 68 0 0 25 0 1 0 58315445 144412672 33369 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 35257 33369 118 243 0 35011 0
Current children cumulated CPU time (s) 4840.3
Current children cumulated vsize (KiB) 141028
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1746792/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=141028 CPUtime=4900.28
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 49134 0 0 0 489959 69 0 0 25 0 1 0 58315445 144412672 33369 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 35257 33369 118 243 0 35011 0
Current children cumulated CPU time (s) 4900.28
Current children cumulated vsize (KiB) 141028
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1746728/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=141028 CPUtime=4960.25
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 49134 0 0 0 495956 69 0 0 25 0 1 0 58315445 144412672 33369 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589771 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 35257 33369 118 243 0 35011 0
Current children cumulated CPU time (s) 4960.25
Current children cumulated vsize (KiB) 141028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5002.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1746600/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=141288 CPUtime=5000.04
/proc/5737/stat : 5737 (cmusat) R 5735 5737 4592 0 -1 4194304 49167 0 0 0 499934 70 0 0 25 0 1 0 58315445 144678912 33402 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5737/statm: 35322 33402 118 243 0 35076 0
Current children cumulated CPU time (s) 5000.04
Current children cumulated vsize (KiB) 141288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5002.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1746600/2055920 swapFree=4171940/4192956
[pid=5737] ppid=5735 vsize=0 CPUtime=5000.07
/proc/5737/stat : 5737 (cmusat) D 5735 5737 4592 0 -1 4195332 49167 0 0 0 499935 72 0 0 25 0 1 0 58315445 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 35 18446744072100051646 0 0 17 1 0 0
/proc/5737/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5002.23
CPU time (s): 5000.08
CPU user time (s): 4999.35
CPU system time (s): 0.724889
CPU usage (%): 99.9569
Max. virtual memory (cumulated for all children) (KiB): 141288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.35
system time used= 0.724889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49167
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= 12261
runsolver used 5.55016 second user time and 11.2203 second system time
The end
Begin job on node40 on Mon Apr 23 02:12:39 UTC 2007
IDJOB= 369334
IDBENCH= 24746
IDSOLVER= 182
FILE ID= node40/369334-1177294359
PBS_JOBID= 4650816
Free space on /tmp= 66507 MiB
SOLVER NAME= CMUSAT 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/369334-1177294359/cmusat /tmp/evaluation/369334-1177294359/instance-369334-1177294359.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-369334-1177294359 -o ROOT/results/node40/solver-369334-1177294359 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/369334-1177294359/cmusat /tmp/evaluation/369334-1177294359/instance-369334-1177294359.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 6829b07d42c434b96cd2417ca27ed3f2
RANDOM SEED= 466201246
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node40.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.283
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.283
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: 1884480 kB
Buffers: 22180 kB
Cached: 62028 kB
SwapCached: 2560 kB
Active: 44376 kB
Inactive: 65004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1884480 kB
SwapTotal: 4192956 kB
SwapFree: 4171940 kB
Dirty: 2472 kB
Writeback: 0 kB
Mapped: 34308 kB
Slab: 47436 kB
Committed_AS: 930224 kB
PageTables: 1932 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= 66507 MiB
End job on node40 on Mon Apr 23 03:36:06 UTC 2007