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-3467886-1307115732/watcher-3467886-1307115732 -o /tmp/evaluation-result-3467886-1307115732/solver-3467886-1307115732 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3467886-1307115732.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: 2.02 2.03 2.00 2/481 9381
/proc/meminfo: memFree=27000928/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=16604 CPUtime=0 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 1585 0 0 0 0 0 0 0 25 0 1 0 823175580 17002496 1395 33554432000 4194304 4933572 140734350290960 18446744073709551615 212435677893 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 4151 1396 329 181 0 1160 0
[startup+0.0208799 s]
/proc/loadavg: 2.02 2.03 2.00 2/481 9381
/proc/meminfo: memFree=27000928/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=18188 CPUtime=0.01 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 2041 0 0 0 1 0 0 0 25 0 1 0 823175580 18624512 1851 33554432000 4194304 4933572 140734350290960 18446744073709551615 212435674898 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 4547 1851 333 181 0 1556 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18188
[startup+0.100876 s]
/proc/loadavg: 2.02 2.03 2.00 2/481 9381
/proc/meminfo: memFree=27000928/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=20672 CPUtime=0.09 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 3354 0 0 0 9 0 0 0 25 0 1 0 823175580 21168128 2517 33554432000 4194304 4933572 140734350290960 18446744073709551615 4368914 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 5168 2517 369 181 0 2177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20672
[startup+0.300826 s]
/proc/loadavg: 2.02 2.03 2.00 2/481 9381
/proc/meminfo: memFree=27000928/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=20672 CPUtime=0.29 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 3360 0 0 0 29 0 0 0 25 0 1 0 823175580 21168128 2523 33554432000 4194304 4933572 140734350290960 18446744073709551615 4648537 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 5168 2523 375 181 0 2177 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20672
[startup+0.700749 s]
/proc/loadavg: 2.02 2.03 2.00 2/481 9381
/proc/meminfo: memFree=27000928/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=22396 CPUtime=0.69 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 3777 0 0 0 69 0 0 0 25 0 1 0 823175580 22933504 2940 33554432000 4194304 4933572 140734350290960 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 5599 2940 376 181 0 2608 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22396
[startup+1.50061 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 9382
/proc/meminfo: memFree=26989016/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=27100 CPUtime=1.49 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 4964 0 0 0 149 0 0 0 25 0 1 0 823175580 27750400 4127 33554432000 4194304 4933572 140734350290960 18446744073709551615 4717269 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 6775 4127 376 181 0 3784 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27100
[startup+3.1003 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 9382
/proc/meminfo: memFree=26974508/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=38780 CPUtime=3.09 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 7831 0 0 0 309 0 0 0 25 0 1 0 823175580 39710720 6994 33554432000 4194304 4933572 140734350290960 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 9695 6994 376 181 0 6704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38780
[startup+6.30069 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 9382
/proc/meminfo: memFree=26970648/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=41576 CPUtime=6.29 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 8547 0 0 0 629 0 0 0 25 0 1 0 823175580 42573824 7710 33554432000 4194304 4933572 140734350290960 18446744073709551615 4717269 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 10394 7710 376 181 0 7403 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41576
[startup+12.7005 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 9382
/proc/meminfo: memFree=26953928/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=60248 CPUtime=12.69 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 12846 0 0 0 1268 1 0 0 25 0 1 0 823175580 61693952 12009 33554432000 4194304 4933572 140734350290960 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 15062 12009 376 181 0 12071 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60248
[startup+25.5011 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 9382
/proc/meminfo: memFree=26931980/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=81940 CPUtime=25.49 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 18163 0 0 0 2547 2 0 0 25 0 1 0 823175580 83906560 17326 33554432000 4194304 4933572 140734350290960 18446744073709551615 4632794 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 20485 17326 376 181 0 17494 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81940
[startup+51.1002 s]
/proc/loadavg: 2.07 2.04 2.00 3/482 9383
/proc/meminfo: memFree=26926724/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=86556 CPUtime=51.09 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 19300 0 0 0 5107 2 0 0 25 0 1 0 823175580 88633344 18463 33554432000 4194304 4933572 140734350290960 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 21639 18463 376 181 0 18648 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 86556
[startup+102.318 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 9384
/proc/meminfo: memFree=26910212/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=102364 CPUtime=102.31 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 23167 0 0 0 10228 3 0 0 25 0 1 0 823175580 104820736 22330 33554432000 4194304 4933572 140734350290960 18446744073709551615 4717073 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 25591 22330 376 181 0 22600 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 102364
[startup+162.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/482 9386
/proc/meminfo: memFree=26882124/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=128800 CPUtime=162.29 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 30003 0 0 0 16226 3 0 0 25 0 1 0 823175580 131891200 29166 33554432000 4194304 4933572 140734350290960 18446744073709551615 4632820 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 32200 29166 378 181 0 29209 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 128800
[startup+222.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/482 9387
/proc/meminfo: memFree=26871684/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=139764 CPUtime=222.29 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 32766 0 0 0 22226 3 0 0 25 0 1 0 823175580 143118336 31929 33554432000 4194304 4933572 140734350290960 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 34941 31929 378 181 0 31950 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 139764
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/482 9389
/proc/meminfo: memFree=26861732/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=147448 CPUtime=282.3 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 34411 0 0 0 28227 3 0 0 25 0 1 0 823175580 150986752 33574 33554432000 4194304 4933572 140734350290960 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 36862 33574 378 181 0 33871 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 147448
[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/482 9391
/proc/meminfo: memFree=26857608/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=149820 CPUtime=342.3 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 35041 0 0 0 34227 3 0 0 25 0 1 0 823175580 153415680 34204 33554432000 4194304 4933572 140734350290960 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 37455 34204 378 181 0 34464 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 149820
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 9392
/proc/meminfo: memFree=26854484/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=149820 CPUtime=402.3 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 35047 0 0 0 40227 3 0 0 25 0 1 0 823175580 153415680 34210 33554432000 4194304 4933572 140734350290960 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 37455 34210 378 181 0 34464 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 149820
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 9394
/proc/meminfo: memFree=26841932/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=162264 CPUtime=462.3 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 38142 0 0 0 46227 3 0 0 25 0 1 0 823175580 166158336 37305 33554432000 4194304 4933572 140734350290960 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 40566 37305 378 181 0 37575 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 162264
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 9395
/proc/meminfo: memFree=26826776/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=177648 CPUtime=522.31 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 41953 0 0 0 52227 4 0 0 25 0 1 0 823175580 181911552 41116 33554432000 4194304 4933572 140734350290960 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 44412 41116 378 181 0 41421 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 177648
[startup+582.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 9397
/proc/meminfo: memFree=26826120/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=177648 CPUtime=582.31 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 42002 0 0 0 58227 4 0 0 25 0 1 0 823175580 181911552 41165 33554432000 4194304 4933572 140734350290960 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 44412 41165 378 181 0 41421 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 177648
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/482 9458
/proc/meminfo: memFree=26821732/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=221748 CPUtime=822.32 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 52179 0 0 0 82227 5 0 0 25 0 1 0 823175580 227069952 51342 33554432000 4194304 4933572 140734350290960 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 55437 51342 378 181 0 52446 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 221748
[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 9460
/proc/meminfo: memFree=26814864/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=227164 CPUtime=882.32 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 53536 0 0 0 88227 5 0 0 25 0 1 0 823175580 232615936 52699 33554432000 4194304 4933572 140734350290960 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 56791 52699 378 181 0 53800 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 227164
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 9462
/proc/meminfo: memFree=26809616/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=231968 CPUtime=942.32 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 54700 0 0 0 94227 5 0 0 25 0 1 0 823175580 237535232 53863 33554432000 4194304 4933572 140734350290960 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 57992 53863 378 181 0 55001 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 231968
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 9463
/proc/meminfo: memFree=26807604/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=233532 CPUtime=1002.33 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 55361 0 0 0 100228 5 0 0 25 0 1 0 823175580 239136768 54227 33554432000 4194304 4933572 140734350290960 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 58383 54227 378 181 0 55392 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 233532
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 9465
/proc/meminfo: memFree=26770112/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=277300 CPUtime=1062.33 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 64073 0 0 0 106227 6 0 0 25 0 1 0 823175580 283955200 62939 33554432000 4194304 4933572 140734350290960 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 69325 62939 378 181 0 66334 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 277300
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 9466
/proc/meminfo: memFree=26768808/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=277300 CPUtime=1122.33 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 64073 0 0 0 112227 6 0 0 25 0 1 0 823175580 283955200 62939 33554432000 4194304 4933572 140734350290960 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 69325 62939 378 181 0 66334 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 277300
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 9477
/proc/meminfo: memFree=26768040/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=277300 CPUtime=1182.33 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 64081 0 0 0 118227 6 0 0 25 0 1 0 823175580 283955200 62947 33554432000 4194304 4933572 140734350290960 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 69325 62947 378 181 0 66334 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 277300
[startup+1242.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/482 9479
/proc/meminfo: memFree=26766152/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=277300 CPUtime=1242.34 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 64093 0 0 0 124228 6 0 0 25 0 1 0 823175580 283955200 62959 33554432000 4194304 4933572 140734350290960 18446744073709551615 4632776 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 69325 62959 378 181 0 66334 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 277300
[startup+1302.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/482 9483
/proc/meminfo: memFree=26765464/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=277300 CPUtime=1302.34 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 64100 0 0 0 130228 6 0 0 25 0 1 0 823175580 283955200 62966 33554432000 4194304 4933572 140734350290960 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 69325 62966 378 181 0 66334 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 277300
[startup+1362.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/482 9485
/proc/meminfo: memFree=26767664/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=277300 CPUtime=1362.34 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 64126 0 0 0 136228 6 0 0 25 0 1 0 823175580 283955200 62992 33554432000 4194304 4933572 140734350290960 18446744073709551615 4713044 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 69325 62992 378 181 0 66334 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 277300
[startup+1422.32 s]
/proc/loadavg: 2.04 2.05 2.01 3/482 9486
/proc/meminfo: memFree=26767748/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=277300 CPUtime=1422.36 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 64130 0 0 0 142230 6 0 0 25 0 1 0 823175580 283955200 62996 33554432000 4194304 4933572 140734350290960 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 69325 62996 378 181 0 66334 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 277300
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/482 9488
/proc/meminfo: memFree=26767080/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=277300 CPUtime=1482.34 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 64130 0 0 0 148228 6 0 0 25 0 1 0 823175580 283955200 62996 33554432000 4194304 4933572 140734350290960 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 69325 62996 378 181 0 66334 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 277300
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 9490
/proc/meminfo: memFree=26767276/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=277300 CPUtime=1542.35 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 64154 0 0 0 154229 6 0 0 25 0 1 0 823175580 283955200 63020 33554432000 4194304 4933572 140734350290960 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 69325 63020 378 181 0 66334 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 277300
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 9491
/proc/meminfo: memFree=26760280/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=283768 CPUtime=1602.35 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 65810 0 0 0 160229 6 0 0 25 0 1 0 823175580 290578432 64676 33554432000 4194304 4933572 140734350290960 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 70942 64676 378 181 0 67951 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 283768
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 9493
/proc/meminfo: memFree=26759872/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=284428 CPUtime=1662.35 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 66323 0 0 0 166229 6 0 0 25 0 1 0 823175580 291254272 64832 33554432000 4194304 4933572 140734350290960 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 71107 64832 378 181 0 68116 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 284428
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 9494
/proc/meminfo: memFree=26759308/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=284428 CPUtime=1722.35 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 66323 0 0 0 172229 6 0 0 25 0 1 0 823175580 291254272 64832 33554432000 4194304 4933572 140734350290960 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 71107 64832 378 181 0 68116 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 284428
[startup+1782.3 s]
/proc/loadavg: 2.31 2.07 2.02 3/482 9496
/proc/meminfo: memFree=26754564/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=286104 CPUtime=1782.35 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 67244 0 0 0 178229 6 0 0 25 0 1 0 823175580 292970496 65753 33554432000 4194304 4933572 140734350290960 18446744073709551615 4360876 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 71526 65753 378 181 0 68535 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 286104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.22 2.07 2.02 4/482 9497
/proc/meminfo: memFree=26744136/32951124 swapFree=38422276/67111528
[pid=9381] ppid=9379 vsize=296136 CPUtime=1800.07 cores=1,3,5,7
/proc/9381/stat : 9381 (clasp) R 9379 9381 7545 0 -1 4202496 69755 0 0 0 180000 7 0 0 25 0 1 0 823175580 303243264 68264 33554432000 4194304 4933572 140734350290960 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9381/statm: 74034 68264 378 181 0 71043 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 296136
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.03
CPU time (s): 1800.09
CPU user time (s): 1800.01
CPU system time (s): 0.083987
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 296136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69767
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= 2799
runsolver used 8.05177 second user time and 19.78 second system time
The end