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-4118612-1467241624/watcher-4118612-1467241624 -o /tmp/evaluation-result-4118612-1467241624/solver-4118612-1467241624 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467234420-8021 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118612-1467241624.opb
pid=8740
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 Stack size limit: 81920 KiB
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: 81920 KiB
[startup+0 s]
/proc/loadavg: 2.26 2.26 2.20 3/178 8743
/proc/meminfo: memFree=23575236/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=6688 CPUtime=0 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 386 0 0 0 0 0 0 0 20 0 1 0 5115128 6848512 261 33554432000 4194304 5796924 140736236207472 140735336748024 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 1672 261 128 392 0 1271 0
[startup+0.100173 s]
/proc/loadavg: 2.26 2.26 2.20 3/178 8743
/proc/meminfo: memFree=23575236/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=20608 CPUtime=0.09 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 4734 0 0 0 9 0 0 0 20 0 1 0 5115128 21102592 4464 33554432000 4194304 5796924 140736236207472 140735336748024 4564234 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 5152 4466 166 392 0 4751 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20608
[startup+0.200388 s]
/proc/loadavg: 2.26 2.26 2.20 3/178 8743
/proc/meminfo: memFree=23575236/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=36572 CPUtime=0.19 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 7891 0 0 0 18 1 0 0 20 0 1 0 5115128 37449728 8504 33554432000 4194304 5796924 140736236207472 140735336748024 4623737 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 9143 8504 166 392 0 8742 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36572
[startup+0.300371 s]
/proc/loadavg: 2.26 2.26 2.20 3/178 8743
/proc/meminfo: memFree=23575236/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=43572 CPUtime=0.29 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 8675 0 0 0 28 1 0 0 20 0 1 0 5115128 44617728 10213 33554432000 4194304 5796924 140736236207472 140735336748024 4564248 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 10893 10213 166 392 0 10492 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43572
[startup+0.700312 s]
/proc/loadavg: 2.26 2.26 2.20 3/178 8743
/proc/meminfo: memFree=23575236/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=43572 CPUtime=0.69 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 8719 0 0 0 68 1 0 0 20 0 1 0 5115128 44617728 10249 33554432000 4194304 5796924 140736236207472 140736236204920 4568985 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 10893 10249 177 392 0 10492 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43572
[startup+1.50022 s]
/proc/loadavg: 2.26 2.26 2.20 3/179 8744
/proc/meminfo: memFree=23535152/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=43572 CPUtime=1.49 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 8719 0 0 0 148 1 0 0 20 0 1 0 5115128 44617728 10249 33554432000 4194304 5796924 140736236207472 140736236204920 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 10893 10249 177 392 0 10492 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43572
[startup+3.10026 s]
/proc/loadavg: 2.26 2.26 2.20 3/179 8744
/proc/meminfo: memFree=23534780/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=47924 CPUtime=3.09 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 8834 0 0 0 308 1 0 0 20 0 1 0 5115128 49074176 10361 33554432000 4194304 5796924 140736236207472 140736236204920 4583148 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 11981 10361 177 392 0 11580 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47924
[startup+6.30026 s]
/proc/loadavg: 2.32 2.27 2.20 3/179 8744
/proc/meminfo: memFree=23530748/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=47924 CPUtime=6.29 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 9167 0 0 0 628 1 0 0 20 0 1 0 5115128 49074176 11196 33554432000 4194304 5796924 140736236207472 140736236204712 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 11981 11196 177 392 0 11580 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47924
[startup+12.7003 s]
/proc/loadavg: 2.30 2.27 2.20 3/179 8744
/proc/meminfo: memFree=23495196/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=47924 CPUtime=12.68 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 9860 0 0 0 1267 1 0 0 20 0 1 0 5115128 49074176 11490 33554432000 4194304 5796924 140736236207472 140736236204936 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 11981 11490 177 392 0 11580 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47924
[startup+25.5004 s]
/proc/loadavg: 2.30 2.27 2.20 3/179 8744
/proc/meminfo: memFree=23482484/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=59460 CPUtime=25.49 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 10706 0 0 0 2547 2 0 0 20 0 1 0 5115128 60887040 14363 33554432000 4194304 5796924 140736236207472 140736236204712 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 14865 14363 177 392 0 14464 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59460
[startup+51.1003 s]
/proc/loadavg: 2.27 2.27 2.20 3/179 8744
/proc/meminfo: memFree=23499304/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=82784 CPUtime=51.08 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 11429 0 0 0 5106 2 0 0 20 0 1 0 5115128 84770816 19017 33554432000 4194304 5796924 140736236207472 140736236204712 4608498 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 20696 19017 177 392 0 20295 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 82784
[startup+102.3 s]
/proc/loadavg: 2.42 2.31 2.22 3/179 8746
/proc/meminfo: memFree=23453104/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=82784 CPUtime=102.28 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 11586 0 0 0 10225 3 0 0 20 0 1 0 5115128 84770816 20194 33554432000 4194304 5796924 140736236207472 140736236204712 4606514 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 20696 20194 177 392 0 20295 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 82784
[startup+162.3 s]
/proc/loadavg: 2.44 2.33 2.22 3/179 8747
/proc/meminfo: memFree=23489708/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=114596 CPUtime=162.27 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 14357 0 0 0 16223 4 0 0 20 0 1 0 5115128 117346304 21404 33554432000 4194304 5796924 140736236207472 140736236204712 4607277 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 28649 21404 177 392 0 28248 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 114596
[startup+222.307 s]
/proc/loadavg: 2.26 2.30 2.22 3/180 8751
/proc/meminfo: memFree=23479920/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=114596 CPUtime=222.26 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 14679 0 0 0 22222 4 0 0 20 0 1 0 5115128 117346304 23624 33554432000 4194304 5796924 140736236207472 140736236204936 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 28649 23624 177 392 0 28248 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 114596
[startup+282.3 s]
/proc/loadavg: 2.23 2.28 2.22 3/179 8752
/proc/meminfo: memFree=23412944/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=114596 CPUtime=282.24 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 15261 0 0 0 28219 5 0 0 20 0 1 0 5115128 117346304 28146 33554432000 4194304 5796924 140736236207472 140736236204936 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 28649 28146 177 392 0 28248 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 114596
[startup+342.3 s]
/proc/loadavg: 2.28 2.29 2.22 3/179 8753
/proc/meminfo: memFree=23391204/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=114596 CPUtime=342.23 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 15543 0 0 0 34217 6 0 0 20 0 1 0 5115128 117346304 28146 33554432000 4194304 5796924 140736236207472 140736236204936 4606807 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 28649 28146 177 392 0 28248 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 114596
[startup+402.3 s]
/proc/loadavg: 2.31 2.30 2.22 3/178 8754
/proc/meminfo: memFree=23428380/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=114596 CPUtime=402.23 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 15826 0 0 0 40215 8 0 0 20 0 1 0 5115128 117346304 28146 33554432000 4194304 5796924 140736236207472 140736236204936 4606518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 28649 28146 177 392 0 28248 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 114596
[startup+462.3 s]
/proc/loadavg: 2.27 2.28 2.22 3/179 8756
/proc/meminfo: memFree=23374676/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=163916 CPUtime=462.22 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 16110 0 0 0 46213 9 0 0 20 0 1 0 5115128 167849984 36461 33554432000 4194304 5796924 140736236207472 140736236204760 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 40979 36461 177 392 0 40578 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 163916
[startup+522.3 s]
/proc/loadavg: 2.34 2.30 2.23 4/179 8757
/proc/meminfo: memFree=23376276/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=147092 CPUtime=522.21 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 16872 0 0 0 52211 10 0 0 20 0 1 0 5115128 150622208 31816 33554432000 4194304 5796924 140736236207472 140736236204936 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 36773 31816 177 392 0 36372 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 147092
[startup+582.3 s]
/proc/loadavg: 2.31 2.29 2.23 3/179 8758
/proc/meminfo: memFree=23374780/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=196412 CPUtime=582.2 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 17152 0 0 0 58209 11 0 0 20 0 1 0 5115128 201125888 41667 33554432000 4194304 5796924 140736236207472 140736236204760 4607763 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 49103 41667 177 392 0 48702 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 196412
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.32 2.30 2.24 4/179 8768
/proc/meminfo: memFree=23388796/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=227232 CPUtime=942.13 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 19022 0 0 0 94196 17 0 0 20 0 1 0 5115128 232685568 44878 33554432000 4194304 5796924 140736236207472 140736236205112 4606491 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 56808 44878 177 392 0 56407 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 227232
[startup+1002.3 s]
/proc/loadavg: 2.26 2.29 2.24 3/179 8769
/proc/meminfo: memFree=23396092/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=147092 CPUtime=1002.12 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 19168 0 0 0 100194 18 0 0 20 0 1 0 5115128 150622208 32026 33554432000 4194304 5796924 140736236207472 140736236204936 4592067 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 36773 32026 177 392 0 36372 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 147092
[startup+1062.3 s]
/proc/loadavg: 2.29 2.29 2.25 4/179 8771
/proc/meminfo: memFree=23440200/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=147092 CPUtime=1062.11 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 19313 0 0 0 106193 18 0 0 20 0 1 0 5115128 150622208 32026 33554432000 4194304 5796924 140736236207472 140736236204936 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 36773 32026 177 392 0 36372 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 147092
[startup+1122.3 s]
/proc/loadavg: 2.23 2.27 2.24 3/179 8772
/proc/meminfo: memFree=23367780/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=196412 CPUtime=1122.11 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 19594 0 0 0 112191 20 0 0 20 0 1 0 5115128 201125888 39829 33554432000 4194304 5796924 140736236207472 140736236204760 4608495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 49103 39829 177 392 0 48702 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 196412
[startup+1182.3 s]
/proc/loadavg: 2.37 2.30 2.25 3/179 8773
/proc/meminfo: memFree=23340952/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=196412 CPUtime=1182.1 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 19743 0 0 0 118189 21 0 0 20 0 1 0 5115128 201125888 42901 33554432000 4194304 5796924 140736236207472 140736236204760 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 49103 42901 177 392 0 48702 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 196412
[startup+1242.3 s]
/proc/loadavg: 2.44 2.32 2.26 4/179 8774
/proc/meminfo: memFree=23332392/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=196412 CPUtime=1242.08 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 20485 0 0 0 124186 22 0 0 20 0 1 0 5115128 201125888 41365 33554432000 4194304 5796924 140736236207472 140736236204760 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 49103 41365 177 392 0 48702 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 196412
[startup+1302.3 s]
/proc/loadavg: 2.25 2.29 2.25 3/179 8775
/proc/meminfo: memFree=23336416/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=148080 CPUtime=1302.08 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 21703 0 0 0 130184 24 0 0 20 0 1 0 5115128 151633920 36715 33554432000 4194304 5796924 140736236207472 140736236204712 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 37020 36715 177 392 0 36619 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 148080
[startup+1362.3 s]
/proc/loadavg: 2.35 2.31 2.26 3/179 8777
/proc/meminfo: memFree=23322512/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=148080 CPUtime=1362.06 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 22457 0 0 0 136180 26 0 0 20 0 1 0 5115128 151633920 36727 33554432000 4194304 5796924 140736236207472 140736236204936 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 37020 36727 177 392 0 36619 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 148080
[startup+1422.3 s]
/proc/loadavg: 2.30 2.29 2.26 4/180 8781
/proc/meminfo: memFree=23421572/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=148080 CPUtime=1422.07 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 22600 0 0 0 142180 27 0 0 20 0 1 0 5115128 151633920 36727 33554432000 4194304 5796924 140736236207472 140736236204936 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 37020 36727 177 392 0 36619 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 148080
[startup+1482.3 s]
/proc/loadavg: 2.36 2.30 2.26 3/179 8782
/proc/meminfo: memFree=23377932/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=148080 CPUtime=1482.05 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 22743 0 0 0 148178 27 0 0 20 0 1 0 5115128 151633920 36727 33554432000 4194304 5796924 140736236207472 140736236204936 4606771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 37020 36727 177 392 0 36619 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 148080
[startup+1542.31 s]
/proc/loadavg: 2.27 2.29 2.26 3/179 8783
/proc/meminfo: memFree=23361260/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=148080 CPUtime=1542.05 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 23478 0 0 0 154176 29 0 0 20 0 1 0 5115128 151633920 36727 33554432000 4194304 5796924 140736236207472 140736236204936 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 37020 36727 177 392 0 36619 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 148080
[startup+1602.3 s]
/proc/loadavg: 2.28 2.29 2.26 4/179 8784
/proc/meminfo: memFree=23329160/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=169196 CPUtime=1602.03 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 24048 0 0 0 160173 30 0 0 20 0 1 0 5115128 173256704 41242 33554432000 4194304 5796924 140736236207472 140736236204712 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 42299 41242 177 392 0 41898 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 169196
[startup+1662.3 s]
/proc/loadavg: 2.23 2.28 2.26 3/179 8924
/proc/meminfo: memFree=22105624/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=169196 CPUtime=1662.03 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 24455 0 0 0 166172 31 0 0 20 0 1 0 5115128 173256704 42005 33554432000 4194304 5796924 140736236207472 140736236204936 4591992 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 42299 42005 177 392 0 41898 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 169196
[startup+1722.3 s]
/proc/loadavg: 2.17 2.26 2.26 3/179 8925
/proc/meminfo: memFree=20657628/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=249336 CPUtime=1722.01 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 25201 0 0 0 172169 32 0 0 20 0 1 0 5115128 255320064 56531 33554432000 4194304 5796924 140736236207472 140736236205112 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 62334 56531 177 392 0 61933 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 249336
[startup+1782.3 s]
/proc/loadavg: 2.10 2.22 2.24 4/179 8926
/proc/meminfo: memFree=20638572/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=249336 CPUtime=1782.01 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 25936 0 0 0 178167 34 0 0 20 0 1 0 5115128 255320064 55507 33554432000 4194304 5796924 140736236207472 140736236205112 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 62334 55507 177 392 0 61933 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 249336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.28 2.25 2.25 3/179 8926
/proc/meminfo: memFree=20623988/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=249336 CPUtime=1800 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 25941 0 0 0 179966 34 0 0 20 0 1 0 5115128 255320064 58067 33554432000 4194304 5796924 140736236207472 140736236205112 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 62334 58067 177 392 0 61933 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 249336
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 8743 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.28 2.25 2.25 3/179 8926
/proc/meminfo: memFree=20623988/32872528 swapFree=1514864/1684516
[pid=8743] ppid=8740 vsize=249336 CPUtime=1800 cores=1,3,5,7
/proc/8743/stat : 8743 (naps-1.02) R 8740 8743 5662 0 -1 4202496 25941 0 0 0 179966 34 0 0 20 0 1 0 5115128 255320064 58067 33554432000 4194304 5796924 140736236207472 140736236205112 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8743/statm: 62334 58067 177 392 0 61933 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 249336
Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.67
CPU system time (s): 0.347947
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 249336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.347947
maximum resident set size= 232316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25953
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= 22
involuntary context switches= 1881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54131 second user time and 6.92195 second system time
The end