Trace number 4499122
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
| Name | PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb |
| MD5SUM | c4903dfb08836eadb378d0a168fb9840 |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 0.630697 |
| 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 | 2994 |
| Total number of constraints | 3433 |
| Number of constraints which are clauses | 2988 |
| Number of constraints which are cardinality constraints (but not clauses) | 61 |
| Number of constraints which are nor clauses,nor cardinality constraints | 384 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 384 |
| Number of terms in the objective function | 6 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6 |
| Number of bits of the sum of numbers in the objective function | 3 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 757 |
| 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 |
Solver Data
0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4499122-1751405174.opb'
0.00/0.02 c read 0.31MB (3.80ms)
0.00/0.02 c [cnf: #variables 2994 #clauses 3434 #duplicates 0 #arr 32016]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 36] (3.89ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c recursing 204 blocks of candidate 6x998r
0.00/0.04 c found row 10x12, generating row predicate
0.00/0.05 c found row 6x998, generating row predicate
0.00/0.05 c (28.99ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 17996 #edges 87168]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 8.73*10^175 #generators 349] (17.65ms)
0.00/0.07 c
0.00/0.07 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.07 c ran it=0, +gens=56
0.08/0.13 c con best_support=12, best_gens=288, +gens=253
0.08/0.13 c (67.91ms)
0.08/0.13 c
0.08/0.13 c finalize break order and special generators
0.08/0.14 c
0.08/0.14 c add generic predicates (break_depth=20)
0.08/0.14 c added predicates for 658 generators (7.76ms)
0.08/0.14 c
0.08/0.14 c generation finished
0.08/0.14 c [sbp: #constraints 30618 #add_vars 9982]
0.08/0.14 c
0.08/0.14 c write result to 'HOME/instance-4499122-1751405174.opb.pre'
0.08/0.15 c wrote 1.41MB (3.33ms)
0.08/0.15 c ------------------------------------------------------------------
0.08/0.15 c 67.91ms 50.12% optimize_gens
0.08/0.15 c 28.99ms 21.39% detect_special
0.08/0.15 c 17.65ms 13.03% detect_generic
0.08/0.15 c 7.76ms 5.73% break_generic
0.08/0.15 c 3.89ms 2.87% approx_orbits
0.08/0.15 c 3.80ms 2.80% parse
0.08/0.15 c 3.33ms 2.46% output
0.08/0.15 c 1.41ms 1.04% finalize_order
0.08/0.15 c 0.75ms 0.55% other
0.08/0.15 c ───────────────────────────────────────────────
0.08/0.15 c 135.50ms 100% total
0.08/0.15 c ------------------------------------------------------------------
0.08/0.16 c RoundingSat 2
0.08/0.16 c branch pb25
0.08/0.16 c commit 63f22ad
0.27/0.33 c #variables 12976 #constraints 34091
0.27/0.33 c objective is ce32
0.37/0.45 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.37/0.45 c initial counting CF 32, 64, 128, Arb: 385 , 0 , 0 , 0
0.37/0.45 c bounds - >= 0 @ 0.252105
1.16/1.24 c #Conflicts: 1000 | #Constraints: 35090
1.16/1.24 c #Conflicts: 2000 | #Constraints: 36090
1.16/1.24 c INPROCESSING
1.16/1.24 c GARBAGE COLLECT
1.16/1.24 c rational objective 6
1.96/2.08 c #Conflicts: 3000 | #Constraints: 33023
1.96/2.08 c #Conflicts: 4000 | #Constraints: 34023
1.96/2.08 c INPROCESSING
1.96/2.08 c GARBAGE COLLECT
1.96/2.08 c rational objective 6
3.15/3.28 c #Conflicts: 5000 | #Constraints: 33438
3.15/3.28 c #Conflicts: 6000 | #Constraints: 34438
3.15/3.28 c INPROCESSING
3.15/3.28 c GARBAGE COLLECT
3.15/3.28 c rational objective 6
12.13/12.27 c #Conflicts: 7000 | #Constraints: 33433
12.13/12.27 c #Conflicts: 8000 | #Constraints: 34434
12.13/12.27 c #Conflicts: 9000 | #Constraints: 35434
12.13/12.27 c INPROCESSING
12.13/12.27 c GARBAGE COLLECT
12.13/12.27 c #Conflicts: 10000 | #Constraints: 34135
12.13/12.27 c #Conflicts: 11000 | #Constraints: 35136
12.13/12.27 c #Conflicts: 12000 | #Constraints: 36136
12.13/12.27 c INPROCESSING
12.13/12.27 c GARBAGE COLLECT
12.13/12.27 c rational objective 6
14.12/14.25 c #Conflicts: 13000 | #Constraints: 34391
14.12/14.25 c #Conflicts: 14000 | #Constraints: 35391
14.12/14.25 c #Conflicts: 15000 | #Constraints: 36391
14.12/14.25 c INPROCESSING
14.12/14.25 c GARBAGE COLLECT
14.12/14.25 c rational objective 6
17.11/17.28 c #Conflicts: 16000 | #Constraints: 34624
17.11/17.28 c #Conflicts: 17000 | #Constraints: 35624
17.11/17.28 c #Conflicts: 18000 | #Constraints: 36624
17.11/17.28 c INPROCESSING
17.11/17.28 c GARBAGE COLLECT
17.11/17.28 c rational objective 6
19.31/19.49 c #Conflicts: 19000 | #Constraints: 34638
19.31/19.49 c #Conflicts: 20000 | #Constraints: 35638
19.31/19.49 c #Conflicts: 21000 | #Constraints: 36638
19.31/19.49 c INPROCESSING
19.31/19.49 c GARBAGE COLLECT
19.31/19.49 c rational objective 6
25.69/25.84 c #Conflicts: 22000 | #Constraints: 34436
25.69/25.84 c #Conflicts: 23000 | #Constraints: 35436
25.69/25.84 c #Conflicts: 24000 | #Constraints: 36436
25.69/25.84 c #Conflicts: 25000 | #Constraints: 37436
25.69/25.84 c INPROCESSING
25.69/25.84 c GARBAGE COLLECT
25.69/25.84 c #Conflicts: 26000 | #Constraints: 35042
25.69/25.84 c #Conflicts: 27000 | #Constraints: 36043
25.69/25.84 c #Conflicts: 28000 | #Constraints: 37043
25.69/25.84 c #Conflicts: 29000 | #Constraints: 38043
25.69/25.84 c INPROCESSING
25.69/25.84 c GARBAGE COLLECT
25.69/25.84 c #Conflicts: 30000 | #Constraints: 35428
25.69/25.84 c #Conflicts: 31000 | #Constraints: 36441
25.69/25.84 c #Conflicts: 32000 | #Constraints: 37448
25.69/25.84 c #Conflicts: 33000 | #Constraints: 38451
25.69/25.84 c INPROCESSING
25.69/25.84 c GARBAGE COLLECT
25.69/25.84 c rational objective 6
28.08/28.27 c #Conflicts: 34000 | #Constraints: 35544
28.08/28.27 c #Conflicts: 35000 | #Constraints: 36545
28.08/28.27 c #Conflicts: 36000 | #Constraints: 37545
28.08/28.27 c #Conflicts: 37000 | #Constraints: 38545
28.08/28.27 c INPROCESSING
28.08/28.27 c GARBAGE COLLECT
28.08/28.27 c rational objective 6
30.57/30.74 c #Conflicts: 38000 | #Constraints: 35556
30.57/30.74 c #Conflicts: 39000 | #Constraints: 36556
30.57/30.74 c #Conflicts: 40000 | #Constraints: 37556
30.57/30.74 c #Conflicts: 41000 | #Constraints: 38556
30.57/30.74 c INPROCESSING
30.57/30.74 c GARBAGE COLLECT
30.57/30.74 c rational objective 6
32.88/33.06 c #Conflicts: 42000 | #Constraints: 35354
32.88/33.06 c #Conflicts: 43000 | #Constraints: 36354
32.88/33.06 c #Conflicts: 44000 | #Constraints: 37354
32.88/33.06 c #Conflicts: 45000 | #Constraints: 38355
32.88/33.06 c #Conflicts: 46000 | #Constraints: 39358
32.88/33.06 c INPROCESSING
32.88/33.06 c GARBAGE COLLECT
32.88/33.06 c rational objective 6
37.06/37.25 c #Conflicts: 47000 | #Constraints: 35916
37.06/37.25 c #Conflicts: 48000 | #Constraints: 36919
37.06/37.25 c #Conflicts: 49000 | #Constraints: 37922
37.06/37.25 c #Conflicts: 50000 | #Constraints: 38922
37.06/37.25 c #Conflicts: 51000 | #Constraints: 39925
37.06/37.25 c INPROCESSING
37.06/37.25 c GARBAGE COLLECT
37.06/37.25 c rational objective 6
40.06/40.25 c #Conflicts: 52000 | #Constraints: 36307
40.06/40.25 c #Conflicts: 53000 | #Constraints: 37307
40.06/40.25 c #Conflicts: 54000 | #Constraints: 38307
40.06/40.25 c #Conflicts: 55000 | #Constraints: 39308
40.06/40.25 c #Conflicts: 56000 | #Constraints: 40308
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c rational objective 6
43.95/44.15 c #Conflicts: 57000 | #Constraints: 36461
43.95/44.15 c #Conflicts: 58000 | #Constraints: 37461
43.95/44.15 c #Conflicts: 59000 | #Constraints: 38461
43.95/44.15 c #Conflicts: 60000 | #Constraints: 39461
43.95/44.15 c #Conflicts: 61000 | #Constraints: 40462
43.95/44.15 c INPROCESSING
43.95/44.15 c GARBAGE COLLECT
43.95/44.15 c rational objective 6
49.34/49.54 c #Conflicts: 62000 | #Constraints: 35958
49.34/49.54 c #Conflicts: 63000 | #Constraints: 36960
49.34/49.54 c #Conflicts: 64000 | #Constraints: 37960
49.34/49.54 c #Conflicts: 65000 | #Constraints: 38961
49.34/49.54 c #Conflicts: 66000 | #Constraints: 39961
49.34/49.54 c INPROCESSING
49.34/49.54 c GARBAGE COLLECT
49.34/49.54 c rational objective 6
54.72/55.00 c #Conflicts: 67000 | #Constraints: 35758
54.72/55.00 c #Conflicts: 68000 | #Constraints: 36758
54.72/55.00 c #Conflicts: 69000 | #Constraints: 37759
54.72/55.00 c #Conflicts: 70000 | #Constraints: 38760
54.72/55.00 c #Conflicts: 71000 | #Constraints: 39761
54.72/55.00 c #Conflicts: 72000 | #Constraints: 40765
54.72/55.00 c INPROCESSING
54.72/55.00 c GARBAGE COLLECT
54.72/55.00 c rational objective 6
58.61/58.82 c #Conflicts: 73000 | #Constraints: 36364
58.61/58.82 c #Conflicts: 74000 | #Constraints: 37364
58.61/58.82 c #Conflicts: 75000 | #Constraints: 38364
58.61/58.82 c #Conflicts: 76000 | #Constraints: 39364
58.61/58.82 c #Conflicts: 77000 | #Constraints: 40364
58.61/58.82 c #Conflicts: 78000 | #Constraints: 41365
58.61/58.82 c INPROCESSING
58.61/58.82 c GARBAGE COLLECT
58.61/58.82 c rational objective 6
65.00/65.29 c #Conflicts: 79000 | #Constraints: 36760
65.00/65.29 c #Conflicts: 80000 | #Constraints: 37760
65.00/65.29 c #Conflicts: 81000 | #Constraints: 38760
65.00/65.29 c #Conflicts: 82000 | #Constraints: 39761
65.00/65.29 c #Conflicts: 83000 | #Constraints: 40762
65.00/65.29 c #Conflicts: 84000 | #Constraints: 41763
65.00/65.29 c INPROCESSING
65.00/65.29 c GARBAGE COLLECT
65.00/65.29 c rational objective 6
72.17/72.48 c #Conflicts: 85000 | #Constraints: 36924
72.17/72.48 c #Conflicts: 86000 | #Constraints: 37924
72.17/72.48 c #Conflicts: 87000 | #Constraints: 38924
72.17/72.48 c #Conflicts: 88000 | #Constraints: 39924
72.17/72.48 c #Conflicts: 89000 | #Constraints: 40925
72.17/72.48 c #Conflicts: 90000 | #Constraints: 41927
72.17/72.48 c INPROCESSING
72.17/72.48 c GARBAGE COLLECT
72.17/72.48 c rational objective 6
85.04/85.37 c #Conflicts: 91000 | #Constraints: 36820
85.04/85.37 c #Conflicts: 92000 | #Constraints: 37820
85.04/85.37 c #Conflicts: 93000 | #Constraints: 38820
85.04/85.37 c #Conflicts: 94000 | #Constraints: 39820
85.04/85.37 c #Conflicts: 95000 | #Constraints: 40820
85.04/85.37 c #Conflicts: 96000 | #Constraints: 41820
85.04/85.37 c INPROCESSING
85.04/85.37 c GARBAGE COLLECT
85.04/85.37 c rational objective 6
94.22/94.51 c #Conflicts: 97000 | #Constraints: 36616
94.22/94.51 c #Conflicts: 98000 | #Constraints: 37616
94.22/94.51 c #Conflicts: 99000 | #Constraints: 38616
94.22/94.51 c #Conflicts: 100000 | #Constraints: 39616
94.22/94.51 c #Conflicts: 101000 | #Constraints: 40616
94.22/94.51 c #Conflicts: 102000 | #Constraints: 41616
94.22/94.51 c #Conflicts: 103000 | #Constraints: 42616
94.22/94.51 c INPROCESSING
94.22/94.51 c GARBAGE COLLECT
94.22/94.51 c rational objective 6
99.30/99.67 c #Conflicts: 104000 | #Constraints: 37209
99.30/99.67 c #Conflicts: 105000 | #Constraints: 38209
99.30/99.67 c #Conflicts: 106000 | #Constraints: 39210
99.30/99.67 c #Conflicts: 107000 | #Constraints: 40210
99.30/99.67 c #Conflicts: 108000 | #Constraints: 41210
99.30/99.67 c #Conflicts: 109000 | #Constraints: 42212
99.30/99.67 c #Conflicts: 110000 | #Constraints: 43221
99.30/99.67 c INPROCESSING
99.30/99.67 c GARBAGE COLLECT
99.30/99.67 c rational objective 6
106.09/106.41 c #Conflicts: 111000 | #Constraints: 37623
106.09/106.41 c #Conflicts: 112000 | #Constraints: 38626
106.09/106.41 c #Conflicts: 113000 | #Constraints: 39629
106.09/106.41 c #Conflicts: 114000 | #Constraints: 40630
106.09/106.41 c #Conflicts: 115000 | #Constraints: 41631
106.09/106.41 c #Conflicts: 116000 | #Constraints: 42635
106.09/106.41 c #Conflicts: 117000 | #Constraints: 43635
106.09/106.41 c INPROCESSING
106.09/106.41 c GARBAGE COLLECT
106.09/106.41 c rational objective 6
112.07/112.43 c #Conflicts: 118000 | #Constraints: 37604
112.07/112.43 c #Conflicts: 119000 | #Constraints: 38604
112.07/112.43 c #Conflicts: 120000 | #Constraints: 39604
112.07/112.43 c #Conflicts: 121000 | #Constraints: 40604
112.07/112.43 c #Conflicts: 122000 | #Constraints: 41607
112.07/112.43 c #Conflicts: 123000 | #Constraints: 42607
112.07/112.43 c #Conflicts: 124000 | #Constraints: 43612
112.07/112.43 c INPROCESSING
112.07/112.43 c GARBAGE COLLECT
112.07/112.43 c rational objective 6
117.85/118.21 c #Conflicts: 125000 | #Constraints: 37597
117.85/118.21 c #Conflicts: 126000 | #Constraints: 38597
117.85/118.21 c #Conflicts: 127000 | #Constraints: 39597
117.85/118.21 c #Conflicts: 128000 | #Constraints: 40597
117.85/118.21 c #Conflicts: 129000 | #Constraints: 41598
117.85/118.21 c #Conflicts: 130000 | #Constraints: 42601
117.85/118.21 c #Conflicts: 131000 | #Constraints: 43604
117.85/118.21 c INPROCESSING
117.85/118.21 c GARBAGE COLLECT
117.85/118.21 c rational objective 6
126.13/126.53 c #Conflicts: 132000 | #Constraints: 37381
126.13/126.53 c #Conflicts: 133000 | #Constraints: 38381
126.13/126.53 c #Conflicts: 134000 | #Constraints: 39381
126.13/126.53 c #Conflicts: 135000 | #Constraints: 40381
126.13/126.53 c #Conflicts: 136000 | #Constraints: 41383
126.13/126.53 c #Conflicts: 137000 | #Constraints: 42386
126.13/126.53 c #Conflicts: 138000 | #Constraints: 43387
126.13/126.53 c #Conflicts: 139000 | #Constraints: 44389
126.13/126.53 c INPROCESSING
126.13/126.53 c GARBAGE COLLECT
126.13/126.53 c rational objective 6
130.92/131.32 c #Conflicts: 140000 | #Constraints: 37987
130.92/131.32 c #Conflicts: 141000 | #Constraints: 38988
130.92/131.32 c #Conflicts: 142000 | #Constraints: 39991
130.92/131.32 c #Conflicts: 143000 | #Constraints: 40998
130.92/131.32 c Inconsistent objective-improving constraint
130.92/131.32 c bounds 6 >= 6 @ 129.312
130.92/131.32 c cpu time 129.312 s
130.92/131.32 c deterministic time 8623546110 8.62e+09
130.92/131.32 c optimization time 0.122015 s
130.92/131.32 c total solve time 129.059 s
130.92/131.32 c core-guided solve time 68.1283 s
130.92/131.32 c propagation time 80.159 s
130.92/131.32 c conflict analysis time 29.8187 s
130.92/131.32 c propagations 45353308
130.92/131.32 c resolve steps 1144260
130.92/131.32 c decisions 650050
130.92/131.32 c conflicts 143964
130.92/131.32 c restarts 381
130.92/131.32 c inprocessing phases 29
130.92/131.32 c garbage collections 29 ,( 100.00 )
130.92/131.32 c input clauses 33646 ,( 98.69 )
130.92/131.32 c input cardinalities 61 ,( 0.18 )
130.92/131.32 c input general constraints 384 ,( 1.13 )
130.92/131.32 c input average constraint length 3.66
130.92/131.32 c input average constraint degree 8.65
130.92/131.32 c learned clauses 22210 ,( 15.40 )
130.92/131.32 c learned cardinalities 1092 ,( 0.76 )
130.92/131.32 c learned general constraints 120911 ,( 83.84 )
130.92/131.32 c learned average constraint length 426.80
130.92/131.32 c learned average constraint degree 816064643.28
130.92/131.32 c watched CF 32, 64, 128, Arb: 45214 , 0 , 0 , 0
130.92/131.32 c counting CF 32, 64, 128, Arb: 76082 , 0 , 0 , 0
130.92/131.32 c watched constraints 45214 ,( 37.28 )
130.92/131.32 c counting constraints 76081 ,( 62.72 )
130.92/131.32 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 23908304 , 1891478 , 184806333 ,( 20966469 , 163839864 )
130.92/131.32 c gcd simplifications 22315
130.92/131.32 c detected cardinalities 55
130.92/131.32 c weakened non-implied lits 17954277
130.92/131.32 c weakened non-implying lits 35408
130.92/131.32 c original variables 12976
130.92/131.32 c clausal propagations 20810894
130.92/131.32 c cardinality propagations 1195283
130.92/131.32 c watched propagations 286257
130.92/131.32 c counting propagations 22555901
130.92/131.32 c watch lookups 3792686128
130.92/131.32 c watch backjump lookups 0
130.92/131.32 c watch checks 1702195794
130.92/131.32 c propagation checks 2838957615
130.92/131.32 c constraint additions 197374905
130.92/131.32 c trail pops 46146919
130.92/131.32 c formula constraints 34091
130.92/131.32 c learned constraints 143791
130.92/131.32 c bound constraints 0
130.92/131.32 c core-guided constraints 0
130.92/131.32 c encountered formula constraints 747890
130.92/131.32 c encountered learned constraints 520907
130.92/131.32 c encountered bound constraints 0
130.92/131.32 c encountered core-guided constraints 0
130.92/131.32 c LP total time 37.5312 s
130.92/131.32 c LP solve time 30.41 s
130.92/131.32 c LP constraints added 34339
130.92/131.32 c LP constraints removed 239
130.92/131.32 c LP pivots internal 143971
130.92/131.32 c LP pivots root 37419
130.92/131.32 c LP calls 386
130.92/131.32 c LP optimalities 205
130.92/131.32 c LP no pivot count 15
130.92/131.32 c LP infeasibilities 177
130.92/131.32 c LP valid Farkas constraints 175
130.92/131.32 c LP learned Farkas constraints 173
130.92/131.32 c LP basis resets 2
130.92/131.32 c LP cycling count 0
130.92/131.32 c LP singular count 0
130.92/131.32 c LP no primal count 0
130.92/131.32 c LP no farkas count 2
130.92/131.32 c LP other issue count 0
130.92/131.32 c LP Gomory cuts 74
130.92/131.32 c LP learned cuts 174
130.92/131.32 c LP deleted cuts 239
130.92/131.32 c LP encountered Gomory constraints 3955
130.92/131.32 c LP encountered Farkas constraints 14483
130.92/131.32 c LP encountered learned Farkas constraints 816
130.92/131.32 c CG auxiliary variables introduced 0
130.92/131.32 c CG solutions found 1
130.92/131.32 c CG cores constructed 0
130.92/131.32 c CG core cardinality constraints returned 0
130.92/131.32 c CG unit cores 0
130.92/131.32 c CG single cores 0
130.92/131.32 c CG blocks removed during cardinality reduction 0
130.92/131.32 c CG first core best 0
130.92/131.32 c CG decision core best 0
130.92/131.32 c CG core reduction tie 0
130.92/131.32 c CG core degree average 0.00
130.92/131.32 c CG core slack average 0.00
130.92/131.32 c CG core upper bound improvements 0
130.92/131.32 c STR number of successful calls 0
130.92/131.32 c STR number of unsuccessful calls 0
130.92/131.32 c STR number of inconclusive calls 0
130.92/131.32 c STR number of successful attempts 0
130.92/131.32 c STR number of unsuccessful attempts 0
130.92/131.32 c STR number of inconclusive attempts 0
130.92/131.32 c STR average degree increase per successful call inf
130.92/131.32 c STR average degree increase per successful attempt inf
130.92/131.32 c STR total number of conflicts for successful attempts 0
130.92/131.32 c STR total number of conflicts for unsuccessful attempts 0
130.92/131.32 c STR total number of conflicts for inconclusive attempts 0
130.92/131.32 c STR average number of conflicts per successful attempt inf
130.92/131.32 c STR average number of conflicts per unsuccessful attempt inf
130.92/131.32 c STR average number of conflicts per inconclusive attempt inf
130.92/131.32 c AVG.sumWPerc 53.63
130.92/131.32 c bigint constraints 0
130.92/131.32 o 6
130.92/131.32 s OPTIMUM FOUND
130.92/131.32 v x1 -x2 -x3 x4 -x5 x6 x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
Verifier Data
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61871 MiB free)
memory of node 1: 64465 MiB (43952 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499122-1751405174/watcher-4499122-1751405174 -o /tmp/evaluation-result-4499122-1751405174/solver-4499122-1751405174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55313 --watchdog 3760 run-opt-ls.sh HOME/instance-4499122-1751405174.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56584, runsolver pid=56581
[startup+0.100057 s]*
/proc/loadavg: 4.09 4.11 4.09 5/268 56586
/proc/meminfo: memFree=108359364/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56586] ppid=56584 vsize=22344 memory=13912 CPUtime=0.08 cores=5,7
/proc/56586/stat : 56586 (pbsuma) R 56584 56584 55300 0 -1 4194304 2938 0 0 0 8 0 0 0 20 0 1 0 56195883 22880256 3478 18446744073709551615 4210688 4653049 140733161610224 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 19603456 140733161617763 140733161617970 140733161617970 140733161623535 0
/proc/56586/statm: 5586 3478 1024 108 0 2994 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 26536 KiB
Current children cumulated memory: 16984 KiB
[startup+0.204918 s]*
/proc/loadavg: 4.09 4.11 4.09 5/268 56587
/proc/meminfo: memFree=108357616/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=63104 memory=18480 CPUtime=0.04 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 2317 0 0 0 3 1 0 0 20 0 1 0 56195898 64618496 4620 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 15776 4620 2048 1147 0 3203 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 67296 KiB
Current children cumulated memory: 21552 KiB
[startup+0.305429 s]*
/proc/loadavg: 4.09 4.11 4.09 5/268 56587
/proc/meminfo: memFree=108332728/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=92208 memory=43864 CPUtime=0.14 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 7177 0 0 0 11 3 0 0 20 0 1 0 56195898 94420992 10966 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 23052 10966 2304 1147 0 10479 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 96400 KiB
Current children cumulated memory: 46936 KiB
[startup+0.700194 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 56587
/proc/meminfo: memFree=108296688/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=130676 memory=72232 CPUtime=0.53 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 12760 0 0 0 47 6 0 0 20 0 1 0 56195898 133812224 18058 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 32669 18058 2432 1147 0 20096 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 134868 KiB
Current children cumulated memory: 75304 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 56587
/proc/meminfo: memFree=108288876/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=143104 memory=84344 CPUtime=1.32 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 15286 0 0 0 124 8 0 0 20 0 1 0 56195898 146538496 21086 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 35776 21086 2432 1147 0 23203 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 147296 KiB
Current children cumulated memory: 87416 KiB
[startup+3.10547 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 56587
/proc/meminfo: memFree=108273444/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=160092 memory=99048 CPUtime=2.93 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 18452 0 0 0 281 12 0 0 20 0 1 0 56195898 163934208 24762 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 40023 24762 2432 1147 0 27450 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 164284 KiB
Current children cumulated memory: 102120 KiB
[startup+6.30019 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 56587
/proc/meminfo: memFree=108269600/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=167364 memory=106376 CPUtime=6.11 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 19797 0 0 0 595 16 0 0 20 0 1 0 56195898 171380736 26594 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 41841 26594 2432 1147 0 29268 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 171556 KiB
Current children cumulated memory: 109448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 56587
/proc/meminfo: memFree=108270104/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=170976 memory=109448 CPUtime=12.49 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 20578 0 0 0 1227 22 0 0 20 0 1 0 56195898 175079424 27362 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 42744 27362 2432 1147 0 30171 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 175168 KiB
Current children cumulated memory: 112520 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 56587
/proc/meminfo: memFree=108228312/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=206432 memory=146252 CPUtime=25.26 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 27720 0 0 0 2482 44 0 0 20 0 1 0 56195898 211386368 36563 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 51608 36563 2432 1147 0 39035 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 210624 KiB
Current children cumulated memory: 149324 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 56587
/proc/meminfo: memFree=108185804/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=255764 memory=184664 CPUtime=50.8 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 35307 0 0 0 5005 75 0 0 20 0 1 0 56195898 261902336 46166 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 63941 46166 2432 1147 0 51368 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 259956 KiB
Current children cumulated memory: 187736 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 56591
/proc/meminfo: memFree=108022456/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=361820 memory=278020 CPUtime=101.86 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 54520 0 0 0 10064 122 0 0 20 0 1 0 56195898 370503680 69505 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 90455 69505 2528 1147 0 77882 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 366012 KiB
Current children cumulated memory: 281092 KiB
[startup+131.342 s]
# the end of solver process 56584 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=129.449 s, system=1.53469 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 56591
/proc/meminfo: memFree=108022456/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=361820 memory=278020 CPUtime=101.96 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 54520 0 0 0 10074 122 0 0 20 0 1 0 56195898 370503680 69505 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 90455 69505 2528 1147 0 77882 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 366012 KiB
Current children cumulated memory: 281092 KiB
[startup+115.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/269 56591
/proc/meminfo: memFree=107998288/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=361820 memory=278020 CPUtime=114.74 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 54525 0 0 0 11337 137 0 0 20 0 1 0 56195898 370503680 69505 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 90455 69505 2528 1147 0 77882 0
Current children cumulated CPU time: 114.87 s
Current children cumulated vsize: 366012 KiB
Current children cumulated memory: 281092 KiB
[startup+121.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 56593
/proc/meminfo: memFree=108015084/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=361820 memory=278020 CPUtime=121.11 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 54527 0 0 0 11968 143 0 0 20 0 1 0 56195898 370503680 69505 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 90455 69505 2528 1147 0 77882 0
Current children cumulated CPU time: 121.24 s
Current children cumulated vsize: 366012 KiB
Current children cumulated memory: 281092 KiB
[startup+128 s]*
/proc/loadavg: 4.08 4.09 4.09 5/269 56593
/proc/meminfo: memFree=108015216/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=361820 memory=278020 CPUtime=127.51 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 54529 0 0 0 12602 149 0 0 20 0 1 0 56195898 370503680 69505 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 90455 69505 2528 1147 0 77882 0
Current children cumulated CPU time: 127.64 s
Current children cumulated vsize: 366012 KiB
Current children cumulated memory: 281092 KiB
[startup+129.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 56593
/proc/meminfo: memFree=108015216/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=361820 memory=278020 CPUtime=129.1 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 54529 0 0 0 12760 150 0 0 20 0 1 0 56195898 370503680 69505 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 90455 69505 2528 1147 0 77882 0
Current children cumulated CPU time: 129.23 s
Current children cumulated vsize: 366012 KiB
Current children cumulated memory: 281092 KiB
[startup+130.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 56593
/proc/meminfo: memFree=108015216/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=361820 memory=278020 CPUtime=129.9 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 54529 0 0 0 12839 151 0 0 20 0 1 0 56195898 370503680 69505 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 90455 69505 2528 1147 0 77882 0
Current children cumulated CPU time: 130.03 s
Current children cumulated vsize: 366012 KiB
Current children cumulated memory: 281092 KiB
[startup+130.8 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 56593
/proc/meminfo: memFree=108015216/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=361820 memory=278020 CPUtime=130.3 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 54529 0 0 0 12879 151 0 0 20 0 1 0 56195898 370503680 69505 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 90455 69505 2528 1147 0 77882 0
Current children cumulated CPU time: 130.43 s
Current children cumulated vsize: 366012 KiB
Current children cumulated memory: 281092 KiB
[startup+131.2 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 56593
/proc/meminfo: memFree=108015216/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=361820 memory=278020 CPUtime=130.69 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 54529 0 0 0 12918 151 0 0 20 0 1 0 56195898 370503680 69505 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 90455 69505 2528 1147 0 77882 0
Current children cumulated CPU time: 130.82 s
Current children cumulated vsize: 366012 KiB
Current children cumulated memory: 281092 KiB
[startup+131.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 56593
/proc/meminfo: memFree=108015216/131249996 swapFree=33010160/33010684
[pid=56584] ppid=56581 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/56584/stat : 56584 (run-opt-ls.sh) S 56581 56584 55300 0 -1 4194304 238 3106 0 0 0 0 13 0 20 0 1 0 56195882 4292608 768 18446744073709551615 94860080173056 94860081067589 140720337654320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94860081306640 94860081354384 94860084318208 140720337656167 140720337656293 140720337656293 140720337661895 0
/proc/56584/statm: 1048 768 704 219 0 110 0
[pid=56587] ppid=56584 vsize=361820 memory=278020 CPUtime=130.79 cores=5,7
/proc/56587/stat : 56587 (roundingsat) R 56584 56584 55300 0 -1 4194304 54529 0 0 0 12928 151 0 0 20 0 1 0 56195898 370503680 69505 18446744073709551615 4227072 8923433 140735343847072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16896000 140735343851846 140735343852072 140735343852072 140735343857642 0
/proc/56587/statm: 90455 69505 2528 1147 0 77882 0
Current children cumulated CPU time: 130.92 s
Current children cumulated vsize: 366012 KiB
Current children cumulated memory: 281092 KiB
Child status: 0
Real time (s): 131.342
CPU time (s): 130.984
CPU user time (s): 129.449
CPU system time (s): 1.53469
CPU usage (%): 99.7274
Max. virtual memory (cumulated for all children) (KiB): 366012
Max. memory (cumulated for all children) (KiB): 281092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.449
system time used= 1.53469
maximum resident set size= 278020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 187
# summary of solver processes directly reported to runsolver:
# pid: 56584
# total CPU time (s): 130.984
# total CPU user time (s): 129.449
# total CPU system time (s): 1.53469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.274871 second user time and 0.608711 second system time
The end
Launcher Data
Begin job on nodeC029 at 2025-07-01 23:26:14
IDJOB=4499122
IDBENCH=148771
IDSOLVER=3355
FILE ID=nodeC029/4499122-1751405174
RUNJOBID= nodeC029-1751397441-55313
SLURM_JOB_ID= 9598277
Free space on /tmp= 432916 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499122-1751405174/watcher-4499122-1751405174 -o /tmp/evaluation-result-4499122-1751405174/solver-4499122-1751405174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55313 --watchdog 3760 run-opt-ls.sh HOME/instance-4499122-1751405174.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=18739550
nodeC029 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 : 3599.807
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 : 6999.46
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 : 3599.718
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 : 6999.46
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 : 3548.602
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 : 6999.46
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 : 3613.309
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 : 6999.46
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 : 3599.480
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 : 6999.46
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 : 3597.579
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 : 6999.46
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.125
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 : 6999.46
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 : 3600.009
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 : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 108362876 kB
MemAvailable: 108494628 kB
Buffers: 2128 kB
Cached: 938136 kB
SwapCached: 40 kB
Active: 21656352 kB
Inactive: 568504 kB
Active(anon): 21297844 kB
Inactive(anon): 4768 kB
Active(file): 358508 kB
Inactive(file): 563736 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7436 kB
Writeback: 0 kB
AnonPages: 21287004 kB
Mapped: 116912 kB
Shmem: 18020 kB
KReclaimable: 97496 kB
Slab: 184660 kB
SReclaimable: 97496 kB
SUnreclaim: 87164 kB
KernelStack: 4368 kB
PageTables: 46124 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 23606220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4823040 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432908 MiB
End job on nodeC029 at 2025-07-01 23:28:26