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-3468554-1307071681/watcher-3468554-1307071681 -o /tmp/evaluation-result-3468554-1307071681/solver-3468554-1307071681 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468554-1307071681.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.96 1.99 1.93 2/572 18972
/proc/meminfo: memFree=31967696/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=14204 CPUtime=0.01 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 1100 0 0 0 1 0 0 0 25 0 1 0 818766899 14544896 890 33554432000 4194304 4933572 140736852870464 18446744073709551615 268272349893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 3551 890 367 181 0 560 0
[startup+0.100721 s]
/proc/loadavg: 1.96 1.99 1.93 2/572 18972
/proc/meminfo: memFree=31967696/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=15656 CPUtime=0.09 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 1462 0 0 0 9 0 0 0 25 0 1 0 818766899 16031744 1252 33554432000 4194304 4933572 140736852870464 18446744073709551615 4319323 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 3914 1252 374 181 0 923 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15656
[startup+0.200703 s]
/proc/loadavg: 1.96 1.99 1.93 2/572 18972
/proc/meminfo: memFree=31967696/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=16316 CPUtime=0.19 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 1638 0 0 0 19 0 0 0 25 0 1 0 818766899 16707584 1428 33554432000 4194304 4933572 140736852870464 18446744073709551615 4637473 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 4079 1428 374 181 0 1088 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16316
[startup+0.300687 s]
/proc/loadavg: 1.96 1.99 1.93 2/572 18972
/proc/meminfo: memFree=31967696/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=16580 CPUtime=0.29 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 1691 0 0 0 29 0 0 0 25 0 1 0 818766899 16977920 1481 33554432000 4194304 4933572 140736852870464 18446744073709551615 4319413 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 4145 1481 374 181 0 1154 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16580
[startup+0.700616 s]
/proc/loadavg: 1.96 1.99 1.93 2/572 18972
/proc/meminfo: memFree=31967696/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=17504 CPUtime=0.69 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 1944 0 0 0 69 0 0 0 25 0 1 0 818766899 17924096 1734 33554432000 4194304 4933572 140736852870464 18446744073709551615 4360879 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 4376 1734 374 181 0 1385 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17504
[startup+1.50048 s]
/proc/loadavg: 1.96 1.99 1.93 3/573 18973
/proc/meminfo: memFree=31960504/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=18560 CPUtime=1.49 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 2202 0 0 0 149 0 0 0 25 0 1 0 818766899 19005440 1992 33554432000 4194304 4933572 140736852870464 18446744073709551615 4631752 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 4640 1992 374 181 0 1649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18560
[startup+3.10018 s]
/proc/loadavg: 1.96 1.99 1.93 3/573 18973
/proc/meminfo: memFree=31958148/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=19616 CPUtime=3.09 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 2477 0 0 0 309 0 0 0 25 0 1 0 818766899 20086784 2267 33554432000 4194304 4933572 140736852870464 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 4904 2267 374 181 0 1913 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19616
[startup+6.30058 s]
/proc/loadavg: 1.96 1.99 1.93 3/573 18973
/proc/meminfo: memFree=31956632/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=20804 CPUtime=6.29 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 2760 0 0 0 629 0 0 0 25 0 1 0 818766899 21303296 2550 33554432000 4194304 4933572 140736852870464 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 5201 2550 374 181 0 2210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20804
[startup+12.7005 s]
/proc/loadavg: 1.97 1.99 1.93 3/573 18974
/proc/meminfo: memFree=31953432/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=23260 CPUtime=12.69 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 3368 0 0 0 1269 0 0 0 25 0 1 0 818766899 23818240 3158 33554432000 4194304 4933572 140736852870464 18446744073709551615 4649586 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 5815 3158 374 181 0 2824 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23260
[startup+25.5012 s]
/proc/loadavg: 1.97 1.99 1.93 3/573 18974
/proc/meminfo: memFree=31952180/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=24604 CPUtime=25.49 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 3699 0 0 0 2549 0 0 0 25 0 1 0 818766899 25194496 3489 33554432000 4194304 4933572 140736852870464 18446744073709551615 4341654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 6151 3489 374 181 0 3160 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24604
[startup+51.1006 s]
/proc/loadavg: 1.98 1.99 1.93 3/573 18975
/proc/meminfo: memFree=31949664/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=27112 CPUtime=51.09 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 4337 0 0 0 5109 0 0 0 25 0 1 0 818766899 27762688 4127 33554432000 4194304 4933572 140736852870464 18446744073709551615 4341855 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 6778 4127 374 181 0 3787 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27112
[startup+102.3 s]
/proc/loadavg: 2.30 2.06 1.95 3/573 18976
/proc/meminfo: memFree=31946408/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=30128 CPUtime=102.3 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 5209 0 0 0 10230 0 0 0 25 0 1 0 818766899 30851072 4863 33554432000 4194304 4933572 140736852870464 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 7532 4863 375 181 0 4541 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30128
[startup+162.301 s]
/proc/loadavg: 2.25 2.08 1.96 3/573 18978
/proc/meminfo: memFree=31942124/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=32996 CPUtime=162.3 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 5991 0 0 0 16229 1 0 0 25 0 1 0 818766899 33787904 5584 33554432000 4194304 4933572 140736852870464 18446744073709551615 4342096 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 8249 5584 375 181 0 5258 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 32996
[startup+222.322 s]
/proc/loadavg: 2.09 2.06 1.96 3/573 18979
/proc/meminfo: memFree=31941572/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=34316 CPUtime=222.32 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 6323 0 0 0 22231 1 0 0 25 0 1 0 818766899 35139584 5916 33554432000 4194304 4933572 140736852870464 18446744073709551615 4717558 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 8579 5916 375 181 0 5588 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 34316
[startup+282.3 s]
/proc/loadavg: 2.03 2.05 1.96 3/573 18981
/proc/meminfo: memFree=31940416/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=36164 CPUtime=282.3 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 6782 0 0 0 28229 1 0 0 25 0 1 0 818766899 37031936 6375 33554432000 4194304 4933572 140736852870464 18446744073709551615 4340821 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 9041 6375 375 181 0 6050 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 36164
[startup+342.301 s]
/proc/loadavg: 2.01 2.04 1.96 3/573 18982
/proc/meminfo: memFree=31939376/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=36824 CPUtime=342.3 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 6936 0 0 0 34229 1 0 0 25 0 1 0 818766899 37707776 6529 33554432000 4194304 4933572 140736852870464 18446744073709551615 4360947 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 9206 6529 375 181 0 6215 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 36824
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 1.96 3/573 18984
/proc/meminfo: memFree=31935972/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=38804 CPUtime=402.3 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 7459 0 0 0 40229 1 0 0 25 0 1 0 818766899 39735296 7052 33554432000 4194304 4933572 140736852870464 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 9701 7052 375 181 0 6710 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 38804
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/573 18986
/proc/meminfo: memFree=31934056/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=40572 CPUtime=462.3 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 7878 0 0 0 46229 1 0 0 25 0 1 0 818766899 41545728 7471 33554432000 4194304 4933572 140736852870464 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 10143 7471 375 181 0 7152 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 40572
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/573 18987
/proc/meminfo: memFree=31934496/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=41600 CPUtime=522.31 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 8248 0 0 0 52230 1 0 0 25 0 1 0 818766899 42598400 7752 33554432000 4194304 4933572 140736852870464 18446744073709551615 4649424 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 10400 7752 375 181 0 7409 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 41600
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.96 3/573 18989
/proc/meminfo: memFree=31933472/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=42524 CPUtime=582.31 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 8478 0 0 0 58230 1 0 0 25 0 1 0 818766899 43544576 7982 33554432000 4194304 4933572 140736852870464 18446744073709551615 4649190 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 10631 7982 375 181 0 7640 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 42524
[startup+642.3 s]
################
# More data... #
################
[startup+882.321 s]
/proc/loadavg: 2.02 2.04 1.99 3/573 18997
/proc/meminfo: memFree=31927464/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=46724 CPUtime=882.33 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 10110 0 0 0 88232 1 0 0 25 0 1 0 818766899 47845376 9009 33554432000 4194304 4933572 140736852870464 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 11681 9009 375 181 0 8690 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 46724
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 1.99 3/573 18998
/proc/meminfo: memFree=31923940/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=48780 CPUtime=942.32 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 10698 0 0 0 94230 2 0 0 25 0 1 0 818766899 49950720 9543 33554432000 4194304 4933572 140736852870464 18446744073709551615 4635376 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 12195 9543 375 181 0 9204 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 48780
[startup+1002.3 s]
/proc/loadavg: 1.96 2.01 1.98 3/573 19028
/proc/meminfo: memFree=31931560/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=50844 CPUtime=1002.32 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 11181 0 0 0 100230 2 0 0 25 0 1 0 818766899 52064256 10026 33554432000 4194304 4933572 140736852870464 18446744073709551615 4329949 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 12711 10026 375 181 0 9720 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 50844
[startup+1062.3 s]
/proc/loadavg: 1.98 2.00 1.98 4/573 19030
/proc/meminfo: memFree=31925692/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=50844 CPUtime=1062.32 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 11182 0 0 0 106230 2 0 0 25 0 1 0 818766899 52064256 10027 33554432000 4194304 4933572 140736852870464 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 12711 10027 375 181 0 9720 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 50844
[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/573 19031
/proc/meminfo: memFree=31923408/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=50844 CPUtime=1122.32 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 11182 0 0 0 112230 2 0 0 25 0 1 0 818766899 52064256 10027 33554432000 4194304 4933572 140736852870464 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 12711 10027 375 181 0 9720 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 50844
[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/573 19033
/proc/meminfo: memFree=31921612/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=51768 CPUtime=1182.32 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 11427 0 0 0 118230 2 0 0 25 0 1 0 818766899 53010432 10272 33554432000 4194304 4933572 140736852870464 18446744073709551615 4718558 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 12942 10272 375 181 0 9951 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 51768
[startup+1242.3 s]
/proc/loadavg: 2.19 2.06 2.00 4/573 19034
/proc/meminfo: memFree=31917964/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=52244 CPUtime=1242.32 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 11707 0 0 0 124230 2 0 0 25 0 1 0 818766899 53497856 10364 33554432000 4194304 4933572 140736852870464 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 13061 10364 375 181 0 10070 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 52244
[startup+1302.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/573 19036
/proc/meminfo: memFree=31916800/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=52244 CPUtime=1302.32 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 11707 0 0 0 130230 2 0 0 25 0 1 0 818766899 53497856 10364 33554432000 4194304 4933572 140736852870464 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 13061 10364 375 181 0 10070 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 52244
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/573 19038
/proc/meminfo: memFree=31913884/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=53168 CPUtime=1362.32 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 11959 0 0 0 136230 2 0 0 25 0 1 0 818766899 54444032 10616 33554432000 4194304 4933572 140736852870464 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 13292 10616 375 181 0 10301 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 53168
[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/573 19039
/proc/meminfo: memFree=31912596/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=53732 CPUtime=1422.34 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 12308 0 0 0 142232 2 0 0 25 0 1 0 818766899 55021568 10759 33554432000 4194304 4933572 140736852870464 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 13433 10759 375 181 0 10442 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 53732
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/573 19041
/proc/meminfo: memFree=31911556/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=53732 CPUtime=1482.33 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 12309 0 0 0 148231 2 0 0 25 0 1 0 818766899 55021568 10760 33554432000 4194304 4933572 140736852870464 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 13433 10760 375 181 0 10442 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 53732
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19042
/proc/meminfo: memFree=31908776/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=54916 CPUtime=1542.35 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 12789 0 0 0 154233 2 0 0 25 0 1 0 818766899 56233984 11047 33554432000 4194304 4933572 140736852870464 18446744073709551615 4319286 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 13729 11047 375 181 0 10738 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 54916
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19044
/proc/meminfo: memFree=31904384/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=55312 CPUtime=1602.33 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 12898 0 0 0 160231 2 0 0 25 0 1 0 818766899 56639488 11156 33554432000 4194304 4933572 140736852870464 18446744073709551615 4328681 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 13828 11156 375 181 0 10837 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 55312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19046
/proc/meminfo: memFree=31903212/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=55312 CPUtime=1662.33 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 12898 0 0 0 166231 2 0 0 25 0 1 0 818766899 56639488 11156 33554432000 4194304 4933572 140736852870464 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 13828 11156 375 181 0 10837 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 55312
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19047
/proc/meminfo: memFree=31902168/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=55312 CPUtime=1722.33 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 12898 0 0 0 172231 2 0 0 25 0 1 0 818766899 56639488 11156 33554432000 4194304 4933572 140736852870464 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 13828 11156 375 181 0 10837 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 55312
[startup+1782.3 s]
/proc/loadavg: 2.19 2.05 2.01 3/573 19049
/proc/meminfo: memFree=31899760/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=56500 CPUtime=1782.34 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 13196 0 0 0 178232 2 0 0 25 0 1 0 818766899 57856000 11454 33554432000 4194304 4933572 140736852870464 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 14125 11454 375 181 0 11134 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 56500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.14 2.05 2.01 3/573 19049
/proc/meminfo: memFree=31900240/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=56896 CPUtime=1800.05 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 13277 0 0 0 180003 2 0 0 25 0 1 0 818766899 58261504 11535 33554432000 4194304 4933572 140736852870464 18446744073709551615 4330310 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 14224 11535 375 181 0 11233 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 56896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.14 2.05 2.01 3/573 19049
/proc/meminfo: memFree=31900240/32950928 swapFree=43925852/67111528
[pid=18972] ppid=18970 vsize=56896 CPUtime=1800.05 cores=0,2,4,6
/proc/18972/stat : 18972 (clasp) R 18970 18972 17441 0 -1 4202496 13277 0 0 0 180003 2 0 0 25 0 1 0 818766899 58261504 11535 33554432000 4194304 4933572 140736852870464 18446744073709551615 4330310 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18972/statm: 14224 11535 375 181 0 11233 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 56896
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.027995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 56896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13290
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= 8
involuntary context switches= 4380
runsolver used 10.4094 second user time and 22.6266 second system time
The end