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-4082823-1465238587/watcher-4082823-1465238587 -o /tmp/evaluation-result-4082823-1465238587/solver-4082823-1465238587 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465238587-7901 --watchdog 1960 naps-1.02 HOME/instance-4082823-1465238587.opb 

pid=7917
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.10 2.50 3.28 2/169 7920
/proc/meminfo: memFree=31545588/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=6828 CPUtime=0 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 397 0 0 0 0 0 0 0 20 0 1 0 105793536 6991872 271 33554432000 4194304 5796924 140734779472672 140736978206520 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 1707 271 128 392 0 1306 0

[startup+0.100162 s]
/proc/loadavg: 2.10 2.50 3.28 2/169 7920
/proc/meminfo: memFree=31545588/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=7600 CPUtime=0.07 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 612 0 0 0 7 0 0 0 20 0 1 0 105793536 7782400 473 33554432000 4194304 5796924 140734779472672 140734779471944 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 1900 473 128 392 0 1499 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7600

[startup+0.200338 s]
/proc/loadavg: 2.10 2.50 3.28 2/169 7920
/proc/meminfo: memFree=31545588/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=8256 CPUtime=0.17 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 835 0 0 0 17 0 0 0 20 0 1 0 105793536 8454144 676 33554432000 4194304 5796924 140734779472672 140734779471944 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 2064 676 128 392 0 1663 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8256

[startup+0.300331 s]
/proc/loadavg: 2.10 2.50 3.28 2/169 7920
/proc/meminfo: memFree=31545588/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=8848 CPUtime=0.27 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 1086 0 0 0 27 0 0 0 20 0 1 0 105793536 9060352 906 33554432000 4194304 5796924 140734779472672 140734779471944 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 2212 906 128 392 0 1811 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8848

[startup+0.700214 s]
/proc/loadavg: 2.10 2.50 3.28 2/169 7920
/proc/meminfo: memFree=31545588/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=11604 CPUtime=0.67 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 2124 0 0 0 67 0 0 0 20 0 1 0 105793536 11882496 2271 33554432000 4194304 5796924 140734779472672 140734779471896 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 2901 2271 128 392 0 2500 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 11604

[startup+1.50031 s]
/proc/loadavg: 2.10 2.50 3.28 3/175 7931
/proc/meminfo: memFree=31483536/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=49964 CPUtime=1.47 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 11112 0 0 0 145 2 0 0 20 0 1 0 105793536 51163136 10426 33554432000 4194304 5796924 140734779472672 140734779469640 4627338 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 12491 10432 158 392 0 12090 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 49964

[startup+3.10031 s]
/proc/loadavg: 2.09 2.49 3.27 3/175 7931
/proc/meminfo: memFree=31465296/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=46736 CPUtime=3.07 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 12083 0 0 0 305 2 0 0 20 0 1 0 105793536 47857664 10119 33554432000 4194304 5796924 140734779472672 140734779469720 4606442 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 11684 10119 170 392 0 11283 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 46736

[startup+6.30024 s]
/proc/loadavg: 2.09 2.49 3.27 4/175 7931
/proc/meminfo: memFree=31443096/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=55884 CPUtime=6.27 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 14161 0 0 0 624 3 0 0 20 0 1 0 105793536 57225216 12724 33554432000 4194304 5796924 140734779472672 140734779471064 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 13971 12724 171 392 0 13570 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 55884

[startup+12.7003 s]
/proc/loadavg: 2.15 2.49 3.26 3/175 7931
/proc/meminfo: memFree=31411940/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=104980 CPUtime=12.66 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 15332 0 0 0 1263 3 0 0 20 0 1 0 105793536 107499520 21123 33554432000 4194304 5796924 140734779472672 140734779469912 4607212 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 26245 21123 171 392 0 25844 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 104980

[startup+25.5004 s]
/proc/loadavg: 2.13 2.48 3.25 3/175 7931
/proc/meminfo: memFree=31374088/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=113616 CPUtime=25.46 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 15916 0 0 0 2542 4 0 0 20 0 1 0 105793536 116342784 22586 33554432000 4194304 5796924 140734779472672 140734779469912 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 28404 22586 172 392 0 28003 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 113616

[startup+51.1003 s]
/proc/loadavg: 2.08 2.44 3.21 4/175 7931
/proc/meminfo: memFree=31332444/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=113616 CPUtime=51.06 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 17044 0 0 0 5100 6 0 0 20 0 1 0 105793536 116342784 27465 33554432000 4194304 5796924 140734779472672 140734779470136 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 28404 27465 172 392 0 28003 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 113616

[startup+102.3 s]
/proc/loadavg: 2.18 2.39 3.15 3/175 7932
/proc/meminfo: memFree=31234128/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=162936 CPUtime=102.26 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 18360 0 0 0 10218 8 0 0 20 0 1 0 105793536 166846464 39745 33554432000 4194304 5796924 140734779472672 140734779469960 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 40734 39745 172 392 0 40333 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 162936

