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-4094655-1467246667/watcher-4094655-1467246667 -o /tmp/evaluation-result-4094655-1467246667/solver-4094655-1467246667 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467246667-10347 --watchdog 1960 naps-1.02 HOME/instance-4094655-1467246667.wbo 

pid=10370
running on 4 cores: 0,2,4,6

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: 0.13 0.32 0.70 3/175 10376
/proc/meminfo: memFree=28846256/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=6548 CPUtime=0 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 5627785 6705152 224 33554432000 4194304 5796924 140737385430592 140735879975752 5151211 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 1670 230 127 392 0 1269 0

[startup+0.100117 s]
/proc/loadavg: 0.13 0.32 0.70 3/175 10376
/proc/meminfo: memFree=28846256/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=10228 CPUtime=0.09 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 1415 0 0 0 9 0 0 0 20 0 1 0 5627785 10473472 1644 33554432000 4194304 5796924 140737385430592 140735879975752 4425326 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 2557 1644 142 392 0 2156 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10228

[startup+0.200316 s]
/proc/loadavg: 0.13 0.32 0.70 3/175 10376
/proc/meminfo: memFree=28846256/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=13292 CPUtime=0.19 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2584 0 0 0 19 0 0 0 20 0 1 0 5627785 13611008 2342 33554432000 4194304 5796924 140737385430592 140735879975752 5092526 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3323 2342 150 392 0 2922 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13292

[startup+0.300282 s]
/proc/loadavg: 0.13 0.32 0.70 3/175 10376
/proc/meminfo: memFree=28846256/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=13292 CPUtime=0.29 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2589 0 0 0 29 0 0 0 20 0 1 0 5627785 13611008 2347 33554432000 4194304 5796924 140737385430592 140735879975752 5092526 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3323 2347 150 392 0 2922 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13292

[startup+0.700229 s]
/proc/loadavg: 0.13 0.32 0.70 3/175 10376
/proc/meminfo: memFree=28846256/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=13292 CPUtime=0.69 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2603 0 0 0 69 0 0 0 20 0 1 0 5627785 13611008 2361 33554432000 4194304 5796924 140737385430592 140735879975752 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3323 2361 150 392 0 2922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13292

[startup+1.50023 s]
/proc/loadavg: 0.13 0.32 0.70 4/177 10378
/proc/meminfo: memFree=28825300/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=13292 CPUtime=1.49 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2606 0 0 0 149 0 0 0 20 0 1 0 5627785 13611008 2364 33554432000 4194304 5796924 140737385430592 140737385425176 5087529 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3323 2364 150 392 0 2922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13292

[startup+3.10027 s]
/proc/loadavg: 0.13 0.32 0.70 4/177 10378
/proc/meminfo: memFree=28824308/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=13292 CPUtime=3.09 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2609 0 0 0 309 0 0 0 20 0 1 0 5627785 13611008 2367 33554432000 4194304 5796924 140737385430592 140737385425176 4295847 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3323 2367 151 392 0 2922 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13292

[startup+6.30019 s]
/proc/loadavg: 0.28 0.35 0.71 5/177 10378
/proc/meminfo: memFree=28824512/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=13432 CPUtime=6.29 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2637 0 0 0 629 0 0 0 20 0 1 0 5627785 13754368 2395 33554432000 4194304 5796924 140737385430592 140737385425176 5096544 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3358 2395 151 392 0 2957 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13432

[startup+12.7002 s]
/proc/loadavg: 0.50 0.40 0.72 4/177 10378
/proc/meminfo: memFree=28824832/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=13564 CPUtime=12.69 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2654 0 0 0 1269 0 0 0 20 0 1 0 5627785 13889536 2412 33554432000 4194304 5796924 140737385430592 140737385425176 5096645 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3391 2412 151 392 0 2990 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13564

[startup+25.5002 s]
/proc/loadavg: 0.90 0.49 0.75 4/177 10378
/proc/meminfo: memFree=28826468/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=13708 CPUtime=25.49 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2691 0 0 0 2549 0 0 0 20 0 1 0 5627785 14036992 2449 33554432000 4194304 5796924 140737385430592 140737385425176 4199797 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3427 2449 151 392 0 3026 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13708

[startup+51.1003 s]
/proc/loadavg: 1.27 0.61 0.78 4/177 10378
/proc/meminfo: memFree=28826008/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=13876 CPUtime=51.08 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2748 0 0 0 5108 0 0 0 20 0 1 0 5627785 14209024 2506 33554432000 4194304 5796924 140737385430592 140737385425160 5093798 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3469 2506 151 392 0 3068 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13876

[startup+102.3 s]
/proc/loadavg: 2.13 0.95 0.88 4/176 10379
/proc/meminfo: memFree=28825264/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=14160 CPUtime=102.28 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2801 0 0 0 10228 0 0 0 20 0 1 0 5627785 14499840 2559 33554432000 4194304 5796924 140737385430592 140737385425176 5087500 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3540 2559 151 392 0 3139 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14160

