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-3491869-1307774675/watcher-3491869-1307774675 -o /tmp/evaluation-result-3491869-1307774675/solver-3491869-1307774675 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491869-1307774675.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.92 1.98 1.93 2/174 5509
/proc/meminfo: memFree=30943780/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=6060 CPUtime=0 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 1285 0 0 0 0 0 0 0 25 0 1 0 967698002 6205440 1114 33554432000 4194304 6245536 140735811195120 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 1515 1115 181 501 0 1011 0
[startup+0.00924798 s]
/proc/loadavg: 1.92 1.98 1.93 2/174 5509
/proc/meminfo: memFree=30943780/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=6456 CPUtime=0 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 1408 0 0 0 0 0 0 0 25 0 1 0 967698002 6610944 1237 33554432000 4194304 6245536 140735811195120 18446744073709551615 4532597 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 1647 1238 181 501 0 1143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6456
[startup+0.100287 s]
/proc/loadavg: 1.92 1.98 1.93 2/174 5509
/proc/meminfo: memFree=30943780/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=12224 CPUtime=0.09 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 3511 0 0 0 9 0 0 0 25 0 1 0 967698002 12517376 2704 33554432000 4194304 6245536 140735811195120 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 3056 2704 221 501 0 2552 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12224
[startup+0.300229 s]
/proc/loadavg: 1.92 1.98 1.93 2/174 5509
/proc/meminfo: memFree=30943780/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=12356 CPUtime=0.29 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 3555 0 0 0 29 0 0 0 25 0 1 0 967698002 12652544 2748 33554432000 4194304 6245536 140735811195120 18446744073709551615 4409797 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 3089 2748 229 501 0 2585 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12356
[startup+0.700158 s]
/proc/loadavg: 1.92 1.98 1.93 2/174 5509
/proc/meminfo: memFree=30943780/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=13412 CPUtime=0.69 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 3815 0 0 0 69 0 0 0 25 0 1 0 967698002 13733888 3008 33554432000 4194304 6245536 140735811195120 18446744073709551615 4409674 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 3353 3008 229 501 0 2849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13412
[startup+1.50101 s]
/proc/loadavg: 1.92 1.98 1.93 3/175 5510
/proc/meminfo: memFree=30931520/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=14760 CPUtime=1.49 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 4140 0 0 0 149 0 0 0 25 0 1 0 967698002 15114240 3333 33554432000 4194304 6245536 140735811195120 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 3690 3333 229 501 0 3186 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14760
[startup+3.10071 s]
/proc/loadavg: 1.92 1.98 1.93 3/175 5510
/proc/meminfo: memFree=30929288/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=16344 CPUtime=3.09 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 4561 0 0 0 308 1 0 0 25 0 1 0 967698002 16736256 3754 33554432000 4194304 6245536 140735811195120 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 4086 3754 229 501 0 3582 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16344
[startup+6.30012 s]
/proc/loadavg: 1.93 1.98 1.93 3/175 5510
/proc/meminfo: memFree=30925892/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=19088 CPUtime=6.29 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 5232 0 0 0 628 1 0 0 25 0 1 0 967698002 19546112 4425 33554432000 4194304 6245536 140735811195120 18446744073709551615 4304917 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 4772 4425 229 501 0 4268 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19088
[startup+12.7009 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 5511
/proc/meminfo: memFree=30920620/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=22212 CPUtime=12.69 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 5991 0 0 0 1268 1 0 0 25 0 1 0 967698002 22745088 5184 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 5553 5184 229 501 0 5049 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22212
[startup+25.5005 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 5511
/proc/meminfo: memFree=30915160/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=26864 CPUtime=25.49 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 7072 0 0 0 2548 1 0 0 25 0 1 0 967698002 27508736 6265 33554432000 4194304 6245536 140735811195120 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 6716 6265 229 501 0 6212 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26864
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5550
/proc/meminfo: memFree=30902460/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=30976 CPUtime=51.09 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 8014 0 0 0 5108 1 0 0 25 0 1 0 967698002 31719424 7207 33554432000 4194304 6245536 140735811195120 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 7744 7207 229 501 0 7240 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30976
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5551
/proc/meminfo: memFree=30884384/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=40276 CPUtime=102.3 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 10171 0 0 0 10229 1 0 0 25 0 1 0 967698002 41242624 9364 33554432000 4194304 6245536 140735811195120 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 10069 9364 229 501 0 9565 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40276
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5553
/proc/meminfo: memFree=30872932/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=48040 CPUtime=162.29 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 11934 0 0 0 16228 1 0 0 25 0 1 0 967698002 49192960 11127 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629028 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 12010 11127 229 501 0 11506 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 48040
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5554
/proc/meminfo: memFree=30865472/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=52024 CPUtime=222.29 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 12838 0 0 0 22228 1 0 0 25 0 1 0 967698002 53272576 12031 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 13006 12031 229 501 0 12502 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 52024
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5556
/proc/meminfo: memFree=30859236/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=56764 CPUtime=282.29 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 13891 0 0 0 28228 1 0 0 25 0 1 0 967698002 58126336 13084 33554432000 4194304 6245536 140735811195120 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 14191 13084 229 501 0 13687 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 56764
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5557
/proc/meminfo: memFree=30854608/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=59568 CPUtime=342.3 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 14551 0 0 0 34228 2 0 0 25 0 1 0 967698002 60997632 13744 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 14892 13744 229 501 0 14388 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 59568
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5559
/proc/meminfo: memFree=30848368/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=64728 CPUtime=402.31 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 15759 0 0 0 40229 2 0 0 25 0 1 0 967698002 66281472 14952 33554432000 4194304 6245536 140735811195120 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 16182 14952 229 501 0 15678 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 64728
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5561
/proc/meminfo: memFree=30841152/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=67772 CPUtime=462.31 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 16455 0 0 0 46229 2 0 0 25 0 1 0 967698002 69398528 15648 33554432000 4194304 6245536 140735811195120 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 16943 15648 229 501 0 16439 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 67772
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5562
/proc/meminfo: memFree=30837280/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=69732 CPUtime=522.31 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 16872 0 0 0 52229 2 0 0 25 0 1 0 967698002 71405568 16065 33554432000 4194304 6245536 140735811195120 18446744073709551615 4409816 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 17433 16065 229 501 0 16929 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 69732
[startup+582.301 s]
/proc/loadavg: 2.07 2.02 1.94 3/175 5564
/proc/meminfo: memFree=30835140/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=71636 CPUtime=582.31 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 17315 0 0 0 58229 2 0 0 25 0 1 0 967698002 73355264 16508 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5509/statm: 17909 16508 229 501 0 17405 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 71636
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5570
/proc/meminfo: memFree=30827316/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=76796 CPUtime=822.31 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 18465 0 0 0 82229 2 0 0 25 0 1 0 967698002 78639104 17658 33554432000 4194304 6245536 140735811195120 18446744073709551615 5419264 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 19199 17658 229 501 0 18695 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 76796
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5572
/proc/meminfo: memFree=30826300/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=77048 CPUtime=882.32 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 18529 0 0 0 88230 2 0 0 25 0 1 0 967698002 78897152 17722 33554432000 4194304 6245536 140735811195120 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 19262 17722 229 501 0 18758 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 77048
[startup+942.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/175 5573
/proc/meminfo: memFree=30822928/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=80792 CPUtime=942.32 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 19412 0 0 0 94230 2 0 0 25 0 1 0 967698002 82731008 18605 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 20198 18605 229 501 0 19694 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 80792
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/175 5584
/proc/meminfo: memFree=30820188/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=82972 CPUtime=1002.32 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 19874 0 0 0 100230 2 0 0 25 0 1 0 967698002 84963328 19067 33554432000 4194304 6245536 140735811195120 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 20743 19067 229 501 0 20239 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 82972
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5586
/proc/meminfo: memFree=30816160/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=84048 CPUtime=1062.32 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 20118 0 0 0 106230 2 0 0 25 0 1 0 967698002 86065152 19311 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 21012 19311 229 501 0 20508 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 84048
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5587
/proc/meminfo: memFree=30814020/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=84744 CPUtime=1122.32 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 20262 0 0 0 112230 2 0 0 25 0 1 0 967698002 86777856 19455 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629028 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 21186 19455 229 501 0 20682 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 84744
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5589
/proc/meminfo: memFree=30813368/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=85312 CPUtime=1182.33 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 20425 0 0 0 118231 2 0 0 25 0 1 0 967698002 87359488 19618 33554432000 4194304 6245536 140735811195120 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 21328 19618 229 501 0 20824 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 85312
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5590
/proc/meminfo: memFree=30809616/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=87168 CPUtime=1242.33 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 20833 0 0 0 124231 2 0 0 25 0 1 0 967698002 89260032 20026 33554432000 4194304 6245536 140735811195120 18446744073709551615 4344766 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 21792 20026 229 501 0 21288 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 87168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5592
/proc/meminfo: memFree=30808716/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=87832 CPUtime=1302.34 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 20989 0 0 0 130232 2 0 0 25 0 1 0 967698002 89939968 20182 33554432000 4194304 6245536 140735811195120 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 21958 20182 229 501 0 21454 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 87832
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5594
/proc/meminfo: memFree=30807060/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=90000 CPUtime=1362.33 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 21460 0 0 0 136231 2 0 0 25 0 1 0 967698002 92160000 20653 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 22500 20653 229 501 0 21996 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 90000
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5595
/proc/meminfo: memFree=30805664/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=90948 CPUtime=1422.34 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 21647 0 0 0 142232 2 0 0 25 0 1 0 967698002 93130752 20840 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629028 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 22737 20840 229 501 0 22233 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 90948
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5597
/proc/meminfo: memFree=30804768/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=92208 CPUtime=1482.33 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 21916 0 0 0 148231 2 0 0 25 0 1 0 967698002 94420992 21109 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 23052 21109 229 501 0 22548 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 92208
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5598
/proc/meminfo: memFree=30802500/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=94176 CPUtime=1542.33 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 22374 0 0 0 154231 2 0 0 25 0 1 0 967698002 96436224 21567 33554432000 4194304 6245536 140735811195120 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 23544 21567 229 501 0 23040 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 94176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5600
/proc/meminfo: memFree=30801608/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=94432 CPUtime=1602.34 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 22472 0 0 0 160232 2 0 0 25 0 1 0 967698002 96698368 21665 33554432000 4194304 6245536 140735811195120 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 23608 21665 229 501 0 23104 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 94432
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/175 5602
/proc/meminfo: memFree=30799964/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=96380 CPUtime=1662.35 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 22849 0 0 0 166232 3 0 0 25 0 1 0 967698002 98693120 22042 33554432000 4194304 6245536 140735811195120 18446744073709551615 4408736 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 24095 22042 229 501 0 23591 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 96380
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 5603
/proc/meminfo: memFree=30798196/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=98276 CPUtime=1722.35 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 23277 0 0 0 172232 3 0 0 25 0 1 0 967698002 100634624 22470 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 24569 22470 229 501 0 24065 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 98276
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5605
/proc/meminfo: memFree=30797044/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=99320 CPUtime=1782.35 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 23507 0 0 0 178232 3 0 0 25 0 1 0 967698002 101703680 22700 33554432000 4194304 6245536 140735811195120 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 24830 22700 229 501 0 24326 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 99320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5605
/proc/meminfo: memFree=30796664/32951124 swapFree=67062556/67111528
[pid=5509] ppid=5507 vsize=99508 CPUtime=1800.06 cores=1,3,5,7
/proc/5509/stat : 5509 (clasp) R 5507 5509 30926 0 -1 4202496 23554 0 0 0 180003 3 0 0 25 0 1 0 967698002 101896192 22747 33554432000 4194304 6245536 140735811195120 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5509/statm: 24877 22747 229 501 0 24373 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 99508
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.03
CPU system time (s): 0.035994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 99508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23565
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= 2737
runsolver used 2.38964 second user time and 5.82711 second system time
The end