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-3491947-1307779154/watcher-3491947-1307779154 -o /tmp/evaluation-result-3491947-1307779154/solver-3491947-1307779154 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491947-1307779154.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: 1.84 1.97 1.94 2/172 10137
/proc/meminfo: memFree=31729400/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=4448 CPUtime=0 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 844 0 0 0 0 0 0 0 25 0 1 0 889515016 4554752 748 33554432000 4194304 6245536 140733374258944 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 1112 748 179 501 0 608 0
[startup+0.0814361 s]
/proc/loadavg: 1.84 1.97 1.94 2/172 10137
/proc/meminfo: memFree=31729400/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=5792 CPUtime=0.08 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 1434 0 0 0 8 0 0 0 25 0 1 0 889515016 5931008 1136 33554432000 4194304 6245536 140733374258944 18446744073709551615 4344324 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 1448 1136 226 501 0 944 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5792
[startup+0.100431 s]
/proc/loadavg: 1.84 1.97 1.94 2/172 10137
/proc/meminfo: memFree=31729400/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=5792 CPUtime=0.09 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 1434 0 0 0 9 0 0 0 25 0 1 0 889515016 5931008 1136 33554432000 4194304 6245536 140733374258944 18446744073709551615 4694315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 1448 1136 226 501 0 944 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5792
[startup+0.300505 s]
/proc/loadavg: 1.84 1.97 1.94 2/172 10137
/proc/meminfo: memFree=31729400/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=6188 CPUtime=0.29 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 1528 0 0 0 29 0 0 0 25 0 1 0 889515016 6336512 1230 33554432000 4194304 6245536 140733374258944 18446744073709551615 4344324 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 1547 1230 227 501 0 1043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6188
[startup+0.700435 s]
/proc/loadavg: 1.84 1.97 1.94 2/172 10137
/proc/meminfo: memFree=31729400/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=6584 CPUtime=0.69 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 1627 0 0 0 69 0 0 0 25 0 1 0 889515016 6742016 1329 33554432000 4194304 6245536 140733374258944 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 1646 1329 228 501 0 1142 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6584
[startup+1.5003 s]
/proc/loadavg: 1.84 1.97 1.94 3/178 10152
/proc/meminfo: memFree=31717540/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=9884 CPUtime=1.49 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 2431 0 0 0 149 0 0 0 25 0 1 0 889515016 10121216 2133 33554432000 4194304 6245536 140733374258944 18446744073709551615 4633950 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 2471 2133 229 501 0 1967 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9884
[startup+3.10102 s]
/proc/loadavg: 1.84 1.97 1.94 3/178 10152
/proc/meminfo: memFree=31711712/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=11996 CPUtime=3.1 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 2980 0 0 0 310 0 0 0 25 0 1 0 889515016 12283904 2682 33554432000 4194304 6245536 140733374258944 18446744073709551615 4628284 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 2999 2682 229 501 0 2495 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 11996
[startup+6.30041 s]
/proc/loadavg: 1.85 1.97 1.94 3/178 10152
/proc/meminfo: memFree=31710316/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=11996 CPUtime=6.3 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 2980 0 0 0 630 0 0 0 25 0 1 0 889515016 12283904 2682 33554432000 4194304 6245536 140733374258944 18446744073709551615 4637664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 2999 2682 229 501 0 2495 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 11996
[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.94 3/178 10153
/proc/meminfo: memFree=31704520/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=11996 CPUtime=12.7 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 2980 0 0 0 1270 0 0 0 25 0 1 0 889515016 12283904 2682 33554432000 4194304 6245536 140733374258944 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 2999 2682 229 501 0 2495 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 11996
[startup+25.501 s]
/proc/loadavg: 1.89 1.97 1.94 3/178 10153
/proc/meminfo: memFree=31701768/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=13704 CPUtime=25.5 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 3379 0 0 0 2550 0 0 0 25 0 1 0 889515016 14032896 3081 33554432000 4194304 6245536 140733374258944 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 3426 3081 229 501 0 2922 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 13704
[startup+51.1005 s]
/proc/loadavg: 1.93 1.97 1.94 3/178 10154
/proc/meminfo: memFree=31692544/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=17392 CPUtime=51.1 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 4248 0 0 0 5110 0 0 0 25 0 1 0 889515016 17809408 3950 33554432000 4194304 6245536 140733374258944 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 4348 3950 229 501 0 3844 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 17392
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.94 3/178 10155
/proc/meminfo: memFree=31675024/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=28272 CPUtime=102.3 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 7048 0 0 0 10230 0 0 0 25 0 1 0 889515016 28950528 6673 33554432000 4194304 6245536 140733374258944 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 7068 6673 229 501 0 6564 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 28272
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/178 10165
/proc/meminfo: memFree=31659360/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=37984 CPUtime=162.29 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 9435 0 0 0 16229 0 0 0 25 0 1 0 889515016 38895616 9060 33554432000 4194304 6245536 140733374258944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 9496 9060 229 501 0 8992 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 37984
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/178 10167
/proc/meminfo: memFree=31644544/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=42188 CPUtime=222.29 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 10496 0 0 0 22229 0 0 0 25 0 1 0 889515016 43200512 10121 33554432000 4194304 6245536 140733374258944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 10547 10121 229 501 0 10043 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 42188
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/178 10169
/proc/meminfo: memFree=31644364/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=42188 CPUtime=282.29 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 10500 0 0 0 28229 0 0 0 25 0 1 0 889515016 43200512 10125 33554432000 4194304 6245536 140733374258944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 10547 10125 229 501 0 10043 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 42188
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/178 10173
/proc/meminfo: memFree=31641392/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=44988 CPUtime=342.29 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 11188 0 0 0 34229 0 0 0 25 0 1 0 889515016 46067712 10813 33554432000 4194304 6245536 140733374258944 18446744073709551615 4700439 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 11247 10813 229 501 0 10743 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 44988
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/178 10175
/proc/meminfo: memFree=31627956/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=50740 CPUtime=402.3 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 12978 0 0 0 40229 1 0 0 25 0 1 0 889515016 51957760 12274 33554432000 4194304 6245536 140733374258944 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 12685 12274 229 501 0 12181 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 50740
[startup+462.3 s]
/proc/loadavg: 2.03 1.99 1.95 3/178 10177
/proc/meminfo: memFree=31625800/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=51904 CPUtime=462.3 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 13581 0 0 0 46229 1 0 0 25 0 1 0 889515016 53149696 12553 33554432000 4194304 6245536 140733374258944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 12976 12553 229 501 0 12472 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 51904
[startup+522.301 s]
/proc/loadavg: 2.01 1.99 1.95 3/178 10178
/proc/meminfo: memFree=31623520/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=52552 CPUtime=522.3 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 14022 0 0 0 52229 1 0 0 25 0 1 0 889515016 53813248 12733 33554432000 4194304 6245536 140733374258944 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 13138 12733 229 501 0 12634 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 52552
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 10180
/proc/meminfo: memFree=31615908/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=52552 CPUtime=582.3 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 14101 0 0 0 58229 1 0 0 25 0 1 0 889515016 53813248 12729 33554432000 4194304 6245536 140733374258944 18446744073709551615 4344658 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 13138 12729 229 501 0 12634 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 52552
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 10186
/proc/meminfo: memFree=31612364/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=52420 CPUtime=822.31 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 15104 0 0 0 82230 1 0 0 25 0 1 0 889515016 53678080 12720 33554432000 4194304 6245536 140733374258944 18446744073709551615 4629218 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 13105 12720 229 501 0 12601 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 52420
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 10188
/proc/meminfo: memFree=31611580/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=53856 CPUtime=882.31 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 15704 0 0 0 88230 1 0 0 25 0 1 0 889515016 55148544 13041 33554432000 4194304 6245536 140733374258944 18446744073709551615 4702491 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 13464 13041 229 501 0 12960 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 53856
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 10189
/proc/meminfo: memFree=31611424/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=54120 CPUtime=942.31 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 15766 0 0 0 94230 1 0 0 25 0 1 0 889515016 55418880 13103 33554432000 4194304 6245536 140733374258944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 13530 13103 229 501 0 13026 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 54120
[startup+1002.3 s]
/proc/loadavg: 2.04 2.00 1.95 3/178 10191
/proc/meminfo: memFree=31606412/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=59120 CPUtime=1002.32 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 17290 0 0 0 100230 2 0 0 25 0 1 0 889515016 60538880 14386 33554432000 4194304 6245536 140733374258944 18446744073709551615 4304768 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 14780 14386 229 501 0 14276 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 59120
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 10192
/proc/meminfo: memFree=31604748/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=60552 CPUtime=1062.32 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 17721 0 0 0 106230 2 0 0 25 0 1 0 889515016 62005248 14748 33554432000 4194304 6245536 140733374258944 18446744073709551615 4629230 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 15138 14748 229 501 0 14634 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 60552
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10194
/proc/meminfo: memFree=31602220/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=63324 CPUtime=1122.32 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 18394 0 0 0 112230 2 0 0 25 0 1 0 889515016 64843776 15421 33554432000 4194304 6245536 140733374258944 18446744073709551615 4317354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 15831 15421 229 501 0 15327 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 63324
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10196
/proc/meminfo: memFree=31601916/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=63036 CPUtime=1182.32 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 18736 0 0 0 118230 2 0 0 25 0 1 0 889515016 64548864 15369 33554432000 4194304 6245536 140733374258944 18446744073709551615 4701929 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 15759 15369 229 501 0 15255 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 63036
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10197
/proc/meminfo: memFree=31601868/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=63360 CPUtime=1242.32 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 19134 0 0 0 124230 2 0 0 25 0 1 0 889515016 64880640 15439 33554432000 4194304 6245536 140733374258944 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 15840 15439 229 501 0 15336 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 63360
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10199
/proc/meminfo: memFree=31601316/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=63428 CPUtime=1302.33 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 19609 0 0 0 130231 2 0 0 25 0 1 0 889515016 64950272 15427 33554432000 4194304 6245536 140733374258944 18446744073709551615 5419276 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 15857 15427 229 501 0 15353 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 63428
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10200
/proc/meminfo: memFree=31600148/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=64348 CPUtime=1362.32 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 19937 0 0 0 136230 2 0 0 25 0 1 0 889515016 65892352 15682 33554432000 4194304 6245536 140733374258944 18446744073709551615 4408741 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 16087 15682 229 501 0 15583 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 64348
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10202
/proc/meminfo: memFree=31599476/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=64216 CPUtime=1422.33 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 20280 0 0 0 142231 2 0 0 25 0 1 0 889515016 65757184 15651 33554432000 4194304 6245536 140733374258944 18446744073709551615 4605186 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 16054 15651 229 501 0 15550 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 64216
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10204
/proc/meminfo: memFree=31596076/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=67536 CPUtime=1482.33 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 21204 0 0 0 148231 2 0 0 25 0 1 0 889515016 69156864 16462 33554432000 4194304 6245536 140733374258944 18446744073709551615 4635952 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 16884 16462 229 501 0 16380 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 67536
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 10205
/proc/meminfo: memFree=31589604/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=67536 CPUtime=1542.33 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 21207 0 0 0 154231 2 0 0 25 0 1 0 889515016 69156864 16465 33554432000 4194304 6245536 140733374258944 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 16884 16465 229 501 0 16380 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 67536
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 10207
/proc/meminfo: memFree=31588428/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=67668 CPUtime=1602.33 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 21240 0 0 0 160231 2 0 0 25 0 1 0 889515016 69292032 16498 33554432000 4194304 6245536 140733374258944 18446744073709551615 5419268 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 16917 16498 229 501 0 16413 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 67668
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 10209
/proc/meminfo: memFree=31586520/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=68724 CPUtime=1662.33 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 21558 0 0 0 166231 2 0 0 25 0 1 0 889515016 70373376 16744 33554432000 4194304 6245536 140733374258944 18446744073709551615 5419260 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 17181 16744 229 501 0 16677 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 68724
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10210
/proc/meminfo: memFree=31586600/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=68736 CPUtime=1722.33 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 21826 0 0 0 172231 2 0 0 25 0 1 0 889515016 70385664 16750 33554432000 4194304 6245536 140733374258944 18446744073709551615 4315393 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 17184 16750 229 501 0 16680 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 68736
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/178 10212
/proc/meminfo: memFree=31584812/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=69396 CPUtime=1782.33 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 21990 0 0 0 178231 2 0 0 25 0 1 0 889515016 71061504 16914 33554432000 4194304 6245536 140733374258944 18446744073709551615 4633873 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 17349 16914 229 501 0 16845 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 69396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 10212
/proc/meminfo: memFree=31584920/32950928 swapFree=67079488/67111528
[pid=10137] ppid=10135 vsize=69396 CPUtime=1800.04 cores=0,2,4,6
/proc/10137/stat : 10137 (clasp) R 10135 10137 7911 0 -1 4202496 21995 0 0 0 180002 2 0 0 25 0 1 0 889515016 71061504 16919 33554432000 4194304 6245536 140733374258944 18446744073709551615 4408749 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10137/statm: 17349 16919 229 501 0 16845 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 69396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1800.02
CPU system time (s): 0.029995
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 69396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22005
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= 2666
runsolver used 2.67459 second user time and 5.55516 second system time
The end