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

pid=15242
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.13 2.93 3.67 4/178 15245
/proc/meminfo: memFree=30354940/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=6852 CPUtime=0 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 1 0 105744903 7016448 288 33554432000 4194304 5796924 140733885214896 140734253844248 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 1713 288 128 392 0 1312 0

[startup+0.10017 s]
/proc/loadavg: 2.13 2.93 3.67 4/178 15245
/proc/meminfo: memFree=30354940/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=7548 CPUtime=0.09 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 629 0 0 0 9 0 0 0 20 0 1 0 105744903 7729152 488 33554432000 4194304 5796924 140733885214896 140734253844248 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 1887 488 128 392 0 1486 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7548

[startup+0.200358 s]
/proc/loadavg: 2.13 2.93 3.67 4/178 15245
/proc/meminfo: memFree=30354940/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=8200 CPUtime=0.19 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 878 0 0 0 19 0 0 0 20 0 1 0 105744903 8396800 717 33554432000 4194304 5796924 140733885214896 140734253844248 4564248 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 2050 717 128 392 0 1649 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8200

[startup+0.300267 s]
/proc/loadavg: 2.13 2.93 3.67 4/178 15245
/proc/meminfo: memFree=30354940/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=8920 CPUtime=0.29 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 1106 0 0 0 29 0 0 0 20 0 1 0 105744903 9134080 1436 33554432000 4194304 5796924 140733885214896 140734253844248 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 2230 1436 128 392 0 1829 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8920

[startup+0.700234 s]
/proc/loadavg: 2.13 2.93 3.67 4/178 15245
/proc/meminfo: memFree=30354940/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=11808 CPUtime=0.69 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 1966 0 0 0 69 0 0 0 20 0 1 0 105744903 12091392 2112 33554432000 4194304 5796924 140733885214896 140733885214056 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 2952 2112 128 392 0 2551 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11808

[startup+1.50026 s]
/proc/loadavg: 2.13 2.93 3.67 4/179 15246
/proc/meminfo: memFree=30319356/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=48188 CPUtime=1.48 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 11741 0 0 0 147 1 0 0 20 0 1 0 105744903 49344512 10851 33554432000 4194304 5796924 140733885214896 140733885214056 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 12047 10851 158 392 0 11646 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 48188

[startup+3.10029 s]
/proc/loadavg: 2.13 2.93 3.67 4/179 15246
/proc/meminfo: memFree=30281512/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=54384 CPUtime=3.09 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 12997 0 0 0 307 2 0 0 20 0 1 0 105744903 55689216 11594 33554432000 4194304 5796924 140733885214896 140733885211944 4606565 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 13596 11594 169 392 0 13195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54384

[startup+6.30031 s]
/proc/loadavg: 2.12 2.92 3.66 4/179 15246
/proc/meminfo: memFree=30261852/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=66900 CPUtime=6.29 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 14487 0 0 0 626 3 0 0 20 0 1 0 105744903 68505600 13789 33554432000 4194304 5796924 140733885214896 140733885212040 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 16725 13789 171 392 0 16324 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66900

[startup+12.7003 s]
/proc/loadavg: 2.11 2.90 3.65 4/179 15246
/proc/meminfo: memFree=30227128/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=88028 CPUtime=12.69 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 15865 0 0 0 1266 3 0 0 20 0 1 0 105744903 90140672 19686 33554432000 4194304 5796924 140733885214896 140733885212184 4592304 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 22007 19686 172 392 0 21606 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88028

[startup+25.5004 s]
/proc/loadavg: 2.09 2.86 3.62 3/179 15246
/proc/meminfo: memFree=30191812/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=103332 CPUtime=25.48 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 17124 0 0 0 2544 4 0 0 20 0 1 0 105744903 105811968 24395 33554432000 4194304 5796924 140733885214896 140733885212136 4576116 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 25833 24395 172 392 0 25432 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 103332

[startup+51.1004 s]
/proc/loadavg: 2.13 2.80 3.58 3/179 15246
/proc/meminfo: memFree=30137444/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=152652 CPUtime=51.09 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 17744 0 0 0 5102 7 0 0 20 0 1 0 105744903 156315648 35845 33554432000 4194304 5796924 140733885214896 140733885212184 4606777 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 38163 35845 172 392 0 37762 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 152652

[startup+102.3 s]
/proc/loadavg: 2.12 2.69 3.50 3/179 15247
/proc/meminfo: memFree=30115928/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=183472 CPUtime=102.27 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 20530 0 0 0 10215 12 0 0 20 0 1 0 105744903 187875328 40155 33554432000 4194304 5796924 140733885214896 140733885212536 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 45868 40155 172 392 0 45467 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 183472

[startup+162.3 s]
/proc/loadavg: 2.10 2.58 3.41 3/179 15248
/proc/meminfo: memFree=30177064/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=103332 CPUtime=162.25 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 22182 0 0 0 16209 16 0 0 20 0 1 0 105744903 105811968 24669 33554432000 4194304 5796924 140733885214896 140733885212360 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 25833 24669 173 392 0 25432 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 103332

