runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8509 MiB free)
memory of node 1: 16384 MiB (11483 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295923-1532608939/watcher-4295923-1532608939 -o /tmp/evaluation-result-4295923-1532608939/solver-4295923-1532608939 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532608414-9674 --watchdog 2580 BTD 12 2520 HOME/instance-4295923-1532608939.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10331, runsolver pid=10328
[startup+0.101088 s]*
/proc/loadavg: 2.00 1.85 1.75 3/188 10332
/proc/meminfo: memFree=20461376/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=43112 memory=12916 CPUtime=0.1 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 3395 0 0 0 10 0 0 0 20 0 1 0 78457120 44146688 3229 33554432000 4194304 36388972 140725336102576 140725336096232 7752720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 10778 3229 440 7861 0 2882 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43112 KiB
Current children cumulated memory: 12916 KiB
[startup+0.209688 s]*
/proc/loadavg: 2.00 1.85 1.75 3/188 10332
/proc/meminfo: memFree=20457284/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=47336 memory=17140 CPUtime=0.2 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 4440 0 0 0 20 0 0 0 20 0 1 0 78457120 48472064 4285 33554432000 4194304 36388972 140725336102576 140725336096232 7657238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 11834 4285 440 7861 0 3938 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47336 KiB
Current children cumulated memory: 17140 KiB
[startup+0.309614 s]*
/proc/loadavg: 2.00 1.85 1.75 3/188 10332
/proc/meminfo: memFree=20454556/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=50636 memory=20572 CPUtime=0.3 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 5294 0 0 0 30 0 0 0 20 0 1 0 78457120 51851264 5143 33554432000 4194304 36388972 140725336102576 140725336096232 7657238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 12659 5143 463 7861 0 4763 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50636 KiB
Current children cumulated memory: 20572 KiB
[startup+0.70024 s]
/proc/loadavg: 2.00 1.85 1.75 5/188 10332
/proc/meminfo: memFree=20440420/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=69380 memory=39316 CPUtime=0.69 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 10017 0 0 0 68 1 0 0 20 0 1 0 78457120 71045120 9829 33554432000 4194304 36388972 140725336102576 140725336100984 6663888 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 17345 9829 493 7861 0 9449 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 69380 KiB
Current children cumulated memory: 39316 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 1.86 1.75 3/188 10332
/proc/meminfo: memFree=20433252/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=90848 memory=60700 CPUtime=1.48 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 15339 0 0 0 147 1 0 0 20 0 1 0 78457120 93028352 15175 33554432000 4194304 36388972 140725336102576 140725336100856 4687456 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22712 15175 511 7861 0 14816 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90848 KiB
Current children cumulated memory: 60700 KiB
[startup+3.10935 s]
/proc/loadavg: 2.00 1.86 1.75 3/188 10332
/proc/meminfo: memFree=20413428/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91400 memory=60888 CPUtime=3.09 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 19454 0 0 0 308 1 0 0 20 0 1 0 78457120 93593600 15222 33554432000 4194304 36388972 140725336102576 140725336101416 4661808 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22850 15222 517 7861 0 14954 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 91400 KiB
Current children cumulated memory: 60888 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 1.86 1.75 3/188 10332
/proc/meminfo: memFree=20412600/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91400 memory=60888 CPUtime=6.28 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 23480 0 0 0 624 4 0 0 20 0 1 0 78457120 93593600 15222 33554432000 4194304 36388972 140725336102576 140725336101416 4567515 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22850 15222 517 7861 0 14954 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 91400 KiB
Current children cumulated memory: 60888 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 1.86 1.75 3/188 10332
/proc/meminfo: memFree=20412600/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91400 memory=60888 CPUtime=12.68 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 27451 0 0 0 1264 4 0 0 20 0 1 0 78457120 93593600 15222 33554432000 4194304 36388972 140725336102576 140725336101416 4661808 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22850 15222 517 7861 0 14954 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 91400 KiB
Current children cumulated memory: 60888 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 1.87 1.75 3/188 10332
/proc/meminfo: memFree=20411992/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91400 memory=60888 CPUtime=25.48 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 34391 0 0 0 2543 5 0 0 20 0 1 0 78457120 93593600 15222 33554432000 4194304 36388972 140725336102576 140725336101416 4661813 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22850 15222 517 7861 0 14954 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 91400 KiB
Current children cumulated memory: 60888 KiB
[startup+51.1095 s]
/proc/loadavg: 1.94 1.86 1.76 3/188 10332
/proc/meminfo: memFree=20411340/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91532 memory=61012 CPUtime=51.09 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 35899 0 0 0 5104 5 0 0 20 0 1 0 78457120 93728768 15253 33554432000 4194304 36388972 140725336102576 140725336101416 4661870 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22883 15253 528 7861 0 14987 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 91532 KiB
Current children cumulated memory: 61012 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.88 1.77 3/188 10333
/proc/meminfo: memFree=20411676/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91532 memory=61028 CPUtime=102.28 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 36079 0 0 0 10223 5 0 0 20 0 1 0 78457120 93728768 15257 33554432000 4194304 36388972 140725336102576 140725336101416 4661813 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22883 15257 530 7861 0 14987 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 91532 KiB
Current children cumulated memory: 61028 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.90 1.78 3/187 10334
/proc/meminfo: memFree=20412404/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91532 memory=61084 CPUtime=162.28 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 36241 0 0 0 16223 5 0 0 20 0 1 0 78457120 93728768 15271 33554432000 4194304 36388972 140725336102576 140725336101416 4567515 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22883 15271 530 7861 0 14987 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 91532 KiB
Current children cumulated memory: 61084 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.92 1.79 3/187 10335
/proc/meminfo: memFree=20412500/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91664 memory=61116 CPUtime=222.28 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 36412 0 0 0 22223 5 0 0 20 0 1 0 78457120 93863936 15279 33554432000 4194304 36388972 140725336102576 140725336101416 4567515 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22916 15279 530 7861 0 15020 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 91664 KiB
Current children cumulated memory: 61116 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.94 1.81 3/187 10336
/proc/meminfo: memFree=20412616/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91664 memory=61132 CPUtime=282.29 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 36584 0 0 0 28223 6 0 0 20 0 1 0 78457120 93863936 15283 33554432000 4194304 36388972 140725336102576 140725336101416 4296731 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22916 15283 530 7861 0 15020 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 91664 KiB
Current children cumulated memory: 61132 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.95 1.82 3/187 10337
/proc/meminfo: memFree=20412484/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91664 memory=61156 CPUtime=342.29 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 36758 0 0 0 34223 6 0 0 20 0 1 0 78457120 93863936 15289 33554432000 4194304 36388972 140725336102576 140725336101416 4661808 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22916 15289 530 7861 0 15020 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 91664 KiB
Current children cumulated memory: 61156 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.96 1.83 3/187 10338
/proc/meminfo: memFree=20412420/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91664 memory=61164 CPUtime=402.29 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 36938 0 0 0 40223 6 0 0 20 0 1 0 78457120 93863936 15291 33554432000 4194304 36388972 140725336102576 140725336101416 4661870 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22916 15291 530 7861 0 15020 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 91664 KiB
Current children cumulated memory: 61164 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.96 1.84 3/187 10346
/proc/meminfo: memFree=20411684/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91664 memory=61172 CPUtime=462.29 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 37118 0 0 0 46223 6 0 0 20 0 1 0 78457120 93863936 15293 33554432000 4194304 36388972 140725336102576 140725336101416 4661870 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22916 15293 530 7861 0 15020 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 91664 KiB
Current children cumulated memory: 61172 KiB
################
# More data... #
################
/proc/10331/statm: 22949 15341 530 7861 0 15053 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61364 KiB
[startup+1782.3 s]
/proc/loadavg: 2.06 2.10 2.01 3/188 10409
/proc/meminfo: memFree=20410848/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61364 CPUtime=1782.33 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 39968 0 0 0 178224 9 0 0 20 0 1 0 78457120 93999104 15341 33554432000 4194304 36388972 140725336102576 140725336101416 4567515 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15341 530 7861 0 15053 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61364 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.08 2.01 3/188 10410
/proc/meminfo: memFree=20410832/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61372 CPUtime=1842.33 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 40045 0 0 0 184224 9 0 0 20 0 1 0 78457120 93999104 15343 33554432000 4194304 36388972 140725336102576 140725336101416 4661808 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15343 530 7861 0 15053 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61372 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.01 3/188 10411
/proc/meminfo: memFree=20410816/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61372 CPUtime=1902.34 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 40160 0 0 0 190224 10 0 0 20 0 1 0 78457120 93999104 15343 33554432000 4194304 36388972 140725336102576 140725336101416 4567515 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15343 530 7861 0 15053 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61372 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/188 10412
/proc/meminfo: memFree=20410708/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61380 CPUtime=1962.34 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 40244 0 0 0 196224 10 0 0 20 0 1 0 78457120 93999104 15345 33554432000 4194304 36388972 140725336102576 140725336101416 4661808 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15345 530 7861 0 15053 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61380 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/186 10474
/proc/meminfo: memFree=20418752/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61380 CPUtime=2022.33 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 40327 0 0 0 202223 10 0 0 20 0 1 0 78457120 93999104 15345 33554432000 4194304 36388972 140725336102576 140725336101416 4567504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15345 530 7861 0 15053 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61380 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/187 10476
/proc/meminfo: memFree=20417276/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61380 CPUtime=2082.34 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 40442 0 0 0 208224 10 0 0 20 0 1 0 78457120 93999104 15345 33554432000 4194304 36388972 140725336102576 140725336101416 4661813 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15345 530 7861 0 15053 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61380 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/187 10477
/proc/meminfo: memFree=20416780/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61384 CPUtime=2142.35 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 40564 0 0 0 214224 11 0 0 20 0 1 0 78457120 93999104 15346 33554432000 4194304 36388972 140725336102576 140725336101416 4661808 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15346 530 7861 0 15053 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61384 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/187 10478
/proc/meminfo: memFree=20416656/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61388 CPUtime=2202.35 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 40683 0 0 0 220224 11 0 0 20 0 1 0 78457120 93999104 15347 33554432000 4194304 36388972 140725336102576 140725336101416 4567523 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15347 530 7861 0 15053 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61388 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/188 10487
/proc/meminfo: memFree=20414856/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61400 CPUtime=2262.35 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 40764 0 0 0 226224 11 0 0 20 0 1 0 78457120 93999104 15350 33554432000 4194304 36388972 140725336102576 140725336101416 4661870 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15350 530 7861 0 15053 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61400 KiB
[startup+2322.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/188 10488
/proc/meminfo: memFree=20416148/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61400 CPUtime=2322.35 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 40914 0 0 0 232224 11 0 0 20 0 1 0 78457120 93999104 15350 33554432000 4194304 36388972 140725336102576 140725336101416 4661808 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15350 530 7861 0 15053 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61400 KiB
[startup+2382.3 s]
/proc/loadavg: 2.37 2.15 2.06 3/188 10489
/proc/meminfo: memFree=20416144/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91796 memory=61400 CPUtime=2382.35 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 40994 0 0 0 238224 11 0 0 20 0 1 0 78457120 93999104 15350 33554432000 4194304 36388972 140725336102576 140725336101416 4661870 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22949 15350 530 7861 0 15053 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 91796 KiB
Current children cumulated memory: 61400 KiB
[startup+2442.3 s]
/proc/loadavg: 2.14 2.13 2.05 3/188 10490
/proc/meminfo: memFree=20415880/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91928 memory=61400 CPUtime=2442.35 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 41116 0 0 0 244224 11 0 0 20 0 1 0 78457120 94134272 15350 33554432000 4194304 36388972 140725336102576 140725336101416 4661813 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22982 15350 530 7861 0 15086 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 91928 KiB
Current children cumulated memory: 61400 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.10 2.05 3/188 10491
/proc/meminfo: memFree=20415988/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91928 memory=61420 CPUtime=2502.35 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 41203 0 0 0 250224 11 0 0 20 0 1 0 78457120 94134272 15355 33554432000 4194304 36388972 140725336102576 140725336101416 4582915 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22982 15355 530 7861 0 15086 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 91928 KiB
Current children cumulated memory: 61420 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.10 2.05 3/188 10491
/proc/meminfo: memFree=20415988/32770624 swapFree=67108860/67108860
[pid=10331] ppid=10328 vsize=91928 memory=61420 CPUtime=2520.06 cores=0,2,4,6
/proc/10331/stat : 10331 (BTD) R 10328 10331 8081 0 -1 4202496 41318 0 0 0 251995 11 0 0 20 0 1 0 78457120 94134272 15355 33554432000 4194304 36388972 140725336102576 140725336101416 4661808 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71012352 140725336106172 140725336106251 140725336106251 140725336109009 0
/proc/10331/statm: 22982 15355 530 7861 0 15086 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 91928 KiB
Current children cumulated memory: 61420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 10331 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.95 s, system=0.118003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2519.95
CPU system time (s): 0.118003
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 91928
Max. memory (cumulated for all children) (KiB): 61420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.118003
maximum resident set size= 61424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41318
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= 16
involuntary context switches= 3165
# summary of solver processes directly reported to runsolver:
# pid: 10331
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.95
# total CPU system time (s): 0.118003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.29894 second user time and 16.8656 second system time
The end