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-4100635-1466217706/watcher-4100635-1466217706 -o /tmp/evaluation-result-4100635-1466217706/solver-4100635-1466217706 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466206100-11874 --watchdog 1960 naps-1.02 HOME/instance-4100635-1466217706.opb 

pid=15080
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.18 2.18 2.18 3/176 15083
/proc/meminfo: memFree=30369520/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=7428 CPUtime=0 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 23819573 7606272 391 33554432000 4194304 5796924 140733330302544 140737032637432 5151211 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15083/statm: 1857 391 124 392 0 1456 0

[startup+0.100158 s]
/proc/loadavg: 2.18 2.18 2.18 3/176 15083
/proc/meminfo: memFree=30369520/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=10752 CPUtime=0.09 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 1411 0 0 0 9 0 0 0 20 0 1 0 23819573 11010048 1272 33554432000 4194304 5796924 140733330302544 140737032637432 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15083/statm: 2688 1272 139 392 0 2287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10752

[startup+0.200303 s]
/proc/loadavg: 2.18 2.18 2.18 3/176 15083
/proc/meminfo: memFree=30369520/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=12900 CPUtime=0.19 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 1961 0 0 0 19 0 0 0 20 0 1 0 23819573 13209600 1780 33554432000 4194304 5796924 140733330302544 140737032637432 4805694 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15083/statm: 3225 1780 139 392 0 2824 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12900

[startup+0.300279 s]
/proc/loadavg: 2.18 2.18 2.18 3/176 15083
/proc/meminfo: memFree=30369520/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=13336 CPUtime=0.29 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 2163 0 0 0 29 0 0 0 20 0 1 0 23819573 13656064 1899 33554432000 4194304 5796924 140733330302544 140737032637432 5096660 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15083/statm: 3334 1899 143 392 0 2933 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13336

[startup+0.70029 s]
/proc/loadavg: 2.18 2.18 2.18 3/176 15083
/proc/meminfo: memFree=30369520/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=33376 CPUtime=0.69 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 7340 0 0 0 68 1 0 0 20 0 1 0 23819573 34177024 6911 33554432000 4194304 5796924 140733330302544 140733329971368 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 8344 6911 143 392 0 7943 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33376

[startup+1.50028 s]
/proc/loadavg: 2.18 2.18 2.18 3/177 15084
/proc/meminfo: memFree=30336280/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=40344 CPUtime=1.49 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 9384 0 0 0 148 1 0 0 20 0 1 0 23819573 41312256 8625 33554432000 4194304 5796924 140733330302544 140733330271976 4425326 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 10086 8625 143 392 0 9685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40344

[startup+3.10029 s]
/proc/loadavg: 2.16 2.17 2.18 3/177 15084
/proc/meminfo: memFree=30332184/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=46720 CPUtime=3.09 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 10509 0 0 0 308 1 0 0 20 0 1 0 23819573 47841280 10113 33554432000 4194304 5796924 140733330302544 140733330283912 5087519 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 11680 10113 143 392 0 11279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46720

[startup+6.30032 s]
/proc/loadavg: 2.16 2.17 2.18 3/177 15084
/proc/meminfo: memFree=30220124/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=167632 CPUtime=6.28 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 32448 0 0 0 624 4 0 0 20 0 1 0 23819573 171655168 37624 33554432000 4194304 5796924 140733330302544 140733330299592 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 41908 37624 170 392 0 41507 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 167632

[startup+12.7003 s]
/proc/loadavg: 2.14 2.17 2.18 3/177 15084
/proc/meminfo: memFree=30216436/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=168492 CPUtime=12.68 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 32908 0 0 0 1263 5 0 0 20 0 1 0 23819573 172535808 36888 33554432000 4194304 5796924 140733330302544 140733330299592 4607212 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 42123 36888 171 392 0 41722 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 168492

