Trace number 4524394

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:
  1. 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.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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.
  5. 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

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt 63f22adOPT-34 117.575 117.926

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-Clique-c0125-9_c24.opb
MD5SUMe7657c6e4289f102872f35c7391497ac
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-34
Best CPU time to get the best result obtained on this benchmark1.68694
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126
Total number of constraints788
Number of constraints which are clauses788
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2
Number of terms in the objective function 125
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 125
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 125
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4524394-1751594982.opb'
0.00/0.02	c 	read 0.02MB  (0.37ms)
0.00/0.02	c	 [cnf: #variables 126 #clauses 789 #duplicates 0 #arr 1700]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 0] (0.27ms)
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.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	 (0.06ms)
0.00/0.02	c 
0.00/0.02	c detect symmetries on remainder
0.00/0.02	c 	[graph: #vertices 1167 #edges 3904]
0.00/0.02	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02	c 	 [group: #symmetries 1.00*10^0 #generators 0] (0.10ms)
0.00/0.02	c 
0.00/0.02	c finalize break order and special generators
0.00/0.02	c 
0.00/0.02	c generation finished
0.00/0.02	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.02	c 
0.00/0.02	c write result to 'HOME/instance-4524394-1751594982.opb.pre'
0.00/0.02	c 	wrote 0.02MB (0.09ms)
0.00/0.02	c ------------------------------------------------------------------
0.00/0.02	c                   0.37ms 37.62% parse
0.00/0.02	c                   0.27ms 28.13% approx_orbits
0.00/0.02	c                   0.10ms 10.48% detect_generic
0.00/0.02	c                   0.09ms  9.70% output
0.00/0.02	c                   0.07ms  7.11% other
0.00/0.02	c                   0.06ms  6.37% detect_special
0.00/0.02	c                   0.01ms  0.58% finalize_order
0.00/0.02	c         ───────────────────────────────────────────────
0.00/0.02	c                   0.97ms   100% total
0.00/0.02	c ------------------------------------------------------------------
0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.04	c #variables 126 #constraints 788
0.00/0.04	c objective is ce32 
0.00/0.04	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.04	c bounds - >= -125 @ 0.001248
0.00/0.04	c rational objective -62.5
0.00/0.05	c bounds 0 >= -125 @ 0.009101
0.00/0.05	c bounds 0 >= -124 @ 0.009166
0.00/0.05	c bounds 0 >= -123 @ 0.009213
0.00/0.05	c bounds 0 >= -122 @ 0.009243
0.00/0.05	c bounds 0 >= -121 @ 0.009269
0.00/0.05	c bounds 0 >= -120 @ 0.009296
0.00/0.05	c bounds 0 >= -119 @ 0.009322
0.00/0.05	c bounds 0 >= -118 @ 0.009346
0.00/0.05	c bounds 0 >= -117 @ 0.009375
0.00/0.05	c bounds -1 >= -117 @ 0.00951
0.00/0.05	c bounds -1 >= -116 @ 0.009535
0.00/0.05	c bounds -1 >= -115 @ 0.009559
0.00/0.05	c bounds -1 >= -114 @ 0.009587
0.00/0.05	c bounds -1 >= -113 @ 0.009612
0.00/0.05	c bounds -1 >= -112 @ 0.009638
0.00/0.05	c bounds -1 >= -111 @ 0.009663
0.00/0.05	c bounds -1 >= -110 @ 0.009687
0.00/0.05	c bounds -1 >= -109 @ 0.009714
0.00/0.05	c bounds -1 >= -108 @ 0.009739
0.00/0.05	c bounds -1 >= -107 @ 0.009763
0.00/0.05	c bounds -1 >= -106 @ 0.009791
0.00/0.05	c bounds -1 >= -105 @ 0.009819
0.00/0.05	c bounds -1 >= -104 @ 0.009845
0.00/0.05	c bounds -1 >= -103 @ 0.009872
0.00/0.05	c bounds -1 >= -102 @ 0.009897
0.00/0.05	c bounds -1 >= -101 @ 0.009923
0.00/0.05	c bounds -1 >= -100 @ 0.009949
0.00/0.05	c bounds -1 >= -99 @ 0.009976
0.00/0.05	c bounds -1 >= -98 @ 0.010003
0.00/0.05	c bounds -1 >= -97 @ 0.010026
0.00/0.05	c bounds -1 >= -96 @ 0.01005
0.00/0.05	c bounds -1 >= -95 @ 0.010074
0.00/0.05	c bounds -1 >= -94 @ 0.010098
0.00/0.05	c bounds -1 >= -93 @ 0.010116
0.00/0.05	c bounds -1 >= -92 @ 0.010138
0.00/0.05	c bounds -1 >= -91 @ 0.010169
0.00/0.05	c bounds -1 >= -90 @ 0.010195
0.00/0.05	c bounds -1 >= -89 @ 0.010222
0.00/0.05	c bounds -1 >= -88 @ 0.010246
0.00/0.05	c bounds -1 >= -87 @ 0.010272
0.00/0.05	c bounds -1 >= -86 @ 0.010297
0.00/0.05	c bounds -1 >= -85 @ 0.010324
0.00/0.05	c bounds -1 >= -84 @ 0.01035
0.00/0.05	c bounds -1 >= -83 @ 0.010375
0.00/0.05	c bounds -1 >= -82 @ 0.010399
0.00/0.05	c bounds -1 >= -81 @ 0.010426
0.00/0.05	c bounds -1 >= -80 @ 0.010453
0.00/0.05	c bounds -1 >= -79 @ 0.010478
0.00/0.05	c bounds -1 >= -78 @ 0.010501
0.00/0.05	c bounds -1 >= -77 @ 0.010524
0.00/0.05	c bounds -1 >= -76 @ 0.010552
0.00/0.05	c bounds -1 >= -75 @ 0.01058
0.00/0.05	c bounds -1 >= -74 @ 0.010606
0.00/0.05	c bounds -1 >= -73 @ 0.010631
0.00/0.05	c bounds -1 >= -72 @ 0.010657
0.00/0.05	c bounds -5 >= -72 @ 0.012125
0.00/0.05	c bounds -5 >= -71 @ 0.012125
0.00/0.05	c bounds -5 >= -70 @ 0.012125
0.00/0.05	c bounds -5 >= -69 @ 0.012125
0.00/0.05	c bounds -5 >= -68 @ 0.012125
0.00/0.05	c bounds -5 >= -67 @ 0.012125
0.00/0.05	c bounds -5 >= -66 @ 0.012125
0.00/0.05	c bounds -5 >= -65 @ 0.012125
0.00/0.05	c bounds -5 >= -64 @ 0.012125
0.00/0.05	c bounds -5 >= -63 @ 0.012125
0.00/0.05	c bounds -5 >= -62 @ 0.012125
0.00/0.05	c bounds -5 >= -61 @ 0.012125
0.00/0.05	c bounds -5 >= -60 @ 0.012125
0.00/0.05	c bounds -5 >= -59 @ 0.012125
0.00/0.05	c bounds -6 >= -59 @ 0.012125
0.00/0.05	c bounds -6 >= -58 @ 0.012136
0.00/0.05	c bounds -7 >= -58 @ 0.012136
0.00/0.05	c bounds -7 >= -57 @ 0.012136
0.00/0.05	c bounds -8 >= -57 @ 0.012136
0.00/0.05	c bounds -8 >= -56 @ 0.012136
0.00/0.05	c bounds -9 >= -56 @ 0.012136
0.00/0.05	c bounds -9 >= -55 @ 0.012136
0.00/0.05	c bounds -10 >= -55 @ 0.012136
0.00/0.05	c bounds -10 >= -54 @ 0.012143
0.00/0.05	c bounds -10 >= -53 @ 0.012283
0.00/0.05	c bounds -11 >= -53 @ 0.012402
0.00/0.05	c bounds -11 >= -52 @ 0.012496
0.00/0.06	c bounds -12 >= -52 @ 0.012636
0.00/0.06	c bounds -12 >= -51 @ 0.012766
0.00/0.06	c bounds -13 >= -51 @ 0.012872
0.00/0.06	c bounds -13 >= -50 @ 0.013095
0.00/0.06	c bounds -14 >= -50 @ 0.013275
0.00/0.06	c bounds -15 >= -50 @ 0.013431
0.00/0.06	c bounds -15 >= -49 @ 0.013716
0.00/0.06	c bounds -16 >= -49 @ 0.01383
0.00/0.06	c bounds -17 >= -49 @ 0.013928
0.00/0.06	c bounds -18 >= -49 @ 0.01402
0.00/0.06	c bounds -18 >= -48 @ 0.014534
0.00/0.06	c bounds -19 >= -48 @ 0.014708
0.00/0.06	c bounds -20 >= -48 @ 0.014873
0.00/0.06	c bounds -21 >= -48 @ 0.015012
0.00/0.06	c bounds -22 >= -48 @ 0.015116
0.00/0.06	c bounds -23 >= -48 @ 0.015122
0.00/0.06	c bounds -23 >= -47 @ 0.015266
0.00/0.06	c bounds -24 >= -47 @ 0.015421
0.00/0.06	c bounds -25 >= -47 @ 0.016221
0.00/0.07	c bounds -25 >= -46 @ 0.020368
0.00/0.07	c bounds -26 >= -46 @ 0.0207
0.00/0.07	c bounds -27 >= -46 @ 0.021398
0.00/0.07	c bounds -28 >= -46 @ 0.021623
0.00/0.07	c bounds -29 >= -46 @ 0.024416
0.00/0.07	c bounds -30 >= -46 @ 0.024973
0.00/0.07	c bounds -31 >= -46 @ 0.025914
0.00/0.09	c bounds -31 >= -45 @ 0.039507
0.00/0.09	c bounds -32 >= -45 @ 0.042124
0.00/0.09	c bounds -33 >= -45 @ 0.04235
0.06/0.12	c #Conflicts:       1000 | #Constraints:       2177
0.06/0.12	c bounds -34 >= -45 @ 0.070343
0.06/0.16	c bounds -34 >= -44 @ 0.111316
0.06/0.18	c #Conflicts:       2000 | #Constraints:       3208
0.06/0.18	c INPROCESSING
0.06/0.18	c GARBAGE COLLECT
0.06/0.18	c rational objective -44
0.16/0.25	c bounds -34 >= -43 @ 0.191618
0.26/0.35	c #Conflicts:       3000 | #Constraints:       3101
0.26/0.35	c #Conflicts:       4000 | #Constraints:       4143
0.26/0.35	c INPROCESSING
0.26/0.35	c GARBAGE COLLECT
0.26/0.35	c rational objective -43
0.37/0.44	c #Conflicts:       5000 | #Constraints:       3505
0.37/0.44	c bounds -34 >= -42 @ 0.373834
0.46/0.54	c #Conflicts:       6000 | #Constraints:       4535
0.46/0.54	c INPROCESSING
0.46/0.54	c GARBAGE COLLECT
0.46/0.54	c rational objective -42
0.65/0.77	c #Conflicts:       7000 | #Constraints:       3524
0.65/0.77	c #Conflicts:       8000 | #Constraints:       4568
0.65/0.77	c #Conflicts:       9000 | #Constraints:       5608
0.65/0.77	c INPROCESSING
0.65/0.77	c GARBAGE COLLECT
0.65/0.77	c rational objective -42
0.75/0.83	c bounds -34 >= -41 @ 0.735283
0.95/1.04	c #Conflicts:      10000 | #Constraints:       4280
0.95/1.04	c #Conflicts:      11000 | #Constraints:       5280
0.95/1.04	c #Conflicts:      12000 | #Constraints:       6280
0.95/1.04	c INPROCESSING
0.95/1.04	c GARBAGE COLLECT
0.95/1.04	c rational objective -41
1.05/1.11	c bounds -34 >= -40 @ 1.00364
1.25/1.31	c #Conflicts:      13000 | #Constraints:       4714
1.25/1.31	c #Conflicts:      14000 | #Constraints:       5714
1.25/1.31	c #Conflicts:      15000 | #Constraints:       6714
1.25/1.31	c INPROCESSING
1.25/1.31	c GARBAGE COLLECT
1.25/1.31	c rational objective -40
1.55/1.61	c #Conflicts:      16000 | #Constraints:       4942
1.55/1.61	c #Conflicts:      17000 | #Constraints:       5992
1.55/1.61	c #Conflicts:      18000 | #Constraints:       7037
1.55/1.61	c INPROCESSING
1.55/1.61	c GARBAGE COLLECT
1.55/1.61	c rational objective -40
1.75/1.84	c #Conflicts:      19000 | #Constraints:       4979
1.75/1.84	c #Conflicts:      20000 | #Constraints:       5979
1.75/1.84	c bounds -34 >= -39 @ 1.69627
1.85/1.94	c #Conflicts:      21000 | #Constraints:       7003
1.85/1.94	c INPROCESSING
1.85/1.94	c GARBAGE COLLECT
1.85/1.94	c rational objective -39
2.14/2.29	c #Conflicts:      22000 | #Constraints:       4762
2.14/2.29	c #Conflicts:      23000 | #Constraints:       5762
2.14/2.29	c #Conflicts:      24000 | #Constraints:       6762
2.14/2.29	c #Conflicts:      25000 | #Constraints:       7762
2.14/2.29	c INPROCESSING
2.14/2.29	c GARBAGE COLLECT
2.14/2.29	c rational objective -39
2.54/2.67	c #Conflicts:      26000 | #Constraints:       5382
2.54/2.67	c #Conflicts:      27000 | #Constraints:       6425
2.54/2.67	c #Conflicts:      28000 | #Constraints:       7467
2.54/2.67	c #Conflicts:      29000 | #Constraints:       8503
2.54/2.67	c INPROCESSING
2.54/2.67	c GARBAGE COLLECT
2.54/2.67	c rational objective -39
2.95/3.10	c #Conflicts:      30000 | #Constraints:       5821
2.95/3.10	c #Conflicts:      31000 | #Constraints:       6821
2.95/3.10	c #Conflicts:      32000 | #Constraints:       7822
2.95/3.10	c bounds -34 >= -38 @ 2.88468
3.05/3.10	c #Conflicts:      33000 | #Constraints:       8843
3.05/3.10	c INPROCESSING
3.05/3.10	c GARBAGE COLLECT
3.05/3.10	c rational objective -38
3.44/3.53	c #Conflicts:      34000 | #Constraints:       5988
3.44/3.53	c #Conflicts:      35000 | #Constraints:       6989
3.44/3.53	c #Conflicts:      36000 | #Constraints:       7989
3.44/3.53	c #Conflicts:      37000 | #Constraints:       8989
3.44/3.53	c INPROCESSING
3.44/3.53	c GARBAGE COLLECT
3.44/3.53	c rational objective -38
3.84/3.98	c #Conflicts:      38000 | #Constraints:       5987
3.84/3.98	c #Conflicts:      39000 | #Constraints:       7024
3.84/3.98	c #Conflicts:      40000 | #Constraints:       8075
3.84/3.98	c #Conflicts:      41000 | #Constraints:       9119
3.84/3.98	c INPROCESSING
3.84/3.98	c GARBAGE COLLECT
3.84/3.98	c rational objective -38
4.44/4.53	c #Conflicts:      42000 | #Constraints:       5850
4.44/4.53	c #Conflicts:      43000 | #Constraints:       6850
4.44/4.53	c #Conflicts:      44000 | #Constraints:       7850
4.44/4.53	c #Conflicts:      45000 | #Constraints:       8851
4.44/4.53	c #Conflicts:      46000 | #Constraints:       9851
4.44/4.53	c INPROCESSING
4.44/4.53	c GARBAGE COLLECT
4.44/4.53	c rational objective -38
4.95/5.09	c #Conflicts:      47000 | #Constraints:       6430
4.95/5.09	c #Conflicts:      48000 | #Constraints:       7471
4.95/5.09	c #Conflicts:      49000 | #Constraints:       8516
4.95/5.09	c #Conflicts:      50000 | #Constraints:       9558
4.95/5.09	c #Conflicts:      51000 | #Constraints:      10598
4.95/5.09	c INPROCESSING
4.95/5.09	c GARBAGE COLLECT
4.95/5.09	c rational objective -38
5.64/5.70	c #Conflicts:      52000 | #Constraints:       6875
5.64/5.70	c #Conflicts:      53000 | #Constraints:       7875
5.64/5.70	c #Conflicts:      54000 | #Constraints:       8876
5.64/5.70	c #Conflicts:      55000 | #Constraints:       9876
5.64/5.70	c #Conflicts:      56000 | #Constraints:      10876
5.64/5.70	c INPROCESSING
5.64/5.70	c GARBAGE COLLECT
5.64/5.70	c rational objective -38
6.13/6.28	c #Conflicts:      57000 | #Constraints:       7022
6.13/6.28	c #Conflicts:      58000 | #Constraints:       8023
6.13/6.28	c #Conflicts:      59000 | #Constraints:       9023
6.13/6.28	c #Conflicts:      60000 | #Constraints:      10023
6.13/6.28	c #Conflicts:      61000 | #Constraints:      11023
6.13/6.28	c INPROCESSING
6.13/6.28	c GARBAGE COLLECT
6.13/6.28	c rational objective -38
6.83/6.95	c #Conflicts:      62000 | #Constraints:       7006
6.83/6.95	c #Conflicts:      63000 | #Constraints:       8040
6.83/6.95	c #Conflicts:      64000 | #Constraints:       9081
6.83/6.95	c #Conflicts:      65000 | #Constraints:      10121
6.83/6.95	c #Conflicts:      66000 | #Constraints:      11164
6.83/6.95	c INPROCESSING
6.83/6.95	c GARBAGE COLLECT
6.83/6.95	c rational objective -38
7.53/7.67	c #Conflicts:      67000 | #Constraints:       6867
7.53/7.67	c #Conflicts:      68000 | #Constraints:       7868
7.53/7.67	c #Conflicts:      69000 | #Constraints:       8868
7.53/7.67	c #Conflicts:      70000 | #Constraints:       9868
7.53/7.67	c #Conflicts:      71000 | #Constraints:      10868
7.53/7.67	c #Conflicts:      72000 | #Constraints:      11868
7.53/7.67	c INPROCESSING
7.53/7.67	c GARBAGE COLLECT
7.53/7.67	c rational objective -38
8.23/8.34	c #Conflicts:      73000 | #Constraints:       7416
8.23/8.34	c #Conflicts:      74000 | #Constraints:       8416
8.23/8.34	c #Conflicts:      75000 | #Constraints:       9416
8.23/8.34	c #Conflicts:      76000 | #Constraints:      10416
8.23/8.34	c #Conflicts:      77000 | #Constraints:      11416
8.23/8.34	c #Conflicts:      78000 | #Constraints:      12416
8.23/8.34	c INPROCESSING
8.23/8.34	c GARBAGE COLLECT
8.23/8.34	c rational objective -38
8.94/9.09	c #Conflicts:      79000 | #Constraints:       7820
8.94/9.09	c #Conflicts:      80000 | #Constraints:       8865
8.94/9.09	c #Conflicts:      81000 | #Constraints:       9904
8.94/9.09	c #Conflicts:      82000 | #Constraints:      10946
8.94/9.09	c #Conflicts:      83000 | #Constraints:      11998
8.94/9.09	c #Conflicts:      84000 | #Constraints:      13050
8.94/9.09	c INPROCESSING
8.94/9.09	c GARBAGE COLLECT
8.94/9.09	c rational objective -38
9.83/9.94	c #Conflicts:      85000 | #Constraints:       8103
9.83/9.94	c #Conflicts:      86000 | #Constraints:       9103
9.83/9.94	c #Conflicts:      87000 | #Constraints:      10103
9.83/9.94	c #Conflicts:      88000 | #Constraints:      11103
9.83/9.94	c #Conflicts:      89000 | #Constraints:      12103
9.83/9.94	c #Conflicts:      90000 | #Constraints:      13103
9.83/9.94	c INPROCESSING
9.83/9.94	c GARBAGE COLLECT
9.83/9.94	c rational objective -38
10.22/10.37	c #Conflicts:      91000 | #Constraints:       8032
10.22/10.37	c #Conflicts:      92000 | #Constraints:       9032
10.22/10.37	c #Conflicts:      93000 | #Constraints:      10032
10.22/10.37	c #Conflicts:      94000 | #Constraints:      11032
10.22/10.37	c bounds -34 >= -37 @ 9.83963
10.52/10.63	c #Conflicts:      95000 | #Constraints:      12078
10.52/10.63	c #Conflicts:      96000 | #Constraints:      13113
10.52/10.63	c INPROCESSING
10.52/10.63	c GARBAGE COLLECT
10.52/10.63	c rational objective -37
11.43/11.51	c #Conflicts:      97000 | #Constraints:       7842
11.43/11.51	c #Conflicts:      98000 | #Constraints:       8845
11.43/11.51	c #Conflicts:      99000 | #Constraints:       9848
11.43/11.51	c #Conflicts:     100000 | #Constraints:      10851
11.43/11.51	c #Conflicts:     101000 | #Constraints:      11851
11.43/11.51	c #Conflicts:     102000 | #Constraints:      12852
11.43/11.51	c #Conflicts:     103000 | #Constraints:      13852
11.43/11.51	c INPROCESSING
11.43/11.51	c GARBAGE COLLECT
11.43/11.51	c rational objective -37
12.32/12.40	c #Conflicts:     104000 | #Constraints:       8447
12.32/12.40	c #Conflicts:     105000 | #Constraints:       9500
12.32/12.40	c #Conflicts:     106000 | #Constraints:      10542
12.32/12.40	c #Conflicts:     107000 | #Constraints:      11590
12.32/12.40	c #Conflicts:     108000 | #Constraints:      12630
12.32/12.40	c #Conflicts:     109000 | #Constraints:      13672
12.32/12.40	c #Conflicts:     110000 | #Constraints:      14709
12.32/12.40	c INPROCESSING
12.32/12.40	c GARBAGE COLLECT
12.32/12.40	c rational objective -37
13.22/13.34	c #Conflicts:     111000 | #Constraints:       8939
13.22/13.34	c #Conflicts:     112000 | #Constraints:       9940
13.22/13.34	c #Conflicts:     113000 | #Constraints:      10940
13.22/13.34	c #Conflicts:     114000 | #Constraints:      11940
13.22/13.34	c #Conflicts:     115000 | #Constraints:      12941
13.22/13.34	c #Conflicts:     116000 | #Constraints:      13942
13.22/13.34	c #Conflicts:     117000 | #Constraints:      14944
13.22/13.34	c INPROCESSING
13.22/13.34	c GARBAGE COLLECT
13.22/13.34	c rational objective -37
14.21/14.33	c #Conflicts:     118000 | #Constraints:       9110
14.21/14.33	c #Conflicts:     119000 | #Constraints:      10162
14.21/14.33	c #Conflicts:     120000 | #Constraints:      11220
14.21/14.33	c #Conflicts:     121000 | #Constraints:      12276
14.21/14.33	c #Conflicts:     122000 | #Constraints:      13330
14.21/14.33	c #Conflicts:     123000 | #Constraints:      14377
14.21/14.33	c #Conflicts:     124000 | #Constraints:      15412
14.21/14.33	c INPROCESSING
14.21/14.33	c GARBAGE COLLECT
14.21/14.33	c rational objective -37
15.21/15.37	c #Conflicts:     125000 | #Constraints:       9196
15.21/15.37	c #Conflicts:     126000 | #Constraints:      10196
15.21/15.37	c #Conflicts:     127000 | #Constraints:      11197
15.21/15.37	c #Conflicts:     128000 | #Constraints:      12197
15.21/15.37	c #Conflicts:     129000 | #Constraints:      13197
15.21/15.37	c #Conflicts:     130000 | #Constraints:      14198
15.21/15.37	c #Conflicts:     131000 | #Constraints:      15198
15.21/15.37	c INPROCESSING
15.21/15.37	c GARBAGE COLLECT
15.21/15.37	c rational objective -37
16.21/16.37	c #Conflicts:     132000 | #Constraints:       8893
16.21/16.37	c #Conflicts:     133000 | #Constraints:       9894
16.21/16.37	c #Conflicts:     134000 | #Constraints:      10895
16.21/16.37	c #Conflicts:     135000 | #Constraints:      11895
16.21/16.37	c #Conflicts:     136000 | #Constraints:      12895
16.21/16.37	c #Conflicts:     137000 | #Constraints:      13896
16.21/16.37	c #Conflicts:     138000 | #Constraints:      14896
16.21/16.37	c #Conflicts:     139000 | #Constraints:      15897
16.21/16.37	c INPROCESSING
16.21/16.37	c GARBAGE COLLECT
16.21/16.37	c rational objective -37
17.51/17.66	c #Conflicts:     140000 | #Constraints:       9474
17.51/17.66	c #Conflicts:     141000 | #Constraints:      10503
17.51/17.66	c #Conflicts:     142000 | #Constraints:      11549
17.51/17.66	c #Conflicts:     143000 | #Constraints:      12604
17.51/17.66	c #Conflicts:     144000 | #Constraints:      13650
17.51/17.66	c #Conflicts:     145000 | #Constraints:      14690
17.51/17.66	c #Conflicts:     146000 | #Constraints:      15733
17.51/17.66	c #Conflicts:     147000 | #Constraints:      16782
17.51/17.66	c INPROCESSING
17.51/17.66	c GARBAGE COLLECT
17.51/17.66	c rational objective -37
18.70/18.84	c #Conflicts:     148000 | #Constraints:       9974
18.70/18.84	c #Conflicts:     149000 | #Constraints:      10974
18.70/18.84	c #Conflicts:     150000 | #Constraints:      11974
18.70/18.84	c #Conflicts:     151000 | #Constraints:      12974
18.70/18.84	c #Conflicts:     152000 | #Constraints:      13974
18.70/18.84	c #Conflicts:     153000 | #Constraints:      14975
18.70/18.84	c #Conflicts:     154000 | #Constraints:      15975
18.70/18.84	c #Conflicts:     155000 | #Constraints:      16975
18.70/18.84	c INPROCESSING
18.70/18.84	c GARBAGE COLLECT
18.70/18.84	c rational objective -37
19.80/19.91	c #Conflicts:     156000 | #Constraints:      10079
19.80/19.91	c #Conflicts:     157000 | #Constraints:      11079
19.80/19.91	c #Conflicts:     158000 | #Constraints:      12080
19.80/19.91	c #Conflicts:     159000 | #Constraints:      13080
19.80/19.91	c #Conflicts:     160000 | #Constraints:      14080
19.80/19.91	c #Conflicts:     161000 | #Constraints:      15081
19.80/19.91	c #Conflicts:     162000 | #Constraints:      16083
19.80/19.91	c #Conflicts:     163000 | #Constraints:      17083
19.80/19.91	c INPROCESSING
19.80/19.91	c GARBAGE COLLECT
19.80/19.91	c rational objective -37
21.00/21.12	c #Conflicts:     164000 | #Constraints:      10069
21.00/21.12	c #Conflicts:     165000 | #Constraints:      11113
21.00/21.12	c #Conflicts:     166000 | #Constraints:      12166
21.00/21.12	c #Conflicts:     167000 | #Constraints:      13202
21.00/21.12	c #Conflicts:     168000 | #Constraints:      14243
21.00/21.12	c #Conflicts:     169000 | #Constraints:      15281
21.00/21.12	c #Conflicts:     170000 | #Constraints:      16324
21.00/21.12	c #Conflicts:     171000 | #Constraints:      17363
21.00/21.12	c INPROCESSING
21.00/21.12	c GARBAGE COLLECT
21.00/21.12	c rational objective -37
22.19/22.38	c #Conflicts:     172000 | #Constraints:       9975
22.19/22.38	c #Conflicts:     173000 | #Constraints:      10976
22.19/22.38	c #Conflicts:     174000 | #Constraints:      11977
22.19/22.38	c #Conflicts:     175000 | #Constraints:      12977
22.19/22.38	c #Conflicts:     176000 | #Constraints:      13978
22.19/22.38	c #Conflicts:     177000 | #Constraints:      14978
22.19/22.38	c #Conflicts:     178000 | #Constraints:      15979
22.19/22.38	c #Conflicts:     179000 | #Constraints:      16980
22.19/22.38	c #Conflicts:     180000 | #Constraints:      17980
22.19/22.38	c INPROCESSING
22.19/22.38	c GARBAGE COLLECT
22.19/22.38	c rational objective -37
23.49/23.60	c #Conflicts:     181000 | #Constraints:      10481
23.49/23.60	c #Conflicts:     182000 | #Constraints:      11481
23.49/23.60	c #Conflicts:     183000 | #Constraints:      12481
23.49/23.60	c #Conflicts:     184000 | #Constraints:      13481
23.49/23.60	c #Conflicts:     185000 | #Constraints:      14482
23.49/23.60	c #Conflicts:     186000 | #Constraints:      15482
23.49/23.60	c #Conflicts:     187000 | #Constraints:      16482
23.49/23.60	c #Conflicts:     188000 | #Constraints:      17482
23.49/23.60	c #Conflicts:     189000 | #Constraints:      18482
23.49/23.60	c INPROCESSING
23.49/23.60	c GARBAGE COLLECT
23.49/23.60	c rational objective -37
24.79/24.91	c #Conflicts:     190000 | #Constraints:      10854
24.79/24.91	c #Conflicts:     191000 | #Constraints:      11880
24.79/24.91	c #Conflicts:     192000 | #Constraints:      12904
24.79/24.91	c #Conflicts:     193000 | #Constraints:      13948
24.79/24.91	c #Conflicts:     194000 | #Constraints:      14998
24.79/24.91	c #Conflicts:     195000 | #Constraints:      16043
24.79/24.91	c #Conflicts:     196000 | #Constraints:      17090
24.79/24.91	c #Conflicts:     197000 | #Constraints:      18134
24.79/24.91	c #Conflicts:     198000 | #Constraints:      19181
24.79/24.91	c INPROCESSING
24.79/24.91	c GARBAGE COLLECT
24.79/24.91	c rational objective -37
26.18/26.31	c #Conflicts:     199000 | #Constraints:      11173
26.18/26.31	c #Conflicts:     200000 | #Constraints:      12174
26.18/26.31	c #Conflicts:     201000 | #Constraints:      13174
26.18/26.31	c #Conflicts:     202000 | #Constraints:      14175
26.18/26.31	c #Conflicts:     203000 | #Constraints:      15177
26.18/26.31	c #Conflicts:     204000 | #Constraints:      16177
26.18/26.31	c #Conflicts:     205000 | #Constraints:      17179
26.18/26.31	c #Conflicts:     206000 | #Constraints:      18180
26.18/26.31	c #Conflicts:     207000 | #Constraints:      19181
26.18/26.31	c INPROCESSING
26.18/26.31	c GARBAGE COLLECT
26.18/26.31	c rational objective -37
27.48/27.61	c #Conflicts:     208000 | #Constraints:      11093
27.48/27.61	c #Conflicts:     209000 | #Constraints:      12093
27.48/27.61	c #Conflicts:     210000 | #Constraints:      13093
27.48/27.61	c #Conflicts:     211000 | #Constraints:      14093
27.48/27.61	c #Conflicts:     212000 | #Constraints:      15093
27.48/27.61	c #Conflicts:     213000 | #Constraints:      16093
27.48/27.61	c #Conflicts:     214000 | #Constraints:      17093
27.48/27.61	c #Conflicts:     215000 | #Constraints:      18093
27.48/27.61	c #Conflicts:     216000 | #Constraints:      19093
27.48/27.61	c INPROCESSING
27.48/27.61	c GARBAGE COLLECT
27.48/27.61	c rational objective -37
49.72/49.96	c #Conflicts:     217000 | #Constraints:      10844
49.72/49.96	c #Conflicts:     218000 | #Constraints:      11863
49.72/49.96	c #Conflicts:     219000 | #Constraints:      12889
49.72/49.96	c #Conflicts:     220000 | #Constraints:      13912
49.72/49.96	c #Conflicts:     221000 | #Constraints:      14932
49.72/49.96	c #Conflicts:     222000 | #Constraints:      15945
49.72/49.96	c #Conflicts:     223000 | #Constraints:      16976
49.72/49.96	c #Conflicts:     224000 | #Constraints:      18007
49.72/49.96	c #Conflicts:     225000 | #Constraints:      19030
49.72/49.96	c #Conflicts:     226000 | #Constraints:      20055
49.72/49.96	c #Conflicts:     227000 | #Constraints:      21093
49.72/49.96	c #Conflicts:     228000 | #Constraints:      22126
49.72/49.96	c #Conflicts:     229000 | #Constraints:      23159
49.72/49.96	c #Conflicts:     230000 | #Constraints:      24194
49.72/49.96	c #Conflicts:     231000 | #Constraints:      25234
49.72/49.96	c #Conflicts:     232000 | #Constraints:      26283
49.72/49.96	c #Conflicts:     233000 | #Constraints:      27332
49.72/49.96	c #Conflicts:     234000 | #Constraints:      28380
49.72/49.96	c #Conflicts:     235000 | #Constraints:      29415
49.72/49.96	c #Conflicts:     236000 | #Constraints:      30450
49.72/49.96	c #Conflicts:     237000 | #Constraints:      31487
49.72/49.96	c #Conflicts:     238000 | #Constraints:      32533
49.72/49.96	c #Conflicts:     239000 | #Constraints:      33579
49.72/49.96	c #Conflicts:     240000 | #Constraints:      34623
49.72/49.96	c #Conflicts:     241000 | #Constraints:      35652
49.72/49.96	c #Conflicts:     242000 | #Constraints:      36702
49.72/49.96	c #Conflicts:     243000 | #Constraints:      37733
49.72/49.96	c #Conflicts:     244000 | #Constraints:      38771
49.72/49.96	c #Conflicts:     245000 | #Constraints:      39810
49.72/49.96	c #Conflicts:     246000 | #Constraints:      40848
49.72/49.96	c #Conflicts:     247000 | #Constraints:      41888
49.72/49.96	c #Conflicts:     248000 | #Constraints:      42928
49.72/49.96	c #Conflicts:     249000 | #Constraints:      43977
49.72/49.96	c #Conflicts:     250000 | #Constraints:      45027
49.72/49.96	c #Conflicts:     251000 | #Constraints:      46059
49.72/49.96	c #Conflicts:     252000 | #Constraints:      47098
49.72/49.96	c #Conflicts:     253000 | #Constraints:      48135
49.72/49.96	c #Conflicts:     254000 | #Constraints:      49166
49.72/49.96	c #Conflicts:     255000 | #Constraints:      50197
49.72/49.96	c #Conflicts:     256000 | #Constraints:      51227
49.72/49.96	c #Conflicts:     257000 | #Constraints:      52264
49.72/49.96	c #Conflicts:     258000 | #Constraints:      53307
49.72/49.96	c #Conflicts:     259000 | #Constraints:      54343
49.72/49.96	c #Conflicts:     260000 | #Constraints:      55369
49.72/49.96	c #Conflicts:     261000 | #Constraints:      56403
49.72/49.96	c INPROCESSING
49.72/49.96	c GARBAGE COLLECT
49.72/49.96	c rational objective -37
53.51/53.79	c #Conflicts:     262000 | #Constraints:      29646
53.51/53.79	c #Conflicts:     263000 | #Constraints:      30646
53.51/53.79	c #Conflicts:     264000 | #Constraints:      31647
53.51/53.79	c #Conflicts:     265000 | #Constraints:      32647
53.51/53.79	c #Conflicts:     266000 | #Constraints:      33647
53.51/53.79	c bounds -34 >= -36 @ 52.1996
58.80/59.05	c #Conflicts:     267000 | #Constraints:      34670
58.80/59.05	c #Conflicts:     268000 | #Constraints:      35673
58.80/59.05	c #Conflicts:     269000 | #Constraints:      36673
58.80/59.05	c #Conflicts:     270000 | #Constraints:      37675
58.80/59.05	c #Conflicts:     271000 | #Constraints:      38678
58.80/59.05	c #Conflicts:     272000 | #Constraints:      39678
58.80/59.05	c INPROCESSING
58.80/59.05	c GARBAGE COLLECT
58.80/59.05	c rational objective -36
62.09/62.30	c #Conflicts:     273000 | #Constraints:      21437
62.09/62.30	c #Conflicts:     274000 | #Constraints:      22438
62.09/62.30	c #Conflicts:     275000 | #Constraints:      23440
62.09/62.30	c #Conflicts:     276000 | #Constraints:      24441
62.09/62.30	c #Conflicts:     277000 | #Constraints:      25443
62.09/62.30	c #Conflicts:     278000 | #Constraints:      26443
62.09/62.30	c #Conflicts:     279000 | #Constraints:      27444
62.09/62.30	c #Conflicts:     280000 | #Constraints:      28446
62.09/62.30	c #Conflicts:     281000 | #Constraints:      29446
62.09/62.30	c #Conflicts:     282000 | #Constraints:      30447
62.09/62.30	c INPROCESSING
62.09/62.30	c GARBAGE COLLECT
62.09/62.30	c rational objective -36
64.18/64.41	c #Conflicts:     283000 | #Constraints:      16364
64.18/64.41	c #Conflicts:     284000 | #Constraints:      17364
64.18/64.41	c #Conflicts:     285000 | #Constraints:      18365
64.18/64.41	c #Conflicts:     286000 | #Constraints:      19365
64.18/64.41	c #Conflicts:     287000 | #Constraints:      20366
64.18/64.41	c #Conflicts:     288000 | #Constraints:      21367
64.18/64.41	c #Conflicts:     289000 | #Constraints:      22369
64.18/64.41	c #Conflicts:     290000 | #Constraints:      23369
64.18/64.41	c #Conflicts:     291000 | #Constraints:      24369
64.18/64.41	c #Conflicts:     292000 | #Constraints:      25369
64.18/64.41	c #Conflicts:     293000 | #Constraints:      26369
64.18/64.41	c #Conflicts:     294000 | #Constraints:      27369
64.18/64.41	c INPROCESSING
64.18/64.41	c GARBAGE COLLECT
64.18/64.41	c rational objective -36
66.08/66.38	c #Conflicts:     295000 | #Constraints:      15287
66.08/66.38	c #Conflicts:     296000 | #Constraints:      16287
66.08/66.38	c #Conflicts:     297000 | #Constraints:      17287
66.08/66.38	c #Conflicts:     298000 | #Constraints:      18288
66.08/66.38	c #Conflicts:     299000 | #Constraints:      19289
66.08/66.38	c #Conflicts:     300000 | #Constraints:      20292
66.08/66.38	c #Conflicts:     301000 | #Constraints:      21292
66.08/66.38	c #Conflicts:     302000 | #Constraints:      22293
66.08/66.38	c #Conflicts:     303000 | #Constraints:      23294
66.08/66.38	c #Conflicts:     304000 | #Constraints:      24294
66.08/66.38	c #Conflicts:     305000 | #Constraints:      25296
66.08/66.38	c INPROCESSING
66.08/66.38	c GARBAGE COLLECT
66.08/66.38	c rational objective -36
68.08/68.35	c #Conflicts:     306000 | #Constraints:      14111
68.08/68.35	c #Conflicts:     307000 | #Constraints:      15111
68.08/68.35	c #Conflicts:     308000 | #Constraints:      16112
68.08/68.35	c #Conflicts:     309000 | #Constraints:      17112
68.08/68.35	c #Conflicts:     310000 | #Constraints:      18113
68.08/68.35	c #Conflicts:     311000 | #Constraints:      19114
68.08/68.35	c #Conflicts:     312000 | #Constraints:      20115
68.08/68.35	c #Conflicts:     313000 | #Constraints:      21116
68.08/68.35	c #Conflicts:     314000 | #Constraints:      22117
68.08/68.35	c #Conflicts:     315000 | #Constraints:      23117
68.08/68.35	c #Conflicts:     316000 | #Constraints:      24117
68.08/68.35	c INPROCESSING
68.08/68.35	c GARBAGE COLLECT
68.08/68.35	c rational objective -36
69.97/70.28	c #Conflicts:     317000 | #Constraints:      13264
69.97/70.28	c #Conflicts:     318000 | #Constraints:      14264
69.97/70.28	c #Conflicts:     319000 | #Constraints:      15266
69.97/70.28	c #Conflicts:     320000 | #Constraints:      16268
69.97/70.28	c #Conflicts:     321000 | #Constraints:      17269
69.97/70.28	c #Conflicts:     322000 | #Constraints:      18270
69.97/70.28	c #Conflicts:     323000 | #Constraints:      19270
69.97/70.28	c #Conflicts:     324000 | #Constraints:      20270
69.97/70.28	c #Conflicts:     325000 | #Constraints:      21270
69.97/70.28	c #Conflicts:     326000 | #Constraints:      22270
69.97/70.28	c #Conflicts:     327000 | #Constraints:      23271
69.97/70.28	c #Conflicts:     328000 | #Constraints:      24271
69.97/70.28	c INPROCESSING
69.97/70.28	c GARBAGE COLLECT
69.97/70.28	c rational objective -36
76.75/77.09	c #Conflicts:     329000 | #Constraints:      13493
76.75/77.09	c #Conflicts:     330000 | #Constraints:      14493
76.75/77.09	c #Conflicts:     331000 | #Constraints:      15493
76.75/77.09	c #Conflicts:     332000 | #Constraints:      16493
76.75/77.09	c #Conflicts:     333000 | #Constraints:      17494
76.75/77.09	c #Conflicts:     334000 | #Constraints:      18495
76.75/77.09	c #Conflicts:     335000 | #Constraints:      19495
76.75/77.09	c #Conflicts:     336000 | #Constraints:      20496
76.75/77.09	c #Conflicts:     337000 | #Constraints:      21497
76.75/77.09	c #Conflicts:     338000 | #Constraints:      22498
76.75/77.09	c #Conflicts:     339000 | #Constraints:      23498
76.75/77.09	c #Conflicts:     340000 | #Constraints:      24498
76.75/77.09	c #Conflicts:     341000 | #Constraints:      25498
76.75/77.09	c #Conflicts:     342000 | #Constraints:      26498
76.75/77.09	c #Conflicts:     343000 | #Constraints:      27498
76.75/77.09	c #Conflicts:     344000 | #Constraints:      28498
76.75/77.09	c #Conflicts:     345000 | #Constraints:      29498
76.75/77.09	c #Conflicts:     346000 | #Constraints:      30499
76.75/77.09	c #Conflicts:     347000 | #Constraints:      31500
76.75/77.09	c #Conflicts:     348000 | #Constraints:      32501
76.75/77.09	c #Conflicts:     349000 | #Constraints:      33501
76.75/77.09	c #Conflicts:     350000 | #Constraints:      34501
76.75/77.09	c #Conflicts:     351000 | #Constraints:      35502
76.75/77.09	c #Conflicts:     352000 | #Constraints:      36502
76.75/77.09	c #Conflicts:     353000 | #Constraints:      37502
76.75/77.09	c #Conflicts:     354000 | #Constraints:      38502
76.75/77.09	c #Conflicts:     355000 | #Constraints:      39503
76.75/77.09	c #Conflicts:     356000 | #Constraints:      40504
76.75/77.09	c #Conflicts:     357000 | #Constraints:      41504
76.75/77.09	c #Conflicts:     358000 | #Constraints:      42504
76.75/77.09	c #Conflicts:     359000 | #Constraints:      43504
76.75/77.09	c bounds -34 >= -35 @ 74.9556
84.93/85.20	c #Conflicts:     360000 | #Constraints:      44533
84.93/85.20	c #Conflicts:     361000 | #Constraints:      45533
84.93/85.20	c #Conflicts:     362000 | #Constraints:      46534
84.93/85.20	c #Conflicts:     363000 | #Constraints:      47536
84.93/85.20	c #Conflicts:     364000 | #Constraints:      48537
84.93/85.20	c #Conflicts:     365000 | #Constraints:      49541
84.93/85.20	c #Conflicts:     366000 | #Constraints:      50545
84.93/85.20	c #Conflicts:     367000 | #Constraints:      51546
84.93/85.20	c #Conflicts:     368000 | #Constraints:      52550
84.93/85.20	c #Conflicts:     369000 | #Constraints:      53551
84.93/85.20	c #Conflicts:     370000 | #Constraints:      54551
84.93/85.20	c #Conflicts:     371000 | #Constraints:      55551
84.93/85.20	c #Conflicts:     372000 | #Constraints:      56553
84.93/85.20	c #Conflicts:     373000 | #Constraints:      57556
84.93/85.20	c #Conflicts:     374000 | #Constraints:      58558
84.93/85.20	c #Conflicts:     375000 | #Constraints:      59558
84.93/85.20	c #Conflicts:     376000 | #Constraints:      60560
84.93/85.20	c #Conflicts:     377000 | #Constraints:      61561
84.93/85.20	c #Conflicts:     378000 | #Constraints:      62563
84.93/85.20	c #Conflicts:     379000 | #Constraints:      63565
84.93/85.20	c #Conflicts:     380000 | #Constraints:      64571
84.93/85.20	c #Conflicts:     381000 | #Constraints:      65572
84.93/85.20	c INPROCESSING
84.93/85.20	c GARBAGE COLLECT
84.93/85.20	c rational objective -35
84.93/85.21	c rational objective -35
87.91/88.23	c #Conflicts:     382000 | #Constraints:      34009
87.91/88.23	c #Conflicts:     383000 | #Constraints:      35054
87.91/88.23	c #Conflicts:     384000 | #Constraints:      36096
87.91/88.23	c #Conflicts:     385000 | #Constraints:      37138
87.91/88.23	c #Conflicts:     386000 | #Constraints:      38182
87.91/88.23	c #Conflicts:     387000 | #Constraints:      39222
87.91/88.23	c #Conflicts:     388000 | #Constraints:      40264
87.91/88.23	c #Conflicts:     389000 | #Constraints:      41303
87.91/88.23	c #Conflicts:     390000 | #Constraints:      42341
87.91/88.23	c #Conflicts:     391000 | #Constraints:      43380
87.91/88.23	c #Conflicts:     392000 | #Constraints:      44415
87.91/88.23	c #Conflicts:     393000 | #Constraints:      45453
87.91/88.23	c #Conflicts:     394000 | #Constraints:      46496
87.91/88.23	c INPROCESSING
87.91/88.23	c GARBAGE COLLECT
87.91/88.23	c rational objective -35
87.91/88.24	c rational objective -35
90.61/90.96	c #Conflicts:     395000 | #Constraints:      24459
90.61/90.96	c #Conflicts:     396000 | #Constraints:      25505
90.61/90.96	c #Conflicts:     397000 | #Constraints:      26550
90.61/90.96	c #Conflicts:     398000 | #Constraints:      27598
90.61/90.96	c #Conflicts:     399000 | #Constraints:      28640
90.61/90.96	c #Conflicts:     400000 | #Constraints:      29680
90.61/90.96	c #Conflicts:     401000 | #Constraints:      30724
90.61/90.96	c #Conflicts:     402000 | #Constraints:      31754
90.61/90.96	c #Conflicts:     403000 | #Constraints:      32785
90.61/90.96	c #Conflicts:     404000 | #Constraints:      33820
90.61/90.96	c #Conflicts:     405000 | #Constraints:      34860
90.61/90.96	c #Conflicts:     406000 | #Constraints:      35903
90.61/90.96	c #Conflicts:     407000 | #Constraints:      36933
90.61/90.96	c #Conflicts:     408000 | #Constraints:      37970
90.61/90.96	c INPROCESSING
90.61/90.96	c GARBAGE COLLECT
90.61/90.96	c rational objective -35
90.61/90.96	c rational objective -35
93.30/93.67	c #Conflicts:     409000 | #Constraints:      20583
93.30/93.67	c #Conflicts:     410000 | #Constraints:      21586
93.30/93.67	c #Conflicts:     411000 | #Constraints:      22588
93.30/93.67	c #Conflicts:     412000 | #Constraints:      23589
93.30/93.67	c #Conflicts:     413000 | #Constraints:      24589
93.30/93.67	c #Conflicts:     414000 | #Constraints:      25590
93.30/93.67	c #Conflicts:     415000 | #Constraints:      26591
93.30/93.67	c #Conflicts:     416000 | #Constraints:      27591
93.30/93.67	c #Conflicts:     417000 | #Constraints:      28591
93.30/93.67	c #Conflicts:     418000 | #Constraints:      29592
93.30/93.67	c #Conflicts:     419000 | #Constraints:      30593
93.30/93.67	c #Conflicts:     420000 | #Constraints:      31594
93.30/93.67	c #Conflicts:     421000 | #Constraints:      32595
93.30/93.67	c INPROCESSING
93.30/93.67	c GARBAGE COLLECT
93.30/93.67	c rational objective -35
93.30/93.68	c rational objective -35
96.49/96.83	c #Conflicts:     422000 | #Constraints:      17714
96.49/96.83	c #Conflicts:     423000 | #Constraints:      18733
96.49/96.83	c #Conflicts:     424000 | #Constraints:      19739
96.49/96.83	c #Conflicts:     425000 | #Constraints:      20745
96.49/96.83	c #Conflicts:     426000 | #Constraints:      21748
96.49/96.83	c #Conflicts:     427000 | #Constraints:      22755
96.49/96.83	c #Conflicts:     428000 | #Constraints:      23758
96.49/96.83	c #Conflicts:     429000 | #Constraints:      24760
96.49/96.83	c #Conflicts:     430000 | #Constraints:      25765
96.49/96.83	c #Conflicts:     431000 | #Constraints:      26768
96.49/96.83	c #Conflicts:     432000 | #Constraints:      27769
96.49/96.83	c #Conflicts:     433000 | #Constraints:      28774
96.49/96.83	c #Conflicts:     434000 | #Constraints:      29778
96.49/96.83	c #Conflicts:     435000 | #Constraints:      30786
96.49/96.83	c INPROCESSING
96.49/96.83	c GARBAGE COLLECT
96.49/96.83	c rational objective -35
96.49/96.84	c rational objective -35
99.09/99.42	c #Conflicts:     436000 | #Constraints:      16995
99.09/99.42	c #Conflicts:     437000 | #Constraints:      17996
99.09/99.42	c #Conflicts:     438000 | #Constraints:      18998
99.09/99.42	c #Conflicts:     439000 | #Constraints:      20000
99.09/99.42	c #Conflicts:     440000 | #Constraints:      21000
99.09/99.42	c #Conflicts:     441000 | #Constraints:      22001
99.09/99.42	c #Conflicts:     442000 | #Constraints:      23002
99.09/99.42	c #Conflicts:     443000 | #Constraints:      24003
99.09/99.42	c #Conflicts:     444000 | #Constraints:      25004
99.09/99.42	c #Conflicts:     445000 | #Constraints:      26004
99.09/99.42	c #Conflicts:     446000 | #Constraints:      27006
99.09/99.42	c #Conflicts:     447000 | #Constraints:      28007
99.09/99.42	c #Conflicts:     448000 | #Constraints:      29008
99.09/99.42	c INPROCESSING
99.09/99.42	c GARBAGE COLLECT
99.09/99.42	c rational objective -35
99.09/99.42	c rational objective -35
117.53/117.92	c #Conflicts:     449000 | #Constraints:      15707
117.53/117.92	c #Conflicts:     450000 | #Constraints:      16711
117.53/117.92	c #Conflicts:     451000 | #Constraints:      17712
117.53/117.92	c #Conflicts:     452000 | #Constraints:      18715
117.53/117.92	c #Conflicts:     453000 | #Constraints:      19715
117.53/117.92	c #Conflicts:     454000 | #Constraints:      20716
117.53/117.92	c #Conflicts:     455000 | #Constraints:      21717
117.53/117.92	c #Conflicts:     456000 | #Constraints:      22720
117.53/117.92	c #Conflicts:     457000 | #Constraints:      23721
117.53/117.92	c #Conflicts:     458000 | #Constraints:      24724
117.53/117.92	c #Conflicts:     459000 | #Constraints:      25725
117.53/117.92	c #Conflicts:     460000 | #Constraints:      26725
117.53/117.92	c #Conflicts:     461000 | #Constraints:      27727
117.53/117.92	c #Conflicts:     462000 | #Constraints:      28730
117.53/117.92	c #Conflicts:     463000 | #Constraints:      29731
117.53/117.92	c #Conflicts:     464000 | #Constraints:      30731
117.53/117.92	c #Conflicts:     465000 | #Constraints:      31734
117.53/117.92	c #Conflicts:     466000 | #Constraints:      32737
117.53/117.92	c #Conflicts:     467000 | #Constraints:      33738
117.53/117.92	c #Conflicts:     468000 | #Constraints:      34738
117.53/117.92	c #Conflicts:     469000 | #Constraints:      35738
117.53/117.92	c #Conflicts:     470000 | #Constraints:      36738
117.53/117.92	c #Conflicts:     471000 | #Constraints:      37738
117.53/117.92	c #Conflicts:     472000 | #Constraints:      38739
117.53/117.92	c #Conflicts:     473000 | #Constraints:      39739
117.53/117.92	c #Conflicts:     474000 | #Constraints:      40739
117.53/117.92	c #Conflicts:     475000 | #Constraints:      41739
117.53/117.92	c #Conflicts:     476000 | #Constraints:      42742
117.53/117.92	c #Conflicts:     477000 | #Constraints:      43743
117.53/117.92	c #Conflicts:     478000 | #Constraints:      44743
117.53/117.92	c #Conflicts:     479000 | #Constraints:      45744
117.53/117.92	c #Conflicts:     480000 | #Constraints:      46745
117.53/117.92	c #Conflicts:     481000 | #Constraints:      47747
117.53/117.92	c #Conflicts:     482000 | #Constraints:      48748
117.53/117.92	c #Conflicts:     483000 | #Constraints:      49751
117.53/117.92	c #Conflicts:     484000 | #Constraints:      50752
117.53/117.92	c #Conflicts:     485000 | #Constraints:      51752
117.53/117.92	c #Conflicts:     486000 | #Constraints:      52754
117.53/117.92	c #Conflicts:     487000 | #Constraints:      53754
117.53/117.92	c #Conflicts:     488000 | #Constraints:      54756
117.53/117.92	c #Conflicts:     489000 | #Constraints:      55756
117.53/117.92	c #Conflicts:     490000 | #Constraints:      56757
117.53/117.92	c #Conflicts:     491000 | #Constraints:      57761
117.53/117.92	c #Conflicts:     492000 | #Constraints:      58763
117.53/117.92	c #Conflicts:     493000 | #Constraints:      59763
117.53/117.92	c #Conflicts:     494000 | #Constraints:      60763
117.53/117.92	c #Conflicts:     495000 | #Constraints:      61763
117.53/117.92	c #Conflicts:     496000 | #Constraints:      62764
117.53/117.92	c #Conflicts:     497000 | #Constraints:      63765
117.53/117.92	c #Conflicts:     498000 | #Constraints:      64766
117.53/117.92	c #Conflicts:     499000 | #Constraints:      65766
117.53/117.92	c #Conflicts:     500000 | #Constraints:      66768
117.53/117.92	c #Conflicts:     501000 | #Constraints:      67770
117.53/117.92	c #Conflicts:     502000 | #Constraints:      68771
117.53/117.92	c #Conflicts:     503000 | #Constraints:      69772
117.53/117.92	c #Conflicts:     504000 | #Constraints:      70773
117.53/117.92	c #Conflicts:     505000 | #Constraints:      71773
117.53/117.92	c #Conflicts:     506000 | #Constraints:      72776
117.53/117.92	c bounds -34 >= -34 @ 114.856
117.53/117.92	c cpu time 114.857 s
117.53/117.92	c deterministic time 6362880219 6.36e+09
117.53/117.92	c optimization time 0.003086 s
117.53/117.92	c total solve time 114.852 s
117.53/117.92	c core-guided solve time 75.0178 s
117.53/117.92	c propagation time 88.9842 s
117.53/117.92	c conflict analysis time 22.7349 s
117.53/117.92	c propagations 33209185
117.53/117.92	c resolve steps 8146643
117.53/117.92	c decisions 631333
117.53/117.92	c conflicts 506004
117.53/117.92	c restarts 1022
117.53/117.92	c inprocessing phases 51
117.53/117.92	c garbage collections 51 ,( 100.00 )
117.53/117.92	c input clauses 959 ,( 68.06 )
117.53/117.92	c input cardinalities 345 ,( 24.49 )
117.53/117.92	c input general constraints 105 ,( 7.45 )
117.53/117.92	c input average constraint length 14.48
117.53/117.92	c input average constraint degree 5.19
117.53/117.92	c learned clauses 418290 ,( 81.67 )
117.53/117.92	c learned cardinalities 29080 ,( 5.68 )
117.53/117.92	c learned general constraints 64792 ,( 12.65 )
117.53/117.92	c learned average constraint length 52.69
117.53/117.92	c learned average constraint degree 5536827.27
117.53/117.92	c watched  CF 32, 64, 128, Arb: 47822 , 0 , 0 , 0
117.53/117.92	c counting CF 32, 64, 128, Arb: 17076 , 0 , 0 , 0
117.53/117.92	c watched   constraints 47822 ,( 73.69 ) 
117.53/117.92	c counting  constraints 17075 ,( 26.31 ) 
117.53/117.92	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 343070357 , 488345385 , 266808245 ,( 43919187 , 222889058 )
117.53/117.92	c gcd simplifications 12515
117.53/117.92	c detected cardinalities 7435
117.53/117.92	c weakened non-implied lits 4892752
117.53/117.92	c weakened non-implying lits 13536
117.53/117.92	c original variables 126
117.53/117.92	c clausal propagations 21809822
117.53/117.92	c cardinality propagations 2565988
117.53/117.92	c watched propagations 239355
117.53/117.92	c counting propagations 7958406
117.53/117.92	c watch lookups 3109618839
117.53/117.92	c watch backjump lookups 0
117.53/117.92	c watch checks 2714681982
117.53/117.92	c propagation checks 375105276
117.53/117.92	c constraint additions 94785772
117.53/117.92	c trail pops 34340519
117.53/117.92	c formula constraints 788
117.53/117.92	c learned constraints 500010
117.53/117.92	c bound constraints 124
117.53/117.92	c core-guided constraints 497
117.53/117.92	c encountered formula constraints 2342011
117.53/117.92	c encountered learned constraints 3854683
117.53/117.92	c encountered bound constraints 332
117.53/117.92	c encountered core-guided constraints 2368601
117.53/117.92	c LP total time 9.33695 s
117.53/117.92	c LP solve time 8.34 s
117.53/117.92	c LP constraints added 997
117.53/117.92	c LP constraints removed 208
117.53/117.92	c LP pivots internal 506040
117.53/117.92	c LP pivots root 1272
117.53/117.92	c LP calls 22242
117.53/117.92	c LP optimalities 16241
117.53/117.92	c LP no pivot count 5570
117.53/117.92	c LP infeasibilities 6001
117.53/117.92	c LP valid Farkas constraints 6001
117.53/117.92	c LP learned Farkas constraints 6001
117.53/117.92	c LP basis resets 0
117.53/117.92	c LP cycling count 0
117.53/117.92	c LP singular count 0
117.53/117.92	c LP no primal count 0
117.53/117.92	c LP no farkas count 0
117.53/117.92	c LP other issue count 0
117.53/117.92	c LP Gomory cuts 150
117.53/117.92	c LP learned cuts 59
117.53/117.92	c LP deleted cuts 208
117.53/117.92	c LP encountered Gomory constraints 999
117.53/117.92	c LP encountered Farkas constraints 64786
117.53/117.92	c LP encountered learned Farkas constraints 15234
117.53/117.92	c CG auxiliary variables introduced 195
117.53/117.92	c CG solutions found 32
117.53/117.92	c CG cores constructed 91
117.53/117.92	c CG core cardinality constraints returned 0
117.53/117.92	c CG unit cores 0
117.53/117.92	c CG single cores 91
117.53/117.92	c CG blocks removed during cardinality reduction 0
117.53/117.92	c CG first core best 0
117.53/117.92	c CG decision core best 0
117.53/117.92	c CG core reduction tie 0
117.53/117.92	c CG core degree average 1.00
117.53/117.92	c CG core slack average 2.51
117.53/117.92	c CG core upper bound improvements 0
117.53/117.92	c STR number of successful calls 0
117.53/117.92	c STR number of unsuccessful calls 0
117.53/117.92	c STR number of inconclusive calls 0
117.53/117.92	c STR number of successful attempts 0
117.53/117.92	c STR number of unsuccessful attempts 0
117.53/117.92	c STR number of inconclusive attempts 0
117.53/117.92	c STR average degree increase per successful call inf
117.53/117.92	c STR average degree increase per successful attempt inf
117.53/117.92	c STR total number of conflicts for successful attempts 0
117.53/117.92	c STR total number of conflicts for unsuccessful attempts 0
117.53/117.92	c STR total number of conflicts for inconclusive attempts 0
117.53/117.92	c STR average number of conflicts per successful attempt inf
117.53/117.92	c STR average number of conflicts per unsuccessful attempt inf
117.53/117.92	c STR average number of conflicts per inconclusive attempt inf
117.53/117.92	c AVG.sumWPerc 28.83 
117.53/117.92	c bigint constraints 0 
117.53/117.92	o -34
117.53/117.92	s OPTIMUM FOUND
117.53/117.92	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

Verifier Data 

OK	-34

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 (60995 MiB free)
  memory of node 1: 64465 MiB (60986 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524394-1751594982/watcher-4524394-1751594982 -o /tmp/evaluation-result-4524394-1751594982/solver-4524394-1751594982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751589980-84291 --watchdog 3760 run-opt-break.sh HOME/instance-4524394-1751594982.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85784, runsolver pid=85781
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 4.07 4.11 4.09 5/268 85787
/proc/meminfo: memFree=124909704/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=57316 memory=14360 CPUtime=0.06 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 987 0 0 0 5 1 0 0 20 0 1 0 75175750 58691584 3590 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 14329 3590 2432 1147 0 1756 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61508 KiB
Current children cumulated memory: 17432 KiB

[startup+0.205415 s]*
/proc/loadavg: 4.07 4.11 4.09 5/268 85787
/proc/meminfo: memFree=124909704/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=57980 memory=15000 CPUtime=0.16 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 1138 0 0 0 15 1 0 0 20 0 1 0 75175750 59371520 3750 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 14495 3750 2432 1147 0 1922 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 62172 KiB
Current children cumulated memory: 18072 KiB

[startup+0.305077 s]*
/proc/loadavg: 4.07 4.11 4.09 5/268 85787
/proc/meminfo: memFree=124908724/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=58652 memory=15768 CPUtime=0.26 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 1320 0 0 0 24 2 0 0 20 0 1 0 75175750 60059648 3942 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 14663 3942 2432 1147 0 2090 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 62844 KiB
Current children cumulated memory: 18840 KiB

[startup+0.700129 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 85787
/proc/meminfo: memFree=124907476/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=59952 memory=16792 CPUtime=0.65 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 1589 0 0 0 61 4 0 0 20 0 1 0 75175750 61390848 4198 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 14988 4198 2432 1147 0 2415 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 64144 KiB
Current children cumulated memory: 19864 KiB

[startup+1.50022 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 85787
/proc/meminfo: memFree=124903344/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=60808 memory=17560 CPUtime=1.45 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 1782 0 0 0 136 9 0 0 20 0 1 0 75175750 62267392 4390 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 15202 4390 2432 1147 0 2629 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 65000 KiB
Current children cumulated memory: 20632 KiB

[startup+3.10536 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 85787
/proc/meminfo: memFree=124903348/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=62480 memory=18968 CPUtime=3.05 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 2137 0 0 0 288 17 0 0 20 0 1 0 75175750 63979520 4742 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 15620 4742 2432 1147 0 3047 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 66672 KiB
Current children cumulated memory: 22040 KiB

[startup+6.3002 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 85787
/proc/meminfo: memFree=124899340/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=63800 memory=22196 CPUtime=6.24 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 2448 0 0 0 595 29 0 0 20 0 1 0 75175750 65331200 5549 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 15950 5549 2432 1147 0 3377 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 67992 KiB
Current children cumulated memory: 25268 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 85787
/proc/meminfo: memFree=124899380/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=65964 memory=24116 CPUtime=12.62 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 2912 0 0 0 1206 56 0 0 20 0 1 0 75175750 67547136 6029 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 16491 6029 2432 1147 0 3918 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 70156 KiB
Current children cumulated memory: 27188 KiB

[startup+25.5001 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 85787
/proc/meminfo: memFree=124892344/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=71412 memory=26804 CPUtime=25.39 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 3589 0 0 0 2438 101 0 0 20 0 1 0 75175750 73125888 6701 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 17853 6701 2432 1147 0 5280 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 75604 KiB
Current children cumulated memory: 29876 KiB

[startup+51.1057 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 85788
/proc/meminfo: memFree=124862428/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=111328 memory=55680 CPUtime=50.92 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 9679 0 0 0 4953 139 0 0 20 0 1 0 75175750 113999872 13920 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 27832 13920 2432 1147 0 15259 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 115520 KiB
Current children cumulated memory: 58752 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 85789
/proc/meminfo: memFree=124849260/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=114888 memory=57932 CPUtime=101.97 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 10694 0 0 0 9951 246 0 0 20 0 1 0 75175750 117645312 14483 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 28722 14483 2432 1147 0 16149 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 119080 KiB
Current children cumulated memory: 61004 KiB

[startup+117.926 s]
# the end of solver process 85784 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=114.859 s, system=2.71596 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+102.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 85789
/proc/meminfo: memFree=124849260/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=114888 memory=57932 CPUtime=102.08 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 10694 0 0 0 9961 247 0 0 20 0 1 0 75175750 117645312 14483 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 28722 14483 2432 1147 0 16149 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 119080 KiB
Current children cumulated memory: 61004 KiB

[startup+108.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 85790
/proc/meminfo: memFree=124853100/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=114888 memory=57932 CPUtime=108.46 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 10695 0 0 0 10587 259 0 0 20 0 1 0 75175750 117645312 14483 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 28722 14483 2432 1147 0 16149 0
Current children cumulated CPU time: 108.46 s
Current children cumulated vsize: 119080 KiB
Current children cumulated memory: 61004 KiB

[startup+112 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 85790
/proc/meminfo: memFree=124852868/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=114888 memory=57932 CPUtime=111.66 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 10701 0 0 0 10902 264 0 0 20 0 1 0 75175750 117645312 14483 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 28722 14483 2432 1147 0 16149 0
Current children cumulated CPU time: 111.66 s
Current children cumulated vsize: 119080 KiB
Current children cumulated memory: 61004 KiB

[startup+115.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 85790
/proc/meminfo: memFree=124836484/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=115420 memory=58316 CPUtime=114.85 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 10788 0 0 0 11217 268 0 0 20 0 1 0 75175750 118190080 14579 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 28855 14579 2432 1147 0 16282 0
Current children cumulated CPU time: 114.85 s
Current children cumulated vsize: 119612 KiB
Current children cumulated memory: 61388 KiB

[startup+116.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 85790
/proc/meminfo: memFree=124836484/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=115420 memory=58444 CPUtime=116.44 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 10818 0 0 0 11375 269 0 0 20 0 1 0 75175750 118190080 14611 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 28855 14611 2432 1147 0 16282 0
Current children cumulated CPU time: 116.44 s
Current children cumulated vsize: 119612 KiB
Current children cumulated memory: 61516 KiB

[startup+117.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 85790
/proc/meminfo: memFree=124836484/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=115420 memory=58444 CPUtime=117.24 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 10826 0 0 0 11454 270 0 0 20 0 1 0 75175750 118190080 14611 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 28855 14611 2432 1147 0 16282 0
Current children cumulated CPU time: 117.24 s
Current children cumulated vsize: 119612 KiB
Current children cumulated memory: 61516 KiB

[startup+117.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 85790
/proc/meminfo: memFree=124836484/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=115420 memory=58444 CPUtime=117.43 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 10828 0 0 0 11473 270 0 0 20 0 1 0 75175750 118190080 14611 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 28855 14611 2432 1147 0 16282 0
Current children cumulated CPU time: 117.43 s
Current children cumulated vsize: 119612 KiB
Current children cumulated memory: 61516 KiB

[startup+117.9 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 85790
/proc/meminfo: memFree=124836484/131249988 swapFree=33010160/33010684
[pid=85784] ppid=85781 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85784/stat : 85784 (run-opt-break.s) S 85781 85784 84281 0 -1 4194304 239 302 0 0 0 0 0 0 20 0 1 0 75175747 4292608 768 18446744073709551615 94851042582528 94851043477061 140721384674928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94851043716112 94851043763856 94851060277248 140721384679777 140721384679906 140721384679906 140721384685508 0
/proc/85784/statm: 1048 768 704 219 0 110 0
[pid=85787] ppid=85784 vsize=115420 memory=58444 CPUtime=117.53 cores=0,2
/proc/85787/stat : 85787 (roundingsat) R 85784 85784 84281 0 -1 4194304 10830 0 0 0 11483 270 0 0 20 0 1 0 75175750 118190080 14611 18446744073709551615 4227072 8923433 140732137528944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28123136 140732137535844 140732137536040 140732137536040 140732137541610 0
/proc/85787/statm: 28855 14611 2432 1147 0 16282 0
Current children cumulated CPU time: 117.53 s
Current children cumulated vsize: 119612 KiB
Current children cumulated memory: 61516 KiB

Child status: 0

Real time (s): 117.926
CPU time (s): 117.575
CPU user time (s): 114.859
CPU system time (s): 2.71596
CPU usage (%): 99.7025
Max. virtual memory (cumulated for all children) (KiB): 119808
Max. memory (cumulated for all children) (KiB): 61616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.859
system time used= 2.71596
maximum resident set size= 58544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 164


# summary of solver processes directly reported to runsolver:
#   pid: 85784
#   total CPU time (s): 117.575
#   total CPU user time (s): 114.859
#   total CPU system time (s): 2.71596

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.240564 second user time and 0.574165 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-04 04:09:42
IDJOB=4524394
IDBENCH=180666
IDSOLVER=3359
FILE ID=nodeC020/4524394-1751594982
RUNJOBID= nodeC020-1751589980-84291
SLURM_JOB_ID= 9598845
Free space on /tmp= 431660 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Clique-c0125-9_c24.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524394-1751594982/watcher-4524394-1751594982 -o /tmp/evaluation-result-4524394-1751594982/solver-4524394-1751594982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751589980-84291 --watchdog 3760  run-opt-break.sh HOME/instance-4524394-1751594982.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= e7657c6e4289f102872f35c7391497ac
RANDOM SEED=2133667533

nodeC020 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.79
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.914
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.79
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		: 3522.301
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.79
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		: 3590.006
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.79
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.887
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.79
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.347
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.79
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		: 3443.165
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.79
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		: 3700.000
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        124909956 kB
MemAvailable:   125089864 kB
Buffers:            2128 kB
Cached:           971680 kB
SwapCached:            8 kB
Active:          5239924 kB
Inactive:         406264 kB
Active(anon):    4665856 kB
Inactive(anon):    24568 kB
Active(file):     574068 kB
Inactive(file):   381696 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7196 kB
Writeback:            44 kB
AnonPages:       4671440 kB
Mapped:           117932 kB
Shmem:             18044 kB
KReclaimable:     126764 kB
Slab:             218772 kB
SReclaimable:     126764 kB
SUnreclaim:        92008 kB
KernelStack:        4332 kB
PageTables:        12716 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    5546028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3637248 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431652 MiB
End job on nodeC020 at 2025-07-04 04:11:40