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-4118243-1467233726/watcher-4118243-1467233726 -o /tmp/evaluation-result-4118243-1467233726/solver-4118243-1467233726 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467233726-4227 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118243-1467233726.opb 

pid=4247
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 1.07 1.12 1.47 2/173 4250
/proc/meminfo: memFree=31613064/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=7296 CPUtime=0 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 499 0 0 0 0 0 0 0 20 0 1 0 2403980 7471104 373 33554432000 4194304 5796924 140733599082848 140734000212184 5096544 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 1824 373 116 392 0 1423 0

[startup+0.100162 s]
/proc/loadavg: 1.07 1.12 1.47 2/173 4250
/proc/meminfo: memFree=31613064/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=10208 CPUtime=0.09 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 1338 0 0 0 9 0 0 0 20 0 1 0 2403980 10452992 1160 33554432000 4194304 5796924 140733599082848 140734000212184 5092643 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 2552 1160 143 392 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10208

[startup+0.200313 s]
/proc/loadavg: 1.07 1.12 1.47 2/173 4250
/proc/meminfo: memFree=31613064/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=10572 CPUtime=0.19 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 1448 0 0 0 19 0 0 0 20 0 1 0 2403980 10825728 1270 33554432000 4194304 5796924 140733599082848 140734000212184 4430313 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 2643 1270 143 392 0 2242 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10572

[startup+0.300307 s]
/proc/loadavg: 1.07 1.12 1.47 2/173 4250
/proc/meminfo: memFree=31613064/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=15156 CPUtime=0.29 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 2743 0 0 0 29 0 0 0 20 0 1 0 2403980 15519744 2945 33554432000 4194304 5796924 140733599082848 140734000212184 4564248 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 3789 2945 152 392 0 3388 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15156

[startup+0.700277 s]
/proc/loadavg: 1.07 1.12 1.47 2/173 4250
/proc/meminfo: memFree=31613064/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=13460 CPUtime=0.69 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 3392 0 0 0 69 0 0 0 20 0 1 0 2403980 13783040 2837 33554432000 4194304 5796924 140733599082848 140734000212184 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 3365 2837 171 392 0 2964 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13460

[startup+1.50025 s]
/proc/loadavg: 1.06 1.12 1.47 3/177 4257
/proc/meminfo: memFree=31579168/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=13460 CPUtime=1.49 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 3392 0 0 0 149 0 0 0 20 0 1 0 2403980 13783040 2837 33554432000 4194304 5796924 140733599082848 140733599079832 5092509 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 3365 2837 171 392 0 2964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13460

[startup+3.10034 s]
/proc/loadavg: 1.06 1.12 1.47 3/177 4257
/proc/meminfo: memFree=31321648/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=256592 CPUtime=3.09 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 42418 0 0 0 301 8 0 0 20 0 1 0 2403980 262750208 59537 33554432000 4194304 5796924 140733599082848 140733599056344 4621249 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 64148 59538 177 392 0 63747 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 256592

[startup+6.30033 s]
/proc/loadavg: 1.22 1.15 1.48 3/177 4257
/proc/meminfo: memFree=30661376/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=799820 CPUtime=6.29 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 98195 0 0 0 609 20 0 0 20 0 1 0 2403980 819015680 181703 33554432000 4194304 5796924 140733599082848 140733599079816 4564275 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 199955 181703 177 392 0 199554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 799820

[startup+12.7003 s]
/proc/loadavg: 1.28 1.16 1.48 3/177 4257
/proc/meminfo: memFree=30572216/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=790000 CPUtime=12.69 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 107365 0 0 0 1243 26 0 0 20 0 1 0 2403980 808960000 185366 33554432000 4194304 5796924 140733599082848 140733599079960 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 197500 185366 179 392 0 197099 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 790000

[startup+25.5004 s]
/proc/loadavg: 1.51 1.22 1.49 3/177 4257
/proc/meminfo: memFree=30565524/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=821536 CPUtime=25.48 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 107883 0 0 0 2522 26 0 0 20 0 1 0 2403980 841252864 185875 33554432000 4194304 5796924 140733599082848 140733599080488 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 205384 185875 180 392 0 204983 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 821536

[startup+51.1004 s]
/proc/loadavg: 1.67 1.28 1.50 3/177 4257
/proc/meminfo: memFree=30548400/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=822136 CPUtime=51.08 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 108269 0 0 0 5081 27 0 0 20 0 1 0 2403980 841867264 186767 33554432000 4194304 5796924 140733599082848 140733599080120 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 205534 186767 180 392 0 205133 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 822136

[startup+102.3 s]
/proc/loadavg: 1.86 1.39 1.53 3/177 4258
/proc/meminfo: memFree=30514656/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=823708 CPUtime=102.28 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 108646 0 0 0 10201 27 0 0 20 0 1 0 2403980 843476992 189282 33554432000 4194304 5796924 140733599082848 140733599080120 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 205927 189282 180 392 0 205526 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 823708

