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-3468298-1307653164/watcher-3468298-1307653164 -o /tmp/evaluation-result-3468298-1307653164/solver-3468298-1307653164 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468298-1307653164.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 27409
/proc/meminfo: memFree=32092988/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=12308 CPUtime=0 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 488 0 0 0 0 0 0 0 25 0 1 0 955547051 12603392 428 33554432000 4194304 4933572 140737278827776 18446744073709551615 231895151301 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 3077 428 367 181 0 86 0
[startup+0.052477 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 27409
/proc/meminfo: memFree=32092988/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=12836 CPUtime=0.04 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 629 0 0 0 4 0 0 0 25 0 1 0 955547051 13144064 569 33554432000 4194304 4933572 140737278827776 18446744073709551615 4331700 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 3209 569 377 181 0 218 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12836
[startup+0.100471 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 27409
/proc/meminfo: memFree=32092988/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=13100 CPUtime=0.09 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 680 0 0 0 9 0 0 0 25 0 1 0 955547051 13414400 620 33554432000 4194304 4933572 140737278827776 18446744073709551615 4363283 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 3275 620 378 181 0 284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13100
[startup+0.300434 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 27409
/proc/meminfo: memFree=32092988/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=13364 CPUtime=0.29 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 748 0 0 0 29 0 0 0 25 0 1 0 955547051 13684736 688 33554432000 4194304 4933572 140737278827776 18446744073709551615 4363283 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 3341 688 378 181 0 350 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13364
[startup+0.700358 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 27409
/proc/meminfo: memFree=32092988/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=13760 CPUtime=0.69 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 851 0 0 0 69 0 0 0 25 0 1 0 955547051 14090240 791 33554432000 4194304 4933572 140737278827776 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 3440 791 378 181 0 449 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13760
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27410
/proc/meminfo: memFree=32091388/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=14160 CPUtime=1.49 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 962 0 0 0 149 0 0 0 25 0 1 0 955547051 14499840 902 33554432000 4194304 4933572 140737278827776 18446744073709551615 231895188048 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 3540 902 378 181 0 549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14160
[startup+3.1009 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27410
/proc/meminfo: memFree=32090636/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=14844 CPUtime=3.09 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1113 0 0 0 309 0 0 0 25 0 1 0 955547051 15200256 1053 33554432000 4194304 4933572 140737278827776 18446744073709551615 4329839 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 3711 1053 378 181 0 720 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14844
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27410
/proc/meminfo: memFree=32089776/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=15296 CPUtime=6.29 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1208 0 0 0 629 0 0 0 25 0 1 0 955547051 15663104 1148 33554432000 4194304 4933572 140737278827776 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 3824 1148 378 181 0 833 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15296
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27410
/proc/meminfo: memFree=32089124/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=15572 CPUtime=12.69 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1273 0 0 0 1269 0 0 0 25 0 1 0 955547051 15945728 1213 33554432000 4194304 4933572 140737278827776 18446744073709551615 4716992 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 3893 1213 378 181 0 902 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15572
[startup+25.5007 s]
/proc/loadavg: 1.93 1.98 1.93 3/178 27450
/proc/meminfo: memFree=32095380/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=15856 CPUtime=25.49 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1336 0 0 0 2549 0 0 0 25 0 1 0 955547051 16236544 1276 33554432000 4194304 4933572 140737278827776 18446744073709551615 4343802 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 3964 1276 378 181 0 973 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15856
[startup+51.1009 s]
/proc/loadavg: 1.95 1.98 1.93 3/178 27450
/proc/meminfo: memFree=32093788/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16092 CPUtime=51.09 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1403 0 0 0 5109 0 0 0 25 0 1 0 955547051 16478208 1343 33554432000 4194304 4933572 140737278827776 18446744073709551615 4331723 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4023 1343 378 181 0 1032 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16092
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.93 3/178 27461
/proc/meminfo: memFree=32091068/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16376 CPUtime=102.3 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1479 0 0 0 10230 0 0 0 25 0 1 0 955547051 16769024 1419 33554432000 4194304 4933572 140737278827776 18446744073709551615 4718537 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4094 1419 378 181 0 1103 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 16376
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 27462
/proc/meminfo: memFree=32091040/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16376 CPUtime=162.29 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1490 0 0 0 16229 0 0 0 25 0 1 0 955547051 16769024 1430 33554432000 4194304 4933572 140737278827776 18446744073709551615 4717240 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4094 1430 378 181 0 1103 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 16376
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 27464
/proc/meminfo: memFree=32090372/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16528 CPUtime=222.3 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1506 0 0 0 22230 0 0 0 25 0 1 0 955547051 16924672 1446 33554432000 4194304 4933572 140737278827776 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4132 1446 378 181 0 1141 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 16528
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 27465
/proc/meminfo: memFree=32090196/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16528 CPUtime=282.3 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1520 0 0 0 28230 0 0 0 25 0 1 0 955547051 16924672 1460 33554432000 4194304 4933572 140737278827776 18446744073709551615 4717269 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4132 1460 378 181 0 1141 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 16528
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 27467
/proc/meminfo: memFree=32090152/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16528 CPUtime=342.3 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1527 0 0 0 34230 0 0 0 25 0 1 0 955547051 16924672 1467 33554432000 4194304 4933572 140737278827776 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4132 1467 378 181 0 1141 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 16528
[startup+402.301 s]
/proc/loadavg: 2.07 2.00 1.94 3/178 27469
/proc/meminfo: memFree=32089980/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16528 CPUtime=402.3 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1527 0 0 0 40230 0 0 0 25 0 1 0 955547051 16924672 1467 33554432000 4194304 4933572 140737278827776 18446744073709551615 4625196 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4132 1467 378 181 0 1141 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 16528
[startup+462.301 s]
/proc/loadavg: 2.02 2.00 1.94 3/178 27470
/proc/meminfo: memFree=32089696/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16528 CPUtime=462.3 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1530 0 0 0 46230 0 0 0 25 0 1 0 955547051 16924672 1470 33554432000 4194304 4933572 140737278827776 18446744073709551615 4368914 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4132 1470 378 181 0 1141 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 16528
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 27472
/proc/meminfo: memFree=32089768/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16528 CPUtime=522.31 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1530 0 0 0 52231 0 0 0 25 0 1 0 955547051 16924672 1470 33554432000 4194304 4933572 140737278827776 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4132 1470 378 181 0 1141 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 16528
[startup+582.301 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 27473
/proc/meminfo: memFree=32089724/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16528 CPUtime=582.31 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1534 0 0 0 58231 0 0 0 25 0 1 0 955547051 16924672 1474 33554432000 4194304 4933572 140737278827776 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4132 1474 378 181 0 1141 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 16528
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27480
/proc/meminfo: memFree=32088540/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=822.32 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1542 0 0 0 82232 0 0 0 25 0 1 0 955547051 17039360 1482 33554432000 4194304 4933572 140737278827776 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1482 378 181 0 1169 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 16640
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27481
/proc/meminfo: memFree=32088616/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=882.32 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1543 0 0 0 88232 0 0 0 25 0 1 0 955547051 17039360 1483 33554432000 4194304 4933572 140737278827776 18446744073709551615 4718582 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1483 378 181 0 1169 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 16640
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27483
/proc/meminfo: memFree=32088432/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=942.32 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1548 0 0 0 94232 0 0 0 25 0 1 0 955547051 17039360 1488 33554432000 4194304 4933572 140737278827776 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1488 378 181 0 1169 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 16640
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27485
/proc/meminfo: memFree=32088496/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1002.32 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1552 0 0 0 100232 0 0 0 25 0 1 0 955547051 17039360 1492 33554432000 4194304 4933572 140737278827776 18446744073709551615 4360876 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1492 378 181 0 1169 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 16640
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27486
/proc/meminfo: memFree=32088468/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1062.33 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1555 0 0 0 106233 0 0 0 25 0 1 0 955547051 17039360 1495 33554432000 4194304 4933572 140737278827776 18446744073709551615 4363216 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1495 378 181 0 1169 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 16640
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27488
/proc/meminfo: memFree=32088504/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1122.33 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1555 0 0 0 112233 0 0 0 25 0 1 0 955547051 17039360 1495 33554432000 4194304 4933572 140737278827776 18446744073709551615 4717035 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1495 378 181 0 1169 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 16640
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27489
/proc/meminfo: memFree=32088240/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1182.33 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1555 0 0 0 118233 0 0 0 25 0 1 0 955547051 17039360 1495 33554432000 4194304 4933572 140737278827776 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1495 378 181 0 1169 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 16640
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27491
/proc/meminfo: memFree=32087800/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1242.33 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1555 0 0 0 124233 0 0 0 25 0 1 0 955547051 17039360 1495 33554432000 4194304 4933572 140737278827776 18446744073709551615 4716914 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1495 378 181 0 1169 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 16640
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27493
/proc/meminfo: memFree=32087620/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1302.34 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1555 0 0 0 130234 0 0 0 25 0 1 0 955547051 17039360 1495 33554432000 4194304 4933572 140737278827776 18446744073709551615 4329834 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1495 378 181 0 1169 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 16640
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27494
/proc/meminfo: memFree=32087460/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1362.33 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1556 0 0 0 136233 0 0 0 25 0 1 0 955547051 17039360 1496 33554432000 4194304 4933572 140737278827776 18446744073709551615 4625192 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1496 378 181 0 1169 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 16640
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27496
/proc/meminfo: memFree=32087540/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1422.34 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1557 0 0 0 142234 0 0 0 25 0 1 0 955547051 17039360 1497 33554432000 4194304 4933572 140737278827776 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1497 378 181 0 1169 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 16640
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.95 3/178 27497
/proc/meminfo: memFree=32087492/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1482.34 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1557 0 0 0 148234 0 0 0 25 0 1 0 955547051 17039360 1497 33554432000 4194304 4933572 140737278827776 18446744073709551615 231895188062 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1497 378 181 0 1169 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 16640
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 27499
/proc/meminfo: memFree=32087560/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1542.34 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1557 0 0 0 154234 0 0 0 25 0 1 0 955547051 17039360 1497 33554432000 4194304 4933572 140737278827776 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1497 378 181 0 1169 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 16640
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27501
/proc/meminfo: memFree=32087284/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1602.34 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1557 0 0 0 160234 0 0 0 25 0 1 0 955547051 17039360 1497 33554432000 4194304 4933572 140737278827776 18446744073709551615 4360280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1497 378 181 0 1169 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 16640
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 27502
/proc/meminfo: memFree=32087352/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1662.35 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1558 0 0 0 166235 0 0 0 25 0 1 0 955547051 17039360 1498 33554432000 4194304 4933572 140737278827776 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1498 378 181 0 1169 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 16640
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 27504
/proc/meminfo: memFree=32087316/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1722.35 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1560 0 0 0 172235 0 0 0 25 0 1 0 955547051 17039360 1500 33554432000 4194304 4933572 140737278827776 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1500 378 181 0 1169 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 16640
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27505
/proc/meminfo: memFree=32086632/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1782.35 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1560 0 0 0 178235 0 0 0 25 0 1 0 955547051 17039360 1500 33554432000 4194304 4933572 140737278827776 18446744073709551615 4713163 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1500 378 181 0 1169 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 16640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27506
/proc/meminfo: memFree=32086860/32950928 swapFree=67054844/67111528
[pid=27409] ppid=27407 vsize=16640 CPUtime=1800.06 cores=0,2,4,6
/proc/27409/stat : 27409 (clasp) R 27407 27409 25448 0 -1 4202496 1560 0 0 0 180006 0 0 0 25 0 1 0 955547051 17039360 1500 33554432000 4194304 4933572 140737278827776 18446744073709551615 4624522 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27409/statm: 4160 1500 378 181 0 1169 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 16640
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.01
CPU time (s): 1800.07
CPU user time (s): 1800.06
CPU system time (s): 0.008998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 16660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1568
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= 20672
runsolver used 2.83357 second user time and 5.35719 second system time
The end