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-3468077-1307107785/watcher-3468077-1307107785 -o /tmp/evaluation-result-3468077-1307107785/solver-3468077-1307107785 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468077-1307107785.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.22 2.06 1.95 2/498 13495
/proc/meminfo: memFree=30449508/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=12440 CPUtime=0 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 496 0 0 0 0 0 0 0 25 0 1 0 822379422 12738560 436 33554432000 4194304 4933572 140737081162768 18446744073709551615 270612771873 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 3110 436 367 181 0 119 0
[startup+0.0590169 s]
/proc/loadavg: 2.22 2.06 1.95 2/498 13495
/proc/meminfo: memFree=30449508/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=12708 CPUtime=0.05 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 588 0 0 0 5 0 0 0 25 0 1 0 822379422 13012992 528 33554432000 4194304 4933572 140737081162768 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 3177 528 374 181 0 186 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12708
[startup+0.101005 s]
/proc/loadavg: 2.22 2.06 1.95 2/498 13495
/proc/meminfo: memFree=30449508/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=12840 CPUtime=0.09 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 616 0 0 0 9 0 0 0 25 0 1 0 822379422 13148160 556 33554432000 4194304 4933572 140737081162768 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 3210 556 374 181 0 219 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12840
[startup+0.300972 s]
/proc/loadavg: 2.22 2.06 1.95 2/498 13495
/proc/meminfo: memFree=30449508/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=13108 CPUtime=0.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 685 0 0 0 29 0 0 0 25 0 1 0 822379422 13422592 625 33554432000 4194304 4933572 140737081162768 18446744073709551615 4329803 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 3277 625 374 181 0 286 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13108
[startup+0.700898 s]
/proc/loadavg: 2.22 2.06 1.95 2/498 13495
/proc/meminfo: memFree=30449508/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=13500 CPUtime=0.69 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 776 0 0 0 69 0 0 0 25 0 1 0 822379422 13824000 716 33554432000 4194304 4933572 140737081162768 18446744073709551615 4718544 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 3375 716 375 181 0 384 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13500
[startup+1.50076 s]
/proc/loadavg: 2.22 2.06 1.95 3/499 13496
/proc/meminfo: memFree=30447028/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=13936 CPUtime=1.49 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 877 0 0 0 149 0 0 0 25 0 1 0 822379422 14270464 817 33554432000 4194304 4933572 140737081162768 18446744073709551615 4328151 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 3484 817 375 181 0 493 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13936
[startup+3.10048 s]
/proc/loadavg: 2.22 2.06 1.95 3/499 13496
/proc/meminfo: memFree=30445428/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=14640 CPUtime=3.09 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1054 0 0 0 309 0 0 0 25 0 1 0 822379422 14991360 994 33554432000 4194304 4933572 140737081162768 18446744073709551615 4718645 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 3660 994 375 181 0 669 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14640
[startup+6.30091 s]
/proc/loadavg: 2.20 2.06 1.95 3/499 13496
/proc/meminfo: memFree=30444064/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=15216 CPUtime=6.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1197 0 0 0 629 0 0 0 25 0 1 0 822379422 15581184 1137 33554432000 4194304 4933572 140737081162768 18446744073709551615 4664576 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 3804 1137 375 181 0 813 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15216
[startup+12.7008 s]
/proc/loadavg: 2.18 2.06 1.95 3/499 13496
/proc/meminfo: memFree=30442052/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=15808 CPUtime=12.69 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1319 0 0 0 1269 0 0 0 25 0 1 0 822379422 16187392 1259 33554432000 4194304 4933572 140737081162768 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 3952 1259 375 181 0 961 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15808
[startup+25.5005 s]
/proc/loadavg: 2.14 2.05 1.95 3/499 13496
/proc/meminfo: memFree=30441572/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16256 CPUtime=25.49 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1425 0 0 0 2549 0 0 0 25 0 1 0 822379422 16646144 1365 33554432000 4194304 4933572 140737081162768 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 4064 1365 375 181 0 1073 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16256
[startup+51.101 s]
/proc/loadavg: 2.09 2.05 1.95 3/499 13497
/proc/meminfo: memFree=30441048/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16556 CPUtime=51.09 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1534 0 0 0 5109 0 0 0 25 0 1 0 822379422 16953344 1474 33554432000 4194304 4933572 140737081162768 18446744073709551615 4718277 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 4139 1474 375 181 0 1148 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16556
[startup+102.318 s]
/proc/loadavg: 2.04 2.04 1.95 3/499 13498
/proc/meminfo: memFree=30439508/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=102.31 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1571 0 0 0 10231 0 0 0 25 0 1 0 822379422 17108992 1511 33554432000 4194304 4933572 140737081162768 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 4177 1511 375 181 0 1186 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 16708
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/499 13500
/proc/meminfo: memFree=30438724/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=162.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1578 0 0 0 16229 0 0 0 25 0 1 0 822379422 17108992 1518 33554432000 4194304 4933572 140737081162768 18446744073709551615 4718525 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 4177 1518 375 181 0 1186 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 16708
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/499 13502
/proc/meminfo: memFree=30439924/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=222.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1582 0 0 0 22229 0 0 0 25 0 1 0 822379422 17108992 1522 33554432000 4194304 4933572 140737081162768 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13495/statm: 4177 1522 375 181 0 1186 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 16708
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/499 13503
/proc/meminfo: memFree=30439276/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=282.27 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1582 0 0 0 28227 0 0 0 25 0 1 0 822379422 17108992 1522 33554432000 4194304 4933572 140737081162768 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1522 375 181 0 1186 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 16708
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 1.95 3/499 13505
/proc/meminfo: memFree=30439620/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=342.27 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1584 0 0 0 34227 0 0 0 25 0 1 0 822379422 17108992 1524 33554432000 4194304 4933572 140737081162768 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1524 375 181 0 1186 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 16708
[startup+402.301 s]
/proc/loadavg: 2.09 2.05 1.96 3/499 13506
/proc/meminfo: memFree=30439476/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=402.28 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1596 0 0 0 40228 0 0 0 25 0 1 0 822379422 17108992 1536 33554432000 4194304 4933572 140737081162768 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1536 375 181 0 1186 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 16708
[startup+462.3 s]
/proc/loadavg: 2.07 2.05 1.97 3/499 13508
/proc/meminfo: memFree=30439448/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=462.28 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1596 0 0 0 46228 0 0 0 25 0 1 0 822379422 17108992 1536 33554432000 4194304 4933572 140737081162768 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1536 375 181 0 1186 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 16708
[startup+522.301 s]
/proc/loadavg: 2.02 2.04 1.97 3/499 13510
/proc/meminfo: memFree=30439780/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=522.28 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1599 0 0 0 52228 0 0 0 25 0 1 0 822379422 17108992 1539 33554432000 4194304 4933572 140737081162768 18446744073709551615 4625212 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1539 375 181 0 1186 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 16708
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 1.97 3/499 13511
/proc/meminfo: memFree=30438868/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=582.28 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1599 0 0 0 58228 0 0 0 25 0 1 0 822379422 17108992 1539 33554432000 4194304 4933572 140737081162768 18446744073709551615 4664581 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1539 375 181 0 1186 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 16708
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/499 13518
/proc/meminfo: memFree=30440212/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=822.28 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1601 0 0 0 82228 0 0 0 25 0 1 0 822379422 17108992 1541 33554432000 4194304 4933572 140737081162768 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1541 375 181 0 1186 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 16708
[startup+882.301 s]
/proc/loadavg: 2.13 2.03 1.98 3/499 13519
/proc/meminfo: memFree=30439684/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=882.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1601 0 0 0 88229 0 0 0 25 0 1 0 822379422 17108992 1541 33554432000 4194304 4933572 140737081162768 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1541 375 181 0 1186 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 16708
[startup+942.3 s]
/proc/loadavg: 2.21 2.07 2.00 3/499 13521
/proc/meminfo: memFree=30439780/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=942.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1601 0 0 0 94229 0 0 0 25 0 1 0 822379422 17108992 1541 33554432000 4194304 4933572 140737081162768 18446744073709551615 4713041 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1541 375 181 0 1186 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 16708
[startup+1002.3 s]
/proc/loadavg: 2.13 2.07 2.00 3/499 13522
/proc/meminfo: memFree=30439996/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=1002.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1601 0 0 0 100229 0 0 0 25 0 1 0 822379422 17108992 1541 33554432000 4194304 4933572 140737081162768 18446744073709551615 270612808302 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1541 375 181 0 1186 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 16708
[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/499 13524
/proc/meminfo: memFree=30440200/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=1062.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1601 0 0 0 106229 0 0 0 25 0 1 0 822379422 17108992 1541 33554432000 4194304 4933572 140737081162768 18446744073709551615 4625117 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1541 375 181 0 1186 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 16708
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 13526
/proc/meminfo: memFree=30439876/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16708 CPUtime=1122.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1601 0 0 0 112229 0 0 0 25 0 1 0 822379422 17108992 1541 33554432000 4194304 4933572 140737081162768 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4177 1541 375 181 0 1186 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 16708
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 13527
/proc/meminfo: memFree=30439084/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1182.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 118229 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4363216 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 16860
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13529
/proc/meminfo: memFree=30437800/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1242.29 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 124229 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4363389 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 16860
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13530
/proc/meminfo: memFree=30438884/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1302.3 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 130230 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4331721 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 16860
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 13532
/proc/meminfo: memFree=30438600/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1362.3 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 136230 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 16860
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 13534
/proc/meminfo: memFree=30438680/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1422.31 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 142231 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 16860
[startup+1482.3 s]
/proc/loadavg: 2.18 2.05 2.01 3/499 13535
/proc/meminfo: memFree=30438632/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1482.3 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 148230 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4649405 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 16860
[startup+1542.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/499 13537
/proc/meminfo: memFree=30439824/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1542.3 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 154230 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4664539 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 16860
[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/499 13538
/proc/meminfo: memFree=30440308/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1602.3 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 160230 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 16860
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 13540
/proc/meminfo: memFree=30439276/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1662.3 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 166230 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4632843 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 16860
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 13542
/proc/meminfo: memFree=30438508/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1722.3 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 172230 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4625220 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 16860
[startup+1782.3 s]
/proc/loadavg: 1.97 2.01 1.99 3/499 13598
/proc/meminfo: memFree=30424092/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1782.3 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 178230 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4340876 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 16860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.97 2.00 1.99 3/499 13599
/proc/meminfo: memFree=30423716/32951124 swapFree=53876548/67111528
[pid=13495] ppid=13493 vsize=16860 CPUtime=1800.01 cores=1,3,5,7
/proc/13495/stat : 13495 (clasp) R 13493 13495 12330 0 -1 4202496 1610 0 0 0 180001 0 0 0 25 0 1 0 822379422 17264640 1550 33554432000 4194304 4933572 140737081162768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13495/statm: 4215 1550 375 181 0 1224 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 16860
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.03
CPU user time (s): 1800.03
CPU system time (s): 0.005999
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 16860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1622
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= 9
involuntary context switches= 6012
runsolver used 8.45172 second user time and 19.3861 second system time
The end