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-4082294-1465251929/watcher-4082294-1465251929 -o /tmp/evaluation-result-4082294-1465251929/solver-4082294-1465251929 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465218415-9446 --watchdog 1960 naps-1.02 HOME/instance-4082294-1465251929.opb 

pid=14873
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.35 2.23 2.19 4/176 14876
/proc/meminfo: memFree=30054808/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=6716 CPUtime=0 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 107124740 6877184 242 33554432000 4194304 5796924 140733948836464 140735637957784 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 1679 242 128 392 0 1278 0

[startup+0.100171 s]
/proc/loadavg: 2.35 2.23 2.19 4/176 14876
/proc/meminfo: memFree=30054808/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=3212 CPUtime=0.09 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 634 0 0 0 9 0 0 0 20 0 1 0 107124740 3289088 476 33554432000 4194304 5796924 140733948836464 140735637957784 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 803 476 153 392 0 402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3212

[startup+0.200394 s]
/proc/loadavg: 2.35 2.23 2.19 4/176 14876
/proc/meminfo: memFree=30054808/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=3212 CPUtime=0.19 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 634 0 0 0 19 0 0 0 20 0 1 0 107124740 3289088 476 33554432000 4194304 5796924 140733948836464 140735637957784 5087776 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 803 476 153 392 0 402 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3212

[startup+0.300346 s]
/proc/loadavg: 2.35 2.23 2.19 4/176 14876
/proc/meminfo: memFree=30054808/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=3212 CPUtime=0.29 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 634 0 0 0 29 0 0 0 20 0 1 0 107124740 3289088 476 33554432000 4194304 5796924 140733948836464 140733948833448 4839585 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 803 476 153 392 0 402 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3212

[startup+0.700234 s]
/proc/loadavg: 2.35 2.23 2.19 4/176 14876
/proc/meminfo: memFree=30054808/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=3212 CPUtime=0.69 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 634 0 0 0 69 0 0 0 20 0 1 0 107124740 3289088 476 33554432000 4194304 5796924 140733948836464 140733948833448 4865554 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 803 476 153 392 0 402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3212

[startup+1.50031 s]
/proc/loadavg: 2.35 2.23 2.19 3/177 14877
/proc/meminfo: memFree=30052816/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=56708 CPUtime=1.49 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 10074 0 0 0 148 1 0 0 20 0 1 0 107124740 58068992 13248 33554432000 4194304 5796924 140733948836464 140733948833448 4564234 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 14177 13250 161 392 0 13776 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56708

[startup+3.10032 s]
/proc/loadavg: 2.32 2.23 2.19 3/177 14877
/proc/meminfo: memFree=29889500/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=186956 CPUtime=3.08 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 28595 0 0 0 304 4 0 0 20 0 1 0 107124740 191442944 43928 33554432000 4194304 5796924 140733948836464 140733948833800 4650803 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 46739 43928 161 392 0 46338 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 186956

[startup+6.30032 s]
/proc/loadavg: 2.32 2.23 2.19 3/177 14877
/proc/meminfo: memFree=29884600/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=179776 CPUtime=6.29 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 29509 0 0 0 624 5 0 0 20 0 1 0 107124740 184090624 42517 33554432000 4194304 5796924 140733948836464 140733948834312 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 44944 42517 169 392 0 44543 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 179776

[startup+12.7003 s]
/proc/loadavg: 2.34 2.23 2.19 3/177 14877
/proc/meminfo: memFree=29789040/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=289044 CPUtime=12.68 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 38223 0 0 0 1261 7 0 0 20 0 1 0 107124740 295981056 66234 33554432000 4194304 5796924 140733948836464 140733948834184 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 72261 66234 171 392 0 71860 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 289044