[startup+162.3 s]
/proc/loadavg: 1.95 1.50 1.55 3/177 4259
/proc/meminfo: memFree=30499760/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=824376 CPUtime=162.26 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 109795 0 0 0 16197 29 0 0 20 0 1 0 2403980 844161024 189232 33554432000 4194304 5796924 140733599082848 140733599079960 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 206094 189232 180 392 0 205693 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 824376

[startup+222.308 s]
/proc/loadavg: 1.98 1.59 1.58 3/177 4261
/proc/meminfo: memFree=30517280/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=825336 CPUtime=222.25 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 110641 0 0 0 22194 31 0 0 20 0 1 0 2403980 845144064 188935 33554432000 4194304 5796924 140733599082848 140733599079960 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 206334 188935 180 392 0 205933 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 825336

[startup+282.3 s]
/proc/loadavg: 2.07 1.67 1.61 3/178 4265
/proc/meminfo: memFree=30500808/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=826020 CPUtime=282.22 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 110834 0 0 0 28191 31 0 0 20 0 1 0 2403980 845844480 192921 33554432000 4194304 5796924 140733599082848 140733599079960 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 206505 192921 180 392 0 206104 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 826020

[startup+342.3 s]
/proc/loadavg: 2.06 1.75 1.64 3/178 4289
/proc/meminfo: memFree=30505920/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=827492 CPUtime=342.2 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 111633 0 0 0 34187 33 0 0 20 0 1 0 2403980 847351808 191284 33554432000 4194304 5796924 140733599082848 140733599080120 4592014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 206873 191284 180 392 0 206472 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 827492

[startup+402.3 s]
/proc/loadavg: 2.02 1.79 1.65 3/177 4290
/proc/meminfo: memFree=30445020/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=827624 CPUtime=402.19 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 111704 0 0 0 40186 33 0 0 20 0 1 0 2403980 847486976 194419 33554432000 4194304 5796924 140733599082848 140733599079832 4606410 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 206906 194419 180 392 0 206505 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 827624

[startup+462.3 s]
/proc/loadavg: 2.00 1.83 1.67 3/177 4291
/proc/meminfo: memFree=30504404/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=828508 CPUtime=462.18 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 112305 0 0 0 46184 34 0 0 20 0 1 0 2403980 848392192 192034 33554432000 4194304 5796924 140733599082848 140733599079960 4607747 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 207127 192034 180 392 0 206726 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 828508

[startup+522.3 s]
/proc/loadavg: 2.04 1.87 1.69 3/177 4293
/proc/meminfo: memFree=30481760/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=829064 CPUtime=522.16 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 112870 0 0 0 52181 35 0 0 20 0 1 0 2403980 848961536 191687 33554432000 4194304 5796924 140733599082848 140733599079960 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 207266 191687 180 392 0 206865 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 829064

[startup+582.3 s]
/proc/loadavg: 2.01 1.89 1.71 3/177 4294
/proc/meminfo: memFree=30480868/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=829488 CPUtime=582.15 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 113354 0 0 0 58179 36 0 0 20 0 1 0 2403980 849395712 190210 33554432000 4194304 5796924 140733599082848 140733599080312 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 207372 190210 180 392 0 206971 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 829488

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


[startup+882.307 s]
/proc/loadavg: 2.06 1.97 1.79 3/178 4303
/proc/meminfo: memFree=30431228/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838536 CPUtime=882.11 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 115958 0 0 0 88169 42 0 0 20 0 1 0 2403980 858660864 196209 33554432000 4194304 5796924 140733599082848 140733599079896 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209634 196209 180 392 0 209233 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 838536

[startup+942.3 s]
/proc/loadavg: 2.02 1.97 1.80 3/177 4304
/proc/meminfo: memFree=30487252/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838536 CPUtime=942.1 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 116355 0 0 0 94167 43 0 0 20 0 1 0 2403980 858660864 195155 33554432000 4194304 5796924 140733599082848 140733599080312 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209634 195155 180 392 0 209233 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 838536

[startup+1002.3 s]
/proc/loadavg: 2.05 1.99 1.82 3/177 4305
/proc/meminfo: memFree=30450564/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838536 CPUtime=1002.08 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 116801 0 0 0 100165 43 0 0 20 0 1 0 2403980 858660864 192655 33554432000 4194304 5796924 140733599082848 140733599080312 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209634 192655 180 392 0 209233 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 838536

