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-4095024-1466089337/watcher-4095024-1466089337 -o /tmp/evaluation-result-4095024-1466089337/solver-4095024-1466089337 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466075149-17051 --watchdog 1960 naps-1.02 HOME/instance-4095024-1466089337.wbo 

pid=19442
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: 2.00 2.01 2.00 3/176 19445
/proc/meminfo: memFree=31674956/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=6696 CPUtime=0 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 10984111 6856704 247 33554432000 4194304 5796924 140734305420992 140736474047640 4621249 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 1674 247 130 392 0 1273 0

[startup+0.100144 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 19445
/proc/meminfo: memFree=31674956/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=10812 CPUtime=0.09 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 1534 0 0 0 9 0 0 0 20 0 1 0 10984111 11071488 1322 33554432000 4194304 5796924 140734305420992 140736474047640 4650892 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 2703 1323 151 392 0 2302 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10812

[startup+0.200307 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 19445
/proc/meminfo: memFree=31674956/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=23272 CPUtime=0.19 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 5686 0 0 0 19 0 0 0 20 0 1 0 10984111 23830528 4969 33554432000 4194304 5796924 140734305420992 140736474047640 4623737 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 5818 4969 169 392 0 5417 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23272

[startup+0.300379 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 19445
/proc/meminfo: memFree=31674956/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=24232 CPUtime=0.29 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 5881 0 0 0 29 0 0 0 20 0 1 0 10984111 24813568 5139 33554432000 4194304 5796924 140734305420992 140736474047640 4592304 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 6058 5139 171 392 0 5657 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24232

[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 19445
/proc/meminfo: memFree=31674956/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=28656 CPUtime=0.69 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 6378 0 0 0 69 0 0 0 20 0 1 0 10984111 29343744 6146 33554432000 4194304 5796924 140734305420992 140734305418232 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 7164 6146 171 392 0 6763 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28656

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19446
/proc/meminfo: memFree=31645332/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=33052 CPUtime=1.49 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 7282 0 0 0 149 0 0 0 20 0 1 0 10984111 33845248 7532 33554432000 4194304 5796924 140734305420992 140734305418232 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 8263 7532 171 392 0 7862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33052

[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19446
/proc/meminfo: memFree=31640920/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=33124 CPUtime=3.09 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 8089 0 0 0 308 1 0 0 20 0 1 0 10984111 33918976 6990 33554432000 4194304 5796924 140734305420992 140734305418344 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 8281 6990 171 392 0 7880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33124

[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19446
/proc/meminfo: memFree=31604024/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=55956 CPUtime=6.29 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 13762 0 0 0 627 2 0 0 20 0 1 0 10984111 57298944 11850 33554432000 4194304 5796924 140734305420992 140734305418232 4592160 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 13989 11850 182 392 0 13588 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55956

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19446
/proc/meminfo: memFree=31596248/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=106864 CPUtime=12.68 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 15575 0 0 0 1266 2 0 0 20 0 1 0 10984111 109428736 19266 33554432000 4194304 5796924 140734305420992 140734305418232 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 26716 19266 182 392 0 26315 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 106864

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 19446
/proc/meminfo: memFree=31535320/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=106864 CPUtime=25.49 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 16162 0 0 0 2546 3 0 0 20 0 1 0 10984111 109428736 25983 33554432000 4194304 5796924 140734305420992 140734305418232 4593555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 26716 25983 182 392 0 26315 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106864

[startup+51.1004 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 19446
/proc/meminfo: memFree=31492244/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=156184 CPUtime=51.08 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 16389 0 0 0 5103 5 0 0 20 0 1 0 10984111 159932416 35239 33554432000 4194304 5796924 140734305420992 140734305418280 4592091 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 39046 35239 182 392 0 38645 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 156184

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 19447
/proc/meminfo: memFree=31510860/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=119164 CPUtime=102.27 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 17286 0 0 0 10218 9 0 0 20 0 1 0 10984111 122023936 29229 33554432000 4194304 5796924 140734305420992 140734305418280 4606782 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 29791 29229 182 392 0 29390 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119164

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19448
/proc/meminfo: memFree=31502620/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=119164 CPUtime=162.26 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 17713 0 0 0 16212 14 0 0 20 0 1 0 10984111 122023936 29367 33554432000 4194304 5796924 140734305420992 140734305418632 4592563 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 29791 29367 182 392 0 29390 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 119164

[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 19449
/proc/meminfo: memFree=31435124/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=199304 CPUtime=222.25 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 18252 0 0 0 22206 19 0 0 20 0 1 0 10984111 204087296 42790 33554432000 4194304 5796924 140734305420992 140734305418632 4606708 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 49826 42790 182 392 0 49425 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 199304

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 19451
/proc/meminfo: memFree=31482468/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=119164 CPUtime=282.24 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 18665 0 0 0 28199 25 0 0 20 0 1 0 10984111 122023936 29371 33554432000 4194304 5796924 140734305420992 140734305418456 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 29791 29371 182 392 0 29390 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 119164

[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 19452
/proc/meminfo: memFree=31469648/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=119164 CPUtime=342.23 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 19076 0 0 0 34194 29 0 0 20 0 1 0 10984111 122023936 29371 33554432000 4194304 5796924 140734305420992 140734305418632 4592091 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 29791 29371 182 392 0 29390 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 119164

[startup+402.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 19453
/proc/meminfo: memFree=31466336/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=199304 CPUtime=402.21 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 19489 0 0 0 40188 33 0 0 20 0 1 0 10984111 204087296 44326 33554432000 4194304 5796924 140734305420992 140734305418632 4607589 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 49826 44326 182 392 0 49425 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 199304

[startup+462.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 19454
/proc/meminfo: memFree=31402484/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=201304 CPUtime=462.2 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 20402 0 0 0 46183 37 0 0 20 0 1 0 10984111 206135296 42774 33554432000 4194304 5796924 140734305420992 140734305418280 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 50326 42774 182 392 0 49925 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 201304

[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 19458
/proc/meminfo: memFree=31387852/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=202940 CPUtime=522.2 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 21108 0 0 0 52179 41 0 0 20 0 1 0 10984111 207810560 47791 33554432000 4194304 5796924 140734305420992 140734305418632 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 50735 47791 182 392 0 50334 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 202940

[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 19460
/proc/meminfo: memFree=31428640/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=174608 CPUtime=582.19 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 22082 0 0 0 58174 45 0 0 20 0 1 0 10984111 178798592 39642 33554432000 4194304 5796924 140734305420992 140734305418280 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 43652 39642 182 392 0 43251 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 174608


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


[startup+882.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 19466
/proc/meminfo: memFree=31358996/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=213904 CPUtime=882.15 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 28826 0 0 0 88152 63 0 0 20 0 1 0 10984111 219037696 50532 33554432000 4194304 5796924 140734305420992 140734305418632 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 53476 50532 182 392 0 53075 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 213904

[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 19467
/proc/meminfo: memFree=31403032/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=199428 CPUtime=942.14 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 31694 0 0 0 94146 68 0 0 20 0 1 0 10984111 204214272 45335 33554432000 4194304 5796924 140734305420992 140734305418280 4583097 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 49857 45335 182 392 0 49456 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 199428

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 19468
/proc/meminfo: memFree=31357084/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=231400 CPUtime=1002.13 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 33031 0 0 0 100142 71 0 0 20 0 1 0 10984111 236953600 51834 33554432000 4194304 5796924 140734305420992 140734305418632 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 57850 51834 182 392 0 57449 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 231400

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 19469
/proc/meminfo: memFree=31366148/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=231400 CPUtime=1062.12 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 34024 0 0 0 106137 75 0 0 20 0 1 0 10984111 236953600 55930 33554432000 4194304 5796924 140734305420992 140734305418632 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 57850 55930 182 392 0 57449 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 231400

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19473
/proc/meminfo: memFree=31328048/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1122.11 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 35824 0 0 0 112133 78 0 0 20 0 1 0 10984111 288243712 58791 33554432000 4194304 5796924 140734305420992 140734305418632 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 58791 182 392 0 69971 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 281488

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19475
/proc/meminfo: memFree=31304148/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1182.09 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 36818 0 0 0 118129 80 0 0 20 0 1 0 10984111 288243712 60839 33554432000 4194304 5796924 140734305420992 140734305418632 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 60839 182 392 0 69971 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 281488

[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 19476
/proc/meminfo: memFree=31349660/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1242.08 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 37805 0 0 0 124125 83 0 0 20 0 1 0 10984111 288243712 62375 33554432000 4194304 5796924 140734305420992 140734305418632 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 62375 182 392 0 69971 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 281488

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19477
/proc/meminfo: memFree=31334364/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1302.07 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 38791 0 0 0 130121 86 0 0 20 0 1 0 10984111 288243712 63399 33554432000 4194304 5796924 140734305420992 140734305418632 4607209 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 63399 182 392 0 69971 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 281488

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19478
/proc/meminfo: memFree=31322796/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1362.07 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 39778 0 0 0 136117 90 0 0 20 0 1 0 10984111 288243712 63911 33554432000 4194304 5796924 140734305420992 140734305418632 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 63911 182 392 0 69971 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 281488

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19479
/proc/meminfo: memFree=31327720/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1422.05 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 40767 0 0 0 142113 92 0 0 20 0 1 0 10984111 288243712 63911 33554432000 4194304 5796924 140734305420992 140734305418632 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 63911 182 392 0 69971 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 281488

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19481
/proc/meminfo: memFree=31297628/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1482.05 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 41751 0 0 0 148109 96 0 0 20 0 1 0 10984111 288243712 63399 33554432000 4194304 5796924 140734305420992 140734305418632 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 63399 182 392 0 69971 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 281488

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19482
/proc/meminfo: memFree=31304168/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1542.04 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 42737 0 0 0 154106 98 0 0 20 0 1 0 10984111 288243712 62375 33554432000 4194304 5796924 140734305420992 140734305418632 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 62375 182 392 0 69971 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 281488

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19483
/proc/meminfo: memFree=31322508/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1602.03 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 43722 0 0 0 160101 102 0 0 20 0 1 0 10984111 288243712 61351 33554432000 4194304 5796924 140734305420992 140734305418632 4606802 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 61351 182 392 0 69971 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 281488

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19484
/proc/meminfo: memFree=31336864/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1662.01 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 44703 0 0 0 166097 104 0 0 20 0 1 0 10984111 288243712 59303 33554432000 4194304 5796924 140734305420992 140734305418632 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 59303 182 392 0 69971 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 281488

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 19533
/proc/meminfo: memFree=31520008/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=231400 CPUtime=1722.01 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 44870 0 0 0 172095 106 0 0 20 0 1 0 10984111 236953600 56442 33554432000 4194304 5796924 140734305420992 140734305418632 4925857 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 57850 56442 182 392 0 57449 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 231400

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19535
/proc/meminfo: memFree=31513840/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=231400 CPUtime=1782 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 45852 0 0 0 178091 109 0 0 20 0 1 0 10984111 236953600 53370 33554432000 4194304 5796924 140734305420992 140734305418632 4592071 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 57850 53370 182 392 0 57449 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 231400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19536
/proc/meminfo: memFree=31491572/32872528 swapFree=248296/248296
[pid=19445] ppid=19442 vsize=281488 CPUtime=1800.09 cores=0,2,4,6
/proc/19445/stat : 19445 (naps-1.02) R 19442 19445 14855 0 -1 4202496 46675 0 0 0 179899 110 0 0 20 0 1 0 10984111 288243712 58279 33554432000 4194304 5796924 140734305420992 140734305418632 4606744 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/19445/statm: 70372 58279 182 392 0 69971 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 281488

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 19445 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.11
CPU user time (s): 1799
CPU system time (s): 1.11183
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 330808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.11183
maximum resident set size= 300860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46685
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= 36
involuntary context switches= 1869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2044 second user time and 7.66783 second system time

The end