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-4082830-1465239425/watcher-4082830-1465239425 -o /tmp/evaluation-result-4082830-1465239425/solver-4082830-1465239425 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465219565-1168 --watchdog 1960 naps-1.02 HOME/instance-4082830-1465239425.opb 

pid=4052
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.23 2.25 2.25 4/176 4055
/proc/meminfo: memFree=30090964/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=6984 CPUtime=0 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 105875650 7151616 300 33554432000 4194304 5796924 140734282747520 140734859368600 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 1746 300 128 392 0 1345 0

[startup+0.100116 s]
/proc/loadavg: 2.23 2.25 2.25 4/176 4055
/proc/meminfo: memFree=30090964/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=7524 CPUtime=0.09 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 642 0 0 0 9 0 0 0 20 0 1 0 105875650 7704576 502 33554432000 4194304 5796924 140734282747520 140734859368600 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 1881 502 128 392 0 1480 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7524

[startup+0.200325 s]
/proc/loadavg: 2.23 2.25 2.25 4/176 4055
/proc/meminfo: memFree=30090964/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=8384 CPUtime=0.19 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 896 0 0 0 19 0 0 0 20 0 1 0 105875650 8585216 735 33554432000 4194304 5796924 140734282747520 140734282746744 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 2096 735 128 392 0 1695 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8384

[startup+0.300287 s]
/proc/loadavg: 2.23 2.25 2.25 4/176 4055
/proc/meminfo: memFree=30090964/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=9104 CPUtime=0.29 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 1147 0 0 0 29 0 0 0 20 0 1 0 105875650 9322496 966 33554432000 4194304 5796924 140734282747520 140734282746744 5092604 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 2276 966 128 392 0 1875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9104

[startup+0.700278 s]
/proc/loadavg: 2.23 2.25 2.25 4/176 4055
/proc/meminfo: memFree=30090964/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=11864 CPUtime=0.69 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 2051 0 0 0 69 0 0 0 20 0 1 0 105875650 12148736 2197 33554432000 4194304 5796924 140734282747520 140734282746744 5087606 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 2966 2197 128 392 0 2565 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11864

[startup+1.50028 s]
/proc/loadavg: 2.29 2.26 2.25 4/177 4056
/proc/meminfo: memFree=30078056/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=46608 CPUtime=1.49 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 11211 0 0 0 147 2 0 0 20 0 1 0 105875650 47726592 10580 33554432000 4194304 5796924 140734282747520 140734282746680 4648365 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 11652 10580 157 392 0 11251 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46608

[startup+3.1003 s]
/proc/loadavg: 2.29 2.26 2.25 5/177 4056
/proc/meminfo: memFree=30036136/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=58580 CPUtime=3.09 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 14742 0 0 0 307 2 0 0 20 0 1 0 105875650 59985920 13259 33554432000 4194304 5796924 140734282747520 140734282744568 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 14645 13259 170 392 0 14244 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58580

[startup+6.30032 s]
/proc/loadavg: 2.27 2.25 2.25 3/177 4056
/proc/meminfo: memFree=30029144/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=63536 CPUtime=6.29 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 16399 0 0 0 626 3 0 0 20 0 1 0 105875650 65060864 14477 33554432000 4194304 5796924 140734282747520 140734282744664 4569019 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 15884 14477 171 392 0 15483 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63536

[startup+12.7003 s]
/proc/loadavg: 2.25 2.25 2.25 3/177 4056
/proc/meminfo: memFree=30008472/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=78292 CPUtime=12.69 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 17412 0 0 0 1265 4 0 0 20 0 1 0 105875650 80171008 17003 33554432000 4194304 5796924 140734282747520 140734282744760 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 19573 17003 171 392 0 19172 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78292

[startup+25.5004 s]
/proc/loadavg: 2.35 2.27 2.26 4/177 4057
/proc/meminfo: memFree=29959756/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=108752 CPUtime=25.49 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 18616 0 0 0 2544 5 0 0 20 0 1 0 105875650 111362048 26180 33554432000 4194304 5796924 140734282747520 140734282744760 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 27188 26180 171 392 0 26787 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 108752

[startup+51.1004 s]
/proc/loadavg: 2.45 2.29 2.27 3/177 4057
/proc/meminfo: memFree=29881716/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=170080 CPUtime=51.08 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 20080 0 0 0 5101 7 0 0 20 0 1 0 105875650 174161920 40252 33554432000 4194304 5796924 140734282747520 140734282744808 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 42520 40252 171 392 0 42119 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 170080

[startup+102.3 s]
/proc/loadavg: 2.50 2.33 2.28 3/177 4058
/proc/meminfo: memFree=29885056/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=120760 CPUtime=102.27 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 22879 0 0 0 10215 12 0 0 20 0 1 0 105875650 123658240 29420 33554432000 4194304 5796924 140734282747520 140734282744984 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 30190 29420 171 392 0 29789 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 120760

