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-4095018-1466089185/watcher-4095018-1466089185 -o /tmp/evaluation-result-4095018-1466089185/solver-4095018-1466089185 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466074607-12178 --watchdog 1960 naps-1.02 HOME/instance-4095018-1466089185.wbo 

pid=15951
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: 2.29 2.22 2.19 3/176 15954
/proc/meminfo: memFree=29926760/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=6836 CPUtime=0 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 386 0 0 0 0 0 0 0 20 0 1 0 10966807 7000064 259 33554432000 4194304 5796924 140735352783936 140733492211864 4350334 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 1709 259 130 392 0 1308 0

[startup+0.10013 s]
/proc/loadavg: 2.29 2.22 2.19 3/176 15954
/proc/meminfo: memFree=29926760/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=10764 CPUtime=0.09 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 2627 0 0 0 9 0 0 0 20 0 1 0 10966807 11022336 2257 33554432000 4194304 5796924 140735352783936 140733492211864 4623737 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 2691 2259 169 392 0 2290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10764

[startup+0.200328 s]
/proc/loadavg: 2.29 2.22 2.19 3/176 15954
/proc/meminfo: memFree=29926760/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=16704 CPUtime=0.19 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 3969 0 0 0 19 0 0 0 20 0 1 0 10966807 17104896 3511 33554432000 4194304 5796924 140735352783936 140733492211864 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 4176 3511 171 392 0 3775 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16704

[startup+0.300304 s]
/proc/loadavg: 2.29 2.22 2.19 3/176 15954
/proc/meminfo: memFree=29926760/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=16704 CPUtime=0.29 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 4069 0 0 0 29 0 0 0 20 0 1 0 10966807 17104896 3609 33554432000 4194304 5796924 140735352783936 140733492211864 4592071 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 4176 3609 171 392 0 3775 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16704

[startup+0.700254 s]
/proc/loadavg: 2.29 2.22 2.19 3/176 15954
/proc/meminfo: memFree=29926760/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=27396 CPUtime=0.68 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 5423 0 0 0 68 0 0 0 20 0 1 0 10966807 28053504 6075 33554432000 4194304 5796924 140735352783936 140735352782328 4594583 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 6849 6075 182 392 0 6448 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27396

[startup+1.50021 s]
/proc/loadavg: 2.29 2.22 2.19 3/177 15955
/proc/meminfo: memFree=29897276/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=34468 CPUtime=1.48 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 6299 0 0 0 148 0 0 0 20 0 1 0 10966807 35295232 7968 33554432000 4194304 5796924 140735352783936 140735352782328 4606771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 8617 7968 182 392 0 8216 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34468

[startup+3.10027 s]
/proc/loadavg: 2.29 2.22 2.19 3/177 15955
/proc/meminfo: memFree=29892252/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=50588 CPUtime=3.09 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 7389 0 0 0 308 1 0 0 20 0 1 0 10966807 51802112 11600 33554432000 4194304 5796924 140735352783936 140735352781000 4607589 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 12647 11600 182 392 0 12246 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50588

[startup+6.30024 s]
/proc/loadavg: 2.26 2.21 2.18 3/177 15955
/proc/meminfo: memFree=29880168/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=53304 CPUtime=6.29 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 8344 0 0 0 628 1 0 0 20 0 1 0 10966807 54583296 11074 33554432000 4194304 5796924 140735352783936 140735352781176 4592076 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 13326 11074 182 392 0 12925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53304

[startup+12.7003 s]
/proc/loadavg: 2.24 2.21 2.18 3/177 15955
/proc/meminfo: memFree=29864504/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=60488 CPUtime=12.68 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 9101 0 0 0 1267 1 0 0 20 0 1 0 10966807 61939712 13866 33554432000 4194304 5796924 140735352783936 140735352781000 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 15122 13866 182 392 0 14721 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60488

[startup+25.5003 s]
/proc/loadavg: 2.27 2.21 2.18 3/178 15958
/proc/meminfo: memFree=29868776/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=53304 CPUtime=25.48 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 10229 0 0 0 2546 2 0 0 20 0 1 0 10966807 54583296 11090 33554432000 4194304 5796924 140735352783936 140735352781176 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 13326 11090 182 392 0 12925 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53304

[startup+51.1003 s]
/proc/loadavg: 2.24 2.21 2.18 3/178 15958
/proc/meminfo: memFree=29801984/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=116724 CPUtime=51.08 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 11766 0 0 0 5104 4 0 0 20 0 1 0 10966807 119525376 23774 33554432000 4194304 5796924 140735352783936 140735352781176 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 29181 23774 182 392 0 28780 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 116724

