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-3468831-1307105662/watcher-3468831-1307105662 -o /tmp/evaluation-result-3468831-1307105662/solver-3468831-1307105662 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468831-1307105662.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: 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: 1.15 1.26 1.62 2/489 20940
/proc/meminfo: memFree=27267780/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=12732 CPUtime=0.01 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 607 0 0 0 1 0 0 0 25 0 1 0 822164709 13037568 540 33554432000 4194304 4933572 140734953796352 18446744073709551615 210204308165 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 3183 540 377 181 0 192 0
[startup+0.019423 s]
/proc/loadavg: 1.15 1.26 1.62 2/489 20940
/proc/meminfo: memFree=27267780/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=12864 CPUtime=0.01 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 651 0 0 0 1 0 0 0 25 0 1 0 822164709 13172736 584 33554432000 4194304 4933572 140734953796352 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 3216 584 383 181 0 225 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12864
[startup+0.100406 s]
/proc/loadavg: 1.15 1.26 1.62 2/489 20940
/proc/meminfo: memFree=27267780/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=13788 CPUtime=0.09 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 884 0 0 0 9 0 0 0 25 0 1 0 822164709 14118912 817 33554432000 4194304 4933572 140734953796352 18446744073709551615 4360967 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 3447 817 384 181 0 456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13788
[startup+0.300374 s]
/proc/loadavg: 1.15 1.26 1.62 2/489 20940
/proc/meminfo: memFree=27267780/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=14316 CPUtime=0.29 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 990 0 0 0 29 0 0 0 25 0 1 0 822164709 14659584 923 33554432000 4194304 4933572 140734953796352 18446744073709551615 4625222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 3579 923 384 181 0 588 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14316
[startup+0.700307 s]
/proc/loadavg: 1.15 1.26 1.62 2/489 20940
/proc/meminfo: memFree=27267780/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=14844 CPUtime=0.69 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 1125 0 0 0 69 0 0 0 25 0 1 0 822164709 15200256 1058 33554432000 4194304 4933572 140734953796352 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 3711 1058 385 181 0 720 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14844
[startup+1.50017 s]
/proc/loadavg: 1.15 1.26 1.62 3/490 20941
/proc/meminfo: memFree=27262624/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=15504 CPUtime=1.49 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 1286 0 0 0 149 0 0 0 25 0 1 0 822164709 15876096 1219 33554432000 4194304 4933572 140734953796352 18446744073709551615 4664041 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 3876 1219 385 181 0 885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15504
[startup+3.1009 s]
/proc/loadavg: 1.15 1.26 1.62 3/490 20941
/proc/meminfo: memFree=27260516/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=16236 CPUtime=3.09 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 1489 0 0 0 309 0 0 0 25 0 1 0 822164709 16625664 1422 33554432000 4194304 4933572 140734953796352 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 4059 1422 385 181 0 1068 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16236
[startup+6.30036 s]
/proc/loadavg: 1.22 1.28 1.63 3/490 20941
/proc/meminfo: memFree=27259384/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=16992 CPUtime=6.29 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 1677 0 0 0 629 0 0 0 25 0 1 0 822164709 17399808 1610 33554432000 4194304 4933572 140734953796352 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 4248 1610 385 181 0 1257 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16992
[startup+12.7003 s]
/proc/loadavg: 1.28 1.29 1.63 3/490 20942
/proc/meminfo: memFree=27256668/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=18076 CPUtime=12.69 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 1933 0 0 0 1269 0 0 0 25 0 1 0 822164709 18509824 1866 33554432000 4194304 4933572 140734953796352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 4519 1866 385 181 0 1528 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18076
[startup+25.5001 s]
/proc/loadavg: 1.44 1.32 1.63 3/490 20942
/proc/meminfo: memFree=27255440/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=18756 CPUtime=25.49 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 2107 0 0 0 2549 0 0 0 25 0 1 0 822164709 19206144 2040 33554432000 4194304 4933572 140734953796352 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 4689 2040 385 181 0 1698 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18756
[startup+51.1008 s]
/proc/loadavg: 1.63 1.38 1.64 3/490 20943
/proc/meminfo: memFree=27253540/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=19652 CPUtime=51.09 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 2340 0 0 0 5109 0 0 0 25 0 1 0 822164709 20123648 2273 33554432000 4194304 4933572 140734953796352 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 4913 2273 385 181 0 1922 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19652
[startup+102.318 s]
/proc/loadavg: 1.84 1.47 1.66 3/490 20944
/proc/meminfo: memFree=27250284/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=20224 CPUtime=102.31 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 2475 0 0 0 10231 0 0 0 25 0 1 0 822164709 20709376 2408 33554432000 4194304 4933572 140734953796352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 5056 2408 385 181 0 2065 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20224
[startup+162.3 s]
/proc/loadavg: 1.94 1.56 1.67 3/490 20946
/proc/meminfo: memFree=27247400/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=21544 CPUtime=162.29 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 2796 0 0 0 16229 0 0 0 25 0 1 0 822164709 22061056 2729 33554432000 4194304 4933572 140734953796352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 5386 2729 385 181 0 2395 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21544
[startup+222.301 s]
/proc/loadavg: 1.98 1.64 1.69 3/490 20947
/proc/meminfo: memFree=27246508/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=22096 CPUtime=222.29 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 2929 0 0 0 22229 0 0 0 25 0 1 0 822164709 22626304 2862 33554432000 4194304 4933572 140734953796352 18446744073709551615 4363528 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 5524 2862 385 181 0 2533 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 22096
[startup+282.301 s]
/proc/loadavg: 1.99 1.70 1.71 3/490 20949
/proc/meminfo: memFree=27246612/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=22520 CPUtime=282.29 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3014 0 0 0 28229 0 0 0 25 0 1 0 822164709 23060480 2947 33554432000 4194304 4933572 140734953796352 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 5630 2947 385 181 0 2639 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 22520
[startup+342.301 s]
/proc/loadavg: 1.99 1.75 1.73 3/490 20951
/proc/meminfo: memFree=27245856/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=22772 CPUtime=342.29 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3076 0 0 0 34229 0 0 0 25 0 1 0 822164709 23318528 3009 33554432000 4194304 4933572 140734953796352 18446744073709551615 4363293 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 5693 3009 385 181 0 2702 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 22772
[startup+402.301 s]
/proc/loadavg: 1.99 1.80 1.74 3/490 20961
/proc/meminfo: memFree=27243960/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=23340 CPUtime=402.3 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3234 0 0 0 40230 0 0 0 25 0 1 0 822164709 23900160 3167 33554432000 4194304 4933572 140734953796352 18446744073709551615 4631889 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 5835 3167 385 181 0 2844 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23340
[startup+462.301 s]
/proc/loadavg: 1.99 1.83 1.75 3/490 20963
/proc/meminfo: memFree=27243988/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=23812 CPUtime=462.3 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3327 0 0 0 46230 0 0 0 25 0 1 0 822164709 24383488 3260 33554432000 4194304 4933572 140734953796352 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 5953 3260 385 181 0 2962 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 23812
[startup+522.301 s]
/proc/loadavg: 2.14 1.90 1.78 3/490 20964
/proc/meminfo: memFree=27243812/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=23968 CPUtime=522.3 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3354 0 0 0 52230 0 0 0 25 0 1 0 822164709 24543232 3287 33554432000 4194304 4933572 140734953796352 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 5992 3287 385 181 0 3001 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 23968
[startup+582.301 s]
/proc/loadavg: 2.10 1.93 1.80 3/490 20966
/proc/meminfo: memFree=27243160/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=23968 CPUtime=582.3 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3368 0 0 0 58230 0 0 0 25 0 1 0 822164709 24543232 3301 33554432000 4194304 4933572 140734953796352 18446744073709551615 4340865 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 5992 3301 385 181 0 3001 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 23968
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/490 20975
/proc/meminfo: memFree=27243356/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=24268 CPUtime=822.3 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3451 0 0 0 82230 0 0 0 25 0 1 0 822164709 24850432 3384 33554432000 4194304 4933572 140734953796352 18446744073709551615 4631928 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6067 3384 385 181 0 3076 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 24268
[startup+882.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/490 20977
/proc/meminfo: memFree=27242704/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=24344 CPUtime=882.3 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3460 0 0 0 88230 0 0 0 25 0 1 0 822164709 24928256 3393 33554432000 4194304 4933572 140734953796352 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6086 3393 385 181 0 3095 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 24344
[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/490 20979
/proc/meminfo: memFree=27242936/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=24764 CPUtime=942.3 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3571 0 0 0 94230 0 0 0 25 0 1 0 822164709 25358336 3504 33554432000 4194304 4933572 140734953796352 18446744073709551615 4632831 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6191 3504 385 181 0 3200 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 24764
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/490 20980
/proc/meminfo: memFree=27242276/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=24928 CPUtime=1002.31 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3593 0 0 0 100231 0 0 0 25 0 1 0 822164709 25526272 3526 33554432000 4194304 4933572 140734953796352 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6232 3526 385 181 0 3241 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 24928
[startup+1062.3 s]
/proc/loadavg: 2.10 2.00 1.87 3/490 20982
/proc/meminfo: memFree=27242492/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=24928 CPUtime=1062.31 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3609 0 0 0 106231 0 0 0 25 0 1 0 822164709 25526272 3542 33554432000 4194304 4933572 140734953796352 18446744073709551615 4368560 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6232 3542 385 181 0 3241 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 24928
[startup+1122.3 s]
/proc/loadavg: 2.21 2.05 1.89 3/490 20983
/proc/meminfo: memFree=27242724/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=24964 CPUtime=1122.31 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3622 0 0 0 112231 0 0 0 25 0 1 0 822164709 25563136 3555 33554432000 4194304 4933572 140734953796352 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6241 3555 385 181 0 3250 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 24964
[startup+1182.3 s]
/proc/loadavg: 2.14 2.05 1.90 3/490 20985
/proc/meminfo: memFree=27241712/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=24964 CPUtime=1182.31 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3626 0 0 0 118231 0 0 0 25 0 1 0 822164709 25563136 3559 33554432000 4194304 4933572 140734953796352 18446744073709551615 4632203 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6241 3559 385 181 0 3250 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 24964
[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 1.91 3/490 20987
/proc/meminfo: memFree=27241676/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25116 CPUtime=1242.31 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3634 0 0 0 124231 0 0 0 25 0 1 0 822164709 25718784 3567 33554432000 4194304 4933572 140734953796352 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6279 3567 385 181 0 3288 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 25116
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 1.91 3/490 20988
/proc/meminfo: memFree=27240776/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25116 CPUtime=1302.32 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3638 0 0 0 130232 0 0 0 25 0 1 0 822164709 25718784 3571 33554432000 4194304 4933572 140734953796352 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6279 3571 385 181 0 3288 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 25116
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/490 20990
/proc/meminfo: memFree=27240740/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25284 CPUtime=1362.31 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3675 0 0 0 136231 0 0 0 25 0 1 0 822164709 25890816 3608 33554432000 4194304 4933572 140734953796352 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6321 3608 385 181 0 3330 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 25284
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.91 3/490 20991
/proc/meminfo: memFree=27241448/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25284 CPUtime=1422.33 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3701 0 0 0 142233 0 0 0 25 0 1 0 822164709 25890816 3634 33554432000 4194304 4933572 140734953796352 18446744073709551615 4363283 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6321 3634 385 181 0 3330 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 25284
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/490 20993
/proc/meminfo: memFree=27241424/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25432 CPUtime=1482.31 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3729 0 0 0 148231 0 0 0 25 0 1 0 822164709 26042368 3662 33554432000 4194304 4933572 140734953796352 18446744073709551615 4329997 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6358 3662 385 181 0 3367 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 25432
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/490 20995
/proc/meminfo: memFree=27243636/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25432 CPUtime=1542.31 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3732 0 0 0 154231 0 0 0 25 0 1 0 822164709 26042368 3665 33554432000 4194304 4933572 140734953796352 18446744073709551615 4632144 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6358 3665 385 181 0 3367 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 25432
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/490 20996
/proc/meminfo: memFree=27241988/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25432 CPUtime=1602.31 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3739 0 0 0 160231 0 0 0 25 0 1 0 822164709 26042368 3672 33554432000 4194304 4933572 140734953796352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6358 3672 385 181 0 3367 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 25432
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/490 20998
/proc/meminfo: memFree=27241948/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25584 CPUtime=1662.32 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3761 0 0 0 166232 0 0 0 25 0 1 0 822164709 26198016 3694 33554432000 4194304 4933572 140734953796352 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6396 3694 385 181 0 3405 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 25584
[startup+1722.3 s]
/proc/loadavg: 2.15 2.05 1.93 3/490 20999
/proc/meminfo: memFree=27241412/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25584 CPUtime=1722.32 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3762 0 0 0 172232 0 0 0 25 0 1 0 822164709 26198016 3695 33554432000 4194304 4933572 140734953796352 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6396 3695 385 181 0 3405 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 25584
[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 1.94 3/490 21001
/proc/meminfo: memFree=27240516/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25732 CPUtime=1782.32 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3779 0 0 0 178232 0 0 0 25 0 1 0 822164709 26349568 3712 33554432000 4194304 4933572 140734953796352 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6433 3712 385 181 0 3442 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 25732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.05 1.94 3/490 21029
/proc/meminfo: memFree=27253096/32951124 swapFree=63649284/67111528
[pid=20940] ppid=20938 vsize=25732 CPUtime=1800.03 cores=1,3,5,7
/proc/20940/stat : 20940 (clasp) R 20938 20940 19900 0 -1 4202496 3779 0 0 0 180003 0 0 0 25 0 1 0 822164709 26349568 3712 33554432000 4194304 4933572 140734953796352 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20940/statm: 6433 3712 385 181 0 3442 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 25732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.05
CPU user time (s): 1800.04
CPU system time (s): 0.006998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 25732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3788
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= 4794
runsolver used 8.35373 second user time and 19.493 second system time
The end