[startup+162.3 s]
/proc/loadavg: 2.40 2.33 2.28 3/177 4059
/proc/meminfo: memFree=29908200/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=200900 CPUtime=162.26 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 25673 0 0 0 16209 17 0 0 20 0 1 0 105875650 205721600 42605 33554432000 4194304 5796924 140734282747520 140734282745160 4591892 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 50225 42605 171 392 0 49824 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 200900

[startup+222.307 s]
/proc/loadavg: 2.26 2.31 2.27 3/178 4063
/proc/meminfo: memFree=29869556/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=170080 CPUtime=222.25 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 27277 0 0 0 22204 21 0 0 20 0 1 0 105875650 174161920 40491 33554432000 4194304 5796924 140734282747520 140734282744808 4606559 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 42520 40491 171 392 0 42119 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 170080

[startup+282.3 s]
/proc/loadavg: 2.29 2.31 2.27 3/178 4087
/proc/meminfo: memFree=29794988/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=200900 CPUtime=282.24 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 29125 0 0 0 28199 25 0 0 20 0 1 0 105875650 205721600 49262 33554432000 4194304 5796924 140734282747520 140734282745160 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 50225 49262 171 392 0 49824 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 200900

[startup+342.3 s]
/proc/loadavg: 2.19 2.28 2.26 3/177 4089
/proc/meminfo: memFree=29834484/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=250988 CPUtime=342.22 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 30687 0 0 0 34194 28 0 0 20 0 1 0 105875650 257011712 55707 33554432000 4194304 5796924 140734282747520 140734282745160 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 62747 55707 171 392 0 62346 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 250988

[startup+402.3 s]
/proc/loadavg: 2.30 2.29 2.27 4/177 4090
/proc/meminfo: memFree=29895200/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=170080 CPUtime=402.22 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 32274 0 0 0 40190 32 0 0 20 0 1 0 105875650 174161920 37419 33554432000 4194304 5796924 140734282747520 140734282744808 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 42520 37419 171 392 0 42119 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 170080

[startup+462.3 s]
/proc/loadavg: 2.45 2.34 2.28 3/177 4137
/proc/meminfo: memFree=30093684/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=120760 CPUtime=462.21 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 33202 0 0 0 46186 35 0 0 20 0 1 0 105875650 123658240 29421 33554432000 4194304 5796924 140734282747520 140734282744984 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 30190 29421 171 392 0 29789 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 120760

[startup+522.3 s]
/proc/loadavg: 2.37 2.33 2.28 3/177 4138
/proc/meminfo: memFree=29976596/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=250988 CPUtime=522.2 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 34470 0 0 0 52182 38 0 0 20 0 1 0 105875650 257011712 57755 33554432000 4194304 5796924 140734282747520 140734282745160 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 62747 57755 171 392 0 62346 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 250988

[startup+582.3 s]
/proc/loadavg: 2.23 2.30 2.27 3/177 4139
/proc/meminfo: memFree=29982960/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=253428 CPUtime=582.19 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 35844 0 0 0 58178 41 0 0 20 0 1 0 105875650 259510272 54796 33554432000 4194304 5796924 140734282747520 140734282745160 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 63357 54796 171 392 0 62956 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 253428


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.37 2.33 2.28 3/177 4285
/proc/meminfo: memFree=30089140/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=129380 CPUtime=882.14 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 41736 0 0 0 88160 54 0 0 20 0 1 0 105875650 132485120 31582 33554432000 4194304 5796924 140734282747520 140734282744984 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 32345 31582 171 392 0 31944 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 129380

[startup+942.3 s]
/proc/loadavg: 2.29 2.31 2.27 3/177 4287
/proc/meminfo: memFree=29977552/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=259608 CPUtime=942.14 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 42992 0 0 0 94156 58 0 0 20 0 1 0 105875650 265838592 59404 33554432000 4194304 5796924 140734282747520 140734282745160 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 64902 59404 171 392 0 64501 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 259608

[startup+1002.3 s]
/proc/loadavg: 2.38 2.34 2.28 4/177 4288
/proc/meminfo: memFree=30028600/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=211168 CPUtime=1002.12 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 44869 0 0 0 100152 60 0 0 20 0 1 0 105875650 216236032 46708 33554432000 4194304 5796924 140734282747520 140734282745160 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 52792 46708 171 392 0 52391 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 211168

[startup+1062.3 s]
/proc/loadavg: 2.40 2.34 2.28 4/177 4289
/proc/meminfo: memFree=29957340/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=261256 CPUtime=1062.12 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 45206 0 0 0 106149 63 0 0 20 0 1 0 105875650 267526144 64417 33554432000 4194304 5796924 140734282747520 140734282745160 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 65314 64417 171 392 0 64913 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 261256

[startup+1122.3 s]
/proc/loadavg: 2.25 2.31 2.27 4/177 4290
/proc/meminfo: memFree=30016328/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=213112 CPUtime=1122.11 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 47158 0 0 0 112145 66 0 0 20 0 1 0 105875650 218226688 49754 33554432000 4194304 5796924 140734282747520 140734282745160 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 53278 49754 171 392 0 52877 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 213112

