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-3468327-1307068342/watcher-3468327-1307068342 -o /tmp/evaluation-result-3468327-1307068342/solver-3468327-1307068342 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468327-1307068342.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 0,2,4,6
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: 0.93 1.00 0.99 3/477 18648
/proc/meminfo: memFree=21533144/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=18960 CPUtime=0 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 2283 0 0 0 0 0 0 0 25 0 1 0 799249566 19415040 2041 33554432000 4194304 4933572 140734425259360 18446744073709551615 254261277381 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 4740 2041 332 181 0 1749 0
[startup+0.0762639 s]
/proc/loadavg: 0.93 1.00 0.99 3/477 18648
/proc/meminfo: memFree=21533144/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=22012 CPUtime=0.07 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 3559 0 0 0 7 0 0 0 25 0 1 0 799249566 22540288 2860 33554432000 4194304 4933572 140734425259360 18446744073709551615 4328714 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 5503 2860 367 181 0 2512 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22012
[startup+0.101234 s]
/proc/loadavg: 0.93 1.00 0.99 3/477 18648
/proc/meminfo: memFree=21533144/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=22408 CPUtime=0.09 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 3653 0 0 0 9 0 0 0 25 0 1 0 799249566 22945792 2954 33554432000 4194304 4933572 140734425259360 18446744073709551615 4368063 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 5602 2954 367 181 0 2611 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22408
[startup+0.300223 s]
/proc/loadavg: 0.93 1.00 0.99 3/477 18648
/proc/meminfo: memFree=21533144/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=25460 CPUtime=0.29 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 4418 0 0 0 29 0 0 0 25 0 1 0 799249566 26071040 3719 33554432000 4194304 4933572 140734425259360 18446744073709551615 254261277381 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 6365 3719 374 181 0 3374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25460
[startup+0.701155 s]
/proc/loadavg: 0.93 1.00 0.99 3/477 18648
/proc/meminfo: memFree=21533144/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=31012 CPUtime=0.69 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 5791 0 0 0 69 0 0 0 25 0 1 0 799249566 31756288 5092 33554432000 4194304 4933572 140734425259360 18446744073709551615 4717558 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 7753 5092 374 181 0 4762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31012
[startup+1.50101 s]
/proc/loadavg: 0.93 1.00 0.99 3/478 18649
/proc/meminfo: memFree=21499664/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=43412 CPUtime=1.49 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 8878 0 0 0 148 1 0 0 25 0 1 0 799249566 44453888 8179 33554432000 4194304 4933572 140734425259360 18446744073709551615 4329801 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 10853 8179 374 181 0 7862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43412
[startup+3.10074 s]
/proc/loadavg: 0.93 1.00 0.99 3/478 18649
/proc/meminfo: memFree=21488772/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=51256 CPUtime=3.09 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 10831 0 0 0 308 1 0 0 25 0 1 0 799249566 52486144 10132 33554432000 4194304 4933572 140734425259360 18446744073709551615 4340865 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 12814 10132 374 181 0 9823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51256
[startup+6.30115 s]
/proc/loadavg: 1.02 1.02 1.00 3/478 18649
/proc/meminfo: memFree=21462616/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=66052 CPUtime=6.28 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 14557 0 0 0 627 1 0 0 25 0 1 0 799249566 67637248 13858 33554432000 4194304 4933572 140734425259360 18446744073709551615 4378672 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 16513 13858 374 181 0 13522 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 66052
[startup+12.701 s]
/proc/loadavg: 1.10 1.03 1.01 3/478 18649
/proc/meminfo: memFree=21426384/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=88264 CPUtime=12.69 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 20080 0 0 0 1267 2 0 0 25 0 1 0 799249566 90382336 19381 33554432000 4194304 4933572 140734425259360 18446744073709551615 4719093 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 22066 19381 374 181 0 19075 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88264
[startup+25.5007 s]
/proc/loadavg: 1.30 1.08 1.02 3/478 18649
/proc/meminfo: memFree=21402456/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=100064 CPUtime=25.49 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 23053 0 0 0 2546 3 0 0 25 0 1 0 799249566 102465536 22354 33554432000 4194304 4933572 140734425259360 18446744073709551615 4719090 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 25016 22354 376 181 0 22025 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 100064
[startup+51.1003 s]
/proc/loadavg: 1.54 1.15 1.04 3/478 18650
/proc/meminfo: memFree=21330728/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=153652 CPUtime=51.09 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 36462 0 0 0 5104 5 0 0 25 0 1 0 799249566 157339648 35763 33554432000 4194304 4933572 140734425259360 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 38413 35763 376 181 0 35422 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 153652
[startup+102.318 s]
/proc/loadavg: 1.80 1.28 1.09 3/478 18651
/proc/meminfo: memFree=21290152/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=153652 CPUtime=102.31 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 36466 0 0 0 10226 5 0 0 25 0 1 0 799249566 157339648 35767 33554432000 4194304 4933572 140734425259360 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 38413 35767 376 181 0 35422 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 153652
[startup+162.301 s]
/proc/loadavg: 1.92 1.41 1.15 3/478 18653
/proc/meminfo: memFree=21164516/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=248956 CPUtime=162.29 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 60280 0 0 0 16220 9 0 0 25 0 1 0 799249566 254930944 59581 33554432000 4194304 4933572 140734425259360 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 62239 59581 376 181 0 59248 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 248956
[startup+222.301 s]
/proc/loadavg: 2.06 1.54 1.21 3/478 18655
/proc/meminfo: memFree=21142176/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=275536 CPUtime=222.29 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 66919 0 0 0 22219 10 0 0 25 0 1 0 799249566 282148864 66220 33554432000 4194304 4933572 140734425259360 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 68884 66220 376 181 0 65893 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 275536
[startup+282.3 s]
/proc/loadavg: 2.17 1.66 1.26 3/478 18656
/proc/meminfo: memFree=21092556/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=301420 CPUtime=282.29 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 73379 0 0 0 28218 11 0 0 25 0 1 0 799249566 308654080 72680 33554432000 4194304 4933572 140734425259360 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 75355 72680 376 181 0 72364 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 301420
[startup+342.301 s]
/proc/loadavg: 2.13 1.73 1.31 3/478 18658
/proc/meminfo: memFree=21072208/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=321368 CPUtime=342.29 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 78841 0 0 0 34217 12 0 0 25 0 1 0 799249566 329080832 77691 33554432000 4194304 4933572 140734425259360 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 80342 77691 377 181 0 77351 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 321368
[startup+402.3 s]
/proc/loadavg: 2.04 1.78 1.35 3/478 18659
/proc/meminfo: memFree=21024824/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=369176 CPUtime=402.3 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 90760 0 0 0 40216 14 0 0 25 0 1 0 799249566 378036224 89610 33554432000 4194304 4933572 140734425259360 18446744073709551615 254261275544 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 92294 89610 377 181 0 89303 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 369176
[startup+462.301 s]
/proc/loadavg: 2.01 1.82 1.39 3/478 18661
/proc/meminfo: memFree=20983016/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=410852 CPUtime=462.3 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 101180 0 0 0 46215 15 0 0 25 0 1 0 799249566 420712448 100030 33554432000 4194304 4933572 140734425259360 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 102713 100030 377 181 0 99722 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 410852
[startup+522.301 s]
/proc/loadavg: 2.00 1.85 1.43 3/478 18663
/proc/meminfo: memFree=20941584/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=435028 CPUtime=522.3 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 107208 0 0 0 52214 16 0 0 25 0 1 0 799249566 445468672 106058 33554432000 4194304 4933572 140734425259360 18446744073709551615 4718572 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 108757 106058 377 181 0 105766 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 435028
[startup+582.3 s]
/proc/loadavg: 2.00 1.87 1.46 3/478 18664
/proc/meminfo: memFree=20936860/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=431220 CPUtime=582.3 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 107210 0 0 0 58214 16 0 0 25 0 1 0 799249566 441569280 105135 33554432000 4194304 4933572 140734425259360 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 107805 105135 377 181 0 104814 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 431220
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.10 1.97 1.59 3/478 18671
/proc/meminfo: memFree=20918676/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=431220 CPUtime=822.31 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 107212 0 0 0 82215 16 0 0 25 0 1 0 799249566 441569280 105137 33554432000 4194304 4933572 140734425259360 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 107805 105137 377 181 0 104814 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 431220
[startup+882.3 s]
/proc/loadavg: 2.11 2.00 1.62 3/478 18672
/proc/meminfo: memFree=20918156/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=431220 CPUtime=882.31 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 107212 0 0 0 88215 16 0 0 25 0 1 0 799249566 441569280 105137 33554432000 4194304 4933572 140734425259360 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 107805 105137 377 181 0 104814 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 431220
[startup+942.301 s]
/proc/loadavg: 2.07 2.01 1.65 3/478 18674
/proc/meminfo: memFree=20919244/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=431904 CPUtime=942.31 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 107368 0 0 0 94215 16 0 0 25 0 1 0 799249566 442269696 105293 33554432000 4194304 4933572 140734425259360 18446744073709551615 4635384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 107976 105293 377 181 0 104985 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 431904
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.66 3/478 18675
/proc/meminfo: memFree=20890576/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=460592 CPUtime=1002.31 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 114509 0 0 0 100214 17 0 0 25 0 1 0 799249566 471646208 112434 33554432000 4194304 4933572 140734425259360 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 115148 112434 377 181 0 112157 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 460592
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.68 3/478 18677
/proc/meminfo: memFree=20861160/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1062.32 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 106214 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 489572
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/478 18679
/proc/meminfo: memFree=20861260/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1122.32 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 112214 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4717596 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 489572
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/478 18680
/proc/meminfo: memFree=20860868/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1182.32 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 118214 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 489572
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/478 18682
/proc/meminfo: memFree=20860464/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1242.32 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 124214 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4341611 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 489572
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/478 18683
/proc/meminfo: memFree=20859064/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1302.34 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 130216 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 489572
[startup+1362.3 s]
/proc/loadavg: 2.14 2.04 1.77 3/478 18685
/proc/meminfo: memFree=20839084/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1362.32 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 136214 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4330251 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 489572
[startup+1422.32 s]
/proc/loadavg: 2.16 2.06 1.79 3/478 18687
/proc/meminfo: memFree=20839068/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1422.34 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 142216 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4649490 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 489572
[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 1.81 3/478 18688
/proc/meminfo: memFree=20836560/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1482.33 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 148215 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4719099 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 489572
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 1.82 3/478 18690
/proc/meminfo: memFree=20837280/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1542.33 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 154215 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 489572
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 1.83 3/478 18691
/proc/meminfo: memFree=20837260/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1602.33 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 160215 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4360926 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 489572
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.83 3/478 18693
/proc/meminfo: memFree=20837488/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1662.33 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 166215 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 489572
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.84 3/478 18704
/proc/meminfo: memFree=20817120/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1722.33 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 172215 18 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4717558 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 489572
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 1.85 3/478 18733
/proc/meminfo: memFree=20996640/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1782.34 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 178215 19 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 489572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.03 1.85 3/478 18734
/proc/meminfo: memFree=20987792/32951124 swapFree=67057928/67111528
[pid=18648] ppid=18646 vsize=489572 CPUtime=1800.05 cores=0,2,4,6
/proc/18648/stat : 18648 (clasp) R 18646 18648 17530 0 -1 4202496 121753 0 0 0 179986 19 0 0 25 0 1 0 799249566 501321728 119678 33554432000 4194304 4933572 140734425259360 18446744073709551615 4330360 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18648/statm: 122393 119678 377 181 0 119402 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 489572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1799.87
CPU system time (s): 0.213967
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 489572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.213967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121765
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= 5
involuntary context switches= 2681
runsolver used 8.91165 second user time and 18.9311 second system time
The end