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 (5452 MiB free)
memory of node 1: 16384 MiB (9915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306008-1534070318/watcher-4306008-1534070318 -o /tmp/evaluation-result-4306008-1534070318/solver-4306008-1534070318 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534062754-29404 --watchdog 2580 macht 2520 HOME/instance-4306008-1534070318.xml
running on 4 cores: 1,3,5,7
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=30198, runsolver pid=30195
[startup+0.100113 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30199
/proc/meminfo: memFree=15725776/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=38004 memory=7684 CPUtime=0.1 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 2105 0 0 0 10 0 0 0 20 0 1 0 224595050 38916096 1921 33554432000 4194304 36388816 140728701868544 140728701868544 7657110 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 9501 1921 442 7860 0 1606 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 7684 KiB
[startup+0.209289 s]*
/proc/loadavg: 2.00 2.01 2.05 4/187 30199
/proc/meminfo: memFree=15712664/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=44472 memory=14284 CPUtime=0.21 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 3737 0 0 0 21 0 0 0 20 0 1 0 224595050 45539328 3571 33554432000 4194304 36388816 140728701868544 140728701868544 7657110 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 11118 3571 442 7860 0 3223 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 14284 KiB
[startup+0.309355 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30199
/proc/meminfo: memFree=15701396/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=50280 memory=20092 CPUtime=0.31 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 5160 0 0 0 31 0 0 0 20 0 1 0 224595050 51486720 5023 33554432000 4194304 36388816 140728701868544 140728701868544 7657110 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 12570 5023 442 7860 0 4675 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50280 KiB
Current children cumulated memory: 20092 KiB
[startup+0.700267 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30199
/proc/meminfo: memFree=15679944/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=71004 memory=40684 CPUtime=0.69 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 10339 0 0 0 68 1 0 0 20 0 1 0 224595050 72708096 10171 33554432000 4194304 36388816 140728701868544 140728701860728 7651713 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 17751 10171 442 7860 0 9856 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71004 KiB
Current children cumulated memory: 40684 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30199
/proc/meminfo: memFree=15629272/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67612 CPUtime=1.49 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 17030 0 0 0 146 3 0 0 20 0 1 0 224595050 100421632 16903 33554432000 4194304 36388816 140728701868544 140728701860728 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16903 490 7860 0 16622 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67612 KiB
[startup+3.10895 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30260
/proc/meminfo: memFree=15609452/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67616 CPUtime=3.1 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 27309 0 0 0 307 3 0 0 20 0 1 0 224595050 100421632 16904 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16904 491 7860 0 16622 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67616 KiB
[startup+6.30027 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 30260
/proc/meminfo: memFree=15591756/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67616 CPUtime=6.29 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 37703 0 0 0 624 5 0 0 20 0 1 0 224595050 100421632 16904 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16904 491 7860 0 16622 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67616 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 30260
/proc/meminfo: memFree=15608740/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67616 CPUtime=12.69 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 48048 0 0 0 1261 8 0 0 20 0 1 0 224595050 100421632 16904 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16904 491 7860 0 16622 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67616 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 30260
/proc/meminfo: memFree=15608320/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67628 CPUtime=25.48 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 67906 0 0 0 2534 14 0 0 20 0 1 0 224595050 100421632 16907 33554432000 4194304 36388816 140728701868544 140728701862104 4316702 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16907 491 7860 0 16622 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67628 KiB
[startup+51.1089 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30260
/proc/meminfo: memFree=15608068/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67628 CPUtime=51.08 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 71990 0 0 0 5079 29 0 0 20 0 1 0 224595050 100421632 16907 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16907 491 7860 0 16622 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67628 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30269
/proc/meminfo: memFree=15605788/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67656 CPUtime=102.27 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 72458 0 0 0 10168 59 0 0 20 0 1 0 224595050 100421632 16914 33554432000 4194304 36388816 140728701868544 140728701862104 4635019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16914 491 7860 0 16622 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67656 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30270
/proc/meminfo: memFree=15608084/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67656 CPUtime=162.26 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 72923 0 0 0 16130 96 0 0 20 0 1 0 224595050 100421632 16914 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16914 491 7860 0 16622 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67656 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30271
/proc/meminfo: memFree=15608184/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67660 CPUtime=222.26 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 73386 0 0 0 22094 132 0 0 20 0 1 0 224595050 100421632 16915 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16915 492 7860 0 16622 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67660 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30272
/proc/meminfo: memFree=15608196/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67660 CPUtime=282.26 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 73849 0 0 0 28054 172 0 0 20 0 1 0 224595050 100421632 16915 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16915 492 7860 0 16622 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67660 KiB
[startup+342.3 s]
/proc/loadavg: 2.15 2.05 2.06 3/188 30517
/proc/meminfo: memFree=15608756/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67660 CPUtime=342.26 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 74313 0 0 0 34012 214 0 0 20 0 1 0 224595050 100421632 16915 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16915 492 7860 0 16622 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67660 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 30518
/proc/meminfo: memFree=15608908/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=402.26 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 74773 0 0 0 39970 256 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/187 30519
/proc/meminfo: memFree=15608552/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=462.26 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 75235 0 0 0 45929 297 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
################
# More data... #
################
Current children cumulated memory: 67664 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 30534
/proc/meminfo: memFree=15608520/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=822.25 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 78001 0 0 0 81680 545 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 822.25 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 30535
/proc/meminfo: memFree=15608520/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=882.24 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 78462 0 0 0 87637 587 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 882.24 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 30536
/proc/meminfo: memFree=15608516/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=942.24 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 78921 0 0 0 93596 628 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 942.24 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30538
/proc/meminfo: memFree=15608048/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1002.24 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 79382 0 0 0 99555 669 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1002.24 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 30539
/proc/meminfo: memFree=15608048/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1062.24 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 79843 0 0 0 105512 712 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1062.24 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30540
/proc/meminfo: memFree=15608296/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1122.24 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 80300 0 0 0 111470 754 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1122.24 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1156.14 s]
# the end of solver process 30198 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1148.29 s, system=7.79078 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30540
/proc/meminfo: memFree=15608296/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1126.34 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 80300 0 0 0 111878 756 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1126.34 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1139.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30540
/proc/meminfo: memFree=15608544/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1139.14 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 80753 0 0 0 113148 766 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1139.14 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1145.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30540
/proc/meminfo: memFree=15608544/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1145.54 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 80759 0 0 0 113783 771 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1145.54 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1152 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 30540
/proc/meminfo: memFree=15608544/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1151.95 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 80759 0 0 0 114419 776 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1151.95 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1153.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30540
/proc/meminfo: memFree=15608544/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1153.54 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 80759 0 0 0 114577 777 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1153.54 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1155.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30540
/proc/meminfo: memFree=15608544/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1155.14 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 80759 0 0 0 114736 778 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1155.14 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1155.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30540
/proc/meminfo: memFree=15608544/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1155.54 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 80759 0 0 0 114776 778 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1155.54 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1156 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 30540
/proc/meminfo: memFree=15608544/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1155.95 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 80761 0 0 0 114816 779 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1155.95 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+1156.11 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30540
/proc/meminfo: memFree=15608544/32770624 swapFree=67108792/67108860
[pid=30198] ppid=30195 vsize=98068 memory=67664 CPUtime=1156.05 cores=1,3,5,7
/proc/30198/stat : 30198 (macht) R 30195 30198 29372 0 -1 4202496 80761 0 0 0 114826 779 0 0 20 0 1 0 224595050 100421632 16916 33554432000 4194304 36388816 140728701868544 140728701862104 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 40308736 140728701871291 140728701871369 140728701871369 140728701874127 0
/proc/30198/statm: 24517 16916 493 7860 0 16622 0
Current children cumulated CPU time: 1156.05 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
Child status: 0
Real time (s): 1156.14
CPU time (s): 1156.08
CPU user time (s): 1148.29
CPU system time (s): 7.79078
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 98068
Max. memory (cumulated for all children) (KiB): 67664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1148.29
system time used= 7.79078
maximum resident set size= 67680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81306
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= 32
involuntary context switches= 301
# summary of solver processes directly reported to runsolver:
# pid: 30198
# total CPU time (s): 1156.08
# total CPU user time (s): 1148.29
# total CPU system time (s): 7.79078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.16705 second user time and 7.19416 second system time
The end