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-4118639-1467242239/watcher-4118639-1467242239 -o /tmp/evaluation-result-4118639-1467242239/solver-4118639-1467242239 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467233234-10820 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118639-1467242239.opb
pid=11697
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.00 2.00 2.00 3/176 11700
/proc/meminfo: memFree=30511088/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=6956 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 434 0 0 0 0 0 0 0 20 0 1 0 14252192 7122944 309 33554432000 4194304 5796924 140733819569680 140733446316840 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 1739 309 128 392 0 1338 0
[startup+0.100158 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11700
/proc/meminfo: memFree=30511088/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=8672 CPUtime=0.09 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 871 0 0 0 9 0 0 0 20 0 1 0 14252192 8880128 739 33554432000 4194304 5796924 140733819569680 140733446316840 5100646 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 2168 739 139 392 0 1767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8672
[startup+0.200277 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11700
/proc/meminfo: memFree=30511088/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=5672 CPUtime=0.19 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 1311 0 0 0 19 0 0 0 20 0 1 0 14252192 5808128 1073 33554432000 4194304 5796924 140733819569680 140733446316840 4810059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 1418 1073 159 392 0 1017 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5672
[startup+0.300265 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11700
/proc/meminfo: memFree=30511088/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=5672 CPUtime=0.29 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 1311 0 0 0 29 0 0 0 20 0 1 0 14252192 5808128 1073 33554432000 4194304 5796924 140733819569680 140733446316840 4295906 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 1418 1073 159 392 0 1017 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5672
[startup+0.700204 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11700
/proc/meminfo: memFree=30511088/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=30876 CPUtime=0.68 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 4779 0 0 0 68 0 0 0 20 0 1 0 14252192 31617024 7001 33554432000 4194304 5796924 140733819569680 140733446316840 4659057 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 7719 7002 166 392 0 7318 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 30876
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 11732
/proc/meminfo: memFree=30802804/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=137308 CPUtime=1.49 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 27042 0 0 0 145 4 0 0 20 0 1 0 14252192 140603392 31280 33554432000 4194304 5796924 140733819569680 140733819556104 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 34327 31280 166 392 0 33926 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 137308
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11747
/proc/meminfo: memFree=30757976/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=144356 CPUtime=3.09 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 28966 0 0 0 304 5 0 0 20 0 1 0 14252192 147820544 33303 33554432000 4194304 5796924 140733819569680 140733819567528 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 36089 33303 176 392 0 35688 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144356
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11747
/proc/meminfo: memFree=30751656/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=144356 CPUtime=6.29 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 29097 0 0 0 624 5 0 0 20 0 1 0 14252192 147820544 33433 33554432000 4194304 5796924 140733819569680 140733819567528 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 36089 33433 176 392 0 35688 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144356
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11747
/proc/meminfo: memFree=30745492/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=163032 CPUtime=12.69 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 29486 0 0 0 1264 5 0 0 20 0 1 0 14252192 166944768 35059 33554432000 4194304 5796924 140733819569680 140733819566920 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 40758 35059 178 392 0 40357 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 163032
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11747
/proc/meminfo: memFree=30646332/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=244984 CPUtime=25.49 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 34209 0 0 0 2542 7 0 0 20 0 1 0 14252192 250863616 55537 33554432000 4194304 5796924 140733819569680 140733819567240 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 61246 55537 179 392 0 60845 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 244984
[startup+51.1004 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11747
/proc/meminfo: memFree=30611428/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=275336 CPUtime=51.07 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 34437 0 0 0 5100 7 0 0 20 0 1 0 14252192 281944064 63476 33554432000 4194304 5796924 140733819569680 140733819566968 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 68834 63476 179 392 0 68433 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 275336
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11748
/proc/meminfo: memFree=30593772/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=294304 CPUtime=102.27 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 35643 0 0 0 10218 9 0 0 20 0 1 0 14252192 301367296 65507 33554432000 4194304 5796924 140733819569680 140733819567320 4593669 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 73576 65507 179 392 0 73175 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 294304
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11750
/proc/meminfo: memFree=30581672/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=275336 CPUtime=162.25 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 36066 0 0 0 16215 10 0 0 20 0 1 0 14252192 281944064 65200 33554432000 4194304 5796924 140733819569680 140733819566968 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 68834 65200 179 392 0 68433 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 275336
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11754
/proc/meminfo: memFree=30587816/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=275336 CPUtime=222.25 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 37030 0 0 0 22213 12 0 0 20 0 1 0 14252192 281944064 62822 33554432000 4194304 5796924 140733819569680 140733819566968 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 68834 62822 179 392 0 68433 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 275336
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11755
/proc/meminfo: memFree=30567408/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=294304 CPUtime=282.23 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 37592 0 0 0 28210 13 0 0 20 0 1 0 14252192 301367296 66960 33554432000 4194304 5796924 140733819569680 140733819567320 4592560 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 73576 66960 179 392 0 73175 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 294304
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11756
/proc/meminfo: memFree=30567064/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=275336 CPUtime=342.21 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 38058 0 0 0 34208 13 0 0 20 0 1 0 14252192 281944064 62822 33554432000 4194304 5796924 140733819569680 140733819566968 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 68834 62822 179 392 0 68433 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 275336
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11757
/proc/meminfo: memFree=30544224/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=294304 CPUtime=402.21 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 38621 0 0 0 40207 14 0 0 20 0 1 0 14252192 301367296 67472 33554432000 4194304 5796924 140733819569680 140733819567320 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 73576 67472 179 392 0 73175 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 294304
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11759
/proc/meminfo: memFree=30475680/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=377848 CPUtime=462.2 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 41401 0 0 0 46204 16 0 0 20 0 1 0 14252192 386916352 83327 33554432000 4194304 5796924 140733819569680 140733819566968 4592000 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 94462 83327 180 392 0 94061 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 377848
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11760
/proc/meminfo: memFree=30499208/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=328528 CPUtime=522.19 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 41406 0 0 0 52203 16 0 0 20 0 1 0 14252192 336412672 74082 33554432000 4194304 5796924 140733819569680 140733819567144 4592040 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 82132 74082 180 392 0 81731 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 328528
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11761
/proc/meminfo: memFree=30449928/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=377848 CPUtime=582.18 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 41459 0 0 0 58201 17 0 0 20 0 1 0 14252192 386916352 86399 33554432000 4194304 5796924 140733819569680 140733819566968 4592304 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 94462 86399 180 392 0 94061 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 377848
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11770
/proc/meminfo: memFree=30387936/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=408668 CPUtime=882.15 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 42502 0 0 0 88194 21 0 0 20 0 1 0 14252192 418476032 93760 33554432000 4194304 5796924 140733819569680 140733819567320 4592010 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 102167 93760 180 392 0 101766 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 408668
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11771
/proc/meminfo: memFree=30397504/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=458756 CPUtime=942.12 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 43324 0 0 0 94191 21 0 0 20 0 1 0 14252192 469766144 99181 33554432000 4194304 5796924 140733819569680 140733819567320 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 114689 99181 180 392 0 114288 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 458756
[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11772
/proc/meminfo: memFree=30488980/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=328528 CPUtime=1002.11 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 43338 0 0 0 100189 22 0 0 20 0 1 0 14252192 336412672 75744 33554432000 4194304 5796924 140733819569680 140733819567144 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 82132 75744 180 392 0 81731 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 328528
[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 11774
/proc/meminfo: memFree=30384900/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=377848 CPUtime=1062.11 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 43388 0 0 0 106188 23 0 0 20 0 1 0 14252192 386916352 86525 33554432000 4194304 5796924 140733819569680 140733819566968 4592017 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 94462 86525 180 392 0 94061 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 377848
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 11775
/proc/meminfo: memFree=30374924/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=408668 CPUtime=1122.09 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 43463 0 0 0 112186 23 0 0 20 0 1 0 14252192 418476032 90688 33554432000 4194304 5796924 140733819569680 140733819567320 4591899 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 102167 90688 180 392 0 101766 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 408668
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 11776
/proc/meminfo: memFree=30367420/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=408668 CPUtime=1182.08 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 43472 0 0 0 118185 23 0 0 20 0 1 0 14252192 418476032 95296 33554432000 4194304 5796924 140733819569680 140733819567320 4591877 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 102167 95296 180 392 0 101766 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 408668
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11777
/proc/meminfo: memFree=30393256/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=458756 CPUtime=1242.08 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 44293 0 0 0 124183 25 0 0 20 0 1 0 14252192 469766144 100205 33554432000 4194304 5796924 140733819569680 140733819567320 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 114689 100205 180 392 0 114288 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 458756
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11778
/proc/meminfo: memFree=30376476/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=458756 CPUtime=1302.06 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 44307 0 0 0 130181 25 0 0 20 0 1 0 14252192 469766144 104301 33554432000 4194304 5796924 140733819569680 140733819567320 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 114689 104301 180 392 0 114288 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 458756
[startup+1362.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/176 11779
/proc/meminfo: memFree=30384972/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=377848 CPUtime=1362.05 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 44359 0 0 0 136179 26 0 0 20 0 1 0 14252192 386916352 86525 33554432000 4194304 5796924 140733819569680 140733819566968 4594500 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 94462 86525 180 392 0 94061 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 377848
[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 11784
/proc/meminfo: memFree=30374268/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=408668 CPUtime=1422.06 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 44435 0 0 0 142179 27 0 0 20 0 1 0 14252192 418476032 91200 33554432000 4194304 5796924 140733819569680 140733819567320 4592055 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 102167 91200 180 392 0 101766 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 408668
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 11785
/proc/meminfo: memFree=30413708/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=408668 CPUtime=1482.04 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 44443 0 0 0 148177 27 0 0 20 0 1 0 14252192 418476032 95296 33554432000 4194304 5796924 140733819569680 140733819567320 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 102167 95296 180 392 0 101766 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 408668
[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 11787
/proc/meminfo: memFree=30330860/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=458756 CPUtime=1542.03 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 45265 0 0 0 154175 28 0 0 20 0 1 0 14252192 469766144 99181 33554432000 4194304 5796924 140733819569680 140733819567320 4592071 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 114689 99181 180 392 0 114288 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 458756
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 11788
/proc/meminfo: memFree=30329256/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=458756 CPUtime=1602.01 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 45276 0 0 0 160173 28 0 0 20 0 1 0 14252192 469766144 104813 33554432000 4194304 5796924 140733819569680 140733819567320 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 114689 104813 180 392 0 114288 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 458756
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 11789
/proc/meminfo: memFree=30490852/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=328528 CPUtime=1662.01 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 45796 0 0 0 166172 29 0 0 20 0 1 0 14252192 336412672 75744 33554432000 4194304 5796924 140733819569680 140733819567144 4592017 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 82132 75744 180 392 0 81731 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 328528
[startup+1722.3 s]
/proc/loadavg: 2.35 2.10 2.02 3/177 11791
/proc/meminfo: memFree=30379084/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=377848 CPUtime=1722 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 45847 0 0 0 172170 30 0 0 20 0 1 0 14252192 386916352 87037 33554432000 4194304 5796924 140733819569680 140733819566968 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 94462 87037 180 392 0 94061 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 377848
[startup+1782.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/177 11792
/proc/meminfo: memFree=30387092/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=408668 CPUtime=1781.99 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 45922 0 0 0 178169 30 0 0 20 0 1 0 14252192 418476032 91200 33554432000 4194304 5796924 140733819569680 140733819567320 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 102167 91200 180 392 0 101766 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 408668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.09 2.08 2.02 3/177 11792
/proc/meminfo: memFree=30370900/32872528 swapFree=8284/8284
[pid=11700] ppid=11697 vsize=408668 CPUtime=1800.09 cores=1,3,5,7
/proc/11700/stat : 11700 (naps-1.02) R 11697 11700 7449 0 -1 4202496 45925 0 0 0 179978 31 0 0 20 0 1 0 14252192 418476032 92736 33554432000 4194304 5796924 140733819569680 140733819567320 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11700/statm: 102167 92736 180 392 0 101766 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 408668
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 11700 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.79
CPU system time (s): 0.315951
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 540144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.315951
maximum resident set size= 437684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45937
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= 48
involuntary context switches= 1970
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50816 second user time and 8.19475 second system time
The end