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 (8599 MiB free)
memory of node 1: 16384 MiB (10856 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293454-1532347614/watcher-4293454-1532347614 -o /tmp/evaluation-result-4293454-1532347614/solver-4293454-1532347614 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532329897-14442 --watchdog 2580 macht 2520 HOME/instance-4293454-1532347614.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
solver pid=17291, runsolver pid=17288
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 1.92 2.01 2.04 3/187 17292
/proc/meminfo: memFree=19916964/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=38004 memory=7684 CPUtime=0.1 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 2102 0 0 0 10 0 0 0 20 0 1 0 52324579 38916096 1921 33554432000 4194304 36388820 140736021671360 140736021671360 7657094 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 9501 1921 440 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.209582 s]*
/proc/loadavg: 1.92 2.01 2.04 3/187 17292
/proc/meminfo: memFree=19910516/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=44472 memory=14284 CPUtime=0.21 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 3722 0 0 0 21 0 0 0 20 0 1 0 52324579 45539328 3571 33554432000 4194304 36388820 140736021671360 140736021671360 7657094 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 11118 3571 440 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.309302 s]*
/proc/loadavg: 1.92 2.01 2.04 3/187 17292
/proc/meminfo: memFree=19905184/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=50148 memory=19828 CPUtime=0.3 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 5136 0 0 0 30 0 0 0 20 0 1 0 52324579 51351552 4957 33554432000 4194304 36388820 140736021671360 140736021671360 7657094 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 12537 4957 440 7860 0 4642 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50148 KiB
Current children cumulated memory: 19828 KiB
[startup+0.700292 s]
/proc/loadavg: 1.92 2.01 2.04 3/187 17292
/proc/meminfo: memFree=19894396/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=70740 memory=40684 CPUtime=0.69 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 10298 0 0 0 68 1 0 0 20 0 1 0 52324579 72437760 10105 33554432000 4194304 36388820 140736021671360 140736021671360 7657094 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 17685 10171 440 7860 0 9790 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70740 KiB
Current children cumulated memory: 40684 KiB
[startup+1.50026 s]
/proc/loadavg: 1.92 2.01 2.04 3/187 17292
/proc/meminfo: memFree=19868256/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67612 CPUtime=1.49 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 17032 0 0 0 147 2 0 0 20 0 1 0 52324579 100421632 16903 33554432000 4194304 36388820 140736021671360 140736021664200 4661664 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/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.10942 s]
/proc/loadavg: 1.92 2.01 2.04 3/187 17292
/proc/meminfo: memFree=19831268/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67620 CPUtime=3.1 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 27310 0 0 0 306 4 0 0 20 0 1 0 52324579 100421632 16905 33554432000 4194304 36388820 140736021671360 140736021664920 4661669 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16905 491 7860 0 16622 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67620 KiB
[startup+6.30023 s]
/proc/loadavg: 1.93 2.01 2.04 3/187 17292
/proc/meminfo: memFree=19856200/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67620 CPUtime=6.29 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 37654 0 0 0 622 7 0 0 20 0 1 0 52324579 100421632 16905 33554432000 4194304 36388820 140736021671360 140736021664920 4466960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16905 491 7860 0 16622 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67620 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.01 2.04 3/187 17292
/proc/meminfo: memFree=19856076/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67620 CPUtime=12.69 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 47998 0 0 0 1259 10 0 0 20 0 1 0 52324579 100421632 16905 33554432000 4194304 36388820 140736021671360 140736021664920 4661669 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16905 491 7860 0 16622 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67620 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 3/187 17292
/proc/meminfo: memFree=19856076/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67620 CPUtime=25.49 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 68612 0 0 0 2533 16 0 0 20 0 1 0 52324579 100421632 16905 33554432000 4194304 36388820 140736021671360 140736021664920 4567371 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16905 491 7860 0 16622 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67620 KiB
[startup+51.1091 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 17292
/proc/meminfo: memFree=19855064/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67632 CPUtime=51.08 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 77588 0 0 0 5080 28 0 0 20 0 1 0 52324579 100421632 16908 33554432000 4194304 36388820 140736021671360 140736021664920 6663744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16908 491 7860 0 16622 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67632 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 17293
/proc/meminfo: memFree=19856004/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67660 CPUtime=102.25 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 78177 0 0 0 10163 62 0 0 20 0 1 0 52324579 100421632 16915 33554432000 4194304 36388820 140736021671360 140736021664920 4391744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16915 491 7860 0 16622 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67660 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 17294
/proc/meminfo: memFree=19856220/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67660 CPUtime=162.24 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 78573 0 0 0 16125 99 0 0 20 0 1 0 52324579 100421632 16915 33554432000 4194304 36388820 140736021671360 140736021664920 4661664 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16915 491 7860 0 16622 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67660 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 17303
/proc/meminfo: memFree=19855932/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67664 CPUtime=222.24 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 78969 0 0 0 22084 140 0 0 20 0 1 0 52324579 100421632 16916 33554432000 4194304 36388820 140736021671360 140736021664920 4661669 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16916 492 7860 0 16622 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 17365
/proc/meminfo: memFree=19793016/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67664 CPUtime=282.23 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 79364 0 0 0 28043 180 0 0 20 0 1 0 52324579 100421632 16916 33554432000 4194304 36388820 140736021671360 140736021664920 4661664 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16916 492 7860 0 16622 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/188 17366
/proc/meminfo: memFree=19792892/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67664 CPUtime=342.22 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 79760 0 0 0 33998 224 0 0 20 0 1 0 52324579 100421632 16916 33554432000 4194304 36388820 140736021671360 140736021664920 4567371 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16916 492 7860 0 16622 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67664 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 17367
/proc/meminfo: memFree=19793004/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=402.21 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 80152 0 0 0 39953 268 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 4316709 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 17368
/proc/meminfo: memFree=19792708/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=462.2 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 80546 0 0 0 45906 314 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 4316702 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
################
# More data... #
################
Current children cumulated memory: 67668 KiB
[startup+762.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 17616
/proc/meminfo: memFree=19791884/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=762.2 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 82511 0 0 0 75679 541 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 4661765 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 762.2 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 17625
/proc/meminfo: memFree=19792132/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=822.21 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 82904 0 0 0 81637 584 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 822.21 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+882.3 s]
/proc/loadavg: 2.57 2.13 2.08 3/188 17626
/proc/meminfo: memFree=19792232/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=882.2 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 83294 0 0 0 87593 627 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 882.2 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+942.3 s]
/proc/loadavg: 2.24 2.12 2.08 3/188 17627
/proc/meminfo: memFree=19792396/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=942.2 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 83689 0 0 0 93550 670 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 942.2 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1002.3 s]
/proc/loadavg: 2.09 2.10 2.07 3/188 17628
/proc/meminfo: memFree=19792712/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1002.21 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 84082 0 0 0 99504 717 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 4661770 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1002.21 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1062.3 s]
/proc/loadavg: 2.03 2.08 2.06 3/188 17629
/proc/meminfo: memFree=19792912/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1062.21 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 84469 0 0 0 105456 765 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1062.21 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 17631
/proc/meminfo: memFree=19792516/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1122.21 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 84864 0 0 0 111409 812 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1122.21 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1168.68 s]
# the end of solver process 17291 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1160.12 s, system=8.47458 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.06 2.06 3/187 17631
/proc/meminfo: memFree=19792516/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1126.31 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 84864 0 0 0 111816 815 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1126.31 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1152 s]*
/proc/loadavg: 2.01 2.06 2.05 3/187 17632
/proc/meminfo: memFree=19792392/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1151.92 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 85253 0 0 0 114356 836 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 4661605 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1151.92 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1158.4 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 17632
/proc/meminfo: memFree=19792640/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1158.31 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 85255 0 0 0 114991 840 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 4391669 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1158.31 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1164.8 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 17632
/proc/meminfo: memFree=19792716/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1164.71 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 85255 0 0 0 115627 844 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1164.71 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1166.4 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 17632
/proc/meminfo: memFree=19792716/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1166.31 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 85255 0 0 0 115786 845 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 4661669 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1166.31 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1168 s]*
/proc/loadavg: 2.01 2.06 2.05 3/187 17632
/proc/meminfo: memFree=19792716/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1167.92 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 85255 0 0 0 115946 846 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 4661669 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1167.92 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1168.4 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 17632
/proc/meminfo: memFree=19792716/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1168.31 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 85257 0 0 0 115985 846 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1168.31 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
[startup+1168.6 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 17632
/proc/meminfo: memFree=19792716/32770624 swapFree=67108860/67108860
[pid=17291] ppid=17288 vsize=98068 memory=67668 CPUtime=1168.51 cores=0,2,4,6
/proc/17291/stat : 17291 (macht) R 17288 17291 14411 0 -1 4202496 85257 0 0 0 116004 847 0 0 20 0 1 0 52324579 100421632 16917 33554432000 4194304 36388820 140736021671360 140736021664920 4661669 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 67846144 140736021677243 140736021677321 140736021677321 140736021680079 0
/proc/17291/statm: 24517 16917 493 7860 0 16622 0
Current children cumulated CPU time: 1168.51 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 67668 KiB
Child status: 0
Real time (s): 1168.68
CPU time (s): 1168.6
CPU user time (s): 1160.12
CPU system time (s): 8.47458
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 98068
Max. memory (cumulated for all children) (KiB): 67668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1160.12
system time used= 8.47458
maximum resident set size= 67688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85359
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= 1377
# summary of solver processes directly reported to runsolver:
# pid: 17291
# total CPU time (s): 1168.6
# total CPU user time (s): 1160.12
# total CPU system time (s): 8.47458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.97237 second user time and 6.81509 second system time
The end