runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3469426-1307097935/watcher-3469426-1307097935 -o /tmp/evaluation-result-3469426-1307097935/solver-3469426-1307097935 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469426-1307097935.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/489 20349
/proc/meminfo: memFree=27257736/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=12900 CPUtime=0.01 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 662 0 0 0 1 0 0 0 22 0 1 0 821391978 13209600 581 33554432000 4194304 4933572 140734097636832 18446744073709551615 4632847 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 3225 581 367 181 0 234 0
[startup+0.11176 s]
/proc/loadavg: 2.00 2.03 2.00 2/489 20349
/proc/meminfo: memFree=27257736/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=13428 CPUtime=0.1 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 781 0 0 0 10 0 0 0 23 0 1 0 821391978 13750272 700 33554432000 4194304 4933572 140734097636832 18446744073709551615 4664026 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 3357 700 374 181 0 366 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13428
[startup+0.200743 s]
/proc/loadavg: 2.00 2.03 2.00 2/489 20349
/proc/meminfo: memFree=27257736/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=13692 CPUtime=0.19 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 837 0 0 0 19 0 0 0 23 0 1 0 821391978 14020608 756 33554432000 4194304 4933572 140734097636832 18446744073709551615 4319397 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 3423 756 374 181 0 432 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13692
[startup+0.300727 s]
/proc/loadavg: 2.00 2.03 2.00 2/489 20349
/proc/meminfo: memFree=27257736/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=13824 CPUtime=0.29 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 884 0 0 0 29 0 0 0 23 0 1 0 821391978 14155776 803 33554432000 4194304 4933572 140734097636832 18446744073709551615 4649407 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 3456 803 374 181 0 465 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13824
[startup+0.70066 s]
/proc/loadavg: 2.00 2.03 2.00 2/489 20349
/proc/meminfo: memFree=27257736/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=14208 CPUtime=0.69 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 988 0 0 0 69 0 0 0 25 0 1 0 821391978 14548992 907 33554432000 4194304 4933572 140734097636832 18446744073709551615 4328714 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 3552 907 375 181 0 561 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14208
[startup+1.50053 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 20350
/proc/meminfo: memFree=27254512/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=14808 CPUtime=1.49 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 1118 0 0 0 149 0 0 0 25 0 1 0 821391978 15163392 1037 33554432000 4194304 4933572 140734097636832 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 3702 1037 375 181 0 711 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14808
[startup+3.10026 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 20350
/proc/meminfo: memFree=27252804/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=15204 CPUtime=3.09 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 1238 0 0 0 309 0 0 0 25 0 1 0 821391978 15568896 1157 33554432000 4194304 4933572 140734097636832 18446744073709551615 4414963 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 3801 1157 375 181 0 810 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15204
[startup+6.30072 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 20350
/proc/meminfo: memFree=27251800/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=15984 CPUtime=6.29 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 1436 0 0 0 629 0 0 0 25 0 1 0 821391978 16367616 1355 33554432000 4194304 4933572 140734097636832 18446744073709551615 4328697 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 3996 1355 375 181 0 1005 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15984
[startup+12.7006 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 20351
/proc/meminfo: memFree=27249672/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=16916 CPUtime=12.69 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 1668 0 0 0 1269 0 0 0 25 0 1 0 821391978 17321984 1587 33554432000 4194304 4933572 140734097636832 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 4229 1587 375 181 0 1238 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16916
[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 20351
/proc/meminfo: memFree=27249560/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=17560 CPUtime=25.49 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 1821 0 0 0 2549 0 0 0 25 0 1 0 821391978 17981440 1740 33554432000 4194304 4933572 140734097636832 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 4390 1740 375 181 0 1399 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17560
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 20352
/proc/meminfo: memFree=27247304/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=18988 CPUtime=51.09 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2163 0 0 0 5109 0 0 0 25 0 1 0 821391978 19443712 2082 33554432000 4194304 4933572 140734097636832 18446744073709551615 4635445 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 4747 2082 375 181 0 1756 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18988
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 20353
/proc/meminfo: memFree=27244660/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=20120 CPUtime=102.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2437 0 0 0 10231 0 0 0 25 0 1 0 821391978 20602880 2356 33554432000 4194304 4933572 140734097636832 18446744073709551615 4635611 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5030 2356 375 181 0 2039 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20120
[startup+162.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/490 20355
/proc/meminfo: memFree=27244008/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=20460 CPUtime=162.29 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2523 0 0 0 16229 0 0 0 25 0 1 0 821391978 20951040 2442 33554432000 4194304 4933572 140734097636832 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5115 2442 375 181 0 2124 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20460
[startup+222.318 s]
/proc/loadavg: 2.04 2.03 2.00 3/490 20356
/proc/meminfo: memFree=27242360/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=21028 CPUtime=222.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2636 0 0 0 22231 0 0 0 25 0 1 0 821391978 21532672 2555 33554432000 4194304 4933572 140734097636832 18446744073709551615 4411020 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5257 2555 375 181 0 2266 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 21028
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 20358
/proc/meminfo: memFree=27241840/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=21476 CPUtime=282.3 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2712 0 0 0 28230 0 0 0 25 0 1 0 821391978 21991424 2631 33554432000 4194304 4933572 140734097636832 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5369 2631 375 181 0 2378 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21476
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 20360
/proc/meminfo: memFree=27241692/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=21628 CPUtime=342.3 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2765 0 0 0 34230 0 0 0 25 0 1 0 821391978 22147072 2684 33554432000 4194304 4933572 140734097636832 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5407 2684 375 181 0 2416 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 21628
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 20361
/proc/meminfo: memFree=27241168/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=21776 CPUtime=402.3 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2781 0 0 0 40230 0 0 0 25 0 1 0 821391978 22298624 2700 33554432000 4194304 4933572 140734097636832 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5444 2700 375 181 0 2453 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 21776
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 20363
/proc/meminfo: memFree=27240508/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=21928 CPUtime=462.3 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2817 0 0 0 46230 0 0 0 25 0 1 0 821391978 22454272 2736 33554432000 4194304 4933572 140734097636832 18446744073709551615 4362217 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5482 2736 375 181 0 2491 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 21928
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 20364
/proc/meminfo: memFree=27240356/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=21928 CPUtime=522.3 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2826 0 0 0 52230 0 0 0 25 0 1 0 821391978 22454272 2745 33554432000 4194304 4933572 140734097636832 18446744073709551615 4414950 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5482 2745 375 181 0 2491 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 21928
[startup+582.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/490 20366
/proc/meminfo: memFree=27240328/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22228 CPUtime=582.3 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2878 0 0 0 58230 0 0 0 25 0 1 0 821391978 22761472 2797 33554432000 4194304 4933572 140734097636832 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5557 2797 375 181 0 2566 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 22228
[startup+642.301 s]
################
# More data... #
################
[startup+882.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 20374
/proc/meminfo: memFree=27239432/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22528 CPUtime=882.32 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2933 0 0 0 88232 0 0 0 25 0 1 0 821391978 23068672 2852 33554432000 4194304 4933572 140734097636832 18446744073709551615 4637279 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5632 2852 375 181 0 2641 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 22528
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 20385
/proc/meminfo: memFree=27238888/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22528 CPUtime=942.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2941 0 0 0 94231 0 0 0 25 0 1 0 821391978 23068672 2860 33554432000 4194304 4933572 140734097636832 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5632 2860 375 181 0 2641 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 22528
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 20386
/proc/meminfo: memFree=27238996/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22676 CPUtime=1002.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2956 0 0 0 100231 0 0 0 25 0 1 0 821391978 23220224 2875 33554432000 4194304 4933572 140734097636832 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5669 2875 375 181 0 2678 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 22676
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 20388
/proc/meminfo: memFree=27238704/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22676 CPUtime=1062.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2980 0 0 0 106231 0 0 0 25 0 1 0 821391978 23220224 2899 33554432000 4194304 4933572 140734097636832 18446744073709551615 4649555 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5669 2899 375 181 0 2678 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 22676
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 20391
/proc/meminfo: memFree=27238868/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22828 CPUtime=1122.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2996 0 0 0 112231 0 0 0 25 0 1 0 821391978 23375872 2915 33554432000 4194304 4933572 140734097636832 18446744073709551615 4664045 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5707 2915 375 181 0 2716 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 22828
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/490 20394
/proc/meminfo: memFree=27239532/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22828 CPUtime=1182.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2997 0 0 0 118231 0 0 0 25 0 1 0 821391978 23375872 2916 33554432000 4194304 4933572 140734097636832 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5707 2916 375 181 0 2716 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 22828
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/490 20396
/proc/meminfo: memFree=27239000/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22828 CPUtime=1242.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 2998 0 0 0 124231 0 0 0 25 0 1 0 821391978 23375872 2917 33554432000 4194304 4933572 140734097636832 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5707 2917 375 181 0 2716 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 22828
[startup+1302.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/490 20397
/proc/meminfo: memFree=27238832/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22828 CPUtime=1302.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3006 0 0 0 130231 0 0 0 25 0 1 0 821391978 23375872 2925 33554432000 4194304 4933572 140734097636832 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5707 2925 375 181 0 2716 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 22828
[startup+1362.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/490 20399
/proc/meminfo: memFree=27239056/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22828 CPUtime=1362.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3006 0 0 0 136231 0 0 0 25 0 1 0 821391978 23375872 2925 33554432000 4194304 4933572 140734097636832 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5707 2925 375 181 0 2716 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 22828
[startup+1422.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/490 20400
/proc/meminfo: memFree=27238896/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22976 CPUtime=1422.33 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3022 0 0 0 142233 0 0 0 25 0 1 0 821391978 23527424 2941 33554432000 4194304 4933572 140734097636832 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5744 2941 375 181 0 2753 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 22976
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 20402
/proc/meminfo: memFree=27238748/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22976 CPUtime=1482.31 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3022 0 0 0 148231 0 0 0 25 0 1 0 821391978 23527424 2941 33554432000 4194304 4933572 140734097636832 18446744073709551615 4625222 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5744 2941 375 181 0 2753 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 22976
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 20404
/proc/meminfo: memFree=27239824/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22976 CPUtime=1542.33 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3030 0 0 0 154233 0 0 0 25 0 1 0 821391978 23527424 2949 33554432000 4194304 4933572 140734097636832 18446744073709551615 210204306828 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5744 2949 375 181 0 2753 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 22976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 20433
/proc/meminfo: memFree=27257716/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22976 CPUtime=1602.32 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3030 0 0 0 160232 0 0 0 25 0 1 0 821391978 23527424 2949 33554432000 4194304 4933572 140734097636832 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5744 2949 375 181 0 2753 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 22976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 20435
/proc/meminfo: memFree=27255660/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22976 CPUtime=1662.32 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3030 0 0 0 166232 0 0 0 25 0 1 0 821391978 23527424 2949 33554432000 4194304 4933572 140734097636832 18446744073709551615 4668821 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5744 2949 375 181 0 2753 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 22976
[startup+1722.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/490 20436
/proc/meminfo: memFree=27256992/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22976 CPUtime=1722.32 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3030 0 0 0 172232 0 0 0 25 0 1 0 821391978 23527424 2949 33554432000 4194304 4933572 140734097636832 18446744073709551615 4428010 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5744 2949 375 181 0 2753 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 22976
[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/490 20438
/proc/meminfo: memFree=27254728/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22976 CPUtime=1782.32 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3041 0 0 0 178232 0 0 0 25 0 1 0 821391978 23527424 2960 33554432000 4194304 4933572 140734097636832 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5744 2960 375 181 0 2753 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 22976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.04 2.01 3/490 20438
/proc/meminfo: memFree=27255348/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22976 CPUtime=1800.03 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3041 0 0 0 180003 0 0 0 25 0 1 0 821391978 23527424 2960 33554432000 4194304 4933572 140734097636832 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5744 2960 375 181 0 2753 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 22976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.08 2.04 2.01 3/490 20438
/proc/meminfo: memFree=27255348/32951124 swapFree=63649284/67111528
[pid=20349] ppid=20347 vsize=22976 CPUtime=1800.03 cores=1,3,5,7
/proc/20349/stat : 20349 (clasp) R 20347 20349 19900 0 -1 4202496 3041 0 0 0 180003 0 0 0 25 0 1 0 821391978 23527424 2960 33554432000 4194304 4933572 140734097636832 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/20349/statm: 5744 2960 375 181 0 2753 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 22976
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.05
CPU user time (s): 1800.04
CPU system time (s): 0.004999
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 22976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3051
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= 10
involuntary context switches= 20682
runsolver used 8.29474 second user time and 19.563 second system time
The end