[startup+222.308 s]
/proc/loadavg: 2.11 2.50 3.33 4/179 15249
/proc/meminfo: memFree=30175276/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=123624 CPUtime=222.25 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 23789 0 0 0 22205 20 0 0 20 0 1 0 105744903 126590976 25182 33554432000 4194304 5796924 140733885214896 140733885212360 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 30906 25182 173 392 0 30505 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 123624

[startup+282.3 s]
/proc/loadavg: 2.19 2.45 3.26 3/180 15254
/proc/meminfo: memFree=30074628/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=203764 CPUtime=282.23 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 26212 0 0 0 28198 25 0 0 20 0 1 0 105744903 208654336 39259 33554432000 4194304 5796924 140733885214896 140733885212536 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 50941 39259 173 392 0 50540 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 203764

[startup+342.3 s]
/proc/loadavg: 2.21 2.41 3.19 3/179 15255
/proc/meminfo: memFree=30044100/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=203764 CPUtime=342.23 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 27856 0 0 0 34194 29 0 0 20 0 1 0 105744903 208654336 45915 33554432000 4194304 5796924 140733885214896 140733885212536 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 50941 45915 173 392 0 50540 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 203764

[startup+402.3 s]
/proc/loadavg: 2.25 2.38 3.13 4/179 15256
/proc/meminfo: memFree=30035356/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=253852 CPUtime=402.21 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 30313 0 0 0 40188 33 0 0 20 0 1 0 105744903 259944448 49800 33554432000 4194304 5796924 140733885214896 140733885212536 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 63463 49800 173 392 0 63062 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 253852

[startup+462.3 s]
/proc/loadavg: 2.35 2.38 3.08 4/179 15257
/proc/meminfo: memFree=30017112/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=462.21 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 32667 0 0 0 46184 37 0 0 20 0 1 0 105744903 277577728 57126 33554432000 4194304 5796924 140733885214896 140733885212536 4606704 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 57126 173 392 0 67367 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 271072

[startup+522.3 s]
/proc/loadavg: 2.18 2.33 3.02 3/179 15258
/proc/meminfo: memFree=29965456/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=522.2 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 34308 0 0 0 52180 40 0 0 20 0 1 0 105744903 277577728 57638 33554432000 4194304 5796924 140733885214896 140733885212536 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 57638 173 392 0 67367 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 271072

[startup+582.3 s]
/proc/loadavg: 2.17 2.29 2.96 4/179 15260
/proc/meminfo: memFree=29959788/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=582.19 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 35930 0 0 0 58176 43 0 0 20 0 1 0 105744903 277577728 54553 33554432000 4194304 5796924 140733885214896 140733885212536 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 54553 173 392 0 67367 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 271072


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


[startup+882.307 s]
/proc/loadavg: 2.19 2.24 2.75 3/180 15269
/proc/meminfo: memFree=29945656/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=882.15 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 41642 0 0 0 88161 54 0 0 20 0 1 0 105744903 277577728 66586 33554432000 4194304 5796924 140733885214896 140733885212536 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 66586 173 392 0 67367 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 271072

[startup+942.3 s]
/proc/loadavg: 2.18 2.23 2.71 3/179 15270
/proc/meminfo: memFree=30018760/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=942.13 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 43551 0 0 0 94156 57 0 0 20 0 1 0 105744903 277577728 57126 33554432000 4194304 5796924 140733885214896 140733885212536 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 57126 173 392 0 67367 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 271072

[startup+1002.3 s]
/proc/loadavg: 2.10 2.20 2.67 3/179 15271
/proc/meminfo: memFree=30003388/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=190164 CPUtime=1002.13 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 44293 0 0 0 100153 60 0 0 20 0 1 0 105744903 194727936 42934 33554432000 4194304 5796924 140733885214896 140733885212184 4606565 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 47541 42934 173 392 0 47140 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 190164

[startup+1062.3 s]
/proc/loadavg: 2.18 2.20 2.64 3/179 15272
/proc/meminfo: memFree=29944056/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=1062.11 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 45727 0 0 0 106149 62 0 0 20 0 1 0 105744903 277577728 60198 33554432000 4194304 5796924 140733885214896 140733885212536 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 60198 173 392 0 67367 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 271072

[startup+1122.3 s]
/proc/loadavg: 2.11 2.18 2.60 4/179 15273
/proc/meminfo: memFree=30024364/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=190164 CPUtime=1122.1 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 46468 0 0 0 112146 64 0 0 20 0 1 0 105744903 194727936 42934 33554432000 4194304 5796924 140733885214896 140733885212184 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 47541 42934 173 392 0 47140 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 190164

