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-4102339-1466237321/watcher-4102339-1466237321 -o /tmp/evaluation-result-4102339-1466237321/solver-4102339-1466237321 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466206085-402 --watchdog 1960 naps-1.02 HOME/instance-4102339-1466237321.opb 

pid=5807
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.13 2.13 2.15 3/174 5810
/proc/meminfo: memFree=29858756/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=6996 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 441 0 0 0 0 0 0 0 20 0 1 0 25779038 7163904 315 33554432000 4194304 5796924 140734194338048 140736147586088 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 1749 315 128 392 0 1348 0

[startup+0.100163 s]
/proc/loadavg: 2.13 2.13 2.15 3/174 5810
/proc/meminfo: memFree=29858756/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=14992 CPUtime=0.09 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 2785 0 0 0 9 0 0 0 20 0 1 0 25779038 15351808 2849 33554432000 4194304 5796924 140734194338048 140736147586088 4245206 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 3748 2849 158 392 0 3347 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14992

[startup+0.200707 s]
/proc/loadavg: 2.13 2.13 2.15 3/174 5810
/proc/meminfo: memFree=29858756/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=35040 CPUtime=0.19 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 8099 0 0 0 18 1 0 0 20 0 1 0 25779038 35880960 8125 33554432000 4194304 5796924 140734194338048 140736147586088 4238669 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 8760 8125 161 392 0 8359 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35040

[startup+0.300332 s]
/proc/loadavg: 2.13 2.13 2.15 3/174 5810
/proc/meminfo: memFree=29858756/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=39756 CPUtime=0.29 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 10062 0 0 0 28 1 0 0 20 0 1 0 25779038 40710144 8849 33554432000 4194304 5796924 140734194338048 140736147586088 4627399 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 9939 8851 161 392 0 9538 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39756

[startup+0.700259 s]
/proc/loadavg: 2.13 2.13 2.15 3/174 5810
/proc/meminfo: memFree=29858756/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=42436 CPUtime=0.69 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 10943 0 0 0 68 1 0 0 20 0 1 0 25779038 43454464 9028 33554432000 4194304 5796924 140734194338048 140734194335896 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 10609 9028 169 392 0 10208 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42436

[startup+1.50027 s]
/proc/loadavg: 2.13 2.13 2.15 3/175 5811
/proc/meminfo: memFree=29820964/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=42436 CPUtime=1.49 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 11246 0 0 0 148 1 0 0 20 0 1 0 25779038 43454464 9330 33554432000 4194304 5796924 140734194338048 140734194335288 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 10609 9330 171 392 0 10208 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42436

[startup+3.10027 s]
/proc/loadavg: 2.12 2.13 2.15 3/175 5811
/proc/meminfo: memFree=29818996/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=43076 CPUtime=3.09 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 11786 0 0 0 308 1 0 0 20 0 1 0 25779038 44109824 9865 33554432000 4194304 5796924 140734194338048 140734194335288 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 10769 9865 171 392 0 10368 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43076

[startup+6.30029 s]
/proc/loadavg: 2.12 2.13 2.15 3/175 5811
/proc/meminfo: memFree=29814448/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=50152 CPUtime=6.28 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 12401 0 0 0 627 1 0 0 20 0 1 0 25779038 51355648 11079 33554432000 4194304 5796924 140734194338048 140734194335512 4591877 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 12538 11079 171 392 0 12137 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50152

[startup+12.7003 s]
/proc/loadavg: 2.17 2.14 2.16 4/175 5811
/proc/meminfo: memFree=29873868/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=52896 CPUtime=12.69 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 13138 0 0 0 1267 2 0 0 20 0 1 0 25779038 54165504 11749 33554432000 4194304 5796924 140734194338048 140734194335112 4607215 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 13224 11749 171 392 0 12823 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52896

[startup+25.5004 s]
/proc/loadavg: 2.22 2.15 2.16 3/175 5811
/proc/meminfo: memFree=29812272/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=88360 CPUtime=25.48 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 17522 0 0 0 2546 2 0 0 20 0 1 0 25779038 90480640 18970 33554432000 4194304 5796924 140734194338048 140734194335512 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 22090 18970 173 392 0 21689 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88360

[startup+51.1004 s]
/proc/loadavg: 2.22 2.16 2.16 3/175 5811
/proc/meminfo: memFree=29787824/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=91152 CPUtime=51.08 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 18721 0 0 0 5105 3 0 0 20 0 1 0 25779038 93339648 21960 33554432000 4194304 5796924 140734194338048 140734194335512 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 22788 21960 173 392 0 22387 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 91152

[startup+102.3 s]
/proc/loadavg: 2.13 2.14 2.16 4/176 5815
/proc/meminfo: memFree=29751308/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=107184 CPUtime=102.28 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 19738 0 0 0 10224 4 0 0 20 0 1 0 25779038 109756416 25968 33554432000 4194304 5796924 140734194338048 140734194335512 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 26796 25968 173 392 0 26395 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 107184

