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-3467894-1307115833/watcher-3467894-1307115833 -o /tmp/evaluation-result-3467894-1307115833/solver-3467894-1307115833 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3467894-1307115833.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.96 2.00 2.00 3/521 24334
/proc/meminfo: memFree=21608772/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=21988 CPUtime=0.01 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 3045 0 0 0 1 0 0 0 20 0 1 0 803998837 22515712 2685 33554432000 4194304 4933572 140734900941664 18446744073709551615 228095111877 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 5497 2686 329 181 0 2506 0
[startup+0.0264231 s]
/proc/loadavg: 1.96 2.00 2.00 3/521 24334
/proc/meminfo: memFree=21608772/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=23836 CPUtime=0.02 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 3553 0 0 0 2 0 0 0 20 0 1 0 803998837 24408064 3193 33554432000 4194304 4933572 140734900941664 18446744073709551615 228095111877 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 5959 3196 329 181 0 2968 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23836
[startup+0.100425 s]
/proc/loadavg: 1.96 2.00 2.00 3/521 24334
/proc/meminfo: memFree=21608772/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=34040 CPUtime=0.09 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 7063 0 0 0 9 0 0 0 20 0 1 0 803998837 34856960 5737 33554432000 4194304 4933572 140734900941664 18446744073709551615 47605238686272 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 8510 5737 347 181 0 5519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34040
[startup+0.300374 s]
/proc/loadavg: 1.96 2.00 2.00 3/521 24334
/proc/meminfo: memFree=21608772/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=31452 CPUtime=0.29 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 7122 0 0 0 29 0 0 0 21 0 1 0 803998837 32206848 5199 33554432000 4194304 4933572 140734900941664 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 7863 5199 369 181 0 4872 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31452
[startup+0.7003 s]
/proc/loadavg: 1.96 2.00 2.00 3/521 24334
/proc/meminfo: memFree=21608772/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=31452 CPUtime=0.69 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 7129 0 0 0 69 0 0 0 22 0 1 0 803998837 32206848 5206 33554432000 4194304 4933572 140734900941664 18446744073709551615 4630859 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 7863 5206 376 181 0 4872 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31452
[startup+1.50015 s]
/proc/loadavg: 1.96 2.00 2.00 2/520 24336
/proc/meminfo: memFree=21622800/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=31452 CPUtime=1.49 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 7129 0 0 0 149 0 0 0 25 0 1 0 803998837 32206848 5206 33554432000 4194304 4933572 140734900941664 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 7863 5206 376 181 0 4872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31452
[startup+3.10086 s]
/proc/loadavg: 1.96 2.00 2.00 2/520 24336
/proc/meminfo: memFree=21621716/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=35444 CPUtime=3.09 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 8122 0 0 0 309 0 0 0 25 0 1 0 803998837 36294656 6199 33554432000 4194304 4933572 140734900941664 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 8861 6199 376 181 0 5870 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35444
[startup+6.30027 s]
/proc/loadavg: 1.97 2.00 2.00 4/522 24363
/proc/meminfo: memFree=21589608/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=44088 CPUtime=6.29 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 10292 0 0 0 628 1 0 0 25 0 1 0 803998837 45146112 8369 33554432000 4194304 4933572 140734900941664 18446744073709551615 4630798 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 11022 8369 376 181 0 8031 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44088
[startup+12.7011 s]
/proc/loadavg: 1.97 2.00 2.00 3/522 24363
/proc/meminfo: memFree=21507664/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=93464 CPUtime=12.69 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 21232 0 0 0 1267 2 0 0 25 0 1 0 803998837 95707136 19271 33554432000 4194304 4933572 140734900941664 18446744073709551615 228095111877 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 23366 19271 376 181 0 20375 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93464
[startup+25.5007 s]
/proc/loadavg: 1.97 2.00 2.00 3/522 24363
/proc/meminfo: memFree=21445656/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=120640 CPUtime=25.49 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 28974 0 0 0 2546 3 0 0 25 0 1 0 803998837 123535360 27013 33554432000 4194304 4933572 140734900941664 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 30160 27013 376 181 0 27169 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 120640
[startup+51.1011 s]
/proc/loadavg: 1.98 2.00 2.00 3/522 24364
/proc/meminfo: memFree=21386480/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=134892 CPUtime=51.09 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 32527 0 0 0 5105 4 0 0 25 0 1 0 803998837 138129408 30566 33554432000 4194304 4933572 140734900941664 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 33723 30566 378 181 0 30732 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 134892
[startup+102.32 s]
/proc/loadavg: 1.99 2.00 2.00 3/522 24366
/proc/meminfo: memFree=21284636/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=186012 CPUtime=102.31 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 44739 0 0 0 10225 6 0 0 25 0 1 0 803998837 190476288 42778 33554432000 4194304 4933572 140734900941664 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 46503 42778 378 181 0 43512 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 186012
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/522 24367
/proc/meminfo: memFree=21256956/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=212212 CPUtime=162.3 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 51287 0 0 0 16222 8 0 0 25 0 1 0 803998837 217305088 49326 33554432000 4194304 4933572 140734900941664 18446744073709551615 4358523 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 53053 49326 378 181 0 50062 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 212212
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/522 24369
/proc/meminfo: memFree=21252936/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=216700 CPUtime=222.3 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 52430 0 0 0 22222 8 0 0 25 0 1 0 803998837 221900800 50469 33554432000 4194304 4933572 140734900941664 18446744073709551615 4630773 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 54175 50469 378 181 0 51184 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 216700
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/522 24370
/proc/meminfo: memFree=21242112/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=216700 CPUtime=282.3 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 52435 0 0 0 28222 8 0 0 25 0 1 0 803998837 221900800 50474 33554432000 4194304 4933572 140734900941664 18446744073709551615 4663932 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 54175 50474 378 181 0 51184 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 216700
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/522 24372
/proc/meminfo: memFree=21215412/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=217756 CPUtime=342.3 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 52840 0 0 0 34222 8 0 0 25 0 1 0 803998837 222982144 50879 33554432000 4194304 4933572 140734900941664 18446744073709551615 4717047 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 54439 50879 378 181 0 51448 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 217756
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/522 24373
/proc/meminfo: memFree=21202848/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=217756 CPUtime=402.3 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 52866 0 0 0 40222 8 0 0 25 0 1 0 803998837 222982144 50905 33554432000 4194304 4933572 140734900941664 18446744073709551615 4717035 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 54439 50905 378 181 0 51448 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 217756
[startup+462.301 s]
/proc/loadavg: 2.26 2.06 2.02 3/522 24375
/proc/meminfo: memFree=21158560/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=260780 CPUtime=462.31 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 63687 0 0 0 46221 10 0 0 25 0 1 0 803998837 267038720 61726 33554432000 4194304 4933572 140734900941664 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 65195 61726 378 181 0 62204 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 260780
[startup+522.301 s]
/proc/loadavg: 2.22 2.08 2.02 3/522 24377
/proc/meminfo: memFree=21158516/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=254852 CPUtime=522.31 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 63693 0 0 0 52221 10 0 0 25 0 1 0 803998837 260968448 60256 33554432000 4194304 4933572 140734900941664 18446744073709551615 4664149 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 63713 60256 378 181 0 60722 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 254852
[startup+582.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/522 24378
/proc/meminfo: memFree=21144712/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=274220 CPUtime=582.31 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 68574 0 0 0 58220 11 0 0 25 0 1 0 803998837 280801280 65137 33554432000 4194304 4933572 140734900941664 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 68555 65137 378 181 0 65564 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 274220
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 24385
/proc/meminfo: memFree=21073660/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=292952 CPUtime=822.32 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 73580 0 0 0 82220 12 0 0 25 0 1 0 803998837 299982848 70143 33554432000 4194304 4933572 140734900941664 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 73238 70143 378 181 0 70247 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 292952
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 24386
/proc/meminfo: memFree=21058484/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=304576 CPUtime=882.32 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 76455 0 0 0 88220 12 0 0 25 0 1 0 803998837 311885824 73018 33554432000 4194304 4933572 140734900941664 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 76144 73018 378 181 0 73153 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 304576
[startup+942.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/522 24388
/proc/meminfo: memFree=21027832/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=322488 CPUtime=942.32 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 80887 0 0 0 94219 13 0 0 25 0 1 0 803998837 330227712 77450 33554432000 4194304 4933572 140734900941664 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 80622 77450 378 181 0 77631 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 322488
[startup+1002.3 s]
/proc/loadavg: 2.20 2.06 2.02 3/522 24390
/proc/meminfo: memFree=21022088/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=325788 CPUtime=1002.32 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 81761 0 0 0 100219 13 0 0 25 0 1 0 803998837 333606912 78324 33554432000 4194304 4933572 140734900941664 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 81447 78324 378 181 0 78456 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 325788
[startup+1062.3 s]
/proc/loadavg: 2.11 2.06 2.02 3/522 24400
/proc/meminfo: memFree=21019084/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=328032 CPUtime=1062.32 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 82315 0 0 0 106219 13 0 0 25 0 1 0 803998837 335904768 78878 33554432000 4194304 4933572 140734900941664 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 82008 78878 378 181 0 79017 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 328032
[startup+1122.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/522 24402
/proc/meminfo: memFree=21017448/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=328032 CPUtime=1122.32 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 82315 0 0 0 112219 13 0 0 25 0 1 0 803998837 335904768 78878 33554432000 4194304 4933572 140734900941664 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 82008 78878 378 181 0 79017 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 328032
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/522 24403
/proc/meminfo: memFree=21004648/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=328032 CPUtime=1182.32 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 82325 0 0 0 118219 13 0 0 25 0 1 0 803998837 335904768 78888 33554432000 4194304 4933572 140734900941664 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 82008 78888 378 181 0 79017 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 328032
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 24405
/proc/meminfo: memFree=20987128/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=328392 CPUtime=1242.33 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 82415 0 0 0 124220 13 0 0 25 0 1 0 803998837 336273408 78978 33554432000 4194304 4933572 140734900941664 18446744073709551615 4360906 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 82098 78978 378 181 0 79107 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 328392
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 24407
/proc/meminfo: memFree=20983124/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=331824 CPUtime=1302.34 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 83289 0 0 0 130221 13 0 0 25 0 1 0 803998837 339787776 79852 33554432000 4194304 4933572 140734900941664 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 82956 79852 378 181 0 79965 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 331824
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 24408
/proc/meminfo: memFree=20894188/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=408240 CPUtime=1362.33 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 100119 0 0 0 136218 15 0 0 25 0 1 0 803998837 418037760 96682 33554432000 4194304 4933572 140734900941664 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 102060 96682 378 181 0 99069 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 408240
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 24410
/proc/meminfo: memFree=20893176/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=408240 CPUtime=1422.35 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 100135 0 0 0 142220 15 0 0 25 0 1 0 803998837 418037760 96698 33554432000 4194304 4933572 140734900941664 18446744073709551615 4625232 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 102060 96698 378 181 0 99069 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 408240
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 24411
/proc/meminfo: memFree=20891532/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=408240 CPUtime=1482.34 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 100173 0 0 0 148218 16 0 0 25 0 1 0 803998837 418037760 96736 33554432000 4194304 4933572 140734900941664 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 102060 96736 378 181 0 99069 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 408240
[startup+1542.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/522 24413
/proc/meminfo: memFree=20892116/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=408240 CPUtime=1542.34 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 100173 0 0 0 154218 16 0 0 25 0 1 0 803998837 418037760 96736 33554432000 4194304 4933572 140734900941664 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 102060 96736 378 181 0 99069 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 408240
[startup+1602.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/522 24414
/proc/meminfo: memFree=20889232/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=408240 CPUtime=1602.35 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 100183 0 0 0 160219 16 0 0 25 0 1 0 803998837 418037760 96746 33554432000 4194304 4933572 140734900941664 18446744073709551615 4632876 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 102060 96746 378 181 0 99069 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 408240
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/522 24416
/proc/meminfo: memFree=20886732/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=408240 CPUtime=1662.35 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 100188 0 0 0 166219 16 0 0 25 0 1 0 803998837 418037760 96751 33554432000 4194304 4933572 140734900941664 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 102060 96751 378 181 0 99069 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 408240
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/522 24418
/proc/meminfo: memFree=20885212/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=408240 CPUtime=1722.35 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 100203 0 0 0 172219 16 0 0 25 0 1 0 803998837 418037760 96766 33554432000 4194304 4933572 140734900941664 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 102060 96766 378 181 0 99069 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 408240
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 24419
/proc/meminfo: memFree=20883560/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=408240 CPUtime=1782.35 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 100203 0 0 0 178219 16 0 0 25 0 1 0 803998837 418037760 96766 33554432000 4194304 4933572 140734900941664 18446744073709551615 4718558 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 102060 96766 378 181 0 99069 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 408240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 24420
/proc/meminfo: memFree=20884784/32951124 swapFree=58800704/67111528
[pid=24334] ppid=24332 vsize=408240 CPUtime=1800.07 cores=1,3,5,7
/proc/24334/stat : 24334 (clasp) R 24332 24334 22695 0 -1 4202496 100215 0 0 0 179991 16 0 0 25 0 1 0 803998837 418037760 96778 33554432000 4194304 4933572 140734900941664 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24334/statm: 102060 96778 378 181 0 99069 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 408240
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.09
CPU user time (s): 1799.92
CPU system time (s): 0.178972
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 408240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100228
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= 24101
runsolver used 8.84266 second user time and 21.3188 second system time
The end