[startup+1182.3 s]
/proc/loadavg: 2.15 2.17 2.57 3/179 15275
/proc/meminfo: memFree=29973040/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=1182.1 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 47906 0 0 0 118143 67 0 0 20 0 1 0 105744903 277577728 60198 33554432000 4194304 5796924 140733885214896 140733885212536 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 60198 173 392 0 67367 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 271072

[startup+1242.3 s]
/proc/loadavg: 2.22 2.19 2.55 3/179 15276
/proc/meminfo: memFree=29879664/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=352460 CPUtime=1242.09 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 48448 0 0 0 124141 68 0 0 20 0 1 0 105744903 360919040 72998 33554432000 4194304 5796924 140733885214896 140733885212536 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 88115 72998 173 392 0 87714 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 352460

[startup+1302.3 s]
/proc/loadavg: 2.21 2.19 2.53 3/179 15277
/proc/meminfo: memFree=29957580/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=1302.08 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 50090 0 0 0 130136 72 0 0 20 0 1 0 105744903 277577728 57126 33554432000 4194304 5796924 140733885214896 140733885212536 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 57126 173 392 0 67367 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 271072

[startup+1362.3 s]
/proc/loadavg: 2.32 2.23 2.52 3/179 15278
/proc/meminfo: memFree=29921276/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=352460 CPUtime=1362.05 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 50656 0 0 0 136132 73 0 0 20 0 1 0 105744903 360919040 70950 33554432000 4194304 5796924 140733885214896 140733885212536 4607215 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 88115 70950 173 392 0 87714 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 352460

[startup+1422.3 s]
/proc/loadavg: 2.36 2.26 2.51 3/179 15279
/proc/meminfo: memFree=29947976/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=1422.04 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 52307 0 0 0 142128 76 0 0 20 0 1 0 105744903 277577728 55078 33554432000 4194304 5796924 140733885214896 140733885212536 4606718 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 55078 173 392 0 67367 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 271072

[startup+1482.3 s]
/proc/loadavg: 2.25 2.25 2.49 3/180 15284
/proc/meminfo: memFree=29914564/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=352460 CPUtime=1482.03 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 52846 0 0 0 148126 77 0 0 20 0 1 0 105744903 360919040 67878 33554432000 4194304 5796924 140733885214896 140733885212536 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 88115 67878 173 392 0 87714 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 352460

[startup+1542.31 s]
/proc/loadavg: 2.33 2.28 2.48 3/180 15308
/proc/meminfo: memFree=30056228/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=220984 CPUtime=1542.02 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 53659 0 0 0 154123 79 0 0 20 0 1 0 105744903 226287616 47097 33554432000 4194304 5796924 140733885214896 140733885212536 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 55246 47097 173 392 0 54845 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 220984

[startup+1602.3 s]
/proc/loadavg: 2.22 2.26 2.46 4/179 15309
/proc/meminfo: memFree=29929888/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=1602 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 54509 0 0 0 160120 80 0 0 20 0 1 0 105744903 277577728 62246 33554432000 4194304 5796924 140733885214896 140733885212536 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 62246 173 392 0 67367 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 271072

[startup+1662.3 s]
/proc/loadavg: 2.24 2.25 2.44 3/179 15310
/proc/meminfo: memFree=29903912/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=352460 CPUtime=1662 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 55049 0 0 0 166119 81 0 0 20 0 1 0 105744903 360919040 75046 33554432000 4194304 5796924 140733885214896 140733885212536 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 88115 75046 173 392 0 87714 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 352460

[startup+1722.3 s]
/proc/loadavg: 2.31 2.27 2.43 3/179 15311
/proc/meminfo: memFree=29946268/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=271072 CPUtime=1721.99 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 56678 0 0 0 172115 84 0 0 20 0 1 0 105744903 277577728 55590 33554432000 4194304 5796924 140733885214896 140733885212536 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 67768 55590 173 392 0 67367 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 271072

[startup+1782.3 s]
/proc/loadavg: 2.49 2.32 2.44 3/179 15313
/proc/meminfo: memFree=29920904/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=352460 CPUtime=1781.98 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 57218 0 0 0 178113 85 0 0 20 0 1 0 105744903 360919040 68902 33554432000 4194304 5796924 140733885214896 140733885212536 4607194 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 88115 68902 173 392 0 87714 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 352460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.42 2.32 2.44 4/179 15313
/proc/meminfo: memFree=29896640/32872528 swapFree=15540/1663004
[pid=15245] ppid=15242 vsize=352460 CPUtime=1800.07 cores=1,3,5,7
/proc/15245/stat : 15245 (naps-1.02) R 15242 15245 8273 0 -1 4202496 57225 0 0 0 179922 85 0 0 20 0 1 0 105744903 360919040 72486 33554432000 4194304 5796924 140733885214896 140733885212536 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15245/statm: 88115 72486 173 392 0 87714 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 352460

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 15245 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.23
CPU system time (s): 0.863868
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 352460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.863868
maximum resident set size= 306328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57237
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= 64
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91025 second user time and 7.83281 second system time

The end