[startup+102.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/178 16027
/proc/meminfo: memFree=30080372/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=116724 CPUtime=102.28 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 11883 0 0 0 10224 4 0 0 20 0 1 0 10966807 119525376 23889 33554432000 4194304 5796924 140735352783936 140735352781176 4607255 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 29181 23889 182 392 0 28780 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 116724

[startup+162.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 16029
/proc/meminfo: memFree=30043348/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=116724 CPUtime=162.26 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 12826 0 0 0 16220 6 0 0 20 0 1 0 10966807 119525376 23889 33554432000 4194304 5796924 140735352783936 140735352781400 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 29181 23889 182 392 0 28780 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 116724

[startup+222.307 s]
/proc/loadavg: 2.33 2.22 2.19 3/177 16030
/proc/meminfo: memFree=29990392/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=116724 CPUtime=222.27 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 13589 0 0 0 22218 9 0 0 20 0 1 0 10966807 119525376 23889 33554432000 4194304 5796924 140735352783936 140735352781400 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 29181 23889 182 392 0 28780 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 116724

[startup+282.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/177 16031
/proc/meminfo: memFree=30032664/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=116724 CPUtime=282.24 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 14358 0 0 0 28213 11 0 0 20 0 1 0 10966807 119525376 23889 33554432000 4194304 5796924 140735352783936 140735352781400 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 29181 23889 182 392 0 28780 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 116724

[startup+342.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/177 16032
/proc/meminfo: memFree=29988560/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=116724 CPUtime=342.24 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 14942 0 0 0 34210 14 0 0 20 0 1 0 10966807 119525376 23889 33554432000 4194304 5796924 140735352783936 140735352781400 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 29181 23889 182 392 0 28780 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 116724

[startup+402.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/177 16033
/proc/meminfo: memFree=29931104/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=166044 CPUtime=402.23 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 15629 0 0 0 40207 16 0 0 20 0 1 0 10966807 170029056 34813 33554432000 4194304 5796924 140735352783936 140735352781224 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 41511 34813 182 392 0 41110 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 166044

[startup+462.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/177 16035
/proc/meminfo: memFree=29931400/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=129144 CPUtime=462.22 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 17621 0 0 0 46202 20 0 0 20 0 1 0 10966807 132243456 30033 33554432000 4194304 5796924 140735352783936 140735352781176 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 32286 30033 182 392 0 31885 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 129144

[startup+522.3 s]
/proc/loadavg: 2.17 2.21 2.18 3/177 16036
/proc/meminfo: memFree=29909968/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=522.21 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 19223 0 0 0 52198 23 0 0 20 0 1 0 10966807 182747136 41025 33554432000 4194304 5796924 140735352783936 140735352781224 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 41025 182 392 0 44215 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 178464

[startup+582.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 16037
/proc/meminfo: memFree=29975348/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=129144 CPUtime=582.2 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 20596 0 0 0 58195 25 0 0 20 0 1 0 10966807 132243456 31637 33554432000 4194304 5796924 140735352783936 140735352781400 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 32286 31637 182 392 0 31885 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 129144


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


[startup+942.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/177 16047
/proc/meminfo: memFree=29914196/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=942.14 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 28634 0 0 0 94171 43 0 0 20 0 1 0 10966807 182747136 40059 33554432000 4194304 5796924 140735352783936 140735352781224 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 40059 182 392 0 44215 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 178464

[startup+1002.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/177 16048
/proc/meminfo: memFree=29819548/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=1002.13 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 29425 0 0 0 100168 45 0 0 20 0 1 0 10966807 182747136 43131 33554432000 4194304 5796924 140735352783936 140735352781224 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 43131 182 392 0 44215 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 178464

[startup+1062.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/177 16050
/proc/meminfo: memFree=29867268/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=209284 CPUtime=1062.12 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 30796 0 0 0 106165 47 0 0 20 0 1 0 10966807 214306816 44734 33554432000 4194304 5796924 140735352783936 140735352781576 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 52321 44734 182 392 0 51920 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 209284

[startup+1122.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/177 16051
/proc/meminfo: memFree=29776276/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=209284 CPUtime=1122.12 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 31587 0 0 0 112163 49 0 0 20 0 1 0 10966807 214306816 46270 33554432000 4194304 5796924 140735352783936 140735352781576 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 52321 46270 182 392 0 51920 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 209284

[startup+1182.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 16052
/proc/meminfo: memFree=29836000/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=209284 CPUtime=1182.1 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 32376 0 0 0 118160 50 0 0 20 0 1 0 10966807 214306816 47294 33554432000 4194304 5796924 140735352783936 140735352781576 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 52321 47294 182 392 0 51920 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 209284

[startup+1242.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/178 16056
/proc/meminfo: memFree=29761300/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=209284 CPUtime=1242.1 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 33166 0 0 0 124157 53 0 0 20 0 1 0 10966807 214306816 47806 33554432000 4194304 5796924 140735352783936 140735352781576 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 52321 47806 182 392 0 51920 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 209284

[startup+1302.3 s]
/proc/loadavg: 2.31 2.28 2.20 3/177 16057
/proc/meminfo: memFree=29835484/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=129144 CPUtime=1302.09 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 33960 0 0 0 130154 55 0 0 20 0 1 0 10966807 132243456 31695 33554432000 4194304 5796924 140735352783936 140735352781400 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 32286 31695 182 392 0 31885 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 129144

[startup+1362.3 s]
/proc/loadavg: 2.25 2.27 2.20 3/177 16059
/proc/meminfo: memFree=29794996/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=1362.08 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 34936 0 0 0 136151 57 0 0 20 0 1 0 10966807 182747136 40571 33554432000 4194304 5796924 140735352783936 140735352781224 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 40571 182 392 0 44215 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 178464

[startup+1422.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/177 16060
/proc/meminfo: memFree=29881456/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=1422.08 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 35730 0 0 0 142149 59 0 0 20 0 1 0 10966807 182747136 40571 33554432000 4194304 5796924 140735352783936 140735352781224 4607255 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 40571 182 392 0 44215 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 178464

[startup+1482.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/177 16061
/proc/meminfo: memFree=29794596/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=1482.06 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 36526 0 0 0 148145 61 0 0 20 0 1 0 10966807 182747136 43131 33554432000 4194304 5796924 140735352783936 140735352781224 4594583 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 43131 182 392 0 44215 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 178464

[startup+1542.31 s]
/proc/loadavg: 2.30 2.27 2.20 4/177 16062
/proc/meminfo: memFree=29740932/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=1542.06 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 37315 0 0 0 154143 63 0 0 20 0 1 0 10966807 182747136 42107 33554432000 4194304 5796924 140735352783936 140735352781224 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 42107 182 392 0 44215 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 178464

[startup+1602.3 s]
/proc/loadavg: 2.16 2.23 2.19 3/177 16063
/proc/meminfo: memFree=29825540/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=1602.04 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 38103 0 0 0 160139 65 0 0 20 0 1 0 10966807 182747136 41083 33554432000 4194304 5796924 140735352783936 140735352781224 4606704 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 41083 182 392 0 44215 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 178464

[startup+1662.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/177 16065
/proc/meminfo: memFree=29743272/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=1662.04 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 38895 0 0 0 166137 67 0 0 20 0 1 0 10966807 182747136 41595 33554432000 4194304 5796924 140735352783936 140735352781224 4607201 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 41595 182 392 0 44215 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 178464

[startup+1722.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 16066
/proc/meminfo: memFree=29841280/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=1722.02 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 39686 0 0 0 172133 69 0 0 20 0 1 0 10966807 182747136 40571 33554432000 4194304 5796924 140735352783936 140735352781224 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 40571 182 392 0 44215 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 178464

[startup+1782.3 s]
/proc/loadavg: 2.19 2.22 2.18 4/177 16067
/proc/meminfo: memFree=29815172/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=129144 CPUtime=1782.01 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 40289 0 0 0 178131 70 0 0 20 0 1 0 10966807 132243456 31695 33554432000 4194304 5796924 140735352783936 140735352781400 4607241 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 32286 31695 182 392 0 31885 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 129144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.22 2.18 4/177 16067
/proc/meminfo: memFree=29753236/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=1800.01 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 40484 0 0 0 179930 71 0 0 20 0 1 0 10966807 182747136 43643 33554432000 4194304 5796924 140735352783936 140735352781224 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 43643 182 392 0 44215 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 178464

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

[startup+1800.3 s]
/proc/loadavg: 2.21 2.22 2.18 4/177 16067
/proc/meminfo: memFree=29753236/32872528 swapFree=1589776/1720592
[pid=15954] ppid=15951 vsize=178464 CPUtime=1800.01 cores=1,3,5,7
/proc/15954/stat : 15954 (naps-1.02) R 15951 15954 7097 0 -1 4202496 40484 0 0 0 179930 71 0 0 20 0 1 0 10966807 182747136 43643 33554432000 4194304 5796924 140735352783936 140735352781224 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 44616 43643 182 392 0 44215 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 178464

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.31
CPU system time (s): 0.71789
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 209284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.71789
maximum resident set size= 205560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40494
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= 15
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.40318 second user time and 8.62069 second system time

The end