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 (4772 MiB free)
memory of node 1: 16384 MiB (10760 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294673-1532517922/watcher-4294673-1532517922 -o /tmp/evaluation-result-4294673-1532517922/solver-4294673-1532517922 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532504985-26101 --watchdog 2580 macht 2520 HOME/instance-4294673-1532517922.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=29064, runsolver pid=29061
[startup+0.100144 s]*
/proc/loadavg: 2.01 2.07 2.06 3/187 29065
/proc/meminfo: memFree=15905168/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32320 memory=2356 CPUtime=0.1 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 721 0 0 0 8 2 0 0 20 0 1 0 69355530 33095680 589 33554432000 4194304 36388820 140726471418640 140726471418640 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8080 589 479 7860 0 185 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32320 KiB
Current children cumulated memory: 2356 KiB
[startup+0.209314 s]*
/proc/loadavg: 2.01 2.07 2.06 3/187 29065
/proc/meminfo: memFree=15905168/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32320 memory=2356 CPUtime=0.21 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 727 0 0 0 15 6 0 0 20 0 1 0 69355530 33095680 589 33554432000 4194304 36388820 140726471418640 140726471418640 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8080 589 479 7860 0 185 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32320 KiB
Current children cumulated memory: 2356 KiB
[startup+0.308777 s]*
/proc/loadavg: 2.01 2.07 2.06 3/187 29065
/proc/meminfo: memFree=15905168/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32320 memory=2356 CPUtime=0.31 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 729 0 0 0 22 9 0 0 20 0 1 0 69355530 33095680 589 33554432000 4194304 36388820 140726471418640 140726471418640 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8080 589 479 7860 0 185 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32320 KiB
Current children cumulated memory: 2356 KiB
[startup+0.700218 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 29065
/proc/meminfo: memFree=15905020/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32320 memory=2356 CPUtime=0.69 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 735 0 0 0 50 19 0 0 20 0 1 0 69355530 33095680 589 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8080 589 479 7860 0 185 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32320 KiB
Current children cumulated memory: 2356 KiB
[startup+1.50027 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 29065
/proc/meminfo: memFree=15904864/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32320 memory=2356 CPUtime=1.49 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 741 0 0 0 107 42 0 0 20 0 1 0 69355530 33095680 589 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8080 589 479 7860 0 185 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32320 KiB
Current children cumulated memory: 2356 KiB
[startup+3.10899 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 29065
/proc/meminfo: memFree=15904740/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32452 memory=2464 CPUtime=3.1 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 859 0 0 0 222 88 0 0 20 0 1 0 69355530 33230848 616 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8113 616 479 7860 0 218 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 32452 KiB
Current children cumulated memory: 2464 KiB
[startup+6.30026 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 29065
/proc/meminfo: memFree=15904616/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32452 memory=2496 CPUtime=6.29 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 982 0 0 0 451 178 0 0 20 0 1 0 69355530 33230848 624 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8113 624 479 7860 0 218 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32452 KiB
Current children cumulated memory: 2496 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 29065
/proc/meminfo: memFree=15904740/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32452 memory=2512 CPUtime=12.69 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 1111 0 0 0 913 356 0 0 20 0 1 0 69355530 33230848 628 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8113 628 479 7860 0 218 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 32452 KiB
Current children cumulated memory: 2512 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 29065
/proc/meminfo: memFree=15904740/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32452 memory=2552 CPUtime=25.49 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 1377 0 0 0 1823 726 0 0 20 0 1 0 69355530 33230848 638 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8113 638 479 7860 0 218 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 32452 KiB
Current children cumulated memory: 2552 KiB
[startup+51.1089 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 29065
/proc/meminfo: memFree=15904988/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32452 memory=2572 CPUtime=51.09 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 1523 0 0 0 3661 1448 0 0 20 0 1 0 69355530 33230848 643 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8113 643 479 7860 0 218 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 32452 KiB
Current children cumulated memory: 2572 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 2.06 2.06 3/187 29066
/proc/meminfo: memFree=15905100/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32452 memory=2592 CPUtime=102.29 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 1670 0 0 0 7472 2757 0 0 20 0 1 0 69355530 33230848 648 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8113 648 480 7860 0 218 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 32452 KiB
Current children cumulated memory: 2592 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/187 29068
/proc/meminfo: memFree=15904824/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2612 CPUtime=162.28 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 1822 0 0 0 11894 4334 0 0 20 0 1 0 69355530 33366016 653 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 653 480 7860 0 251 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2612 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/187 29069
/proc/meminfo: memFree=15904916/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2628 CPUtime=222.28 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 1976 0 0 0 16339 5889 0 0 20 0 1 0 69355530 33366016 657 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 657 480 7860 0 251 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2628 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 29078
/proc/meminfo: memFree=15904076/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2640 CPUtime=282.27 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 2132 0 0 0 21005 7222 0 0 20 0 1 0 69355530 33366016 660 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 660 480 7860 0 251 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2640 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/188 29079
/proc/meminfo: memFree=15904224/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2644 CPUtime=342.26 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 2288 0 0 0 25745 8481 0 0 20 0 1 0 69355530 33366016 661 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 661 480 7860 0 251 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2644 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 29080
/proc/meminfo: memFree=15904348/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2652 CPUtime=402.26 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 2447 0 0 0 30498 9728 0 0 20 0 1 0 69355530 33366016 663 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 663 480 7860 0 251 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2652 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 29081
/proc/meminfo: memFree=15904100/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2656 CPUtime=462.26 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 2606 0 0 0 35312 10914 0 0 20 0 1 0 69355530 33366016 664 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 664 480 7860 0 251 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2656 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 29082
/proc/meminfo: memFree=15904224/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2660 CPUtime=522.25 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 2766 0 0 0 40140 12085 0 0 20 0 1 0 69355530 33366016 665 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 665 480 7860 0 251 0
Current children cumulated CPU time: 522.25 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2660 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 29083
/proc/meminfo: memFree=15904240/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2664 CPUtime=582.25 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 2927 0 0 0 44984 13241 0 0 20 0 1 0 69355530 33366016 666 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 666 480 7860 0 251 0
Current children cumulated CPU time: 582.25 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2664 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 29084
/proc/meminfo: memFree=15904088/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2668 CPUtime=642.25 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3089 0 0 0 49784 14441 0 0 20 0 1 0 69355530 33366016 667 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 667 480 7860 0 251 0
Current children cumulated CPU time: 642.25 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2668 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29085
/proc/meminfo: memFree=15903592/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2672 CPUtime=702.24 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3252 0 0 0 54658 15566 0 0 20 0 1 0 69355530 33366016 668 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 668 480 7860 0 251 0
Current children cumulated CPU time: 702.24 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2672 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15902460/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2676 CPUtime=762.24 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3416 0 0 0 59568 16656 0 0 20 0 1 0 69355530 33366016 669 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 669 480 7860 0 251 0
Current children cumulated CPU time: 762.24 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2676 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29147
/proc/meminfo: memFree=15902460/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2680 CPUtime=822.23 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3579 0 0 0 64379 17844 0 0 20 0 1 0 69355530 33366016 670 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 670 480 7860 0 251 0
Current children cumulated CPU time: 822.23 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2680 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29156
/proc/meminfo: memFree=15901468/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2680 CPUtime=882.22 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3744 0 0 0 69186 19036 0 0 20 0 1 0 69355530 33366016 670 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 670 480 7860 0 251 0
Current children cumulated CPU time: 882.22 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2680 KiB
[startup+906.713 s]
# the end of solver process 29064 was just reported to runsolver
# cumulated CPU time of all completed processes: user=711.482 s, system=195.164 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29156
/proc/meminfo: memFree=15901468/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2680 CPUtime=883.13 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3744 0 0 0 69262 19051 0 0 20 0 1 0 69355530 33366016 670 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 670 480 7860 0 251 0
Current children cumulated CPU time: 883.13 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2680 KiB
[startup+896 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29157
/proc/meminfo: memFree=15901884/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2680 CPUtime=895.93 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3744 0 0 0 70290 19303 0 0 20 0 1 0 69355530 33366016 670 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 670 480 7860 0 251 0
Current children cumulated CPU time: 895.93 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2680 KiB
[startup+902.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29157
/proc/meminfo: memFree=15901884/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2684 CPUtime=902.32 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3906 0 0 0 70798 19434 0 0 20 0 1 0 69355530 33366016 671 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 671 480 7860 0 251 0
Current children cumulated CPU time: 902.32 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2684 KiB
[startup+904 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29157
/proc/meminfo: memFree=15901884/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2684 CPUtime=903.94 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3906 0 0 0 70927 19467 0 0 20 0 1 0 69355530 33366016 671 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 671 480 7860 0 251 0
Current children cumulated CPU time: 903.94 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2684 KiB
[startup+905.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29157
/proc/meminfo: memFree=15901884/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2684 CPUtime=905.52 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3906 0 0 0 71055 19497 0 0 20 0 1 0 69355530 33366016 671 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 671 480 7860 0 251 0
Current children cumulated CPU time: 905.52 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2684 KiB
[startup+906.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29157
/proc/meminfo: memFree=15901884/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2684 CPUtime=906.32 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3906 0 0 0 71122 19510 0 0 20 0 1 0 69355530 33366016 671 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 671 480 7860 0 251 0
Current children cumulated CPU time: 906.32 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2684 KiB
[startup+906.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29157
/proc/meminfo: memFree=15901884/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2684 CPUtime=906.52 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3906 0 0 0 71139 19513 0 0 20 0 1 0 69355530 33366016 671 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 671 480 7860 0 251 0
Current children cumulated CPU time: 906.52 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2684 KiB
[startup+906.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29157
/proc/meminfo: memFree=15901884/32770624 swapFree=67108860/67108860
[pid=29064] ppid=29061 vsize=32584 memory=2684 CPUtime=906.63 cores=0,2,4,6
/proc/29064/stat : 29064 (macht) R 29061 29064 26070 0 -1 4202496 3906 0 0 0 71147 19516 0 0 20 0 1 0 69355530 33366016 671 33554432000 4194304 36388820 140726471418640 140726471417048 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 44756992 140726471427259 140726471427337 140726471427337 140726471430095 0
/proc/29064/statm: 8146 671 480 7860 0 251 0
Current children cumulated CPU time: 906.63 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 2684 KiB
Child status: 0
Real time (s): 906.713
CPU time (s): 906.646
CPU user time (s): 711.482
CPU system time (s): 195.164
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 32584
Max. memory (cumulated for all children) (KiB): 2684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 711.482
system time used= 195.164
maximum resident set size= 2700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3924
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= 2
involuntary context switches= 1136
# summary of solver processes directly reported to runsolver:
# pid: 29064
# total CPU time (s): 906.646
# total CPU user time (s): 711.482
# total CPU system time (s): 195.164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.78964 second user time and 6.14502 second system time
The end