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-4103323-1466251587/watcher-4103323-1466251587 -o /tmp/evaluation-result-4103323-1466251587/solver-4103323-1466251587 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466229725-20954 --watchdog 1960 naps-1.02 HOME/instance-4103323-1466251587.opb 

pid=23217
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.12 2.10 2.09 2/177 23220
/proc/meminfo: memFree=31211948/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=7296 CPUtime=0 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 488 0 0 0 0 0 0 0 20 0 1 0 27205444 7471104 363 33554432000 4194304 5796924 140735803831104 140733861254216 4861388 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1824 363 124 392 0 1423 0

[startup+0.100168 s]
/proc/loadavg: 2.12 2.10 2.09 2/177 23220
/proc/meminfo: memFree=31211948/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=8860 CPUtime=0.09 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 879 0 0 0 9 0 0 0 20 0 1 0 27205444 9072640 754 33554432000 4194304 5796924 140735803831104 140733861254216 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 2215 754 128 392 0 1814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8860

[startup+0.200299 s]
/proc/loadavg: 2.12 2.10 2.09 2/177 23220
/proc/meminfo: memFree=31211948/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=10416 CPUtime=0.19 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 1224 0 0 0 19 0 0 0 20 0 1 0 27205444 10665984 1099 33554432000 4194304 5796924 140735803831104 140733861254216 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 2604 1099 128 392 0 2203 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10416

[startup+0.300272 s]
/proc/loadavg: 2.12 2.10 2.09 2/177 23220
/proc/meminfo: memFree=31211948/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=11884 CPUtime=0.29 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 1558 0 0 0 29 0 0 0 20 0 1 0 27205444 12169216 1433 33554432000 4194304 5796924 140735803831104 140735803830264 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 2971 1433 128 392 0 2570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11884

[startup+0.700241 s]
/proc/loadavg: 2.12 2.10 2.09 2/177 23220
/proc/meminfo: memFree=31211948/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=13476 CPUtime=0.69 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 1985 0 0 0 69 0 0 0 20 0 1 0 27205444 13799424 1805 33554432000 4194304 5796924 140735803831104 140735803830264 5092467 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 3369 1805 143 392 0 2968 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13476

[startup+1.50024 s]
/proc/loadavg: 2.12 2.10 2.09 3/178 23221
/proc/meminfo: memFree=31376844/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=14180 CPUtime=1.49 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 2169 0 0 0 149 0 0 0 20 0 1 0 27205444 14520320 1943 33554432000 4194304 5796924 140735803831104 140735803827320 5092622 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 3545 1943 143 392 0 3144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14180

[startup+3.1003 s]
/proc/loadavg: 2.12 2.10 2.09 3/178 23221
/proc/meminfo: memFree=31375604/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=19868 CPUtime=3.09 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 3847 0 0 0 309 0 0 0 20 0 1 0 27205444 20344832 3373 33554432000 4194304 5796924 140735803831104 140735803827320 4295645 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 4967 3373 144 392 0 4566 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19868

[startup+6.30023 s]
/proc/loadavg: 2.11 2.10 2.09 3/178 23221
/proc/meminfo: memFree=31367932/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=23836 CPUtime=6.28 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 5196 0 0 0 628 0 0 0 20 0 1 0 27205444 24408064 4392 33554432000 4194304 5796924 140735803831104 140735803827320 5087774 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 5959 4392 144 392 0 5558 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23836

[startup+12.7003 s]
/proc/loadavg: 2.10 2.10 2.09 3/178 23221
/proc/meminfo: memFree=31356928/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=33888 CPUtime=12.69 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 7312 0 0 0 1268 1 0 0 20 0 1 0 27205444 34701312 6871 33554432000 4194304 5796924 140735803831104 140735803827320 5077866 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 8472 6871 144 392 0 8071 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33888

[startup+25.5003 s]
/proc/loadavg: 2.16 2.11 2.09 4/178 23221
/proc/meminfo: memFree=31345672/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=46184 CPUtime=25.49 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 9490 0 0 0 2547 2 0 0 20 0 1 0 27205444 47292416 9775 33554432000 4194304 5796924 140735803831104 140735803827320 4295944 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 11546 9775 144 392 0 11145 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46184

[startup+51.1003 s]
/proc/loadavg: 2.10 2.10 2.09 3/178 23221
/proc/meminfo: memFree=31317500/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=75092 CPUtime=51.08 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 14050 0 0 0 5106 2 0 0 20 0 1 0 27205444 76894208 16809 33554432000 4194304 5796924 140735803831104 140735803827320 4199818 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 18773 16809 144 392 0 18372 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75092

