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-4083191-1465268683/watcher-4083191-1465268683 -o /tmp/evaluation-result-4083191-1465268683/solver-4083191-1465268683 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465244211-28760 --watchdog 1960 naps-1.02 HOME/instance-4083191-1465268683.opb 

pid=2428
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.08 2.08 2.01 3/176 2431
/proc/meminfo: memFree=31161172/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=6692 CPUtime=0 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 108800866 6852608 218 33554432000 4194304 5796924 140736393360832 140736763177064 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 1673 218 114 392 0 1272 0

[startup+0.10016 s]
/proc/loadavg: 2.08 2.08 2.01 3/176 2431
/proc/meminfo: memFree=31161172/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=8708 CPUtime=0.09 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 818 0 0 0 9 0 0 0 20 0 1 0 108800866 8916992 693 33554432000 4194304 5796924 140736393360832 140736393359992 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 2177 693 128 392 0 1776 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8708

[startup+0.200289 s]
/proc/loadavg: 2.08 2.08 2.01 3/176 2431
/proc/meminfo: memFree=31161172/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=9772 CPUtime=0.19 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 1130 0 0 0 19 0 0 0 20 0 1 0 108800866 10006528 1005 33554432000 4194304 5796924 140736393360832 140736393359992 4425326 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 2443 1005 139 392 0 2042 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9772

[startup+0.30026 s]
/proc/loadavg: 2.08 2.08 2.01 3/176 2431
/proc/meminfo: memFree=31161172/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=10208 CPUtime=0.29 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 1286 0 0 0 29 0 0 0 20 0 1 0 108800866 10452992 1109 33554432000 4194304 5796924 140736393360832 140736393359992 4425326 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 2552 1109 139 392 0 2151 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10208

[startup+0.700241 s]
/proc/loadavg: 2.08 2.08 2.01 3/176 2431
/proc/meminfo: memFree=31161172/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=18864 CPUtime=0.69 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 4770 0 0 0 68 1 0 0 20 0 1 0 108800866 19316736 4018 33554432000 4194304 5796924 140736393360832 140736393359992 4611179 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 4716 4018 163 392 0 4315 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18864

[startup+1.50029 s]
/proc/loadavg: 2.08 2.08 2.01 3/177 2432
/proc/meminfo: memFree=31143660/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=24072 CPUtime=1.48 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 6029 0 0 0 147 1 0 0 20 0 1 0 108800866 24649728 5219 33554432000 4194304 5796924 140736393360832 140736393357944 4606744 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 6018 5219 164 392 0 5617 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24072

[startup+3.10031 s]
/proc/loadavg: 2.08 2.08 2.01 3/177 2432
/proc/meminfo: memFree=31133792/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=35568 CPUtime=3.08 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 7333 0 0 0 307 1 0 0 20 0 1 0 108800866 36421632 8048 33554432000 4194304 5796924 140736393360832 140736393358472 4595284 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 8892 8048 164 392 0 8491 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 35568

[startup+6.30026 s]
/proc/loadavg: 2.07 2.08 2.01 3/177 2432
/proc/meminfo: memFree=31133540/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=50836 CPUtime=6.28 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 8438 0 0 0 626 2 0 0 20 0 1 0 108800866 52056064 10624 33554432000 4194304 5796924 140736393360832 140736393358120 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 12709 10624 164 392 0 12308 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50836