[startup+162.3 s]
/proc/loadavg: 2.16 2.14 2.15 3/175 5907
/proc/meminfo: memFree=30203164/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=85124 CPUtime=162.26 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 20332 0 0 0 16221 5 0 0 20 0 1 0 25779038 87166976 20527 33554432000 4194304 5796924 140734194338048 140734194335288 4606410 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 21281 20527 173 392 0 20880 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 85124

[startup+222.307 s]
/proc/loadavg: 2.18 2.15 2.15 3/175 5908
/proc/meminfo: memFree=30130860/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=139336 CPUtime=222.25 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 21864 0 0 0 22220 5 0 0 20 0 1 0 25779038 142680064 33800 33554432000 4194304 5796924 140734194338048 140734194335288 4606704 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 34834 33800 173 392 0 34433 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 139336

[startup+282.3 s]
/proc/loadavg: 2.21 2.16 2.16 3/175 5909
/proc/meminfo: memFree=30104356/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=139336 CPUtime=282.24 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 22319 0 0 0 28218 6 0 0 20 0 1 0 25779038 142680064 34048 33554432000 4194304 5796924 140734194338048 140734194335512 4606514 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 34834 34048 173 392 0 34433 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 139336

[startup+342.3 s]
/proc/loadavg: 2.21 2.17 2.16 4/175 5911
/proc/meminfo: memFree=30100132/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=139336 CPUtime=342.22 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 22522 0 0 0 34216 6 0 0 20 0 1 0 25779038 142680064 34048 33554432000 4194304 5796924 140734194338048 140734194335512 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 34834 34048 173 392 0 34433 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 139336

[startup+402.3 s]
/proc/loadavg: 2.24 2.19 2.17 3/175 5912
/proc/meminfo: memFree=30060476/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=188656 CPUtime=402.21 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 22929 0 0 0 40214 7 0 0 20 0 1 0 25779038 193183744 43450 33554432000 4194304 5796924 140734194338048 140734194335336 4569019 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 47164 43450 173 392 0 46763 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 188656

[startup+462.3 s]
/proc/loadavg: 2.17 2.18 2.17 3/175 5913
/proc/meminfo: memFree=30096596/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=142576 CPUtime=462.21 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 23544 0 0 0 46213 8 0 0 20 0 1 0 25779038 145997824 34450 33554432000 4194304 5796924 140734194338048 140734194336440 4613574 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 35644 34450 174 392 0 35243 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 142576

[startup+522.3 s]
/proc/loadavg: 2.20 2.19 2.17 3/175 5914
/proc/meminfo: memFree=30055768/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=147436 CPUtime=522.2 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 24425 0 0 0 52212 8 0 0 20 0 1 0 25779038 150974464 35202 33554432000 4194304 5796924 140734194338048 140734194336440 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 36859 35202 174 392 0 36458 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 147436

[startup+582.3 s]
/proc/loadavg: 2.13 2.17 2.16 3/175 5915
/proc/meminfo: memFree=30014680/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=196756 CPUtime=582.19 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 24577 0 0 0 58210 9 0 0 20 0 1 0 25779038 201478144 43963 33554432000 4194304 5796924 140734194338048 140734194335336 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 49189 43963 174 392 0 48788 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 196756


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