[startup+102.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/177 23222
/proc/meminfo: memFree=31256828/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=136404 CPUtime=102.27 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 21850 0 0 0 10223 4 0 0 20 0 1 0 27205444 139677696 31757 33554432000 4194304 5796924 140735803831104 140735803827320 4865554 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 34101 31757 144 392 0 33700 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 136404

[startup+162.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/177 23223
/proc/meminfo: memFree=31160724/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=235656 CPUtime=162.24 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 33877 0 0 0 16216 8 0 0 20 0 1 0 27205444 241311744 55691 33554432000 4194304 5796924 140735803831104 140735803827320 5094418 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 58914 55691 144 392 0 58513 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 235656

[startup+222.307 s]
/proc/loadavg: 2.15 2.09 2.09 3/178 23227
/proc/meminfo: memFree=31125848/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=278596 CPUtime=222.24 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 39929 0 0 0 22215 9 0 0 20 0 1 0 27205444 285282304 64298 33554432000 4194304 5796924 140735803831104 140735803827320 4316816 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 69649 64298 144 392 0 69248 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 278596

[startup+282.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/177 23229
/proc/meminfo: memFree=31096508/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=295492 CPUtime=282.23 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 44177 0 0 0 28213 10 0 0 20 0 1 0 27205444 302583808 71612 33554432000 4194304 5796924 140735803831104 140735803827320 5087529 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 73873 71612 144 392 0 73472 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 295492

[startup+342.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/177 23230
/proc/meminfo: memFree=30978556/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=433172 CPUtime=342.22 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 51227 0 0 0 34208 14 0 0 20 0 1 0 27205444 443568128 101006 33554432000 4194304 5796924 140735803831104 140735803827320 5087650 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 108293 101006 144 392 0 107892 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 433172

[startup+402.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/177 23231
/proc/meminfo: memFree=30943328/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=456272 CPUtime=402.21 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 56998 0 0 0 40206 15 0 0 20 0 1 0 27205444 467222528 109843 33554432000 4194304 5796924 140735803831104 140735803827320 5096674 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 114068 109843 144 392 0 113667 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 456272

[startup+462.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/177 23277
/proc/meminfo: memFree=30852112/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=478976 CPUtime=462.19 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 62673 0 0 0 46204 15 0 0 20 0 1 0 27205444 490471424 118073 33554432000 4194304 5796924 140735803831104 140735803827320 5087747 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 119744 118073 144 392 0 119343 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 478976

[startup+522.3 s]
/proc/loadavg: 2.17 2.11 2.09 3/177 23278
/proc/meminfo: memFree=26445404/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5468488 CPUtime=522.18 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 310493 0 0 0 52094 124 0 0 20 0 1 0 27205444 5599731712 1217462 33554432000 4194304 5796924 140735803831104 140735803828312 4573424 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1367122 1217462 153 392 0 1366721 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 5468488

[startup+582.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/177 23280
/proc/meminfo: memFree=26668224/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5153692 CPUtime=582.17 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 319723 0 0 0 58083 134 0 0 20 0 1 0 27205444 5277380608 1139632 33554432000 4194304 5796924 140735803831104 140735803828216 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1288423 1139632 160 392 0 1288022 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 5153692


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


[startup+942.3 s]
/proc/loadavg: 2.20 2.12 2.10 3/177 23290
/proc/meminfo: memFree=25906068/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5789768 CPUtime=942.1 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377130 0 0 0 94056 154 0 0 20 0 1 0 27205444 5928722432 1312464 33554432000 4194304 5796924 140735803831104 140735803828408 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447442 1312464 180 392 0 1447041 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 5789768

[startup+1002.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/177 23291
/proc/meminfo: memFree=25903692/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5789768 CPUtime=1002.09 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377132 0 0 0 100055 154 0 0 20 0 1 0 27205444 5928722432 1312976 33554432000 4194304 5796924 140735803831104 140735803828408 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447442 1312976 180 392 0 1447041 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 5789768

[startup+1062.3 s]
/proc/loadavg: 2.02 2.08 2.08 4/177 23292
/proc/meminfo: memFree=25899368/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5789768 CPUtime=1062.08 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377156 0 0 0 106054 154 0 0 20 0 1 0 27205444 5928722432 1314000 33554432000 4194304 5796924 140735803831104 140735803828408 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447442 1314000 180 392 0 1447041 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 5789768

[startup+1122.3 s]
/proc/loadavg: 2.12 2.09 2.09 3/177 23293
/proc/meminfo: memFree=25898400/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5789768 CPUtime=1122.05 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377192 0 0 0 112051 154 0 0 20 0 1 0 27205444 5928722432 1314000 33554432000 4194304 5796924 140735803831104 140735803828408 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447442 1314000 180 392 0 1447041 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 5789768

[startup+1182.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/177 23295
/proc/meminfo: memFree=25892412/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5789768 CPUtime=1182.03 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377253 0 0 0 118049 154 0 0 20 0 1 0 27205444 5928722432 1314917 33554432000 4194304 5796924 140735803831104 140735803828408 4606491 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447442 1314917 180 392 0 1447041 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 5789768

[startup+1242.3 s]
/proc/loadavg: 2.09 2.07 2.08 4/177 23296
/proc/meminfo: memFree=25889852/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5789768 CPUtime=1242.02 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377360 0 0 0 124048 154 0 0 20 0 1 0 27205444 5928722432 1315005 33554432000 4194304 5796924 140735803831104 140735803828408 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447442 1315005 180 392 0 1447041 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 5789768

[startup+1302.3 s]
/proc/loadavg: 2.11 2.07 2.08 3/177 23297
/proc/meminfo: memFree=25887560/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5789768 CPUtime=1302 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377420 0 0 0 130046 154 0 0 20 0 1 0 27205444 5928722432 1315573 33554432000 4194304 5796924 140735803831104 140735803828408 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447442 1315573 180 392 0 1447041 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 5789768

[startup+1362.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/177 23298
/proc/meminfo: memFree=25885424/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5789768 CPUtime=1361.97 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377488 0 0 0 136043 154 0 0 20 0 1 0 27205444 5928722432 1316124 33554432000 4194304 5796924 140735803831104 140735803828408 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447442 1316124 180 392 0 1447041 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 5789768

[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.07 3/178 23302
/proc/meminfo: memFree=25878120/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5790032 CPUtime=1421.97 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377643 0 0 0 142042 155 0 0 20 0 1 0 27205444 5928992768 1317845 33554432000 4194304 5796924 140735803831104 140735803828216 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447508 1317845 180 392 0 1447107 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 5790032

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.07 3/177 23303
/proc/meminfo: memFree=25864040/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5790384 CPUtime=1481.94 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377714 0 0 0 148039 155 0 0 20 0 1 0 27205444 5929353216 1321520 33554432000 4194304 5796924 140735803831104 140735803828376 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447596 1321520 180 392 0 1447195 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 5790384

[startup+1542.31 s]
/proc/loadavg: 2.05 2.05 2.07 3/177 23305
/proc/meminfo: memFree=25839860/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5790780 CPUtime=1541.92 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377847 0 0 0 154037 155 0 0 20 0 1 0 27205444 5929758720 1325205 33554432000 4194304 5796924 140735803831104 140735803828216 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447695 1325205 180 392 0 1447294 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 5790780

[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.06 4/177 23306
/proc/meminfo: memFree=25813508/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5790912 CPUtime=1601.89 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 377916 0 0 0 160034 155 0 0 20 0 1 0 27205444 5929893888 1327735 33554432000 4194304 5796924 140735803831104 140735803828216 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447728 1327735 180 392 0 1447327 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 5790912

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/177 23307
/proc/meminfo: memFree=25799548/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5791584 CPUtime=1661.88 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 378057 0 0 0 166033 155 0 0 20 0 1 0 27205444 5930582016 1328532 33554432000 4194304 5796924 140735803831104 140735803828376 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447896 1328532 180 392 0 1447495 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 5791584

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/177 23308
/proc/meminfo: memFree=25750568/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5791584 CPUtime=1721.86 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 378078 0 0 0 172031 155 0 0 20 0 1 0 27205444 5930582016 1329204 33554432000 4194304 5796924 140735803831104 140735803828376 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447896 1329204 180 392 0 1447495 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 5791584

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/177 23309
/proc/meminfo: memFree=25744116/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5791716 CPUtime=1781.85 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 378142 0 0 0 178030 155 0 0 20 0 1 0 27205444 5930717184 1329275 33554432000 4194304 5796924 140735803831104 140735803828216 4606480 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447929 1329275 180 392 0 1447528 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 5791716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.04 2.05 4/177 23311
/proc/meminfo: memFree=25743728/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5791848 CPUtime=1800.05 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 378152 0 0 0 179850 155 0 0 20 0 1 0 27205444 5930852352 1329285 33554432000 4194304 5796924 140735803831104 140735803828216 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447962 1329285 180 392 0 1447561 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 5791848

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

[startup+1800.5 s]
/proc/loadavg: 2.09 2.04 2.05 4/177 23311
/proc/meminfo: memFree=25743728/32872528 swapFree=338416/354768
[pid=23220] ppid=23217 vsize=5791848 CPUtime=1800.05 cores=1,3,5,7
/proc/23220/stat : 23220 (naps-1.02) R 23217 23220 20937 0 -1 4202496 378152 0 0 0 179850 155 0 0 20 0 1 0 27205444 5930852352 1329285 33554432000 4194304 5796924 140735803831104 140735803828216 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/23220/statm: 1447962 1329285 180 392 0 1447561 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 5791848

Child status: 10
Real time (s): 1800.6
CPU time (s): 1800.16
CPU user time (s): 1798.5
CPU system time (s): 1.65375
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 6031900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.5
system time used= 1.65375
maximum resident set size= 5317188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378164
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= 378
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.86326 second user time and 6.6 second system time

The end