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-4109171-1466341818/watcher-4109171-1466341818 -o /tmp/evaluation-result-4109171-1466341818/solver-4109171-1466341818 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466341818-18787 --watchdog 1960 naps-1.02 HOME/instance-4109171-1466341818.wbo 

pid=18809
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: 0.34 0.24 0.19 5/176 18815
/proc/meminfo: memFree=29932648/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=6684 CPUtime=0 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 36228946 6844416 247 33554432000 4194304 5796924 140735529840048 140735457952424 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 1671 247 130 392 0 1270 0

[startup+0.100159 s]
/proc/loadavg: 0.34 0.24 0.19 5/176 18815
/proc/meminfo: memFree=29932648/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=7160 CPUtime=0.09 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 1704 0 0 0 9 0 0 0 20 0 1 0 36228946 7331840 1364 33554432000 4194304 5796924 140735529840048 140735457952424 4632576 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 1790 1364 152 392 0 1389 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7160

[startup+0.200271 s]
/proc/loadavg: 0.34 0.24 0.19 5/176 18815
/proc/meminfo: memFree=29932648/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=15072 CPUtime=0.19 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 3706 0 0 0 19 0 0 0 20 0 1 0 36228946 15433728 3136 33554432000 4194304 5796924 140735529840048 140735457952424 4611179 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 3768 3136 171 392 0 3367 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15072

[startup+0.300404 s]
/proc/loadavg: 0.34 0.24 0.19 5/176 18815
/proc/meminfo: memFree=29932648/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=17752 CPUtime=0.29 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 3860 0 0 0 29 0 0 0 20 0 1 0 36228946 18178048 3801 33554432000 4194304 5796924 140735529840048 140735529837064 4592620 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 4438 3801 171 392 0 4037 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17752

[startup+0.700312 s]
/proc/loadavg: 0.34 0.24 0.19 5/176 18815
/proc/meminfo: memFree=29932648/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=24828 CPUtime=0.69 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 4416 0 0 0 69 0 0 0 20 0 1 0 36228946 25423872 5378 33554432000 4194304 5796924 140735529840048 140735529837064 4628287 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 6207 5378 171 392 0 5806 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24828

[startup+1.50036 s]
/proc/loadavg: 0.34 0.24 0.19 4/178 18817
/proc/meminfo: memFree=29903472/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=25488 CPUtime=1.49 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 4904 0 0 0 149 0 0 0 20 0 1 0 36228946 26099712 5449 33554432000 4194304 5796924 140735529840048 140735529838440 4592438 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 6372 5449 183 392 0 5971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25488

[startup+3.10037 s]
/proc/loadavg: 0.34 0.24 0.19 4/178 18817
/proc/meminfo: memFree=29894804/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=40020 CPUtime=3.08 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 6329 0 0 0 308 0 0 0 20 0 1 0 36228946 40980480 8008 33554432000 4194304 5796924 140735529840048 140735529837512 4925857 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 10005 8008 183 392 0 9604 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 40020

[startup+6.30028 s]
/proc/loadavg: 0.47 0.27 0.20 4/178 18817
/proc/meminfo: memFree=29876108/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=47204 CPUtime=6.29 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 7010 0 0 0 628 1 0 0 20 0 1 0 36228946 48336896 11234 33554432000 4194304 5796924 140735529840048 140735529837112 4577307 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 11801 11234 183 392 0 11400 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47204

[startup+12.7003 s]
/proc/loadavg: 0.60 0.30 0.21 4/178 18817
/proc/meminfo: memFree=29862924/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=70424 CPUtime=12.69 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 8009 0 0 0 1268 1 0 0 20 0 1 0 36228946 72114176 14125 33554432000 4194304 5796924 140735529840048 140735529837288 4606495 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 17606 14125 183 392 0 17205 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70424

[startup+25.5005 s]
/proc/loadavg: 0.97 0.40 0.24 4/178 18817
/proc/meminfo: memFree=29859408/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=89280 CPUtime=25.49 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 8522 0 0 0 2547 2 0 0 20 0 1 0 36228946 91422720 14639 33554432000 4194304 5796924 140735529840048 140735529837288 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 22320 14639 183 392 0 21919 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89280

[startup+51.1004 s]
/proc/loadavg: 1.39 0.54 0.29 5/176 18817
/proc/meminfo: memFree=29827716/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=89280 CPUtime=51.08 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 9147 0 0 0 5106 2 0 0 20 0 1 0 36228946 91422720 21382 33554432000 4194304 5796924 140735529840048 140735529837288 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 22320 21382 183 392 0 21919 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89280

[startup+102.3 s]
/proc/loadavg: 1.97 0.83 0.40 4/177 18819
/proc/meminfo: memFree=29776320/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=101188 CPUtime=102.28 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 10265 0 0 0 10223 5 0 0 20 0 1 0 36228946 103616512 24359 33554432000 4194304 5796924 140735529840048 140735529837336 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 25297 24359 183 392 0 24896 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 101188