[startup+12.7003 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 2432
/proc/meminfo: memFree=31111720/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=62412 CPUtime=12.69 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 9271 0 0 0 1266 3 0 0 20 0 1 0 108800866 63909888 12388 33554432000 4194304 5796924 140736393360832 140736393358072 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 15603 12388 164 392 0 15202 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62412

[startup+25.5004 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 2432
/proc/meminfo: memFree=31061656/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=109468 CPUtime=25.48 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 12589 0 0 0 2544 4 0 0 20 0 1 0 108800866 112095232 25082 33554432000 4194304 5796924 140736393360832 140736393358072 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 27367 25082 179 392 0 26966 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 109468

[startup+51.1004 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 2432
/proc/meminfo: memFree=30974092/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=118716 CPUtime=51.07 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 14719 0 0 0 5101 6 0 0 20 0 1 0 108800866 121565184 28669 33554432000 4194304 5796924 140736393360832 140736393358376 4606480 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 29679 28669 181 392 0 29278 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 118716

[startup+102.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 2433
/proc/meminfo: memFree=30983400/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=191120 CPUtime=102.27 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 15984 0 0 0 10218 9 0 0 20 0 1 0 108800866 195706880 44353 33554432000 4194304 5796924 140736393360832 140736393358120 4606565 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 47780 44353 181 392 0 47379 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 191120

[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 2434
/proc/meminfo: memFree=30976584/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=141800 CPUtime=162.25 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 17366 0 0 0 16213 12 0 0 20 0 1 0 108800866 145203200 34499 33554432000 4194304 5796924 140736393360832 140736393358296 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 35450 34499 181 392 0 35049 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 141800

[startup+222.307 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 2435
/proc/meminfo: memFree=30989812/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=191120 CPUtime=222.24 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 18351 0 0 0 22210 14 0 0 20 0 1 0 108800866 195706880 43382 33554432000 4194304 5796924 140736393360832 140736393358120 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 47780 43382 181 392 0 47379 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 191120

[startup+282.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 2437
/proc/meminfo: memFree=30970832/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=141800 CPUtime=282.23 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 18949 0 0 0 28207 16 0 0 20 0 1 0 108800866 145203200 34499 33554432000 4194304 5796924 140736393360832 140736393358296 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 35450 34499 181 392 0 35049 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 141800

[startup+342.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/178 2441
/proc/meminfo: memFree=30911784/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=221940 CPUtime=342.22 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 19746 0 0 0 34204 18 0 0 20 0 1 0 108800866 227266560 54201 33554432000 4194304 5796924 140736393360832 140736393358472 4606483 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 55485 54201 181 392 0 55084 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 221940

[startup+402.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/177 2442
/proc/meminfo: memFree=30901352/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=221940 CPUtime=402.22 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 20538 0 0 0 40202 20 0 0 20 0 1 0 108800866 227266560 52153 33554432000 4194304 5796924 140736393360832 140736393358472 4606704 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 55485 52153 181 392 0 55084 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 221940

[startup+462.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 2443
/proc/meminfo: memFree=30943840/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=221940 CPUtime=462.2 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 21991 0 0 0 46198 22 0 0 20 0 1 0 108800866 227266560 46878 33554432000 4194304 5796924 140736393360832 140736393358120 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 55485 46878 181 392 0 55084 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 221940

[startup+522.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/178 2445
/proc/meminfo: memFree=30881144/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=272028 CPUtime=522.19 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 22983 0 0 0 52196 23 0 0 20 0 1 0 108800866 278556672 56550 33554432000 4194304 5796924 140736393360832 140736393358472 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 68007 56550 181 392 0 67606 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 272028

[startup+582.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 2447
/proc/meminfo: memFree=30959152/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=221940 CPUtime=582.18 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 23775 0 0 0 58193 25 0 0 20 0 1 0 108800866 227266560 50617 33554432000 4194304 5796924 140736393360832 140736393358472 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 55485 50617 181 392 0 55084 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 221940


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


[startup+882.307 s]
/proc/loadavg: 2.07 2.09 2.02 3/176 2545
/proc/meminfo: memFree=30814904/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=274556 CPUtime=882.14 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 28493 0 0 0 88181 33 0 0 20 0 1 0 108800866 281145344 58718 33554432000 4194304 5796924 140736393360832 140736393358472 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 68639 58718 181 392 0 68238 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 274556

[startup+942.3 s]
/proc/loadavg: 2.09 2.09 2.02 3/178 2550
/proc/meminfo: memFree=30900500/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=197232 CPUtime=942.13 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 29087 0 0 0 94178 35 0 0 20 0 1 0 108800866 201965568 46446 33554432000 4194304 5796924 140736393360832 140736393358120 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 49308 46446 181 392 0 48907 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 197232

[startup+1002.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/177 2551
/proc/meminfo: memFree=30739212/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=228052 CPUtime=1002.12 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 29775 0 0 0 100176 36 0 0 20 0 1 0 108800866 233525248 55820 33554432000 4194304 5796924 140736393360832 140736393358472 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 57013 55820 181 392 0 56612 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 228052

[startup+1062.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/177 2552
/proc/meminfo: memFree=30735972/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=278140 CPUtime=1062.11 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 30516 0 0 0 106174 37 0 0 20 0 1 0 108800866 284815360 63198 33554432000 4194304 5796924 140736393360832 140736393358472 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 69535 63198 181 392 0 69134 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 278140

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 2553
/proc/meminfo: memFree=30830740/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=230816 CPUtime=1122.1 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 31772 0 0 0 112171 39 0 0 20 0 1 0 108800866 236355584 51300 33554432000 4194304 5796924 140736393360832 140736393358472 4607198 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 57704 51300 181 392 0 57303 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 230816

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 2554
/proc/meminfo: memFree=30710748/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=280904 CPUtime=1182.09 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 32601 0 0 0 118169 40 0 0 20 0 1 0 108800866 287645696 59281 33554432000 4194304 5796924 140736393360832 140736393358472 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 70226 59281 181 392 0 69825 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 280904

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2556
/proc/meminfo: memFree=30739900/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=280904 CPUtime=1242.08 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 32614 0 0 0 124167 41 0 0 20 0 1 0 108800866 287645696 65937 33554432000 4194304 5796924 140736393360832 140736393358472 4607168 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 70226 65937 181 392 0 69825 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 280904

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2557
/proc/meminfo: memFree=30719592/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=234596 CPUtime=1302.07 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 33836 0 0 0 130164 43 0 0 20 0 1 0 108800866 240226304 51221 33554432000 4194304 5796924 140736393360832 140736393358472 4606577 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 58649 51221 181 392 0 58248 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 234596

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2558
/proc/meminfo: memFree=30761092/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=284684 CPUtime=1362.06 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 34666 0 0 0 136161 45 0 0 20 0 1 0 108800866 291516416 59714 33554432000 4194304 5796924 140736393360832 140736393358472 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 71171 59714 181 392 0 70770 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 284684

[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2559
/proc/meminfo: memFree=30656952/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=284684 CPUtime=1422.07 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 34678 0 0 0 142161 46 0 0 20 0 1 0 108800866 291516416 65858 33554432000 4194304 5796924 140736393360832 140736393358472 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 71171 65858 181 392 0 70770 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 284684

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2560
/proc/meminfo: memFree=30839684/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=207232 CPUtime=1482.04 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 35439 0 0 0 148157 47 0 0 20 0 1 0 108800866 212205568 48434 33554432000 4194304 5796924 140736393360832 140736393358120 4606744 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 51808 48434 181 392 0 51407 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 207232

[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 2565
/proc/meminfo: memFree=30711456/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=238052 CPUtime=1542.05 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 36038 0 0 0 154156 49 0 0 20 0 1 0 108800866 243765248 57717 33554432000 4194304 5796924 140736393360832 140736393358472 4607201 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 59513 57717 181 392 0 59112 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 238052

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2566
/proc/meminfo: memFree=30617752/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=288140 CPUtime=1602.02 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 36865 0 0 0 160152 50 0 0 20 0 1 0 108800866 295055360 64162 33554432000 4194304 5796924 140736393360832 140736393358472 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 72035 64162 181 392 0 71634 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 288140

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 2567
/proc/meminfo: memFree=30714844/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=288140 CPUtime=1662.01 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 36889 0 0 0 166150 51 0 0 20 0 1 0 108800866 295055360 69794 33554432000 4194304 5796924 140736393360832 140736393358472 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 72035 69794 181 392 0 71634 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 288140

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2568
/proc/meminfo: memFree=30695172/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=241528 CPUtime=1721.99 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 38565 0 0 0 172146 53 0 0 20 0 1 0 108800866 247324672 52954 33554432000 4194304 5796924 140736393360832 140736393358472 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 60382 52954 181 392 0 59981 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 241528

[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 2569
/proc/meminfo: memFree=30598420/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=291616 CPUtime=1781.98 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 39396 0 0 0 178144 54 0 0 20 0 1 0 108800866 298614784 61447 33554432000 4194304 5796924 140736393360832 140736393358472 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 72904 61447 181 392 0 72503 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 291616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 2570
/proc/meminfo: memFree=30573832/32872528 swapFree=12328/568296
[pid=2431] ppid=2428 vsize=291616 CPUtime=1800.07 cores=1,3,5,7
/proc/2431/stat : 2431 (naps-1.02) R 2428 2431 28743 0 -1 4202496 39400 0 0 0 179953 54 0 0 20 0 1 0 108800866 298614784 63495 33554432000 4194304 5796924 140736393360832 140736393358472 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2431/statm: 72904 63495 181 392 0 72503 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 291616

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 2431 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.09
CPU user time (s): 1799.54
CPU system time (s): 0.550916
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 373004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.550916
maximum resident set size= 287372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39412
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= 47
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49532 second user time and 6.96894 second system time

The end