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-3491880-1307774978/watcher-3491880-1307774978 -o /tmp/evaluation-result-3491880-1307774978/solver-3491880-1307774978 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491880-1307774978.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.97 3.00 2.96 4/178 21622
/proc/meminfo: memFree=31722360/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=9912 CPUtime=0 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 2144 0 0 0 0 0 0 0 25 0 1 0 889096561 10149888 1872 33554432000 4194304 6245536 140733437765424 18446744073709551615 4642415 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 2478 1876 172 501 0 1974 0
[startup+0.103509 s]
/proc/loadavg: 2.97 3.00 2.96 4/178 21622
/proc/meminfo: memFree=31722360/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=12696 CPUtime=0.09 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 4071 0 0 0 9 0 0 0 25 0 1 0 889096561 13000704 2855 33554432000 4194304 6245536 140733437765424 18446744073709551615 4324298 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 3174 2855 221 501 0 2670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12696
[startup+0.200495 s]
/proc/loadavg: 2.97 3.00 2.96 4/178 21622
/proc/meminfo: memFree=31722360/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=20528 CPUtime=0.19 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 6032 0 0 0 19 0 0 0 25 0 1 0 889096561 21020672 4816 33554432000 4194304 6245536 140733437765424 18446744073709551615 4320315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 5132 4817 226 501 0 4628 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20528
[startup+0.300474 s]
/proc/loadavg: 2.97 3.00 2.96 4/178 21622
/proc/meminfo: memFree=31722360/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=25152 CPUtime=0.29 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 7166 0 0 0 28 1 0 0 25 0 1 0 889096561 25755648 5950 33554432000 4194304 6245536 140733437765424 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 6288 5950 227 501 0 5784 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25152
[startup+0.700403 s]
/proc/loadavg: 2.97 3.00 2.96 4/178 21622
/proc/meminfo: memFree=31722360/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=42472 CPUtime=0.69 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 11519 0 0 0 68 1 0 0 25 0 1 0 889096561 43491328 10303 33554432000 4194304 6245536 140733437765424 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 10618 10303 227 501 0 10114 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42472
[startup+1.50026 s]
/proc/loadavg: 2.97 3.00 2.96 4/179 21623
/proc/meminfo: memFree=31665584/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=74852 CPUtime=1.49 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 19606 0 0 0 147 2 0 0 25 0 1 0 889096561 76648448 18352 33554432000 4194304 6245536 140733437765424 18446744073709551615 4635119 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 18713 18353 228 501 0 18209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74852
[startup+3.10097 s]
/proc/loadavg: 2.97 3.00 2.96 4/179 21623
/proc/meminfo: memFree=31648968/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=90376 CPUtime=3.09 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 23410 0 0 0 307 2 0 0 25 0 1 0 889096561 92545024 22156 33554432000 4194304 6245536 140733437765424 18446744073709551615 4635116 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 22594 22156 229 501 0 22090 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90376
[startup+6.30041 s]
/proc/loadavg: 2.97 3.00 2.96 4/179 21623
/proc/meminfo: memFree=31622636/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=102656 CPUtime=6.29 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 26548 0 0 0 627 2 0 0 25 0 1 0 889096561 105119744 25294 33554432000 4194304 6245536 140733437765424 18446744073709551615 4305289 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 25664 25294 229 501 0 25160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102656
[startup+12.7003 s]
/proc/loadavg: 2.97 3.00 2.96 4/179 21623
/proc/meminfo: memFree=31600916/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=122928 CPUtime=12.69 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 31622 0 0 0 1266 3 0 0 25 0 1 0 889096561 125878272 30368 33554432000 4194304 6245536 140733437765424 18446744073709551615 4635039 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 30732 30368 229 501 0 30228 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122928
[startup+25.501 s]
/proc/loadavg: 2.98 3.00 2.96 4/179 21623
/proc/meminfo: memFree=31577240/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=146944 CPUtime=25.49 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 37576 0 0 0 2545 4 0 0 25 0 1 0 889096561 150470656 36322 33554432000 4194304 6245536 140733437765424 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 36736 36322 229 501 0 36232 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 146944
[startup+51.1004 s]
/proc/loadavg: 2.99 3.00 2.96 4/179 21624
/proc/meminfo: memFree=31555512/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=168520 CPUtime=51.09 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 42967 0 0 0 5104 5 0 0 25 0 1 0 889096561 172564480 41713 33554432000 4194304 6245536 140733437765424 18446744073709551615 4605168 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 42130 41713 229 501 0 41626 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 168520
[startup+102.3 s]
/proc/loadavg: 2.99 3.00 2.96 4/179 21625
/proc/meminfo: memFree=31518288/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=205152 CPUtime=102.3 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 52147 0 0 0 10224 6 0 0 25 0 1 0 889096561 210075648 50893 33554432000 4194304 6245536 140733437765424 18446744073709551615 4629049 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 51288 50893 229 501 0 50784 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 205152
[startup+162.301 s]
/proc/loadavg: 2.99 3.00 2.96 4/179 21627
/proc/meminfo: memFree=31491312/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=233580 CPUtime=162.29 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 58824 0 0 0 16222 7 0 0 25 0 1 0 889096561 239185920 57570 33554432000 4194304 6245536 140733437765424 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 58395 57570 229 501 0 57891 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 233580
[startup+222.306 s]
/proc/loadavg: 3.05 3.01 2.97 4/179 21668
/proc/meminfo: memFree=31502704/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=258692 CPUtime=222.3 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 65058 0 0 0 22222 8 0 0 25 0 1 0 889096561 264900608 63804 33554432000 4194304 6245536 140733437765424 18446744073709551615 4608208 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 64673 63804 229 501 0 64169 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 258692
[startup+282.3 s]
/proc/loadavg: 3.02 3.01 2.97 4/179 21669
/proc/meminfo: memFree=31497452/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=262936 CPUtime=282.29 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 66136 0 0 0 28221 8 0 0 25 0 1 0 889096561 269246464 64882 33554432000 4194304 6245536 140733437765424 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 65734 64882 229 501 0 65230 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 262936
[startup+342.301 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21671
/proc/meminfo: memFree=31470736/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=288944 CPUtime=342.3 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 72760 0 0 0 34220 10 0 0 25 0 1 0 889096561 295878656 71506 33554432000 4194304 6245536 140733437765424 18446744073709551615 4628970 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 72236 71506 229 501 0 71732 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 288944
[startup+402.301 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21672
/proc/meminfo: memFree=31465992/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=293548 CPUtime=402.3 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 73881 0 0 0 40220 10 0 0 25 0 1 0 889096561 300593152 72627 33554432000 4194304 6245536 140733437765424 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 73387 72627 229 501 0 72883 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 293548
[startup+462.3 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21750
/proc/meminfo: memFree=31449684/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=295660 CPUtime=462.3 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 74441 0 0 0 46220 10 0 0 25 0 1 0 889096561 302755840 73187 33554432000 4194304 6245536 140733437765424 18446744073709551615 4629187 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 73915 73187 229 501 0 73411 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 295660
[startup+522.3 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21752
/proc/meminfo: memFree=31417236/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=320348 CPUtime=522.3 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 80569 0 0 0 52219 11 0 0 25 0 1 0 889096561 328036352 79315 33554432000 4194304 6245536 140733437765424 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 80087 79315 229 501 0 79583 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 320348
[startup+582.301 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21753
/proc/meminfo: memFree=31409384/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=324572 CPUtime=582.31 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 81632 0 0 0 58220 11 0 0 25 0 1 0 889096561 332361728 80378 33554432000 4194304 6245536 140733437765424 18446744073709551615 4408736 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 81143 80378 229 501 0 80639 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 324572
[startup+642.301 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 3.01 3.00 2.97 4/179 21773
/proc/meminfo: memFree=31352568/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=368056 CPUtime=882.32 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 92485 0 0 0 88220 12 0 0 25 0 1 0 889096561 376889344 91231 33554432000 4194304 6245536 140733437765424 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 92014 91231 229 501 0 91510 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 368056
[startup+942.301 s]
/proc/loadavg: 3.05 3.02 2.98 4/179 21775
/proc/meminfo: memFree=31349940/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=370564 CPUtime=942.31 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 93127 0 0 0 94219 12 0 0 25 0 1 0 889096561 379457536 91873 33554432000 4194304 6245536 140733437765424 18446744073709551615 4324542 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 92641 91873 229 501 0 92137 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 370564
[startup+1002.3 s]
/proc/loadavg: 3.02 3.01 2.98 4/179 21776
/proc/meminfo: memFree=31345928/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=371752 CPUtime=1002.31 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 93423 0 0 0 100219 12 0 0 25 0 1 0 889096561 380674048 92169 33554432000 4194304 6245536 140733437765424 18446744073709551615 4646425 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 92938 92169 229 501 0 92434 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 371752
[startup+1062.3 s]
/proc/loadavg: 3.00 3.00 2.98 4/179 21778
/proc/meminfo: memFree=31342400/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=374128 CPUtime=1062.31 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 94010 0 0 0 106219 12 0 0 25 0 1 0 889096561 383107072 92756 33554432000 4194304 6245536 140733437765424 18446744073709551615 4324251 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 93532 92756 229 501 0 93028 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 374128
[startup+1122.3 s]
/proc/loadavg: 3.00 3.00 2.98 4/179 21780
/proc/meminfo: memFree=31340860/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=375184 CPUtime=1122.32 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 94270 0 0 0 112219 13 0 0 25 0 1 0 889096561 384188416 93016 33554432000 4194304 6245536 140733437765424 18446744073709551615 4637536 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 93796 93016 229 501 0 93292 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 375184
[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 2.98 4/179 21781
/proc/meminfo: memFree=31314140/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=401716 CPUtime=1182.32 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 100934 0 0 0 118219 13 0 0 25 0 1 0 889096561 411357184 99680 33554432000 4194304 6245536 140733437765424 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 100429 99680 229 501 0 99925 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 401716
[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 2.98 4/179 21783
/proc/meminfo: memFree=31308004/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=407128 CPUtime=1242.33 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 102281 0 0 0 124219 14 0 0 25 0 1 0 889096561 416899072 101027 33554432000 4194304 6245536 140733437765424 18446744073709551615 4392286 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 101782 101027 229 501 0 101278 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 407128
[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 2.98 4/179 21784
/proc/meminfo: memFree=31304860/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=409372 CPUtime=1302.33 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 102837 0 0 0 130219 14 0 0 25 0 1 0 889096561 419196928 101583 33554432000 4194304 6245536 140733437765424 18446744073709551615 4629059 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 102343 101583 229 501 0 101839 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 409372
[startup+1362.3 s]
/proc/loadavg: 3.04 3.01 2.98 4/179 21786
/proc/meminfo: memFree=31301584/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=412144 CPUtime=1362.33 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 103528 0 0 0 136219 14 0 0 25 0 1 0 889096561 422035456 102274 33554432000 4194304 6245536 140733437765424 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 103036 102274 229 501 0 102532 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 412144
[startup+1422.3 s]
/proc/loadavg: 3.01 3.01 2.98 4/179 21788
/proc/meminfo: memFree=31300908/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=412672 CPUtime=1422.33 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 103657 0 0 0 142219 14 0 0 25 0 1 0 889096561 422576128 102403 33554432000 4194304 6245536 140733437765424 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 103168 102403 229 501 0 102664 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 412672
[startup+1482.3 s]
/proc/loadavg: 3.07 3.02 2.99 4/179 21789
/proc/meminfo: memFree=31299120/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=414124 CPUtime=1482.33 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 104014 0 0 0 148219 14 0 0 25 0 1 0 889096561 424062976 102760 33554432000 4194304 6245536 140733437765424 18446744073709551615 4397853 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 103531 102760 229 501 0 103027 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 414124
[startup+1542.31 s]
/proc/loadavg: 3.02 3.01 2.99 4/179 21791
/proc/meminfo: memFree=31297804/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=414916 CPUtime=1542.34 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 104232 0 0 0 154220 14 0 0 25 0 1 0 889096561 424873984 102978 33554432000 4194304 6245536 140733437765424 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 103729 102978 229 501 0 103225 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 414916
[startup+1602.3 s]
/proc/loadavg: 3.01 3.01 2.99 4/179 21792
/proc/meminfo: memFree=31296880/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=415972 CPUtime=1602.33 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 104483 0 0 0 160219 14 0 0 25 0 1 0 889096561 425955328 103229 33554432000 4194304 6245536 140733437765424 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 103993 103229 229 501 0 103489 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 415972
[startup+1662.3 s]
/proc/loadavg: 3.00 3.00 2.99 4/179 21794
/proc/meminfo: memFree=31295584/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=415972 CPUtime=1662.33 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 104483 0 0 0 166219 14 0 0 25 0 1 0 889096561 425955328 103229 33554432000 4194304 6245536 140733437765424 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 103993 103229 229 501 0 103489 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 415972
[startup+1722.3 s]
/proc/loadavg: 3.00 3.00 2.99 4/179 21796
/proc/meminfo: memFree=31294792/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=415972 CPUtime=1722.34 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 104483 0 0 0 172220 14 0 0 25 0 1 0 889096561 425955328 103229 33554432000 4194304 6245536 140733437765424 18446744073709551615 5419308 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 103993 103229 229 501 0 103489 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 415972
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 2.99 4/179 21797
/proc/meminfo: memFree=31293872/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=416632 CPUtime=1782.34 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 104642 0 0 0 178220 14 0 0 25 0 1 0 889096561 426631168 103388 33554432000 4194304 6245536 140733437765424 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 104158 103388 229 501 0 103654 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 416632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 3.00 3.00 2.99 4/179 21798
/proc/meminfo: memFree=31293976/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=416632 CPUtime=1800.04 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 104642 0 0 0 179990 14 0 0 25 0 1 0 889096561 426631168 103388 33554432000 4194304 6245536 140733437765424 18446744073709551615 4324230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 104158 103388 229 501 0 103654 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 416632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 3.00 3.00 2.99 4/179 21798
/proc/meminfo: memFree=31293976/32950928 swapFree=67048868/67111528
[pid=21622] ppid=21620 vsize=416632 CPUtime=1800.04 cores=1,3,5,7
/proc/21622/stat : 21622 (clasp) R 21620 21622 17848 0 -1 4202496 104642 0 0 0 179990 14 0 0 25 0 1 0 889096561 426631168 103388 33554432000 4194304 6245536 140733437765424 18446744073709551615 4324230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21622/statm: 104158 103388 229 501 0 103654 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 416632
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1799.91
CPU system time (s): 0.159975
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 416632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104654
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= 2954
runsolver used 2.39663 second user time and 5.88211 second system time
The end