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-3468126-1307101927/watcher-3468126-1307101927 -o /tmp/evaluation-result-3468126-1307101927/solver-3468126-1307101927 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468126-1307101927.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.95 1.99 1.99 2/469 7026
/proc/meminfo: memFree=24092800/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=12860 CPUtime=0 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 565 0 0 0 0 0 0 0 25 0 1 0 900423186 13168640 501 33554432000 4194304 4933572 140737209159056 18446744073709551615 252458065664 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 3215 501 332 181 0 224 0
[startup+0.0615079 s]
/proc/loadavg: 1.95 1.99 1.99 2/469 7026
/proc/meminfo: memFree=24092800/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=14096 CPUtime=0.06 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 1062 0 0 0 6 0 0 0 25 0 1 0 900423186 14434304 848 33554432000 4194304 4933572 140737209159056 18446744073709551615 4632817 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 3524 848 377 181 0 533 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14096
[startup+0.1005 s]
/proc/loadavg: 1.95 1.99 1.99 2/469 7026
/proc/meminfo: memFree=24092800/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=14624 CPUtime=0.09 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 1243 0 0 0 9 0 0 0 25 0 1 0 900423186 14974976 1029 33554432000 4194304 4933572 140737209159056 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 3656 1029 384 181 0 665 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14624
[startup+0.300475 s]
/proc/loadavg: 1.95 1.99 1.99 2/469 7026
/proc/meminfo: memFree=24092800/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=20832 CPUtime=0.29 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 2783 0 0 0 29 0 0 0 25 0 1 0 900423186 21331968 2569 33554432000 4194304 4933572 140737209159056 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 5208 2569 385 181 0 2217 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20832
[startup+0.700391 s]
/proc/loadavg: 1.95 1.99 1.99 2/469 7026
/proc/meminfo: memFree=24092800/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=32592 CPUtime=0.69 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 5701 0 0 0 69 0 0 0 25 0 1 0 900423186 33374208 5487 33554432000 4194304 4933572 140737209159056 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 8148 5487 385 181 0 5157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32592
[startup+1.50024 s]
/proc/loadavg: 1.95 1.99 1.99 3/470 7027
/proc/meminfo: memFree=24067876/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=38996 CPUtime=1.49 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 7317 0 0 0 149 0 0 0 25 0 1 0 900423186 39931904 7103 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 9749 7103 385 181 0 6758 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38996
[startup+3.10094 s]
/proc/loadavg: 1.95 1.99 1.99 3/470 7027
/proc/meminfo: memFree=24063444/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=43424 CPUtime=3.09 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 8426 0 0 0 309 0 0 0 25 0 1 0 900423186 44466176 8212 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 10856 8212 385 181 0 7865 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43424
[startup+6.30035 s]
/proc/loadavg: 1.95 1.99 1.99 3/470 7027
/proc/meminfo: memFree=24044560/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=50124 CPUtime=6.29 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 10096 0 0 0 628 1 0 0 25 0 1 0 900423186 51326976 9882 33554432000 4194304 4933572 140737209159056 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 12531 9882 385 181 0 9540 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50124
[startup+12.7002 s]
/proc/loadavg: 1.96 1.99 1.99 3/470 7028
/proc/meminfo: memFree=24033456/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=58560 CPUtime=12.69 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 12153 0 0 0 1268 1 0 0 25 0 1 0 900423186 59965440 11939 33554432000 4194304 4933572 140737209159056 18446744073709551615 4319763 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 14640 11939 387 181 0 11649 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58560
[startup+25.5008 s]
/proc/loadavg: 1.96 1.99 1.99 3/470 7028
/proc/meminfo: memFree=24008284/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=68820 CPUtime=25.49 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 14728 0 0 0 2547 2 0 0 25 0 1 0 900423186 70471680 14514 33554432000 4194304 4933572 140737209159056 18446744073709551615 4342440 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 17205 14514 387 181 0 14214 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68820
[startup+51.101 s]
/proc/loadavg: 1.97 1.99 1.99 3/470 7029
/proc/meminfo: memFree=23980484/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=82628 CPUtime=51.09 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 18125 0 0 0 5107 2 0 0 25 0 1 0 900423186 84611072 17911 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 20657 17911 387 181 0 17666 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82628
[startup+102.317 s]
/proc/loadavg: 1.99 1.99 1.99 3/470 7030
/proc/meminfo: memFree=23954672/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=91652 CPUtime=102.31 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 21125 0 0 0 10229 2 0 0 25 0 1 0 900423186 93851648 20163 33554432000 4194304 4933572 140737209159056 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 22913 20163 387 181 0 19922 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 91652
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/470 7032
/proc/meminfo: memFree=23919900/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=102344 CPUtime=162.3 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 23773 0 0 0 16227 3 0 0 25 0 1 0 900423186 104800256 22811 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 25586 22811 387 181 0 22595 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 102344
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/470 7033
/proc/meminfo: memFree=23905236/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=111468 CPUtime=222.3 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 26046 0 0 0 22227 3 0 0 25 0 1 0 900423186 114143232 25084 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 27867 25084 387 181 0 24876 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 111468
[startup+282.301 s]
/proc/loadavg: 2.13 2.02 2.00 3/470 7035
/proc/meminfo: memFree=23881528/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=114404 CPUtime=282.3 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 27890 0 0 0 28227 3 0 0 25 0 1 0 900423186 117149696 25854 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649427 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 28601 25854 387 181 0 25610 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 114404
[startup+342.301 s]
/proc/loadavg: 2.18 2.04 2.01 3/470 7036
/proc/meminfo: memFree=23854348/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=125280 CPUtime=342.3 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 30576 0 0 0 34226 4 0 0 25 0 1 0 900423186 128286720 28540 33554432000 4194304 4933572 140737209159056 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 31320 28540 387 181 0 28329 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 125280
[startup+402.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/470 7038
/proc/meminfo: memFree=23849856/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=125412 CPUtime=402.3 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 30619 0 0 0 40226 4 0 0 25 0 1 0 900423186 128421888 28583 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 31353 28583 387 181 0 28362 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 125412
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 7040
/proc/meminfo: memFree=23843256/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=130000 CPUtime=462.3 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 31881 0 0 0 46226 4 0 0 25 0 1 0 900423186 133120000 29723 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 32500 29723 387 181 0 29509 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 130000
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 7041
/proc/meminfo: memFree=23833680/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=137524 CPUtime=522.31 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 33787 0 0 0 52226 5 0 0 25 0 1 0 900423186 140824576 31629 33554432000 4194304 4933572 140737209159056 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 34381 31629 387 181 0 31390 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 137524
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7052
/proc/meminfo: memFree=23810920/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=139636 CPUtime=582.31 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 34316 0 0 0 58226 5 0 0 25 0 1 0 900423186 142987264 32158 33554432000 4194304 4933572 140737209159056 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 34909 32158 387 181 0 31918 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 139636
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7058
/proc/meminfo: memFree=23794076/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=155224 CPUtime=822.32 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 39591 0 0 0 82226 6 0 0 25 0 1 0 900423186 158949376 35949 33554432000 4194304 4933572 140737209159056 18446744073709551615 4663973 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 38806 35949 387 181 0 35815 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 155224
[startup+882.3 s]
/proc/loadavg: 2.14 2.05 2.02 3/470 7060
/proc/meminfo: memFree=23776444/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=156016 CPUtime=882.32 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 39771 0 0 0 88226 6 0 0 25 0 1 0 900423186 159760384 36129 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 39004 36129 387 181 0 36013 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 156016
[startup+942.301 s]
/proc/loadavg: 2.09 2.06 2.02 3/470 7061
/proc/meminfo: memFree=23765256/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=156676 CPUtime=942.32 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 39960 0 0 0 94226 6 0 0 25 0 1 0 900423186 160436224 36318 33554432000 4194304 4933572 140737209159056 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 39169 36318 387 181 0 36178 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 156676
[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/470 7063
/proc/meminfo: memFree=23761900/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=157864 CPUtime=1002.32 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 40239 0 0 0 100226 6 0 0 25 0 1 0 900423186 161652736 36597 33554432000 4194304 4933572 140737209159056 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 39466 36597 387 181 0 36475 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 157864
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7065
/proc/meminfo: memFree=23759764/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=157176 CPUtime=1062.32 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 41482 0 0 0 106226 6 0 0 25 0 1 0 900423186 160948224 36437 33554432000 4194304 4933572 140737209159056 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 39294 36437 387 181 0 36303 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 157176
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7066
/proc/meminfo: memFree=23746732/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=169848 CPUtime=1122.33 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 44612 0 0 0 112226 7 0 0 25 0 1 0 900423186 173924352 39567 33554432000 4194304 4933572 140737209159056 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 42462 39567 387 181 0 39471 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 169848
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/470 7068
/proc/meminfo: memFree=23744596/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=170772 CPUtime=1182.33 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 44833 0 0 0 118226 7 0 0 25 0 1 0 900423186 174870528 39788 33554432000 4194304 4933572 140737209159056 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 42693 39788 387 181 0 39702 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 170772
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7069
/proc/meminfo: memFree=23743832/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=171432 CPUtime=1242.33 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 45011 0 0 0 124226 7 0 0 25 0 1 0 900423186 175546368 39966 33554432000 4194304 4933572 140737209159056 18446744073709551615 4318087 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 42858 39966 387 181 0 39867 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 171432
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7071
/proc/meminfo: memFree=23743688/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=171564 CPUtime=1302.34 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 45047 0 0 0 130227 7 0 0 25 0 1 0 900423186 175681536 40002 33554432000 4194304 4933572 140737209159056 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 42891 40002 387 181 0 39900 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 171564
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/470 7073
/proc/meminfo: memFree=23744028/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=171564 CPUtime=1362.34 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 45054 0 0 0 136227 7 0 0 25 0 1 0 900423186 175681536 40009 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 42891 40009 387 181 0 39900 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 171564
[startup+1422.32 s]
/proc/loadavg: 2.19 2.07 2.02 3/470 7074
/proc/meminfo: memFree=23741768/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=171564 CPUtime=1422.36 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 45054 0 0 0 142229 7 0 0 25 0 1 0 900423186 175681536 40009 33554432000 4194304 4933572 140737209159056 18446744073709551615 4341829 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 42891 40009 387 181 0 39900 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 171564
[startup+1482.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/470 7076
/proc/meminfo: memFree=23718560/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=174204 CPUtime=1482.34 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 45716 0 0 0 148227 7 0 0 25 0 1 0 900423186 178384896 40671 33554432000 4194304 4933572 140737209159056 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 43551 40671 387 181 0 40560 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 174204
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/470 7077
/proc/meminfo: memFree=23739612/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=174204 CPUtime=1542.34 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 45716 0 0 0 154227 7 0 0 25 0 1 0 900423186 178384896 40671 33554432000 4194304 4933572 140737209159056 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 43551 40671 387 181 0 40560 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 174204
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/470 7079
/proc/meminfo: memFree=23709080/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=175220 CPUtime=1602.34 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 46084 0 0 0 160227 7 0 0 25 0 1 0 900423186 179425280 40928 33554432000 4194304 4933572 140737209159056 18446744073709551615 4341654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 43805 40928 387 181 0 40814 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 175220
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 7081
/proc/meminfo: memFree=23697288/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=187188 CPUtime=1662.35 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 50664 0 0 0 166227 8 0 0 25 0 1 0 900423186 191680512 43975 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 46797 43975 387 181 0 43806 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 187188
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7082
/proc/meminfo: memFree=23695408/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=187744 CPUtime=1722.35 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 50766 0 0 0 172227 8 0 0 25 0 1 0 900423186 192249856 44077 33554432000 4194304 4933572 140737209159056 18446744073709551615 252457763426 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 46936 44077 387 181 0 43945 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 187744
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7112
/proc/meminfo: memFree=24021520/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=187744 CPUtime=1782.35 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 50766 0 0 0 178227 8 0 0 25 0 1 0 900423186 192249856 44077 33554432000 4194304 4933572 140737209159056 18446744073709551615 4340826 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 46936 44077 387 181 0 43945 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 187744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7112
/proc/meminfo: memFree=24015092/32951124 swapFree=56297244/67111528
[pid=7026] ppid=7024 vsize=187744 CPUtime=1800.06 cores=1,3,5,7
/proc/7026/stat : 7026 (clasp) R 7024 7026 6224 0 -1 4202496 50769 0 0 0 179998 8 0 0 25 0 1 0 900423186 192249856 44080 33554432000 4194304 4933572 140737209159056 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7026/statm: 46936 44080 387 181 0 43945 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 187744
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.03
CPU time (s): 1800.09
CPU user time (s): 1800
CPU system time (s): 0.090986
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 187744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50777
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= 5
involuntary context switches= 2935
runsolver used 7.99778 second user time and 19.833 second system time
The end