| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| IPBHS-SCIP 2024-07-09 | ? (TO) | 3600.06 | 3609.54 |
| Name | PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-5.opb |
| MD5SUM | 2fcb2c3eb5cc63f2f059b86c008c9f4a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 14043 |
| Best CPU time to get the best result obtained on this benchmark | 4.10347 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 79975 |
| Total number of constraints | 631714 |
| Number of constraints which are clauses | 631714 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 339 |
| Number of terms in the objective function | 10460 |
| Biggest coefficient in the objective function | 341 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 3451260 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 341 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 3451260 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
66.13/66.38 c initialize IPBHS solver 66.13/66.38 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0 66.13/66.38 c optimizer = "scip" 66.13/66.38 c pbsolver = "roundingsat" 66.13/66.38 c load symmetries from file "" 66.13/66.38 c set time limit for symmetry computation to 100 seconds. 66.13/66.38 c set interchangeable summation variable limit to 3 66.13/66.38 c set abs symmetric core budget per WCE-iteration to 100 66.13/66.38 c set rel symmetric core budget per WCE-iteration to 0 66.13/66.38 c set lit symmetric core budget per WCE-iteration to 0 66.13/66.38 c set sym generation to 's' 66.13/66.38 c set abstraction set creation to 10 iterations without LB change 66.13/66.38 c set abstraction set inputs to 0 66.13/66.38 c set abstraction set cluster min size to 2 66.13/66.38 c set abstraction set cluster max size to 100000000 66.13/66.38 c set abstraction set cluster activation limit to 2 66.13/66.38 c enable abstraction set require equal cost 66.13/66.38 c set abstraction set assumptions to 0 66.13/66.38 c set abstraction set constraint type to 0 66.13/66.38 c set abstract core extraction strategy to b 66.13/66.38 c set core extraction strategy to 2 66.13/66.38 c set core extraction shuffles 10 66.13/66.38 c set cores per iteration to 5 66.13/66.38 c set optimizer bound usage strategy to 2 66.13/66.38 c set optimizer max non-optimal iterations to 1000 66.13/66.38 c set small core cardinality limit to 2 66.13/66.38 c set max coef in cores to 1000000000 66.13/66.38 c set SIS iterations to 5 66.13/66.38 c set SIS budget abs to 1000 66.13/66.38 c set SIS budget rel to 0.05 66.13/66.38 c limit for coefficient in constraints and objective to 9223372036854775807 66.13/66.38 c will solve HOME/instance-4432045-1721158815.opb 66.13/66.38 c [0.07] solve iteration 1, LB=0, UB=3451261 66.13/66.38 c [17.27] solve iteration 2, LB=9, UB=42388 66.13/66.38 c [24.68] solve iteration 3, LB=14027, UB=19542 66.13/66.38 c [32] solve iteration 4, LB=14027, UB=19542 66.13/66.38 c [37.23] solve iteration 5, LB=14030, UB=18165 66.13/66.38 c [42.73] solve iteration 6, LB=14031, UB=16122 66.13/66.38 c [47.43] solve iteration 7, LB=14033, UB=15095 66.13/66.38 c [52.29] solve iteration 8, LB=14034, UB=14752 91.96/92.23 c [55.72] solve iteration 9, LB=14035, UB=14064 91.96/92.23 c [58.97] solve iteration 10, LB=14035, UB=14063 91.96/92.23 c [62.87] solve iteration 11, LB=14035, UB=14062 91.96/92.23 c [65.23] solve iteration 12, LB=14037, UB=14055 91.96/92.23 c [68.08] solve iteration 13, LB=14037, UB=14055 91.96/92.23 c [71.26] solve iteration 14, LB=14037, UB=14055 91.96/92.23 c [74.06] solve iteration 15, LB=14037, UB=14055 95.07/95.32 c [76.76] solve iteration 16, LB=14038, UB=14055 101.94/102.27 c [79.31] solve iteration 17, LB=14038, UB=14055 101.94/102.27 c [82.8] solve iteration 18, LB=14038, UB=14055 109.02/109.33 c [85.75] solve iteration 19, LB=14038, UB=14050 109.02/109.33 c [88.91] solve iteration 20, LB=14038, UB=14050 128.97/129.33 c [107.87] solve iteration 21, LB=14038, UB=14050 133.16/133.57 c [111.71] solve iteration 22, LB=14038, UB=14050 136.35/136.74 c [114.5] solve iteration 23, LB=14040, UB=14046 143.83/144.26 c [118.62] solve iteration 24, LB=14040, UB=14046 143.83/144.26 c [121.13] solve iteration 25, LB=14040, UB=14046 150.52/150.97 c [127.84] solve iteration 26, LB=14040, UB=14046 153.40/153.82 c [130.46] solve iteration 27, LB=14040, UB=14046 179.94/180.44 c [155.44] solve iteration 28, LB=14040, UB=14043 184.12/184.62 c [159.33] solve iteration 29, LB=14040, UB=14043 188.01/188.54 c [162.97] solve iteration 30, LB=14040, UB=14043 195.30/195.87 c [166.88] solve iteration 31, LB=14040, UB=14043 195.30/195.87 c [169.53] solve iteration 32, LB=14041, UB=14043 199.19/199.74 c [173.33] solve iteration 33, LB=14041, UB=14043 203.77/204.32 c [177.64] solve iteration 34, LB=14041, UB=14043 234.18/234.82 c [180.47] solve iteration 35, LB=14041, UB=14043 234.18/234.82 c [183.17] solve iteration 36, LB=14041, UB=14043 234.18/234.82 c [206.47] solve iteration 37, LB=14041, UB=14043 246.65/247.35 c [210.16] solve iteration 38, LB=14041, UB=14043 246.65/247.35 c [212.85] solve iteration 39, LB=14041, UB=14043 246.65/247.35 c [215.3] solve iteration 40, LB=14041, UB=14043 246.65/247.35 c [218.11] solve iteration 41, LB=14041, UB=14043 279.66/280.44 c [246.15] solve iteration 42, LB=14041, UB=14043 279.66/280.44 c [249.01] solve iteration 43, LB=14041, UB=14043 283.06/283.83 c [252.12] solve iteration 44, LB=14042, UB=14043 287.15/287.95 c [256.14] solve iteration 45, LB=14042, UB=14043 289.94/290.73 c [258.71] solve iteration 46, LB=14042, UB=14043 325.94/326.83 c [262.76] solve iteration 47, LB=14042, UB=14043 325.94/326.83 c [265.31] solve iteration 48, LB=14042, UB=14043 325.94/326.83 c [293.09] solve iteration 49, LB=14042, UB=14043 330.93/331.86 c [297.86] solve iteration 50, LB=14042, UB=14043 335.93/336.86 c [302.45] solve iteration 51, LB=14042, UB=14043 339.71/340.69 c [306.01] solve iteration 52, LB=14042, UB=14043 382.40/383.49 c [309.66] solve iteration 53, LB=14042, UB=14043 382.40/383.49 c [345.68] solve iteration 54, LB=14042, UB=14043 386.48/387.52 c [349.59] solve iteration 55, LB=14042, UB=14043 390.98/392.07 c [353.82] solve iteration 56, LB=14042, UB=14043 398.85/399.93 c [357.7] solve iteration 57, LB=14042, UB=14043 398.85/399.93 c [361.21] solve iteration 58, LB=14042, UB=14043 445.34/446.59 c [406.43] solve iteration 59, LB=14042, UB=14043 455.62/456.89 c [410.03] solve iteration 60, LB=14042, UB=14043 455.62/456.89 c [413.16] solve iteration 61, LB=14042, UB=14043 455.62/456.89 c [416.42] solve iteration 62, LB=14042, UB=14043 460.61/461.86 c [420.98] solve iteration 63, LB=14042, UB=14043 525.24/526.61 c [475.03] solve iteration 64, LB=14042, UB=14043 525.24/526.61 c [477.76] solve iteration 65, LB=14042, UB=14043 525.24/526.61 c [480.45] solve iteration 66, LB=14042, UB=14043 525.24/526.61 c [483.31] solve iteration 67, LB=14042, UB=14043 572.22/573.72 c [487.09] solve iteration 68, LB=14042, UB=14043 572.22/573.72 c [528.18] solve iteration 69, LB=14042, UB=14043 575.90/577.49 c [531.93] solve iteration 70, LB=14042, UB=14043 579.60/581.19 c [535.42] solve iteration 71, LB=14042, UB=14043 583.79/585.31 c [539.44] solve iteration 72, LB=14042, UB=14043 633.26/634.95 c [543.06] solve iteration 73, LB=14042, UB=14043 633.26/634.95 c [587.46] solve iteration 74, LB=14042, UB=14043 638.64/640.36 c [592.63] solve iteration 75, LB=14042, UB=14043 642.83/644.56 c [596.58] solve iteration 76, LB=14042, UB=14043 651.42/653.16 c [601.31] solve iteration 77, LB=14042, UB=14043 651.42/653.16 c [604.78] solve iteration 78, LB=14042, UB=14043 723.43/725.38 c [675.07] solve iteration 79, LB=14042, UB=14043 728.31/730.23 c [679.75] solve iteration 80, LB=14042, UB=14043 733.11/735.02 c [684.34] solve iteration 81, LB=14042, UB=14043 741.38/743.32 c [688.32] solve iteration 82, LB=14042, UB=14043 741.38/743.32 c [692.27] solve iteration 83, LB=14042, UB=14043 833.63/835.88 c [774.02] solve iteration 84, LB=14042, UB=14043 833.63/835.88 c [777.95] solve iteration 85, LB=14042, UB=14043 843.01/845.27 c [783.04] solve iteration 86, LB=14042, UB=14043 843.01/845.27 c [787.12] solve iteration 87, LB=14042, UB=14043 849.48/851.74 c [793.4] solve iteration 88, LB=14042, UB=14043 911.93/914.33 c [849.87] solve iteration 89, LB=14042, UB=14043 916.31/918.71 c [853.98] solve iteration 90, LB=14042, UB=14043 920.00/922.47 c [857.68] solve iteration 91, LB=14042, UB=14043 924.80/927.26 c [862.27] solve iteration 92, LB=14042, UB=14043 928.98/931.45 c [866.28] solve iteration 93, LB=14042, UB=14043 1002.77/1005.49 c [933.98] solve iteration 94, LB=14042, UB=14043 1002.77/1005.49 c [937.34] solve iteration 95, LB=14042, UB=14043 1007.76/1010.40 c [942.07] solve iteration 96, LB=14042, UB=14043 1012.15/1014.83 c [946.35] solve iteration 97, LB=14042, UB=14043 1017.24/1020.00 c [951.35] solve iteration 98, LB=14042, UB=14043 1087.77/1090.66 c [1016.7] solve iteration 99, LB=14042, UB=14043 1092.05/1094.91 c [1020.93] solve iteration 100, LB=14042, UB=14043 1096.44/1099.30 c [1025.01] solve iteration 101, LB=14042, UB=14043 1101.42/1104.31 c [1029.99] solve iteration 102, LB=14042, UB=14043 1107.40/1110.37 c [1035.73] solve iteration 103, LB=14042, UB=14043 1180.93/1184.02 c [1103.76] solve iteration 104, LB=14042, UB=14043 1192.80/1196.00 c [1107.58] solve iteration 105, LB=14042, UB=14043 1192.80/1196.00 c [1111.34] solve iteration 106, LB=14042, UB=14043 1192.80/1196.00 c [1115.44] solve iteration 107, LB=14042, UB=14043 1197.58/1200.77 c [1120.01] solve iteration 108, LB=14042, UB=14043 1286.95/1290.33 c [1204.12] solve iteration 109, LB=14042, UB=14043 1296.02/1299.44 c [1209.03] solve iteration 110, LB=14042, UB=14043 1296.02/1299.44 c [1212.87] solve iteration 111, LB=14042, UB=14043 1301.81/1305.21 c [1218.46] solve iteration 112, LB=14042, UB=14043 1430.55/1434.35 c [1224.02] solve iteration 113, LB=14042, UB=14043 1430.55/1434.35 c [1339.94] solve iteration 114, LB=14042, UB=14043 1435.94/1439.76 c [1345.17] solve iteration 115, LB=14042, UB=14043 1440.83/1444.65 c [1349.88] solve iteration 116, LB=14042, UB=14043 1445.72/1449.53 c [1354.68] solve iteration 117, LB=14042, UB=14043 1452.70/1456.54 c [1361.5] solve iteration 118, LB=14042, UB=14043 1566.50/1570.67 c [1469.96] solve iteration 119, LB=14042, UB=14043 1576.67/1580.89 c [1475.6] solve iteration 120, LB=14042, UB=14043 1576.67/1580.89 c [1480.02] solve iteration 121, LB=14042, UB=14043 1586.35/1590.55 c [1484.92] solve iteration 122, LB=14042, UB=14043 1586.35/1590.55 c [1489.36] solve iteration 123, LB=14042, UB=14043 1688.48/1692.93 c [1587.97] solve iteration 124, LB=14042, UB=14043 1699.25/1703.74 c [1593.69] solve iteration 125, LB=14042, UB=14043 1699.25/1703.74 c [1598.48] solve iteration 126, LB=14042, UB=14043 1709.22/1713.76 c [1603.24] solve iteration 127, LB=14042, UB=14043 1709.22/1713.76 c [1607.97] solve iteration 128, LB=14042, UB=14043 1881.17/1886.16 c [1773.03] solve iteration 129, LB=14042, UB=14043 1886.75/1891.73 c [1778.44] solve iteration 130, LB=14042, UB=14043 1892.74/1897.72 c [1784.16] solve iteration 131, LB=14042, UB=14043 1903.12/1908.18 c [1789.89] solve iteration 132, LB=14042, UB=14043 1903.12/1908.18 c [1794.39] solve iteration 133, LB=14042, UB=14043 2106.91/2112.56 c [1989.35] solve iteration 134, LB=14042, UB=14043 2112.90/2118.50 c [1995.14] solve iteration 135, LB=14042, UB=14043 2119.58/2125.28 c [2001.89] solve iteration 136, LB=14042, UB=14043 2125.47/2131.13 c [2007.5] solve iteration 137, LB=14042, UB=14043 2132.34/2138.02 c [2014.22] solve iteration 138, LB=14042, UB=14043 2316.02/2322.28 c [2189.9] solve iteration 139, LB=14042, UB=14043 2326.69/2332.92 c [2195.14] solve iteration 140, LB=14042, UB=14043 2326.69/2332.92 c [2200.23] solve iteration 141, LB=14042, UB=14043 2332.37/2338.62 c [2205.75] solve iteration 142, LB=14042, UB=14043 2337.76/2344.06 c [2211.16] solve iteration 143, LB=14042, UB=14043 2478.29/2484.98 c [2343.42] solve iteration 144, LB=14042, UB=14043 2484.18/2490.84 c [2349.19] solve iteration 145, LB=14042, UB=14043 2492.36/2499.05 c [2357.06] solve iteration 146, LB=14042, UB=14043 2498.13/2504.85 c [2362.59] solve iteration 147, LB=14042, UB=14043 2506.00/2512.78 c [2370.52] solve iteration 148, LB=14042, UB=14043 2710.87/2718.18 c [2566.48] solve iteration 149, LB=14042, UB=14043 2717.75/2725.01 c [2573.19] solve iteration 150, LB=14042, UB=14043 2723.73/2731.01 c [2579.01] solve iteration 151, LB=14042, UB=14043 2730.41/2737.70 c [2585.64] solve iteration 152, LB=14042, UB=14043 2986.86/2994.88 c [2591.48] solve iteration 153, LB=14042, UB=14043 2986.86/2994.88 c [2829.49] solve iteration 154, LB=14042, UB=14043 2986.86/2994.88 c [2834.48] solve iteration 155, LB=14042, UB=14043 2999.43/3007.44 c [2841.96] solve iteration 156, LB=14042, UB=14043 2999.43/3007.44 c [2846.95] solve iteration 157, LB=14042, UB=14043 3006.31/3014.30 c [2853.58] solve iteration 158, LB=14042, UB=14043 3224.39/3232.92 c [3058.84] solve iteration 159, LB=14042, UB=14043 3235.46/3244.07 c [3064.36] solve iteration 160, LB=14042, UB=14043 3235.46/3244.07 c [3069.73] solve iteration 161, LB=14042, UB=14043 3244.03/3252.65 c [3078] solve iteration 162, LB=14042, UB=14043 3250.32/3258.94 c [3084.12] solve iteration 163, LB=14042, UB=14043 3428.07/3437.18 c [3258.31] solve iteration 164, LB=14042, UB=14043 3434.96/3444.05 c [3264.95] solve iteration 165, LB=14042, UB=14043 3441.53/3450.61 c [3271.48] solve iteration 166, LB=14042, UB=14043 3454.79/3463.97 c [3279.52] solve iteration 167, LB=14042, UB=14043 3454.79/3463.97 c [3284.52] solve iteration 168, LB=14042, UB=14043
ERROR: no interpretation found !
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: 63931 MiB (61901 MiB free)
memory of node 1: 64510 MiB (62147 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432045-1721158815/watcher-4432045-1721158815 -o /tmp/evaluation-result-4432045-1721158815/solver-4432045-1721158815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721158828-866988 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432045-1721158815.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
Current StackSize limit: 8192 KiB
solver pid=867037, runsolver pid=867028
[startup+0.100367 s]*
/proc/loadavg: 1.14 1.28 2.21 7/253 867041
/proc/meminfo: memFree=126992676/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=42624 memory=17696 CPUtime=0.09 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 4162 0 0 0 9 0 0 0 20 0 1 0 168045739 43646976 4424 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 10656 4424 1023 2900 0 7170 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42624 KiB
Current children cumulated memory: 17696 KiB
[startup+0.205777 s]*
/proc/loadavg: 1.14 1.28 2.21 5/253 867042
/proc/meminfo: memFree=126901480/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=55360 memory=29428 CPUtime=0.19 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 6868 0 0 0 19 0 0 0 20 0 1 0 168045739 56688640 7357 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 13840 7357 1023 2900 0 10354 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55360 KiB
Current children cumulated memory: 29428 KiB
[startup+0.306163 s]*
/proc/loadavg: 1.14 1.28 2.21 7/259 867052
/proc/meminfo: memFree=126860408/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=70980 memory=41248 CPUtime=0.3 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 9278 0 0 0 29 1 0 0 20 0 1 0 168045739 72683520 10312 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 17745 10312 1023 2900 0 14259 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70980 KiB
Current children cumulated memory: 41248 KiB
[startup+0.700223 s]
/proc/loadavg: 1.14 1.28 2.21 7/259 867052
/proc/meminfo: memFree=126763404/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=120664 memory=88156 CPUtime=0.69 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 17824 0 0 0 62 7 0 0 20 0 1 0 168045739 123559936 21973 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 30166 22039 1135 2900 0 26680 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120664 KiB
Current children cumulated memory: 88156 KiB
[startup+1.50023 s]
/proc/loadavg: 1.14 1.28 2.21 7/259 867052
/proc/meminfo: memFree=126521956/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=398304 memory=357424 CPUtime=1.48 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 81214 0 0 0 118 30 0 0 20 0 1 0 168045739 407863296 89356 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 99576 89356 2639 2900 0 96090 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 398304 KiB
Current children cumulated memory: 357424 KiB
[startup+3.10602 s]
/proc/loadavg: 1.14 1.28 2.21 7/259 867054
/proc/meminfo: memFree=125608812/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=445356 memory=396980 CPUtime=3.09 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 91113 0 0 0 261 48 0 0 20 0 1 0 168045739 456044544 99245 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 111339 99245 2655 2900 0 107853 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 445356 KiB
Current children cumulated memory: 396980 KiB
[startup+6.30018 s]
/proc/loadavg: 1.37 1.32 2.22 7/259 867054
/proc/meminfo: memFree=124873836/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=445356 memory=396980 CPUtime=6.28 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 91125 0 0 0 528 100 0 0 20 0 1 0 168045739 456044544 99245 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 111339 99245 2655 2900 0 107853 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 445356 KiB
Current children cumulated memory: 396980 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.37 2.23 7/259 867054
/proc/meminfo: memFree=124821632/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=445356 memory=396980 CPUtime=12.67 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 91140 0 0 0 1044 223 0 0 20 0 1 0 168045739 456044544 99245 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 111339 99245 2655 2900 0 107853 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 445356 KiB
Current children cumulated memory: 396980 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 1.51 2.27 7/259 867057
/proc/meminfo: memFree=124522760/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=480380 memory=439288 CPUtime=25.43 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 101440 0 0 0 2063 480 0 0 20 0 1 0 168045739 491909120 109822 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 120095 109822 2911 2900 0 116609 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 480380 KiB
Current children cumulated memory: 439288 KiB
[startup+51.1062 s]
/proc/loadavg: 2.94 1.75 2.32 7/259 867060
/proc/meminfo: memFree=123951692/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=560936 memory=521436 CPUtime=50.98 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 121837 0 0 0 4139 959 0 0 20 0 1 0 168045739 574398464 130359 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 140234 130359 2927 2900 0 136748 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 560936 KiB
Current children cumulated memory: 521436 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 2.13 2.42 7/259 867068
/proc/meminfo: memFree=122814724/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=987784 memory=952568 CPUtime=102.04 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 228934 0 0 0 8504 1700 0 0 20 0 1 0 168045739 1011490816 238142 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 246946 238142 2927 2900 0 243460 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 987784 KiB
Current children cumulated memory: 952568 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.47 2.53 6/259 867171
/proc/meminfo: memFree=123533020/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=1455800 memory=1408504 CPUtime=161.88 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 318279 0 0 0 14094 2094 0 0 20 0 1 0 168045739 1490739200 352126 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 363950 352126 2943 2900 0 360464 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1455800 KiB
Current children cumulated memory: 1408504 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.78 2.63 6/259 867182
/proc/meminfo: memFree=122617048/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=1758424 memory=1668548 CPUtime=221.72 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 374785 0 0 0 19699 2473 0 0 20 0 1 0 168045739 1800626176 417137 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 439606 417137 2943 2900 0 436120 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1758424 KiB
Current children cumulated memory: 1668548 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.02 2.72 6/259 867192
/proc/meminfo: memFree=121957176/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=1881884 memory=1794632 CPUtime=281.56 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 404076 0 0 0 25337 2819 0 0 20 0 1 0 168045739 1927049216 448658 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 470471 448658 2943 2900 0 466985 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 1881884 KiB
Current children cumulated memory: 1794632 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.22 2.81 6/254 867203
/proc/meminfo: memFree=121501412/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=2092976 memory=1919728 CPUtime=341.4 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 427035 0 0 0 31048 3092 0 0 20 0 1 0 168045739 2143207424 479932 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 523244 479932 2943 2900 0 519758 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 2092976 KiB
Current children cumulated memory: 1919728 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.38 2.89 6/254 867213
/proc/meminfo: memFree=120667324/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=2431284 memory=2309348 CPUtime=401.25 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 494189 0 0 0 36642 3483 0 0 20 0 1 0 168045739 2489634816 577337 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 607821 577337 2943 2900 0 604335 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 2431284 KiB
Current children cumulated memory: 2309348 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.51 2.97 6/254 867223
/proc/meminfo: memFree=120261288/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=2718548 memory=2547948 CPUtime=461.11 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 516345 0 0 0 42447 3664 0 0 20 0 1 0 168045739 2783793152 636987 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 679637 636987 2943 2900 0 676151 0
################
# More data... #
################
Current children cumulated memory: 4495596 KiB
[startup+2922.3 s]
/proc/loadavg: 4.26 4.21 4.09 6/256 868785
/proc/meminfo: memFree=114374084/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=4845256 memory=4508440 CPUtime=2914.54 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 855867 0 0 0 276952 14502 0 0 20 0 1 0 168045739 4961542144 1127110 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1211314 1127110 2943 2900 0 1207828 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 4845256 KiB
Current children cumulated memory: 4508440 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.18 4.09 6/256 868795
/proc/meminfo: memFree=114299480/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=4845256 memory=4578072 CPUtime=2974.39 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 857623 0 0 0 282710 14729 0 0 20 0 1 0 168045739 4961542144 1144518 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1211314 1144518 2943 2900 0 1207828 0
Current children cumulated CPU time: 2974.39 s
Current children cumulated vsize: 4845256 KiB
Current children cumulated memory: 4578072 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.16 4.09 6/255 868862
/proc/meminfo: memFree=113613964/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=5992808 memory=5236424 CPUtime=3034.25 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1012294 0 0 0 288557 14868 0 0 20 0 1 0 168045739 6136635392 1309106 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1498202 1309106 2943 2900 0 1494716 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 5992808 KiB
Current children cumulated memory: 5236424 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.16 4.09 7/255 868872
/proc/meminfo: memFree=113308076/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6087276 memory=5387564 CPUtime=3094.09 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1034674 0 0 0 294415 14994 0 0 20 0 1 0 168045739 6233370624 1346891 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1521819 1346891 2943 2900 0 1518333 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 6087276 KiB
Current children cumulated memory: 5387564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.09 6/255 868882
/proc/meminfo: memFree=112530280/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6119884 memory=5428080 CPUtime=3153.95 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1042449 0 0 0 299905 15490 0 0 20 0 1 0 168045739 6266761216 1357020 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1529971 1357020 2943 2900 0 1526485 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 6119884 KiB
Current children cumulated memory: 5428080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.12 4.08 6/255 868894
/proc/meminfo: memFree=112417428/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6119884 memory=5428080 CPUtime=3213.81 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1044487 0 0 0 305375 16006 0 0 20 0 1 0 168045739 6266761216 1357020 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1529971 1357020 2943 2900 0 1526485 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 6119884 KiB
Current children cumulated memory: 5428080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/255 868904
/proc/meminfo: memFree=112221776/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6271612 memory=5580224 CPUtime=3273.66 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1084721 0 0 0 311199 16167 0 0 20 0 1 0 168045739 6422130688 1395056 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1567903 1395056 2943 2900 0 1564417 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 6271612 KiB
Current children cumulated memory: 5580224 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/254 868914
/proc/meminfo: memFree=112221484/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6271612 memory=5580224 CPUtime=3333.51 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1086848 0 0 0 317109 16242 0 0 20 0 1 0 168045739 6422130688 1395056 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1567903 1395056 2943 2900 0 1564417 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 6271612 KiB
Current children cumulated memory: 5580224 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/254 868924
/proc/meminfo: memFree=112200432/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6271612 memory=5580224 CPUtime=3393.36 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1088987 0 0 0 322870 16466 0 0 20 0 1 0 168045739 6422130688 1395056 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1567903 1395056 2943 2900 0 1564417 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 6271612 KiB
Current children cumulated memory: 5580224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/254 868935
/proc/meminfo: memFree=112135824/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6297436 memory=5606504 CPUtime=3453.19 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1113072 0 0 0 328775 16544 0 0 20 0 1 0 168045739 6448574464 1401626 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1574359 1401626 2943 2900 0 1570873 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 6297436 KiB
Current children cumulated memory: 5606504 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/254 868945
/proc/meminfo: memFree=112134192/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6297436 memory=5606504 CPUtime=3513.03 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1115280 0 0 0 334642 16661 0 0 20 0 1 0 168045739 6448574464 1401626 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1574359 1401626 2943 2900 0 1570873 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 6297436 KiB
Current children cumulated memory: 5606504 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.10 6/254 868955
/proc/meminfo: memFree=112133068/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6297436 memory=5606504 CPUtime=3572.88 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1117395 0 0 0 340560 16728 0 0 20 0 1 0 168045739 6448574464 1401626 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1574359 1401626 2943 2900 0 1570873 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 6297436 KiB
Current children cumulated memory: 5606504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.12 4.12 4.09 6/256 868964
/proc/meminfo: memFree=112132812/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6297436 memory=5606504 CPUtime=3600.01 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1118319 0 0 0 343227 16774 0 0 20 0 1 0 168045739 6448574464 1401626 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1574359 1401626 2943 2900 0 1570873 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6297436 KiB
Current children cumulated memory: 5606504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.54 s]
# the end of solver process 867037 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3432.27 s, system=167.783 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.12 4.12 4.09 6/256 868964
/proc/meminfo: memFree=112132812/131524600 swapFree=131071996/131071996
[pid=867037] ppid=867028 vsize=6297436 memory=5606504 CPUtime=3600.01 cores=1,3
/proc/867037/stat : 867037 (ipbhs_static_sc) R 867028 867037 866976 0 -1 4194304 1118319 0 0 0 343227 16774 0 0 20 0 1 0 168045739 6448574464 1401626 134679101440 4194304 16068861 140720313107984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 34070528 140720313115686 140720313115773 140720313115773 140720313122788 0
/proc/867037/statm: 1574359 1401626 2943 2900 0 1570873 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6297436 KiB
Current children cumulated memory: 5606504 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.54
CPU time (s): 3600.06
CPU user time (s): 3432.27
CPU system time (s): 167.783
CPU usage (%): 99.7372
Max. virtual memory (cumulated for all children) (KiB): 6297436
Max. memory (cumulated for all children) (KiB): 5606504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3432.27
system time used= 167.783
maximum resident set size= 5606504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1118319
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= 229
involuntary context switches= 3527
# summary of solver processes directly reported to runsolver:
# pid: 867037
# total CPU time (s): 3600.06
# total CPU user time (s): 3432.27
# total CPU system time (s): 167.783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79525 second user time and 18.925 second system time
The end
Begin job on nodeC022 at 2024-07-16 21:40:28 IDJOB=4432045 IDBENCH=158244 IDSOLVER=3057 FILE ID=nodeC022/4432045-1721158815 RUNJOBID= nodeC022-1721158828-866988 SLURM_JOB_ID= 7505771 Free space on /tmp= 889992 MiB SOLVER NAME= IPBHS-SCIP 2024-07-09 BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.G.recomb10-0.01-5.opb COMMAND LINE= ./ipbhs_static_scip BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432045-1721158815/watcher-4432045-1721158815 -o /tmp/evaluation-result-4432045-1721158815/solver-4432045-1721158815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721158828-866988 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432045-1721158815.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2fcb2c3eb5cc63f2f059b86c008c9f4a RANDOM SEED=1399225773 nodeC022.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 : 3727.890 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.66 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 : 3695.402 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 : 7006.96 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 : 3645.020 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.66 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 : 3834.084 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 : 7006.96 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 : 3788.476 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.66 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 : 3790.726 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 : 7006.96 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 : 3657.666 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.66 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 : 3636.666 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 : 7006.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127029512 kB MemAvailable: 129696596 kB Buffers: 410480 kB Cached: 3068504 kB SwapCached: 0 kB Active: 735308 kB Inactive: 3111864 kB Active(anon): 1452 kB Inactive(anon): 404500 kB Active(file): 733856 kB Inactive(file): 2707364 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 272448 kB Writeback: 0 kB AnonPages: 367656 kB Mapped: 103676 kB Shmem: 37720 kB KReclaimable: 131020 kB Slab: 241068 kB SReclaimable: 131020 kB SUnreclaim: 110048 kB KernelStack: 3856 kB PageTables: 9928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 656096 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62336 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 240340 kB DirectMap2M: 26796032 kB DirectMap1G: 109051904 kB Free space on /tmp at the end= 889812 MiB End job on nodeC022 at 2024-07-16 22:40:38