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-3491879-1307774896/watcher-3491879-1307774896 -o /tmp/evaluation-result-3491879-1307774896/solver-3491879-1307774896 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491879-1307774896.opb --solu --heu=VSIDS
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: 2.00 2.00 1.97 2/177 22107
/proc/meminfo: memFree=31933536/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=9884 CPUtime=0 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 2274 0 0 0 0 0 0 0 25 0 1 0 889090022 10121216 1948 33554432000 4194304 6245536 140733645897520 18446744073709551615 4642415 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 2471 1952 172 501 0 1967 0
[startup+0.0866171 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 22107
/proc/meminfo: memFree=31933536/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=14164 CPUtime=0.08 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 4037 0 0 0 8 0 0 0 25 0 1 0 889090022 14503936 3203 33554432000 4194304 6245536 140733645897520 18446744073709551615 4311756 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 3541 3203 202 501 0 3037 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14164
[startup+0.100592 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 22107
/proc/meminfo: memFree=31933536/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=12652 CPUtime=0.09 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 4057 0 0 0 9 0 0 0 25 0 1 0 889090022 12955648 2845 33554432000 4194304 6245536 140733645897520 18446744073709551615 5477776 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 3163 2845 221 501 0 2659 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12652
[startup+0.300579 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 22107
/proc/meminfo: memFree=31933536/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=24972 CPUtime=0.29 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 7126 0 0 0 29 0 0 0 25 0 1 0 889090022 25571328 5914 33554432000 4194304 6245536 140733645897520 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 6243 5914 227 501 0 5739 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24972
[startup+0.700515 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 22107
/proc/meminfo: memFree=31933536/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=42572 CPUtime=0.69 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 11528 0 0 0 69 0 0 0 25 0 1 0 889090022 43593728 10316 33554432000 4194304 6245536 140733645897520 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 10643 10316 227 501 0 10139 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42572
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22108
/proc/meminfo: memFree=31880356/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=69484 CPUtime=1.49 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 18287 0 0 0 148 1 0 0 25 0 1 0 889090022 71151616 17037 33554432000 4194304 6245536 140733645897520 18446744073709551615 4344694 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 17371 17037 229 501 0 16867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69484
[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22108
/proc/meminfo: memFree=31865720/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=77676 CPUtime=3.09 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 20346 0 0 0 308 1 0 0 25 0 1 0 889090022 79540224 19096 33554432000 4194304 6245536 140733645897520 18446744073709551615 4323167 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 19419 19096 229 501 0 18915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77676
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22108
/proc/meminfo: memFree=31843740/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=91268 CPUtime=6.29 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 23727 0 0 0 627 2 0 0 25 0 1 0 889090022 93458432 22477 33554432000 4194304 6245536 140733645897520 18446744073709551615 4324542 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 22817 22477 229 501 0 22313 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91268
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22108
/proc/meminfo: memFree=31824032/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=110568 CPUtime=12.69 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 28545 0 0 0 1267 2 0 0 25 0 1 0 889090022 113221632 27295 33554432000 4194304 6245536 140733645897520 18446744073709551615 4646368 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 27642 27295 229 501 0 27138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110568
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22109
/proc/meminfo: memFree=31800584/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=134148 CPUtime=25.49 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 34423 0 0 0 2546 3 0 0 25 0 1 0 889090022 137367552 33173 33554432000 4194304 6245536 140733645897520 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 33537 33173 229 501 0 33033 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 134148
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22109
/proc/meminfo: memFree=31779712/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=154496 CPUtime=51.09 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 39476 0 0 0 5106 3 0 0 25 0 1 0 889090022 158203904 38226 33554432000 4194304 6245536 140733645897520 18446744073709551615 4324230 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 38624 38226 229 501 0 38120 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 154496
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 1.97 3/178 22111
/proc/meminfo: memFree=31743952/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=189552 CPUtime=102.29 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 48255 0 0 0 10224 5 0 0 25 0 1 0 889090022 194101248 47005 33554432000 4194304 6245536 140733645897520 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 47388 47005 229 501 0 46884 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 189552
[startup+162.301 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 22112
/proc/meminfo: memFree=31718988/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=213528 CPUtime=162.29 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 54204 0 0 0 16223 6 0 0 25 0 1 0 889090022 218652672 52954 33554432000 4194304 6245536 140733645897520 18446744073709551615 4324218 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 53382 52954 229 501 0 52878 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 213528
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22114
/proc/meminfo: memFree=31695864/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=237524 CPUtime=222.28 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 59925 0 0 0 22222 6 0 0 25 0 1 0 889090022 243224576 58675 33554432000 4194304 6245536 140733645897520 18446744073709551615 4316636 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 59381 58675 229 501 0 58877 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 237524
[startup+282.301 s]
/proc/loadavg: 1.96 1.98 1.97 3/178 22154
/proc/meminfo: memFree=31743984/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=243688 CPUtime=282.28 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 61483 0 0 0 28221 7 0 0 25 0 1 0 889090022 249536512 60233 33554432000 4194304 6245536 140733645897520 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 60922 60233 229 501 0 60418 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 243688
[startup+342.301 s]
/proc/loadavg: 1.98 1.98 1.97 3/178 22156
/proc/meminfo: memFree=31720248/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=265864 CPUtime=342.28 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 67032 0 0 0 34220 8 0 0 25 0 1 0 889090022 272244736 65782 33554432000 4194304 6245536 140733645897520 18446744073709551615 4633947 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 66466 65782 229 501 0 65962 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 265864
[startup+402.3 s]
/proc/loadavg: 2.06 2.00 1.97 3/178 22158
/proc/meminfo: memFree=31715120/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=270088 CPUtime=402.27 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 68123 0 0 0 40219 8 0 0 25 0 1 0 889090022 276570112 66873 33554432000 4194304 6245536 140733645897520 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 67522 66873 229 501 0 67018 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 270088
[startup+462.3 s]
/proc/loadavg: 2.02 2.00 1.97 3/178 22159
/proc/meminfo: memFree=31713592/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=271408 CPUtime=462.26 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 68456 0 0 0 46218 8 0 0 25 0 1 0 889090022 277921792 67206 33554432000 4194304 6245536 140733645897520 18446744073709551615 4324746 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 67852 67206 229 501 0 67348 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 271408
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 22161
/proc/meminfo: memFree=31710064/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=274708 CPUtime=522.26 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 69292 0 0 0 52218 8 0 0 25 0 1 0 889090022 281300992 68042 33554432000 4194304 6245536 140733645897520 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 68677 68042 229 501 0 68173 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 274708
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22162
/proc/meminfo: memFree=31707272/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=277360 CPUtime=582.26 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 69906 0 0 0 58217 9 0 0 25 0 1 0 889090022 284016640 68656 33554432000 4194304 6245536 140733645897520 18446744073709551615 4629049 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 69340 68656 229 501 0 68836 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 277360
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22178
/proc/meminfo: memFree=31679848/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=303892 CPUtime=822.25 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 76577 0 0 0 82214 11 0 0 25 0 1 0 889090022 311185408 75327 33554432000 4194304 6245536 140733645897520 18446744073709551615 4646523 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 75973 75327 229 501 0 75469 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 303892
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22179
/proc/meminfo: memFree=31676440/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=307060 CPUtime=882.25 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 77360 0 0 0 88214 11 0 0 25 0 1 0 889090022 314429440 76110 33554432000 4194304 6245536 140733645897520 18446744073709551615 4629049 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 76765 76110 229 501 0 76261 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 307060
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22183
/proc/meminfo: memFree=31674776/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=308116 CPUtime=942.24 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 77623 0 0 0 94213 11 0 0 25 0 1 0 889090022 315510784 76373 33554432000 4194304 6245536 140733645897520 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 77029 76373 229 501 0 76525 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 308116
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/178 22186
/proc/meminfo: memFree=31673960/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=308116 CPUtime=1002.24 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 77623 0 0 0 100213 11 0 0 25 0 1 0 889090022 315510784 76373 33554432000 4194304 6245536 140733645897520 18446744073709551615 4629020 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 77029 76373 229 501 0 76525 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 308116
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 22187
/proc/meminfo: memFree=31648364/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=333620 CPUtime=1062.24 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 83995 0 0 0 106211 13 0 0 25 0 1 0 889090022 341626880 82745 33554432000 4194304 6245536 140733645897520 18446744073709551615 4304940 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 83405 82745 229 501 0 82901 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 333620
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22189
/proc/meminfo: memFree=31643728/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=338108 CPUtime=1122.23 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 85143 0 0 0 112210 13 0 0 25 0 1 0 889090022 346222592 83893 33554432000 4194304 6245536 140733645897520 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 84527 83893 229 501 0 84023 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 338108
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22190
/proc/meminfo: memFree=31641692/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=340220 CPUtime=1182.22 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 85666 0 0 0 118209 13 0 0 25 0 1 0 889090022 348385280 84416 33554432000 4194304 6245536 140733645897520 18446744073709551615 4605210 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 85055 84416 229 501 0 84551 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 340220
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22192
/proc/meminfo: memFree=31638664/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=342860 CPUtime=1242.22 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 86321 0 0 0 124209 13 0 0 25 0 1 0 889090022 351088640 85071 33554432000 4194304 6245536 140733645897520 18446744073709551615 4324456 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 85715 85071 229 501 0 85211 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 342860
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22194
/proc/meminfo: memFree=31638356/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=343520 CPUtime=1302.22 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 86473 0 0 0 130208 14 0 0 25 0 1 0 889090022 351764480 85223 33554432000 4194304 6245536 140733645897520 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22107/statm: 85880 85223 229 501 0 85376 0
Current children cumulated CPU time (s) 1302.22
Current children cumulated vsize (KiB) 343520
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22195
/proc/meminfo: memFree=31636828/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=344972 CPUtime=1362.21 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 86855 0 0 0 136207 14 0 0 25 0 1 0 889090022 353251328 85605 33554432000 4194304 6245536 140733645897520 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 86243 85605 229 501 0 85739 0
Current children cumulated CPU time (s) 1362.21
Current children cumulated vsize (KiB) 344972
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22197
/proc/meminfo: memFree=31634180/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=347480 CPUtime=1422.21 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 87482 0 0 0 142207 14 0 0 25 0 1 0 889090022 355819520 86232 33554432000 4194304 6245536 140733645897520 18446744073709551615 4304777 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 86870 86232 229 501 0 86366 0
Current children cumulated CPU time (s) 1422.21
Current children cumulated vsize (KiB) 347480
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22198
/proc/meminfo: memFree=31609944/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=372592 CPUtime=1482.21 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 93530 0 0 0 148206 15 0 0 25 0 1 0 889090022 381534208 92280 33554432000 4194304 6245536 140733645897520 18446744073709551615 4324230 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 93148 92280 229 501 0 92644 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 372592
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/178 22200
/proc/meminfo: memFree=31604560/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=378148 CPUtime=1542.21 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 94863 0 0 0 154205 16 0 0 25 0 1 0 889090022 387223552 93613 33554432000 4194304 6245536 140733645897520 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 94537 93613 229 501 0 94033 0
Current children cumulated CPU time (s) 1542.21
Current children cumulated vsize (KiB) 378148
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/178 22202
/proc/meminfo: memFree=31601660/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=380920 CPUtime=1602.21 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 95581 0 0 0 160205 16 0 0 25 0 1 0 889090022 390062080 94331 33554432000 4194304 6245536 140733645897520 18446744073709551615 4315376 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 95230 94331 229 501 0 94726 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 380920
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 22203
/proc/meminfo: memFree=31599748/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=382900 CPUtime=1662.19 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 96060 0 0 0 166203 16 0 0 25 0 1 0 889090022 392089600 94810 33554432000 4194304 6245536 140733645897520 18446744073709551615 4633950 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 95725 94810 229 501 0 95221 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 382900
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22205
/proc/meminfo: memFree=31598344/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=384220 CPUtime=1722.19 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 96404 0 0 0 172203 16 0 0 25 0 1 0 889090022 393441280 95154 33554432000 4194304 6245536 140733645897520 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 96055 95154 229 501 0 95551 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 384220
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22206
/proc/meminfo: memFree=31596076/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=386200 CPUtime=1782.19 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 96908 0 0 0 178203 16 0 0 25 0 1 0 889090022 395468800 95658 33554432000 4194304 6245536 140733645897520 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 96550 95658 229 501 0 96046 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 386200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22207
/proc/meminfo: memFree=31596056/32951124 swapFree=67052968/67111528
[pid=22107] ppid=22105 vsize=386200 CPUtime=1800.09 cores=0,2,4,6
/proc/22107/stat : 22107 (clasp) R 22105 22107 16623 0 -1 4202496 96908 0 0 0 179993 16 0 0 25 0 1 0 889090022 395468800 95658 33554432000 4194304 6245536 140733645897520 18446744073709551615 4629199 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22107/statm: 96550 95658 229 501 0 96046 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 386200
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.22
CPU time (s): 1800.12
CPU user time (s): 1799.94
CPU system time (s): 0.181972
CPU usage (%): 99.9942
Max. virtual memory (cumulated for all children) (KiB): 386200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96919
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= 5
involuntary context switches= 4270
runsolver used 2.6296 second user time and 5.57415 second system time
The end