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 (13541 MiB free)
memory of node 1: 16384 MiB (13922 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300731-1532876602/watcher-4300731-1532876602 -o /tmp/evaluation-result-4300731-1532876602/solver-4300731-1532876602 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532845227-1222 --watchdog 2580 minimacht 2520 HOME/instance-4300731-1532876602.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=4547, runsolver pid=4544
[startup+0.100154 s]*
/proc/loadavg: 2.05 2.03 2.05 3/190 4548
/proc/meminfo: memFree=28119184/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29244 memory=5664 CPUtime=0.1 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 1605 0 0 0 10 0 0 0 20 0 1 0 105223351 29945856 1416 33554432000 4194304 5224576 140725566648848 140725566645848 4363151 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7311 1416 640 252 0 857 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 5664 KiB
[startup+0.209566 s]*
/proc/loadavg: 2.05 2.03 2.05 3/190 4548
/proc/meminfo: memFree=28119132/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29244 memory=5664 CPUtime=0.21 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 1606 0 0 0 21 0 0 0 20 0 1 0 105223351 29945856 1416 33554432000 4194304 5224576 140725566648848 140725566645912 140661404967427 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7311 1416 640 252 0 857 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 5664 KiB
[startup+0.309134 s]*
/proc/loadavg: 2.05 2.03 2.05 3/190 4548
/proc/meminfo: memFree=28119132/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29244 memory=5664 CPUtime=0.31 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 1606 0 0 0 31 0 0 0 20 0 1 0 105223351 29945856 1416 33554432000 4194304 5224576 140725566648848 140725566645912 4363097 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7311 1416 640 252 0 857 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 5664 KiB
[startup+0.700267 s]
/proc/loadavg: 2.05 2.03 2.05 3/190 4548
/proc/meminfo: memFree=28119132/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29244 memory=5664 CPUtime=0.69 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 1644 0 0 0 69 0 0 0 20 0 1 0 105223351 29945856 1416 33554432000 4194304 5224576 140725566648848 140725566645912 4363104 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7311 1416 640 252 0 857 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 5664 KiB
[startup+1.50028 s]
/proc/loadavg: 2.05 2.03 2.05 3/190 4548
/proc/meminfo: memFree=28119132/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29376 memory=5928 CPUtime=1.49 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 1650 0 0 0 149 0 0 0 20 0 1 0 105223351 30081024 1482 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7344 1482 653 252 0 890 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29376 KiB
Current children cumulated memory: 5928 KiB
[startup+3.10907 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 4548
/proc/meminfo: memFree=28119008/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29376 memory=5968 CPUtime=3.1 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 2342 0 0 0 310 0 0 0 20 0 1 0 105223351 30081024 1492 33554432000 4194304 5224576 140725566648848 140725566645912 140661404967488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7344 1492 654 252 0 890 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29376 KiB
Current children cumulated memory: 5968 KiB
[startup+6.30028 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 4548
/proc/meminfo: memFree=28118664/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29376 memory=6004 CPUtime=6.29 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 3045 0 0 0 628 1 0 0 20 0 1 0 105223351 30081024 1501 33554432000 4194304 5224576 140725566648848 140725566645912 4363162 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7344 1501 654 252 0 890 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 29376 KiB
Current children cumulated memory: 6004 KiB
[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 4548
/proc/meminfo: memFree=28118900/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29504 memory=6076 CPUtime=12.69 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 3769 0 0 0 1268 1 0 0 20 0 1 0 105223351 30212096 1519 33554432000 4194304 5224576 140725566648848 140725566645912 4363092 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7376 1519 654 252 0 922 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 29504 KiB
Current children cumulated memory: 6076 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.05 3/190 4548
/proc/meminfo: memFree=28119060/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29504 memory=6184 CPUtime=25.49 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 5235 0 0 0 2547 2 0 0 20 0 1 0 105223351 30212096 1546 33554432000 4194304 5224576 140725566648848 140725566645912 4363101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7376 1546 654 252 0 922 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 29504 KiB
Current children cumulated memory: 6184 KiB
[startup+51.109 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 4548
/proc/meminfo: memFree=28119060/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29636 memory=6212 CPUtime=51.11 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 5980 0 0 0 5107 4 0 0 20 0 1 0 105223351 30347264 1553 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7409 1553 654 252 0 955 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 6212 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 4549
/proc/meminfo: memFree=28118960/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29636 memory=6248 CPUtime=102.31 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 6738 0 0 0 10224 7 0 0 20 0 1 0 105223351 30347264 1562 33554432000 4194304 5224576 140725566648848 140725566645912 4363120 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7409 1562 654 252 0 955 0
Current children cumulated CPU time: 102.31 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 6248 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 4550
/proc/meminfo: memFree=28119392/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29636 memory=6280 CPUtime=162.31 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 7500 0 0 0 16220 11 0 0 20 0 1 0 105223351 30347264 1570 33554432000 4194304 5224576 140725566648848 140725566645912 140661404967408 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7409 1570 654 252 0 955 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 6280 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4551
/proc/meminfo: memFree=28119328/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29636 memory=6312 CPUtime=222.31 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 8262 0 0 0 22216 15 0 0 20 0 1 0 105223351 30347264 1578 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7409 1578 654 252 0 955 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 6312 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4552
/proc/meminfo: memFree=28119020/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29636 memory=6312 CPUtime=282.33 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 8266 0 0 0 28215 18 0 0 20 0 1 0 105223351 30347264 1578 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7409 1578 654 252 0 955 0
Current children cumulated CPU time: 282.33 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 6312 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4553
/proc/meminfo: memFree=28118648/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29768 memory=6324 CPUtime=342.33 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 9032 0 0 0 34211 22 0 0 20 0 1 0 105223351 30482432 1581 33554432000 4194304 5224576 140725566648848 140725566645912 4363097 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7442 1581 654 252 0 988 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 6324 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4562
/proc/meminfo: memFree=28117984/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29768 memory=6324 CPUtime=402.34 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 9036 0 0 0 40208 26 0 0 20 0 1 0 105223351 30482432 1581 33554432000 4194304 5224576 140725566648848 140725566645912 4363097 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7442 1581 654 252 0 988 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 6324 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4563
/proc/meminfo: memFree=28118848/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29768 memory=6348 CPUtime=462.35 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 9800 0 0 0 46206 29 0 0 20 0 1 0 105223351 30482432 1587 33554432000 4194304 5224576 140725566648848 140725566645912 4363087 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7442 1587 654 252 0 988 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 6348 KiB
################
# More data... #
################
Current children cumulated memory: 6464 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 4667
/proc/meminfo: memFree=28115496/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29768 memory=6464 CPUtime=2082.54 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 19843 0 0 0 208132 122 0 0 20 0 1 0 105223351 30482432 1616 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7442 1616 654 252 0 988 0
Current children cumulated CPU time: 2082.54 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 6464 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 4668
/proc/meminfo: memFree=28115736/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29768 memory=6468 CPUtime=2142.54 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 20625 0 0 0 214128 126 0 0 20 0 1 0 105223351 30482432 1617 33554432000 4194304 5224576 140725566648848 140725566645912 4363170 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7442 1617 654 252 0 988 0
Current children cumulated CPU time: 2142.54 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 6468 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 4677
/proc/meminfo: memFree=28114776/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29768 memory=6468 CPUtime=2202.55 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 20627 0 0 0 220126 129 0 0 20 0 1 0 105223351 30482432 1617 33554432000 4194304 5224576 140725566648848 140725566645912 140661404967456 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7442 1617 654 252 0 988 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 6468 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 4678
/proc/meminfo: memFree=28115548/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29768 memory=6468 CPUtime=2262.56 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 21355 0 0 0 226124 132 0 0 20 0 1 0 105223351 30482432 1617 33554432000 4194304 5224576 140725566648848 140725566645912 4363151 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7442 1617 654 252 0 988 0
Current children cumulated CPU time: 2262.56 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 6468 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 4679
/proc/meminfo: memFree=28115488/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29768 memory=6468 CPUtime=2322.56 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 21362 0 0 0 232121 135 0 0 20 0 1 0 105223351 30482432 1617 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7442 1617 654 252 0 988 0
Current children cumulated CPU time: 2322.56 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 6468 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 4680
/proc/meminfo: memFree=28115860/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29900 memory=6468 CPUtime=2382.57 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 22154 0 0 0 238118 139 0 0 20 0 1 0 105223351 30617600 1617 33554432000 4194304 5224576 140725566648848 140725566645912 4363151 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7475 1617 654 252 0 1021 0
Current children cumulated CPU time: 2382.57 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6468 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 4681
/proc/meminfo: memFree=28115180/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29900 memory=6468 CPUtime=2442.58 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 22154 0 0 0 244116 142 0 0 20 0 1 0 105223351 30617600 1617 33554432000 4194304 5224576 140725566648848 140725566645912 4363092 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7475 1617 654 252 0 1021 0
Current children cumulated CPU time: 2442.58 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6468 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4682
/proc/meminfo: memFree=28114824/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29900 memory=6476 CPUtime=2502.59 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 22880 0 0 0 250113 146 0 0 20 0 1 0 105223351 30617600 1619 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7475 1619 654 252 0 1021 0
Current children cumulated CPU time: 2502.59 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6476 KiB
[startup+2519.74 s]
# the end of solver process 4547 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.56 s, system=1.47617 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4682
/proc/meminfo: memFree=28114964/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29900 memory=6476 CPUtime=2509.08 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 22880 0 0 0 250762 146 0 0 20 0 1 0 105223351 30617600 1619 33554432000 4194304 5224576 140725566648848 140725566645912 4363097 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7475 1619 654 252 0 1021 0
Current children cumulated CPU time: 2509.08 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6476 KiB
[startup+2515.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4682
/proc/meminfo: memFree=28114964/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29900 memory=6476 CPUtime=2515.49 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 22880 0 0 0 251402 147 0 0 20 0 1 0 105223351 30617600 1619 33554432000 4194304 5224576 140725566648848 140725566645912 4211632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7475 1619 654 252 0 1021 0
Current children cumulated CPU time: 2515.49 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6476 KiB
[startup+2516.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4682
/proc/meminfo: memFree=28114964/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29900 memory=6476 CPUtime=2517.09 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 22880 0 0 0 251562 147 0 0 20 0 1 0 105223351 30617600 1619 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7475 1619 654 252 0 1021 0
Current children cumulated CPU time: 2517.09 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6476 KiB
[startup+2518.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4682
/proc/meminfo: memFree=28114964/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29900 memory=6476 CPUtime=2518.69 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 22880 0 0 0 251722 147 0 0 20 0 1 0 105223351 30617600 1619 33554432000 4194304 5224576 140725566648848 140725566645912 4363097 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7475 1619 654 252 0 1021 0
Current children cumulated CPU time: 2518.69 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6476 KiB
[startup+2519.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4682
/proc/meminfo: memFree=28114964/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29900 memory=6476 CPUtime=2519.48 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 22880 0 0 0 251801 147 0 0 20 0 1 0 105223351 30617600 1619 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7475 1619 654 252 0 1021 0
Current children cumulated CPU time: 2519.48 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6476 KiB
[startup+2519.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4682
/proc/meminfo: memFree=28114964/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29900 memory=6476 CPUtime=2519.88 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 22880 0 0 0 251841 147 0 0 20 0 1 0 105223351 30617600 1619 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7475 1619 654 252 0 1021 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6476 KiB
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4682
/proc/meminfo: memFree=28114964/32770624 swapFree=67108532/67108860
[pid=4547] ppid=4544 vsize=29900 memory=6476 CPUtime=2519.98 cores=1,3,5,7
/proc/4547/stat : 4547 (minimacht) R 4544 4547 1190 0 -1 4202496 22880 0 0 0 251851 147 0 0 20 0 1 0 105223351 30617600 1619 33554432000 4194304 5224576 140725566648848 140725566645912 4363080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 25427968 140725566653619 140725566653701 140725566653701 140725566656459 0
/proc/4547/statm: 7475 1619 654 252 0 1021 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6476 KiB
Child status: 0
Real time (s): 2519.74
CPU time (s): 2520.04
CPU user time (s): 2518.56
CPU system time (s): 1.47617
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 29900
Max. memory (cumulated for all children) (KiB): 6476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.56
system time used= 1.47617
maximum resident set size= 6496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23068
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= 8
involuntary context switches= 752
# summary of solver processes directly reported to runsolver:
# pid: 4547
# total CPU time (s): 2520.04
# total CPU user time (s): 2518.56
# total CPU system time (s): 1.47617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32821 second user time and 17.1924 second system time
The end