[startup+1062.3 s]
/proc/loadavg: 2.02 1.99 1.82 3/177 4306
/proc/meminfo: memFree=30421208/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838536 CPUtime=1062.08 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 116808 0 0 0 106164 44 0 0 20 0 1 0 2403980 858660864 196239 33554432000 4194304 5796924 140733599082848 140733599080312 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209634 196239 180 392 0 209233 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 838536

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 4308
/proc/meminfo: memFree=30419280/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838536 CPUtime=1122.06 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 117205 0 0 0 112161 45 0 0 20 0 1 0 2403980 858660864 193650 33554432000 4194304 5796924 140733599082848 140733599080312 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209634 193650 180 392 0 209233 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 838536

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 4309
/proc/meminfo: memFree=30476012/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838536 CPUtime=1182.06 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 117216 0 0 0 118160 46 0 0 20 0 1 0 2403980 858660864 197238 33554432000 4194304 5796924 140733599082848 140733599080312 4608495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209634 197238 180 392 0 209233 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 838536

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 4310
/proc/meminfo: memFree=30449316/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838536 CPUtime=1242.05 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 117850 0 0 0 124158 47 0 0 20 0 1 0 2403980 858660864 193090 33554432000 4194304 5796924 140733599082848 140733599080312 4606733 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209634 193090 180 392 0 209233 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 838536

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/177 4311
/proc/meminfo: memFree=30439520/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838536 CPUtime=1302.04 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 117852 0 0 0 130157 47 0 0 20 0 1 0 2403980 858660864 194114 33554432000 4194304 5796924 140733599082848 140733599080312 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209634 194114 180 392 0 209233 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 838536

[startup+1362.3 s]
/proc/loadavg: 2.04 2.00 1.86 3/177 4312
/proc/meminfo: memFree=30414328/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838536 CPUtime=1362.03 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 117859 0 0 0 136156 47 0 0 20 0 1 0 2403980 858660864 197698 33554432000 4194304 5796924 140733599082848 140733599080312 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209634 197698 180 392 0 209233 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 838536

[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 1.86 3/177 4314
/proc/meminfo: memFree=30412528/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838536 CPUtime=1422.03 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 118240 0 0 0 142154 49 0 0 20 0 1 0 2403980 858660864 195604 33554432000 4194304 5796924 140733599082848 140733599080312 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209634 195604 180 392 0 209233 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 838536

[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.87 3/178 4318
/proc/meminfo: memFree=30459668/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=838784 CPUtime=1482.01 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 118700 0 0 0 148151 50 0 0 20 0 1 0 2403980 858914816 193117 33554432000 4194304 5796924 140733599082848 140733599080312 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209696 193117 180 392 0 209295 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 838784

[startup+1542.31 s]
/proc/loadavg: 2.09 2.02 1.89 3/177 4319
/proc/meminfo: memFree=30441600/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=839240 CPUtime=1542.01 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 118799 0 0 0 154151 50 0 0 20 0 1 0 2403980 859381760 194749 33554432000 4194304 5796924 140733599082848 140733599079960 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209810 194749 180 392 0 209409 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 839240

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 1.89 3/177 4320
/proc/meminfo: memFree=30430672/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=839936 CPUtime=1601.99 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 119351 0 0 0 160148 51 0 0 20 0 1 0 2403980 860094464 194359 33554432000 4194304 5796924 140733599082848 140733599080312 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 209984 194359 180 392 0 209583 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 839936

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/177 4321
/proc/meminfo: memFree=30398552/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=841348 CPUtime=1661.98 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 119662 0 0 0 166147 51 0 0 20 0 1 0 2403980 861540352 198758 33554432000 4194304 5796924 140733599082848 140733599079960 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 210337 198758 180 392 0 209936 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 841348

[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 1.91 3/177 4323
/proc/meminfo: memFree=30403728/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=842092 CPUtime=1721.98 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 120524 0 0 0 172144 54 0 0 20 0 1 0 2403980 862302208 195373 33554432000 4194304 5796924 140733599082848 140733599079960 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 210523 195373 180 392 0 210122 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 842092

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.91 3/177 4324
/proc/meminfo: memFree=30383432/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=842596 CPUtime=1781.96 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 120633 0 0 0 178142 54 0 0 20 0 1 0 2403980 862818304 198548 33554432000 4194304 5796924 140733599082848 140733599079960 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 210649 198548 180 392 0 210248 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 842596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.03 1.91 3/177 4324
/proc/meminfo: memFree=30377164/32872528 swapFree=170020/176152
[pid=4250] ppid=4247 vsize=842880 CPUtime=1800.06 cores=1,3,5,7
/proc/4250/stat : 4250 (naps-1.02) R 4247 4250 1985 0 -1 4202496 120693 0 0 0 179952 54 0 0 20 0 1 0 2403980 863109120 199630 33554432000 4194304 5796924 140733599082848 140733599079960 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4250/statm: 210720 199630 180 392 0 210319 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 842880

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

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.08
CPU user time (s): 1799.53
CPU system time (s): 0.550916
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 971952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.550916
maximum resident set size= 857140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120705
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= 103
involuntary context switches= 1972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.34834 second user time and 7.12792 second system time

The end