runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491946-1307779150/watcher-3491946-1307779150 -o /tmp/evaluation-result-3491946-1307779150/solver-3491946-1307779150 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491946-1307779150.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: 1.84 1.95 1.83 2/177 31138
/proc/meminfo: memFree=31663480/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=4140 CPUtime=0 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 781 0 0 0 0 0 0 0 25 0 1 0 889515987 4239360 680 33554432000 4194304 6245536 140733901074800 18446744073709551615 4581955 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 1035 682 198 501 0 531 0
[startup+0.0994459 s]
/proc/loadavg: 1.84 1.95 1.83 2/177 31138
/proc/meminfo: memFree=31663480/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=4140 CPUtime=0.09 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 826 0 0 0 9 0 0 0 25 0 1 0 889515987 4239360 725 33554432000 4194304 6245536 140733901074800 18446744073709551615 4633870 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 1035 725 228 501 0 531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4140
[startup+0.100455 s]
/proc/loadavg: 1.84 1.95 1.83 2/177 31138
/proc/meminfo: memFree=31663480/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=4140 CPUtime=0.09 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 826 0 0 0 9 0 0 0 25 0 1 0 889515987 4239360 725 33554432000 4194304 6245536 140733901074800 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 1035 725 228 501 0 531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4140
[startup+0.300405 s]
/proc/loadavg: 1.84 1.95 1.83 2/177 31138
/proc/meminfo: memFree=31663480/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=4536 CPUtime=0.29 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 896 0 0 0 29 0 0 0 25 0 1 0 889515987 4644864 795 33554432000 4194304 6245536 140733901074800 18446744073709551615 4628030 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 1134 795 229 501 0 630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4536
[startup+0.700336 s]
/proc/loadavg: 1.84 1.95 1.83 2/177 31138
/proc/meminfo: memFree=31663480/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=5324 CPUtime=0.69 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 1101 0 0 0 69 0 0 0 25 0 1 0 889515987 5451776 1000 33554432000 4194304 6245536 140733901074800 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 1331 1000 229 501 0 827 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5324
[startup+1.50019 s]
/proc/loadavg: 1.84 1.95 1.83 3/178 31139
/proc/meminfo: memFree=31632372/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=6148 CPUtime=1.49 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 1312 0 0 0 149 0 0 0 25 0 1 0 889515987 6295552 1211 33554432000 4194304 6245536 140733901074800 18446744073709551615 4344698 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 1537 1211 229 501 0 1033 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6148
[startup+3.10092 s]
/proc/loadavg: 1.84 1.95 1.83 3/178 31139
/proc/meminfo: memFree=31631252/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=7344 CPUtime=3.09 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 1612 0 0 0 309 0 0 0 25 0 1 0 889515987 7520256 1511 33554432000 4194304 6245536 140733901074800 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 1836 1511 229 501 0 1332 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7344
[startup+6.30034 s]
/proc/loadavg: 1.85 1.95 1.83 3/178 31139
/proc/meminfo: memFree=31630436/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=7420 CPUtime=6.29 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 1642 0 0 0 629 0 0 0 25 0 1 0 889515987 7598080 1541 33554432000 4194304 6245536 140733901074800 18446744073709551615 4610862 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 1855 1541 229 501 0 1351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7420
[startup+12.7002 s]
/proc/loadavg: 1.86 1.95 1.83 3/178 31139
/proc/meminfo: memFree=31626364/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=9808 CPUtime=12.69 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 2250 0 0 0 1269 0 0 0 25 0 1 0 889515987 10043392 2137 33554432000 4194304 6245536 140733901074800 18446744073709551615 4635706 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 2452 2137 229 501 0 1948 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9808
[startup+25.5009 s]
/proc/loadavg: 1.89 1.96 1.83 3/178 31139
/proc/meminfo: memFree=31624888/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=10696 CPUtime=25.49 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 2443 0 0 0 2549 0 0 0 25 0 1 0 889515987 10952704 2328 33554432000 4194304 6245536 140733901074800 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 2674 2328 229 501 0 2170 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10696
[startup+51.1004 s]
/proc/loadavg: 1.93 1.96 1.83 3/178 31140
/proc/meminfo: memFree=31618344/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=13304 CPUtime=51.09 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 3121 0 0 0 5109 0 0 0 25 0 1 0 889515987 13623296 2992 33554432000 4194304 6245536 140733901074800 18446744073709551615 4629226 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 3326 2992 229 501 0 2822 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 13304
[startup+102.306 s]
/proc/loadavg: 1.97 1.96 1.84 3/178 31141
/proc/meminfo: memFree=31603556/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=15324 CPUtime=102.3 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 3626 0 0 0 10230 0 0 0 25 0 1 0 889515987 15691776 3495 33554432000 4194304 6245536 140733901074800 18446744073709551615 5419324 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31138/statm: 3831 3495 229 501 0 3327 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15324
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.84 3/178 31152
/proc/meminfo: memFree=31587544/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=16636 CPUtime=162.29 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 3913 0 0 0 16229 0 0 0 25 0 1 0 889515987 17035264 3782 33554432000 4194304 6245536 140733901074800 18446744073709551615 4633927 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31138/statm: 4159 3782 229 501 0 3655 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 16636
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.85 3/178 31154
/proc/meminfo: memFree=31584788/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=19220 CPUtime=222.29 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 4545 0 0 0 22229 0 0 0 25 0 1 0 889515987 19681280 4414 33554432000 4194304 6245536 140733901074800 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31138/statm: 4805 4414 229 501 0 4301 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19220
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.86 3/178 31157
/proc/meminfo: memFree=31582904/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=20684 CPUtime=282.3 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 4984 0 0 0 28230 0 0 0 25 0 1 0 889515987 21180416 4787 33554432000 4194304 6245536 140733901074800 18446744073709551615 4635952 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 5171 4787 229 501 0 4667 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20684
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.86 3/178 31160
/proc/meminfo: memFree=31582892/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=21204 CPUtime=342.3 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 5096 0 0 0 34230 0 0 0 25 0 1 0 889515987 21712896 4887 33554432000 4194304 6245536 140733901074800 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 5301 4887 229 501 0 4797 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 21204
[startup+402.3 s]
/proc/loadavg: 2.05 1.99 1.87 3/178 31161
/proc/meminfo: memFree=31582600/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=21300 CPUtime=402.3 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 5272 0 0 0 40230 0 0 0 25 0 1 0 889515987 21811200 4945 33554432000 4194304 6245536 140733901074800 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 5325 4945 229 501 0 4821 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 21300
[startup+462.301 s]
/proc/loadavg: 2.07 2.00 1.88 3/178 31163
/proc/meminfo: memFree=31581832/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=22464 CPUtime=462.3 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 5720 0 0 0 46230 0 0 0 25 0 1 0 889515987 23003136 5168 33554432000 4194304 6245536 140733901074800 18446744073709551615 4304752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 5616 5168 229 501 0 5112 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 22464
[startup+522.301 s]
/proc/loadavg: 2.02 2.00 1.89 3/178 31165
/proc/meminfo: memFree=31574368/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=23476 CPUtime=522.3 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 5941 0 0 0 52230 0 0 0 25 0 1 0 889515987 24039424 5389 33554432000 4194304 6245536 140733901074800 18446744073709551615 4628241 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 5869 5389 229 501 0 5365 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 23476
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.90 3/178 31166
/proc/meminfo: memFree=31572720/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=23812 CPUtime=582.3 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6017 0 0 0 58230 0 0 0 25 0 1 0 889515987 24383488 5465 33554432000 4194304 6245536 140733901074800 18446744073709551615 4408736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 5953 5465 229 501 0 5449 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 23812
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 31173
/proc/meminfo: memFree=31466828/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=24452 CPUtime=822.31 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6155 0 0 0 82231 0 0 0 25 0 1 0 889515987 25038848 5603 33554432000 4194304 6245536 140733901074800 18446744073709551615 4646592 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6113 5603 229 501 0 5609 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24452
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 31174
/proc/meminfo: memFree=31466676/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=24600 CPUtime=882.31 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6212 0 0 0 88231 0 0 0 25 0 1 0 889515987 25190400 5660 33554432000 4194304 6245536 140733901074800 18446744073709551615 4628264 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6150 5660 229 501 0 5646 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 24600
[startup+942.301 s]
/proc/loadavg: 2.08 2.02 1.91 3/178 31176
/proc/meminfo: memFree=31466400/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=24752 CPUtime=942.31 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6241 0 0 0 94231 0 0 0 25 0 1 0 889515987 25346048 5689 33554432000 4194304 6245536 140733901074800 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6188 5689 229 501 0 5684 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 24752
[startup+1002.3 s]
/proc/loadavg: 2.10 2.03 1.92 3/178 31177
/proc/meminfo: memFree=31466244/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=25012 CPUtime=1002.31 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6297 0 0 0 100231 0 0 0 25 0 1 0 889515987 25612288 5745 33554432000 4194304 6245536 140733901074800 18446744073709551615 4304768 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6253 5745 229 501 0 5749 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 25012
[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 1.92 3/178 31179
/proc/meminfo: memFree=31465968/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=25180 CPUtime=1062.31 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6340 0 0 0 106231 0 0 0 25 0 1 0 889515987 25784320 5788 33554432000 4194304 6245536 140733901074800 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6295 5788 229 501 0 5791 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 25180
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/178 31181
/proc/meminfo: memFree=31465816/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=25688 CPUtime=1122.31 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6438 0 0 0 112231 0 0 0 25 0 1 0 889515987 26304512 5886 33554432000 4194304 6245536 140733901074800 18446744073709551615 5373125 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6422 5886 229 501 0 5918 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 25688
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/178 31182
/proc/meminfo: memFree=31465792/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=25688 CPUtime=1182.31 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6443 0 0 0 118231 0 0 0 25 0 1 0 889515987 26304512 5891 33554432000 4194304 6245536 140733901074800 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6422 5891 229 501 0 5918 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 25688
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 31184
/proc/meminfo: memFree=31465388/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=25688 CPUtime=1242.32 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6443 0 0 0 124232 0 0 0 25 0 1 0 889515987 26304512 5891 33554432000 4194304 6245536 140733901074800 18446744073709551615 4637467 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6422 5891 229 501 0 5918 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 25688
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 31185
/proc/meminfo: memFree=31465336/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=25856 CPUtime=1302.32 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6478 0 0 0 130232 0 0 0 25 0 1 0 889515987 26476544 5926 33554432000 4194304 6245536 140733901074800 18446744073709551615 4701940 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6464 5926 229 501 0 5960 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 25856
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 31187
/proc/meminfo: memFree=31464948/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=26192 CPUtime=1362.33 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6542 0 0 0 136232 1 0 0 25 0 1 0 889515987 26820608 5990 33554432000 4194304 6245536 140733901074800 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6548 5990 229 501 0 6044 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 26192
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 31189
/proc/meminfo: memFree=31465052/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=26192 CPUtime=1422.33 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6543 0 0 0 142232 1 0 0 25 0 1 0 889515987 26820608 5991 33554432000 4194304 6245536 140733901074800 18446744073709551615 4316770 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6548 5991 229 501 0 6044 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 26192
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 31190
/proc/meminfo: memFree=31465020/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=26332 CPUtime=1482.33 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6566 0 0 0 148232 1 0 0 25 0 1 0 889515987 26963968 6014 33554432000 4194304 6245536 140733901074800 18446744073709551615 4628286 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6583 6014 229 501 0 6079 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 26332
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 31192
/proc/meminfo: memFree=31464492/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=26456 CPUtime=1542.33 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6783 0 0 0 154232 1 0 0 25 0 1 0 889515987 27090944 6064 33554432000 4194304 6245536 140733901074800 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6614 6064 229 501 0 6110 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 26456
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/178 31193
/proc/meminfo: memFree=31464588/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=26456 CPUtime=1602.33 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 6783 0 0 0 160232 1 0 0 25 0 1 0 889515987 27090944 6064 33554432000 4194304 6245536 140733901074800 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6614 6064 229 501 0 6110 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 26456
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/178 31195
/proc/meminfo: memFree=31463936/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=27332 CPUtime=1662.33 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 7015 0 0 0 166232 1 0 0 25 0 1 0 889515987 27987968 6281 33554432000 4194304 6245536 140733901074800 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6833 6281 229 501 0 6329 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 27332
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 31197
/proc/meminfo: memFree=31463908/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=26844 CPUtime=1722.33 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 7503 0 0 0 172232 1 0 0 25 0 1 0 889515987 27488256 6166 33554432000 4194304 6245536 140733901074800 18446744073709551615 4344272 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6711 6166 229 501 0 6207 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 26844
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 31198
/proc/meminfo: memFree=31463500/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=26932 CPUtime=1782.34 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 7723 0 0 0 178233 1 0 0 25 0 1 0 889515987 27578368 6184 33554432000 4194304 6245536 140733901074800 18446744073709551615 4323525 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6733 6184 229 501 0 6229 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 26932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 31200
/proc/meminfo: memFree=31571748/32951124 swapFree=67052292/67111528
[pid=31138] ppid=31136 vsize=26988 CPUtime=1800.04 cores=1,3,5,7
/proc/31138/stat : 31138 (clasp) R 31136 31138 26964 0 -1 4202496 7781 0 0 0 180003 1 0 0 25 0 1 0 889515987 27635712 6198 33554432000 4194304 6245536 140733901074800 18446744073709551615 4628286 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31138/statm: 6747 6198 229 501 0 6243 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 26988
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.01
CPU time (s): 1800.05
CPU user time (s): 1800.04
CPU system time (s): 0.013997
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7792
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= 3
involuntary context switches= 4134
runsolver used 2.35164 second user time and 5.84011 second system time
The end