[startup+162.3 s]
/proc/loadavg: 2.47 1.24 0.99 4/177 10381
/proc/meminfo: memFree=28824400/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=14584 CPUtime=162.26 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2916 0 0 0 16226 0 0 0 20 0 1 0 5627785 14934016 2674 33554432000 4194304 5796924 140737385430592 140737385425080 5087747 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3646 2674 151 392 0 3245 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14584

[startup+222.307 s]
/proc/loadavg: 2.25 1.41 1.06 4/177 10382
/proc/meminfo: memFree=28824464/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=14584 CPUtime=222.26 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2919 0 0 0 22226 0 0 0 20 0 1 0 5627785 14934016 2677 33554432000 4194304 5796924 140737385430592 140737385425080 5087650 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3646 2677 151 392 0 3245 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 14584

[startup+282.3 s]
/proc/loadavg: 2.21 1.54 1.12 5/177 10383
/proc/meminfo: memFree=28824352/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=14860 CPUtime=282.25 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2962 0 0 0 28225 0 0 0 20 0 1 0 5627785 15216640 2720 33554432000 4194304 5796924 140737385430592 140737385425080 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3715 2720 151 392 0 3314 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 14860

[startup+342.3 s]
/proc/loadavg: 2.14 1.64 1.18 4/177 10384
/proc/meminfo: memFree=28824168/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=14860 CPUtime=342.24 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2963 0 0 0 34224 0 0 0 20 0 1 0 5627785 15216640 2721 33554432000 4194304 5796924 140737385430592 140737385425080 5096680 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3715 2721 151 392 0 3314 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 14860

[startup+402.3 s]
/proc/loadavg: 2.16 1.73 1.24 5/177 10385
/proc/meminfo: memFree=28822412/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=14860 CPUtime=402.23 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2979 0 0 0 40223 0 0 0 20 0 1 0 5627785 15216640 2778 33554432000 4194304 5796924 140737385430592 140737385425080 5096560 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3715 2778 151 392 0 3314 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 14860

[startup+462.3 s]
/proc/loadavg: 2.25 1.83 1.30 5/177 10387
/proc/meminfo: memFree=28823008/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=14860 CPUtime=462.22 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 2995 0 0 0 46222 0 0 0 20 0 1 0 5627785 15216640 2794 33554432000 4194304 5796924 140737385430592 140737385425080 4809123 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3715 2794 151 392 0 3314 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 14860

[startup+522.3 s]
/proc/loadavg: 2.09 1.86 1.34 4/177 10388
/proc/meminfo: memFree=28822816/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15008 CPUtime=522.21 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3009 0 0 0 52221 0 0 0 20 0 1 0 5627785 15368192 2808 33554432000 4194304 5796924 140737385430592 140737385425176 5100101 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3752 2808 151 392 0 3351 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 15008

[startup+582.3 s]
/proc/loadavg: 2.12 1.91 1.39 4/178 10392
/proc/meminfo: memFree=28822744/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15008 CPUtime=582.2 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3024 0 0 0 58220 0 0 0 20 0 1 0 5627785 15368192 2823 33554432000 4194304 5796924 140737385430592 140737385425176 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3752 2823 151 392 0 3351 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 15008


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


[startup+942.3 s]
/proc/loadavg: 2.07 2.05 1.61 4/177 10399
/proc/meminfo: memFree=28822040/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=942.14 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3080 0 0 0 94214 0 0 0 20 0 1 0 5627785 15642624 2879 33554432000 4194304 5796924 140737385430592 140737385425176 5087700 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2879 151 392 0 3418 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 15276

[startup+1002.3 s]
/proc/loadavg: 2.12 2.07 1.64 5/177 10400
/proc/meminfo: memFree=28822056/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=1002.13 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3082 0 0 0 100213 0 0 0 20 0 1 0 5627785 15642624 2881 33554432000 4194304 5796924 140737385430592 140737385425176 4840430 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2881 151 392 0 3418 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 15276

[startup+1062.3 s]
/proc/loadavg: 2.12 2.07 1.67 4/177 10402
/proc/meminfo: memFree=28821916/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=1062.12 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3083 0 0 0 106212 0 0 0 20 0 1 0 5627785 15642624 2882 33554432000 4194304 5796924 140737385430592 140737385425176 5092509 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2882 151 392 0 3418 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 15276

