| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? (TO) | 3600.02 | 3610.21 |
| Name | PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12011_3-sat.opb |
| MD5SUM | f7b2b496c30aa17fcbe59599d08153aa |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 49368 |
| Total number of constraints | 158090 |
| Number of constraints which are clauses | 157278 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 812 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 93 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 18 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 546 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4502165-1751153715.opb>
0.30/0.33 c original problem has 49368 variables (49368 bin, 0 int, 0 cont) and 158090 constraints
0.30/0.33 c problem read in 0.328 seconds
0.30/0.33 c problem without objective
0.59/0.64 c presolving:
0.99/1.08 c (round 1, fast) 16710 del vars, 14375 del conss, 0 add conss, 3307 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 90456 clqs
1.18/1.22 c (round 2, fast) 29667 del vars, 62455 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 90259 clqs
1.18/1.25 c (round 3, fast) 29667 del vars, 63601 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 91106 clqs
1.29/1.38 c (1.4s) running MILP presolver
3.88/3.98 c (4.0s) MILP presolver (2 rounds): 0 aggregations, 5 fixings, 0 bound changes
3.98/4.03 c (round 4, medium) 29705 del vars, 63601 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 90593 clqs
3.98/4.04 c (round 5, fast) 29759 del vars, 64141 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 90567 clqs
4.28/4.31 c (round 6, exhaustive) 29759 del vars, 64174 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 93912 upgd conss, 0 impls, 90586 clqs
4.57/4.68 c (round 7, exhaustive) 29763 del vars, 112213 del conss, 15390 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 90586 clqs
4.67/4.73 c (round 8, fast) 29765 del vars, 112304 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 92348 clqs
4.67/4.76 c (round 9, fast) 29768 del vars, 112415 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 92223 clqs
4.67/4.80 c (round 10, fast) 29770 del vars, 112542 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 92100 clqs
4.77/4.82 c (round 11, fast) 29772 del vars, 112654 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91976 clqs
4.77/4.85 c (round 12, fast) 29774 del vars, 112781 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91852 clqs
4.77/4.88 c (round 13, fast) 29776 del vars, 112884 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91728 clqs
4.87/4.91 c (round 14, fast) 29778 del vars, 113004 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91604 clqs
4.87/4.94 c (round 15, fast) 29780 del vars, 113114 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91480 clqs
4.87/4.97 c (round 16, fast) 29782 del vars, 113228 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91356 clqs
4.87/5.00 c (round 17, fast) 29784 del vars, 113339 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91232 clqs
4.98/5.03 c (round 18, fast) 29785 del vars, 113432 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91231 clqs
4.98/5.06 c (round 19, fast) 29786 del vars, 113548 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91108 clqs
4.98/5.09 c (round 20, fast) 29788 del vars, 113670 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 90984 clqs
5.08/5.11 c (round 21, fast) 29790 del vars, 113792 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 90860 clqs
5.08/5.14 c (round 22, fast) 29792 del vars, 113911 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 90736 clqs
5.08/5.17 c (round 23, fast) 29794 del vars, 114034 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 90612 clqs
5.17/5.24 c (round 24, medium) 29886 del vars, 114156 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 90220 clqs
5.17/5.27 c (round 25, fast) 29887 del vars, 114277 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 90099 clqs
5.17/5.29 c (round 26, fast) 29892 del vars, 114852 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 89495 clqs
5.27/5.32 c (round 27, fast) 29902 del vars, 115767 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 88300 clqs
5.27/5.35 c (round 28, fast) 29907 del vars, 116559 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 87713 clqs
5.27/5.37 c (round 29, fast) 29909 del vars, 116838 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 87481 clqs
5.37/5.40 c (round 30, fast) 29912 del vars, 117167 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 87137 clqs
5.37/5.43 c (round 31, fast) 29914 del vars, 117402 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 86910 clqs
5.37/5.45 c (round 32, fast) 29916 del vars, 117584 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 86687 clqs
5.37/5.48 c (round 33, fast) 29918 del vars, 117817 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 86468 clqs
5.47/5.50 c (round 34, fast) 29922 del vars, 118179 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 86037 clqs
5.47/5.53 c (round 35, fast) 29924 del vars, 118475 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 85826 clqs
5.47/5.56 c (round 36, fast) 29935 del vars, 119218 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 84736 clqs
5.47/5.58 c (round 37, fast) 29939 del vars, 119795 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 84387 clqs
5.57/5.61 c (round 38, fast) 29942 del vars, 120128 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 84154 clqs
5.57/5.63 c (round 39, fast) 29954 del vars, 120374 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83508 clqs
5.57/5.66 c (round 40, fast) 29959 del vars, 120907 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83352 clqs
5.57/5.68 c (round 41, fast) 29961 del vars, 121038 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83308 clqs
5.67/5.70 c (round 42, fast) 29962 del vars, 121088 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83288 clqs
5.67/5.76 c (round 43, medium) 29975 del vars, 121158 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83204 clqs
5.67/5.78 c (round 44, fast) 29977 del vars, 121219 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83141 clqs
30.81/30.96 c (31.0s) probing: 1000/31222 (3.2%) - 23 fixings, 1 aggregations, 1653802 implications, 0 bound changes
36.00/36.17 c (round 45, exhaustive) 30007 del vars, 121225 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 216 chg coeffs, 93912 upgd conss, 0 impls, 360055 clqs
36.09/36.20 c (round 46, fast) 30025 del vars, 121327 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 230 chg coeffs, 93912 upgd conss, 0 impls, 358748 clqs
51.36/51.51 c (round 47, exhaustive) 30066 del vars, 121358 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 236 chg coeffs, 93912 upgd conss, 0 impls, 361797 clqs
51.36/51.54 c (round 48, fast) 30080 del vars, 121444 del conss, 15393 add conss, 3307 chg bounds, 164 chg sides, 249 chg coeffs, 93912 upgd conss, 0 impls, 361048 clqs
56.95/57.13 c (57.1s) probing: 2000/31222 (6.4%) - 50 fixings, 1 aggregations, 3698532 implications, 0 bound changes
73.59/73.89 c (round 49, exhaustive) 30120 del vars, 121454 del conss, 15404 add conss, 3307 chg bounds, 169 chg sides, 261 chg coeffs, 93912 upgd conss, 0 impls, 360046 clqs
73.69/73.92 c (round 50, fast) 30156 del vars, 121605 del conss, 15404 add conss, 3307 chg bounds, 171 chg sides, 302 chg coeffs, 93912 upgd conss, 0 impls, 357680 clqs
82.17/82.44 c (82.4s) probing: 3000/31222 (9.6%) - 85 fixings, 1 aggregations, 5612074 implications, 0 bound changes
103.82/104.11 c (104.1s) probing: 4000/31222 (12.8%) - 99 fixings, 2 aggregations, 6865772 implications, 0 bound changes
126.05/126.40 c (126.4s) probing: 5000/31222 (16.0%) - 100 fixings, 2 aggregations, 8135102 implications, 0 bound changes
145.70/146.17 c (round 51, exhaustive) 30188 del vars, 121611 del conss, 15411 add conss, 3307 chg bounds, 174 chg sides, 312 chg coeffs, 93912 upgd conss, 0 impls, 362411 clqs
145.80/146.20 c (round 52, fast) 30202 del vars, 121704 del conss, 15411 add conss, 3307 chg bounds, 176 chg sides, 331 chg coeffs, 93912 upgd conss, 0 impls, 362196 clqs
147.89/148.38 c (148.4s) probing: 6000/31222 (19.2%) - 114 fixings, 3 aggregations, 9463994 implications, 0 bound changes
167.94/168.47 c (168.5s) probing: 6937/31222 (22.2%) - 114 fixings, 3 aggregations, 10683088 implications, 0 bound changes
167.94/168.47 c (168.5s) probing aborted: 1000/1000 successive useless probings
167.94/168.47 c (168.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
168.03/168.58 c (168.6s) no symmetry present (symcode time: 0.03)
168.14/168.63 c presolving (53 rounds: 53 fast, 10 medium, 7 exhaustive):
168.14/168.63 c 30207 deleted vars, 121715 deleted constraints, 15421 added constraints, 3307 tightened bounds, 0 added holes, 176 changed sides, 332 changed coefficients
168.14/168.63 c 0 implications, 363538 cliques
168.14/168.63 c presolved problem has 30996 variables (30996 bin, 0 int, 0 cont) and 51768 constraints
168.14/168.63 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
168.14/168.63 c 757 constraints of type <knapsack>
168.14/168.63 c 37612 constraints of type <setppc>
168.14/168.63 c 13385 constraints of type <and>
168.14/168.63 c 14 constraints of type <logicor>
168.14/168.63 c transformed objective value is always integral (scale: 1)
168.14/168.63 c Presolving Time: 168.01
168.14/168.63 c
168.14/168.63 c - non default parameters ----------------------------------------------------------------------
168.14/168.63 c
168.14/168.63 c # SCIP version 10.0.0
168.14/168.63 c
168.14/168.63 c # maximal time in seconds to run
168.14/168.63 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
168.14/168.63 c limits/time = 3596.998012
168.14/168.63 c
168.14/168.63 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
168.14/168.63 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
168.14/168.63 c limits/memory = 27900
168.14/168.63 c
168.14/168.63 c # belongs reading time to solving time?
168.14/168.63 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
168.14/168.63 c timing/reading = TRUE
168.14/168.63 c
168.14/168.63 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
168.14/168.63 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
168.14/168.63 c reading/opbreader/maxintsize = 47
168.14/168.63 c
168.14/168.63 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
168.14/168.63 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
168.14/168.63 c propagating/genvbounds/timingmask = 0
168.14/168.63 c
168.14/168.63 c -----------------------------------------------------------------------------------------------
168.14/168.63 c
1206.28/1209.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1206.28/1209.51 c 1210s| 1 | 0 |112316 | - | 545M | 0 | 30k| 51k| 65k| 0 | 0 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
2811.96/2819.99 c 2820s| 1 | 0 |436170 | - | 575M | 0 | 30k| 51k| 65k| 108 | 1 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
3526.56/3536.62 c 3537s| 1 | 0 |492592 | - | 590M | 0 | 30k| 51k| 65k| 216 | 2 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
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: 63665 MiB (62545 MiB free)
memory of node 1: 64507 MiB (63624 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502165-1751153715/watcher-4502165-1751153715 -o /tmp/evaluation-result-4502165-1751153715/solver-4502165-1751153715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751146306-16116 --watchdog 3760 pbsolver -f HOME/instance-4502165-1751153715.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19144, runsolver pid=19141
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.15 4.12 4.09 5/265 19145
/proc/meminfo: memFree=129149520/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=71884 memory=61952 CPUtime=0.09 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 13517 0 0 0 8 1 0 0 20 0 1 0 31049265 73609216 15488 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 17971 15488 2176 2575 0 14878 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 61952 KiB
[startup+0.205703 s]*
/proc/loadavg: 4.15 4.12 4.09 5/265 19145
/proc/meminfo: memFree=129109440/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=107292 memory=96768 CPUtime=0.2 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 22235 0 0 0 17 3 0 0 20 0 1 0 31049265 109867008 24192 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 26823 24192 2176 2575 0 23730 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107292 KiB
Current children cumulated memory: 96768 KiB
[startup+0.305592 s]*
/proc/loadavg: 4.15 4.12 4.09 5/265 19145
/proc/meminfo: memFree=129069120/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=146764 memory=136192 CPUtime=0.3 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 32087 0 0 0 26 4 0 0 20 0 1 0 31049265 150286336 34048 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 36691 34048 2176 2575 0 33598 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 146764 KiB
Current children cumulated memory: 136192 KiB
[startup+0.700213 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 19145
/proc/meminfo: memFree=128956476/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=328948 memory=315588 CPUtime=0.69 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 77343 0 0 0 59 10 0 0 20 0 1 0 31049265 336842752 78897 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 82237 78897 2400 2575 0 79144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 328948 KiB
Current children cumulated memory: 315588 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 19145
/proc/meminfo: memFree=128875836/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=417496 memory=403748 CPUtime=1.49 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 97053 0 0 0 136 13 0 0 20 0 1 0 31049265 427515904 100937 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 104374 100937 2496 2575 0 101281 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 417496 KiB
Current children cumulated memory: 403748 KiB
[startup+3.10551 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 19145
/proc/meminfo: memFree=128811456/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=417496 memory=403748 CPUtime=3.08 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 97067 0 0 0 295 13 0 0 20 0 1 0 31049265 427515904 100937 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 104374 100937 2496 2575 0 101281 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 417496 KiB
Current children cumulated memory: 403748 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 19145
/proc/meminfo: memFree=128803644/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=412428 memory=399096 CPUtime=6.27 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 105383 0 0 0 613 14 0 0 20 0 1 0 31049265 422326272 99774 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 103107 99774 2592 2575 0 100014 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 412428 KiB
Current children cumulated memory: 399096 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 19145
/proc/meminfo: memFree=128779452/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=435376 memory=421612 CPUtime=12.66 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 109478 0 0 0 1250 16 0 0 20 0 1 0 31049265 445825024 105403 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 108844 105403 2592 2575 0 105751 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 435376 KiB
Current children cumulated memory: 421612 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 19145
/proc/meminfo: memFree=128763844/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=438384 memory=424556 CPUtime=25.42 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 110230 0 0 0 2526 16 0 0 20 0 1 0 31049265 448905216 106139 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 109596 106139 2592 2575 0 106503 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 438384 KiB
Current children cumulated memory: 424556 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 19146
/proc/meminfo: memFree=128740720/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=443116 memory=429420 CPUtime=50.96 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 111459 0 0 0 5080 16 0 0 20 0 1 0 31049265 453750784 107355 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 110779 107355 2592 2575 0 107686 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 443116 KiB
Current children cumulated memory: 429420 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 19148
/proc/meminfo: memFree=128714784/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=449568 memory=435948 CPUtime=102.02 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 113085 0 0 0 10186 16 0 0 20 0 1 0 31049265 460357632 108987 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 112392 108987 2592 2575 0 109299 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 449568 KiB
Current children cumulated memory: 435948 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 19150
/proc/meminfo: memFree=128683744/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=450744 memory=437100 CPUtime=161.85 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 113385 0 0 0 16169 16 0 0 20 0 1 0 31049265 461561856 109275 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 112686 109275 2592 2575 0 109593 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 450744 KiB
Current children cumulated memory: 437100 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 19152
/proc/meminfo: memFree=128536008/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=632800 memory=574032 CPUtime=221.69 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 148728 0 0 0 22147 22 0 0 20 0 1 0 31049265 647987200 143508 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 158200 143508 2656 2575 0 155107 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 632800 KiB
Current children cumulated memory: 574032 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 19159
/proc/meminfo: memFree=128511168/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=646580 memory=587548 CPUtime=281.53 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 150567 0 0 0 28131 22 0 0 20 0 1 0 31049265 662097920 146887 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 161645 146887 2656 2575 0 158552 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 646580 KiB
Current children cumulated memory: 587548 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 19164
/proc/meminfo: memFree=128468156/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=652672 memory=592552 CPUtime=341.36 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 150779 0 0 0 34114 22 0 0 20 0 1 0 31049265 668336128 148138 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 163168 148138 2656 2575 0 160075 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 652672 KiB
Current children cumulated memory: 592552 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 19165
/proc/meminfo: memFree=128466076/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=652672 memory=592552 CPUtime=401.2 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 150782 0 0 0 40098 22 0 0 20 0 1 0 31049265 668336128 148138 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 163168 148138 2656 2575 0 160075 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 652672 KiB
Current children cumulated memory: 592552 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 19167
/proc/meminfo: memFree=128330988/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=652672 memory=592552 CPUtime=461.04 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 150789 0 0 0 46082 22 0 0 20 0 1 0 31049265 668336128 148138 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 163168 148138 2656 2575 0 160075 0
################
# More data... #
################
Current children cumulated memory: 723112 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 19297
/proc/meminfo: memFree=128069268/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=2854.23 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180447 0 0 0 285396 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 2854.23 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 19298
/proc/meminfo: memFree=128068636/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=2914.05 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180458 0 0 0 291378 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 19300
/proc/meminfo: memFree=128070284/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=2973.86 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180529 0 0 0 297359 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 2973.86 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 19303
/proc/meminfo: memFree=128071712/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3033.68 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180529 0 0 0 303341 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3033.68 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 19305
/proc/meminfo: memFree=128073608/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3093.5 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180529 0 0 0 309323 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 19307
/proc/meminfo: memFree=128074492/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3153.32 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180529 0 0 0 315305 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3153.32 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 19309
/proc/meminfo: memFree=128075364/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3213.13 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180529 0 0 0 321286 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 19315
/proc/meminfo: memFree=128075364/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3272.95 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180529 0 0 0 327268 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 19320
/proc/meminfo: memFree=128075272/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3332.77 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180529 0 0 0 333250 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.00 4.08 4.08 3/251 19385
/proc/meminfo: memFree=128872948/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3392.58 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180529 0 0 0 339231 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+3462.3 s]
/proc/loadavg: 2.29 3.59 3.91 2/245 19417
/proc/meminfo: memFree=129366640/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3452.43 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180529 0 0 0 345216 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+3522.3 s]
/proc/loadavg: 1.52 3.13 3.73 2/245 19419
/proc/meminfo: memFree=129367876/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3512.29 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180529 0 0 0 351202 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
[startup+3582.3 s]
/proc/loadavg: 1.30 2.77 3.57 2/246 19422
/proc/meminfo: memFree=129364628/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3572.16 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180717 0 0 0 357189 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 1.19 2.63 3.50 2/246 19424
/proc/meminfo: memFree=129370664/131249996 swapFree=33010684/33010684
[pid=19144] ppid=19141 vsize=769580 memory=723112 CPUtime=3600.01 cores=1,3
/proc/19144/stat : 19144 (pbsolver) R 19141 19144 16104 0 -1 4194304 180718 0 0 0 359974 27 0 0 20 0 1 0 31049265 788049920 180778 18446744073709551615 4198400 14743177 140736334523472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 47566848 140736334526858 140736334526954 140736334526954 140736334532556 0
/proc/19144/statm: 192395 180778 2688 2575 0 189302 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 769580 KiB
Current children cumulated memory: 723112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 19144 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.75 s, system=0.277219 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.21
CPU time (s): 3600.02
CPU user time (s): 3599.75
CPU system time (s): 0.277219
CPU usage (%): 99.718
Max. virtual memory (cumulated for all children) (KiB): 769580
Max. memory (cumulated for all children) (KiB): 723112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.75
system time used= 0.277219
maximum resident set size= 723112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180718
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= 17
involuntary context switches= 4734
# summary of solver processes directly reported to runsolver:
# pid: 19144
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.75
# total CPU system time (s): 0.277219
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03026 second user time and 15.4447 second system time
The end
Begin job on nodeC017 at 2025-06-29 01:35:15 IDJOB=4502165 IDBENCH=154773 IDSOLVER=3366 FILE ID=nodeC017/4502165-1751153715 RUNJOBID= nodeC017-1751146306-16116 SLURM_JOB_ID= 9587458 Free space on /tmp= 432964 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_3-sat.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502165-1751153715/watcher-4502165-1751153715 -o /tmp/evaluation-result-4502165-1751153715/solver-4502165-1751153715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751146306-16116 --watchdog 3760 pbsolver -f HOME/instance-4502165-1751153715.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f7b2b496c30aa17fcbe59599d08153aa RANDOM SEED=856984695 nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3600.056 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3600.072 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3601.079 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3600.061 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3600.089 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3600.068 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3600.419 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3662.906 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129197940 kB MemAvailable: 128917264 kB Buffers: 3280 kB Cached: 530176 kB SwapCached: 0 kB Active: 1142144 kB Inactive: 311184 kB Active(anon): 937952 kB Inactive(anon): 0 kB Active(file): 204192 kB Inactive(file): 311184 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19812 kB Writeback: 280 kB AnonPages: 922036 kB Mapped: 135204 kB Shmem: 18080 kB KReclaimable: 85976 kB Slab: 169084 kB SReclaimable: 85976 kB SUnreclaim: 83108 kB KernelStack: 4320 kB PageTables: 4968 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1322248 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 176852 kB DirectMap2M: 6934528 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432996 MiB End job on nodeC017 at 2025-06-29 02:35:26