0.00/0.00 c initialize IPBHS solver
0.00/0.00 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.00 c optimizer = "scip"
0.00/0.00 c pbsolver = "roundingsat"
0.00/0.00 c use separate pbsolver for SIS
0.00/0.00 c load symmetries from file ""
0.00/0.00 c set time limit for symmetry computation to 100 seconds.
0.00/0.00 c set interchangeable summation variable limit to 3
0.00/0.00 c set sym compact max subset size to 5
0.00/0.00 c set explicit symmetry matrix usage to 1
0.00/0.00 c sym budget explicit to 100
0.00/0.00 c sym budget explicit lits to 6000
0.00/0.00 c sym budget compact to 100
0.00/0.00 c sym budget compact lits to 6000
0.00/0.00 c sym budget common to 0
0.00/0.00 c sym budget common lits to 0
0.00/0.00 c set sym generation to 's'
0.00/0.00 c set abstraction set creation to 10 iterations without LB change
0.00/0.00 c set abstraction set inputs to 0
0.00/0.00 c set abstraction set cluster min size to 2
0.00/0.00 c set abstraction set cluster max size to 100000000
0.00/0.00 c set abstraction set cluster activation limit to 2
0.00/0.00 c enable abstraction set require equal cost
0.00/0.00 c set abstraction set assumptions to 0
0.00/0.00 c set abstraction set constraint type to 0
0.00/0.00 c set abstract core extraction strategy to b
0.00/0.00 c set core extraction strategy to 2
0.00/0.00 c set core extraction shuffles 10
0.00/0.00 c set cores per iteration to 5
0.00/0.00 c set optimizer bound usage strategy to 2
0.00/0.00 c set optimizer max non-optimal iterations to 1000
0.00/0.00 c set small core cardinality limit to 2
0.00/0.00 c set max coef in cores to 1000000000
0.00/0.00 c set core processing techniques to 4095
0.00/0.00 c set SIS iterations to 5
0.00/0.00 c set SIS budget abs to 1000
0.00/0.00 c set SIS budget rel to 0.05
0.00/0.10 c limit for coefficient in constraints and objective to 1000000000
0.00/0.10 c will solve HOME/instance-4497408-1751392841.opb
0.00/0.10 c [0] will start solving
5.17/5.24 c [0] solve iteration 1, LB=0, UB=651
5.17/5.24 c [0.12] solve iteration 2, LB=5, UB=31
5.17/5.24 c [0.5] solve iteration 3, LB=10, UB=31
5.17/5.24 c [0.64] solve iteration 4, LB=10, UB=30
5.17/5.24 c [0.79] solve iteration 5, LB=10, UB=30
5.17/5.24 c [1.9] solve iteration 6, LB=11, UB=30
5.17/5.24 c [2.13] solve iteration 7, LB=11, UB=30
5.17/5.24 c [3.4] solve iteration 8, LB=11, UB=30
5.17/5.24 c [3.88] solve iteration 9, LB=11, UB=30
5.17/5.24 c [4.49] solve iteration 10, LB=11, UB=30
50.37/50.54 c [7.31] solve iteration 11, LB=12, UB=30
50.37/50.54 c [7.96] solve iteration 12, LB=12, UB=30
50.37/50.54 c [8.71] solve iteration 13, LB=12, UB=30
50.37/50.54 c [9.5] solve iteration 14, LB=12, UB=30
50.37/50.54 c [10.6] solve iteration 15, LB=12, UB=30
50.37/50.54 c [13.75] solve iteration 16, LB=12, UB=30
50.37/50.54 c [15.06] solve iteration 17, LB=12, UB=30
50.37/50.54 c [16.17] solve iteration 18, LB=12, UB=30
50.37/50.54 c [17.44] solve iteration 19, LB=12, UB=30
50.37/50.54 c [18.86] solve iteration 20, LB=12, UB=29
50.37/50.54 c [21.33] solve iteration 21, LB=12, UB=29
50.37/50.54 c [22.65] solve iteration 22, LB=12, UB=29
50.37/50.54 c [24.38] solve iteration 23, LB=12, UB=29
50.37/50.54 c [25.91] solve iteration 24, LB=12, UB=29
50.37/50.54 c [27.64] solve iteration 25, LB=12, UB=29
50.37/50.54 c [31.28] solve iteration 26, LB=12, UB=29
50.37/50.54 c [33.15] solve iteration 27, LB=12, UB=29
50.37/50.54 c [35.2] solve iteration 28, LB=12, UB=29
50.37/50.54 c [37.67] solve iteration 29, LB=12, UB=29
50.37/50.54 c [40.25] solve iteration 30, LB=12, UB=29
50.37/50.54 c [44.15] solve iteration 31, LB=12, UB=29
50.37/50.54 c [47.06] solve iteration 32, LB=12, UB=29
56.34/56.53 c [53.24] solve iteration 33, LB=12, UB=29
62.03/62.26 c [58.78] solve iteration 34, LB=12, UB=29
92.86/93.19 c [73.96] solve iteration 35, LB=12, UB=29
92.86/93.19 c [76.83] solve iteration 36, LB=12, UB=29
92.86/93.19 c [78.38] solve iteration 37, LB=12, UB=29
92.86/93.19 c [82.53] solve iteration 38, LB=12, UB=29
92.86/93.19 c [85.74] solve iteration 39, LB=12, UB=29
92.86/93.19 c [89.05] solve iteration 40, LB=12, UB=29
127.27/127.65 c [97.67] solve iteration 41, LB=12, UB=29
127.27/127.65 c [114.87] solve iteration 42, LB=12, UB=29
127.27/127.65 c [118.72] solve iteration 43, LB=12, UB=29
127.27/127.65 c [122.53] solve iteration 44, LB=12, UB=29
145.33/145.77 c [130.45] solve iteration 45, LB=12, UB=29
145.33/145.77 c [136.16] solve iteration 46, LB=12, UB=29
145.33/145.77 c [140.44] solve iteration 47, LB=12, UB=29
178.65/179.19 c [171.67] solve iteration 48, LB=12, UB=27
178.65/179.19 c [173.66] solve iteration 49, LB=12, UB=27
182.34/182.81 c [178.64] solve iteration 50, LB=12, UB=27
226.83/227.43 c [216.89] solve iteration 51, LB=12, UB=27
226.83/227.43 c [219.69] solve iteration 52, LB=12, UB=27
226.83/227.43 c [222.65] solve iteration 53, LB=12, UB=27
271.61/272.39 c [264.39] solve iteration 54, LB=12, UB=27
271.61/272.39 c [267.53] solve iteration 55, LB=12, UB=27
277.10/277.80 c [272.83] solve iteration 56, LB=12, UB=27
304.13/304.91 c [299.75] solve iteration 57, LB=12, UB=27
346.63/347.50 c [340.83] solve iteration 58, LB=12, UB=27
353.51/354.44 c [345.98] solve iteration 59, LB=12, UB=27
353.51/354.44 c [349.47] solve iteration 60, LB=12, UB=27
403.19/404.25 c [396.72] solve iteration 61, LB=12, UB=27
403.19/404.25 c [398.67] solve iteration 62, LB=12, UB=27
457.45/458.67 c [451.26] solve iteration 63, LB=12, UB=27
457.45/458.67 c [452.63] solve iteration 64, LB=12, UB=27
464.14/465.38 c [459.3] solve iteration 65, LB=12, UB=27
472.32/473.54 c [467.16] solve iteration 66, LB=12, UB=27
512.32/513.62 c [505.26] solve iteration 67, LB=12, UB=27
512.32/513.62 c [507.02] solve iteration 68, LB=12, UB=27
573.67/575.14 c [551.79] solve iteration 69, LB=12, UB=27
573.67/575.14 c [557.84] solve iteration 70, LB=12, UB=27
573.67/575.14 c [566.32] solve iteration 71, LB=12, UB=27
582.74/584.21 c [573.01] solve iteration 72, LB=12, UB=27
582.74/584.21 c [577.25] solve iteration 73, LB=12, UB=27
650.98/652.65 c [645.46] solve iteration 74, LB=12, UB=27
733.37/735.21 c [727.69] solve iteration 75, LB=12, UB=27
809.49/811.55 c [803.79] solve iteration 76, LB=12, UB=27
887.69/889.91 c [881.98] solve iteration 77, LB=12, UB=27
893.08/895.32 c [886.83] solve iteration 78, LB=13, UB=27
898.56/900.85 c [892.28] solve iteration 79, LB=13, UB=27
905.14/907.42 c [897.84] solve iteration 80, LB=13, UB=27
915.22/917.51 c [907.94] solve iteration 81, LB=13, UB=27
921.11/923.48 c [915.11] solve iteration 82, LB=13, UB=27
1009.99/1012.54 c [984.43] solve iteration 83, LB=13, UB=27
1009.99/1012.54 c [989.72] solve iteration 84, LB=13, UB=27
1009.99/1012.54 c [994.42] solve iteration 85, LB=13, UB=27
1009.99/1012.54 c [1003.32] solve iteration 86, LB=13, UB=27
1015.58/1018.14 c [1009.26] solve iteration 87, LB=13, UB=27
1026.74/1029.38 c [1014.92] solve iteration 88, LB=13, UB=27
1026.74/1029.38 c [1020.34] solve iteration 89, LB=13, UB=27
1103.25/1106.07 c [1096.76] solve iteration 90, LB=13, UB=27
1167.49/1170.47 c [1160.1] solve iteration 91, LB=13, UB=27
1173.08/1176.02 c [1166.54] solve iteration 92, LB=13, UB=27
1293.78/1297.07 c [1265.37] solve iteration 93, LB=13, UB=27
1293.78/1297.07 c [1270.86] solve iteration 94, LB=13, UB=27
1293.78/1297.07 c [1276.05] solve iteration 95, LB=13, UB=27
1293.78/1297.07 c [1286.84] solve iteration 96, LB=13, UB=27
1377.27/1380.72 c [1367.14] solve iteration 97, LB=13, UB=27
1447.99/1451.66 c [1437.32] solve iteration 98, LB=13, UB=27
1528.40/1532.25 c [1518.24] solve iteration 99, LB=13, UB=27
1612.59/1616.65 c [1601.51] solve iteration 100, LB=13, UB=27
1702.57/1706.81 c [1691.93] solve iteration 101, LB=13, UB=27
1765.73/1770.17 c [1755.01] solve iteration 102, LB=13, UB=27
2306.01/2311.74 c [2292.23] solve iteration 103, LB=13, UB=27
2385.71/2391.60 c [2372.55] solve iteration 104, LB=13, UB=27
2493.94/2500.15 c [2480.44] solve iteration 105, LB=13, UB=27
2575.24/2581.62 c [2562.39] solve iteration 106, LB=13, UB=27
2658.51/2665.12 c [2645.62] solve iteration 107, LB=13, UB=27
2744.35/2751.27 c [2731.48] solve iteration 108, LB=13, UB=27
2857.43/2864.65 c [2843.58] solve iteration 109, LB=13, UB=27
2944.39/2951.80 c [2931.22] solve iteration 110, LB=13, UB=27
3048.30/3056.01 c [3035.53] solve iteration 111, LB=13, UB=27
3137.15/3145.17 c [3124.06] solve iteration 112, LB=13, UB=27
3234.36/3242.60 c [3221.23] solve iteration 113, LB=13, UB=27
3315.93/3324.43 c [3304.98] solve iteration 114, LB=13, UB=27
3323.91/3332.41 c [3313.8] solve iteration 115, LB=13, UB=27
3442.79/3451.65 c [3428.82] solve iteration 116, LB=13, UB=27
3546.23/3555.39 c [3532.63] solve iteration 117, LB=13, UB=27
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: 63708 MiB (59520 MiB free)
memory of node 1: 64465 MiB (52656 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497408-1751392841/watcher-4497408-1751392841 -o /tmp/evaluation-result-4497408-1751392841/solver-4497408-1751392841 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751385318-55463 --watchdog 3760 ./ipbhs_scip HOME/instance-4497408-1751392841.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=57494, runsolver pid=57491
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.08 4.17 4.15 5/265 57495
/proc/meminfo: memFree=114852480/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=63180 memory=39640 CPUtime=0.09 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 6236 0 0 0 6 3 0 0 20 0 1 0 54963523 64696320 9910 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 15795 9910 3232 2790 0 9220 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63180 KiB
Current children cumulated memory: 39640 KiB
[startup+0.20551 s]*
/proc/loadavg: 4.08 4.17 4.15 5/265 57495
/proc/meminfo: memFree=114836352/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=83072 memory=59096 CPUtime=0.19 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 10779 0 0 0 15 4 0 0 20 0 1 0 54963523 85065728 14774 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 20768 14774 3584 2790 0 14193 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 83072 KiB
Current children cumulated memory: 59096 KiB
[startup+0.305424 s]*
/proc/loadavg: 4.08 4.17 4.15 5/265 57495
/proc/meminfo: memFree=114835596/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=85116 memory=62064 CPUtime=0.29 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 14264 0 0 0 24 5 0 0 20 0 1 0 54963523 87158784 15516 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 21279 15516 3648 2790 0 14704 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 85116 KiB
Current children cumulated memory: 62064 KiB
[startup+0.700123 s]
/proc/loadavg: 4.08 4.17 4.15 5/265 57495
/proc/meminfo: memFree=114834588/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=88356 memory=65520 CPUtime=0.68 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 15010 0 0 0 62 6 0 0 20 0 1 0 54963523 90476544 16380 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 22089 16380 3776 2790 0 15514 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88356 KiB
Current children cumulated memory: 65520 KiB
[startup+1.50011 s]
/proc/loadavg: 4.08 4.17 4.15 5/265 57495
/proc/meminfo: memFree=114837096/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=94968 memory=72560 CPUtime=1.48 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 16790 0 0 0 138 10 0 0 20 0 1 0 54963523 97247232 18140 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 23742 18140 3776 2790 0 17167 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 94968 KiB
Current children cumulated memory: 72560 KiB
[startup+3.1053 s]
/proc/loadavg: 4.08 4.17 4.15 5/265 57495
/proc/meminfo: memFree=114845712/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=117412 memory=93496 CPUtime=3.08 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 21514 0 0 0 295 13 0 0 20 0 1 0 54963523 120229888 23374 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 29353 23374 3776 2790 0 22778 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 93496 KiB
[startup+6.30011 s]
/proc/loadavg: 4.15 4.18 4.15 5/265 57495
/proc/meminfo: memFree=114715544/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=264760 memory=241336 CPUtime=6.27 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 58447 0 0 0 606 21 0 0 20 0 1 0 54963523 271114240 60334 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 66190 60334 3808 2790 0 59615 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 264760 KiB
Current children cumulated memory: 241336 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.18 4.15 5/265 57495
/proc/meminfo: memFree=114703896/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=244696 memory=221832 CPUtime=12.65 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 59431 0 0 0 1238 27 0 0 20 0 1 0 54963523 250568704 55458 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 61174 55458 3808 2790 0 54599 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 244696 KiB
Current children cumulated memory: 221832 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.17 4.15 5/266 57508
/proc/meminfo: memFree=114373196/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=277416 memory=254376 CPUtime=25.42 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 66551 0 0 0 2505 37 0 0 20 0 1 0 54963523 284073984 63594 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 69354 63594 3808 2790 0 62779 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 277416 KiB
Current children cumulated memory: 254376 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.17 4.15 5/265 57508
/proc/meminfo: memFree=114319616/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=392356 memory=364596 CPUtime=50.97 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 99639 0 0 0 5044 53 0 0 20 0 1 0 54963523 401772544 91149 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 98089 91149 3808 2790 0 91514 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 392356 KiB
Current children cumulated memory: 364596 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/265 57514
/proc/meminfo: memFree=113917976/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=533336 memory=497012 CPUtime=102.04 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 144172 0 0 0 10128 76 0 0 20 0 1 0 54963523 546136064 124253 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 133334 124253 3808 2790 0 126759 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 533336 KiB
Current children cumulated memory: 497012 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.13 4.13 5/265 57520
/proc/meminfo: memFree=113730848/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=608028 memory=567368 CPUtime=161.89 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 165497 0 0 0 16095 94 0 0 20 0 1 0 54963523 622620672 141842 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 152007 141842 3808 2790 0 145432 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 608028 KiB
Current children cumulated memory: 567368 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/265 57567
/proc/meminfo: memFree=116571540/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=637456 memory=586672 CPUtime=221.74 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 167202 0 0 0 22072 102 0 0 20 0 1 0 54963523 652754944 146668 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 159364 146668 3808 2790 0 152789 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 637456 KiB
Current children cumulated memory: 586672 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/265 57569
/proc/meminfo: memFree=116390572/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=661596 memory=619004 CPUtime=281.58 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 172853 0 0 0 28050 108 0 0 20 0 1 0 54963523 677474304 154751 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 165399 154751 3808 2790 0 158824 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 661596 KiB
Current children cumulated memory: 619004 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/264 57571
/proc/meminfo: memFree=115905948/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=684992 memory=626600 CPUtime=341.45 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 174844 0 0 0 34035 110 0 0 20 0 1 0 54963523 701431808 156650 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 171248 156650 3808 2790 0 164673 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 684992 KiB
Current children cumulated memory: 626600 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/264 57574
/proc/meminfo: memFree=115727652/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=687244 memory=638028 CPUtime=401.29 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 175656 0 0 0 40014 115 0 0 20 0 1 0 54963523 703737856 159507 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 171811 159507 3808 2790 0 165236 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 687244 KiB
Current children cumulated memory: 638028 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/264 57576
/proc/meminfo: memFree=115529116/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=693964 memory=646568 CPUtime=461.15 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 177420 0 0 0 45995 120 0 0 20 0 1 0 54963523 710619136 161642 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 173491 161642 3808 2790 0 166916 0
Current children cumulated CPU time: 461.15 s
################
# More data... #
################
Current children cumulated memory: 846540 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 57745
/proc/meminfo: memFree=120184824/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=965000 memory=855244 CPUtime=2914.97 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 231178 0 0 0 291124 373 0 0 20 0 1 0 54963523 988160000 213811 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 241250 213811 3808 2790 0 234675 0
Current children cumulated CPU time: 2914.97 s
Current children cumulated vsize: 965000 KiB
Current children cumulated memory: 855244 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 57747
/proc/meminfo: memFree=120140644/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=971588 memory=861900 CPUtime=2974.8 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 232847 0 0 0 297105 375 0 0 20 0 1 0 54963523 994906112 215475 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 242897 215475 3808 2790 0 236322 0
Current children cumulated CPU time: 2974.8 s
Current children cumulated vsize: 971588 KiB
Current children cumulated memory: 861900 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 57749
/proc/meminfo: memFree=120057784/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=971588 memory=861900 CPUtime=3034.63 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 232847 0 0 0 303086 377 0 0 20 0 1 0 54963523 994906112 215475 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 242897 215475 3808 2790 0 236322 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 971588 KiB
Current children cumulated memory: 861900 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 57754
/proc/meminfo: memFree=119996532/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=972340 memory=862668 CPUtime=3094.46 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 233036 0 0 0 309068 378 0 0 20 0 1 0 54963523 995676160 215667 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 243085 215667 3808 2790 0 236510 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 972340 KiB
Current children cumulated memory: 862668 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 57761
/proc/meminfo: memFree=119939288/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=973256 memory=863692 CPUtime=3154.3 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 233295 0 0 0 315051 379 0 0 20 0 1 0 54963523 996614144 215923 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 243314 215923 3808 2790 0 236739 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 973256 KiB
Current children cumulated memory: 863692 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 57763
/proc/meminfo: memFree=119429820/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=973256 memory=863692 CPUtime=3214.13 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 233295 0 0 0 321034 379 0 0 20 0 1 0 54963523 996614144 215923 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 243314 215923 3808 2790 0 236739 0
Current children cumulated CPU time: 3214.13 s
Current children cumulated vsize: 973256 KiB
Current children cumulated memory: 863692 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/264 57765
/proc/meminfo: memFree=119426252/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=973256 memory=863692 CPUtime=3273.95 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 233295 0 0 0 327016 379 0 0 20 0 1 0 54963523 996614144 215923 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 243314 215923 3808 2790 0 236739 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 973256 KiB
Current children cumulated memory: 863692 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 57774
/proc/meminfo: memFree=126209172/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=984652 memory=874700 CPUtime=3333.78 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 236057 0 0 0 332996 382 0 0 20 0 1 0 54963523 1008283648 218675 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 246163 218675 3808 2790 0 239588 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 984652 KiB
Current children cumulated memory: 874700 KiB
[startup+3402.3 s]
/proc/loadavg: 3.45 3.91 4.03 4/258 57799
/proc/meminfo: memFree=126264544/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=984652 memory=875212 CPUtime=3393.61 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 236073 0 0 0 338979 382 0 0 20 0 1 0 54963523 1008283648 218803 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 246163 218803 3808 2790 0 239588 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 984652 KiB
Current children cumulated memory: 875212 KiB
[startup+3462.3 s]
/proc/loadavg: 3.23 3.76 3.96 4/257 57801
/proc/meminfo: memFree=126264476/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=985192 memory=876108 CPUtime=3453.46 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 236295 0 0 0 344961 385 0 0 20 0 1 0 54963523 1008836608 219027 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 246298 219027 3808 2790 0 239723 0
Current children cumulated CPU time: 3453.46 s
Current children cumulated vsize: 985192 KiB
Current children cumulated memory: 876108 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.63 3.91 4/258 57804
/proc/meminfo: memFree=126248308/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=985192 memory=876108 CPUtime=3513.31 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 236299 0 0 0 350946 385 0 0 20 0 1 0 54963523 1008836608 219027 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 246298 219027 3808 2790 0 239723 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 985192 KiB
Current children cumulated memory: 876108 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.55 3.86 4/258 57806
/proc/meminfo: memFree=126150648/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=985192 memory=876108 CPUtime=3573.16 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 236305 0 0 0 356929 387 0 0 20 0 1 0 54963523 1008836608 219027 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 246298 219027 3808 2790 0 239723 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 985192 KiB
Current children cumulated memory: 876108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 3.11 3.50 3.83 4/258 57808
/proc/meminfo: memFree=126136952/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=985192 memory=876108 CPUtime=3600.09 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 236310 0 0 0 359622 387 0 0 20 0 1 0 54963523 1008836608 219027 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 246298 219027 3808 2790 0 239723 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 985192 KiB
Current children cumulated memory: 876108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 57494 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3596.23 s, system=3.8845 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 3.11 3.50 3.83 4/258 57808
/proc/meminfo: memFree=126136952/131250000 swapFree=33009904/33010684
[pid=57494] ppid=57491 vsize=985192 memory=876108 CPUtime=3600.09 cores=4,6
/proc/57494/stat : 57494 (ipbhs_scip) R 57491 57494 55452 0 -1 4194304 236310 0 0 0 359622 387 0 0 20 0 1 0 54963523 1008836608 219027 18446744073709551615 94901358710784 94901370137181 140734446276736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94901372272856 94901372317874 94901387313152 140734446279058 140734446279177 140734446279177 140734446284779 0
/proc/57494/statm: 246298 219027 3808 2790 0 239723 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 985192 KiB
Current children cumulated memory: 876108 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.31
CPU time (s): 3600.11
CPU user time (s): 3596.23
CPU system time (s): 3.8845
CPU usage (%): 99.745
Max. virtual memory (cumulated for all children) (KiB): 985192
Max. memory (cumulated for all children) (KiB): 876108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.23
system time used= 3.8845
maximum resident set size= 876108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236310
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= 111
involuntary context switches= 1657
# summary of solver processes directly reported to runsolver:
# pid: 57494
# total CPU time (s): 3600.11
# total CPU user time (s): 3596.23
# total CPU system time (s): 3.8845
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49979 second user time and 14.6442 second system time
The end