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-3468582-1307077351/watcher-3468582-1307077351 -o /tmp/evaluation-result-3468582-1307077351/solver-3468582-1307077351 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468582-1307077351.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.93 2.01 1.99 2/477 19686
/proc/meminfo: memFree=21499580/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=14056 CPUtime=0.01 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 950 0 0 0 1 0 0 0 25 0 1 0 800150431 14393344 840 33554432000 4194304 4933572 140734816803456 18446744073709551615 4340878 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 3514 840 362 181 0 523 0
[startup+0.0346931 s]
/proc/loadavg: 1.93 2.01 1.99 2/477 19686
/proc/meminfo: memFree=21499580/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=14188 CPUtime=0.03 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 996 0 0 0 3 0 0 0 25 0 1 0 800150431 14528512 886 33554432000 4194304 4933572 140734816803456 18446744073709551615 4717616 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 3547 886 373 181 0 556 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14188
[startup+0.10068 s]
/proc/loadavg: 1.93 2.01 1.99 2/477 19686
/proc/meminfo: memFree=21499580/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=14840 CPUtime=0.09 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 1169 0 0 0 9 0 0 0 25 0 1 0 800150431 15196160 1059 33554432000 4194304 4933572 140734816803456 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 3710 1059 375 181 0 719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14840
[startup+0.300646 s]
/proc/loadavg: 1.93 2.01 1.99 2/477 19686
/proc/meminfo: memFree=21499580/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=15632 CPUtime=0.29 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 1373 0 0 0 29 0 0 0 25 0 1 0 800150431 16007168 1263 33554432000 4194304 4933572 140734816803456 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 3908 1263 375 181 0 917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15632
[startup+0.700574 s]
/proc/loadavg: 1.93 2.01 1.99 2/477 19686
/proc/meminfo: memFree=21499580/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=16412 CPUtime=0.69 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 1576 0 0 0 69 0 0 0 25 0 1 0 800150431 16805888 1466 33554432000 4194304 4933572 140734816803456 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 4103 1466 375 181 0 1112 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16412
[startup+1.50045 s]
/proc/loadavg: 1.93 2.01 1.99 3/478 19687
/proc/meminfo: memFree=21493628/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=17460 CPUtime=1.49 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 1818 0 0 0 149 0 0 0 25 0 1 0 800150431 17879040 1708 33554432000 4194304 4933572 140734816803456 18446744073709551615 4358523 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 4365 1708 375 181 0 1374 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17460
[startup+3.10015 s]
/proc/loadavg: 1.93 2.01 1.99 3/478 19687
/proc/meminfo: memFree=21491768/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=18764 CPUtime=3.09 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 2148 0 0 0 309 0 0 0 25 0 1 0 800150431 19214336 2038 33554432000 4194304 4933572 140734816803456 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 4691 2038 375 181 0 1700 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18764
[startup+6.30059 s]
/proc/loadavg: 1.93 2.01 1.99 3/478 19687
/proc/meminfo: memFree=21490056/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=19684 CPUtime=6.3 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 2373 0 0 0 630 0 0 0 25 0 1 0 800150431 20156416 2263 33554432000 4194304 4933572 140734816803456 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 4921 2263 375 181 0 1930 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 19684
[startup+12.7005 s]
/proc/loadavg: 1.94 2.01 1.99 3/478 19687
/proc/meminfo: memFree=21487944/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=20860 CPUtime=12.7 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 2670 0 0 0 1270 0 0 0 25 0 1 0 800150431 21360640 2560 33554432000 4194304 4933572 140734816803456 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 5215 2560 375 181 0 2224 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 20860
[startup+25.5002 s]
/proc/loadavg: 2.02 2.03 2.00 3/478 19688
/proc/meminfo: memFree=21485720/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=22680 CPUtime=25.5 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 3146 0 0 0 2550 0 0 0 25 0 1 0 800150431 23224320 3036 33554432000 4194304 4933572 140734816803456 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 5670 3036 375 181 0 2679 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 22680
[startup+51.1007 s]
/proc/loadavg: 2.02 2.02 2.00 3/478 19688
/proc/meminfo: memFree=21484556/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=24232 CPUtime=51.09 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 3518 0 0 0 5109 0 0 0 25 0 1 0 800150431 24813568 3408 33554432000 4194304 4933572 140734816803456 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 6058 3408 375 181 0 3067 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24232
[startup+102.318 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 19690
/proc/meminfo: memFree=21481784/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=25684 CPUtime=102.31 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 3937 0 0 0 10231 0 0 0 25 0 1 0 800150431 26300416 3787 33554432000 4194304 4933572 140734816803456 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 6421 3787 375 181 0 3430 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 25684
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 19691
/proc/meminfo: memFree=21480860/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=26160 CPUtime=162.29 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 4167 0 0 0 16229 0 0 0 25 0 1 0 800150431 26787840 3906 33554432000 4194304 4933572 140734816803456 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 6540 3906 375 181 0 3549 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26160
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 19693
/proc/meminfo: memFree=21480548/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=27368 CPUtime=222.29 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 4610 0 0 0 22229 0 0 0 25 0 1 0 800150431 28024832 4207 33554432000 4194304 4933572 140734816803456 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19686/statm: 6842 4207 375 181 0 3851 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 27368
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 19694
/proc/meminfo: memFree=21480872/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=27916 CPUtime=282.29 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 4732 0 0 0 28229 0 0 0 25 0 1 0 800150431 28585984 4329 33554432000 4194304 4933572 140734816803456 18446744073709551615 4330258 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 6979 4329 375 181 0 3988 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 27916
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 19696
/proc/meminfo: memFree=21480076/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=28024 CPUtime=342.29 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 4997 0 0 0 34229 0 0 0 25 0 1 0 800150431 28696576 4371 33554432000 4194304 4933572 140734816803456 18446744073709551615 4632840 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7006 4371 375 181 0 4015 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 28024
[startup+402.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/478 19698
/proc/meminfo: memFree=21480028/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=28024 CPUtime=402.3 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 5371 0 0 0 40230 0 0 0 25 0 1 0 800150431 28696576 4371 33554432000 4194304 4933572 140734816803456 18446744073709551615 4319422 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7006 4371 375 181 0 4015 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28024
[startup+462.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/478 19699
/proc/meminfo: memFree=21480212/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=28236 CPUtime=462.3 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 5475 0 0 0 46230 0 0 0 25 0 1 0 800150431 28913664 4424 33554432000 4194304 4933572 140734816803456 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7059 4424 375 181 0 4068 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 28236
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/478 19701
/proc/meminfo: memFree=21479760/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=28936 CPUtime=522.3 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 5868 0 0 0 52230 0 0 0 25 0 1 0 800150431 29630464 4582 33554432000 4194304 4933572 140734816803456 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7234 4582 375 181 0 4243 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 28936
[startup+582.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/478 19702
/proc/meminfo: memFree=21478964/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=29472 CPUtime=582.3 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 6031 0 0 0 58230 0 0 0 25 0 1 0 800150431 30179328 4733 33554432000 4194304 4933572 140734816803456 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7368 4733 375 181 0 4377 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 29472
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/478 19764
/proc/meminfo: memFree=21476360/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=30608 CPUtime=822.3 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 6352 0 0 0 82230 0 0 0 25 0 1 0 800150431 31342592 5017 33554432000 4194304 4933572 140734816803456 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7652 5017 375 181 0 4661 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 30608
[startup+882.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/478 19765
/proc/meminfo: memFree=21472948/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=30992 CPUtime=882.31 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 6438 0 0 0 88231 0 0 0 25 0 1 0 800150431 31735808 5103 33554432000 4194304 4933572 140734816803456 18446744073709551615 4649190 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7748 5103 375 181 0 4757 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 30992
[startup+942.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/478 19767
/proc/meminfo: memFree=21472912/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=30992 CPUtime=942.31 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 6438 0 0 0 94231 0 0 0 25 0 1 0 800150431 31735808 5103 33554432000 4194304 4933572 140734816803456 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7748 5103 375 181 0 4757 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 30992
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/478 19769
/proc/meminfo: memFree=21471236/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=30992 CPUtime=1002.31 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 6438 0 0 0 100231 0 0 0 25 0 1 0 800150431 31735808 5103 33554432000 4194304 4933572 140734816803456 18446744073709551615 4319426 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7748 5103 375 181 0 4757 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 30992
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 19770
/proc/meminfo: memFree=21470088/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=30912 CPUtime=1062.31 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 6438 0 0 0 106231 0 0 0 25 0 1 0 800150431 31653888 5093 33554432000 4194304 4933572 140734816803456 18446744073709551615 4340852 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7728 5093 375 181 0 4737 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 30912
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 19772
/proc/meminfo: memFree=21469308/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=30912 CPUtime=1122.31 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 6438 0 0 0 112231 0 0 0 25 0 1 0 800150431 31653888 5093 33554432000 4194304 4933572 140734816803456 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7728 5093 375 181 0 4737 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 30912
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/478 19773
/proc/meminfo: memFree=21467760/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=30912 CPUtime=1182.31 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 6564 0 0 0 118231 0 0 0 25 0 1 0 800150431 31653888 5093 33554432000 4194304 4933572 140734816803456 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7728 5093 375 181 0 4737 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 30912
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/478 19775
/proc/meminfo: memFree=21466236/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=30912 CPUtime=1242.31 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 6966 0 0 0 124231 0 0 0 25 0 1 0 800150431 31653888 5093 33554432000 4194304 4933572 140734816803456 18446744073709551615 4330830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7728 5093 375 181 0 4737 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 30912
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/478 19777
/proc/meminfo: memFree=21464560/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=32044 CPUtime=1302.33 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 7257 0 0 0 130233 0 0 0 25 0 1 0 800150431 32813056 5362 33554432000 4194304 4933572 140734816803456 18446744073709551615 4330841 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 8011 5362 375 181 0 5020 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 32044
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/479 19781
/proc/meminfo: memFree=21443552/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=31060 CPUtime=1362.32 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 7306 0 0 0 136232 0 0 0 25 0 1 0 800150431 31805440 5119 33554432000 4194304 4933572 140734816803456 18446744073709551615 4330310 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7765 5119 375 181 0 4774 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 31060
[startup+1422.32 s]
/proc/loadavg: 2.10 2.04 2.01 3/478 19783
/proc/meminfo: memFree=21463548/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=31084 CPUtime=1422.33 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 7575 0 0 0 142233 0 0 0 25 0 1 0 800150431 31830016 5137 33554432000 4194304 4933572 140734816803456 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7771 5137 375 181 0 4780 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 31084
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/478 19784
/proc/meminfo: memFree=21463140/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=31100 CPUtime=1482.32 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 8112 0 0 0 148232 0 0 0 25 0 1 0 800150431 31846400 5141 33554432000 4194304 4933572 140734816803456 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7775 5141 375 181 0 4784 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 31100
[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/478 19786
/proc/meminfo: memFree=21462332/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=31152 CPUtime=1542.33 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 8495 0 0 0 154232 1 0 0 25 0 1 0 800150431 31899648 5154 33554432000 4194304 4933572 140734816803456 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 7788 5154 375 181 0 4797 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 31152
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 19788
/proc/meminfo: memFree=21461680/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=32188 CPUtime=1602.33 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 8961 0 0 0 160232 1 0 0 25 0 1 0 800150431 32960512 5413 33554432000 4194304 4933572 140734816803456 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 8047 5413 375 181 0 5056 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 32188
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 19789
/proc/meminfo: memFree=21461752/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=32188 CPUtime=1662.33 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 8961 0 0 0 166232 1 0 0 25 0 1 0 800150431 32960512 5413 33554432000 4194304 4933572 140734816803456 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 8047 5413 375 181 0 5056 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 32188
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/478 19791
/proc/meminfo: memFree=21461196/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=32188 CPUtime=1722.33 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 8989 0 0 0 172232 1 0 0 25 0 1 0 800150431 32960512 5413 33554432000 4194304 4933572 140734816803456 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 8047 5413 375 181 0 5056 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 32188
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/478 19792
/proc/meminfo: memFree=21458172/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=32188 CPUtime=1782.33 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 9184 0 0 0 178232 1 0 0 25 0 1 0 800150431 32960512 5413 33554432000 4194304 4933572 140734816803456 18446744073709551615 4649576 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 8047 5413 375 181 0 5056 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 32188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.05 2.01 3/478 19793
/proc/meminfo: memFree=21458908/32951124 swapFree=67057928/67111528
[pid=19686] ppid=19684 vsize=32188 CPUtime=1800.05 cores=1,3,5,7
/proc/19686/stat : 19686 (clasp) R 19684 19686 17530 0 -1 4202496 9184 0 0 0 180004 1 0 0 25 0 1 0 800150431 32960512 5413 33554432000 4194304 4933572 140734816803456 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19686/statm: 8047 5413 375 181 0 5056 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 32188
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.02
CPU time (s): 1800.06
CPU user time (s): 1800.05
CPU system time (s): 0.013997
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 33092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9196
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= 7
involuntary context switches= 2788
runsolver used 7.78182 second user time and 19.959 second system time
The end