[startup+942.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/175 5926
/proc/meminfo: memFree=29977004/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=247872 CPUtime=942.13 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 28730 0 0 0 94196 17 0 0 20 0 1 0 25779038 253820928 49896 33554432000 4194304 5796924 140734194338048 140734194335688 4607168 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 61968 49896 174 392 0 61567 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 247872

[startup+1002.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/175 5927
/proc/meminfo: memFree=29987320/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=217052 CPUtime=1002.12 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 28909 0 0 0 100194 18 0 0 20 0 1 0 25779038 222261248 47878 33554432000 4194304 5796924 140734194338048 140734194335336 4591871 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 54263 47878 174 392 0 53862 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 217052

[startup+1062.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/175 5928
/proc/meminfo: memFree=30029060/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=217052 CPUtime=1062.12 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 29484 0 0 0 106192 20 0 0 20 0 1 0 25779038 222261248 46245 33554432000 4194304 5796924 140734194338048 140734194335336 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 54263 46245 174 392 0 53862 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 217052

[startup+1122.3 s]
/proc/loadavg: 2.23 2.21 2.18 4/175 5929
/proc/meminfo: memFree=30039312/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=217052 CPUtime=1122.1 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 30146 0 0 0 112189 21 0 0 20 0 1 0 25779038 222261248 43685 33554432000 4194304 5796924 140734194338048 140734194335512 4593716 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 54263 43685 174 392 0 53862 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 217052

[startup+1182.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/175 5930
/proc/meminfo: memFree=30016800/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=167732 CPUtime=1182.1 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 30753 0 0 0 118187 23 0 0 20 0 1 0 25779038 171757568 35948 33554432000 4194304 5796924 140734194338048 140734194335512 4592071 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 41933 35948 174 392 0 41532 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 167732

[startup+1242.3 s]
/proc/loadavg: 2.31 2.26 2.20 3/175 5932
/proc/meminfo: memFree=29974688/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=275056 CPUtime=1242.09 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 32659 0 0 0 124184 25 0 0 20 0 1 0 25779038 281657344 59786 33554432000 4194304 5796924 140734194338048 140734194335688 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 68764 59786 174 392 0 68363 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 275056

[startup+1302.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/176 5936
/proc/meminfo: memFree=29985488/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=244236 CPUtime=1302.07 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 32808 0 0 0 130181 26 0 0 20 0 1 0 25779038 250097664 56819 33554432000 4194304 5796924 140734194338048 140734194335336 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 61059 56819 174 392 0 60658 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 244236

[startup+1362.3 s]
/proc/loadavg: 2.20 2.23 2.19 3/175 5937
/proc/meminfo: memFree=29897672/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=275056 CPUtime=1362.06 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 33410 0 0 0 136179 27 0 0 20 0 1 0 25779038 281657344 65078 33554432000 4194304 5796924 140734194338048 140734194335688 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 68764 65078 174 392 0 68363 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 275056

[startup+1422.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/175 5938
/proc/meminfo: memFree=29972852/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=275056 CPUtime=1422.06 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 34140 0 0 0 142177 29 0 0 20 0 1 0 25779038 281657344 59958 33554432000 4194304 5796924 140734194338048 140734194335688 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 68764 59958 174 392 0 68363 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 275056

[startup+1482.3 s]
/proc/loadavg: 2.11 2.19 2.18 3/175 5939
/proc/meminfo: memFree=29963804/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=194916 CPUtime=1482.05 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 34151 0 0 0 148175 30 0 0 20 0 1 0 25779038 199593984 46972 33554432000 4194304 5796924 140734194338048 140734194335512 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 48729 46972 174 392 0 48328 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 194916

[startup+1542.31 s]
/proc/loadavg: 2.14 2.18 2.17 3/175 5941
/proc/meminfo: memFree=29931676/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=275056 CPUtime=1542.04 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 34884 0 0 0 154173 31 0 0 20 0 1 0 25779038 281657344 62518 33554432000 4194304 5796924 140734194338048 140734194335688 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 68764 62518 174 392 0 68363 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 275056

[startup+1602.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/175 5942
/proc/meminfo: memFree=29929576/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=244236 CPUtime=1602.03 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 35027 0 0 0 160171 32 0 0 20 0 1 0 25779038 250097664 55795 33554432000 4194304 5796924 140734194338048 140734194335336 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 61059 55795 174 392 0 60658 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 244236

[startup+1662.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/175 5943
/proc/meminfo: memFree=29956952/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=275056 CPUtime=1662.02 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 35632 0 0 0 166169 33 0 0 20 0 1 0 25779038 281657344 64054 33554432000 4194304 5796924 140734194338048 140734194335688 4592560 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 68764 64054 174 392 0 68363 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 275056

[startup+1722.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/175 5944
/proc/meminfo: memFree=29914884/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=275056 CPUtime=1722.01 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 36366 0 0 0 172166 35 0 0 20 0 1 0 25779038 281657344 59958 33554432000 4194304 5796924 140734194338048 140734194335688 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 68764 59958 174 392 0 68363 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 275056

[startup+1782.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/175 5945
/proc/meminfo: memFree=30024412/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=194916 CPUtime=1782 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 36815 0 0 0 178164 36 0 0 20 0 1 0 25779038 199593984 46972 33554432000 4194304 5796924 140734194338048 140734194335688 4606708 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 48729 46972 174 392 0 48328 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 194916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/175 5946
/proc/meminfo: memFree=29992948/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=194916 CPUtime=1800 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 36815 0 0 0 179964 36 0 0 20 0 1 0 25779038 199593984 46972 33554432000 4194304 5796924 140734194338048 140734194335512 4592031 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 48729 46972 174 392 0 48328 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 194916

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

[startup+1800.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/175 5946
/proc/meminfo: memFree=29992948/32872528 swapFree=1316768/1463936
[pid=5810] ppid=5807 vsize=194916 CPUtime=1800 cores=0,2,4,6
/proc/5810/stat : 5810 (naps-1.02) R 5807 5810 386 0 -1 4202496 36815 0 0 0 179964 36 0 0 20 0 1 0 25779038 199593984 46972 33554432000 4194304 5796924 140734194338048 140734194335512 4592031 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5810/statm: 48729 46972 174 392 0 48328 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 194916

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.64
CPU system time (s): 0.369943
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 325144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.369943
maximum resident set size= 268176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36827
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= 31
involuntary context switches= 1917

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5963 second user time and 6.86696 second system time

The end