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-3468290-1307109123/watcher-3468290-1307109123 -o /tmp/evaluation-result-3468290-1307109123/solver-3468290-1307109123 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468290-1307109123.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: 1.92 2.01 1.99 2/517 5892
/proc/meminfo: memFree=21374284/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=12440 CPUtime=0 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 822509009 12738560 461 33554432000 4194304 4933572 140735571942352 18446744073709551615 254500388619 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 3110 461 370 181 0 119 0
[startup+0.078273 s]
/proc/loadavg: 1.92 2.01 1.99 2/517 5892
/proc/meminfo: memFree=21374284/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=12976 CPUtime=0.07 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 640 0 0 0 7 0 0 0 25 0 1 0 822509009 13287424 581 33554432000 4194304 4933572 140735571942352 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 3244 581 377 181 0 253 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12976
[startup+0.101295 s]
/proc/loadavg: 1.92 2.01 1.99 2/517 5892
/proc/meminfo: memFree=21374284/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=12976 CPUtime=0.09 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 667 0 0 0 9 0 0 0 25 0 1 0 822509009 13287424 608 33554432000 4194304 4933572 140735571942352 18446744073709551615 4316983 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 3244 608 377 181 0 253 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12976
[startup+0.301233 s]
/proc/loadavg: 1.92 2.01 1.99 2/517 5892
/proc/meminfo: memFree=21374284/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=13372 CPUtime=0.29 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 759 0 0 0 29 0 0 0 25 0 1 0 822509009 13692928 700 33554432000 4194304 4933572 140735571942352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 3343 700 378 181 0 352 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13372
[startup+0.701153 s]
/proc/loadavg: 1.92 2.01 1.99 2/517 5892
/proc/meminfo: memFree=21374284/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=13772 CPUtime=0.69 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 850 0 0 0 69 0 0 0 25 0 1 0 822509009 14102528 791 33554432000 4194304 4933572 140735571942352 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 3443 791 378 181 0 452 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13772
[startup+1.50099 s]
/proc/loadavg: 1.92 2.01 1.99 3/518 5893
/proc/meminfo: memFree=21370932/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=14172 CPUtime=1.49 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 956 0 0 0 149 0 0 0 25 0 1 0 822509009 14512128 897 33554432000 4194304 4933572 140735571942352 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 3543 897 378 181 0 552 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14172
[startup+3.10068 s]
/proc/loadavg: 1.92 2.01 1.99 3/518 5893
/proc/meminfo: memFree=21369692/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=14852 CPUtime=3.09 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1102 0 0 0 309 0 0 0 25 0 1 0 822509009 15208448 1043 33554432000 4194304 4933572 140735571942352 18446744073709551615 254500389502 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 3713 1043 378 181 0 722 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14852
[startup+6.30104 s]
/proc/loadavg: 1.93 2.01 1.99 3/518 5893
/proc/meminfo: memFree=21369040/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=15156 CPUtime=6.29 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1196 0 0 0 629 0 0 0 25 0 1 0 822509009 15519744 1137 33554432000 4194304 4933572 140735571942352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 3789 1137 378 181 0 798 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15156
[startup+12.7008 s]
/proc/loadavg: 1.94 2.01 1.99 3/518 5893
/proc/meminfo: memFree=21368068/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=15596 CPUtime=12.69 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1271 0 0 0 1269 0 0 0 25 0 1 0 822509009 15970304 1212 33554432000 4194304 4933572 140735571942352 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 3899 1212 378 181 0 908 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15596
[startup+25.5002 s]
/proc/loadavg: 2.02 2.02 2.00 3/518 5921
/proc/meminfo: memFree=21374220/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16020 CPUtime=25.49 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1364 0 0 0 2549 0 0 0 25 0 1 0 822509009 16404480 1305 33554432000 4194304 4933572 140735571942352 18446744073709551615 4630718 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4005 1305 378 181 0 1014 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16020
[startup+51.1011 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 5922
/proc/meminfo: memFree=21370624/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16180 CPUtime=51.09 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1426 0 0 0 5109 0 0 0 25 0 1 0 822509009 16568320 1367 33554432000 4194304 4933572 140735571942352 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4045 1367 378 181 0 1054 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16180
[startup+102.319 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5924
/proc/meminfo: memFree=21370300/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16488 CPUtime=102.31 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1485 0 0 0 10231 0 0 0 25 0 1 0 822509009 16883712 1426 33554432000 4194304 4933572 140735571942352 18446744073709551615 4664525 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4122 1426 378 181 0 1131 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 16488
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5925
/proc/meminfo: memFree=21368640/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16488 CPUtime=162.3 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1513 0 0 0 16230 0 0 0 25 0 1 0 822509009 16883712 1454 33554432000 4194304 4933572 140735571942352 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4122 1454 378 181 0 1131 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 16488
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 5927
/proc/meminfo: memFree=21369584/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16600 CPUtime=222.3 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1522 0 0 0 22230 0 0 0 25 0 1 0 822509009 16998400 1463 33554432000 4194304 4933572 140735571942352 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4150 1463 378 181 0 1159 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 16600
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 5928
/proc/meminfo: memFree=21370296/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16600 CPUtime=282.3 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1525 0 0 0 28230 0 0 0 25 0 1 0 822509009 16998400 1466 33554432000 4194304 4933572 140735571942352 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4150 1466 378 181 0 1159 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 16600
[startup+342.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/518 5957
/proc/meminfo: memFree=21354656/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16600 CPUtime=342.3 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1541 0 0 0 34230 0 0 0 25 0 1 0 822509009 16998400 1482 33554432000 4194304 4933572 140735571942352 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4150 1482 378 181 0 1159 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 16600
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/518 5959
/proc/meminfo: memFree=21352884/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16600 CPUtime=402.31 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1548 0 0 0 40231 0 0 0 25 0 1 0 822509009 16998400 1489 33554432000 4194304 4933572 140735571942352 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4150 1489 378 181 0 1159 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 16600
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 5960
/proc/meminfo: memFree=21352460/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16720 CPUtime=462.31 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1566 0 0 0 46231 0 0 0 25 0 1 0 822509009 17121280 1507 33554432000 4194304 4933572 140735571942352 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4180 1507 378 181 0 1189 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 16720
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 5962
/proc/meminfo: memFree=21353524/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16720 CPUtime=522.31 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1571 0 0 0 52231 0 0 0 25 0 1 0 822509009 17121280 1512 33554432000 4194304 4933572 140735571942352 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4180 1512 378 181 0 1189 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 16720
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/518 5972
/proc/meminfo: memFree=21353288/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16720 CPUtime=582.31 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1572 0 0 0 58231 0 0 0 25 0 1 0 822509009 17121280 1513 33554432000 4194304 4933572 140735571942352 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4180 1513 378 181 0 1189 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 16720
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/518 5982
/proc/meminfo: memFree=21352100/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16720 CPUtime=822.32 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1587 0 0 0 82232 0 0 0 25 0 1 0 822509009 17121280 1528 33554432000 4194304 4933572 140735571942352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4180 1528 378 181 0 1189 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 16720
[startup+882.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/518 5983
/proc/meminfo: memFree=21351064/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16720 CPUtime=882.33 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1587 0 0 0 88233 0 0 0 25 0 1 0 822509009 17121280 1528 33554432000 4194304 4933572 140735571942352 18446744073709551615 4363265 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4180 1528 378 181 0 1189 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 16720
[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/518 5985
/proc/meminfo: memFree=21351372/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=942.33 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1594 0 0 0 94233 0 0 0 25 0 1 0 822509009 17199104 1535 33554432000 4194304 4933572 140735571942352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1535 378 181 0 1208 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 16796
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5987
/proc/meminfo: memFree=21351180/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1002.33 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1594 0 0 0 100233 0 0 0 25 0 1 0 822509009 17199104 1535 33554432000 4194304 4933572 140735571942352 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1535 378 181 0 1208 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 16796
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/518 5988
/proc/meminfo: memFree=21351148/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1062.34 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1594 0 0 0 106234 0 0 0 25 0 1 0 822509009 17199104 1535 33554432000 4194304 4933572 140735571942352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1535 378 181 0 1208 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 16796
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/518 5990
/proc/meminfo: memFree=21351212/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1122.34 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1594 0 0 0 112234 0 0 0 25 0 1 0 822509009 17199104 1535 33554432000 4194304 4933572 140735571942352 18446744073709551615 4713036 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1535 378 181 0 1208 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 16796
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5991
/proc/meminfo: memFree=21350308/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1182.34 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1594 0 0 0 118234 0 0 0 25 0 1 0 822509009 17199104 1535 33554432000 4194304 4933572 140735571942352 18446744073709551615 4635445 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1535 378 181 0 1208 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 16796
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5993
/proc/meminfo: memFree=21350488/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1242.34 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1596 0 0 0 124234 0 0 0 25 0 1 0 822509009 17199104 1537 33554432000 4194304 4933572 140735571942352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1537 378 181 0 1208 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 16796
[startup+1302.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/518 5995
/proc/meminfo: memFree=21350700/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1302.35 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1596 0 0 0 130235 0 0 0 25 0 1 0 822509009 17199104 1537 33554432000 4194304 4933572 140735571942352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1537 378 181 0 1208 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 16796
[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/518 5996
/proc/meminfo: memFree=21350416/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1362.35 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1596 0 0 0 136235 0 0 0 25 0 1 0 822509009 17199104 1537 33554432000 4194304 4933572 140735571942352 18446744073709551615 4363389 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1537 378 181 0 1208 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 16796
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/518 5998
/proc/meminfo: memFree=21350228/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1422.37 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1598 0 0 0 142237 0 0 0 25 0 1 0 822509009 17199104 1539 33554432000 4194304 4933572 140735571942352 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1539 378 181 0 1208 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 16796
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 5999
/proc/meminfo: memFree=21349300/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1482.35 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1598 0 0 0 148235 0 0 0 25 0 1 0 822509009 17199104 1539 33554432000 4194304 4933572 140735571942352 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1539 378 181 0 1208 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 16796
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/518 6001
/proc/meminfo: memFree=21350252/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1542.36 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1598 0 0 0 154236 0 0 0 25 0 1 0 822509009 17199104 1539 33554432000 4194304 4933572 140735571942352 18446744073709551615 4649854 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1539 378 181 0 1208 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 16796
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/518 6003
/proc/meminfo: memFree=21349076/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1602.36 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1598 0 0 0 160236 0 0 0 25 0 1 0 822509009 17199104 1539 33554432000 4194304 4933572 140735571942352 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1539 378 181 0 1208 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 16796
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 6004
/proc/meminfo: memFree=21349164/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1662.36 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1598 0 0 0 166236 0 0 0 25 0 1 0 822509009 17199104 1539 33554432000 4194304 4933572 140735571942352 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1539 378 181 0 1208 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 16796
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 6006
/proc/meminfo: memFree=21348860/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1722.36 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1598 0 0 0 172236 0 0 0 25 0 1 0 822509009 17199104 1539 33554432000 4194304 4933572 140735571942352 18446744073709551615 4718525 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1539 378 181 0 1208 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 16796
[startup+1782.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/518 6007
/proc/meminfo: memFree=21347704/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1782.37 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1598 0 0 0 178237 0 0 0 25 0 1 0 822509009 17199104 1539 33554432000 4194304 4933572 140735571942352 18446744073709551615 4340821 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1539 378 181 0 1208 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 16796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.10 2.04 2.01 3/518 6008
/proc/meminfo: memFree=21348436/32950928 swapFree=34259960/67111528
[pid=5892] ppid=5890 vsize=16796 CPUtime=1800.07 cores=0,2,4,6
/proc/5892/stat : 5892 (clasp) R 5890 5892 4893 0 -1 4202496 1598 0 0 0 180007 0 0 0 25 0 1 0 822509009 17199104 1539 33554432000 4194304 4933572 140735571942352 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5892/statm: 4199 1539 378 181 0 1208 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 16796
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.1
CPU user time (s): 1800.09
CPU system time (s): 0.007998
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 16852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1606
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= 2679
runsolver used 9.68253 second user time and 19.616 second system time
The end