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-4094649-1466096287/watcher-4094649-1466096287 -o /tmp/evaluation-result-4094649-1466096287/solver-4094649-1466096287 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466074637-8658 --watchdog 1960 naps-1.02 HOME/instance-4094649-1466096287.wbo 

pid=15857
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.25 2.24 2.19 3/176 15860
/proc/meminfo: memFree=30246416/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=6556 CPUtime=0 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 11675813 6713344 231 33554432000 4194304 5796924 140735567110752 140734408203064 5087500 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 1639 231 127 392 0 1238 0

[startup+0.100157 s]
/proc/loadavg: 2.25 2.24 2.19 3/176 15860
/proc/meminfo: memFree=30246416/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=9816 CPUtime=0.09 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1425 0 0 0 9 0 0 0 20 0 1 0 11675813 10051584 1078 33554432000 4194304 5796924 140735567110752 140734408203064 5092550 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2454 1078 150 392 0 2053 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9816

[startup+0.200299 s]
/proc/loadavg: 2.25 2.24 2.19 3/176 15860
/proc/meminfo: memFree=30246416/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=9816 CPUtime=0.19 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1425 0 0 0 19 0 0 0 20 0 1 0 11675813 10051584 1078 33554432000 4194304 5796924 140735567110752 140734408203064 5092526 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2454 1078 150 392 0 2053 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9816

[startup+0.300263 s]
/proc/loadavg: 2.25 2.24 2.19 3/176 15860
/proc/meminfo: memFree=30246416/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=9816 CPUtime=0.29 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1425 0 0 0 29 0 0 0 20 0 1 0 11675813 10051584 1078 33554432000 4194304 5796924 140735567110752 140734408203064 4805613 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2454 1078 150 392 0 2053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9816

[startup+0.700275 s]
/proc/loadavg: 2.25 2.24 2.19 3/176 15860
/proc/meminfo: memFree=30246416/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=9816 CPUtime=0.69 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1425 0 0 0 69 0 0 0 20 0 1 0 11675813 10051584 1078 33554432000 4194304 5796924 140735567110752 140735567105592 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2454 1078 150 392 0 2053 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9816

[startup+1.50023 s]
/proc/loadavg: 2.23 2.23 2.18 3/177 15861
/proc/meminfo: memFree=30242208/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=9816 CPUtime=1.49 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1426 0 0 0 149 0 0 0 20 0 1 0 11675813 10051584 1079 33554432000 4194304 5796924 140735567110752 140735567105592 5082416 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2454 1079 151 392 0 2053 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9816

[startup+3.10023 s]
/proc/loadavg: 2.23 2.23 2.18 3/177 15861
/proc/meminfo: memFree=30241712/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=9928 CPUtime=3.09 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1446 0 0 0 309 0 0 0 20 0 1 0 11675813 10166272 1099 33554432000 4194304 5796924 140735567110752 140735567105592 4865685 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2482 1099 151 392 0 2081 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9928

