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-3469379-1307094878/watcher-3469379-1307094878 -o /tmp/evaluation-result-3469379-1307094878/solver-3469379-1307094878 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469379-1307094878.opb --solu --heu=VSIDS
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.02 2.00 3/498 12504
/proc/meminfo: memFree=30436148/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=14052 CPUtime=0 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 922 0 0 0 0 0 0 0 25 0 1 0 821088771 14389248 810 33554432000 4194304 4933572 140736645768256 18446744073709551615 270612759640 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 3513 810 323 181 0 522 0
[startup+0.0523329 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 12504
/proc/meminfo: memFree=30436148/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=15984 CPUtime=0.05 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 1651 0 0 0 5 0 0 0 25 0 1 0 821088771 16367616 1332 33554432000 4194304 4933572 140736645768256 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 3996 1333 374 181 0 1005 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15984
[startup+0.100356 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 12504
/proc/meminfo: memFree=30436148/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=16644 CPUtime=0.09 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 1812 0 0 0 9 0 0 0 25 0 1 0 821088771 17043456 1493 33554432000 4194304 4933572 140736645768256 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 4161 1493 374 181 0 1170 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16644
[startup+0.30032 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 12504
/proc/meminfo: memFree=30436148/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=17568 CPUtime=0.29 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 2031 0 0 0 29 0 0 0 25 0 1 0 821088771 17989632 1712 33554432000 4194304 4933572 140736645768256 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 4392 1712 374 181 0 1401 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17568
[startup+0.700244 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 12504
/proc/meminfo: memFree=30436148/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=18492 CPUtime=0.69 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 2286 0 0 0 69 0 0 0 25 0 1 0 821088771 18935808 1967 33554432000 4194304 4933572 140736645768256 18446744073709551615 4632755 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 4623 1967 374 181 0 1632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18492
[startup+1.50111 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12506
/proc/meminfo: memFree=30428952/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=19552 CPUtime=1.5 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 2541 0 0 0 150 0 0 0 25 0 1 0 821088771 20021248 2222 33554432000 4194304 4933572 140736645768256 18446744073709551615 4428510 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 4888 2222 374 181 0 1897 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 19552
[startup+3.10082 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12506
/proc/meminfo: memFree=30426720/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=21136 CPUtime=3.09 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 2945 0 0 0 309 0 0 0 25 0 1 0 821088771 21643264 2626 33554432000 4194304 4933572 140736645768256 18446744073709551615 4428016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 5284 2626 374 181 0 2293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21136
[startup+6.30026 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12506
/proc/meminfo: memFree=30424244/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=23524 CPUtime=6.29 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 3525 0 0 0 629 0 0 0 25 0 1 0 821088771 24088576 3206 33554432000 4194304 4933572 140736645768256 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 5881 3206 374 181 0 2890 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23524
[startup+12.7011 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12506
/proc/meminfo: memFree=30419016/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=24644 CPUtime=12.7 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 3805 0 0 0 1270 0 0 0 25 0 1 0 821088771 25235456 3486 33554432000 4194304 4933572 140736645768256 18446744073709551615 4628780 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 6161 3486 374 181 0 3170 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 24644
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12506
/proc/meminfo: memFree=30414784/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=27976 CPUtime=25.49 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 4609 0 0 0 2549 0 0 0 25 0 1 0 821088771 28647424 4290 33554432000 4194304 4933572 140736645768256 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 6994 4290 374 181 0 4003 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27976
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12507
/proc/meminfo: memFree=30404576/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=32796 CPUtime=51.09 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 5804 0 0 0 5109 0 0 0 25 0 1 0 821088771 33583104 5485 33554432000 4194304 4933572 140736645768256 18446744073709551615 4361668 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 8199 5485 374 181 0 5208 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32796
[startup+102.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12508
/proc/meminfo: memFree=30392780/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=38328 CPUtime=102.31 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 7121 0 0 0 10231 0 0 0 25 0 1 0 821088771 39247872 6802 33554432000 4194304 4933572 140736645768256 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 9582 6802 374 181 0 6591 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 38328
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12510
/proc/meminfo: memFree=30381712/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=42200 CPUtime=162.29 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 7991 0 0 0 16229 0 0 0 25 0 1 0 821088771 43212800 7672 33554432000 4194304 4933572 140736645768256 18446744073709551615 4429145 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 10550 7672 374 181 0 7559 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 42200
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12511
/proc/meminfo: memFree=30373856/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=45564 CPUtime=222.29 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 8806 0 0 0 22229 0 0 0 25 0 1 0 821088771 46657536 8487 33554432000 4194304 4933572 140736645768256 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 11391 8487 374 181 0 8400 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 45564
[startup+282.3 s]
/proc/loadavg: 2.20 2.06 2.02 3/499 12513
/proc/meminfo: memFree=30369364/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=48760 CPUtime=282.3 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 9714 0 0 0 28229 1 0 0 25 0 1 0 821088771 49930240 9217 33554432000 4194304 4933572 140736645768256 18446744073709551615 4319323 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 12190 9217 374 181 0 9199 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 48760
[startup+342.301 s]
/proc/loadavg: 2.11 2.06 2.02 3/499 12515
/proc/meminfo: memFree=30365360/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=49956 CPUtime=342.3 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 9982 0 0 0 34229 1 0 0 25 0 1 0 821088771 51154944 9485 33554432000 4194304 4933572 140736645768256 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 12489 9485 374 181 0 9498 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 49956
[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.01 4/499 12525
/proc/meminfo: memFree=30360388/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=51036 CPUtime=402.3 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 10267 0 0 0 40229 1 0 0 25 0 1 0 821088771 52260864 9770 33554432000 4194304 4933572 140736645768256 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 12759 9770 374 181 0 9768 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 51036
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 12528
/proc/meminfo: memFree=30352808/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=56072 CPUtime=462.3 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 11577 0 0 0 46229 1 0 0 25 0 1 0 821088771 57417728 10998 33554432000 4194304 4933572 140736645768256 18446744073709551615 4637142 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 14018 10998 374 181 0 11027 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 56072
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12529
/proc/meminfo: memFree=30350184/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=57832 CPUtime=522.3 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 12014 0 0 0 52229 1 0 0 25 0 1 0 821088771 59219968 11435 33554432000 4194304 4933572 140736645768256 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 14458 11435 374 181 0 11467 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 57832
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12534
/proc/meminfo: memFree=30346240/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=58228 CPUtime=582.3 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 12098 0 0 0 58229 1 0 0 25 0 1 0 821088771 59625472 11519 33554432000 4194304 4933572 140736645768256 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 14557 11519 374 181 0 11566 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 58228
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/499 12540
/proc/meminfo: memFree=30339924/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=62220 CPUtime=822.31 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 12993 0 0 0 82229 2 0 0 25 0 1 0 821088771 63713280 12414 33554432000 4194304 4933572 140736645768256 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 15555 12414 374 181 0 12564 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 62220
[startup+882.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 12542
/proc/meminfo: memFree=30337052/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=62808 CPUtime=882.31 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 13151 0 0 0 88229 2 0 0 25 0 1 0 821088771 64315392 12572 33554432000 4194304 4933572 140736645768256 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 15702 12572 374 181 0 12711 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 62808
[startup+942.301 s]
/proc/loadavg: 2.04 2.04 2.01 3/499 12544
/proc/meminfo: memFree=30334928/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=62940 CPUtime=942.31 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 13168 0 0 0 94229 2 0 0 25 0 1 0 821088771 64450560 12589 33554432000 4194304 4933572 140736645768256 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 15735 12589 374 181 0 12744 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 62940
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 12545
/proc/meminfo: memFree=30332292/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=63204 CPUtime=1002.31 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 13239 0 0 0 100229 2 0 0 25 0 1 0 821088771 64720896 12660 33554432000 4194304 4933572 140736645768256 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 15801 12660 374 181 0 12810 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 63204
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12547
/proc/meminfo: memFree=30328672/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=66520 CPUtime=1062.31 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 14285 0 0 0 106229 2 0 0 25 0 1 0 821088771 68116480 13458 33554432000 4194304 4933572 140736645768256 18446744073709551615 4625222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 16630 13458 374 181 0 13639 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 66520
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12548
/proc/meminfo: memFree=30326288/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=67708 CPUtime=1122.32 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 14619 0 0 0 112230 2 0 0 25 0 1 0 821088771 69332992 13792 33554432000 4194304 4933572 140736645768256 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 16927 13792 374 181 0 13936 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 67708
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12550
/proc/meminfo: memFree=30324164/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=68740 CPUtime=1182.32 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 14868 0 0 0 118230 2 0 0 25 0 1 0 821088771 70389760 14041 33554432000 4194304 4933572 140736645768256 18446744073709551615 4319256 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17185 14041 374 181 0 14194 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 68740
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12552
/proc/meminfo: memFree=30321280/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=69776 CPUtime=1242.32 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15123 0 0 0 124230 2 0 0 25 0 1 0 821088771 71450624 14296 33554432000 4194304 4933572 140736645768256 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17444 14296 374 181 0 14453 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 69776
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12553
/proc/meminfo: memFree=30320128/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=69776 CPUtime=1302.33 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15124 0 0 0 130231 2 0 0 25 0 1 0 821088771 71450624 14297 33554432000 4194304 4933572 140736645768256 18446744073709551615 4632820 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17444 14297 374 181 0 14453 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 69776
[startup+1362.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/499 12555
/proc/meminfo: memFree=30318492/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=69908 CPUtime=1362.32 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15144 0 0 0 136230 2 0 0 25 0 1 0 821088771 71585792 14317 33554432000 4194304 4933572 140736645768256 18446744073709551615 270612808298 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17477 14317 374 181 0 14486 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 69908
[startup+1422.32 s]
/proc/loadavg: 2.21 2.07 2.02 3/499 12556
/proc/meminfo: memFree=30317468/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=70436 CPUtime=1422.34 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15295 0 0 0 142232 2 0 0 25 0 1 0 821088771 72126464 14468 33554432000 4194304 4933572 140736645768256 18446744073709551615 4663856 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17609 14468 374 181 0 14618 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 70436
[startup+1482.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/499 12558
/proc/meminfo: memFree=30316456/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=70436 CPUtime=1482.32 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15295 0 0 0 148230 2 0 0 25 0 1 0 821088771 72126464 14468 33554432000 4194304 4933572 140736645768256 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17609 14468 374 181 0 14618 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 70436
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/499 12560
/proc/meminfo: memFree=30314324/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=70944 CPUtime=1542.32 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15406 0 0 0 154230 2 0 0 25 0 1 0 821088771 72646656 14579 33554432000 4194304 4933572 140736645768256 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17736 14579 374 181 0 14745 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 70944
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/499 12561
/proc/meminfo: memFree=30313672/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=71196 CPUtime=1602.33 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15466 0 0 0 160231 2 0 0 25 0 1 0 821088771 72904704 14639 33554432000 4194304 4933572 140736645768256 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17799 14639 374 181 0 14808 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 71196
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12563
/proc/meminfo: memFree=30312276/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=71516 CPUtime=1662.33 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15537 0 0 0 166231 2 0 0 25 0 1 0 821088771 73232384 14710 33554432000 4194304 4933572 140736645768256 18446744073709551615 270612808322 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17879 14710 374 181 0 14888 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 71516
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12564
/proc/meminfo: memFree=30310108/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=71728 CPUtime=1722.33 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15591 0 0 0 172231 2 0 0 25 0 1 0 821088771 73449472 14764 33554432000 4194304 4933572 140736645768256 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17932 14764 374 181 0 14941 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 71728
[startup+1782.3 s]
/proc/loadavg: 1.93 2.00 1.99 3/499 12624
/proc/meminfo: memFree=30380752/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=71980 CPUtime=1782.33 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15655 0 0 0 178231 2 0 0 25 0 1 0 821088771 73707520 14828 33554432000 4194304 4933572 140736645768256 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 17995 14828 374 181 0 15004 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 71980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.95 2.00 1.99 3/499 12624
/proc/meminfo: memFree=30371924/32951124 swapFree=53876548/67111528
[pid=12504] ppid=12502 vsize=72376 CPUtime=1800.04 cores=0,2,4,6
/proc/12504/stat : 12504 (clasp) R 12502 12504 12330 0 -1 4202496 15746 0 0 0 180002 2 0 0 25 0 1 0 821088771 74113024 14919 33554432000 4194304 4933572 140736645768256 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12504/statm: 18094 14919 374 181 0 15103 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 72376
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.02
CPU time (s): 1800.06
CPU user time (s): 1800.03
CPU system time (s): 0.031995
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 72376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15757
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= 21193
runsolver used 9.42757 second user time and 19.435 second system time
The end