[startup+162.3 s]
/proc/loadavg: 2.15 1.08 0.51 4/177 18820
/proc/meminfo: memFree=29802144/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=101188 CPUtime=162.27 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 11883 0 0 0 16217 10 0 0 20 0 1 0 36228946 103616512 24714 33554432000 4194304 5796924 140735529840048 140735529837512 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 25297 24714 183 392 0 24896 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 101188

[startup+222.308 s]
/proc/loadavg: 2.16 1.28 0.61 4/177 18821
/proc/meminfo: memFree=29778196/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=119864 CPUtime=222.27 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 13347 0 0 0 22213 14 0 0 20 0 1 0 36228946 122740736 29392 33554432000 4194304 5796924 140735529840048 140735529837512 4607174 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 29966 29392 183 392 0 29565 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 119864

[startup+282.3 s]
/proc/loadavg: 2.15 1.44 0.71 4/177 18822
/proc/meminfo: memFree=29736616/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=169184 CPUtime=282.24 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 14360 0 0 0 28206 18 0 0 20 0 1 0 36228946 173244416 39243 33554432000 4194304 5796924 140735529840048 140735529837336 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 42296 39243 183 392 0 41895 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 169184

[startup+342.3 s]
/proc/loadavg: 2.26 1.60 0.81 4/177 18823
/proc/meminfo: memFree=29763452/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=132304 CPUtime=342.24 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 17261 0 0 0 34200 24 0 0 20 0 1 0 36228946 135479296 32502 33554432000 4194304 5796924 140735529840048 140735529837512 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 33076 32502 183 392 0 32675 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 132304

[startup+402.3 s]
/proc/loadavg: 2.21 1.70 0.89 4/177 18825
/proc/meminfo: memFree=29756116/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=181624 CPUtime=402.22 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 21061 0 0 0 40191 31 0 0 20 0 1 0 36228946 185982976 40904 33554432000 4194304 5796924 140735529840048 140735529837336 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 45406 40904 183 392 0 45005 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 181624

[startup+462.3 s]
/proc/loadavg: 2.18 1.78 0.97 4/177 18826
/proc/meminfo: memFree=29756220/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=132304 CPUtime=462.21 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 23836 0 0 0 46184 37 0 0 20 0 1 0 36228946 135479296 32589 33554432000 4194304 5796924 140735529840048 140735529837512 4606744 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 33076 32589 183 392 0 32675 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 132304

[startup+522.3 s]
/proc/loadavg: 2.21 1.86 1.04 4/177 18827
/proc/meminfo: memFree=29723264/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=181624 CPUtime=522.21 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 26906 0 0 0 52176 45 0 0 20 0 1 0 36228946 185982976 41416 33554432000 4194304 5796924 140735529840048 140735529837336 4583226 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 45406 41416 183 392 0 45005 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 181624

[startup+582.3 s]
/proc/loadavg: 2.34 1.95 1.12 4/177 18828
/proc/meminfo: memFree=29702524/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=212444 CPUtime=582.19 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 29692 0 0 0 58169 50 0 0 20 0 1 0 36228946 217542656 46091 33554432000 4194304 5796924 140735529840048 140735529837688 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 53111 46091 183 392 0 52710 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 212444


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


[startup+942.3 s]
/proc/loadavg: 2.18 2.11 1.46 4/177 18838
/proc/meminfo: memFree=29653672/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=243496 CPUtime=942.14 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 43587 0 0 0 94133 81 0 0 20 0 1 0 36228946 249339904 56928 33554432000 4194304 5796924 140735529840048 140735529837688 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 60874 56928 183 392 0 60473 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 243496

[startup+1002.3 s]
/proc/loadavg: 2.13 2.11 1.50 4/177 18840
/proc/meminfo: memFree=29662028/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=243496 CPUtime=1002.13 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 45798 0 0 0 100127 86 0 0 20 0 1 0 36228946 249339904 54368 33554432000 4194304 5796924 140735529840048 140735529837688 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 60874 54368 183 392 0 60473 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 243496

[startup+1062.3 s]
/proc/loadavg: 2.16 2.12 1.54 4/177 18841
/proc/meminfo: memFree=29643376/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=243496 CPUtime=1062.13 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 47288 0 0 0 106123 90 0 0 20 0 1 0 36228946 249339904 59489 33554432000 4194304 5796924 140735529840048 140735529837688 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 60874 59489 183 392 0 60473 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 243496

[startup+1122.3 s]
/proc/loadavg: 2.18 2.12 1.57 5/177 18842
/proc/meminfo: memFree=29670112/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=212676 CPUtime=1122.11 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 48925 0 0 0 112117 94 0 0 20 0 1 0 36228946 217780224 51234 33554432000 4194304 5796924 140735529840048 140735529837336 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 53169 51234 183 392 0 52768 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 212676

[startup+1182.3 s]
/proc/loadavg: 2.12 2.11 1.60 4/177 18843
/proc/meminfo: memFree=29653448/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=243496 CPUtime=1182.11 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 50997 0 0 0 118111 100 0 0 20 0 1 0 36228946 249339904 55397 33554432000 4194304 5796924 140735529840048 140735529837688 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 60874 55397 183 392 0 60473 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 243496

