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-4118378-1467236221/watcher-4118378-1467236221 -o /tmp/evaluation-result-4118378-1467236221/solver-4118378-1467236221 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467234420-8021 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118378-1467236221.opb
pid=8167
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.18 2.27 2.26 2/172 8170
/proc/meminfo: memFree=23890532/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=6684 CPUtime=0 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 4574833 6844416 248 33554432000 4194304 5796924 140736972297136 140733348627928 5096680 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 1671 248 128 392 0 1270 0
[startup+0.100116 s]
/proc/loadavg: 2.18 2.27 2.26 2/172 8170
/proc/meminfo: memFree=23890532/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=4152 CPUtime=0.09 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 865 0 0 0 9 0 0 0 20 0 1 0 4574833 4251648 701 33554432000 4194304 5796924 140736972297136 140733348627928 4295803 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 1038 701 159 392 0 637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4152
[startup+0.200285 s]
/proc/loadavg: 2.18 2.27 2.26 2/172 8170
/proc/meminfo: memFree=23890532/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=13788 CPUtime=0.19 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 3214 0 0 0 19 0 0 0 20 0 1 0 4574833 14118912 3035 33554432000 4194304 5796924 140736972297136 140733348627928 4623737 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 3447 3035 166 392 0 3046 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13788
[startup+0.300279 s]
/proc/loadavg: 2.18 2.27 2.26 2/172 8170
/proc/meminfo: memFree=23890532/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=46464 CPUtime=0.29 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 10034 0 0 0 28 1 0 0 20 0 1 0 4574833 47579136 10541 33554432000 4194304 5796924 140736972297136 140733348627928 4659057 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 11616 10542 166 392 0 11215 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46464
[startup+0.700302 s]
/proc/loadavg: 2.18 2.27 2.26 2/172 8170
/proc/meminfo: memFree=23890532/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=64724 CPUtime=0.68 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 12453 0 0 0 67 1 0 0 20 0 1 0 4574833 66277376 15172 33554432000 4194304 5796924 140736972297136 140736972294200 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 16181 15172 168 392 0 15780 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 64724
[startup+1.50029 s]
/proc/loadavg: 2.24 2.28 2.27 3/179 8232
/proc/meminfo: memFree=23794948/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=64724 CPUtime=1.48 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 12555 0 0 0 147 1 0 0 20 0 1 0 4574833 66277376 15274 33554432000 4194304 5796924 140736972297136 140736972294152 4591871 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 16181 15274 175 392 0 15780 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 64724
[startup+3.1003 s]
/proc/loadavg: 2.24 2.28 2.27 3/179 8232
/proc/meminfo: memFree=23788552/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=71796 CPUtime=3.09 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 12874 0 0 0 307 2 0 0 20 0 1 0 4574833 73519104 16103 33554432000 4194304 5796924 140736972297136 140736972294376 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 17949 16103 175 392 0 17548 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71796
[startup+6.30029 s]
/proc/loadavg: 2.24 2.28 2.27 4/179 8232
/proc/meminfo: memFree=23766796/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=87420 CPUtime=6.29 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 16402 0 0 0 626 3 0 0 20 0 1 0 4574833 89518080 21024 33554432000 4194304 5796924 140736972297136 140736972294984 4592040 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 21855 21024 178 392 0 21454 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87420
[startup+12.7003 s]
/proc/loadavg: 2.29 2.29 2.27 4/179 8232
/proc/meminfo: memFree=23750700/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=94560 CPUtime=12.69 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 16540 0 0 0 1266 3 0 0 20 0 1 0 4574833 96829440 22695 33554432000 4194304 5796924 140736972297136 140736972294376 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 23640 22695 178 392 0 23239 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 94560
[startup+25.5003 s]
/proc/loadavg: 2.32 2.30 2.27 3/179 8233
/proc/meminfo: memFree=23741488/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=113236 CPUtime=25.49 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 17227 0 0 0 2545 4 0 0 20 0 1 0 4574833 115953664 24653 33554432000 4194304 5796924 140736972297136 140736972294376 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 28309 24653 178 392 0 27908 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113236
[startup+51.1004 s]
/proc/loadavg: 2.21 2.27 2.26 3/179 8233
/proc/meminfo: memFree=23729196/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=113236 CPUtime=51.08 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 17321 0 0 0 5104 4 0 0 20 0 1 0 4574833 115953664 24653 33554432000 4194304 5796924 140736972297136 140736972294600 4593546 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 28309 24653 178 392 0 27908 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 113236
[startup+102.3 s]
/proc/loadavg: 2.20 2.25 2.26 4/179 8234
/proc/meminfo: memFree=23708796/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=132092 CPUtime=102.28 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 18100 0 0 0 10223 5 0 0 20 0 1 0 4574833 135262208 27524 33554432000 4194304 5796924 140736972297136 140736972294600 4591913 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 33023 27524 178 392 0 32622 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 132092
[startup+162.3 s]
/proc/loadavg: 2.17 2.23 2.25 3/179 8235
/proc/meminfo: memFree=23688236/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=136952 CPUtime=162.26 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 19639 0 0 0 16220 6 0 0 20 0 1 0 4574833 140238848 31725 33554432000 4194304 5796924 140736972297136 140736972294696 4593577 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 34238 31725 179 392 0 33837 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 136952
[startup+222.307 s]
/proc/loadavg: 2.23 2.24 2.25 3/180 8239
/proc/meminfo: memFree=23628324/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=186272 CPUtime=222.26 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 20107 0 0 0 22219 7 0 0 20 0 1 0 4574833 190742528 41669 33554432000 4194304 5796924 140736972297136 140736972294424 4591908 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 46568 41669 179 392 0 46167 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 186272
[startup+282.3 s]
/proc/loadavg: 2.46 2.30 2.27 4/179 8240
/proc/meminfo: memFree=23605516/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=208336 CPUtime=282.24 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 21378 0 0 0 28215 9 0 0 20 0 1 0 4574833 213336064 46717 33554432000 4194304 5796924 140736972297136 140736972294424 4591895 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 52084 46717 179 392 0 51683 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 208336
[startup+342.3 s]
/proc/loadavg: 2.37 2.30 2.27 3/179 8242
/proc/meminfo: memFree=23605140/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=159016 CPUtime=342.24 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 21969 0 0 0 34213 11 0 0 20 0 1 0 4574833 162832384 38309 33554432000 4194304 5796924 140736972297136 140736972294600 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 39754 38309 179 392 0 39353 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 159016
[startup+402.3 s]
/proc/loadavg: 2.38 2.30 2.27 3/179 8243
/proc/meminfo: memFree=23577564/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=402.23 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 22793 0 0 0 40211 12 0 0 20 0 1 0 4574833 244895744 52416 33554432000 4194304 5796924 140736972297136 140736972294776 4606404 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 52416 179 392 0 59388 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 239156
[startup+462.3 s]
/proc/loadavg: 2.48 2.35 2.29 4/179 8244
/proc/meminfo: memFree=23589316/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=208336 CPUtime=462.22 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 23031 0 0 0 46209 13 0 0 20 0 1 0 4574833 213336064 48765 33554432000 4194304 5796924 140736972297136 140736972294424 4591865 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 52084 48765 179 392 0 51683 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 208336
[startup+522.3 s]
/proc/loadavg: 2.45 2.36 2.29 3/179 8245
/proc/meminfo: memFree=23593956/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=159016 CPUtime=522.21 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 23623 0 0 0 52207 14 0 0 20 0 1 0 4574833 162832384 38309 33554432000 4194304 5796924 140736972297136 140736972294600 4592629 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 39754 38309 179 392 0 39353 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 159016
[startup+582.3 s]
/proc/loadavg: 2.30 2.34 2.29 3/179 8246
/proc/meminfo: memFree=23535908/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=582.2 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 24444 0 0 0 58204 16 0 0 20 0 1 0 4574833 244895744 51904 33554432000 4194304 5796924 140736972297136 140736972294776 4593716 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 51904 179 392 0 59388 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 239156
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.22 2.26 2.26 3/179 8257
/proc/meminfo: memFree=23529156/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=942.14 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 26958 0 0 0 94193 21 0 0 20 0 1 0 4574833 244895744 53171 33554432000 4194304 5796924 140736972297136 140736972294776 4593521 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 53171 179 392 0 59388 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 239156
[startup+1002.3 s]
/proc/loadavg: 2.26 2.26 2.26 4/180 8269
/proc/meminfo: memFree=23590464/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=159016 CPUtime=1002.13 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 27218 0 0 0 100191 22 0 0 20 0 1 0 4574833 162832384 38552 33554432000 4194304 5796924 140736972297136 140736972294600 4592023 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 39754 38552 179 392 0 39353 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 159016
[startup+1062.3 s]
/proc/loadavg: 2.27 2.27 2.26 3/179 8270
/proc/meminfo: memFree=23579800/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=208336 CPUtime=1062.11 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 27456 0 0 0 106189 22 0 0 20 0 1 0 4574833 213336064 50032 33554432000 4194304 5796924 140736972297136 140736972294424 4591913 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 52084 50032 179 392 0 51683 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 208336
[startup+1122.3 s]
/proc/loadavg: 2.22 2.26 2.26 4/179 8271
/proc/meminfo: memFree=23499416/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=1122.11 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 28049 0 0 0 112187 24 0 0 20 0 1 0 4574833 244895744 56755 33554432000 4194304 5796924 140736972297136 140736972294776 4592304 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 56755 179 392 0 59388 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 239156
[startup+1182.3 s]
/proc/loadavg: 2.24 2.26 2.26 3/179 8272
/proc/meminfo: memFree=23538480/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=208336 CPUtime=1182.1 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 28287 0 0 0 118185 25 0 0 20 0 1 0 4574833 213336064 49008 33554432000 4194304 5796924 140736972297136 140736972294424 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 52084 49008 179 392 0 51683 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 208336
[startup+1242.3 s]
/proc/loadavg: 2.26 2.25 2.26 4/179 8274
/proc/meminfo: memFree=23523708/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=1242.1 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 28880 0 0 0 124184 26 0 0 20 0 1 0 4574833 244895744 55731 33554432000 4194304 5796924 140736972297136 140736972294776 4606518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 55731 179 392 0 59388 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 239156
[startup+1302.3 s]
/proc/loadavg: 2.15 2.22 2.25 3/179 8275
/proc/meminfo: memFree=23566804/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=159016 CPUtime=1302.08 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 29191 0 0 0 130181 27 0 0 20 0 1 0 4574833 162832384 38552 33554432000 4194304 5796924 140736972297136 140736972294600 4592071 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 39754 38552 179 392 0 39353 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 159016
[startup+1362.3 s]
/proc/loadavg: 2.17 2.21 2.24 4/179 8276
/proc/meminfo: memFree=23529772/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=208336 CPUtime=1362.08 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 29430 0 0 0 136180 28 0 0 20 0 1 0 4574833 213336064 50544 33554432000 4194304 5796924 140736972297136 140736972294424 4593513 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 52084 50544 179 392 0 51683 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 208336
[startup+1422.3 s]
/proc/loadavg: 2.21 2.21 2.24 3/180 8280
/proc/meminfo: memFree=23521644/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=1422.07 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 30026 0 0 0 142178 29 0 0 20 0 1 0 4574833 244895744 56243 33554432000 4194304 5796924 140736972297136 140736972294776 4592027 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 56243 179 392 0 59388 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 239156
[startup+1482.3 s]
/proc/loadavg: 2.26 2.23 2.24 3/180 8304
/proc/meminfo: memFree=23565288/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=159016 CPUtime=1482.06 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 30334 0 0 0 148176 30 0 0 20 0 1 0 4574833 162832384 38552 33554432000 4194304 5796924 140736972297136 140736972294600 4592128 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 39754 38552 179 392 0 39353 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 159016
[startup+1542.31 s]
/proc/loadavg: 2.35 2.26 2.25 4/178 8305
/proc/meminfo: memFree=23528128/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=1542.05 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 31156 0 0 0 154174 31 0 0 20 0 1 0 4574833 244895744 51635 33554432000 4194304 5796924 140736972297136 140736972294776 4594171 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 51635 179 392 0 59388 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 239156
[startup+1602.3 s]
/proc/loadavg: 2.23 2.24 2.24 3/179 8307
/proc/meminfo: memFree=23553068/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=1602.04 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 31166 0 0 0 160172 32 0 0 20 0 1 0 4574833 244895744 56755 33554432000 4194304 5796924 140736972297136 140736972294776 4606559 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 56755 179 392 0 59388 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 239156
[startup+1662.3 s]
/proc/loadavg: 2.21 2.23 2.24 3/179 8308
/proc/meminfo: memFree=23571460/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=159016 CPUtime=1662.03 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 31475 0 0 0 166170 33 0 0 20 0 1 0 4574833 162832384 38552 33554432000 4194304 5796924 140736972297136 140736972294600 4591899 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 39754 38552 179 392 0 39353 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 159016
[startup+1722.3 s]
/proc/loadavg: 2.17 2.21 2.23 3/179 8309
/proc/meminfo: memFree=23544416/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=208336 CPUtime=1722.02 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 31714 0 0 0 172168 34 0 0 20 0 1 0 4574833 213336064 50544 33554432000 4194304 5796924 140736972297136 140736972294424 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 52084 50544 179 392 0 51683 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 208336
[startup+1782.3 s]
/proc/loadavg: 2.16 2.20 2.22 3/179 8310
/proc/meminfo: memFree=23496296/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=1782.01 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 32306 0 0 0 178166 35 0 0 20 0 1 0 4574833 244895744 56243 33554432000 4194304 5796924 140736972297136 140736972294776 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 56243 179 392 0 59388 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 239156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.20 2.21 2.22 3/179 8310
/proc/meminfo: memFree=23484256/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=1800.01 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 32309 0 0 0 179966 35 0 0 20 0 1 0 4574833 244895744 57779 33554432000 4194304 5796924 140736972297136 140736972294776 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 57779 179 392 0 59388 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 239156
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 8170 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.20 2.21 2.22 3/179 8310
/proc/meminfo: memFree=23484256/32872528 swapFree=1514864/1684516
[pid=8170] ppid=8167 vsize=239156 CPUtime=1800.01 cores=1,3,5,7
/proc/8170/stat : 8170 (naps-1.02) R 8167 8170 5662 0 -1 4202496 32309 0 0 0 179966 35 0 0 20 0 1 0 4574833 244895744 57779 33554432000 4194304 5796924 140736972297136 140736972294776 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8170/statm: 59789 57779 179 392 0 59388 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 239156
Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.67
CPU system time (s): 0.354946
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 289244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.354946
maximum resident set size= 242560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32321
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= 21
involuntary context switches= 1858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5723 second user time and 6.96794 second system time
The end