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-3478822-1307441654/watcher-3478822-1307441654 -o /tmp/evaluation-result-3478822-1307441654/solver-3478822-1307441654 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3478822-1307441654.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.13 2.09 2.02 2/575 23175
/proc/meminfo: memFree=23122920/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=15484 CPUtime=0 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 1301 0 0 0 0 0 0 0 22 0 1 0 855763138 15855616 1162 33554432000 4194304 4933572 140733962150816 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 3871 1163 333 181 0 880 0
[startup+0.0906619 s]
/proc/loadavg: 2.13 2.09 2.02 2/575 23175
/proc/meminfo: memFree=23122920/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=23948 CPUtime=0.08 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 3845 0 0 0 7 1 0 0 22 0 1 0 855763138 24522752 3233 33554432000 4194304 4933572 140733962150816 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 5987 3233 333 181 0 2996 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23948
[startup+0.100666 s]
/proc/loadavg: 2.13 2.09 2.02 2/575 23175
/proc/meminfo: memFree=23122920/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=25016 CPUtime=0.09 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 4130 0 0 0 8 1 0 0 22 0 1 0 855763138 25616384 3518 33554432000 4194304 4933572 140733962150816 18446744073709551615 212687675136 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 6254 3518 333 181 0 3263 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25016
[startup+0.300621 s]
/proc/loadavg: 2.13 2.09 2.02 2/575 23175
/proc/meminfo: memFree=23122920/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=40192 CPUtime=0.29 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 8241 0 0 0 28 1 0 0 23 0 1 0 855763138 41156608 7261 33554432000 4194304 4933572 140733962150816 18446744073709551615 4665678 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 10048 7262 348 181 0 7057 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40192
[startup+0.700546 s]
/proc/loadavg: 2.13 2.09 2.02 2/575 23175
/proc/meminfo: memFree=23122920/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=40340 CPUtime=0.69 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 8715 0 0 0 68 1 0 0 25 0 1 0 855763138 41308160 7337 33554432000 4194304 4933572 140733962150816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 10085 7337 374 181 0 7094 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40340
[startup+1.5004 s]
/proc/loadavg: 2.13 2.09 2.02 3/576 23176
/proc/meminfo: memFree=23093276/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=40340 CPUtime=1.49 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 8715 0 0 0 148 1 0 0 25 0 1 0 855763138 41308160 7337 33554432000 4194304 4933572 140733962150816 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 10085 7337 374 181 0 7094 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40340
[startup+3.10111 s]
/proc/loadavg: 2.12 2.09 2.02 3/576 23177
/proc/meminfo: memFree=23091556/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=40340 CPUtime=3.09 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 8715 0 0 0 308 1 0 0 25 0 1 0 855763138 41308160 7337 33554432000 4194304 4933572 140733962150816 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 10085 7337 374 181 0 7094 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40340
[startup+6.30052 s]
/proc/loadavg: 2.12 2.09 2.02 3/576 23177
/proc/meminfo: memFree=23090904/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=40340 CPUtime=6.29 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 8717 0 0 0 628 1 0 0 25 0 1 0 855763138 41308160 7339 33554432000 4194304 4933572 140733962150816 18446744073709551615 4648652 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 10085 7339 376 181 0 7094 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40340
[startup+12.7004 s]
/proc/loadavg: 2.10 2.08 2.02 3/576 23177
/proc/meminfo: memFree=23090704/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=40824 CPUtime=12.69 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 8796 0 0 0 1268 1 0 0 25 0 1 0 855763138 41803776 7418 33554432000 4194304 4933572 140733962150816 18446744073709551615 4713038 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 10206 7418 376 181 0 7215 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40824
[startup+25.501 s]
/proc/loadavg: 2.09 2.08 2.02 3/576 23177
/proc/meminfo: memFree=23090224/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=41864 CPUtime=25.49 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 9029 0 0 0 2548 1 0 0 25 0 1 0 855763138 42868736 7651 33554432000 4194304 4933572 140733962150816 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 10466 7651 376 181 0 7475 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41864
[startup+51.1004 s]
/proc/loadavg: 2.06 2.07 2.02 3/576 23178
/proc/meminfo: memFree=23087860/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=43688 CPUtime=51.09 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 9452 0 0 0 5108 1 0 0 25 0 1 0 855763138 44736512 8074 33554432000 4194304 4933572 140733962150816 18446744073709551615 4718312 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 10922 8074 376 181 0 7931 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 43688
[startup+102.322 s]
/proc/loadavg: 2.02 2.06 2.01 3/576 23179
/proc/meminfo: memFree=23086484/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=46368 CPUtime=102.32 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 10058 0 0 0 10230 2 0 0 25 0 1 0 855763138 47480832 8680 33554432000 4194304 4933572 140733962150816 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 11592 8680 376 181 0 8601 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 46368
[startup+162.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/576 23181
/proc/meminfo: memFree=23079864/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=51036 CPUtime=162.3 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 11218 0 0 0 16228 2 0 0 25 0 1 0 855763138 52260864 9840 33554432000 4194304 4933572 140733962150816 18446744073709551615 4648387 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 12759 9840 376 181 0 9768 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 51036
[startup+222.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/576 23182
/proc/meminfo: memFree=23077952/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=52824 CPUtime=222.3 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 11619 0 0 0 22228 2 0 0 25 0 1 0 855763138 54091776 10241 33554432000 4194304 4933572 140733962150816 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 13206 10241 376 181 0 10215 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 52824
[startup+282.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/576 23184
/proc/meminfo: memFree=23076396/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=54768 CPUtime=282.3 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 12108 0 0 0 28228 2 0 0 25 0 1 0 855763138 56082432 10730 33554432000 4194304 4933572 140733962150816 18446744073709551615 4648693 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 13692 10730 376 181 0 10701 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 54768
[startup+342.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/576 23186
/proc/meminfo: memFree=23073376/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=57092 CPUtime=342.3 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 12670 0 0 0 34228 2 0 0 25 0 1 0 855763138 58462208 11292 33554432000 4194304 4933572 140733962150816 18446744073709551615 4718435 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 14273 11292 376 181 0 11282 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 57092
[startup+402.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/576 23187
/proc/meminfo: memFree=23069480/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=60732 CPUtime=402.3 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 13485 0 0 0 40227 3 0 0 25 0 1 0 855763138 62189568 12107 33554432000 4194304 4933572 140733962150816 18446744073709551615 4718200 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 15183 12107 376 181 0 12192 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 60732
[startup+462.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/576 23189
/proc/meminfo: memFree=23068068/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=61492 CPUtime=462.31 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 13660 0 0 0 46228 3 0 0 25 0 1 0 855763138 62967808 12282 33554432000 4194304 4933572 140733962150816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 15373 12282 376 181 0 12382 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 61492
[startup+522.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/576 23190
/proc/meminfo: memFree=23064436/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=62596 CPUtime=522.31 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 13958 0 0 0 52228 3 0 0 25 0 1 0 855763138 64098304 12580 33554432000 4194304 4933572 140733962150816 18446744073709551615 4649250 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 15649 12580 376 181 0 12658 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 62596
[startup+582.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/576 23220
/proc/meminfo: memFree=23065116/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=62596 CPUtime=582.31 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 13967 0 0 0 58228 3 0 0 25 0 1 0 855763138 64098304 12589 33554432000 4194304 4933572 140733962150816 18446744073709551615 4648652 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 15649 12589 376 181 0 12658 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 62596
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.18 2.10 2.02 3/576 23226
/proc/meminfo: memFree=23048204/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=67172 CPUtime=822.31 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 15080 0 0 0 82228 3 0 0 25 0 1 0 855763138 68784128 13702 33554432000 4194304 4933572 140733962150816 18446744073709551615 4713098 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 16793 13702 376 181 0 13802 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 67172
[startup+882.301 s]
/proc/loadavg: 2.06 2.08 2.01 3/576 23228
/proc/meminfo: memFree=23046300/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=67764 CPUtime=882.32 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 15234 0 0 0 88229 3 0 0 25 0 1 0 855763138 69390336 13856 33554432000 4194304 4933572 140733962150816 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 16941 13856 376 181 0 13950 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 67764
[startup+942.301 s]
/proc/loadavg: 2.02 2.06 2.01 3/576 23230
/proc/meminfo: memFree=23043396/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=69500 CPUtime=942.32 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 15646 0 0 0 94229 3 0 0 25 0 1 0 855763138 71168000 14268 33554432000 4194304 4933572 140733962150816 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 17375 14268 376 181 0 14384 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 69500
[startup+1002.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/576 23231
/proc/meminfo: memFree=23040372/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=70332 CPUtime=1002.32 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 15814 0 0 0 100229 3 0 0 25 0 1 0 855763138 72019968 14436 33554432000 4194304 4933572 140733962150816 18446744073709551615 4319472 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 17583 14436 376 181 0 14592 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 70332
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 23233
/proc/meminfo: memFree=23038968/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=70648 CPUtime=1062.32 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 15887 0 0 0 106229 3 0 0 25 0 1 0 855763138 72343552 14509 33554432000 4194304 4933572 140733962150816 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 17662 14509 376 181 0 14671 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 70648
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23234
/proc/meminfo: memFree=23033844/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=75268 CPUtime=1122.33 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 17017 0 0 0 112229 4 0 0 25 0 1 0 855763138 77074432 15639 33554432000 4194304 4933572 140733962150816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 18817 15639 376 181 0 15826 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 75268
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/576 23236
/proc/meminfo: memFree=23029836/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=75456 CPUtime=1182.33 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 17070 0 0 0 118229 4 0 0 25 0 1 0 855763138 77266944 15692 33554432000 4194304 4933572 140733962150816 18446744073709551615 4637274 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 18864 15692 376 181 0 15873 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 75456
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/576 23238
/proc/meminfo: memFree=23026456/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=75772 CPUtime=1242.33 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 17155 0 0 0 124229 4 0 0 25 0 1 0 855763138 77590528 15777 33554432000 4194304 4933572 140733962150816 18446744073709551615 212687372960 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 18943 15777 376 181 0 15952 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 75772
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/576 23239
/proc/meminfo: memFree=23025184/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=76340 CPUtime=1302.35 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 17248 0 0 0 130231 4 0 0 25 0 1 0 855763138 78172160 15870 33554432000 4194304 4933572 140733962150816 18446744073709551615 4718504 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 19085 15870 376 181 0 16094 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 76340
[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/576 23241
/proc/meminfo: memFree=23023404/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=76340 CPUtime=1362.34 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 17249 0 0 0 136230 4 0 0 25 0 1 0 855763138 78172160 15871 33554432000 4194304 4933572 140733962150816 18446744073709551615 4648398 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 19085 15871 376 181 0 16094 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 76340
[startup+1422.32 s]
/proc/loadavg: 2.06 2.05 2.01 3/576 23242
/proc/meminfo: memFree=23020140/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=76972 CPUtime=1422.36 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 17404 0 0 0 142232 4 0 0 25 0 1 0 855763138 78819328 16026 33554432000 4194304 4933572 140733962150816 18446744073709551615 4648297 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 19243 16026 376 181 0 16252 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 76972
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 23244
/proc/meminfo: memFree=23018500/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=76972 CPUtime=1482.34 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 17422 0 0 0 148230 4 0 0 25 0 1 0 855763138 78819328 16044 33554432000 4194304 4933572 140733962150816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 19243 16044 376 181 0 16252 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 76972
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23246
/proc/meminfo: memFree=23018112/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=77228 CPUtime=1542.34 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 17517 0 0 0 154230 4 0 0 25 0 1 0 855763138 79081472 16139 33554432000 4194304 4933572 140733962150816 18446744073709551615 4648657 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 19307 16139 376 181 0 16316 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 77228
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23247
/proc/meminfo: memFree=23013980/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=78912 CPUtime=1602.34 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 17931 0 0 0 160230 4 0 0 25 0 1 0 855763138 80805888 16553 33554432000 4194304 4933572 140733962150816 18446744073709551615 4649427 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 19728 16553 376 181 0 16737 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 78912
[startup+1662.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/576 23249
/proc/meminfo: memFree=23011844/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=79112 CPUtime=1662.34 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 17963 0 0 0 166230 4 0 0 25 0 1 0 855763138 81010688 16585 33554432000 4194304 4933572 140733962150816 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 19778 16585 376 181 0 16787 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 79112
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/576 23250
/proc/meminfo: memFree=23010568/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=79668 CPUtime=1722.34 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 18081 0 0 0 172230 4 0 0 25 0 1 0 855763138 81580032 16703 33554432000 4194304 4933572 140733962150816 18446744073709551615 4369024 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 19917 16703 376 181 0 16926 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 79668
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/576 23252
/proc/meminfo: memFree=23004708/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=80256 CPUtime=1782.34 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 18233 0 0 0 178230 4 0 0 25 0 1 0 855763138 82182144 16855 33554432000 4194304 4933572 140733962150816 18446744073709551615 4648592 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 20064 16855 376 181 0 17073 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 80256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.04 2.00 3/576 23252
/proc/meminfo: memFree=23004312/32951124 swapFree=58940260/67111528
[pid=23175] ppid=23173 vsize=80508 CPUtime=1800.06 cores=1,3,5,7
/proc/23175/stat : 23175 (clasp) R 23173 23175 22845 0 -1 4202496 18260 0 0 0 180002 4 0 0 25 0 1 0 855763138 82440192 16882 33554432000 4194304 4933572 140733962150816 18446744073709551615 4379144 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23175/statm: 20127 16882 376 181 0 17136 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 80508
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.03
CPU time (s): 1800.08
CPU user time (s): 1800.03
CPU system time (s): 0.047992
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 80508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.047992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18274
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= 20883
runsolver used 9.93249 second user time and 24.4483 second system time
The end