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-4082914-1465245452/watcher-4082914-1465245452 -o /tmp/evaluation-result-4082914-1465245452/solver-4082914-1465245452 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465222007-31553 --watchdog 1960 naps-1.02 HOME/instance-4082914-1465245452.opb 

pid=2879
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.28 2.25 2.19 3/176 2882
/proc/meminfo: memFree=27084092/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=7412 CPUtime=0 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 527 0 0 0 0 0 0 0 20 0 1 0 106478822 7589888 401 33554432000 4194304 5796924 140733768015936 140734128216472 4238192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 1853 401 128 392 0 1452 0

[startup+0.100166 s]
/proc/loadavg: 2.28 2.25 2.19 3/176 2882
/proc/meminfo: memFree=27084092/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=12552 CPUtime=0.09 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 2278 0 0 0 9 0 0 0 20 0 1 0 106478822 12853248 1674 33554432000 4194304 5796924 140733768015936 140734128216472 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 3138 1678 156 392 0 2737 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12552

[startup+0.200335 s]
/proc/loadavg: 2.28 2.25 2.19 3/176 2882
/proc/meminfo: memFree=27084092/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=43892 CPUtime=0.19 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 9586 0 0 0 19 0 0 0 20 0 1 0 106478822 44945408 9357 33554432000 4194304 5796924 140733768015936 140734128216472 5151925 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 10973 9378 158 392 0 10572 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 43892

[startup+0.300376 s]
/proc/loadavg: 2.28 2.25 2.19 3/176 2882
/proc/meminfo: memFree=27084092/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=71572 CPUtime=0.29 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 15828 0 0 0 28 1 0 0 20 0 1 0 106478822 73289728 15765 33554432000 4194304 5796924 140733768015936 140734128216472 4632608 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 17893 15765 158 392 0 17492 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71572

[startup+0.700335 s]
/proc/loadavg: 2.28 2.25 2.19 3/176 2882
/proc/meminfo: memFree=27084092/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=85552 CPUtime=0.69 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 20333 0 0 0 67 2 0 0 20 0 1 0 106478822 87605248 19211 33554432000 4194304 5796924 140733768015936 140733768013016 4623737 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 21388 19211 159 392 0 20987 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85552

[startup+1.50031 s]
/proc/loadavg: 2.28 2.25 2.19 3/177 2883
/proc/meminfo: memFree=27006268/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=86700 CPUtime=1.49 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 20981 0 0 0 147 2 0 0 20 0 1 0 106478822 88780800 19596 33554432000 4194304 5796924 140733768015936 140733768012984 4606420 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 21675 19596 169 392 0 21274 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86700

[startup+3.10032 s]
/proc/loadavg: 2.28 2.25 2.19 3/177 2883
/proc/meminfo: memFree=27006136/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=87048 CPUtime=3.09 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 21081 0 0 0 307 2 0 0 20 0 1 0 106478822 89137152 19696 33554432000 4194304 5796924 140733768015936 140733768012984 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 21762 19696 171 392 0 21361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87048

[startup+6.30032 s]
/proc/loadavg: 2.33 2.26 2.19 3/177 2883
/proc/meminfo: memFree=27005444/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=87828 CPUtime=6.29 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 21204 0 0 0 627 2 0 0 20 0 1 0 106478822 89935872 19819 33554432000 4194304 5796924 140733768015936 140733768012984 4607802 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 21957 19819 171 392 0 21556 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87828

[startup+12.7003 s]
/proc/loadavg: 2.31 2.26 2.19 3/177 2883
/proc/meminfo: memFree=26989320/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=106084 CPUtime=12.68 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 22122 0 0 0 1266 2 0 0 20 0 1 0 106478822 108630016 23748 33554432000 4194304 5796924 140733768015936 140733768013000 4583342 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 26521 23748 171 392 0 26120 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 106084

[startup+25.5004 s]
/proc/loadavg: 2.31 2.26 2.19 4/177 2883
/proc/meminfo: memFree=26987404/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=106084 CPUtime=25.49 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 22139 0 0 0 2546 3 0 0 20 0 1 0 106478822 108630016 24275 33554432000 4194304 5796924 140733768015936 140733768013000 4594730 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 26521 24275 171 392 0 26120 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106084

[startup+51.1004 s]
/proc/loadavg: 2.47 2.30 2.20 3/177 2883
/proc/meminfo: memFree=26979988/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=117576 CPUtime=51.08 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 22390 0 0 0 5105 3 0 0 20 0 1 0 106478822 120397824 26055 33554432000 4194304 5796924 140733768015936 140733768013176 4591913 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 29394 26055 171 392 0 28993 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 117576

[startup+102.3 s]
/proc/loadavg: 2.30 2.28 2.20 3/177 2976
/proc/meminfo: memFree=30203500/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=113268 CPUtime=102.27 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 23040 0 0 0 10223 4 0 0 20 0 1 0 106478822 115986432 26625 33554432000 4194304 5796924 140733768015936 140733768013000 4607222 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 28317 26625 171 392 0 27916 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 113268

