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-4103875-1466268901/watcher-4103875-1466268901 -o /tmp/evaluation-result-4103875-1466268901/solver-4103875-1466268901 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466241673-16673 --watchdog 1960 naps-1.02 HOME/instance-4103875-1466268901.opb 

pid=19607
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.05 2.01 2/176 19610
/proc/meminfo: memFree=30641288/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=7296 CPUtime=0 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 28940488 7471104 375 33554432000 4194304 5796924 140736612580384 140734321238728 4839552 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 1824 375 116 392 0 1423 0

[startup+0.100156 s]
/proc/loadavg: 2.13 2.05 2.01 2/176 19610
/proc/meminfo: memFree=30641288/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=8112 CPUtime=0.09 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 776 0 0 0 9 0 0 0 20 0 1 0 28940488 8306688 619 33554432000 4194304 5796924 140736612580384 140734321238728 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 2028 619 144 392 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8112

[startup+0.200275 s]
/proc/loadavg: 2.13 2.05 2.01 2/176 19610
/proc/meminfo: memFree=30641288/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=8560 CPUtime=0.19 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 895 0 0 0 19 0 0 0 20 0 1 0 28940488 8765440 738 33554432000 4194304 5796924 140736612580384 140734321238728 4802576 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 2140 738 145 392 0 1739 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8560

[startup+0.300256 s]
/proc/loadavg: 2.13 2.05 2.01 2/176 19610
/proc/meminfo: memFree=30641288/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=8896 CPUtime=0.29 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 954 0 0 0 29 0 0 0 20 0 1 0 28940488 9109504 797 33554432000 4194304 5796924 140736612580384 140734321238728 4313335 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 2224 797 145 392 0 1823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8896

[startup+0.700199 s]
/proc/loadavg: 2.13 2.05 2.01 2/176 19610
/proc/meminfo: memFree=30641288/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=10632 CPUtime=0.69 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 1401 0 0 0 69 0 0 0 20 0 1 0 28940488 10887168 1211 33554432000 4194304 5796924 140736612580384 140734321238728 4809306 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 2658 1211 145 392 0 2257 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10632

