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-3468561-1307072978/watcher-3468561-1307072978 -o /tmp/evaluation-result-3468561-1307072978/solver-3468561-1307072978 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468561-1307072978.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.03 2.00 1/479 5426
/proc/meminfo: memFree=27103056/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=13864 CPUtime=0 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 1013 0 0 0 0 0 0 0 25 0 1 0 818900120 14196736 815 33554432000 4194304 4933572 140735531924704 18446744073709551615 4621695 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 3466 815 362 181 0 475 0
[startup+0.0230059 s]
/proc/loadavg: 2.00 2.03 2.00 1/479 5426
/proc/meminfo: memFree=27103056/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=14260 CPUtime=0.02 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 1099 0 0 0 2 0 0 0 25 0 1 0 818900120 14602240 901 33554432000 4194304 4933572 140735531924704 18446744073709551615 212435677893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 3565 901 367 181 0 574 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14260
[startup+0.101003 s]
/proc/loadavg: 2.00 2.03 2.00 1/479 5426
/proc/meminfo: memFree=27103056/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=15316 CPUtime=0.09 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 1386 0 0 0 9 0 0 0 25 0 1 0 818900120 15683584 1188 33554432000 4194304 4933572 140735531924704 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 3829 1188 374 181 0 838 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15316
[startup+0.300966 s]
/proc/loadavg: 2.00 2.03 2.00 1/479 5426
/proc/meminfo: memFree=27103056/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=16240 CPUtime=0.29 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 1619 0 0 0 29 0 0 0 25 0 1 0 818900120 16629760 1421 33554432000 4194304 4933572 140735531924704 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 4060 1421 374 181 0 1069 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16240
[startup+0.700891 s]
/proc/loadavg: 2.00 2.03 2.00 1/479 5426
/proc/meminfo: memFree=27103056/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=17164 CPUtime=0.69 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 1836 0 0 0 69 0 0 0 25 0 1 0 818900120 17575936 1638 33554432000 4194304 4933572 140735531924704 18446744073709551615 4632085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 4291 1638 374 181 0 1300 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17164
[startup+1.50074 s]
/proc/loadavg: 2.00 2.03 2.00 2/480 5427
/proc/meminfo: memFree=27096724/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=18224 CPUtime=1.49 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 2087 0 0 0 149 0 0 0 25 0 1 0 818900120 18661376 1889 33554432000 4194304 4933572 140735531924704 18446744073709551615 4717565 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 4556 1889 374 181 0 1565 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18224
[startup+3.10041 s]
/proc/loadavg: 1.92 2.01 1.99 3/482 5460
/proc/meminfo: memFree=27096420/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=19280 CPUtime=3.09 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 2370 0 0 0 309 0 0 0 25 0 1 0 818900120 19742720 2172 33554432000 4194304 4933572 140735531924704 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 4820 2172 374 181 0 1829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19280
[startup+6.30083 s]
/proc/loadavg: 1.92 2.01 1.99 3/482 5461
/proc/meminfo: memFree=27091364/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=20336 CPUtime=6.29 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 2646 0 0 0 629 0 0 0 25 0 1 0 818900120 20824064 2448 33554432000 4194304 4933572 140735531924704 18446744073709551615 4328752 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 5084 2448 374 181 0 2093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20336
[startup+12.7006 s]
/proc/loadavg: 1.94 2.01 1.99 3/482 5461
/proc/meminfo: memFree=27086776/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=22060 CPUtime=12.69 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 3075 0 0 0 1269 0 0 0 25 0 1 0 818900120 22589440 2877 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 5515 2877 374 181 0 2524 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22060
[startup+25.5002 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 5461
/proc/meminfo: memFree=27084908/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=24044 CPUtime=25.49 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 3557 0 0 0 2549 0 0 0 25 0 1 0 818900120 24621056 3359 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 6011 3359 374 181 0 3020 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24044
[startup+51.1004 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 5463
/proc/meminfo: memFree=27081416/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=26560 CPUtime=51.09 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 4175 0 0 0 5109 0 0 0 25 0 1 0 818900120 27197440 3977 33554432000 4194304 4933572 140735531924704 18446744073709551615 4330131 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 6640 3977 374 181 0 3649 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26560
[startup+102.318 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 5464
/proc/meminfo: memFree=27075324/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=28544 CPUtime=102.32 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 4683 0 0 0 10231 1 0 0 25 0 1 0 818900120 29229056 4485 33554432000 4194304 4933572 140735531924704 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 7136 4485 374 181 0 4145 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 28544
[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/482 5466
/proc/meminfo: memFree=27071944/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=31072 CPUtime=162.3 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 5474 0 0 0 16229 1 0 0 25 0 1 0 818900120 31817728 5113 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 7768 5113 375 181 0 4777 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 31072
[startup+222.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 5467
/proc/meminfo: memFree=27071056/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=33052 CPUtime=222.3 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 5982 0 0 0 22229 1 0 0 25 0 1 0 818900120 33845248 5621 33554432000 4194304 4933572 140735531924704 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 8263 5621 375 181 0 5272 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 33052
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 5469
/proc/meminfo: memFree=27070548/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=34352 CPUtime=282.3 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 6369 0 0 0 28229 1 0 0 25 0 1 0 818900120 35176448 5937 33554432000 4194304 4933572 140735531924704 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 8588 5937 375 181 0 5597 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 34352
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5472
/proc/meminfo: memFree=27068164/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=35764 CPUtime=342.3 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 6876 0 0 0 34229 1 0 0 25 0 1 0 818900120 36622336 6297 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319413 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 8941 6297 375 181 0 5950 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 35764
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5473
/proc/meminfo: memFree=27068280/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=36500 CPUtime=402.3 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 7118 0 0 0 40229 1 0 0 25 0 1 0 818900120 37376000 6475 33554432000 4194304 4933572 140735531924704 18446744073709551615 4329744 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 9125 6475 375 181 0 6134 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 36500
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5476
/proc/meminfo: memFree=27065528/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=37648 CPUtime=462.31 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 7613 0 0 0 46230 1 0 0 25 0 1 0 818900120 38551552 6767 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 9412 6767 375 181 0 6421 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 37648
[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/482 5478
/proc/meminfo: memFree=27065392/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=37868 CPUtime=522.31 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 8033 0 0 0 52230 1 0 0 25 0 1 0 818900120 38776832 6823 33554432000 4194304 4933572 140735531924704 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 9467 6823 375 181 0 6476 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 37868
[startup+582.301 s]
/proc/loadavg: 2.06 2.04 2.01 4/482 5481
/proc/meminfo: memFree=27064016/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=39780 CPUtime=582.31 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 8544 0 0 0 58230 1 0 0 25 0 1 0 818900120 40734720 7275 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 9945 7275 375 181 0 6954 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 39780
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 5499
/proc/meminfo: memFree=27059772/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=43200 CPUtime=822.32 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 9514 0 0 0 82230 2 0 0 25 0 1 0 818900120 44236800 8150 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 10800 8150 375 181 0 7809 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 43200
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5506
/proc/meminfo: memFree=27057680/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=44256 CPUtime=882.32 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 9771 0 0 0 88230 2 0 0 25 0 1 0 818900120 45318144 8407 33554432000 4194304 4933572 140735531924704 18446744073709551615 4330219 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 11064 8407 375 181 0 8073 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 44256
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5508
/proc/meminfo: memFree=27055812/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=46268 CPUtime=942.33 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 10275 0 0 0 94231 2 0 0 25 0 1 0 818900120 47378432 8911 33554432000 4194304 4933572 140735531924704 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 11567 8911 375 181 0 8576 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 46268
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5509
/proc/meminfo: memFree=27055528/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=46256 CPUtime=1002.33 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 10337 0 0 0 100231 2 0 0 25 0 1 0 818900120 47366144 8916 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 11564 8916 375 181 0 8573 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 46256
[startup+1062.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/482 5511
/proc/meminfo: memFree=27054636/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=46800 CPUtime=1062.33 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 11043 0 0 0 106231 2 0 0 25 0 1 0 818900120 47923200 9052 33554432000 4194304 4933572 140735531924704 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 11700 9052 375 181 0 8709 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 46800
[startup+1122.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/482 5512
/proc/meminfo: memFree=27054344/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=47036 CPUtime=1122.33 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 11154 0 0 0 112231 2 0 0 25 0 1 0 818900120 48164864 9112 33554432000 4194304 4933572 140735531924704 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 11759 9112 375 181 0 8768 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 47036
[startup+1182.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/482 5514
/proc/meminfo: memFree=27054092/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=46800 CPUtime=1182.33 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 11173 0 0 0 118231 2 0 0 25 0 1 0 818900120 47923200 9054 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 11700 9054 375 181 0 8709 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 46800
[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/482 5517
/proc/meminfo: memFree=27048112/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=52212 CPUtime=1242.34 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 12695 0 0 0 124231 3 0 0 25 0 1 0 818900120 53465088 10384 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 13053 10384 375 181 0 10062 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 52212
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 5518
/proc/meminfo: memFree=27049688/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=49116 CPUtime=1302.35 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 12695 0 0 0 130232 3 0 0 25 0 1 0 818900120 50294784 9634 33554432000 4194304 4933572 140735531924704 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 12279 9634 375 181 0 9288 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 49116
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5520
/proc/meminfo: memFree=27050532/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=49092 CPUtime=1362.34 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 12735 0 0 0 136231 3 0 0 25 0 1 0 818900120 50270208 9629 33554432000 4194304 4933572 140735531924704 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 12273 9629 375 181 0 9282 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 49092
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5521
/proc/meminfo: memFree=27049996/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=49732 CPUtime=1422.36 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 13339 0 0 0 142233 3 0 0 25 0 1 0 818900120 50925568 9790 33554432000 4194304 4933572 140735531924704 18446744073709551615 4717675 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 12433 9790 375 181 0 9442 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 49732
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5523
/proc/meminfo: memFree=27047004/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=52896 CPUtime=1482.35 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 14197 0 0 0 148232 3 0 0 25 0 1 0 818900120 54165504 10573 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 13224 10573 375 181 0 10233 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 52896
[startup+1542.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/482 5525
/proc/meminfo: memFree=27047848/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=52896 CPUtime=1542.35 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 14197 0 0 0 154232 3 0 0 25 0 1 0 818900120 54165504 10573 33554432000 4194304 4933572 140735531924704 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 13224 10573 375 181 0 10233 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 52896
[startup+1602.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/482 5526
/proc/meminfo: memFree=27047448/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=52896 CPUtime=1602.35 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 14198 0 0 0 160232 3 0 0 25 0 1 0 818900120 54165504 10574 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319445 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 13224 10574 375 181 0 10233 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 52896
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 5528
/proc/meminfo: memFree=27047544/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=53016 CPUtime=1662.35 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 14291 0 0 0 166232 3 0 0 25 0 1 0 818900120 54288384 10604 33554432000 4194304 4933572 140735531924704 18446744073709551615 4319347 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 13254 10604 375 181 0 10263 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 53016
[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/482 5529
/proc/meminfo: memFree=27046888/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=53632 CPUtime=1722.35 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 14490 0 0 0 172232 3 0 0 25 0 1 0 818900120 54919168 10758 33554432000 4194304 4933572 140735531924704 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 13408 10758 375 181 0 10417 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 53632
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 5531
/proc/meminfo: memFree=27045252/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=52884 CPUtime=1782.36 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 14536 0 0 0 178233 3 0 0 25 0 1 0 818900120 54153216 10571 33554432000 4194304 4933572 140735531924704 18446744073709551615 4330830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 13221 10571 375 181 0 10230 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 52884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 5531
/proc/meminfo: memFree=27045868/32951124 swapFree=38422276/67111528
[pid=5426] ppid=5424 vsize=52948 CPUtime=1800.06 cores=0,2,4,6
/proc/5426/stat : 5426 (clasp) R 5424 5426 30895 0 -1 4202496 14700 0 0 0 180003 3 0 0 25 0 1 0 818900120 54218752 10587 33554432000 4194304 4933572 140735531924704 18446744073709551615 4330217 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5426/statm: 13237 10587 375 181 0 10246 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 52948
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.09
CPU user time (s): 1800.05
CPU system time (s): 0.036994
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 53940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14712
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= 4538
runsolver used 9.14261 second user time and 18.7032 second system time
The end