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-4082642-1465223809/watcher-4082642-1465223809 -o /tmp/evaluation-result-4082642-1465223809/solver-4082642-1465223809 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465222007-31553 --watchdog 1960 naps-1.02 HOME/instance-4082642-1465223809.opb 

pid=32221
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.20 2.19 2.11 3/176 32224
/proc/meminfo: memFree=28697292/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=7256 CPUtime=0 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 493 0 0 0 0 0 0 0 20 0 1 0 104314532 7430144 367 33554432000 4194304 5796924 140737179415360 140733473324552 4361487 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 1814 367 124 392 0 1413 0

[startup+0.100163 s]
/proc/loadavg: 2.20 2.19 2.11 3/176 32224
/proc/meminfo: memFree=28697292/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=11364 CPUtime=0.09 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 1565 0 0 0 9 0 0 0 20 0 1 0 104314532 11636736 1407 33554432000 4194304 5796924 140737179415360 140733473324552 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 2841 1407 139 392 0 2440 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11364

[startup+0.20031 s]
/proc/loadavg: 2.20 2.19 2.11 3/176 32224
/proc/meminfo: memFree=28697292/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=17684 CPUtime=0.19 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 3213 0 0 0 19 0 0 0 20 0 1 0 104314532 18108416 3013 33554432000 4194304 5796924 140737179415360 140733473324552 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 4454 3016 139 392 0 4053 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17684

[startup+0.300321 s]
/proc/loadavg: 2.20 2.19 2.11 3/176 32224
/proc/meminfo: memFree=28697292/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=24000 CPUtime=0.29 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 4855 0 0 0 29 0 0 0 20 0 1 0 104314532 24576000 4572 33554432000 4194304 5796924 140737179415360 140733473324552 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 6000 4576 139 392 0 5599 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24000

[startup+0.700299 s]
/proc/loadavg: 2.20 2.19 2.11 3/176 32224
/proc/meminfo: memFree=28697292/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=47728 CPUtime=0.69 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 10880 0 0 0 67 2 0 0 20 0 1 0 104314532 48873472 10432 33554432000 4194304 5796924 140737179415360 140737178404168 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 11932 10437 139 392 0 11531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47728

[startup+1.50032 s]
/proc/loadavg: 2.20 2.19 2.11 3/177 32225
/proc/meminfo: memFree=28648692/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=55756 CPUtime=1.49 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 13281 0 0 0 147 2 0 0 20 0 1 0 104314532 57094144 12503 33554432000 4194304 5796924 140737179415360 140737178212360 5087743 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 13939 12503 139 392 0 13538 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55756

[startup+3.10031 s]
/proc/loadavg: 2.20 2.19 2.11 3/177 32225
/proc/meminfo: memFree=28590944/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=111840 CPUtime=3.09 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 26092 0 0 0 305 4 0 0 20 0 1 0 104314532 114524160 25787 33554432000 4194304 5796924 140737179415360 140737179412728 4592067 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 27960 25787 163 392 0 27559 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111840

[startup+6.30026 s]
/proc/loadavg: 2.18 2.19 2.11 3/177 32271
/proc/meminfo: memFree=30237872/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=119020 CPUtime=6.29 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 26345 0 0 0 625 4 0 0 20 0 1 0 104314532 121876480 26039 33554432000 4194304 5796924 140737179415360 140737179413208 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 29755 26039 165 392 0 29354 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 119020

[startup+12.7003 s]
/proc/loadavg: 2.16 2.19 2.11 3/177 32271
/proc/meminfo: memFree=30170264/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=119020 CPUtime=12.68 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 26591 0 0 0 1264 4 0 0 20 0 1 0 104314532 121876480 27307 33554432000 4194304 5796924 140737179415360 140737179413000 4591865 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 29755 27307 165 392 0 29354 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 119020

[startup+25.5004 s]
/proc/loadavg: 2.13 2.18 2.11 3/177 32271
/proc/meminfo: memFree=29906516/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=130696 CPUtime=25.49 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 27420 0 0 0 2544 5 0 0 20 0 1 0 104314532 133832704 29663 33554432000 4194304 5796924 140737179415360 140737179413000 4592304 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 32674 29663 165 392 0 32273 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 130696

[startup+51.1004 s]
/proc/loadavg: 2.14 2.18 2.11 3/177 32271
/proc/meminfo: memFree=29881264/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=149420 CPUtime=51.08 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 29454 0 0 0 5102 6 0 0 20 0 1 0 104314532 153006080 35173 33554432000 4194304 5796924 140737179415360 140737179412648 4591865 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 37355 35173 166 392 0 36954 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149420

[startup+102.3 s]
/proc/loadavg: 2.11 2.16 2.10 3/177 32272
/proc/meminfo: memFree=29508716/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=574896 CPUtime=102.27 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 80870 0 0 0 10205 22 0 0 20 0 1 0 104314532 588693504 126830 33554432000 4194304 5796924 140737179415360 140737179413000 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 143724 126830 179 392 0 143323 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 574896

