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-3491833-1307769686/watcher-3491833-1307769686 -o /tmp/evaluation-result-3491833-1307769686/solver-3491833-1307769686 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491833-1307769686.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.00 2.00 1.94 2/177 21533
/proc/meminfo: memFree=31984556/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=10508 CPUtime=0 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 2364 0 0 0 0 0 0 0 25 0 1 0 888569079 10760192 2023 33554432000 4194304 6245536 140735647105776 18446744073709551615 4360315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 2627 2036 175 501 0 2123 0
[startup+0.0512291 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 21533
/proc/meminfo: memFree=31984556/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=21388 CPUtime=0.04 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 6075 0 0 0 4 0 0 0 25 0 1 0 888569079 21901312 4774 33554432000 4194304 6245536 140735647105776 18446744073709551615 5418775 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 5347 4801 197 501 0 4843 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21388
[startup+0.100207 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 21533
/proc/meminfo: memFree=31984556/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=22576 CPUtime=0.09 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 6451 0 0 0 9 0 0 0 25 0 1 0 888569079 23117824 5150 33554432000 4194304 6245536 140735647105776 18446744073709551615 4578942 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 5644 5150 201 501 0 5140 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22576
[startup+0.300171 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 21533
/proc/meminfo: memFree=31984556/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=32596 CPUtime=0.29 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 8960 0 0 0 29 0 0 0 25 0 1 0 888569079 33378304 7659 33554432000 4194304 6245536 140735647105776 18446744073709551615 4568119 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 8149 7659 201 501 0 7645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32596
[startup+0.700095 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 21533
/proc/meminfo: memFree=31984556/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=36404 CPUtime=0.69 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 10522 0 0 0 69 0 0 0 25 0 1 0 888569079 37277696 8629 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 9101 8629 227 501 0 8597 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36404
[startup+1.50095 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21534
/proc/meminfo: memFree=31950504/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=36404 CPUtime=1.49 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 10530 0 0 0 149 0 0 0 25 0 1 0 888569079 37277696 8637 33554432000 4194304 6245536 140735647105776 18446744073709551615 4342425 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 9101 8637 229 501 0 8597 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36404
[startup+3.10065 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21534
/proc/meminfo: memFree=31950020/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=36404 CPUtime=3.09 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 10562 0 0 0 309 0 0 0 25 0 1 0 888569079 37277696 8669 33554432000 4194304 6245536 140735647105776 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 9101 8669 229 501 0 8597 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36404
[startup+6.30107 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21534
/proc/meminfo: memFree=31949832/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=36720 CPUtime=6.29 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 10679 0 0 0 629 0 0 0 25 0 1 0 888569079 37601280 8786 33554432000 4194304 6245536 140735647105776 18446744073709551615 4635131 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 9180 8786 229 501 0 8676 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36720
[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21534
/proc/meminfo: memFree=31947356/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=38876 CPUtime=12.69 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 11214 0 0 0 1269 0 0 0 25 0 1 0 888569079 39809024 9321 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 9719 9321 229 501 0 9215 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38876
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21535
/proc/meminfo: memFree=31943136/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=42956 CPUtime=25.49 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 12160 0 0 0 2549 0 0 0 25 0 1 0 888569079 43986944 10267 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 10739 10267 229 501 0 10235 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42956
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21535
/proc/meminfo: memFree=31937600/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=48192 CPUtime=51.09 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 13437 0 0 0 5109 0 0 0 25 0 1 0 888569079 49348608 11544 33554432000 4194304 6245536 140735647105776 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 12048 11544 229 501 0 11544 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 48192
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21537
/proc/meminfo: memFree=31927776/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=57424 CPUtime=102.3 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 15626 0 0 0 10229 1 0 0 25 0 1 0 888569079 58802176 13733 33554432000 4194304 6245536 140735647105776 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 14356 13733 229 501 0 13852 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 57424
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21538
/proc/meminfo: memFree=31918444/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=66876 CPUtime=162.3 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 17803 0 0 0 16229 1 0 0 25 0 1 0 888569079 68481024 15910 33554432000 4194304 6245536 140735647105776 18446744073709551615 4608172 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 16719 15910 229 501 0 16215 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 66876
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21540
/proc/meminfo: memFree=31911192/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=73836 CPUtime=222.3 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 19450 0 0 0 22229 1 0 0 25 0 1 0 888569079 75608064 17557 33554432000 4194304 6245536 140735647105776 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 18459 17557 229 501 0 17955 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 73836
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21541
/proc/meminfo: memFree=31908656/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=76588 CPUtime=282.3 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 20109 0 0 0 28229 1 0 0 25 0 1 0 888569079 78426112 18216 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 19147 18216 229 501 0 18643 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 76588
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21543
/proc/meminfo: memFree=31904024/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=80712 CPUtime=342.3 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 21065 0 0 0 34228 2 0 0 25 0 1 0 888569079 82649088 19172 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 20178 19172 229 501 0 19674 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 80712
[startup+402.301 s]
/proc/loadavg: 2.06 2.01 1.95 3/178 21545
/proc/meminfo: memFree=31900620/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=84028 CPUtime=402.3 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 21879 0 0 0 40228 2 0 0 25 0 1 0 888569079 86044672 19986 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 21007 19986 229 501 0 20503 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 84028
[startup+462.301 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 21546
/proc/meminfo: memFree=31898840/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=85352 CPUtime=462.3 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 22214 0 0 0 46228 2 0 0 25 0 1 0 888569079 87400448 20321 33554432000 4194304 6245536 140735647105776 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 21338 20321 229 501 0 20834 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 85352
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21548
/proc/meminfo: memFree=31894944/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=89444 CPUtime=522.3 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 23176 0 0 0 52228 2 0 0 25 0 1 0 888569079 91590656 21283 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 22361 21283 229 501 0 21857 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 89444
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21549
/proc/meminfo: memFree=31892300/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=91996 CPUtime=582.3 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 23768 0 0 0 58228 2 0 0 25 0 1 0 888569079 94203904 21875 33554432000 4194304 6245536 140735647105776 18446744073709551615 4646523 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 22999 21875 229 501 0 22495 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 91996
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21556
/proc/meminfo: memFree=31881940/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=102548 CPUtime=822.32 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 26236 0 0 0 82229 3 0 0 25 0 1 0 888569079 105009152 24343 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 25637 24343 229 501 0 25133 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 102548
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21557
/proc/meminfo: memFree=31879056/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=105352 CPUtime=882.32 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 26927 0 0 0 88229 3 0 0 25 0 1 0 888569079 107880448 25034 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 26338 25034 229 501 0 25834 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 105352
[startup+942.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/178 21559
/proc/meminfo: memFree=31878016/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=106524 CPUtime=942.32 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 27168 0 0 0 94229 3 0 0 25 0 1 0 888569079 109080576 25275 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 26631 25275 229 501 0 26127 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 106524
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 21561
/proc/meminfo: memFree=31877836/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=106904 CPUtime=1002.32 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 27253 0 0 0 100229 3 0 0 25 0 1 0 888569079 109469696 25360 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 26726 25360 229 501 0 26222 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 106904
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 21562
/proc/meminfo: memFree=31876808/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=107072 CPUtime=1062.32 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 27312 0 0 0 106229 3 0 0 25 0 1 0 888569079 109641728 25419 33554432000 4194304 6245536 140735647105776 18446744073709551615 4635025 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 26768 25419 229 501 0 26264 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 107072
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21564
/proc/meminfo: memFree=31875268/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=108384 CPUtime=1122.32 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 27624 0 0 0 112229 3 0 0 25 0 1 0 888569079 110985216 25731 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 27096 25731 229 501 0 26592 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 108384
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21565
/proc/meminfo: memFree=31871992/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=111648 CPUtime=1182.33 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 28410 0 0 0 118230 3 0 0 25 0 1 0 888569079 114327552 26517 33554432000 4194304 6245536 140735647105776 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 27912 26517 229 501 0 27408 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 111648
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21567
/proc/meminfo: memFree=31871576/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=112092 CPUtime=1242.33 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 28519 0 0 0 124230 3 0 0 25 0 1 0 888569079 114782208 26626 33554432000 4194304 6245536 140735647105776 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 28023 26626 229 501 0 27519 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 112092
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21569
/proc/meminfo: memFree=31869176/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=114616 CPUtime=1302.33 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 29105 0 0 0 130230 3 0 0 25 0 1 0 888569079 117366784 27212 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 28654 27212 229 501 0 28150 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 114616
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21570
/proc/meminfo: memFree=31868524/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=115124 CPUtime=1362.33 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 29213 0 0 0 136230 3 0 0 25 0 1 0 888569079 117886976 27320 33554432000 4194304 6245536 140735647105776 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 28781 27320 229 501 0 28277 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 115124
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21572
/proc/meminfo: memFree=31868220/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=115376 CPUtime=1422.34 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 29277 0 0 0 142231 3 0 0 25 0 1 0 888569079 118145024 27384 33554432000 4194304 6245536 140735647105776 18446744073709551615 4409092 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 28844 27384 229 501 0 28340 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 115376
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 21573
/proc/meminfo: memFree=31865576/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=117656 CPUtime=1482.33 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 29850 0 0 0 148230 3 0 0 25 0 1 0 888569079 120479744 27957 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 29414 27957 229 501 0 28910 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 117656
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 21575
/proc/meminfo: memFree=31865516/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=117844 CPUtime=1542.33 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 29902 0 0 0 154230 3 0 0 25 0 1 0 888569079 120672256 28009 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 29461 28009 229 501 0 28957 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 117844
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 21577
/proc/meminfo: memFree=31863728/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=119440 CPUtime=1602.33 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 30252 0 0 0 160230 3 0 0 25 0 1 0 888569079 122306560 28359 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 29860 28359 229 501 0 29356 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 119440
[startup+1662.3 s]
/proc/loadavg: 1.97 1.99 1.95 3/178 21693
/proc/meminfo: memFree=31834908/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=120120 CPUtime=1662.34 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 30417 0 0 0 166231 3 0 0 25 0 1 0 888569079 123002880 28524 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 30030 28524 229 501 0 29526 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 120120
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/178 21695
/proc/meminfo: memFree=31824556/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=120300 CPUtime=1722.34 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 30450 0 0 0 172231 3 0 0 25 0 1 0 888569079 123187200 28557 33554432000 4194304 6245536 140735647105776 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 30075 28557 229 501 0 29571 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 120300
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/178 21696
/proc/meminfo: memFree=31818072/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=120900 CPUtime=1782.34 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 30596 0 0 0 178231 3 0 0 25 0 1 0 888569079 123801600 28703 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 30225 28703 229 501 0 29721 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 120900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.00 1.96 3/178 21697
/proc/meminfo: memFree=31817056/32951124 swapFree=67052968/67111528
[pid=21533] ppid=21531 vsize=121088 CPUtime=1800.05 cores=1,3,5,7
/proc/21533/stat : 21533 (clasp) R 21531 21533 16623 0 -1 4202496 30649 0 0 0 180002 3 0 0 25 0 1 0 888569079 123994112 28756 33554432000 4194304 6245536 140735647105776 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21533/statm: 30272 28756 229 501 0 29768 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 121088
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.07
CPU user time (s): 1800.02
CPU system time (s): 0.043993
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 121088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30661
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= 4
involuntary context switches= 6302
runsolver used 2.34464 second user time and 5.87511 second system time
The end