[startup+25.5004 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 15084
/proc/meminfo: memFree=30215208/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=171740 CPUtime=25.48 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 33752 0 0 0 2543 5 0 0 20 0 1 0 23819573 175861760 39261 33554432000 4194304 5796924 140733330302544 140733330299592 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 42935 39261 171 392 0 42534 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 171740

[startup+51.1004 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 15084
/proc/meminfo: memFree=30064008/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=205200 CPUtime=51.08 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 35795 0 0 0 5102 6 0 0 20 0 1 0 23819573 210124800 46138 33554432000 4194304 5796924 140733330302544 140733330299608 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 51300 46138 171 392 0 50899 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 205200

[startup+102.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/177 15085
/proc/meminfo: memFree=29743448/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=205200 CPUtime=102.28 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 37219 0 0 0 10220 8 0 0 20 0 1 0 23819573 210124800 47698 33554432000 4194304 5796924 140733330302544 140733330300008 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 51300 47698 171 392 0 50899 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 205200

[startup+162.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 15087
/proc/meminfo: memFree=29374552/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=309012 CPUtime=162.27 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 43874 0 0 0 16214 13 0 0 20 0 1 0 23819573 316428288 71181 33554432000 4194304 5796924 140733330302544 140733330299832 4583242 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 77253 71181 180 392 0 76852 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 309012

[startup+222.307 s]
/proc/loadavg: 2.18 2.17 2.18 3/177 15088
/proc/meminfo: memFree=29217472/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=339520 CPUtime=222.26 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 44553 0 0 0 22211 15 0 0 20 0 1 0 23819573 347668480 80856 33554432000 4194304 5796924 140733330302544 140733330299832 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 84880 80856 180 392 0 84479 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 339520

[startup+282.3 s]
/proc/loadavg: 2.30 2.20 2.19 3/177 15089
/proc/meminfo: memFree=29016900/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=339520 CPUtime=282.25 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 45070 0 0 0 28208 17 0 0 20 0 1 0 23819573 347668480 82392 33554432000 4194304 5796924 140733330302544 140733330300008 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 84880 82392 180 392 0 84479 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 339520

[startup+342.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 15090
/proc/meminfo: memFree=28921452/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=339520 CPUtime=342.24 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 46178 0 0 0 34205 19 0 0 20 0 1 0 23819573 347668480 81129 33554432000 4194304 5796924 140733330302544 140733330300008 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 84880 81129 180 392 0 84479 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 339520

[startup+402.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 15091
/proc/meminfo: memFree=28695480/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=370340 CPUtime=402.22 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 46463 0 0 0 40203 19 0 0 20 0 1 0 23819573 379228160 84977 33554432000 4194304 5796924 140733330302544 140733330300184 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 92585 84977 180 392 0 92184 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 370340

[startup+462.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/176 15092
/proc/meminfo: memFree=28186796/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=370340 CPUtime=462.22 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 47164 0 0 0 46201 21 0 0 20 0 1 0 23819573 379228160 84977 33554432000 4194304 5796924 140733330302544 140733330300184 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 92585 84977 180 392 0 92184 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 370340

[startup+522.3 s]
/proc/loadavg: 2.17 2.21 2.18 3/178 15097
/proc/meminfo: memFree=28103672/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=370340 CPUtime=522.21 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 47859 0 0 0 52199 22 0 0 20 0 1 0 23819573 379228160 84977 33554432000 4194304 5796924 140733330302544 140733330300184 4606733 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 92585 84977 180 392 0 92184 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 370340

[startup+582.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 15098
/proc/meminfo: memFree=28112536/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=339520 CPUtime=582.2 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 48411 0 0 0 58196 24 0 0 20 0 1 0 23819573 347668480 82791 33554432000 4194304 5796924 140733330302544 140733330300008 4611125 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 84880 82791 180 392 0 84479 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 339520


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


[startup+882.307 s]
/proc/loadavg: 2.08 2.15 2.16 3/177 15104
/proc/meminfo: memFree=27642472/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=370340 CPUtime=882.16 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 49945 0 0 0 88187 29 0 0 20 0 1 0 23819573 379228160 89073 33554432000 4194304 5796924 140733330302544 140733330300008 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 92585 89073 180 392 0 92184 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 370340

[startup+942.3 s]
/proc/loadavg: 2.23 2.18 2.17 3/177 15105
/proc/meminfo: memFree=27642272/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=370340 CPUtime=942.15 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 50604 0 0 0 94183 32 0 0 20 0 1 0 23819573 379228160 85489 33554432000 4194304 5796924 140733330302544 140733330300008 4606483 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 92585 85489 180 392 0 92184 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 370340

[startup+1002.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/177 15106
/proc/meminfo: memFree=27609408/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=370340 CPUtime=1002.14 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 50613 0 0 0 100182 32 0 0 20 0 1 0 23819573 379228160 90097 33554432000 4194304 5796924 140733330302544 140733330300008 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 92585 90097 180 392 0 92184 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 370340

[startup+1062.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/177 15107
/proc/meminfo: memFree=27587476/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=420428 CPUtime=1062.13 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 51138 0 0 0 106180 33 0 0 20 0 1 0 23819573 430518272 94188 33554432000 4194304 5796924 140733330302544 140733330300184 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 105107 94188 180 392 0 104706 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 420428

[startup+1122.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/178 15112
/proc/meminfo: memFree=27605400/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=370340 CPUtime=1122.12 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 51282 0 0 0 112177 35 0 0 20 0 1 0 23819573 379228160 88049 33554432000 4194304 5796924 140733330302544 140733330300008 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 92585 88049 180 392 0 92184 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 370340

[startup+1182.3 s]
/proc/loadavg: 2.87 2.33 2.22 3/179 15137
/proc/meminfo: memFree=22351404/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=420428 CPUtime=1182.11 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 51808 0 0 0 118175 36 0 0 20 0 1 0 23819573 430518272 91628 33554432000 4194304 5796924 140733330302544 140733330300184 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 105107 91628 180 392 0 104706 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 420428

[startup+1242.3 s]
/proc/loadavg: 4.03 2.78 2.38 3/178 15185
/proc/meminfo: memFree=30099092/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=420428 CPUtime=1242.09 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 51824 0 0 0 124173 36 0 0 20 0 1 0 23819573 430518272 95724 33554432000 4194304 5796924 140733330302544 140733330300184 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 105107 95724 180 392 0 104706 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 420428

[startup+1302.3 s]
/proc/loadavg: 3.04 2.71 2.38 3/177 15186
/proc/meminfo: memFree=30065964/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=370340 CPUtime=1302.06 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 52000 0 0 0 130169 37 0 0 20 0 1 0 23819573 379228160 89657 33554432000 4194304 5796924 140733330302544 140733330300008 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 92585 89657 180 392 0 92184 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 370340

[startup+1362.3 s]
/proc/loadavg: 2.44 2.59 2.36 3/177 15187
/proc/meminfo: memFree=29909308/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=420428 CPUtime=1362.05 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 52527 0 0 0 136166 39 0 0 20 0 1 0 23819573 430518272 94155 33554432000 4194304 5796924 140733330302544 140733330300184 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 105107 94155 180 392 0 104706 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 420428

[startup+1422.3 s]
/proc/loadavg: 2.19 2.49 2.34 3/177 15189
/proc/meminfo: memFree=29861092/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=420428 CPUtime=1422.03 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 52565 0 0 0 142164 39 0 0 20 0 1 0 23819573 430518272 98251 33554432000 4194304 5796924 140733330302544 140733330300184 4623153 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 105107 98251 180 392 0 104706 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 420428

[startup+1482.3 s]
/proc/loadavg: 2.19 2.44 2.33 3/177 15190
/proc/meminfo: memFree=29768628/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=370340 CPUtime=1482.01 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 53060 0 0 0 148161 40 0 0 20 0 1 0 23819573 379228160 90920 33554432000 4194304 5796924 140733330302544 140733330300008 4606708 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 92585 90920 180 392 0 92184 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 370340

[startup+1542.31 s]
/proc/loadavg: 2.19 2.40 2.32 3/177 15191
/proc/meminfo: memFree=29695900/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=420428 CPUtime=1542.01 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 53235 0 0 0 154160 41 0 0 20 0 1 0 23819573 430518272 94667 33554432000 4194304 5796924 140733330302544 140733330300184 4594171 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 105107 94667 180 392 0 104706 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 420428

[startup+1602.3 s]
/proc/loadavg: 2.20 2.37 2.31 3/177 15192
/proc/meminfo: memFree=27111988/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=420428 CPUtime=1601.99 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 53243 0 0 0 160158 41 0 0 20 0 1 0 23819573 430518272 98763 33554432000 4194304 5796924 140733330302544 140733330300184 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 105107 98763 180 392 0 104706 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 420428

[startup+1662.3 s]
/proc/loadavg: 2.22 2.33 2.30 3/177 15193
/proc/meminfo: memFree=24401760/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=370340 CPUtime=1661.99 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 53391 0 0 0 166156 43 0 0 20 0 1 0 23819573 379228160 89040 33554432000 4194304 5796924 140733330302544 140733330300008 4606483 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 92585 89040 180 392 0 92184 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 370340

[startup+1722.3 s]
/proc/loadavg: 2.23 2.31 2.29 3/178 15198
/proc/meminfo: memFree=24680104/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=420428 CPUtime=1721.98 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 53915 0 0 0 172154 44 0 0 20 0 1 0 23819573 430518272 92619 33554432000 4194304 5796924 140733330302544 140733330300184 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 105107 92619 180 392 0 104706 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 420428

[startup+1782.3 s]
/proc/loadavg: 2.30 2.31 2.29 3/177 15199
/proc/meminfo: memFree=24610068/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=420428 CPUtime=1781.96 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 53922 0 0 0 178152 44 0 0 20 0 1 0 23819573 430518272 96203 33554432000 4194304 5796924 140733330302544 140733330300184 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 105107 96203 180 392 0 104706 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 420428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.29 2.31 2.29 4/176 15199
/proc/meminfo: memFree=24602612/32872528 swapFree=1103996/1183712
[pid=15083] ppid=15080 vsize=420428 CPUtime=1800.06 cores=1,3,5,7
/proc/15083/stat : 15083 (naps-1.02) R 15080 15083 11857 0 -1 4202496 53924 0 0 0 179962 44 0 0 20 0 1 0 23819573 430518272 97227 33554432000 4194304 5796924 140733330302544 140733330300184 4606495 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 105107 97227 180 392 0 104706 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 420428

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 15083 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.08
CPU user time (s): 1799.63
CPU system time (s): 0.450931
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 500568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.450931
maximum resident set size= 473248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53936
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= 83
involuntary context switches= 1875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.31334 second user time and 7.48386 second system time

The end