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-3469439-1307098909/watcher-3469439-1307098909 -o /tmp/evaluation-result-3469439-1307098909/solver-3469439-1307098909 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469439-1307098909.opb --solu --heu=VSIDS
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.08 2.06 2.02 2/415 945
/proc/meminfo: memFree=26006780/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=14936 CPUtime=0 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 703 0 0 0 0 0 0 0 21 0 1 0 277500317 15294464 644 33554432000 4194304 4933572 140735727238784 18446744073709551615 4670668 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 3734 651 308 181 0 743 0
[startup+0.0156291 s]
/proc/loadavg: 2.08 2.06 2.02 2/415 945
/proc/meminfo: memFree=26006780/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=17152 CPUtime=0.01 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 1796 0 0 0 1 0 0 0 21 0 1 0 277500317 17563648 1587 33554432000 4194304 4933572 140735727238784 18446744073709551615 4550317 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 4288 1587 318 181 0 1297 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17152
[startup+0.100675 s]
/proc/loadavg: 2.08 2.06 2.02 2/415 945
/proc/meminfo: memFree=26006780/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=20708 CPUtime=0.09 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 3190 0 0 0 9 0 0 0 21 0 1 0 277500317 21204992 2512 33554432000 4194304 4933572 140735727238784 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 5177 2513 372 181 0 2186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20708
[startup+0.300638 s]
/proc/loadavg: 2.08 2.06 2.02 2/415 945
/proc/meminfo: memFree=26006780/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=29332 CPUtime=0.29 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 5336 0 0 0 29 0 0 0 22 0 1 0 277500317 30035968 4658 33554432000 4194304 4933572 140735727238784 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 7333 4658 373 181 0 4342 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29332
[startup+0.700576 s]
/proc/loadavg: 2.08 2.06 2.02 2/415 945
/proc/meminfo: memFree=26006780/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=33880 CPUtime=0.69 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 6477 0 0 0 69 0 0 0 24 0 1 0 277500317 34693120 5799 33554432000 4194304 4933572 140735727238784 18446744073709551615 4635476 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 8470 5799 374 181 0 5479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33880
[startup+1.50043 s]
/proc/loadavg: 2.08 2.06 2.02 3/416 946
/proc/meminfo: memFree=25982108/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=36544 CPUtime=1.49 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 7156 0 0 0 149 0 0 0 25 0 1 0 277500317 37421056 6478 33554432000 4194304 4933572 140735727238784 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 9136 6478 374 181 0 6145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36544
[startup+3.10114 s]
/proc/loadavg: 2.08 2.06 2.02 3/416 946
/proc/meminfo: memFree=25978636/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=41632 CPUtime=3.09 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 8429 0 0 0 309 0 0 0 25 0 1 0 277500317 42631168 7751 33554432000 4194304 4933572 140735727238784 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 10408 7751 374 181 0 7417 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41632
[startup+6.30059 s]
/proc/loadavg: 2.23 2.09 2.03 3/416 946
/proc/meminfo: memFree=25968436/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=48440 CPUtime=6.29 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 10066 0 0 0 629 0 0 0 25 0 1 0 277500317 49602560 9388 33554432000 4194304 4933572 140735727238784 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 12110 9388 374 181 0 9119 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48440
[startup+12.7005 s]
/proc/loadavg: 2.21 2.09 2.02 3/416 946
/proc/meminfo: memFree=25963136/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=52552 CPUtime=12.69 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 11098 0 0 0 1269 0 0 0 25 0 1 0 277500317 53813248 10420 33554432000 4194304 4933572 140735727238784 18446744073709551615 4319481 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 13138 10420 374 181 0 10147 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52552
[startup+25.5002 s]
/proc/loadavg: 2.17 2.09 2.02 3/416 946
/proc/meminfo: memFree=25953452/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=61912 CPUtime=25.49 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 13456 0 0 0 2549 0 0 0 25 0 1 0 277500317 63397888 12778 33554432000 4194304 4933572 140735727238784 18446744073709551615 4622144 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 15478 12778 374 181 0 12487 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61912
[startup+51.1007 s]
/proc/loadavg: 2.11 2.08 2.02 3/416 947
/proc/meminfo: memFree=25941660/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=73040 CPUtime=51.09 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 16206 0 0 0 5108 1 0 0 25 0 1 0 277500317 74792960 15528 33554432000 4194304 4933572 140735727238784 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 18260 15528 374 181 0 15269 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73040
[startup+102.316 s]
/proc/loadavg: 2.08 2.08 2.02 3/416 949
/proc/meminfo: memFree=25929228/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=81616 CPUtime=102.31 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 18328 0 0 0 10230 1 0 0 25 0 1 0 277500317 83574784 17650 33554432000 4194304 4933572 140735727238784 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 20404 17650 374 181 0 17413 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 81616
[startup+162.301 s]
/proc/loadavg: 2.03 2.06 2.02 4/416 950
/proc/meminfo: memFree=25920532/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=89224 CPUtime=162.29 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 20219 0 0 0 16228 1 0 0 25 0 1 0 277500317 91365376 19541 33554432000 4194304 4933572 140735727238784 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 22306 19541 374 181 0 19315 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 89224
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/416 952
/proc/meminfo: memFree=25909484/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=95848 CPUtime=222.3 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 21879 0 0 0 22228 2 0 0 25 0 1 0 277500317 98148352 21201 33554432000 4194304 4933572 140735727238784 18446744073709551615 4649405 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 23962 21201 374 181 0 20971 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 95848
[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/416 953
/proc/meminfo: memFree=25902404/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=102900 CPUtime=282.3 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 23632 0 0 0 28228 2 0 0 25 0 1 0 277500317 105369600 22954 33554432000 4194304 4933572 140735727238784 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 25725 22954 374 181 0 22734 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 102900
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/416 955
/proc/meminfo: memFree=25900284/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=104776 CPUtime=342.3 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 24105 0 0 0 34228 2 0 0 25 0 1 0 277500317 107290624 23427 33554432000 4194304 4933572 140735727238784 18446744073709551615 4635387 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 26194 23427 374 181 0 23203 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 104776
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 956
/proc/meminfo: memFree=25896912/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=106412 CPUtime=402.3 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 24488 0 0 0 40228 2 0 0 25 0 1 0 277500317 108965888 23810 33554432000 4194304 4933572 140735727238784 18446744073709551615 4340527 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 26603 23810 374 181 0 23612 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 106412
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 958
/proc/meminfo: memFree=25887472/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=115008 CPUtime=462.3 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 26695 0 0 0 46228 2 0 0 25 0 1 0 277500317 117768192 26017 33554432000 4194304 4933572 140735727238784 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 28752 26017 374 181 0 25761 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 115008
[startup+522.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/416 960
/proc/meminfo: memFree=25884848/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=117384 CPUtime=522.3 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 27280 0 0 0 52228 2 0 0 25 0 1 0 277500317 120201216 26602 33554432000 4194304 4933572 140735727238784 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 29346 26602 374 181 0 26355 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 117384
[startup+582.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/416 961
/proc/meminfo: memFree=25882968/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=118968 CPUtime=582.3 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 27694 0 0 0 58228 2 0 0 25 0 1 0 277500317 121823232 27016 33554432000 4194304 4933572 140735727238784 18446744073709551615 4341852 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 29742 27016 374 181 0 26751 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 118968
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 971
/proc/meminfo: memFree=25866992/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=131584 CPUtime=822.31 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 30815 0 0 0 82229 2 0 0 25 0 1 0 277500317 134742016 30137 33554432000 4194304 4933572 140735727238784 18446744073709551615 4341824 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 32896 30137 374 181 0 29905 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 131584
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 972
/proc/meminfo: memFree=25866356/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=131992 CPUtime=882.31 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 30878 0 0 0 88229 2 0 0 25 0 1 0 277500317 135159808 30200 33554432000 4194304 4933572 140735727238784 18446744073709551615 4649422 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 32998 30200 374 181 0 30007 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 131992
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 975
/proc/meminfo: memFree=25865476/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=132784 CPUtime=942.31 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 31106 0 0 0 94229 2 0 0 25 0 1 0 277500317 135970816 30428 33554432000 4194304 4933572 140735727238784 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 33196 30428 374 181 0 30205 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 132784
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 977
/proc/meminfo: memFree=25862848/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=135328 CPUtime=1002.31 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 31700 0 0 0 100229 2 0 0 25 0 1 0 277500317 138575872 31022 33554432000 4194304 4933572 140735727238784 18446744073709551615 4341859 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 33832 31022 374 181 0 30841 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 135328
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 978
/proc/meminfo: memFree=25861348/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=135328 CPUtime=1062.31 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 31732 0 0 0 106229 2 0 0 25 0 1 0 277500317 138575872 31054 33554432000 4194304 4933572 140735727238784 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 33832 31054 374 181 0 30841 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 135328
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/416 980
/proc/meminfo: memFree=25850048/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=146328 CPUtime=1122.32 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 34383 0 0 0 112229 3 0 0 25 0 1 0 277500317 149839872 33705 33554432000 4194304 4933572 140735727238784 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 36582 33705 374 181 0 33591 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 146328
[startup+1182.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/416 981
/proc/meminfo: memFree=25848172/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=148176 CPUtime=1182.32 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 34846 0 0 0 118229 3 0 0 25 0 1 0 277500317 151732224 34168 33554432000 4194304 4933572 140735727238784 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 37044 34168 374 181 0 34053 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 148176
[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/416 983
/proc/meminfo: memFree=25846300/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=148920 CPUtime=1242.32 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 35026 0 0 0 124229 3 0 0 25 0 1 0 277500317 152494080 34348 33554432000 4194304 4933572 140735727238784 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 37230 34348 374 181 0 34239 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 148920
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 985
/proc/meminfo: memFree=25846032/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=149184 CPUtime=1302.33 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 35083 0 0 0 130230 3 0 0 25 0 1 0 277500317 152764416 34405 33554432000 4194304 4933572 140735727238784 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 37296 34405 374 181 0 34305 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 149184
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 986
/proc/meminfo: memFree=25846512/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=149580 CPUtime=1362.32 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 35199 0 0 0 136229 3 0 0 25 0 1 0 277500317 153169920 34521 33554432000 4194304 4933572 140735727238784 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 37395 34521 374 181 0 34404 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 149580
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 988
/proc/meminfo: memFree=25846744/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=149712 CPUtime=1422.34 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 35217 0 0 0 142231 3 0 0 25 0 1 0 277500317 153305088 34539 33554432000 4194304 4933572 140735727238784 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 37428 34539 374 181 0 34437 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 149712
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 989
/proc/meminfo: memFree=25846608/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=149844 CPUtime=1482.33 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 35251 0 0 0 148230 3 0 0 25 0 1 0 277500317 153440256 34573 33554432000 4194304 4933572 140735727238784 18446744073709551615 218880262746 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 37461 34573 374 181 0 34470 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 149844
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 991
/proc/meminfo: memFree=25846724/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=149844 CPUtime=1542.33 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 35251 0 0 0 154230 3 0 0 25 0 1 0 277500317 153440256 34573 33554432000 4194304 4933572 140735727238784 18446744073709551615 4622144 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 37461 34573 374 181 0 34470 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 149844
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 992
/proc/meminfo: memFree=25843972/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=152044 CPUtime=1602.33 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 35809 0 0 0 160230 3 0 0 25 0 1 0 277500317 155693056 35131 33554432000 4194304 4933572 140735727238784 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 38011 35131 374 181 0 35020 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 152044
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/416 1022
/proc/meminfo: memFree=25884988/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=153044 CPUtime=1662.33 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 35970 0 0 0 166230 3 0 0 25 0 1 0 277500317 156717056 35292 33554432000 4194304 4933572 140735727238784 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 38261 35292 374 181 0 35270 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 153044
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/416 1024
/proc/meminfo: memFree=25864340/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=163296 CPUtime=1722.33 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 38498 0 0 0 172229 4 0 0 25 0 1 0 277500317 167215104 37820 33554432000 4194304 4933572 140735727238784 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 40824 37820 374 181 0 37833 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 163296
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/416 1025
/proc/meminfo: memFree=25853520/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=165144 CPUtime=1782.33 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 38988 0 0 0 178229 4 0 0 25 0 1 0 277500317 169107456 38310 33554432000 4194304 4933572 140735727238784 18446744073709551615 4341706 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 41286 38310 374 181 0 38295 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 165144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.00 3/416 1026
/proc/meminfo: memFree=25853392/32950928 swapFree=52006644/67111528
[pid=945] ppid=943 vsize=165144 CPUtime=1800.04 cores=1,3,5,7
/proc/945/stat : 945 (clasp) R 943 945 32638 0 -1 4202496 38989 0 0 0 180000 4 0 0 25 0 1 0 277500317 169107456 38311 33554432000 4194304 4933572 140735727238784 18446744073709551615 4341654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/945/statm: 41286 38311 374 181 0 38295 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 165144
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.07
CPU user time (s): 1800.01
CPU system time (s): 0.053991
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 165144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39000
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= 9
involuntary context switches= 22345
runsolver used 7.06693 second user time and 17.4923 second system time
The end