[startup+162.3 s]
/proc/loadavg: 2.12 2.33 3.08 3/175 7934
/proc/meminfo: memFree=31316120/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=113616 CPUtime=162.24 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 20658 0 0 0 16212 12 0 0 20 0 1 0 105793536 116342784 27531 33554432000 4194304 5796924 140734779472672 140734779470136 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 28404 27531 172 392 0 28003 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 113616

[startup+222.307 s]
/proc/loadavg: 2.09 2.29 3.02 3/175 7935
/proc/meminfo: memFree=31200856/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=193756 CPUtime=222.23 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 22689 0 0 0 22208 15 0 0 20 0 1 0 105793536 198406144 41316 33554432000 4194304 5796924 140734779472672 140734779470312 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 48439 41316 172 392 0 48038 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 193756

[startup+282.3 s]
/proc/loadavg: 2.18 2.28 2.97 3/175 7936
/proc/meminfo: memFree=31243780/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=193756 CPUtime=282.22 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 23722 0 0 0 28204 18 0 0 20 0 1 0 105793536 198406144 45924 33554432000 4194304 5796924 140734779472672 140734779470312 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 48439 45924 172 392 0 48038 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 193756

[startup+342.3 s]
/proc/loadavg: 2.12 2.24 2.91 3/175 7937
/proc/meminfo: memFree=31226572/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=176876 CPUtime=342.21 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 25598 0 0 0 34201 20 0 0 20 0 1 0 105793536 181121024 39102 33554432000 4194304 5796924 140734779472672 140734779470136 4606455 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 44219 39102 172 392 0 43818 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 176876

[startup+402.3 s]
/proc/loadavg: 2.09 2.21 2.85 3/175 7938
/proc/meminfo: memFree=31215932/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=176876 CPUtime=402.2 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 26929 0 0 0 40197 23 0 0 20 0 1 0 105793536 181121024 40638 33554432000 4194304 5796924 140734779472672 140734779469960 4606712 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 44219 40638 172 392 0 43818 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 176876

[startup+462.3 s]
/proc/loadavg: 2.03 2.17 2.80 3/176 7943
/proc/meminfo: memFree=31258232/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=127556 CPUtime=462.19 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 27840 0 0 0 46194 25 0 0 20 0 1 0 105793536 130617344 31016 33554432000 4194304 5796924 140734779472672 140734779470136 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 31889 31016 172 392 0 31488 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 127556

[startup+522.3 s]
/proc/loadavg: 2.01 2.13 2.74 3/175 7944
/proc/meminfo: memFree=31213476/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=257784 CPUtime=522.19 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 29177 0 0 0 52191 28 0 0 20 0 1 0 105793536 263970816 53312 33554432000 4194304 5796924 140734779472672 140734779470312 4606526 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 64446 53312 172 392 0 64045 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 257784

[startup+582.3 s]
/proc/loadavg: 2.00 2.11 2.69 3/175 7945
/proc/meminfo: memFree=31133900/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=207696 CPUtime=582.18 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 30208 0 0 0 58188 30 0 0 20 0 1 0 105793536 212680704 50963 33554432000 4194304 5796924 140734779472672 140734779470312 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 51924 50963 172 392 0 51523 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 207696


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


[startup+882.307 s]
/proc/loadavg: 2.01 2.06 2.51 4/175 7952
/proc/meminfo: memFree=31164676/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=257784 CPUtime=882.13 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 34550 0 0 0 88174 39 0 0 20 0 1 0 105793536 263970816 55872 33554432000 4194304 5796924 140734779472672 140734779470312 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 64446 55872 172 392 0 64045 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 257784

[startup+942.3 s]
/proc/loadavg: 2.00 2.05 2.47 3/175 7953
/proc/meminfo: memFree=31147848/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=207696 CPUtime=942.11 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 35575 0 0 0 94170 41 0 0 20 0 1 0 105793536 212680704 47379 33554432000 4194304 5796924 140734779472672 140734779470312 4607264 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 51924 47379 172 392 0 51523 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 207696

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.44 3/175 7954
/proc/meminfo: memFree=31135548/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=257784 CPUtime=1002.11 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 35903 0 0 0 100168 43 0 0 20 0 1 0 105793536 263970816 58432 33554432000 4194304 5796924 140734779472672 140734779470312 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 64446 58432 172 392 0 64045 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 257784

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.41 3/176 7959
/proc/meminfo: memFree=31135536/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=207696 CPUtime=1062.1 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 36942 0 0 0 106164 46 0 0 20 0 1 0 105793536 212680704 47891 33554432000 4194304 5796924 140734779472672 140734779470312 4607599 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 51924 47891 172 392 0 51523 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 207696

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.38 3/176 7983
/proc/meminfo: memFree=31135280/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=257784 CPUtime=1122.08 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 37265 0 0 0 112161 47 0 0 20 0 1 0 105793536 263970816 58432 33554432000 4194304 5796924 140734779472672 140734779470312 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 64446 58432 172 392 0 64045 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 257784

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.36 3/175 7984
/proc/meminfo: memFree=31139620/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=207696 CPUtime=1182.07 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 38290 0 0 0 118158 49 0 0 20 0 1 0 105793536 212680704 46355 33554432000 4194304 5796924 140734779472672 140734779470312 4592438 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 51924 46355 172 392 0 51523 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 207696

