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-3468791-1307102437/watcher-3468791-1307102437 -o /tmp/evaluation-result-3468791-1307102437/solver-3468791-1307102437 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468791-1307102437.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.04 2.01 1/533 18043
/proc/meminfo: memFree=29136200/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=14160 CPUtime=0 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 1068 0 0 0 0 0 0 0 23 0 1 0 821841662 14499840 865 33554432000 4194304 4933572 140735954243088 18446744073709551615 228244010017 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 3540 865 367 181 0 549 0
[startup+0.110659 s]
/proc/loadavg: 2.05 2.04 2.01 1/533 18043
/proc/meminfo: memFree=29136200/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=16140 CPUtime=0.1 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 1583 0 0 0 10 0 0 0 24 0 1 0 821841662 16527360 1380 33554432000 4194304 4933572 140735954243088 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 4035 1380 374 181 0 1044 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16140
[startup+0.200643 s]
/proc/loadavg: 2.05 2.04 2.01 1/533 18043
/proc/meminfo: memFree=29136200/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=16404 CPUtime=0.19 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 1645 0 0 0 19 0 0 0 24 0 1 0 821841662 16797696 1442 33554432000 4194304 4933572 140735954243088 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 4101 1443 374 181 0 1110 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16404
[startup+0.300625 s]
/proc/loadavg: 2.05 2.04 2.01 1/533 18043
/proc/meminfo: memFree=29136200/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=17072 CPUtime=0.29 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 1826 0 0 0 29 0 0 0 25 0 1 0 821841662 17481728 1623 33554432000 4194304 4933572 140735954243088 18446744073709551615 4328795 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 4268 1623 374 181 0 1277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17072
[startup+0.700554 s]
/proc/loadavg: 2.05 2.04 2.01 1/533 18043
/proc/meminfo: memFree=29136200/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=18404 CPUtime=0.69 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 2166 0 0 0 69 0 0 0 25 0 1 0 821841662 18845696 1963 33554432000 4194304 4933572 140735954243088 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 4601 1963 374 181 0 1610 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18404
[startup+1.50041 s]
/proc/loadavg: 2.05 2.04 2.01 2/534 18044
/proc/meminfo: memFree=29128052/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=20128 CPUtime=1.49 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 2585 0 0 0 149 0 0 0 25 0 1 0 821841662 20611072 2382 33554432000 4194304 4933572 140735954243088 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 5032 2382 374 181 0 2041 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20128
[startup+3.10114 s]
/proc/loadavg: 2.05 2.04 2.01 3/536 18071
/proc/meminfo: memFree=29129880/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=21184 CPUtime=3.09 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 2838 0 0 0 309 0 0 0 25 0 1 0 821841662 21692416 2635 33554432000 4194304 4933572 140735954243088 18446744073709551615 4319422 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 5296 2635 374 181 0 2305 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21184
[startup+6.30057 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 18071
/proc/meminfo: memFree=29123992/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=23172 CPUtime=6.29 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 3337 0 0 0 629 0 0 0 25 0 1 0 821841662 23728128 3134 33554432000 4194304 4933572 140735954243088 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 5793 3134 374 181 0 2802 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23172
[startup+12.7004 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 18071
/proc/meminfo: memFree=29119452/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=25072 CPUtime=12.69 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 3800 0 0 0 1269 0 0 0 25 0 1 0 821841662 25673728 3597 33554432000 4194304 4933572 140735954243088 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 6268 3597 374 181 0 3277 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25072
[startup+25.5012 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18081
/proc/meminfo: memFree=29116116/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=27316 CPUtime=25.5 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 4361 0 0 0 2549 1 0 0 25 0 1 0 821841662 27971584 4158 33554432000 4194304 4933572 140735954243088 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 6829 4158 374 181 0 3838 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 27316
[startup+51.1007 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 18081
/proc/meminfo: memFree=29113680/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=30240 CPUtime=51.09 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 5103 0 0 0 5108 1 0 0 25 0 1 0 821841662 30965760 4900 33554432000 4194304 4933572 140735954243088 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 7560 4900 374 181 0 4569 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30240
[startup+102.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/536 18083
/proc/meminfo: memFree=29108812/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=33236 CPUtime=102.31 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 5922 0 0 0 10230 1 0 0 25 0 1 0 821841662 34033664 5643 33554432000 4194304 4933572 140735954243088 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 8309 5643 375 181 0 5318 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 33236
[startup+162.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 18084
/proc/meminfo: memFree=29103932/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=35292 CPUtime=162.29 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 6892 0 0 0 16228 1 0 0 25 0 1 0 821841662 36139008 6163 33554432000 4194304 4933572 140735954243088 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18043/statm: 8823 6163 375 181 0 5832 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 35292
[startup+222.321 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 18088
/proc/meminfo: memFree=29101288/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=40000 CPUtime=222.24 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 8061 0 0 0 22223 1 0 0 25 0 1 0 821841662 40960000 7256 33554432000 4194304 4933572 140735954243088 18446744073709551615 4632936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 10000 7256 375 181 0 7009 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 40000
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 18090
/proc/meminfo: memFree=29099160/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=41404 CPUtime=282.22 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 8504 0 0 0 28221 1 0 0 25 0 1 0 821841662 42397696 7597 33554432000 4194304 4933572 140735954243088 18446744073709551615 4717658 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 10351 7597 375 181 0 7360 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 41404
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18092
/proc/meminfo: memFree=29097252/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=42988 CPUtime=342.22 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 8918 0 0 0 34221 1 0 0 25 0 1 0 821841662 44019712 8011 33554432000 4194304 4933572 140735954243088 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 10747 8011 375 181 0 7756 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 42988
[startup+402.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/536 18094
/proc/meminfo: memFree=29095340/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=44944 CPUtime=402.22 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 9445 0 0 0 40221 1 0 0 25 0 1 0 821841662 46022656 8494 33554432000 4194304 4933572 140735954243088 18446744073709551615 4717619 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 11236 8494 375 181 0 8245 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 44944
[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 18095
/proc/meminfo: memFree=29094188/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=45276 CPUtime=462.22 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 9639 0 0 0 46221 1 0 0 25 0 1 0 821841662 46362624 8590 33554432000 4194304 4933572 140735954243088 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 11319 8590 375 181 0 8328 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 45276
[startup+522.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18097
/proc/meminfo: memFree=29092416/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=47824 CPUtime=522.23 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 10337 0 0 0 52222 1 0 0 25 0 1 0 821841662 48971776 9206 33554432000 4194304 4933572 140735954243088 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 11956 9206 375 181 0 8965 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 47824
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18098
/proc/meminfo: memFree=29091896/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=48216 CPUtime=582.23 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 10610 0 0 0 58222 1 0 0 25 0 1 0 821841662 49373184 9303 33554432000 4194304 4933572 140735954243088 18446744073709551615 4717658 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 12054 9303 375 181 0 9063 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 48216
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 18105
/proc/meminfo: memFree=29087416/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=51592 CPUtime=822.23 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 11981 0 0 0 82222 1 0 0 25 0 1 0 821841662 52830208 10149 33554432000 4194304 4933572 140735954243088 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 12898 10149 375 181 0 9907 0
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (KiB) 51592
[startup+882.321 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18106
/proc/meminfo: memFree=29084408/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=53332 CPUtime=882.26 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 12739 0 0 0 88224 2 0 0 25 0 1 0 821841662 54611968 10610 33554432000 4194304 4933572 140735954243088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 13333 10610 375 181 0 10342 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 53332
[startup+942.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/536 18108
/proc/meminfo: memFree=29086844/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=51580 CPUtime=942.24 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 12739 0 0 0 94222 2 0 0 25 0 1 0 821841662 52817920 10172 33554432000 4194304 4933572 140735954243088 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 12895 10172 375 181 0 9904 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 51580
[startup+1002.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 18110
/proc/meminfo: memFree=29085796/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=52852 CPUtime=1002.24 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 13107 0 0 0 100222 2 0 0 25 0 1 0 821841662 54120448 10490 33554432000 4194304 4933572 140735954243088 18446744073709551615 4342157 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 13213 10490 375 181 0 10222 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 52852
[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 18111
/proc/meminfo: memFree=29084272/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=54708 CPUtime=1062.24 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 13668 0 0 0 106222 2 0 0 25 0 1 0 821841662 56020992 10932 33554432000 4194304 4933572 140735954243088 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 13677 10932 375 181 0 10686 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 54708
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18113
/proc/meminfo: memFree=29082248/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=56032 CPUtime=1122.24 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 14324 0 0 0 112222 2 0 0 25 0 1 0 821841662 57376768 11285 33554432000 4194304 4933572 140735954243088 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 14008 11285 375 181 0 11017 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 56032
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18114
/proc/meminfo: memFree=29079228/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=58116 CPUtime=1182.25 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 14957 0 0 0 118223 2 0 0 25 0 1 0 821841662 59510784 11806 33554432000 4194304 4933572 140735954243088 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 14529 11806 375 181 0 11538 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 58116
[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 18116
/proc/meminfo: memFree=29077948/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=58116 CPUtime=1242.25 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 14957 0 0 0 124223 2 0 0 25 0 1 0 821841662 59510784 11806 33554432000 4194304 4933572 140735954243088 18446744073709551615 4319232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 14529 11806 375 181 0 11538 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 58116
[startup+1302.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 18118
/proc/meminfo: memFree=29077168/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=58380 CPUtime=1302.25 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 14991 0 0 0 130223 2 0 0 25 0 1 0 821841662 59781120 11840 33554432000 4194304 4933572 140735954243088 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 14595 11840 375 181 0 11604 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 58380
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 18119
/proc/meminfo: memFree=29078252/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=58512 CPUtime=1362.25 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 15034 0 0 0 136223 2 0 0 25 0 1 0 821841662 59916288 11883 33554432000 4194304 4933572 140735954243088 18446744073709551615 4341584 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 14628 11883 375 181 0 11637 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 58512
[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18121
/proc/meminfo: memFree=29078224/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=59700 CPUtime=1422.26 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 15408 0 0 0 142224 2 0 0 25 0 1 0 821841662 61132800 12180 33554432000 4194304 4933572 140735954243088 18446744073709551615 4631912 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 14925 12180 375 181 0 11934 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 59700
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18122
/proc/meminfo: memFree=29078068/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=58116 CPUtime=1482.25 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 15408 0 0 0 148223 2 0 0 25 0 1 0 821841662 59510784 11806 33554432000 4194304 4933572 140735954243088 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 14529 11806 375 181 0 11538 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 58116
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18124
/proc/meminfo: memFree=29079624/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=58116 CPUtime=1542.27 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 15408 0 0 0 154225 2 0 0 25 0 1 0 821841662 59510784 11806 33554432000 4194304 4933572 140735954243088 18446744073709551615 4718982 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 14529 11806 375 181 0 11538 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 58116
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 18126
/proc/meminfo: memFree=29077228/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=60408 CPUtime=1602.25 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 16080 0 0 0 160223 2 0 0 25 0 1 0 821841662 61857792 12423 33554432000 4194304 4933572 140735954243088 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 15102 12423 375 181 0 12111 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 60408
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 18127
/proc/meminfo: memFree=29076444/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=60136 CPUtime=1662.25 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 16455 0 0 0 166223 2 0 0 25 0 1 0 821841662 61579264 12355 33554432000 4194304 4933572 140735954243088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 15034 12355 375 181 0 12043 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 60136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18129
/proc/meminfo: memFree=29073684/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=63408 CPUtime=1722.25 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 17323 0 0 0 172223 2 0 0 25 0 1 0 821841662 64929792 13150 33554432000 4194304 4933572 140735954243088 18446744073709551615 4340868 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 15852 13150 375 181 0 12861 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 63408
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/536 18130
/proc/meminfo: memFree=29071288/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=63408 CPUtime=1782.25 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 17323 0 0 0 178223 2 0 0 25 0 1 0 821841662 64929792 13150 33554432000 4194304 4933572 140735954243088 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 15852 13150 375 181 0 12861 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 63408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 18131
/proc/meminfo: memFree=29072764/32951124 swapFree=58212616/67111528
[pid=18043] ppid=18041 vsize=63408 CPUtime=1800.07 cores=1,3,5,7
/proc/18043/stat : 18043 (clasp) R 18041 18043 17375 0 -1 4202496 17323 0 0 0 180005 2 0 0 25 0 1 0 821841662 64929792 13150 33554432000 4194304 4933572 140735954243088 18446744073709551615 4319347 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18043/statm: 15852 13150 375 181 0 12861 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 63408
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.12
CPU time (s): 1800.09
CPU user time (s): 1800.06
CPU system time (s): 0.030995
CPU usage (%): 99.9981
Max. virtual memory (cumulated for all children) (KiB): 63408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17335
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= 19032
runsolver used 8.91664 second user time and 22.2066 second system time
The end