[startup+6.30029 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 15861
/proc/meminfo: memFree=30241912/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=10036 CPUtime=6.29 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1460 0 0 0 629 0 0 0 20 0 1 0 11675813 10276864 1113 33554432000 4194304 5796924 140735567110752 140735567105592 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2509 1113 151 392 0 2108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10036

[startup+12.7002 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 15861
/proc/meminfo: memFree=30241192/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=10208 CPUtime=12.69 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1496 0 0 0 1269 0 0 0 20 0 1 0 11675813 10452992 1149 33554432000 4194304 5796924 140735567110752 140735567105240 5087650 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2552 1149 151 392 0 2151 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10208

[startup+25.5003 s]
/proc/loadavg: 2.29 2.25 2.19 3/177 15861
/proc/meminfo: memFree=30241128/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=10392 CPUtime=25.49 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1562 0 0 0 2549 0 0 0 20 0 1 0 11675813 10641408 1222 33554432000 4194304 5796924 140735567110752 140735567105320 4806986 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2598 1222 151 392 0 2197 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10392

[startup+51.1003 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 15861
/proc/meminfo: memFree=30241660/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=10596 CPUtime=51.08 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1612 0 0 0 5108 0 0 0 20 0 1 0 11675813 10850304 1272 33554432000 4194304 5796924 140735567110752 140735567105240 4295986 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2649 1272 151 392 0 2248 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10596

[startup+102.3 s]
/proc/loadavg: 2.42 2.28 2.20 3/177 15862
/proc/meminfo: memFree=30241036/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=11192 CPUtime=102.28 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1731 0 0 0 10228 0 0 0 20 0 1 0 11675813 11460608 1391 33554432000 4194304 5796924 140735567110752 140735567105272 5092526 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2798 1391 151 392 0 2397 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11192

[startup+162.3 s]
/proc/loadavg: 2.27 2.26 2.19 3/178 15867
/proc/meminfo: memFree=30240800/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=11360 CPUtime=162.27 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1776 0 0 0 16227 0 0 0 20 0 1 0 11675813 11632640 1436 33554432000 4194304 5796924 140735567110752 140735567105288 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2840 1436 151 392 0 2439 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 11360

[startup+222.307 s]
/proc/loadavg: 2.21 2.24 2.18 4/178 15891
/proc/meminfo: memFree=30240444/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=11360 CPUtime=222.27 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1803 0 0 0 22227 0 0 0 20 0 1 0 11675813 11632640 1463 33554432000 4194304 5796924 140735567110752 140735567105288 5096680 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2840 1463 151 392 0 2439 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 11360

[startup+282.3 s]
/proc/loadavg: 2.13 2.21 2.18 3/177 15892
/proc/meminfo: memFree=30240464/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=11460 CPUtime=282.25 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1829 0 0 0 28225 0 0 0 20 0 1 0 11675813 11735040 1489 33554432000 4194304 5796924 140735567110752 140735567105592 5092416 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2865 1489 151 392 0 2464 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 11460

[startup+342.3 s]
/proc/loadavg: 2.12 2.18 2.17 4/177 15893
/proc/meminfo: memFree=30239980/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=11572 CPUtime=342.24 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1856 0 0 0 34224 0 0 0 20 0 1 0 11675813 11849728 1516 33554432000 4194304 5796924 140735567110752 140735567105592 5092526 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2893 1516 151 392 0 2492 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 11572

[startup+402.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/177 15894
/proc/meminfo: memFree=30239992/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=11684 CPUtime=402.23 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1875 0 0 0 40223 0 0 0 20 0 1 0 11675813 11964416 1535 33554432000 4194304 5796924 140735567110752 140735567105592 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2921 1535 151 392 0 2520 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 11684

[startup+462.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/177 15896
/proc/meminfo: memFree=30239744/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=11684 CPUtime=462.22 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1890 0 0 0 46222 0 0 0 20 0 1 0 11675813 11964416 1550 33554432000 4194304 5796924 140735567110752 140735567105592 5096576 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2921 1550 151 392 0 2520 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 11684

[startup+522.3 s]
/proc/loadavg: 2.10 2.15 2.16 3/177 15897
/proc/meminfo: memFree=30239620/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=11788 CPUtime=522.21 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1899 0 0 0 52221 0 0 0 20 0 1 0 11675813 12070912 1559 33554432000 4194304 5796924 140735567110752 140735567105592 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2947 1559 151 392 0 2546 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 11788

[startup+582.3 s]
/proc/loadavg: 2.31 2.20 2.18 3/177 15898
/proc/meminfo: memFree=30238764/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=11788 CPUtime=582.2 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 1904 0 0 0 58220 0 0 0 20 0 1 0 11675813 12070912 1564 33554432000 4194304 5796924 140735567110752 140735567105592 5096633 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 2947 1564 151 392 0 2546 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 11788


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


[startup+882.307 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 15907
/proc/meminfo: memFree=28946840/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1434052 CPUtime=882.16 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 147538 0 0 0 88172 44 0 0 20 0 1 0 11675813 1468469248 323989 33554432000 4194304 5796924 140735567110752 140735567107800 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 358513 323989 184 392 0 358112 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 1434052

[startup+942.3 s]
/proc/loadavg: 2.30 2.22 2.19 4/177 15908
/proc/meminfo: memFree=28955168/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1434052 CPUtime=942.14 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 147759 0 0 0 94168 46 0 0 20 0 1 0 11675813 1468469248 321679 33554432000 4194304 5796924 140735567110752 140735567108216 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 358513 321679 184 392 0 358112 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1434052

[startup+1002.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 15909
/proc/meminfo: memFree=28934820/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1434052 CPUtime=1002.13 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 147769 0 0 0 100167 46 0 0 20 0 1 0 11675813 1468469248 326799 33554432000 4194304 5796924 140735567110752 140735567108216 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 358513 326799 184 392 0 358112 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1434052

[startup+1062.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/177 15911
/proc/meminfo: memFree=28956928/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1434052 CPUtime=1062.13 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 148799 0 0 0 106162 51 0 0 20 0 1 0 11675813 1468469248 321834 33554432000 4194304 5796924 140735567110752 140735567108216 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 358513 321834 184 392 0 358112 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1434052

[startup+1122.3 s]
/proc/loadavg: 2.16 2.17 2.17 4/177 15912
/proc/meminfo: memFree=28930680/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1441264 CPUtime=1122.11 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 150112 0 0 0 112160 51 0 0 20 0 1 0 11675813 1475854336 327746 33554432000 4194304 5796924 140735567110752 140735567107800 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 360316 327746 184 392 0 359915 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1441264

[startup+1182.3 s]
/proc/loadavg: 2.06 2.13 2.16 3/177 15913
/proc/meminfo: memFree=28942656/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1441264 CPUtime=1182.1 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 150644 0 0 0 118157 53 0 0 20 0 1 0 11675813 1475854336 324425 33554432000 4194304 5796924 140735567110752 140735567108216 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 360316 324425 184 392 0 359915 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1441264

[startup+1242.3 s]
/proc/loadavg: 2.10 2.14 2.16 3/177 15914
/proc/meminfo: memFree=28924116/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1441264 CPUtime=1242.09 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 150663 0 0 0 124156 53 0 0 20 0 1 0 11675813 1475854336 329033 33554432000 4194304 5796924 140735567110752 140735567108216 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 360316 329033 184 392 0 359915 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1441264

[startup+1302.3 s]
/proc/loadavg: 2.19 2.15 2.16 3/177 15915
/proc/meminfo: memFree=28941408/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1441264 CPUtime=1302.07 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 150906 0 0 0 130152 55 0 0 20 0 1 0 11675813 1475854336 325194 33554432000 4194304 5796924 140735567110752 140735567108216 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 360316 325194 184 392 0 359915 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1441264

[startup+1362.3 s]
/proc/loadavg: 2.21 2.17 2.17 3/178 15920
/proc/meminfo: memFree=28921852/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1522652 CPUtime=1362.06 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 151150 0 0 0 136150 56 0 0 20 0 1 0 11675813 1559195648 329865 33554432000 4194304 5796924 140735567110752 140735567108392 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 380663 329865 184 392 0 380262 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1522652

[startup+1422.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/177 15921
/proc/meminfo: memFree=28938748/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1441264 CPUtime=1422.04 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 151815 0 0 0 142145 59 0 0 20 0 1 0 11675813 1475854336 325547 33554432000 4194304 5796924 140735567110752 140735567108216 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 360316 325547 184 392 0 359915 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1441264

[startup+1482.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 15922
/proc/meminfo: memFree=25825168/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1528324 CPUtime=1482.01 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 153092 0 0 0 148141 60 0 0 20 0 1 0 11675813 1565003776 331130 33554432000 4194304 5796924 140735567110752 140735567107800 4606520 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 382081 331130 184 392 0 381680 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1528324

[startup+1542.31 s]
/proc/loadavg: 2.24 2.19 2.18 3/177 15923
/proc/meminfo: memFree=26018740/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1446936 CPUtime=1542 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 153834 0 0 0 154136 64 0 0 20 0 1 0 11675813 1481662464 325856 33554432000 4194304 5796924 140735567110752 140735567108216 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 361734 325856 184 392 0 361333 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1446936

[startup+1602.3 s]
/proc/loadavg: 2.31 2.21 2.18 3/177 15924
/proc/meminfo: memFree=25974548/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1446936 CPUtime=1601.96 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 153871 0 0 0 160132 64 0 0 20 0 1 0 11675813 1481662464 331488 33554432000 4194304 5796924 140735567110752 140735567108216 4568957 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 361734 331488 184 392 0 361333 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1446936

[startup+1662.3 s]
/proc/loadavg: 2.39 2.25 2.19 4/176 15925
/proc/meminfo: memFree=25936812/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1528324 CPUtime=1661.95 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 154527 0 0 0 166129 66 0 0 20 0 1 0 11675813 1565003776 336225 33554432000 4194304 5796924 140735567110752 140735567108392 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 382081 336225 184 392 0 381680 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1528324

[startup+1722.3 s]
/proc/loadavg: 2.11 2.21 2.18 2/170 15958
/proc/meminfo: memFree=28938236/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1454188 CPUtime=1721.94 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 155709 0 0 0 172125 69 0 0 20 0 1 0 11675813 1489088512 329371 33554432000 4194304 5796924 140735567110752 140735567108216 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 363547 329371 184 392 0 363146 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1454188

[startup+1782.3 s]
/proc/loadavg: 1.53 2.03 2.12 2/170 15959
/proc/meminfo: memFree=28924008/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1454188 CPUtime=1781.94 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 155716 0 0 0 178124 70 0 0 20 0 1 0 11675813 1489088512 332955 33554432000 4194304 5796924 140735567110752 140735567108216 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 363547 332955 184 392 0 363146 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1454188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.41 1.98 2.10 3/170 15959
/proc/meminfo: memFree=28917680/32872528 swapFree=17100/1797424
[pid=15860] ppid=15857 vsize=1535576 CPUtime=1800.03 cores=0,2,4,6
/proc/15860/stat : 15860 (naps-1.02) R 15857 15860 6953 0 -1 4202496 156365 0 0 0 179932 71 0 0 20 0 1 0 11675813 1572429824 334620 33554432000 4194304 5796924 140735567110752 140735567108392 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15860/statm: 383894 334620 184 392 0 383493 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1535576

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

Child status: 10
Real time (s): 1800.42
CPU time (s): 1800.06
CPU user time (s): 1799.33
CPU system time (s): 0.732888
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 1665804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.732888
maximum resident set size= 1455816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156375
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= 149
involuntary context switches= 3372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.94425 second user time and 6.51601 second system time

The end