[startup+1.50023 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 19611
/proc/meminfo: memFree=30635940/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=13296 CPUtime=1.49 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 2152 0 0 0 149 0 0 0 20 0 1 0 28940488 13615104 1855 33554432000 4194304 5796924 140736612580384 140736612574472 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 3324 1855 145 392 0 2923 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13296

[startup+3.10023 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 19611
/proc/meminfo: memFree=30633584/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=13756 CPUtime=3.09 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 2353 0 0 0 309 0 0 0 20 0 1 0 28940488 14086144 1973 33554432000 4194304 5796924 140736612580384 140736612574104 5092432 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 3439 1973 145 392 0 3038 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13756

[startup+6.30026 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 19611
/proc/meminfo: memFree=30633612/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=13756 CPUtime=6.29 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 2380 0 0 0 629 0 0 0 20 0 1 0 28940488 14086144 2000 33554432000 4194304 5796924 140736612580384 140736612574104 4839578 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 3439 2000 145 392 0 3038 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13756

[startup+12.7002 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 19611
/proc/meminfo: memFree=30633536/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=13888 CPUtime=12.69 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 2389 0 0 0 1269 0 0 0 20 0 1 0 28940488 14221312 2009 33554432000 4194304 5796924 140736612580384 140736612574200 5087774 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 3472 2009 145 392 0 3071 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13888

[startup+25.5003 s]
/proc/loadavg: 2.16 2.06 2.01 3/177 19611
/proc/meminfo: memFree=30616432/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=31620 CPUtime=25.49 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 7070 0 0 0 2549 0 0 0 20 0 1 0 28940488 32378880 6439 33554432000 4194304 5796924 140736612580384 140736612574104 5096706 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 7905 6439 145 392 0 7504 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31620

[startup+51.1003 s]
/proc/loadavg: 2.17 2.07 2.02 3/177 19611
/proc/meminfo: memFree=30603172/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=44748 CPUtime=51.08 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 11726 0 0 0 5107 1 0 0 20 0 1 0 28940488 45821952 9631 33554432000 4194304 5796924 140736612580384 140736612574184 5092509 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 11187 9631 145 392 0 10786 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44748

[startup+102.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 19612
/proc/meminfo: memFree=30592680/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=56720 CPUtime=102.28 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 13754 0 0 0 10227 1 0 0 20 0 1 0 28940488 58081280 12385 33554432000 4194304 5796924 140736612580384 140736612574184 5087771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 14180 12385 145 392 0 13779 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 56720

[startup+162.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 19614
/proc/meminfo: memFree=30580856/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=64748 CPUtime=162.26 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 15501 0 0 0 16225 1 0 0 20 0 1 0 28940488 66301952 14643 33554432000 4194304 5796924 140736612580384 140736612576600 5087558 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 16187 14643 145 392 0 15786 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 64748

[startup+222.307 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 19615
/proc/meminfo: memFree=30235788/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=446504 CPUtime=222.27 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62682 0 0 0 22215 12 0 0 20 0 1 0 28940488 457220096 100026 33554432000 4194304 5796924 140736612580384 140736612574952 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111626 100026 164 392 0 111225 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 446504

[startup+282.3 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 19616
/proc/meminfo: memFree=30228416/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=446948 CPUtime=282.25 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62752 0 0 0 28213 12 0 0 20 0 1 0 28940488 457674752 100096 33554432000 4194304 5796924 140736612580384 140736612574872 5096553 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111737 100096 164 392 0 111336 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 446948

[startup+342.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/178 19620
/proc/meminfo: memFree=30227332/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=446948 CPUtime=342.24 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62756 0 0 0 34212 12 0 0 20 0 1 0 28940488 457674752 100100 33554432000 4194304 5796924 140736612580384 140736612574872 4295560 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111737 100100 164 392 0 111336 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 446948

[startup+402.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/178 19644
/proc/meminfo: memFree=30225880/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=446948 CPUtime=402.23 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62775 0 0 0 40211 12 0 0 20 0 1 0 28940488 457674752 100119 33554432000 4194304 5796924 140736612580384 140736612574872 5092502 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111737 100119 164 392 0 111336 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 446948

[startup+462.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/177 19646
/proc/meminfo: memFree=30225612/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=446948 CPUtime=462.22 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62789 0 0 0 46210 12 0 0 20 0 1 0 28940488 457674752 100133 33554432000 4194304 5796924 140736612580384 140736612574872 4199805 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111737 100133 164 392 0 111336 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 446948

[startup+522.3 s]
/proc/loadavg: 2.19 2.11 2.03 3/177 19647
/proc/meminfo: memFree=30222404/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=447332 CPUtime=522.21 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62839 0 0 0 52209 12 0 0 20 0 1 0 28940488 458067968 100183 33554432000 4194304 5796924 140736612580384 140736612574952 5087650 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111833 100183 164 392 0 111432 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 447332

[startup+582.3 s]
/proc/loadavg: 2.10 2.10 2.03 3/177 19648
/proc/meminfo: memFree=30219388/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=447332 CPUtime=582.2 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62852 0 0 0 58208 12 0 0 20 0 1 0 28940488 458067968 100185 33554432000 4194304 5796924 140736612580384 140736612574952 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111833 100185 164 392 0 111432 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 447332


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.05 2.01 3/177 19700
/proc/meminfo: memFree=31085488/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=447332 CPUtime=882.14 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62902 0 0 0 88202 12 0 0 20 0 1 0 28940488 458067968 101127 33554432000 4194304 5796924 140736612580384 140736612574952 5087606 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111833 101127 164 392 0 111432 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 447332

[startup+942.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/178 19704
/proc/meminfo: memFree=31075164/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=447468 CPUtime=942.12 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62904 0 0 0 94200 12 0 0 20 0 1 0 28940488 458207232 101129 33554432000 4194304 5796924 140736612580384 140736612574968 4809264 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111867 101129 164 392 0 111466 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 447468

[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/177 19705
/proc/meminfo: memFree=31066868/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=447468 CPUtime=1002.11 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62904 0 0 0 100199 12 0 0 20 0 1 0 28940488 458207232 101129 33554432000 4194304 5796924 140736612580384 140736612574968 5096709 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111867 101129 164 392 0 111466 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 447468

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 19706
/proc/meminfo: memFree=31066492/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=447468 CPUtime=1062.1 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 62904 0 0 0 106198 12 0 0 20 0 1 0 28940488 458207232 101129 33554432000 4194304 5796924 140736612580384 140736612574968 5087606 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 111867 101129 164 392 0 111466 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 447468

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 19708
/proc/meminfo: memFree=30411632/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1156080 CPUtime=1122.09 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 144283 0 0 0 112173 36 0 0 20 0 1 0 28940488 1183825920 264567 33554432000 4194304 5796924 140736612580384 140736612577432 4607720 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 289020 264567 178 392 0 288619 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1156080

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 19709
/proc/meminfo: memFree=30395160/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1210060 CPUtime=1182.08 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 144919 0 0 0 118171 37 0 0 20 0 1 0 28940488 1239101440 268779 33554432000 4194304 5796924 140736612580384 140736612578024 4592304 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 302515 268779 179 392 0 302114 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1210060

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19710
/proc/meminfo: memFree=30382716/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1210060 CPUtime=1242.07 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 144924 0 0 0 124170 37 0 0 20 0 1 0 28940488 1239101440 271339 33554432000 4194304 5796924 140736612580384 140736612578024 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 302515 271339 179 392 0 302114 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1210060

[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19711
/proc/meminfo: memFree=30371220/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1210060 CPUtime=1302.07 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 144935 0 0 0 130169 38 0 0 20 0 1 0 28940488 1239101440 273910 33554432000 4194304 5796924 140736612580384 140736612578024 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 302515 273910 179 392 0 302114 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1210060

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19712
/proc/meminfo: memFree=30400400/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1210060 CPUtime=1362.06 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 145743 0 0 0 136166 40 0 0 20 0 1 0 28940488 1239101440 266745 33554432000 4194304 5796924 140736612580384 140736612578024 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 302515 266745 179 392 0 302114 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1210060

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19714
/proc/meminfo: memFree=30394132/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1210060 CPUtime=1422.05 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 145746 0 0 0 142165 40 0 0 20 0 1 0 28940488 1239101440 268281 33554432000 4194304 5796924 140736612580384 140736612578024 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 302515 268281 179 392 0 302114 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1210060

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 19715
/proc/meminfo: memFree=30389660/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1210060 CPUtime=1482.04 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 145748 0 0 0 148164 40 0 0 20 0 1 0 28940488 1239101440 269305 33554432000 4194304 5796924 140736612580384 140736612578024 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 302515 269305 179 392 0 302114 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1210060

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 19719
/proc/meminfo: memFree=30385460/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1210060 CPUtime=1542.03 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 145750 0 0 0 154163 40 0 0 20 0 1 0 28940488 1239101440 270329 33554432000 4194304 5796924 140736612580384 140736612578024 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 302515 270329 179 392 0 302114 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1210060

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 19720
/proc/meminfo: memFree=30380836/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1210060 CPUtime=1602.02 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 145817 0 0 0 160162 40 0 0 20 0 1 0 28940488 1239101440 271516 33554432000 4194304 5796924 140736612580384 140736612578024 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 302515 271516 179 392 0 302114 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1210060

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 19721
/proc/meminfo: memFree=30375360/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1210060 CPUtime=1662.01 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 145949 0 0 0 166161 40 0 0 20 0 1 0 28940488 1239101440 272660 33554432000 4194304 5796924 140736612580384 140736612578024 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 302515 272660 179 392 0 302114 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1210060

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 19723
/proc/meminfo: memFree=30114380/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1580112 CPUtime=1721.99 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 175847 0 0 0 172142 57 0 0 20 0 1 0 28940488 1618034688 337723 33554432000 4194304 5796924 140736612580384 140736612578024 4592148 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 395028 337723 181 392 0 394627 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1580112

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 19724
/proc/meminfo: memFree=30105980/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1580112 CPUtime=1781.97 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 175867 0 0 0 178140 57 0 0 20 0 1 0 28940488 1618034688 339771 33554432000 4194304 5796924 140736612580384 140736612578024 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 395028 339771 181 392 0 394627 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1580112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 19724
/proc/meminfo: memFree=30101928/32872528 swapFree=249320/249320
[pid=19610] ppid=19607 vsize=1580112 CPUtime=1800.06 cores=0,2,4,6
/proc/19610/stat : 19610 (naps-1.02) R 19607 19610 16657 0 -1 4202496 175872 0 0 0 179949 57 0 0 20 0 1 0 28940488 1618034688 340795 33554432000 4194304 5796924 140736612580384 140736612578024 4594694 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19610/statm: 395028 340795 181 392 0 394627 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1580112

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

Child status: 10
Real time (s): 1800.43
CPU time (s): 1800.11
CPU user time (s): 1799.5
CPU system time (s): 0.612906
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 1731000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.612906
maximum resident set size= 1464036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175884
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= 86
involuntary context switches= 1871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73928 second user time and 6.55 second system time

The end