[startup+162.3 s]
/proc/loadavg: 2.14 2.16 2.10 3/177 32273
/proc/meminfo: memFree=29503912/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=574896 CPUtime=162.26 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 82345 0 0 0 16201 25 0 0 20 0 1 0 104314532 588693504 126318 33554432000 4194304 5796924 140737179415360 140737179413000 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 143724 126318 179 392 0 143323 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 574896

[startup+222.307 s]
/proc/loadavg: 2.24 2.19 2.11 3/178 32278
/proc/meminfo: memFree=29468356/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=626604 CPUtime=222.25 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 83081 0 0 0 22199 26 0 0 20 0 1 0 104314532 641642496 135230 33554432000 4194304 5796924 140737179415360 140737179413000 4606534 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 156651 135230 179 392 0 156250 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 626604

[startup+282.3 s]
/proc/loadavg: 2.19 2.18 2.11 3/177 32279
/proc/meminfo: memFree=29477988/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=576516 CPUtime=282.24 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 84230 0 0 0 28196 28 0 0 20 0 1 0 104314532 590352384 130810 33554432000 4194304 5796924 140737179415360 140737179413000 4606847 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 144129 130810 179 392 0 143728 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 576516

[startup+342.3 s]
/proc/loadavg: 2.11 2.16 2.11 3/177 32280
/proc/meminfo: memFree=29427356/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=629220 CPUtime=342.23 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 85220 0 0 0 34194 29 0 0 20 0 1 0 104314532 644321280 139975 33554432000 4194304 5796924 140737179415360 140737179412344 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 157305 139975 179 392 0 156904 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 629220

[startup+402.3 s]
/proc/loadavg: 2.21 2.17 2.11 4/177 32281
/proc/meminfo: memFree=29453284/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=582336 CPUtime=402.22 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 86887 0 0 0 40190 32 0 0 20 0 1 0 104314532 596312064 131977 33554432000 4194304 5796924 140737179415360 140737179413000 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 145584 131977 179 392 0 145183 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 582336

[startup+462.3 s]
/proc/loadavg: 2.21 2.17 2.11 3/177 32282
/proc/meminfo: memFree=29413196/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=633388 CPUtime=462.21 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 87696 0 0 0 46187 34 0 0 20 0 1 0 104314532 648589312 140960 33554432000 4194304 5796924 140737179415360 140737179412632 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 158347 140960 179 392 0 157946 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 633388

[startup+522.3 s]
/proc/loadavg: 2.12 2.15 2.10 3/177 32284
/proc/meminfo: memFree=29476192/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=584948 CPUtime=522.2 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 89261 0 0 0 52183 37 0 0 20 0 1 0 104314532 598986752 129277 33554432000 4194304 5796924 140737179415360 140737179412344 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 146237 129277 179 392 0 145836 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 584948

[startup+582.3 s]
/proc/loadavg: 2.22 2.17 2.11 3/177 32285
/proc/meminfo: memFree=29423448/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=635572 CPUtime=582.19 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 89769 0 0 0 58181 38 0 0 20 0 1 0 104314532 650825728 141535 33554432000 4194304 5796924 140737179415360 140737179412472 4592560 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 158893 141535 179 392 0 158492 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 635572


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.20 2.13 3/177 32294
/proc/meminfo: memFree=29383900/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=646440 CPUtime=882.15 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 96787 0 0 0 88167 48 0 0 20 0 1 0 104314532 661954560 149285 33554432000 4194304 5796924 140737179415360 140737179412408 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 161610 149285 179 392 0 161209 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 646440

[startup+942.3 s]
/proc/loadavg: 2.16 2.19 2.13 3/176 32295
/proc/meminfo: memFree=29345248/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=730836 CPUtime=942.14 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 97903 0 0 0 94164 50 0 0 20 0 1 0 104314532 748376064 157039 33554432000 4194304 5796924 140737179415360 140737179412408 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 182709 157039 179 392 0 182308 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 730836

[startup+1002.3 s]
/proc/loadavg: 2.25 2.20 2.13 3/177 32297
/proc/meminfo: memFree=29402784/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=649448 CPUtime=1002.13 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 99395 0 0 0 100160 53 0 0 20 0 1 0 104314532 665034752 141002 33554432000 4194304 5796924 140737179415360 140737179413000 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 162362 141002 179 392 0 161961 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 649448

[startup+1062.3 s]
/proc/loadavg: 2.14 2.18 2.13 3/177 32298
/proc/meminfo: memFree=29367356/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=649448 CPUtime=1062.12 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 99572 0 0 0 106158 54 0 0 20 0 1 0 104314532 665034752 149355 33554432000 4194304 5796924 140737179415360 140737179413000 4592071 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 162362 149355 179 392 0 161961 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 649448

[startup+1122.3 s]
/proc/loadavg: 2.16 2.17 2.13 3/177 32299
/proc/meminfo: memFree=29330988/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=730972 CPUtime=1122.11 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 100432 0 0 0 112156 55 0 0 20 0 1 0 104314532 748515328 157875 33554432000 4194304 5796924 140737179415360 140737179413000 4607261 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 182743 157875 179 392 0 182342 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 730972

