runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4105507-1466273703/watcher-4105507-1466273703 -o /tmp/evaluation-result-4105507-1466273703/solver-4105507-1466273703 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466271892-5392 --watchdog 1960 naps-1.02 HOME/instance-4105507-1466273703.opb
pid=5670
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: 2.24 2.28 2.21 3/176 5673
/proc/meminfo: memFree=30160440/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=6824 CPUtime=0 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 399 0 0 0 0 0 0 0 20 0 1 0 29415498 6987776 274 33554432000 4194304 5796924 140734781860336 140733763118808 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 1706 274 128 392 0 1305 0
[startup+0.100163 s]
/proc/loadavg: 2.24 2.28 2.21 3/176 5673
/proc/meminfo: memFree=30160440/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=7020 CPUtime=0.09 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 448 0 0 0 9 0 0 0 20 0 1 0 29415498 7188480 323 33554432000 4194304 5796924 140734781860336 140733763118808 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 1755 323 129 392 0 1354 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7020
[startup+0.200227 s]
/proc/loadavg: 2.24 2.28 2.21 3/176 5673
/proc/meminfo: memFree=30160440/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=7136 CPUtime=0.19 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 510 0 0 0 19 0 0 0 20 0 1 0 29415498 7307264 383 33554432000 4194304 5796924 140734781860336 140733763118808 5093806 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 1784 383 129 392 0 1383 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7136
[startup+0.300223 s]
/proc/loadavg: 2.24 2.28 2.21 3/176 5673
/proc/meminfo: memFree=30160440/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=7256 CPUtime=0.29 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 575 0 0 0 29 0 0 0 20 0 1 0 29415498 7430144 447 33554432000 4194304 5796924 140734781860336 140733763118808 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 1814 447 129 392 0 1413 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7256
[startup+0.700277 s]
/proc/loadavg: 2.24 2.28 2.21 3/176 5673
/proc/meminfo: memFree=30160440/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=28736 CPUtime=0.68 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 7181 0 0 0 68 0 0 0 20 0 1 0 29415498 29425664 6529 33554432000 4194304 5796924 140734781860336 140733763118808 4606474 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 7184 6529 168 392 0 6783 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 28736
[startup+1.50028 s]
/proc/loadavg: 2.24 2.28 2.21 4/177 5674
/proc/meminfo: memFree=30129436/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=33528 CPUtime=1.49 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 8288 0 0 0 148 1 0 0 20 0 1 0 29415498 34332672 7615 33554432000 4194304 5796924 140734781860336 140734781857384 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 8382 7615 169 392 0 7981 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33528
[startup+3.10024 s]
/proc/loadavg: 2.24 2.28 2.21 4/177 5674
/proc/meminfo: memFree=30117832/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=33528 CPUtime=3.09 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 8613 0 0 0 308 1 0 0 20 0 1 0 29415498 34332672 7778 33554432000 4194304 5796924 140734781860336 140734781857624 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 8382 7778 169 392 0 7981 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33528
[startup+6.30024 s]
/proc/loadavg: 2.22 2.27 2.21 4/177 5674
/proc/meminfo: memFree=30101136/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=45024 CPUtime=6.29 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 9560 0 0 0 628 1 0 0 20 0 1 0 29415498 46104576 9729 33554432000 4194304 5796924 140734781860336 140734781857400 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 11256 9729 169 392 0 10855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45024
[startup+12.7002 s]
/proc/loadavg: 2.28 2.28 2.22 3/177 5674
/proc/meminfo: memFree=30098300/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=45024 CPUtime=12.68 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 9561 0 0 0 1267 1 0 0 20 0 1 0 29415498 46104576 10241 33554432000 4194304 5796924 140734781860336 140734781857400 4606518 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 11256 10241 169 392 0 10855 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45024
[startup+25.5004 s]
/proc/loadavg: 2.29 2.28 2.22 3/176 5674
/proc/meminfo: memFree=30078312/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=71208 CPUtime=25.48 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 11133 0 0 0 2546 2 0 0 20 0 1 0 29415498 72916992 13349 33554432000 4194304 5796924 140734781860336 140734781857576 4606744 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 17802 13349 169 392 0 17401 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71208
[startup+51.1004 s]
/proc/loadavg: 2.25 2.28 2.22 3/176 5674
/proc/meminfo: memFree=30051388/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=71208 CPUtime=51.08 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 11803 0 0 0 5105 3 0 0 20 0 1 0 29415498 72916992 14688 33554432000 4194304 5796924 140734781860336 140734781857800 4594616 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 17802 14688 169 392 0 17401 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 71208
[startup+102.3 s]
/proc/loadavg: 2.26 2.28 2.22 3/177 5677
/proc/meminfo: memFree=30014996/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=90064 CPUtime=102.27 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 13394 0 0 0 10223 4 0 0 20 0 1 0 29415498 92225536 21898 33554432000 4194304 5796924 140734781860336 140734781857800 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5673/statm: 22516 21898 169 392 0 22115 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 90064
[startup+162.3 s]
/proc/loadavg: 2.36 2.30 2.23 3/177 5678
/proc/meminfo: memFree=30003152/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=90288 CPUtime=162.26 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 13890 0 0 0 16221 5 0 0 20 0 1 0 29415498 92454912 21900 33554432000 4194304 5796924 140734781860336 140734781857576 4607212 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 22572 21900 169 392 0 22171 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 90288
[startup+222.307 s]
/proc/loadavg: 2.22 2.27 2.22 3/177 5679
/proc/meminfo: memFree=30002312/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=90288 CPUtime=222.26 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 16023 0 0 0 22218 8 0 0 20 0 1 0 29415498 92454912 21957 33554432000 4194304 5796924 140734781860336 140734781857800 4569014 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 22572 21957 169 392 0 22171 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 90288
[startup+282.3 s]
/proc/loadavg: 2.21 2.26 2.22 3/177 5680
/proc/meminfo: memFree=30001824/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=90288 CPUtime=282.24 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 17298 0 0 0 28214 10 0 0 20 0 1 0 29415498 92454912 21960 33554432000 4194304 5796924 140734781860336 140734781857800 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 22572 21960 169 392 0 22171 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 90288
[startup+342.3 s]
/proc/loadavg: 2.25 2.26 2.22 4/178 5684
/proc/meminfo: memFree=29965788/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=139608 CPUtime=342.23 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 18876 0 0 0 34210 13 0 0 20 0 1 0 29415498 142958592 31141 33554432000 4194304 5796924 140734781860336 140734781857624 4592188 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 34902 31141 169 392 0 34501 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 139608
[startup+402.3 s]
/proc/loadavg: 2.21 2.24 2.21 3/176 5685
/proc/meminfo: memFree=29963260/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=139608 CPUtime=402.22 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 19868 0 0 0 40208 14 0 0 20 0 1 0 29415498 142958592 31654 33554432000 4194304 5796924 140734781860336 140734781857624 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 34902 31654 169 392 0 34501 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 139608
[startup+462.3 s]
/proc/loadavg: 2.36 2.27 2.22 3/177 5687
/proc/meminfo: memFree=29936348/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=170428 CPUtime=462.21 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 21552 0 0 0 46204 17 0 0 20 0 1 0 29415498 174518272 38377 33554432000 4194304 5796924 140734781860336 140734781857976 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 42607 38377 169 392 0 42206 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 170428
[startup+522.3 s]
/proc/loadavg: 2.28 2.26 2.22 3/177 5688
/proc/meminfo: memFree=30001420/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=90288 CPUtime=522.21 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 22661 0 0 0 52201 20 0 0 20 0 1 0 29415498 92454912 21972 33554432000 4194304 5796924 140734781860336 140734781857800 4607194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 22572 21972 169 392 0 22171 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 90288
[startup+582.3 s]
/proc/loadavg: 2.31 2.26 2.22 3/177 5689
/proc/meminfo: memFree=29968672/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=90288 CPUtime=582.19 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 23761 0 0 0 58198 21 0 0 20 0 1 0 29415498 92454912 21972 33554432000 4194304 5796924 140734781860336 140734781857800 4606552 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 22572 21972 169 392 0 22171 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 90288
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.16 2.24 2.22 3/178 5699
/proc/meminfo: memFree=29848220/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=251048 CPUtime=942.14 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 30865 0 0 0 94182 32 0 0 20 0 1 0 29415498 257073152 51061 33554432000 4194304 5796924 140734781860336 140734781857976 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 62762 51061 169 392 0 62361 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 251048
[startup+1002.3 s]
/proc/loadavg: 2.27 2.26 2.22 3/177 5700
/proc/meminfo: memFree=29880188/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=200960 CPUtime=1002.12 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 32496 0 0 0 100178 34 0 0 20 0 1 0 29415498 205783040 43080 33554432000 4194304 5796924 140734781860336 140734781857976 4606495 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 50240 43080 169 392 0 49839 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 200960
[startup+1062.3 s]
/proc/loadavg: 2.30 2.27 2.23 3/177 5702
/proc/meminfo: memFree=29899084/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=170140 CPUtime=1062.11 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 32995 0 0 0 106176 35 0 0 20 0 1 0 29415498 174223360 38917 33554432000 4194304 5796924 140734781860336 140734781857624 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 42535 38917 169 392 0 42134 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 170140
[startup+1122.3 s]
/proc/loadavg: 2.17 2.23 2.21 3/177 5703
/proc/meminfo: memFree=29888740/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=170140 CPUtime=1122.11 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 33495 0 0 0 112175 36 0 0 20 0 1 0 29415498 174223360 39429 33554432000 4194304 5796924 140734781860336 140734781857624 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 42535 39429 169 392 0 42134 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 170140
[startup+1182.3 s]
/proc/loadavg: 2.21 2.23 2.21 3/177 5704
/proc/meminfo: memFree=29899820/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=120820 CPUtime=1182.1 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 34098 0 0 0 118173 37 0 0 20 0 1 0 29415498 123719680 29736 33554432000 4194304 5796924 140734781860336 140734781857800 4606708 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 30205 29736 169 392 0 29804 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 120820
[startup+1242.3 s]
/proc/loadavg: 2.27 2.25 2.22 3/177 5705
/proc/meminfo: memFree=29904004/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=200960 CPUtime=1242.09 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 35196 0 0 0 124171 38 0 0 20 0 1 0 29415498 205783040 45640 33554432000 4194304 5796924 140734781860336 140734781857976 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 50240 45640 169 392 0 49839 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 200960
[startup+1302.3 s]
/proc/loadavg: 2.32 2.26 2.22 3/177 5706
/proc/meminfo: memFree=29882128/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=170140 CPUtime=1302.07 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 35708 0 0 0 130168 39 0 0 20 0 1 0 29415498 174223360 41999 33554432000 4194304 5796924 140734781860336 140734781857624 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 42535 41999 169 392 0 42134 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 170140
[startup+1362.3 s]
/proc/loadavg: 2.30 2.26 2.22 3/177 5708
/proc/meminfo: memFree=29839472/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=170140 CPUtime=1362.07 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 36793 0 0 0 136166 41 0 0 20 0 1 0 29415498 174223360 40965 33554432000 4194304 5796924 140734781860336 140734781857624 4606483 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 42535 40965 169 392 0 42134 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 170140
[startup+1422.3 s]
/proc/loadavg: 2.31 2.27 2.22 4/177 5709
/proc/meminfo: memFree=29861776/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=200960 CPUtime=1422.06 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 37388 0 0 0 142165 41 0 0 20 0 1 0 29415498 205783040 48200 33554432000 4194304 5796924 140734781860336 140734781857976 4606847 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 50240 48200 169 392 0 49839 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 200960
[startup+1482.3 s]
/proc/loadavg: 2.21 2.25 2.22 3/177 5710
/proc/meminfo: memFree=29845608/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=170140 CPUtime=1482.05 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 37889 0 0 0 148163 42 0 0 20 0 1 0 29415498 174223360 41477 33554432000 4194304 5796924 140734781860336 140734781857624 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 42535 41477 169 392 0 42134 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 170140
[startup+1542.31 s]
/proc/loadavg: 2.16 2.23 2.21 3/178 5714
/proc/meminfo: memFree=29851884/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=170140 CPUtime=1542.05 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 38981 0 0 0 154161 44 0 0 20 0 1 0 29415498 174223360 39429 33554432000 4194304 5796924 140734781860336 140734781857624 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 42535 39429 169 392 0 42134 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 170140
[startup+1602.3 s]
/proc/loadavg: 2.21 2.23 2.21 3/177 5715
/proc/meminfo: memFree=29797860/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=200960 CPUtime=1602.04 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 39577 0 0 0 160159 45 0 0 20 0 1 0 29415498 205783040 44616 33554432000 4194304 5796924 140734781860336 140734781857976 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 50240 44616 169 392 0 49839 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 200960
[startup+1662.3 s]
/proc/loadavg: 2.22 2.23 2.21 3/177 5717
/proc/meminfo: memFree=29825208/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=170140 CPUtime=1662.02 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 40079 0 0 0 166156 46 0 0 20 0 1 0 29415498 174223360 41989 33554432000 4194304 5796924 140734781860336 140734781857624 4594601 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 42535 41989 169 392 0 42134 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 170140
[startup+1722.3 s]
/proc/loadavg: 2.24 2.23 2.20 4/177 5718
/proc/meminfo: memFree=29887992/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=120820 CPUtime=1722.02 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 40678 0 0 0 172154 48 0 0 20 0 1 0 29415498 123719680 29736 33554432000 4194304 5796924 140734781860336 140734781857800 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 30205 29736 169 392 0 29804 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 120820
[startup+1782.3 s]
/proc/loadavg: 2.23 2.23 2.20 3/177 5719
/proc/meminfo: memFree=29874792/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=200960 CPUtime=1782.01 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 41765 0 0 0 178152 49 0 0 20 0 1 0 29415498 205783040 44616 33554432000 4194304 5796924 140734781860336 140734781857976 4607264 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 50240 44616 169 392 0 49839 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 200960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.23 2.23 2.20 3/174 5802
/proc/meminfo: memFree=29940160/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=200960 CPUtime=1800 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 41768 0 0 0 179951 49 0 0 20 0 1 0 29415498 205783040 46152 33554432000 4194304 5796924 140734781860336 140734781857976 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 50240 46152 169 392 0 49839 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 200960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5673 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.23 2.23 2.20 3/174 5802
/proc/meminfo: memFree=29940160/32872528 swapFree=1400172/1569824
[pid=5673] ppid=5670 vsize=200960 CPUtime=1800 cores=0,2,4,6
/proc/5673/stat : 5673 (naps-1.02) R 5670 5673 29900 0 -1 4202496 41768 0 0 0 179951 49 0 0 20 0 1 0 29415498 205783040 46152 33554432000 4194304 5796924 140734781860336 140734781857976 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5673/statm: 50240 46152 169 392 0 49839 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 200960
Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.52
CPU system time (s): 0.500923
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 332436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.500923
maximum resident set size= 257492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41780
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= 16
involuntary context switches= 1879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71128 second user time and 6.92995 second system time
The end