[startup+162.3 s]
/proc/loadavg: 2.26 2.27 2.20 3/178 2980
/proc/meminfo: memFree=30170352/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=136644 CPUtime=162.25 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 25117 0 0 0 16220 5 0 0 20 0 1 0 106478822 139923456 31380 33554432000 4194304 5796924 140733768015936 140733768013176 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 34161 31380 171 392 0 33760 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 136644

[startup+222.307 s]
/proc/loadavg: 2.16 2.25 2.19 3/177 2981
/proc/meminfo: memFree=30165092/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=136644 CPUtime=222.24 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 25118 0 0 0 22219 5 0 0 20 0 1 0 106478822 139923456 31892 33554432000 4194304 5796924 140733768015936 140733768013176 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 34161 31892 171 392 0 33760 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 136644

[startup+282.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/177 2983
/proc/meminfo: memFree=30137612/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=148136 CPUtime=282.23 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 25450 0 0 0 28217 6 0 0 20 0 1 0 106478822 151691264 35789 33554432000 4194304 5796924 140733768015936 140733768013000 4606534 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 37034 35789 171 392 0 36633 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 148136

[startup+342.3 s]
/proc/loadavg: 2.16 2.23 2.18 3/177 2984
/proc/meminfo: memFree=30125884/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=148136 CPUtime=342.22 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 25450 0 0 0 34216 6 0 0 20 0 1 0 106478822 151691264 35789 33554432000 4194304 5796924 140733768015936 140733768013000 4606755 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 37034 35789 171 392 0 36633 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 148136

[startup+402.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 2985
/proc/meminfo: memFree=30123648/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=148136 CPUtime=402.21 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 26204 0 0 0 40214 7 0 0 20 0 1 0 106478822 151691264 36214 33554432000 4194304 5796924 140733768015936 140733768013400 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 37034 36214 171 392 0 36633 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 148136

[startup+462.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 2986
/proc/meminfo: memFree=30121912/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=148136 CPUtime=462.21 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 26524 0 0 0 46213 8 0 0 20 0 1 0 106478822 151691264 36214 33554432000 4194304 5796924 140733768015936 140733768013400 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 37034 36214 171 392 0 36633 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 148136

[startup+522.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/177 2987
/proc/meminfo: memFree=30092500/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=149180 CPUtime=522.2 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 27116 0 0 0 52211 9 0 0 20 0 1 0 106478822 152760320 36475 33554432000 4194304 5796924 140733768015936 140733768013000 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 37295 36475 171 392 0 36894 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 149180

[startup+582.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 2989
/proc/meminfo: memFree=30098276/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=153352 CPUtime=582.19 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 27144 0 0 0 58210 9 0 0 20 0 1 0 106478822 157032448 37523 33554432000 4194304 5796924 140733768015936 140733768013000 4606777 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 38338 37523 171 392 0 37937 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 153352


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


[startup+942.3 s]
/proc/loadavg: 2.32 2.26 2.19 3/177 2999
/proc/meminfo: memFree=30039460/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=172776 CPUtime=942.13 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 29543 0 0 0 94200 13 0 0 20 0 1 0 106478822 176922624 42374 33554432000 4194304 5796924 140733768015936 140733768013400 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 43194 42374 171 392 0 42793 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 172776

[startup+1002.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/177 3000
/proc/meminfo: memFree=29995584/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=222096 CPUtime=1002.13 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 30087 0 0 0 100199 14 0 0 20 0 1 0 106478822 227426304 54669 33554432000 4194304 5796924 140733768015936 140733768013224 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 55524 54669 171 392 0 55123 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 222096

[startup+1062.3 s]
/proc/loadavg: 2.17 2.23 2.18 3/177 3001
/proc/meminfo: memFree=30006396/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=222096 CPUtime=1062.12 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 30650 0 0 0 106197 15 0 0 20 0 1 0 106478822 227426304 52406 33554432000 4194304 5796924 140733768015936 140733768013224 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 55524 52406 171 392 0 55123 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 222096

[startup+1122.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/177 3002
/proc/meminfo: memFree=30038112/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=222096 CPUtime=1122.1 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 30975 0 0 0 112195 15 0 0 20 0 1 0 106478822 227426304 52406 33554432000 4194304 5796924 140733768015936 140733768013224 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 55524 52406 171 392 0 55123 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 222096

[startup+1182.3 s]
/proc/loadavg: 2.28 2.27 2.20 3/177 3004
/proc/meminfo: memFree=30077788/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=172776 CPUtime=1182.1 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 31572 0 0 0 118193 17 0 0 20 0 1 0 106478822 176922624 42374 33554432000 4194304 5796924 140733768015936 140733768013400 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 43194 42374 171 392 0 42793 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 172776

[startup+1242.3 s]
/proc/loadavg: 2.28 2.28 2.20 3/177 3005
/proc/meminfo: memFree=30077436/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=172776 CPUtime=1242.09 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 32492 0 0 0 124190 19 0 0 20 0 1 0 106478822 176922624 42374 33554432000 4194304 5796924 140733768015936 140733768013400 4606480 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 43194 42374 171 392 0 42793 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 172776

[startup+1302.3 s]
/proc/loadavg: 2.31 2.28 2.20 3/177 3006
/proc/meminfo: memFree=29989308/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=222096 CPUtime=1302.07 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 32821 0 0 0 130188 19 0 0 20 0 1 0 106478822 227426304 53942 33554432000 4194304 5796924 140733768015936 140733768013224 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 55524 53942 171 392 0 55123 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 222096

[startup+1362.3 s]
/proc/loadavg: 2.27 2.28 2.20 3/178 3010
/proc/meminfo: memFree=29997936/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=222096 CPUtime=1362.07 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 33682 0 0 0 136186 21 0 0 20 0 1 0 106478822 227426304 52918 33554432000 4194304 5796924 140733768015936 140733768013224 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 55524 52918 171 392 0 55123 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 222096

[startup+1422.3 s]
/proc/loadavg: 2.25 2.27 2.20 4/178 3034
/proc/meminfo: memFree=30010024/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=222096 CPUtime=1422.06 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 34596 0 0 0 142183 23 0 0 20 0 1 0 106478822 227426304 50870 33554432000 4194304 5796924 140733768015936 140733768013224 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 55524 50870 171 392 0 55123 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 222096

[startup+1482.3 s]
/proc/loadavg: 2.32 2.29 2.21 3/177 3036
/proc/meminfo: memFree=30075760/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=172776 CPUtime=1482.05 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 35196 0 0 0 148180 25 0 0 20 0 1 0 106478822 176922624 42374 33554432000 4194304 5796924 140733768015936 140733768013400 4606721 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 43194 42374 171 392 0 42793 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 172776

[startup+1542.31 s]
/proc/loadavg: 2.27 2.28 2.21 3/177 3037
/proc/meminfo: memFree=29986092/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=222096 CPUtime=1542.05 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 35726 0 0 0 154179 26 0 0 20 0 1 0 106478822 227426304 54649 33554432000 4194304 5796924 140733768015936 140733768013224 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 55524 54649 171 392 0 55123 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 222096

[startup+1602.3 s]
/proc/loadavg: 2.14 2.24 2.20 3/177 3038
/proc/meminfo: memFree=30000820/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=222096 CPUtime=1602.03 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 36443 0 0 0 160176 27 0 0 20 0 1 0 106478822 227426304 52918 33554432000 4194304 5796924 140733768015936 140733768013224 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 55524 52918 171 392 0 55123 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 222096

[startup+1662.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/177 3039
/proc/meminfo: memFree=30076300/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=172776 CPUtime=1662.03 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 37049 0 0 0 166174 29 0 0 20 0 1 0 106478822 176922624 42374 33554432000 4194304 5796924 140733768015936 140733768013400 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 43194 42374 171 392 0 42793 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 172776

[startup+1722.3 s]
/proc/loadavg: 2.27 2.28 2.21 3/177 3040
/proc/meminfo: memFree=30076432/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=172776 CPUtime=1722.01 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 37973 0 0 0 172171 30 0 0 20 0 1 0 106478822 176922624 42374 33554432000 4194304 5796924 140733768015936 140733768013400 4606744 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 43194 42374 171 392 0 42793 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 172776

[startup+1782.3 s]
/proc/loadavg: 2.21 2.27 2.21 3/177 3042
/proc/meminfo: memFree=29990044/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=222096 CPUtime=1782 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 38299 0 0 0 178169 31 0 0 20 0 1 0 106478822 227426304 53942 33554432000 4194304 5796924 140733768015936 140733768013224 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 55524 53942 171 392 0 55123 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 222096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.31 2.28 2.21 3/177 3042
/proc/meminfo: memFree=29975772/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=252916 CPUtime=1800 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 38891 0 0 0 179968 32 0 0 20 0 1 0 106478822 258985984 56057 33554432000 4194304 5796924 140733768015936 140733768013576 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 63229 56057 171 392 0 62828 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 252916

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

[startup+1800.3 s]
/proc/loadavg: 2.31 2.28 2.21 3/177 3042
/proc/meminfo: memFree=29975772/32872528 swapFree=15644/1722384
[pid=2882] ppid=2879 vsize=252916 CPUtime=1800 cores=1,3,5,7
/proc/2882/stat : 2882 (naps-1.02) R 2879 2882 31536 0 -1 4202496 38891 0 0 0 179968 32 0 0 20 0 1 0 106478822 258985984 56057 33554432000 4194304 5796924 140733768015936 140733768013576 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2882/statm: 63229 56057 171 392 0 62828 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 252916

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.69
CPU system time (s): 0.32495
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 252916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.32495
maximum resident set size= 228324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38903
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= 30
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5873 second user time and 6.87395 second system time

The end