[startup+25.5004 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 14877
/proc/meminfo: memFree=29789552/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=289044 CPUtime=25.48 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 38223 0 0 0 2541 7 0 0 20 0 1 0 107124740 295981056 66234 33554432000 4194304 5796924 140733948836464 140733948834184 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 72261 66234 171 392 0 71860 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 289044

[startup+51.1004 s]
/proc/loadavg: 2.26 2.22 2.19 4/177 14877
/proc/meminfo: memFree=29775160/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=296048 CPUtime=51.08 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 38767 0 0 0 5100 8 0 0 20 0 1 0 107124740 303153152 69818 33554432000 4194304 5796924 140733948836464 140733948833528 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 74012 69818 171 392 0 73611 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 296048

[startup+102.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 14878
/proc/meminfo: memFree=29774992/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=296048 CPUtime=102.28 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 38817 0 0 0 10220 8 0 0 20 0 1 0 107124740 303153152 69868 33554432000 4194304 5796924 140733948836464 140733948833528 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 74012 69868 171 392 0 73611 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 296048

[startup+162.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 14880
/proc/meminfo: memFree=29762388/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=307720 CPUtime=162.26 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 39345 0 0 0 16218 8 0 0 20 0 1 0 107124740 315105280 72889 33554432000 4194304 5796924 140733948836464 140733948833528 4607720 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 76930 72889 171 392 0 76529 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 307720

[startup+222.307 s]
/proc/loadavg: 2.12 2.17 2.17 3/177 14881
/proc/meminfo: memFree=29760088/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=307720 CPUtime=222.26 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 39345 0 0 0 22218 8 0 0 20 0 1 0 107124740 315105280 72889 33554432000 4194304 5796924 140733948836464 140733948833528 4606410 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 76930 72889 171 392 0 76529 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 307720

[startup+282.3 s]
/proc/loadavg: 2.16 2.17 2.17 4/178 14885
/proc/meminfo: memFree=29758968/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=307720 CPUtime=282.24 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 39345 0 0 0 28216 8 0 0 20 0 1 0 107124740 315105280 72889 33554432000 4194304 5796924 140733948836464 140733948833528 4606782 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 76930 72889 171 392 0 76529 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 307720

[startup+342.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 14886
/proc/meminfo: memFree=29758772/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=307720 CPUtime=342.23 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 39360 0 0 0 34215 8 0 0 20 0 1 0 107124740 315105280 72889 33554432000 4194304 5796924 140733948836464 140733948833528 4607261 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 76930 72889 171 392 0 76529 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 307720

[startup+402.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 14887
/proc/meminfo: memFree=29756416/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=307720 CPUtime=402.2 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 39378 0 0 0 40212 8 0 0 20 0 1 0 107124740 315105280 73310 33554432000 4194304 5796924 140733948836464 140733948833528 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 76930 73310 171 392 0 76529 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 307720

[startup+462.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/177 14889
/proc/meminfo: memFree=29750788/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=307720 CPUtime=462.2 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 39835 0 0 0 46211 9 0 0 20 0 1 0 107124740 315105280 74107 33554432000 4194304 5796924 140733948836464 140733948833928 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 76930 74107 171 392 0 76529 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 307720

[startup+522.3 s]
/proc/loadavg: 2.16 2.18 2.18 4/177 14890
/proc/meminfo: memFree=29738664/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=319820 CPUtime=522.19 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 40297 0 0 0 52209 10 0 0 20 0 1 0 107124740 327495680 77062 33554432000 4194304 5796924 140733948836464 140733948833704 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 79955 77062 171 392 0 79554 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 319820

[startup+582.3 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 14891
/proc/meminfo: memFree=29737180/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=319820 CPUtime=582.18 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 41201 0 0 0 58207 11 0 0 20 0 1 0 107124740 327495680 77510 33554432000 4194304 5796924 140733948836464 140733948833928 4606624 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 79955 77510 171 392 0 79554 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 319820


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


[startup+882.307 s]
/proc/loadavg: 1.37 1.80 2.03 2/171 14931
/proc/meminfo: memFree=30024448/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=320032 CPUtime=882.14 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 43521 0 0 0 88201 13 0 0 20 0 1 0 107124740 327712768 77563 33554432000 4194304 5796924 140733948836464 140733948833928 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 80008 77563 171 392 0 79607 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 320032

[startup+942.3 s]
/proc/loadavg: 1.19 1.68 1.97 2/170 14932
/proc/meminfo: memFree=29984820/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=369352 CPUtime=942.13 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 43975 0 0 0 94199 14 0 0 20 0 1 0 107124740 378216448 87726 33554432000 4194304 5796924 140733948836464 140733948833752 4606847 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 92338 87726 171 392 0 91937 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 369352

[startup+1002.3 s]
/proc/loadavg: 1.26 1.62 1.93 2/170 14933
/proc/meminfo: memFree=29990844/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=369352 CPUtime=1002.12 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 44428 0 0 0 100197 15 0 0 20 0 1 0 107124740 378216448 86190 33554432000 4194304 5796924 140733948836464 140733948833752 4569019 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 92338 86190 171 392 0 91937 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 369352

[startup+1062.3 s]
/proc/loadavg: 1.10 1.51 1.87 3/170 14935
/proc/meminfo: memFree=30024844/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=320032 CPUtime=1062.11 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 44432 0 0 0 106196 15 0 0 20 0 1 0 107124740 327712768 77563 33554432000 4194304 5796924 140733948836464 140733948833928 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 80008 77563 171 392 0 79607 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 320032

[startup+1122.3 s]
/proc/loadavg: 1.13 1.44 1.82 3/170 14936
/proc/meminfo: memFree=30024716/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=320032 CPUtime=1122.1 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 44888 0 0 0 112194 16 0 0 20 0 1 0 107124740 327712768 77563 33554432000 4194304 5796924 140733948836464 140733948833928 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 80008 77563 171 392 0 79607 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 320032

[startup+1182.3 s]
/proc/loadavg: 1.17 1.40 1.79 3/170 14937
/proc/meminfo: memFree=29954464/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=423868 CPUtime=1182.09 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 47383 0 0 0 118192 17 0 0 20 0 1 0 107124740 434040832 95170 33554432000 4194304 5796924 140733948836464 140733948833880 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 105967 95170 171 392 0 105566 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 423868

[startup+1242.3 s]
/proc/loadavg: 1.29 1.39 1.75 2/170 14938
/proc/meminfo: memFree=29948372/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=415784 CPUtime=1242.08 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 47894 0 0 0 124189 19 0 0 20 0 1 0 107124740 425762816 96747 33554432000 4194304 5796924 140733948836464 140733948833752 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 103946 96747 171 392 0 103545 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 415784

[startup+1302.3 s]
/proc/loadavg: 1.16 1.33 1.71 2/170 14939
/proc/meminfo: memFree=29949372/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=418376 CPUtime=1302.07 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 49008 0 0 0 130187 20 0 0 20 0 1 0 107124740 428417024 96371 33554432000 4194304 5796924 140733948836464 140733948833752 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 104594 96371 171 392 0 104193 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 418376

[startup+1362.3 s]
/proc/loadavg: 1.28 1.33 1.68 3/170 14941
/proc/meminfo: memFree=29981696/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=369696 CPUtime=1362.06 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 49017 0 0 0 136186 20 0 0 20 0 1 0 107124740 378568704 88268 33554432000 4194304 5796924 140733948836464 140733948833928 4606802 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 92424 88268 171 392 0 92023 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 369696

[startup+1422.3 s]
/proc/loadavg: 1.27 1.32 1.65 3/170 14942
/proc/meminfo: memFree=29934648/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=419016 CPUtime=1422.05 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 49623 0 0 0 142184 21 0 0 20 0 1 0 107124740 429072384 100115 33554432000 4194304 5796924 140733948836464 140733948833752 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 104754 100115 171 392 0 104353 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 419016

[startup+1482.3 s]
/proc/loadavg: 1.20 1.29 1.62 2/171 14946
/proc/meminfo: memFree=29854200/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=511772 CPUtime=1482.05 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 54224 0 0 0 148180 25 0 0 20 0 1 0 107124740 524054528 120132 33554432000 4194304 5796924 140733948836464 140733948833752 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 127943 120132 172 392 0 127542 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 511772

[startup+1542.31 s]
/proc/loadavg: 1.33 1.31 1.61 3/170 14947
/proc/meminfo: memFree=29843400/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=542592 CPUtime=1542.04 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 54466 0 0 0 154179 25 0 0 20 0 1 0 107124740 555614208 122921 33554432000 4194304 5796924 140733948836464 140733948834104 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 135648 122921 172 392 0 135247 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 542592

[startup+1602.3 s]
/proc/loadavg: 1.26 1.29 1.58 2/170 14948
/proc/meminfo: memFree=29852100/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=511772 CPUtime=1602.02 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 54969 0 0 0 160176 26 0 0 20 0 1 0 107124740 524054528 120644 33554432000 4194304 5796924 140733948836464 140733948833752 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 127943 120644 172 392 0 127542 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 511772

[startup+1662.3 s]
/proc/loadavg: 1.32 1.29 1.56 2/170 14950
/proc/meminfo: memFree=29892260/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=462452 CPUtime=1662.01 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 55599 0 0 0 166173 28 0 0 20 0 1 0 107124740 473550848 110488 33554432000 4194304 5796924 140733948836464 140733948833928 4606802 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 115613 110488 172 392 0 115212 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 462452

[startup+1722.3 s]
/proc/loadavg: 1.29 1.28 1.54 3/170 14951
/proc/meminfo: memFree=29847248/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=511772 CPUtime=1722.01 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 56050 0 0 0 172172 29 0 0 20 0 1 0 107124740 524054528 121709 33554432000 4194304 5796924 140733948836464 140733948833752 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 127943 121709 172 392 0 127542 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 511772

[startup+1782.3 s]
/proc/loadavg: 1.27 1.27 1.52 2/170 14952
/proc/meminfo: memFree=29888100/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=465332 CPUtime=1781.99 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 56984 0 0 0 178169 30 0 0 20 0 1 0 107124740 476499968 111319 33554432000 4194304 5796924 140733948836464 140733948833928 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 116333 111319 172 392 0 115932 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 465332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.25 1.27 1.51 3/170 14952
/proc/meminfo: memFree=29851656/32872528 swapFree=18240/1696364
[pid=14876] ppid=14873 vsize=514652 CPUtime=1800.09 cores=1,3,5,7
/proc/14876/stat : 14876 (naps-1.02) R 14873 14876 9429 0 -1 4202496 57881 0 0 0 179978 31 0 0 20 0 1 0 107124740 527003648 120617 33554432000 4194304 5796924 140733948836464 140733948833752 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14876/statm: 128663 120617 172 392 0 128262 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 514652

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 14876 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.1
CPU user time (s): 1799.78
CPU system time (s): 0.318951
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 545472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.318951
maximum resident set size= 502436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57893
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= 62
involuntary context switches= 2028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5883 second user time and 6.87195 second system time

The end