[startup+1242.3 s]
/proc/loadavg: 2.27 2.16 1.65 4/178 18847
/proc/meminfo: memFree=29634196/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=243496 CPUtime=1242.1 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 53097 0 0 0 124106 104 0 0 20 0 1 0 36228946 249339904 58469 33554432000 4194304 5796924 140735529840048 140735529837688 4606704 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 60874 58469 183 392 0 60473 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 243496

[startup+1302.3 s]
/proc/loadavg: 2.39 2.22 1.70 5/177 18849
/proc/meminfo: memFree=29673592/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=212676 CPUtime=1302.08 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 55044 0 0 0 130100 108 0 0 20 0 1 0 36228946 217780224 49186 33554432000 4194304 5796924 140735529840048 140735529837336 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 53169 49186 183 392 0 52768 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 212676

[startup+1362.3 s]
/proc/loadavg: 2.41 2.25 1.74 4/177 18850
/proc/meminfo: memFree=29630356/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=245284 CPUtime=1362.08 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 56830 0 0 0 136096 112 0 0 20 0 1 0 36228946 251170816 59420 33554432000 4194304 5796924 140735529840048 140735529837688 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 61321 59420 183 392 0 60920 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 245284

[startup+1422.3 s]
/proc/loadavg: 2.34 2.26 1.77 4/177 18851
/proc/meminfo: memFree=29700812/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=168808 CPUtime=1422.08 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 60012 0 0 0 142091 117 0 0 20 0 1 0 36228946 172859392 41673 33554432000 4194304 5796924 140735529840048 140735529837512 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 42202 41673 183 392 0 41801 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 168808

[startup+1482.3 s]
/proc/loadavg: 2.37 2.29 1.81 4/177 18898
/proc/meminfo: memFree=29615800/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=251416 CPUtime=1482.05 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 61833 0 0 0 148085 120 0 0 20 0 1 0 36228946 257449984 60473 33554432000 4194304 5796924 140735529840048 140735529837688 4606782 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 62854 60473 183 392 0 62453 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 251416

[startup+1542.31 s]
/proc/loadavg: 2.20 2.25 1.83 3/177 18899
/proc/meminfo: memFree=29501616/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=252956 CPUtime=1542.06 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 65317 0 0 0 154080 126 0 0 20 0 1 0 36228946 259026944 61366 33554432000 4194304 5796924 140735529840048 140735529837688 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 63239 61366 183 392 0 62838 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 252956

[startup+1602.3 s]
/proc/loadavg: 2.25 2.25 1.85 3/177 18901
/proc/meminfo: memFree=29533180/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=253648 CPUtime=1602.04 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 68604 0 0 0 160074 130 0 0 20 0 1 0 36228946 259735552 57955 33554432000 4194304 5796924 140735529840048 140735529837688 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 63412 57955 183 392 0 63011 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 253648

[startup+1662.3 s]
/proc/loadavg: 2.33 2.26 1.88 4/177 18902
/proc/meminfo: memFree=29536040/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=223260 CPUtime=1662.03 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 71242 0 0 0 166068 135 0 0 20 0 1 0 36228946 228618240 54909 33554432000 4194304 5796924 140735529840048 140735529837336 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 55815 54909 183 392 0 55414 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 223260

[startup+1722.3 s]
/proc/loadavg: 2.30 2.26 1.90 3/177 18903
/proc/meminfo: memFree=29488580/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=304168 CPUtime=1722.02 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 74233 0 0 0 172062 140 0 0 20 0 1 0 36228946 311468032 66017 33554432000 4194304 5796924 140735529840048 140735529837688 4596098 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 76042 66017 183 392 0 75641 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 304168

[startup+1782.3 s]
/proc/loadavg: 2.20 2.24 1.91 3/177 18904
/proc/meminfo: memFree=29425048/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=254080 CPUtime=1782 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 76568 0 0 0 178055 145 0 0 20 0 1 0 36228946 260177920 62644 33554432000 4194304 5796924 140735529840048 140735529837688 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 63520 62644 183 392 0 63119 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 254080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.22 2.24 1.92 3/178 18907
/proc/meminfo: memFree=29394552/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=254080 CPUtime=1800 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 78134 0 0 0 179853 147 0 0 20 0 1 0 36228946 260177920 56500 33554432000 4194304 5796924 140735529840048 140735529837688 4606708 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 63520 56500 183 392 0 63119 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 254080

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

[startup+1800.3 s]
/proc/loadavg: 2.22 2.24 1.92 3/178 18907
/proc/meminfo: memFree=29394552/32872528 swapFree=17888/1798212
[pid=18814] ppid=18809 vsize=254080 CPUtime=1800 cores=1,3,5,7
/proc/18814/stat : 18814 (naps-1.02) R 18809 18814 18770 0 -1 4202496 78134 0 0 0 179853 147 0 0 20 0 1 0 36228946 260177920 56500 33554432000 4194304 5796924 140735529840048 140735529837688 4606708 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18814/statm: 63520 56500 183 392 0 63119 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 254080

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1798.54
CPU system time (s): 1.47978
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 353488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.54
system time used= 1.47978
maximum resident set size= 297328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78144
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= 31
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.47771 second user time and 16.0246 second system time

The end