[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 1.69 4/177 10403
/proc/meminfo: memFree=28821432/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=1122.11 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3089 0 0 0 112211 0 0 0 20 0 1 0 5627785 15642624 2888 33554432000 4194304 5796924 140737385430592 140737385425176 5096666 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2888 151 392 0 3418 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 15276

[startup+1182.3 s]
/proc/loadavg: 2.23 2.10 1.72 5/179 10407
/proc/meminfo: memFree=28821668/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=1182.11 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3091 0 0 0 118211 0 0 0 20 0 1 0 5627785 15642624 2890 33554432000 4194304 5796924 140737385430592 140737385425176 5087529 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2890 151 392 0 3418 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 15276

[startup+1242.3 s]
/proc/loadavg: 2.22 2.12 1.75 5/177 10407
/proc/meminfo: memFree=28821604/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=1242.1 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3092 0 0 0 124210 0 0 0 20 0 1 0 5627785 15642624 2891 33554432000 4194304 5796924 140737385430592 140737385425176 5087700 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2891 151 392 0 3418 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 15276

[startup+1302.3 s]
/proc/loadavg: 2.19 2.14 1.78 4/177 10408
/proc/meminfo: memFree=28821612/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=1302.09 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3092 0 0 0 130209 0 0 0 20 0 1 0 5627785 15642624 2891 33554432000 4194304 5796924 140737385430592 140737385425176 4865566 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2891 151 392 0 3418 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 15276

[startup+1362.3 s]
/proc/loadavg: 2.11 2.13 1.80 5/177 10410
/proc/meminfo: memFree=28820956/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=1362.08 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3092 0 0 0 136208 0 0 0 20 0 1 0 5627785 15642624 2891 33554432000 4194304 5796924 140737385430592 140737385425176 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2891 151 392 0 3418 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 15276

[startup+1422.3 s]
/proc/loadavg: 2.31 2.18 1.83 5/177 10411
/proc/meminfo: memFree=28821196/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=1422.08 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3092 0 0 0 142208 0 0 0 20 0 1 0 5627785 15642624 2891 33554432000 4194304 5796924 140737385430592 140737385425176 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2891 151 392 0 3418 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 15276

[startup+1482.3 s]
/proc/loadavg: 2.16 2.16 1.84 4/177 10412
/proc/meminfo: memFree=28820956/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=1482.06 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3092 0 0 0 148206 0 0 0 20 0 1 0 5627785 15642624 2891 33554432000 4194304 5796924 140737385430592 140737385425176 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2891 151 392 0 3418 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 15276

[startup+1542.31 s]
/proc/loadavg: 2.55 2.27 1.90 5/177 10413
/proc/meminfo: memFree=28820980/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=15276 CPUtime=1542.06 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 3092 0 0 0 154206 0 0 0 20 0 1 0 5627785 15642624 2891 33554432000 4194304 5796924 140737385430592 140737385425176 5092502 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 3819 2891 151 392 0 3418 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 15276

[startup+1602.3 s]
/proc/loadavg: 2.48 2.29 1.93 5/178 10414
/proc/meminfo: memFree=23415564/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=2889272 CPUtime=1602.04 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 241334 0 0 0 160115 89 0 0 20 0 1 0 5627785 2958614528 669037 33554432000 4194304 5796924 140737385430592 140737385427864 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 722318 669037 180 392 0 721917 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2889272

[startup+1662.3 s]
/proc/loadavg: 2.26 2.26 1.94 4/177 10415
/proc/meminfo: memFree=23422512/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=2909784 CPUtime=1662.03 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 242851 0 0 0 166113 90 0 0 20 0 1 0 5627785 2979618816 677197 33554432000 4194304 5796924 140737385430592 140737385427640 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 727446 677197 184 392 0 727045 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2909784

[startup+1722.3 s]
/proc/loadavg: 2.25 2.27 1.96 5/177 10416
/proc/meminfo: memFree=23391796/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=3042044 CPUtime=1722.03 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 243538 0 0 0 172111 92 0 0 20 0 1 0 5627785 3115053056 680947 33554432000 4194304 5796924 140737385430592 140737385428232 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 760511 680947 184 392 0 760110 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3042044

[startup+1782.3 s]
/proc/loadavg: 2.60 2.36 2.01 5/178 10420
/proc/meminfo: memFree=23364852/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=3042044 CPUtime=1782.02 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 243544 0 0 0 178110 92 0 0 20 0 1 0 5627785 3115053056 684019 33554432000 4194304 5796924 140737385430592 140737385428232 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 760511 684019 184 392 0 760110 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3042044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.50 2.35 2.01 4/179 10443
/proc/meminfo: memFree=23355900/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=3042044 CPUtime=1800.01 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 243546 0 0 0 179909 92 0 0 20 0 1 0 5627785 3115053056 685043 33554432000 4194304 5796924 140737385430592 140737385428232 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 760511 685043 184 392 0 760110 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3042044

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

[startup+1800.3 s]
/proc/loadavg: 2.50 2.35 2.01 4/179 10443
/proc/meminfo: memFree=23355900/32872528 swapFree=1427768/1542232
[pid=10376] ppid=10370 vsize=3042044 CPUtime=1800.01 cores=0,2,4,6
/proc/10376/stat : 10376 (naps-1.02) R 10370 10376 10331 0 -1 4202496 243546 0 0 0 179909 92 0 0 20 0 1 0 5627785 3115053056 685043 33554432000 4194304 5796924 140737385430592 140737385428232 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/10376/statm: 760511 685043 184 392 0 760110 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3042044

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.12
CPU user time (s): 1799.1
CPU system time (s): 1.02384
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 3233016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.02384
maximum resident set size= 2936568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243556
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= 4
involuntary context switches= 1878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68629 second user time and 6.96394 second system time

The end