0.00/0.01 c initialize IPBHS solver
0.00/0.01 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
0.00/0.01 c optimizer = "gurobi"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.01 c set abs symmetric core budget per WCE-iteration to 100
0.00/0.01 c set rel symmetric core budget per WCE-iteration to 0
0.00/0.01 c set lit symmetric core budget per WCE-iteration to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.00/0.01 c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.01 c will solve HOME/instance-4431005-1721071209.opb
2.17/2.25 c [0] solve iteration 1, LB=0, UB=25089
2.17/2.25 c [0.01] solve iteration 2, LB=8016, UB=8596
2.17/2.25 c [0.01] solve iteration 3, LB=8044, UB=8596
2.17/2.25 c [0.03] solve iteration 4, LB=8044, UB=8596
2.17/2.25 c [0.06] solve iteration 5, LB=8044, UB=8596
2.17/2.25 c [0.1] solve iteration 6, LB=8044, UB=8559
2.17/2.25 c [0.15] solve iteration 7, LB=8044, UB=8559
2.17/2.25 c [0.26] solve iteration 8, LB=8044, UB=8559
2.17/2.25 c [0.33] solve iteration 9, LB=8044, UB=8559
2.17/2.25 c [0.42] solve iteration 10, LB=8044, UB=8429
2.17/2.25 c [0.54] solve iteration 11, LB=8044, UB=8392
2.17/2.25 c [0.71] solve iteration 12, LB=8044, UB=8392
2.17/2.25 c [0.84] solve iteration 13, LB=8044, UB=8276
2.17/2.25 c LB=UB after computing candidate
2.17/2.25 c instance solved in 2.16s (IP-solver: 2.03s, core-extraction: 0.07s, SIS: 0.02s), 13 iterations, LB=8276, UB=8276,
2.17/2.25 d ITERATIONS 13
2.17/2.25 d SIS 2
2.17/2.25 d SIS_SAT 2
2.17/2.25 d SIS_UNSAT 0
2.17/2.25 d SIS_OUT_OF_BUDGET 0
2.17/2.25 d CORES_EXTRACTED 973
2.17/2.25 d CORES_IN_OPTIMIZER 4698
2.17/2.25 d CLAUSAL_CORES_IN_OPTIMIZER 4583
2.17/2.25 d CARDINALITY_CORES_IN_OPTIMIZER 0
2.17/2.25 d PB_CORES_IN_OPTIMIZER 115
2.17/2.25 d TIME_EXTRACT_CORES 0.070000
2.17/2.25 d TIME_OPTIMIZE 2.030000
2.17/2.25 d TIME_SIS 0.020000
2.17/2.25 c solve_time: 2.160000
2.17/2.25 s OPTIMUM FOUND
2.17/2.25 o 8276
2.17/2.25 v -x2 -x18 -x34 -x50 x66 -x82 -x3 -x19 -x35 x51 -x67 -x83 -x4 -x20 -x36 -x52 -x68 x84 -x5 -x21 x37 -x53 -x69 -x85 -x7 x23 -x39 -x55 -x71 -x87 x8 -x24 -x40 -x56 -x72 -x88 x9 -x25 -x41 -x57 -x73 -x89 -x10 -x26 -x42 -x58 -x74 x90 -x12 -x28 -x44 -x60 x76 -x92 -x13 x29 -x45 -x61 -x77 -x93 -x14 -x30 -x46 x62 -x78 -x94 -x15 -x31 x47 -x63 -x79 -x95 -x6 -x22 -x38 x54 x70 x86 -x11 x27 x43 x59 -x75 -x91 x16 -x32 -x48 -x64 x80 x96 x1 x17 x33 -x49 -x65 -x81 -x97 x98 -x99 -x100 -x101 x102 -x103 x104 -x105 x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 -x118 -x119 x120 -x121 x122 -x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 -x135 -x136 -x137 x138 -x139 x140 -x141 x142 -x143 -x144
runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (63054 MiB free)
memory of node 1: 64473 MiB (63403 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431005-1721071209/watcher-4431005-1721071209 -o /tmp/evaluation-result-4431005-1721071209/solver-4431005-1721071209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721071221-834545 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431005-1721071209.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=834593, runsolver pid=834585
Current StackSize limit: 8192 KiB
[startup+0.100492 s]*
/proc/loadavg: 2.10 3.52 3.91 7/261 834614
/proc/meminfo: memFree=129449772/131524600 swapFree=131071996/131071996
[pid=834593] ppid=834585 vsize=9928 memory=2744 CPUtime=0 cores=1,3
/proc/834593/stat : 834593 (run-glibc-2.34.) S 834585 834593 834531 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159283341 10166272 686 134679101440 94685402009600 94685403088920 140730525078384 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685405187376 94685405234564 94685425389568 140730525086655 140730525086812 140730525086812 140730525093827 0
/proc/834593/statm: 2482 686 605 264 0 133 0
[pid=834599] ppid=834593 vsize=144384 memory=31896 CPUtime=0.09 cores=1,3
/proc/834599/stat : 834599 (ld-linux-x86-64) R 834593 834593 834531 0 -1 4194304 3129 0 0 0 7 2 0 0 20 0 2 0 159283341 147849216 7974 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 0 0 0 17 3 0 0 159283341 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
/proc/834599/statm: 36096 7974 3796 46 0 8691 0
[pid=834599/tid=834603] ppid=834593 vsize=144384 memory=4026558002 CPUtime=0 cores=1,3
/proc/834599/task/834603/stat : 834603 (ld-linux-x86-64) S 834593 834593 834531 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 159283342 147849216 7974 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 154312 KiB
Current children cumulated memory: 34640 KiB
[startup+0.206494 s]*
/proc/loadavg: 2.10 3.52 3.91 5/260 834628
/proc/meminfo: memFree=129433308/131524600 swapFree=131071996/131071996
[pid=834593] ppid=834585 vsize=9928 memory=2744 CPUtime=0 cores=1,3
/proc/834593/stat : 834593 (run-glibc-2.34.) S 834585 834593 834531 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159283341 10166272 686 134679101440 94685402009600 94685403088920 140730525078384 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685405187376 94685405234564 94685425389568 140730525086655 140730525086812 140730525086812 140730525093827 0
/proc/834593/statm: 2482 686 605 264 0 133 0
[pid=834599] ppid=834593 vsize=148376 memory=35472 CPUtime=0.2 cores=1,3
/proc/834599/stat : 834599 (ld-linux-x86-64) R 834593 834593 834531 0 -1 4194304 4715 0 0 0 17 3 0 0 20 0 2 0 159283341 151937024 8868 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 0 0 0 17 1 0 0 159283341 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
/proc/834599/statm: 37094 8868 3796 46 0 9689 0
[pid=834599/tid=834603] ppid=834593 vsize=148376 memory=664971938048798763 CPUtime=0 cores=1,3
/proc/834599/task/834603/stat : 834603 (ld-linux-x86-64) S 834593 834593 834531 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 159283342 151937024 8868 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 38216 KiB
[startup+0.315512 s]*
/proc/loadavg: 2.10 3.52 3.91 6/258 834644
/proc/meminfo: memFree=129392552/131524600 swapFree=131071996/131071996
[pid=834593] ppid=834585 vsize=9928 memory=2744 CPUtime=0 cores=1,3
/proc/834593/stat : 834593 (run-glibc-2.34.) S 834585 834593 834531 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159283341 10166272 686 134679101440 94685402009600 94685403088920 140730525078384 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685405187376 94685405234564 94685425389568 140730525086655 140730525086812 140730525086812 140730525093827 0
/proc/834593/statm: 2482 686 605 264 0 133 0
[pid=834599] ppid=834593 vsize=155668 memory=41464 CPUtime=0.3 cores=1,3
/proc/834599/stat : 834599 (ld-linux-x86-64) R 834593 834593 834531 0 -1 4194304 6035 0 0 0 27 3 0 0 20 0 2 0 159283341 159404032 10366 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 0 0 0 17 1 0 0 159283341 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
/proc/834599/statm: 38917 10366 3986 46 0 11512 0
[pid=834599/tid=834603] ppid=834593 vsize=155668 memory=-6000919494198126700 CPUtime=0 cores=1,3
/proc/834599/task/834603/stat : 834603 (ld-linux-x86-64) R 834593 834593 834531 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 159283342 159404032 10366 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 165596 KiB
Current children cumulated memory: 44208 KiB
[startup+0.70025 s]
/proc/loadavg: 2.10 3.52 3.91 6/261 834655
/proc/meminfo: memFree=129337244/131524600 swapFree=131071996/131071996
[pid=834593] ppid=834585 vsize=9928 memory=2744 CPUtime=0 cores=1,3
/proc/834593/stat : 834593 (run-glibc-2.34.) S 834585 834593 834531 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159283341 10166272 686 134679101440 94685402009600 94685403088920 140730525078384 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685405187376 94685405234564 94685425389568 140730525086655 140730525086812 140730525086812 140730525093827 0
/proc/834593/statm: 2482 686 605 264 0 133 0
[pid=834599] ppid=834593 vsize=166764 memory=48832 CPUtime=0.67 cores=1,3
/proc/834599/stat : 834599 (ld-linux-x86-64) R 834593 834593 834531 0 -1 4194304 8654 0 0 0 63 4 0 0 20 0 2 0 159283341 170766336 12208 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 0 0 0 17 1 0 0 159283341 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
/proc/834599/statm: 41691 12208 3986 46 0 14286 0
[pid=834599/tid=834603] ppid=834593 vsize=166764 memory=19768 CPUtime=0 cores=1,3
/proc/834599/task/834603/stat : 834603 (ld-linux-x86-64) S 834593 834593 834531 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 159283342 170766336 12208 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 176692 KiB
Current children cumulated memory: 51576 KiB
[startup+1.50025 s]
/proc/loadavg: 2.10 3.52 3.91 6/266 834663
/proc/meminfo: memFree=129184888/131524600 swapFree=131071996/131071996
[pid=834593] ppid=834585 vsize=9928 memory=2744 CPUtime=0 cores=1,3
/proc/834593/stat : 834593 (run-glibc-2.34.) S 834585 834593 834531 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159283341 10166272 686 134679101440 94685402009600 94685403088920 140730525078384 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685405187376 94685405234564 94685425389568 140730525086655 140730525086812 140730525086812 140730525093827 0
/proc/834593/statm: 2482 686 605 264 0 133 0
[pid=834599] ppid=834593 vsize=174072 memory=52560 CPUtime=1.47 cores=1,3
/proc/834599/stat : 834599 (ld-linux-x86-64) R 834593 834593 834531 0 -1 4194304 15092 0 0 0 142 5 0 0 20 0 2 0 159283341 178249728 13140 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 0 0 0 17 1 0 0 159283341 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
/proc/834599/statm: 43518 13140 4002 46 0 16113 0
[pid=834599/tid=834603] ppid=834593 vsize=174072 memory=19768 CPUtime=0 cores=1,3
/proc/834599/task/834603/stat : 834603 (ld-linux-x86-64) S 834593 834593 834531 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 159283342 178249728 13140 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 184000 KiB
Current children cumulated memory: 55304 KiB
[startup+2.26117 s]
# the end of solver process 834593 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2.16102 s, system=0.078436 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60026 s]
/proc/loadavg: 2.10 3.52 3.91 6/266 834663
/proc/meminfo: memFree=129184888/131524600 swapFree=131071996/131071996
[pid=834593] ppid=834585 vsize=9928 memory=2744 CPUtime=0 cores=1,3
/proc/834593/stat : 834593 (run-glibc-2.34.) S 834585 834593 834531 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159283341 10166272 686 134679101440 94685402009600 94685403088920 140730525078384 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685405187376 94685405234564 94685425389568 140730525086655 140730525086812 140730525086812 140730525093827 0
/proc/834593/statm: 2482 686 605 264 0 133 0
[pid=834599] ppid=834593 vsize=165616 memory=46556 CPUtime=1.57 cores=1,3
/proc/834599/stat : 834599 (ld-linux-x86-64) R 834593 834593 834531 0 -1 4194304 16060 0 0 0 152 5 0 0 20 0 2 0 159283341 169590784 11639 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 0 0 0 17 1 0 0 159283341 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
/proc/834599/statm: 41404 11639 4002 46 0 13999 0
[pid=834599/tid=834603] ppid=834593 vsize=165616 memory=-8825861813084120932 CPUtime=0 cores=1,3
/proc/834599/task/834603/stat : 834603 (ld-linux-x86-64) S 834593 834593 834531 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 159283342 169590784 11639 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 175544 KiB
Current children cumulated memory: 49300 KiB
[startup+2.00023 s]*
/proc/loadavg: 2.10 3.52 3.91 6/266 834663
/proc/meminfo: memFree=129163408/131524600 swapFree=131071996/131071996
[pid=834593] ppid=834585 vsize=9928 memory=2744 CPUtime=0 cores=1,3
/proc/834593/stat : 834593 (run-glibc-2.34.) S 834585 834593 834531 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159283341 10166272 686 134679101440 94685402009600 94685403088920 140730525078384 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685405187376 94685405234564 94685425389568 140730525086655 140730525086812 140730525086812 140730525093827 0
/proc/834593/statm: 2482 686 605 264 0 133 0
[pid=834599] ppid=834593 vsize=165944 memory=47184 CPUtime=1.97 cores=1,3
/proc/834599/stat : 834599 (ld-linux-x86-64) R 834593 834593 834531 0 -1 4194304 22348 0 0 0 191 6 0 0 20 0 2 0 159283341 169926656 11796 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 0 0 0 17 1 0 0 159283341 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
/proc/834599/statm: 41486 11796 4032 46 0 14081 0
[pid=834599/tid=834603] ppid=834593 vsize=165944 memory=-8753804249161230180 CPUtime=0 cores=1,3
/proc/834599/task/834603/stat : 834603 (ld-linux-x86-64) R 834593 834593 834531 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 159283342 169926656 11796 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 175872 KiB
Current children cumulated memory: 49928 KiB
[startup+2.20022 s]
/proc/loadavg: 2.10 3.52 3.91 6/266 834663
/proc/meminfo: memFree=129163408/131524600 swapFree=131071996/131071996
[pid=834593] ppid=834585 vsize=9928 memory=2744 CPUtime=0 cores=1,3
/proc/834593/stat : 834593 (run-glibc-2.34.) S 834585 834593 834531 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159283341 10166272 686 134679101440 94685402009600 94685403088920 140730525078384 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685405187376 94685405234564 94685425389568 140730525086655 140730525086812 140730525086812 140730525093827 0
/proc/834593/statm: 2482 686 605 264 0 133 0
[pid=834599] ppid=834593 vsize=165992 memory=47472 CPUtime=2.17 cores=1,3
/proc/834599/stat : 834599 (ld-linux-x86-64) R 834593 834593 834531 0 -1 4194304 24756 0 0 0 210 7 0 0 20 0 2 0 159283341 169975808 11868 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 0 0 0 17 1 0 0 159283341 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
/proc/834599/statm: 41498 11868 4047 46 0 14093 0
[pid=834599/tid=834603] ppid=834593 vsize=165992 memory=7809898623498021480 CPUtime=0 cores=1,3
/proc/834599/task/834603/stat : 834603 (ld-linux-x86-64) S 834593 834593 834531 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 159283342 169975808 11868 134679101440 140499354398720 140499354586332 140728285845568 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140499356687232 140499356696680 93825012047872 140728285848407 140728285848571 140728285848571 140728285855666 0
Current children cumulated CPU time: 2.17 s
Current children cumulated vsize: 175920 KiB
Current children cumulated memory: 50216 KiB
Child status: 0
Real time (s): 2.26121
CPU time (s): 2.23946
CPU user time (s): 2.16102
CPU system time (s): 0.078436
CPU usage (%): 99.0382
Max. virtual memory (cumulated for all children) (KiB): 184264
Max. memory (cumulated for all children) (KiB): 55304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.16102
system time used= 0.078436
maximum resident set size= 54912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26637
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= 336
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 834593
# total CPU time (s): 2.23946
# total CPU user time (s): 2.16102
# total CPU system time (s): 0.078436
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015874 second user time and 0.038031 second system time
The end
Begin job on nodeC018 at 2024-07-15 21:20:21
IDJOB=4431005
IDBENCH=147016
IDSOLVER=3055
FILE ID=nodeC018/4431005-1721071209
RUNJOBID= nodeC018-1721071221-834545
SLURM_JOB_ID= 7505532
Free space on /tmp= 890080 MiB
SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data4_3.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431005-1721071209/watcher-4431005-1721071209 -o /tmp/evaluation-result-4431005-1721071209/solver-4431005-1721071209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721071221-834545 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431005-1721071209.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 594a5d28c57ef949d6ec18bff5944909
RANDOM SEED=947458601
nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3649.591
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.292
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.382
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3656.993
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.138
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3645.837
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3640.413
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3650.145
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129494824 kB
MemAvailable: 129793336 kB
Buffers: 361364 kB
Cached: 779376 kB
SwapCached: 0 kB
Active: 626044 kB
Inactive: 821276 kB
Active(anon): 1448 kB
Inactive(anon): 343172 kB
Active(file): 624596 kB
Inactive(file): 478104 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 173744 kB
Writeback: 0 kB
AnonPages: 304784 kB
Mapped: 106024 kB
Shmem: 37720 kB
KReclaimable: 71272 kB
Slab: 176852 kB
SReclaimable: 71272 kB
SUnreclaim: 105580 kB
KernelStack: 3988 kB
PageTables: 9688 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 743900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60384 kB
HardwareCorrupted: 0 kB
AnonHugePages: 190464 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232148 kB
DirectMap2M: 16318464 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889912 MiB
End job on nodeC018 at 2024-07-15 21:20:24