[startup+1182.3 s]
/proc/loadavg: 2.29 2.31 2.27 3/177 4291
/proc/meminfo: memFree=29949100/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=344588 CPUtime=1182.09 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 48007 0 0 0 118142 67 0 0 20 0 1 0 105875650 352858112 66439 33554432000 4194304 5796924 140734282747520 140734282745160 4606495 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 86147 66439 171 392 0 85746 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 344588

[startup+1242.3 s]
/proc/loadavg: 2.37 2.33 2.28 3/176 4292
/proc/meminfo: memFree=29699476/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=215588 CPUtime=1242.08 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 49088 0 0 0 124139 69 0 0 20 0 1 0 105875650 220762112 50911 33554432000 4194304 5796924 140734282747520 140734282745160 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 53897 50911 171 392 0 53496 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 215588

[startup+1302.3 s]
/proc/loadavg: 2.27 2.31 2.27 3/177 4294
/proc/meminfo: memFree=29636420/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=347064 CPUtime=1302.06 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 49953 0 0 0 130135 71 0 0 20 0 1 0 105875650 355393536 67084 33554432000 4194304 5796924 140734282747520 140734282745160 4607599 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 86766 67084 171 392 0 86365 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 347064

[startup+1362.3 s]
/proc/loadavg: 2.27 2.29 2.27 3/177 4295
/proc/meminfo: memFree=29706492/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=217960 CPUtime=1362.04 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 50983 0 0 0 136131 73 0 0 20 0 1 0 105875650 223191040 48406 33554432000 4194304 5796924 140734282747520 140734282745160 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 54490 48406 171 392 0 54089 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 217960

[startup+1422.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/178 4299
/proc/meminfo: memFree=29640908/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=268048 CPUtime=1422.04 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 51319 0 0 0 142129 75 0 0 20 0 1 0 105875650 274481152 65091 33554432000 4194304 5796924 140734282747520 140734282745160 4607171 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 67012 65091 171 392 0 66611 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 268048

[startup+1482.3 s]
/proc/loadavg: 2.24 2.27 2.26 3/177 4300
/proc/meminfo: memFree=29696316/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=189180 CPUtime=1482.03 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 52721 0 0 0 148126 77 0 0 20 0 1 0 105875650 193720320 42705 33554432000 4194304 5796924 140734282747520 140734282744808 4607192 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 47295 42705 171 392 0 46894 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 189180

[startup+1542.31 s]
/proc/loadavg: 2.24 2.27 2.26 3/177 4301
/proc/meminfo: memFree=29618856/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=270088 CPUtime=1542.02 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 53648 0 0 0 154123 79 0 0 20 0 1 0 105875650 276570112 61505 33554432000 4194304 5796924 140734282747520 140734282745160 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 67522 61505 171 392 0 67121 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 270088

[startup+1602.3 s]
/proc/loadavg: 2.29 2.28 2.27 3/177 4303
/proc/meminfo: memFree=29563480/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=351476 CPUtime=1602 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 54188 0 0 0 160121 79 0 0 20 0 1 0 105875650 359911424 75329 33554432000 4194304 5796924 140734282747520 140734282745160 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 87869 75329 171 392 0 87468 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 351476

[startup+1662.3 s]
/proc/loadavg: 2.21 2.25 2.26 4/177 4304
/proc/meminfo: memFree=29651844/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=220000 CPUtime=1662 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 55004 0 0 0 166118 82 0 0 20 0 1 0 105875650 225280000 53355 33554432000 4194304 5796924 140734282747520 140734282745160 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 55000 53355 171 392 0 54599 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 220000

[startup+1722.3 s]
/proc/loadavg: 2.22 2.25 2.26 3/177 4305
/proc/meminfo: memFree=29584124/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=351476 CPUtime=1721.99 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 56068 0 0 0 172116 83 0 0 20 0 1 0 105875650 359911424 70763 33554432000 4194304 5796924 140734282747520 140734282745160 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 87869 70763 171 392 0 87468 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 351476

[startup+1782.3 s]
/proc/loadavg: 2.13 2.22 2.25 3/177 4306
/proc/meminfo: memFree=29689432/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=189180 CPUtime=1781.98 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 56478 0 0 0 178114 84 0 0 20 0 1 0 105875650 193720320 43729 33554432000 4194304 5796924 140734282747520 140734282744984 4607241 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 47295 43729 171 392 0 46894 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 189180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.20 2.24 3/177 4307
/proc/meminfo: memFree=29667168/32872528 swapFree=16360/1798728
[pid=4055] ppid=4052 vsize=220000 CPUtime=1800.07 cores=0,2,4,6
/proc/4055/stat : 4055 (naps-1.02) R 4052 4055 1152 0 -1 4202496 57072 0 0 0 179922 85 0 0 20 0 1 0 105875650 225280000 49428 33554432000 4194304 5796924 140734282747520 140734282745160 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/4055/statm: 55000 49428 171 392 0 54599 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 220000

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 4055 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.23
CPU system time (s): 0.860869
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 400796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.860869
maximum resident set size= 366244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57084
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= 59
involuntary context switches= 2095

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13192 second user time and 7.06792 second system time

The end