[startup+1242.3 s]
/proc/loadavg: 2.11 2.04 2.34 3/175 7985
/proc/meminfo: memFree=31147160/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=257784 CPUtime=1242.07 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 38614 0 0 0 124156 51 0 0 20 0 1 0 105793536 263970816 56384 33554432000 4194304 5796924 140734779472672 140734779470312 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 64446 56384 172 392 0 64045 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 257784

[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.33 3/175 7986
/proc/meminfo: memFree=31161792/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=176876 CPUtime=1302.05 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 39053 0 0 0 130153 52 0 0 20 0 1 0 105793536 181121024 41680 33554432000 4194304 5796924 140734779472672 140734779469960 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 44219 41680 172 392 0 43818 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 176876

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.30 3/175 7988
/proc/meminfo: memFree=31178032/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=257784 CPUtime=1362.04 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 39963 0 0 0 136150 54 0 0 20 0 1 0 105793536 263970816 53312 33554432000 4194304 5796924 140734779472672 140734779470312 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 64446 53312 172 392 0 64045 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 257784

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.28 3/175 7989
/proc/meminfo: memFree=31094432/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=257784 CPUtime=1422.05 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 39980 0 0 0 142150 55 0 0 20 0 1 0 105793536 263970816 62016 33554432000 4194304 5796924 140734779472672 140734779470312 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 64446 62016 172 392 0 64045 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 257784

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.26 3/175 7990
/proc/meminfo: memFree=31113992/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=207696 CPUtime=1482.03 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 41058 0 0 0 148146 57 0 0 20 0 1 0 105793536 212680704 47896 33554432000 4194304 5796924 140734779472672 140734779470312 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 51924 47896 172 392 0 51523 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 207696

[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.25 3/175 7991
/proc/meminfo: memFree=31128520/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=257784 CPUtime=1542.02 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 41386 0 0 0 154144 58 0 0 20 0 1 0 105793536 263970816 57925 33554432000 4194304 5796924 140734779472672 140734779470312 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 64446 57925 172 392 0 64045 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 257784

[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.23 3/175 7992
/proc/meminfo: memFree=31157680/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=176876 CPUtime=1601.98 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 42370 0 0 0 160139 59 0 0 20 0 1 0 105793536 181121024 40661 33554432000 4194304 5796924 140734779472672 140734779469960 4606526 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 44219 40661 172 392 0 43818 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 176876

[startup+1662.3 s]
/proc/loadavg: 2.09 2.04 2.22 3/175 7996
/proc/meminfo: memFree=31178360/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=257784 CPUtime=1661.98 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 43277 0 0 0 166137 61 0 0 20 0 1 0 105793536 263970816 52293 33554432000 4194304 5796924 140734779472672 140734779470312 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 64446 52293 172 392 0 64045 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 257784

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.21 3/175 7998
/proc/meminfo: memFree=31097576/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=257784 CPUtime=1721.96 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 43295 0 0 0 172135 61 0 0 20 0 1 0 105793536 263970816 61509 33554432000 4194304 5796924 140734779472672 140734779470312 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 64446 61509 172 392 0 64045 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 257784

[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 2.20 3/175 7999
/proc/meminfo: memFree=31131180/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=207696 CPUtime=1781.96 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 44726 0 0 0 178133 63 0 0 20 0 1 0 105793536 212680704 44143 33554432000 4194304 5796924 140734779472672 140734779470312 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 51924 44143 172 392 0 51523 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 207696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.05 2.19 3/175 7999
/proc/meminfo: memFree=31106852/32872528 swapFree=13256/481332
[pid=7920] ppid=7917 vsize=207696 CPUtime=1800.05 cores=1,3,5,7
/proc/7920/stat : 7920 (naps-1.02) R 7917 7920 955 0 -1 4202496 44733 0 0 0 179942 63 0 0 20 0 1 0 105793536 212680704 47727 33554432000 4194304 5796924 140734779472672 140734779470312 4606777 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7920/statm: 51924 47727 172 392 0 51523 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 207696

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 7920 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.07
CPU user time (s): 1799.43
CPU system time (s): 0.638902
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 388492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.638902
maximum resident set size= 298452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44745
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= 69
involuntary context switches= 2002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.20521 second user time and 7.2079 second system time

The end