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-3491948-1307779154/watcher-3491948-1307779154 -o /tmp/evaluation-result-3491948-1307779154/solver-3491948-1307779154 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491948-1307779154.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: 1.84 1.97 1.94 2/177 10151
/proc/meminfo: memFree=31723340/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=4580 CPUtime=0 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 852 0 0 0 0 0 0 0 25 0 1 0 889515022 4689920 756 33554432000 4194304 6245536 140736956326944 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 1145 757 179 501 0 641 0
[startup+0.045676 s]
/proc/loadavg: 1.84 1.97 1.94 2/177 10151
/proc/meminfo: memFree=31723340/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=5788 CPUtime=0.04 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 1429 0 0 0 4 0 0 0 25 0 1 0 889515022 5926912 1131 33554432000 4194304 6245536 140736956326944 18446744073709551615 4700661 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 1447 1131 221 501 0 943 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5788
[startup+0.100694 s]
/proc/loadavg: 1.84 1.97 1.94 2/177 10151
/proc/meminfo: memFree=31723340/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=5788 CPUtime=0.09 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 1434 0 0 0 9 0 0 0 25 0 1 0 889515022 5926912 1136 33554432000 4194304 6245536 140736956326944 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 1447 1136 226 501 0 943 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5788
[startup+0.300631 s]
/proc/loadavg: 1.84 1.97 1.94 2/177 10151
/proc/meminfo: memFree=31723340/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=7908 CPUtime=0.29 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 1939 0 0 0 29 0 0 0 25 0 1 0 889515022 8097792 1641 33554432000 4194304 6245536 140736956326944 18446744073709551615 4629379 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 1977 1641 227 501 0 1473 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7908
[startup+0.700561 s]
/proc/loadavg: 1.84 1.97 1.94 2/177 10151
/proc/meminfo: memFree=31723340/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=7908 CPUtime=0.69 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 1964 0 0 0 69 0 0 0 25 0 1 0 889515022 8097792 1666 33554432000 4194304 6245536 140736956326944 18446744073709551615 4637592 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 1977 1666 229 501 0 1473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7908
[startup+1.50042 s]
/proc/loadavg: 1.84 1.97 1.94 3/178 10152
/proc/meminfo: memFree=31717168/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=7908 CPUtime=1.49 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 1964 0 0 0 149 0 0 0 25 0 1 0 889515022 8097792 1666 33554432000 4194304 6245536 140736956326944 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 1977 1666 229 501 0 1473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7908
[startup+3.10014 s]
/proc/loadavg: 1.84 1.97 1.94 3/178 10152
/proc/meminfo: memFree=31711588/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=7908 CPUtime=3.09 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 1964 0 0 0 309 0 0 0 25 0 1 0 889515022 8097792 1666 33554432000 4194304 6245536 140736956326944 18446744073709551615 4700444 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 1977 1666 229 501 0 1473 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7908
[startup+6.30058 s]
/proc/loadavg: 1.85 1.97 1.94 3/178 10152
/proc/meminfo: memFree=31710316/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=8700 CPUtime=6.29 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 2136 0 0 0 629 0 0 0 25 0 1 0 889515022 8908800 1838 33554432000 4194304 6245536 140736956326944 18446744073709551615 4702891 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 2175 1838 229 501 0 1671 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8700
[startup+12.7004 s]
/proc/loadavg: 1.86 1.97 1.94 3/178 10153
/proc/meminfo: memFree=31704520/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=13780 CPUtime=12.69 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 3410 0 0 0 1269 0 0 0 25 0 1 0 889515022 14110720 3112 33554432000 4194304 6245536 140736956326944 18446744073709551615 4646062 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 3445 3112 229 501 0 2941 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13780
[startup+25.5002 s]
/proc/loadavg: 1.89 1.97 1.94 3/178 10153
/proc/meminfo: memFree=31701272/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=15644 CPUtime=25.49 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 3882 0 0 0 2549 0 0 0 25 0 1 0 889515022 16019456 3584 33554432000 4194304 6245536 140736956326944 18446744073709551615 4628315 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 3911 3584 229 501 0 3407 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15644
[startup+51.1007 s]
/proc/loadavg: 1.93 1.97 1.94 3/178 10154
/proc/meminfo: memFree=31692544/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=20848 CPUtime=51.1 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 5159 0 0 0 5109 1 0 0 25 0 1 0 889515022 21348352 4861 33554432000 4194304 6245536 140736956326944 18446744073709551615 4637739 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 5212 4861 229 501 0 4708 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 20848
[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.94 3/178 10155
/proc/meminfo: memFree=31675024/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=27160 CPUtime=102.3 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 6756 0 0 0 10229 1 0 0 25 0 1 0 889515022 27811840 6351 33554432000 4194304 6245536 140736956326944 18446744073709551615 4635531 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 6790 6351 229 501 0 6286 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27160
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/178 10165
/proc/meminfo: memFree=31659360/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=32520 CPUtime=162.29 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 8173 0 0 0 16228 1 0 0 25 0 1 0 889515022 33300480 7667 33554432000 4194304 6245536 140736956326944 18446744073709551615 4646048 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 8130 7667 229 501 0 7626 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32520
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/178 10167
/proc/meminfo: memFree=31644544/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=43300 CPUtime=222.29 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 10895 0 0 0 22228 1 0 0 25 0 1 0 889515022 44339200 10389 33554432000 4194304 6245536 140736956326944 18446744073709551615 4344690 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 10825 10389 229 501 0 10321 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 43300
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/178 10169
/proc/meminfo: memFree=31644364/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=42920 CPUtime=282.29 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 11111 0 0 0 28228 1 0 0 25 0 1 0 889515022 43950080 10306 33554432000 4194304 6245536 140736956326944 18446744073709551615 4635116 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 10730 10306 229 501 0 10226 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 42920
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/178 10173
/proc/meminfo: memFree=31641392/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=42920 CPUtime=342.29 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 11116 0 0 0 34228 1 0 0 25 0 1 0 889515022 43950080 10311 33554432000 4194304 6245536 140736956326944 18446744073709551615 4628264 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 10730 10311 229 501 0 10226 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 42920
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/178 10175
/proc/meminfo: memFree=31627956/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=51288 CPUtime=402.3 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 13467 0 0 0 40228 2 0 0 25 0 1 0 889515022 52518912 12387 33554432000 4194304 6245536 140736956326944 18446744073709551615 4344648 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 12822 12387 229 501 0 12318 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 51288
[startup+462.3 s]
/proc/loadavg: 2.03 1.99 1.95 3/178 10177
/proc/meminfo: memFree=31625800/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=52304 CPUtime=462.3 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 13816 0 0 0 46228 2 0 0 25 0 1 0 889515022 53559296 12640 33554432000 4194304 6245536 140736956326944 18446744073709551615 4315393 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 13076 12640 229 501 0 12572 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 52304
[startup+522.301 s]
/proc/loadavg: 2.01 1.99 1.95 3/178 10178
/proc/meminfo: memFree=31623520/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=52860 CPUtime=522.3 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 14235 0 0 0 52228 2 0 0 25 0 1 0 889515022 54128640 12780 33554432000 4194304 6245536 140736956326944 18446744073709551615 4700661 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 13215 12780 229 501 0 12711 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 52860
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 10180
/proc/meminfo: memFree=31615908/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=61136 CPUtime=582.31 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 16272 0 0 0 58228 3 0 0 25 0 1 0 889515022 62603264 14817 33554432000 4194304 6245536 140736956326944 18446744073709551615 4323456 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 15284 14817 229 501 0 14780 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 61136
[startup+642.301 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=10151] ppid=10149 vsize=64516 CPUtime=822.31 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17456 0 0 0 82228 3 0 0 25 0 1 0 889515022 66064384 15648 33554432000 4194304 6245536 140736956326944 18446744073709551615 4635064 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16129 15648 229 501 0 15625 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 64516
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 10188
/proc/meminfo: memFree=31611580/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=64516 CPUtime=882.31 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17462 0 0 0 88228 3 0 0 25 0 1 0 889515022 66064384 15654 33554432000 4194304 6245536 140736956326944 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16129 15654 229 501 0 15625 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 64516
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 10189
/proc/meminfo: memFree=31611424/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=64516 CPUtime=942.31 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17463 0 0 0 94228 3 0 0 25 0 1 0 889515022 66064384 15655 33554432000 4194304 6245536 140736956326944 18446744073709551615 4637489 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16129 15655 229 501 0 15625 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 64516
[startup+1002.3 s]
/proc/loadavg: 2.04 2.00 1.95 3/178 10191
/proc/meminfo: memFree=31606412/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=64516 CPUtime=1002.31 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17470 0 0 0 100228 3 0 0 25 0 1 0 889515022 66064384 15662 33554432000 4194304 6245536 140736956326944 18446744073709551615 4302089 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16129 15662 229 501 0 15625 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 64516
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 10192
/proc/meminfo: memFree=31604748/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=64516 CPUtime=1062.32 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17470 0 0 0 106229 3 0 0 25 0 1 0 889515022 66064384 15662 33554432000 4194304 6245536 140736956326944 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16129 15662 229 501 0 15625 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 64516
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10194
/proc/meminfo: memFree=31602220/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=64516 CPUtime=1122.32 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17480 0 0 0 112229 3 0 0 25 0 1 0 889515022 66064384 15672 33554432000 4194304 6245536 140736956326944 18446744073709551615 4628300 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16129 15672 229 501 0 15625 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 64516
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10196
/proc/meminfo: memFree=31601916/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=64516 CPUtime=1182.32 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17487 0 0 0 118229 3 0 0 25 0 1 0 889515022 66064384 15679 33554432000 4194304 6245536 140736956326944 18446744073709551615 4629049 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16129 15679 229 501 0 15625 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 64516
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10197
/proc/meminfo: memFree=31601868/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=64516 CPUtime=1242.32 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17489 0 0 0 124229 3 0 0 25 0 1 0 889515022 66064384 15681 33554432000 4194304 6245536 140736956326944 18446744073709551615 4315289 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16129 15681 229 501 0 15625 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 64516
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10199
/proc/meminfo: memFree=31601316/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=64716 CPUtime=1302.33 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17532 0 0 0 130230 3 0 0 25 0 1 0 889515022 66269184 15724 33554432000 4194304 6245536 140736956326944 18446744073709551615 4635961 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16179 15724 229 501 0 15675 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 64716
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10200
/proc/meminfo: memFree=31600148/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=65092 CPUtime=1362.32 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17630 0 0 0 136229 3 0 0 25 0 1 0 889515022 66654208 15822 33554432000 4194304 6245536 140736956326944 18446744073709551615 4608208 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16273 15822 229 501 0 15769 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 65092
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10202
/proc/meminfo: memFree=31599476/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=65600 CPUtime=1422.33 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17736 0 0 0 142230 3 0 0 25 0 1 0 889515022 67174400 15928 33554432000 4194304 6245536 140736956326944 18446744073709551615 4633864 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16400 15928 229 501 0 15896 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 65600
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10204
/proc/meminfo: memFree=31596076/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=65936 CPUtime=1482.33 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 17835 0 0 0 148230 3 0 0 25 0 1 0 889515022 67518464 16027 33554432000 4194304 6245536 140736956326944 18446744073709551615 4323456 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 16484 16027 229 501 0 15980 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 65936
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 10205
/proc/meminfo: memFree=31589604/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=72048 CPUtime=1542.33 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 19729 0 0 0 154229 4 0 0 25 0 1 0 889515022 73777152 17536 33554432000 4194304 6245536 140736956326944 18446744073709551615 4315348 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 18012 17536 229 501 0 17508 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 72048
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 10207
/proc/meminfo: memFree=31588428/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=73632 CPUtime=1602.33 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 20126 0 0 0 160229 4 0 0 25 0 1 0 889515022 75399168 17933 33554432000 4194304 6245536 140736956326944 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 18408 17933 229 501 0 17904 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 73632
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 10209
/proc/meminfo: memFree=31586520/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=74760 CPUtime=1662.33 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 20398 0 0 0 166229 4 0 0 25 0 1 0 889515022 76554240 18205 33554432000 4194304 6245536 140736956326944 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 18690 18205 229 501 0 18186 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 74760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10210
/proc/meminfo: memFree=31586600/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=74760 CPUtime=1722.33 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 20405 0 0 0 172229 4 0 0 25 0 1 0 889515022 76554240 18212 33554432000 4194304 6245536 140736956326944 18446744073709551615 4701908 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 18690 18212 229 501 0 18186 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 74760
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/178 10212
/proc/meminfo: memFree=31584812/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=75416 CPUtime=1782.34 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 20667 0 0 0 178230 4 0 0 25 0 1 0 889515022 77225984 18320 33554432000 4194304 6245536 140736956326944 18446744073709551615 4302647 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 18854 18320 229 501 0 18350 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 75416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.01 1.96 2/177 10213
/proc/meminfo: memFree=31651144/32950928 swapFree=67079488/67111528
[pid=10151] ppid=10149 vsize=75604 CPUtime=1800.04 cores=1,3,5,7
/proc/10151/stat : 10151 (clasp) R 10149 10151 7911 0 -1 4202496 20704 0 0 0 180000 4 0 0 25 0 1 0 889515022 77418496 18357 33554432000 4194304 6245536 140736956326944 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10151/statm: 18901 18357 229 501 0 18397 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 75604
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.01
CPU system time (s): 0.046992
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 75624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20716
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= 3
involuntary context switches= 2556
runsolver used 2.42763 second user time and 5.76312 second system time
The end