[startup+1182.3 s]
/proc/loadavg: 2.16 2.17 2.12 3/177 32301
/proc/meminfo: memFree=29419608/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=600916 CPUtime=1182.1 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 101944 0 0 0 118152 58 0 0 20 0 1 0 104314532 615337984 135724 33554432000 4194304 5796924 140737179415360 140737179413000 4591895 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 150229 135724 179 392 0 149828 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 600916

[startup+1242.3 s]
/proc/loadavg: 2.22 2.18 2.13 3/177 32302
/proc/meminfo: memFree=29369648/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=651272 CPUtime=1242.09 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 102344 0 0 0 124150 59 0 0 20 0 1 0 104314532 666902528 147877 33554432000 4194304 5796924 140737179415360 140737179412344 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 162818 147877 179 392 0 162417 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 651272

[startup+1302.3 s]
/proc/loadavg: 2.20 2.18 2.13 3/177 32303
/proc/meminfo: memFree=29322544/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=733636 CPUtime=1302.08 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 103268 0 0 0 130147 61 0 0 20 0 1 0 104314532 751243264 158506 33554432000 4194304 5796924 140737179415360 140737179412472 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 183409 158506 179 392 0 183008 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 733636

[startup+1362.3 s]
/proc/loadavg: 2.16 2.17 2.13 3/177 32304
/proc/meminfo: memFree=29288408/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=734916 CPUtime=1362.08 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 103599 0 0 0 136146 62 0 0 20 0 1 0 104314532 752553984 166502 33554432000 4194304 5796924 140737179415360 140737179412472 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 183729 166502 179 392 0 183328 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 734916

[startup+1422.3 s]
/proc/loadavg: 2.10 2.15 2.12 3/178 32308
/proc/meminfo: memFree=29396288/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=604256 CPUtime=1422.07 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 104943 0 0 0 142142 65 0 0 20 0 1 0 104314532 618758144 138776 33554432000 4194304 5796924 140737179415360 140737179413000 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 151064 138776 179 392 0 150663 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 604256

[startup+1482.3 s]
/proc/loadavg: 2.14 2.15 2.12 3/178 32333
/proc/meminfo: memFree=29351412/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=654764 CPUtime=1482.05 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 105379 0 0 0 148139 66 0 0 20 0 1 0 104314532 670478336 149700 33554432000 4194304 5796924 140737179415360 140737179412344 4583094 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 163691 149700 179 392 0 163290 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 654764

[startup+1542.31 s]
/proc/loadavg: 2.22 2.17 2.12 3/177 32334
/proc/meminfo: memFree=29308964/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=736720 CPUtime=1542.04 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 106253 0 0 0 154136 68 0 0 20 0 1 0 104314532 754401280 159441 33554432000 4194304 5796924 140737179415360 140737179412344 4607171 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 184180 159441 179 392 0 183779 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 736720

[startup+1602.3 s]
/proc/loadavg: 2.24 2.18 2.13 3/177 32335
/proc/meminfo: memFree=29295400/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=738908 CPUtime=1602 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 106757 0 0 0 160131 69 0 0 20 0 1 0 104314532 756641792 170372 33554432000 4194304 5796924 140737179415360 140737179412472 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 184727 170372 179 392 0 184326 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 738908

[startup+1662.3 s]
/proc/loadavg: 2.19 2.17 2.13 3/177 32336
/proc/meminfo: memFree=29403348/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=658268 CPUtime=1661.99 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 107939 0 0 0 166127 72 0 0 20 0 1 0 104314532 674066432 143322 33554432000 4194304 5796924 140737179415360 140737179413000 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 164567 143322 179 392 0 164166 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 658268

[startup+1722.3 s]
/proc/loadavg: 2.33 2.22 2.14 3/177 32337
/proc/meminfo: memFree=29368484/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=658560 CPUtime=1721.98 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 108007 0 0 0 172125 73 0 0 20 0 1 0 104314532 674365440 151557 33554432000 4194304 5796924 140737179415360 140737179412472 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 164640 151557 179 392 0 164239 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 658560

[startup+1782.3 s]
/proc/loadavg: 2.24 2.20 2.14 3/177 32339
/proc/meminfo: memFree=29316808/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=741208 CPUtime=1781.97 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 108997 0 0 0 178122 75 0 0 20 0 1 0 104314532 758996992 163362 33554432000 4194304 5796924 140737179415360 140737179412472 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 185302 163362 179 392 0 184901 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 741208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.21 2.14 3/177 32339
/proc/meminfo: memFree=29304396/32872528 swapFree=15644/1722384
[pid=32224] ppid=32221 vsize=741548 CPUtime=1800.06 cores=1,3,5,7
/proc/32224/stat : 32224 (naps-1.02) R 32221 32224 31536 0 -1 4202496 109084 0 0 0 179931 75 0 0 20 0 1 0 104314532 759345152 166004 33554432000 4194304 5796924 140737179415360 140737179412472 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32224/statm: 185387 166004 179 392 0 184986 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 741548

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 32224 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.08
CPU user time (s): 1799.32
CPU system time (s): 0.768883
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 819648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.768883
maximum resident set size= 744032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109096
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= 106
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73828 second user time and 6.72198 second system time

The end