Trace number 4509612

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 63f22ad? (TO) 3600.13 3610

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
MD5SUM3f10ffbf957f8216a1934b9362956d36
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 benchmark32
Best CPU time to get the best result obtained on this benchmark0.861547
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11744
Total number of constraints798
Number of constraints which are clauses366
Number of constraints which are cardinality constraints (but not clauses)366
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint367
Number of terms in the objective function 32
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 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 133314
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 283127
Number of bits of the biggest sum of numbers19
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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4509612-1751528474.opb'
0.00/0.02	c 	read 0.48MB  (5.32ms)
0.00/0.02	c	 [cnf: #variables 11744 #clauses 799 #duplicates 0 #arr 47008]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 504] (14.06ms)
0.00/0.03	c 
0.00/0.03	c detect special group actions
0.00/0.03	c 	probe for Johnson action (limit=64)
0.00/0.04	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.08	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08	c 	recursing 1312 blocks of candidate 16x734r
0.00/0.08	c 	recursing 18 blocks of candidate 3x64r
0.00/0.08	c 	recursing 240 blocks of candidate 3x734r
0.00/0.09	c 	recursing 20 blocks of candidate 5x64r
0.00/0.09	c 	recursing 858 blocks of candidate 11x734r
0.00/0.09	c 	recursing 10 blocks of candidate 5x64r
0.00/0.09	c 	 found row 5x64, generating row predicate
0.00/0.09	c 	recursing 12 blocks of candidate 6x64r
0.00/0.10	c 	 found row 6x64, generating row predicate
0.00/0.10	c 	recursing 8 blocks of candidate 4x64r
0.00/0.10	c 	 found row 4x64, generating row predicate
0.00/0.10	c 	recursing 6 blocks of candidate 3x64r
0.08/0.10	c 	 found row 3x64, generating row predicate
0.08/0.10	c 	recursing 14 blocks of candidate 7x64r
0.08/0.11	c 	 found row 7x64, generating row predicate
0.08/0.11	c 	recursing 18 blocks of candidate 9x64r
0.08/0.11	c 	 found row 9x64, generating row predicate
0.08/0.11	c 	recursing 20 blocks of candidate 10x64r
0.08/0.12	c 	 found row 10x64, generating row predicate
0.08/0.12	c 	recursing 22 blocks of candidate 11x64r
0.08/0.13	c 	 found row 11x64, generating row predicate
0.08/0.13	c 	recursing 24 blocks of candidate 12x64r
0.08/0.14	c 	 found row 12x64, generating row predicate
0.08/0.14	c 	recursing 62 blocks of candidate 31x64r
0.08/0.17	c 	 found row 31x64, generating row predicate
0.08/0.17	c 	recursing 84 blocks of candidate 42x64r
0.19/0.21	c 	 found row 42x64, generating row predicate
0.19/0.21	c 	 found row 11x734, generating row predicate
0.19/0.22	c 	 found row 5x64, generating row predicate
0.19/0.22	c 	recursing 12 blocks of candidate 6x64r
0.19/0.22	c 	 found row 6x64, generating row predicate
0.19/0.22	c 	recursing 6 blocks of candidate 3x64r
0.19/0.23	c 	 found row 3x64, generating row predicate
0.19/0.23	c 	recursing 22 blocks of candidate 11x64r
0.19/0.23	c 	 found row 11x64, generating row predicate
0.19/0.24	c 	 found row 3x734, generating row predicate
0.19/0.24	c 	 found row 3x64, generating row predicate
0.19/0.24	c 	recursing 14 blocks of candidate 7x64r
0.19/0.24	c 	 found row 7x64, generating row predicate
0.19/0.24	c 	recursing 20 blocks of candidate 10x64r
0.19/0.25	c 	 found row 10x64, generating row predicate
0.19/0.25	c 	recursing 22 blocks of candidate 11x64r
0.19/0.26	c 	 found row 11x64, generating row predicate
0.19/0.27	c 	 found row 16x734, generating row predicate
0.19/0.27	c 	 (240.93ms)
0.19/0.27	c 
0.19/0.27	c detect symmetries on remainder
0.19/0.27	c 	[graph: #vertices 71229 #edges 211388]
0.19/0.28	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.28/0.32	c 	 [group: #symmetries 3.04*10^94 #generators 130] (42.17ms)
0.28/0.32	c 
0.28/0.32	c optimize generators (opt_passes=64, conjugate_limit=256)
0.28/0.33	c 	opt it=15, l=3711, m=166, opt=36, avg=454, b=128, gens=130
0.28/0.34	c 	opt it=31, l=4022, m=283, opt=59, avg=441, b=128, gens=130
0.28/0.35	c 	opt it=47, l=4323, m=383, opt=72, avg=435, b=128, gens=130
0.28/0.36	c 	opt it=63, l=4614, m=496, opt=91, avg=426, b=128, gens=130
0.28/0.36	c 	ran it=0, +gens=19 
0.48/0.51	c 	con best_support=128, best_gens=122, +gens=235
0.48/0.51	c 	(196.44ms)
0.48/0.51	c 
0.48/0.51	c finalize break order and special generators
0.48/0.51	c 
0.48/0.51	c add generic predicates (break_depth=20)
0.48/0.52	c 	added predicates for 384 generators (4.07ms)
0.48/0.52	c 
0.48/0.52	c generation finished
0.48/0.52	c 	[sbp: #constraints 115302 #add_vars 38238]
0.48/0.52	c 
0.48/0.52	c write result to 'HOME/instance-4509612-1751528474.opb.pre'
0.48/0.53	c 	wrote 4.88MB (15.20ms)
0.48/0.54	c ------------------------------------------------------------------
0.48/0.54	c                 240.93ms 46.21% detect_special
0.48/0.54	c                 196.44ms 37.68% optimize_gens
0.48/0.54	c                  42.17ms  8.09% detect_generic
0.48/0.54	c                  15.20ms  2.91% output
0.48/0.54	c                  14.06ms  2.70% approx_orbits
0.48/0.54	c                   5.32ms  1.02% parse
0.48/0.54	c                   4.07ms  0.78% break_generic
0.48/0.54	c                   1.78ms  0.34% other
0.48/0.54	c                   1.43ms  0.27% finalize_order
0.48/0.54	c         ───────────────────────────────────────────────
0.48/0.54	c                 521.40ms   100% total
0.48/0.54	c ------------------------------------------------------------------
0.48/0.55	c RoundingSat 2
0.48/0.55	c branch pb25
0.48/0.55	c commit 63f22ad
0.94/1.03	c #variables 49982 #constraints 115991
0.94/1.03	c objective is ce32 
0.94/1.03	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.94/1.03	c initial counting CF 32, 64, 128, Arb: 65 , 0 , 0 , 0
0.94/1.03	c bounds - >= 0 @ 0.360444
142.39/142.93	c #Conflicts:       1000 | #Constraints:     116990
142.39/142.93	c #Conflicts:       2000 | #Constraints:     117990
142.39/142.93	c INPROCESSING
142.39/142.93	c GARBAGE COLLECT
142.39/142.93	c #Conflicts:       3000 | #Constraints:     117351
142.39/142.93	c #Conflicts:       4000 | #Constraints:     118351
142.39/142.93	c INPROCESSING
142.39/142.93	c GARBAGE COLLECT
142.39/142.93	c #Conflicts:       5000 | #Constraints:     117495
142.39/142.93	c #Conflicts:       6000 | #Constraints:     118495
142.39/142.93	c INPROCESSING
142.39/142.93	c GARBAGE COLLECT
142.39/142.93	c #Conflicts:       7000 | #Constraints:     117500
142.39/142.93	c #Conflicts:       8000 | #Constraints:     118500
142.39/142.93	c #Conflicts:       9000 | #Constraints:     119500
142.39/142.93	c INPROCESSING
142.39/142.93	c GARBAGE COLLECT
142.39/142.93	c #Conflicts:      10000 | #Constraints:     118267
142.39/142.93	c #Conflicts:      11000 | #Constraints:     119268
142.39/142.93	c #Conflicts:      12000 | #Constraints:     120268
142.39/142.93	c INPROCESSING
142.39/142.93	c GARBAGE COLLECT
142.39/142.93	c #Conflicts:      13000 | #Constraints:     118716
142.39/142.93	c #Conflicts:      14000 | #Constraints:     119716
142.39/142.93	c #Conflicts:      15000 | #Constraints:     120716
142.39/142.93	c INPROCESSING
142.39/142.93	c GARBAGE COLLECT
142.39/142.93	c #Conflicts:      16000 | #Constraints:     119051
142.39/142.93	c #Conflicts:      17000 | #Constraints:     120052
142.39/142.93	c #Conflicts:      18000 | #Constraints:     121052
142.39/142.93	c INPROCESSING
142.39/142.93	c GARBAGE COLLECT
142.39/142.93	c #Conflicts:      19000 | #Constraints:     119115
142.39/142.93	c #Conflicts:      20000 | #Constraints:     120115
142.39/142.93	c #Conflicts:      21000 | #Constraints:     121115
142.39/142.93	c INPROCESSING
142.39/142.93	c GARBAGE COLLECT
142.39/142.93	c #Conflicts:      22000 | #Constraints:     118939
142.39/142.93	c #Conflicts:      23000 | #Constraints:     119939
142.39/142.93	c #Conflicts:      24000 | #Constraints:     120939
142.39/142.93	c #Conflicts:      25000 | #Constraints:     121939
142.39/142.93	c INPROCESSING
142.39/142.93	c GARBAGE COLLECT
142.39/142.93	c rational objective 32
255.47/256.36	c #Conflicts:      26000 | #Constraints:     119569
255.47/256.36	c #Conflicts:      27000 | #Constraints:     120569
255.47/256.36	c #Conflicts:      28000 | #Constraints:     121570
255.47/256.36	c #Conflicts:      29000 | #Constraints:     122570
255.47/256.36	c INPROCESSING
255.47/256.36	c GARBAGE COLLECT
255.47/256.36	c #Conflicts:      30000 | #Constraints:     119789
255.47/256.36	c #Conflicts:      31000 | #Constraints:     120789
255.47/256.36	c #Conflicts:      32000 | #Constraints:     121789
255.47/256.36	c #Conflicts:      33000 | #Constraints:     122789
255.47/256.36	c INPROCESSING
255.47/256.36	c GARBAGE COLLECT
255.47/256.36	c #Conflicts:      34000 | #Constraints:     119532
255.47/256.36	c #Conflicts:      35000 | #Constraints:     120532
255.47/256.36	c #Conflicts:      36000 | #Constraints:     121533
255.47/256.36	c #Conflicts:      37000 | #Constraints:     122533
255.47/256.36	c INPROCESSING
255.47/256.36	c GARBAGE COLLECT
255.47/256.36	c #Conflicts:      38000 | #Constraints:     119589
255.47/256.36	c #Conflicts:      39000 | #Constraints:     120589
255.47/256.36	c #Conflicts:      40000 | #Constraints:     121589
255.47/256.36	c #Conflicts:      41000 | #Constraints:     122589
255.47/256.36	c INPROCESSING
255.47/256.36	c GARBAGE COLLECT
255.47/256.36	c #Conflicts:      42000 | #Constraints:     119248
255.47/256.36	c #Conflicts:      43000 | #Constraints:     120248
255.47/256.36	c #Conflicts:      44000 | #Constraints:     121248
255.47/256.36	c #Conflicts:      45000 | #Constraints:     122248
255.47/256.36	c #Conflicts:      46000 | #Constraints:     123248
255.47/256.36	c INPROCESSING
255.47/256.36	c GARBAGE COLLECT
255.47/256.36	c rational objective 32
309.14/310.15	c #Conflicts:      47000 | #Constraints:     119855
309.14/310.15	c #Conflicts:      48000 | #Constraints:     120855
309.14/310.15	c #Conflicts:      49000 | #Constraints:     121855
309.14/310.15	c #Conflicts:      50000 | #Constraints:     122855
309.14/310.15	c #Conflicts:      51000 | #Constraints:     123855
309.14/310.15	c INPROCESSING
309.14/310.15	c GARBAGE COLLECT
309.14/310.15	c #Conflicts:      52000 | #Constraints:     120363
309.14/310.15	c #Conflicts:      53000 | #Constraints:     121363
309.14/310.15	c #Conflicts:      54000 | #Constraints:     122363
309.14/310.15	c #Conflicts:      55000 | #Constraints:     123364
309.14/310.15	c #Conflicts:      56000 | #Constraints:     124364
309.14/310.15	c INPROCESSING
309.14/310.15	c GARBAGE COLLECT
309.14/310.15	c rational objective 32
323.19/324.21	c #Conflicts:      57000 | #Constraints:     120592
323.19/324.21	c #Conflicts:      58000 | #Constraints:     121592
323.19/324.21	c #Conflicts:      59000 | #Constraints:     122592
323.19/324.21	c #Conflicts:      60000 | #Constraints:     123592
323.19/324.21	c #Conflicts:      61000 | #Constraints:     124592
323.19/324.21	c INPROCESSING
323.19/324.21	c GARBAGE COLLECT
323.19/324.21	c #Conflicts:      62000 | #Constraints:     120561
323.19/324.21	c #Conflicts:      63000 | #Constraints:     121562
323.19/324.21	c #Conflicts:      64000 | #Constraints:     122562
323.19/324.21	c #Conflicts:      65000 | #Constraints:     123563
323.19/324.21	c #Conflicts:      66000 | #Constraints:     124565
323.19/324.21	c INPROCESSING
323.19/324.21	c GARBAGE COLLECT
323.19/324.21	c rational objective 32
368.67/369.84	c #Conflicts:      67000 | #Constraints:     120362
368.67/369.84	c #Conflicts:      68000 | #Constraints:     121362
368.67/369.84	c #Conflicts:      69000 | #Constraints:     122363
368.67/369.84	c #Conflicts:      70000 | #Constraints:     123363
368.67/369.84	c #Conflicts:      71000 | #Constraints:     124363
368.67/369.84	c #Conflicts:      72000 | #Constraints:     125363
368.67/369.84	c INPROCESSING
368.67/369.84	c GARBAGE COLLECT
368.67/369.84	c #Conflicts:      73000 | #Constraints:     121008
368.67/369.84	c #Conflicts:      74000 | #Constraints:     122008
368.67/369.84	c #Conflicts:      75000 | #Constraints:     123008
368.67/369.84	c #Conflicts:      76000 | #Constraints:     124009
368.67/369.84	c #Conflicts:      77000 | #Constraints:     125009
368.67/369.84	c #Conflicts:      78000 | #Constraints:     126009
368.67/369.84	c INPROCESSING
368.67/369.84	c GARBAGE COLLECT
368.67/369.84	c rational objective 32
402.19/403.40	c #Conflicts:      79000 | #Constraints:     120705
402.19/403.40	c #Conflicts:      80000 | #Constraints:     121705
402.19/403.40	c #Conflicts:      81000 | #Constraints:     122705
402.19/403.40	c #Conflicts:      82000 | #Constraints:     123705
402.19/403.40	c #Conflicts:      83000 | #Constraints:     124706
402.19/403.40	c #Conflicts:      84000 | #Constraints:     125706
402.19/403.40	c INPROCESSING
402.19/403.40	c GARBAGE COLLECT
402.19/403.40	c #Conflicts:      85000 | #Constraints:     120944
402.19/403.40	c #Conflicts:      86000 | #Constraints:     121944
402.19/403.40	c #Conflicts:      87000 | #Constraints:     122946
402.19/403.40	c #Conflicts:      88000 | #Constraints:     123950
402.19/403.40	c #Conflicts:      89000 | #Constraints:     124952
402.19/403.40	c #Conflicts:      90000 | #Constraints:     125953
402.19/403.40	c INPROCESSING
402.19/403.40	c GARBAGE COLLECT
402.19/403.40	c rational objective 32
480.29/481.79	c #Conflicts:      91000 | #Constraints:     120965
480.29/481.79	c #Conflicts:      92000 | #Constraints:     121965
480.29/481.79	c #Conflicts:      93000 | #Constraints:     122965
480.29/481.79	c #Conflicts:      94000 | #Constraints:     123965
480.29/481.79	c #Conflicts:      95000 | #Constraints:     124965
480.29/481.79	c #Conflicts:      96000 | #Constraints:     125965
480.29/481.79	c INPROCESSING
480.29/481.79	c GARBAGE COLLECT
480.29/481.79	c #Conflicts:      97000 | #Constraints:     120848
480.29/481.79	c #Conflicts:      98000 | #Constraints:     121848
480.29/481.79	c #Conflicts:      99000 | #Constraints:     122848
480.29/481.79	c #Conflicts:     100000 | #Constraints:     123848
480.29/481.79	c #Conflicts:     101000 | #Constraints:     124848
480.29/481.79	c #Conflicts:     102000 | #Constraints:     125849
480.29/481.79	c #Conflicts:     103000 | #Constraints:     126849
480.29/481.79	c INPROCESSING
480.29/481.79	c GARBAGE COLLECT
480.29/481.79	c rational objective 32
515.41/516.96	c #Conflicts:     104000 | #Constraints:     121485
515.41/516.96	c #Conflicts:     105000 | #Constraints:     122485
515.41/516.96	c #Conflicts:     106000 | #Constraints:     123485
515.41/516.96	c #Conflicts:     107000 | #Constraints:     124485
515.41/516.96	c #Conflicts:     108000 | #Constraints:     125485
515.41/516.96	c #Conflicts:     109000 | #Constraints:     126485
515.41/516.96	c #Conflicts:     110000 | #Constraints:     127485
515.41/516.96	c INPROCESSING
515.41/516.96	c GARBAGE COLLECT
515.41/516.96	c #Conflicts:     111000 | #Constraints:     121764
515.41/516.96	c #Conflicts:     112000 | #Constraints:     122764
515.41/516.96	c #Conflicts:     113000 | #Constraints:     123764
515.41/516.96	c #Conflicts:     114000 | #Constraints:     124764
515.41/516.96	c #Conflicts:     115000 | #Constraints:     125764
515.41/516.96	c #Conflicts:     116000 | #Constraints:     126764
515.41/516.96	c #Conflicts:     117000 | #Constraints:     127764
515.41/516.96	c INPROCESSING
515.41/516.96	c GARBAGE COLLECT
515.41/516.96	c rational objective 32
564.28/565.94	c #Conflicts:     118000 | #Constraints:     122050
564.28/565.94	c #Conflicts:     119000 | #Constraints:     123050
564.28/565.94	c #Conflicts:     120000 | #Constraints:     124050
564.28/565.94	c #Conflicts:     121000 | #Constraints:     125050
564.28/565.94	c #Conflicts:     122000 | #Constraints:     126051
564.28/565.94	c #Conflicts:     123000 | #Constraints:     127051
564.28/565.94	c #Conflicts:     124000 | #Constraints:     128052
564.28/565.94	c INPROCESSING
564.28/565.94	c GARBAGE COLLECT
564.28/565.94	c rational objective 32
588.51/590.26	c #Conflicts:     125000 | #Constraints:     122139
588.51/590.26	c #Conflicts:     126000 | #Constraints:     123140
588.51/590.26	c #Conflicts:     127000 | #Constraints:     124140
588.51/590.26	c #Conflicts:     128000 | #Constraints:     125140
588.51/590.26	c #Conflicts:     129000 | #Constraints:     126140
588.51/590.26	c #Conflicts:     130000 | #Constraints:     127140
588.51/590.26	c #Conflicts:     131000 | #Constraints:     128140
588.51/590.26	c INPROCESSING
588.51/590.26	c GARBAGE COLLECT
588.51/590.26	c rational objective 32
625.23/627.10	c #Conflicts:     132000 | #Constraints:     121943
625.23/627.10	c #Conflicts:     133000 | #Constraints:     122943
625.23/627.10	c #Conflicts:     134000 | #Constraints:     123943
625.23/627.10	c #Conflicts:     135000 | #Constraints:     124943
625.23/627.10	c #Conflicts:     136000 | #Constraints:     125943
625.23/627.10	c #Conflicts:     137000 | #Constraints:     126943
625.23/627.10	c #Conflicts:     138000 | #Constraints:     127943
625.23/627.10	c #Conflicts:     139000 | #Constraints:     128943
625.23/627.10	c INPROCESSING
625.23/627.10	c GARBAGE COLLECT
625.23/627.10	c rational objective 32
704.81/706.83	c #Conflicts:     140000 | #Constraints:     122551
704.81/706.83	c #Conflicts:     141000 | #Constraints:     123551
704.81/706.83	c #Conflicts:     142000 | #Constraints:     124552
704.81/706.83	c #Conflicts:     143000 | #Constraints:     125552
704.81/706.83	c #Conflicts:     144000 | #Constraints:     126552
704.81/706.83	c #Conflicts:     145000 | #Constraints:     127553
704.81/706.83	c #Conflicts:     146000 | #Constraints:     128553
704.81/706.83	c #Conflicts:     147000 | #Constraints:     129554
704.81/706.83	c INPROCESSING
704.81/706.83	c GARBAGE COLLECT
704.81/706.83	c #Conflicts:     148000 | #Constraints:     123024
704.81/706.83	c #Conflicts:     149000 | #Constraints:     124026
704.81/706.83	c #Conflicts:     150000 | #Constraints:     125026
704.81/706.83	c #Conflicts:     151000 | #Constraints:     126028
704.81/706.83	c #Conflicts:     152000 | #Constraints:     127028
704.81/706.83	c #Conflicts:     153000 | #Constraints:     128029
704.81/706.83	c #Conflicts:     154000 | #Constraints:     129029
704.81/706.83	c #Conflicts:     155000 | #Constraints:     130030
704.81/706.83	c INPROCESSING
704.81/706.83	c GARBAGE COLLECT
704.81/706.83	c rational objective 32
788.18/790.49	c #Conflicts:     156000 | #Constraints:     123255
788.18/790.49	c #Conflicts:     157000 | #Constraints:     124255
788.18/790.49	c #Conflicts:     158000 | #Constraints:     125255
788.18/790.49	c #Conflicts:     159000 | #Constraints:     126256
788.18/790.49	c #Conflicts:     160000 | #Constraints:     127257
788.18/790.49	c #Conflicts:     161000 | #Constraints:     128257
788.18/790.49	c #Conflicts:     162000 | #Constraints:     129258
788.18/790.49	c #Conflicts:     163000 | #Constraints:     130258
788.18/790.49	c INPROCESSING
788.18/790.49	c GARBAGE COLLECT
788.18/790.49	c #Conflicts:     164000 | #Constraints:     123253
788.18/790.49	c #Conflicts:     165000 | #Constraints:     124254
788.18/790.49	c #Conflicts:     166000 | #Constraints:     125254
788.18/790.49	c #Conflicts:     167000 | #Constraints:     126254
788.18/790.49	c #Conflicts:     168000 | #Constraints:     127255
788.18/790.49	c #Conflicts:     169000 | #Constraints:     128255
788.18/790.49	c #Conflicts:     170000 | #Constraints:     129255
788.18/790.49	c #Conflicts:     171000 | #Constraints:     130256
788.18/790.49	c INPROCESSING
788.18/790.49	c GARBAGE COLLECT
788.18/790.49	c rational objective 32
839.75/842.12	c #Conflicts:     172000 | #Constraints:     123076
839.75/842.12	c #Conflicts:     173000 | #Constraints:     124076
839.75/842.12	c #Conflicts:     174000 | #Constraints:     125081
839.75/842.12	c #Conflicts:     175000 | #Constraints:     126087
839.75/842.12	c #Conflicts:     176000 | #Constraints:     127087
839.75/842.12	c #Conflicts:     177000 | #Constraints:     128088
839.75/842.12	c #Conflicts:     178000 | #Constraints:     129088
839.75/842.12	c #Conflicts:     179000 | #Constraints:     130088
839.75/842.12	c #Conflicts:     180000 | #Constraints:     131088
839.75/842.12	c INPROCESSING
839.75/842.12	c GARBAGE COLLECT
839.75/842.12	c rational objective 32
937.68/940.33	c #Conflicts:     181000 | #Constraints:     123802
937.68/940.33	c #Conflicts:     182000 | #Constraints:     124803
937.68/940.33	c #Conflicts:     183000 | #Constraints:     125803
937.68/940.33	c #Conflicts:     184000 | #Constraints:     126803
937.68/940.33	c #Conflicts:     185000 | #Constraints:     127803
937.68/940.33	c #Conflicts:     186000 | #Constraints:     128804
937.68/940.33	c #Conflicts:     187000 | #Constraints:     129804
937.68/940.33	c #Conflicts:     188000 | #Constraints:     130804
937.68/940.33	c #Conflicts:     189000 | #Constraints:     131805
937.68/940.33	c INPROCESSING
937.68/940.33	c GARBAGE COLLECT
937.68/940.33	c #Conflicts:     190000 | #Constraints:     124151
937.68/940.33	c #Conflicts:     191000 | #Constraints:     125151
937.68/940.33	c #Conflicts:     192000 | #Constraints:     126152
937.68/940.33	c #Conflicts:     193000 | #Constraints:     127152
937.68/940.33	c #Conflicts:     194000 | #Constraints:     128152
937.68/940.33	c #Conflicts:     195000 | #Constraints:     129152
937.68/940.33	c #Conflicts:     196000 | #Constraints:     130153
937.68/940.33	c #Conflicts:     197000 | #Constraints:     131153
937.68/940.33	c #Conflicts:     198000 | #Constraints:     132153
937.68/940.33	c INPROCESSING
937.68/940.33	c GARBAGE COLLECT
937.68/940.33	c rational objective 32
1022.56/1025.48	c #Conflicts:     199000 | #Constraints:     124360
1022.56/1025.48	c #Conflicts:     200000 | #Constraints:     125360
1022.56/1025.48	c #Conflicts:     201000 | #Constraints:     126360
1022.56/1025.48	c #Conflicts:     202000 | #Constraints:     127361
1022.56/1025.48	c #Conflicts:     203000 | #Constraints:     128365
1022.56/1025.48	c #Conflicts:     204000 | #Constraints:     129371
1022.56/1025.48	c #Conflicts:     205000 | #Constraints:     130372
1022.56/1025.48	c #Conflicts:     206000 | #Constraints:     131374
1022.56/1025.48	c #Conflicts:     207000 | #Constraints:     132376
1022.56/1025.48	c INPROCESSING
1022.56/1025.48	c GARBAGE COLLECT
1022.56/1025.48	c #Conflicts:     208000 | #Constraints:     124366
1022.56/1025.48	c #Conflicts:     209000 | #Constraints:     125368
1022.56/1025.48	c #Conflicts:     210000 | #Constraints:     126368
1022.56/1025.48	c #Conflicts:     211000 | #Constraints:     127368
1022.56/1025.48	c #Conflicts:     212000 | #Constraints:     128374
1022.56/1025.48	c #Conflicts:     213000 | #Constraints:     129376
1022.56/1025.48	c #Conflicts:     214000 | #Constraints:     130377
1022.56/1025.48	c #Conflicts:     215000 | #Constraints:     131377
1022.56/1025.48	c #Conflicts:     216000 | #Constraints:     132377
1022.56/1025.48	c INPROCESSING
1022.56/1025.48	c GARBAGE COLLECT
1022.56/1025.48	c rational objective 32
1104.42/1107.50	c #Conflicts:     217000 | #Constraints:     124192
1104.42/1107.50	c #Conflicts:     218000 | #Constraints:     125192
1104.42/1107.50	c #Conflicts:     219000 | #Constraints:     126193
1104.42/1107.50	c #Conflicts:     220000 | #Constraints:     127197
1104.42/1107.50	c #Conflicts:     221000 | #Constraints:     128197
1104.42/1107.50	c #Conflicts:     222000 | #Constraints:     129198
1104.42/1107.50	c #Conflicts:     223000 | #Constraints:     130198
1104.42/1107.50	c #Conflicts:     224000 | #Constraints:     131199
1104.42/1107.50	c #Conflicts:     225000 | #Constraints:     132201
1104.42/1107.50	c #Conflicts:     226000 | #Constraints:     133203
1104.42/1107.50	c INPROCESSING
1104.42/1107.50	c GARBAGE COLLECT
1104.42/1107.50	c #Conflicts:     227000 | #Constraints:     124848
1104.42/1107.50	c #Conflicts:     228000 | #Constraints:     125850
1104.42/1107.50	c #Conflicts:     229000 | #Constraints:     126851
1104.42/1107.50	c #Conflicts:     230000 | #Constraints:     127854
1104.42/1107.50	c #Conflicts:     231000 | #Constraints:     128855
1104.42/1107.50	c #Conflicts:     232000 | #Constraints:     129856
1104.42/1107.50	c #Conflicts:     233000 | #Constraints:     130857
1104.42/1107.50	c #Conflicts:     234000 | #Constraints:     131857
1104.42/1107.50	c #Conflicts:     235000 | #Constraints:     132857
1104.42/1107.50	c #Conflicts:     236000 | #Constraints:     133858
1104.42/1107.50	c INPROCESSING
1104.42/1107.50	c GARBAGE COLLECT
1104.42/1107.50	c rational objective 32
1126.87/1130.01	c #Conflicts:     237000 | #Constraints:     125265
1126.87/1130.01	c #Conflicts:     238000 | #Constraints:     126266
1126.87/1130.01	c #Conflicts:     239000 | #Constraints:     127266
1126.87/1130.01	c #Conflicts:     240000 | #Constraints:     128266
1126.87/1130.01	c #Conflicts:     241000 | #Constraints:     129266
1126.87/1130.01	c #Conflicts:     242000 | #Constraints:     130267
1126.87/1130.01	c #Conflicts:     243000 | #Constraints:     131268
1126.87/1130.01	c #Conflicts:     244000 | #Constraints:     132268
1126.87/1130.01	c #Conflicts:     245000 | #Constraints:     133268
1126.87/1130.01	c #Conflicts:     246000 | #Constraints:     134268
1126.87/1130.01	c INPROCESSING
1126.87/1130.01	c GARBAGE COLLECT
1126.87/1130.01	c rational objective 32
1180.42/1183.78	c #Conflicts:     247000 | #Constraints:     125525
1180.42/1183.78	c #Conflicts:     248000 | #Constraints:     126525
1180.42/1183.78	c #Conflicts:     249000 | #Constraints:     127525
1180.42/1183.78	c #Conflicts:     250000 | #Constraints:     128526
1180.42/1183.78	c #Conflicts:     251000 | #Constraints:     129526
1180.42/1183.78	c #Conflicts:     252000 | #Constraints:     130527
1180.42/1183.78	c #Conflicts:     253000 | #Constraints:     131527
1180.42/1183.78	c #Conflicts:     254000 | #Constraints:     132528
1180.42/1183.78	c #Conflicts:     255000 | #Constraints:     133528
1180.42/1183.78	c #Conflicts:     256000 | #Constraints:     134529
1180.42/1183.78	c INPROCESSING
1180.42/1183.78	c GARBAGE COLLECT
1180.42/1183.78	c rational objective 32
1202.06/1205.41	c #Conflicts:     257000 | #Constraints:     125595
1202.06/1205.41	c #Conflicts:     258000 | #Constraints:     126595
1202.06/1205.41	c #Conflicts:     259000 | #Constraints:     127596
1202.06/1205.41	c #Conflicts:     260000 | #Constraints:     128596
1202.06/1205.41	c #Conflicts:     261000 | #Constraints:     129596
1202.06/1205.41	c #Conflicts:     262000 | #Constraints:     130596
1202.06/1205.41	c #Conflicts:     263000 | #Constraints:     131596
1202.06/1205.41	c #Conflicts:     264000 | #Constraints:     132597
1202.06/1205.41	c #Conflicts:     265000 | #Constraints:     133599
1202.06/1205.41	c #Conflicts:     266000 | #Constraints:     134600
1202.06/1205.41	c INPROCESSING
1202.06/1205.41	c GARBAGE COLLECT
1202.06/1205.41	c rational objective 32
1259.71/1263.29	c #Conflicts:     267000 | #Constraints:     125413
1259.71/1263.29	c #Conflicts:     268000 | #Constraints:     126413
1259.71/1263.29	c #Conflicts:     269000 | #Constraints:     127414
1259.71/1263.29	c #Conflicts:     270000 | #Constraints:     128415
1259.71/1263.29	c #Conflicts:     271000 | #Constraints:     129415
1259.71/1263.29	c #Conflicts:     272000 | #Constraints:     130417
1259.71/1263.29	c #Conflicts:     273000 | #Constraints:     131418
1259.71/1263.29	c #Conflicts:     274000 | #Constraints:     132421
1259.71/1263.29	c #Conflicts:     275000 | #Constraints:     133422
1259.71/1263.29	c #Conflicts:     276000 | #Constraints:     134423
1259.71/1263.29	c #Conflicts:     277000 | #Constraints:     135423
1259.71/1263.29	c INPROCESSING
1259.71/1263.29	c GARBAGE COLLECT
1259.71/1263.29	c rational objective 32
1305.40/1309.06	c #Conflicts:     278000 | #Constraints:     126027
1305.40/1309.06	c #Conflicts:     279000 | #Constraints:     127027
1305.40/1309.06	c #Conflicts:     280000 | #Constraints:     128027
1305.40/1309.06	c #Conflicts:     281000 | #Constraints:     129027
1305.40/1309.06	c #Conflicts:     282000 | #Constraints:     130027
1305.40/1309.06	c #Conflicts:     283000 | #Constraints:     131027
1305.40/1309.06	c #Conflicts:     284000 | #Constraints:     132028
1305.40/1309.06	c #Conflicts:     285000 | #Constraints:     133028
1305.40/1309.06	c #Conflicts:     286000 | #Constraints:     134028
1305.40/1309.06	c #Conflicts:     287000 | #Constraints:     135028
1305.40/1309.06	c #Conflicts:     288000 | #Constraints:     136028
1305.40/1309.06	c INPROCESSING
1305.40/1309.06	c GARBAGE COLLECT
1305.40/1309.06	c rational objective 32
1348.49/1352.21	c #Conflicts:     289000 | #Constraints:     126548
1348.49/1352.21	c #Conflicts:     290000 | #Constraints:     127548
1348.49/1352.21	c #Conflicts:     291000 | #Constraints:     128548
1348.49/1352.21	c #Conflicts:     292000 | #Constraints:     129548
1348.49/1352.21	c #Conflicts:     293000 | #Constraints:     130548
1348.49/1352.21	c #Conflicts:     294000 | #Constraints:     131548
1348.49/1352.21	c #Conflicts:     295000 | #Constraints:     132548
1348.49/1352.21	c #Conflicts:     296000 | #Constraints:     133548
1348.49/1352.21	c #Conflicts:     297000 | #Constraints:     134548
1348.49/1352.21	c #Conflicts:     298000 | #Constraints:     135548
1348.49/1352.21	c #Conflicts:     299000 | #Constraints:     136548
1348.49/1352.21	c INPROCESSING
1348.49/1352.21	c GARBAGE COLLECT
1348.49/1352.21	c rational objective 32
1402.24/1406.19	c #Conflicts:     300000 | #Constraints:     126689
1402.24/1406.19	c #Conflicts:     301000 | #Constraints:     127689
1402.24/1406.19	c #Conflicts:     302000 | #Constraints:     128689
1402.24/1406.19	c #Conflicts:     303000 | #Constraints:     129689
1402.24/1406.19	c #Conflicts:     304000 | #Constraints:     130689
1402.24/1406.19	c #Conflicts:     305000 | #Constraints:     131690
1402.24/1406.19	c #Conflicts:     306000 | #Constraints:     132690
1402.24/1406.19	c #Conflicts:     307000 | #Constraints:     133690
1402.24/1406.19	c #Conflicts:     308000 | #Constraints:     134690
1402.24/1406.19	c #Conflicts:     309000 | #Constraints:     135691
1402.24/1406.19	c #Conflicts:     310000 | #Constraints:     136691
1402.24/1406.19	c INPROCESSING
1402.24/1406.19	c GARBAGE COLLECT
1402.24/1406.19	c rational objective 32
1473.25/1477.38	c #Conflicts:     311000 | #Constraints:     126822
1473.25/1477.38	c #Conflicts:     312000 | #Constraints:     127822
1473.25/1477.38	c #Conflicts:     313000 | #Constraints:     128822
1473.25/1477.38	c #Conflicts:     314000 | #Constraints:     129823
1473.25/1477.38	c #Conflicts:     315000 | #Constraints:     130823
1473.25/1477.38	c #Conflicts:     316000 | #Constraints:     131824
1473.25/1477.38	c #Conflicts:     317000 | #Constraints:     132826
1473.25/1477.38	c #Conflicts:     318000 | #Constraints:     133827
1473.25/1477.38	c #Conflicts:     319000 | #Constraints:     134827
1473.25/1477.38	c #Conflicts:     320000 | #Constraints:     135827
1473.25/1477.38	c #Conflicts:     321000 | #Constraints:     136827
1473.25/1477.38	c INPROCESSING
1473.25/1477.38	c GARBAGE COLLECT
1473.25/1477.38	c rational objective 32
1533.19/1537.42	c #Conflicts:     322000 | #Constraints:     126618
1533.19/1537.42	c #Conflicts:     323000 | #Constraints:     127618
1533.19/1537.42	c #Conflicts:     324000 | #Constraints:     128618
1533.19/1537.42	c #Conflicts:     325000 | #Constraints:     129618
1533.19/1537.42	c #Conflicts:     326000 | #Constraints:     130618
1533.19/1537.42	c #Conflicts:     327000 | #Constraints:     131618
1533.19/1537.42	c #Conflicts:     328000 | #Constraints:     132618
1533.19/1537.42	c #Conflicts:     329000 | #Constraints:     133619
1533.19/1537.42	c #Conflicts:     330000 | #Constraints:     134620
1533.19/1537.42	c #Conflicts:     331000 | #Constraints:     135621
1533.19/1537.42	c #Conflicts:     332000 | #Constraints:     136622
1533.19/1537.42	c #Conflicts:     333000 | #Constraints:     137623
1533.19/1537.42	c INPROCESSING
1533.19/1537.42	c GARBAGE COLLECT
1533.19/1537.42	c rational objective 32
1564.50/1568.87	c #Conflicts:     334000 | #Constraints:     127230
1564.50/1568.87	c #Conflicts:     335000 | #Constraints:     128230
1564.50/1568.87	c #Conflicts:     336000 | #Constraints:     129230
1564.50/1568.87	c #Conflicts:     337000 | #Constraints:     130230
1564.50/1568.87	c #Conflicts:     338000 | #Constraints:     131230
1564.50/1568.87	c #Conflicts:     339000 | #Constraints:     132230
1564.50/1568.87	c #Conflicts:     340000 | #Constraints:     133230
1564.50/1568.87	c #Conflicts:     341000 | #Constraints:     134231
1564.50/1568.87	c #Conflicts:     342000 | #Constraints:     135231
1564.50/1568.87	c #Conflicts:     343000 | #Constraints:     136232
1564.50/1568.87	c #Conflicts:     344000 | #Constraints:     137232
1564.50/1568.87	c #Conflicts:     345000 | #Constraints:     138234
1564.50/1568.87	c INPROCESSING
1564.50/1568.87	c GARBAGE COLLECT
1564.50/1568.87	c rational objective 32
1638.70/1643.26	c #Conflicts:     346000 | #Constraints:     127656
1638.70/1643.26	c #Conflicts:     347000 | #Constraints:     128657
1638.70/1643.26	c #Conflicts:     348000 | #Constraints:     129657
1638.70/1643.26	c #Conflicts:     349000 | #Constraints:     130657
1638.70/1643.26	c #Conflicts:     350000 | #Constraints:     131657
1638.70/1643.26	c #Conflicts:     351000 | #Constraints:     132657
1638.70/1643.26	c #Conflicts:     352000 | #Constraints:     133657
1638.70/1643.26	c #Conflicts:     353000 | #Constraints:     134658
1638.70/1643.26	c #Conflicts:     354000 | #Constraints:     135658
1638.70/1643.26	c #Conflicts:     355000 | #Constraints:     136659
1638.70/1643.26	c #Conflicts:     356000 | #Constraints:     137659
1638.70/1643.26	c #Conflicts:     357000 | #Constraints:     138659
1638.70/1643.26	c INPROCESSING
1638.70/1643.26	c GARBAGE COLLECT
1638.70/1643.26	c rational objective 32
1731.64/1736.42	c #Conflicts:     358000 | #Constraints:     127862
1731.64/1736.42	c #Conflicts:     359000 | #Constraints:     128863
1731.64/1736.42	c #Conflicts:     360000 | #Constraints:     129863
1731.64/1736.42	c #Conflicts:     361000 | #Constraints:     130864
1731.64/1736.42	c #Conflicts:     362000 | #Constraints:     131864
1731.64/1736.42	c #Conflicts:     363000 | #Constraints:     132865
1731.64/1736.42	c #Conflicts:     364000 | #Constraints:     133865
1731.64/1736.42	c #Conflicts:     365000 | #Constraints:     134865
1731.64/1736.42	c #Conflicts:     366000 | #Constraints:     135866
1731.64/1736.42	c #Conflicts:     367000 | #Constraints:     136866
1731.64/1736.42	c #Conflicts:     368000 | #Constraints:     137866
1731.64/1736.42	c #Conflicts:     369000 | #Constraints:     138866
1731.64/1736.42	c INPROCESSING
1731.64/1736.42	c GARBAGE COLLECT
1731.64/1736.42	c rational objective 32
1794.17/1799.14	c #Conflicts:     370000 | #Constraints:     127945
1794.17/1799.14	c #Conflicts:     371000 | #Constraints:     128945
1794.17/1799.14	c #Conflicts:     372000 | #Constraints:     129945
1794.17/1799.14	c #Conflicts:     373000 | #Constraints:     130946
1794.17/1799.14	c #Conflicts:     374000 | #Constraints:     131946
1794.17/1799.14	c #Conflicts:     375000 | #Constraints:     132946
1794.17/1799.14	c #Conflicts:     376000 | #Constraints:     133946
1794.17/1799.14	c #Conflicts:     377000 | #Constraints:     134946
1794.17/1799.14	c #Conflicts:     378000 | #Constraints:     135946
1794.17/1799.14	c #Conflicts:     379000 | #Constraints:     136946
1794.17/1799.14	c #Conflicts:     380000 | #Constraints:     137946
1794.17/1799.14	c #Conflicts:     381000 | #Constraints:     138947
1794.17/1799.14	c INPROCESSING
1794.17/1799.14	c GARBAGE COLLECT
1794.17/1799.14	c rational objective 32
1863.28/1868.41	c #Conflicts:     382000 | #Constraints:     127820
1863.28/1868.41	c #Conflicts:     383000 | #Constraints:     128822
1863.28/1868.41	c #Conflicts:     384000 | #Constraints:     129822
1863.28/1868.41	c #Conflicts:     385000 | #Constraints:     130822
1863.28/1868.41	c #Conflicts:     386000 | #Constraints:     131822
1863.28/1868.41	c #Conflicts:     387000 | #Constraints:     132822
1863.28/1868.41	c #Conflicts:     388000 | #Constraints:     133823
1863.28/1868.41	c #Conflicts:     389000 | #Constraints:     134823
1863.28/1868.41	c #Conflicts:     390000 | #Constraints:     135823
1863.28/1868.41	c #Conflicts:     391000 | #Constraints:     136823
1863.28/1868.41	c #Conflicts:     392000 | #Constraints:     137823
1863.28/1868.41	c #Conflicts:     393000 | #Constraints:     138823
1863.28/1868.41	c #Conflicts:     394000 | #Constraints:     139823
1863.28/1868.41	c INPROCESSING
1863.28/1868.41	c GARBAGE COLLECT
1863.28/1868.41	c rational objective 32
1913.35/1918.62	c #Conflicts:     395000 | #Constraints:     128364
1913.35/1918.62	c #Conflicts:     396000 | #Constraints:     129364
1913.35/1918.62	c #Conflicts:     397000 | #Constraints:     130364
1913.35/1918.62	c #Conflicts:     398000 | #Constraints:     131364
1913.35/1918.62	c #Conflicts:     399000 | #Constraints:     132364
1913.35/1918.62	c #Conflicts:     400000 | #Constraints:     133364
1913.35/1918.62	c #Conflicts:     401000 | #Constraints:     134364
1913.35/1918.62	c #Conflicts:     402000 | #Constraints:     135364
1913.35/1918.62	c #Conflicts:     403000 | #Constraints:     136364
1913.35/1918.62	c #Conflicts:     404000 | #Constraints:     137364
1913.35/1918.62	c #Conflicts:     405000 | #Constraints:     138364
1913.35/1918.62	c #Conflicts:     406000 | #Constraints:     139365
1913.35/1918.62	c #Conflicts:     407000 | #Constraints:     140365
1913.35/1918.62	c INPROCESSING
1913.35/1918.62	c GARBAGE COLLECT
1913.35/1918.62	c rational objective 32
1993.93/1999.42	c #Conflicts:     408000 | #Constraints:     128744
1993.93/1999.42	c #Conflicts:     409000 | #Constraints:     129744
1993.93/1999.42	c #Conflicts:     410000 | #Constraints:     130745
1993.93/1999.42	c #Conflicts:     411000 | #Constraints:     131745
1993.93/1999.42	c #Conflicts:     412000 | #Constraints:     132745
1993.93/1999.42	c #Conflicts:     413000 | #Constraints:     133745
1993.93/1999.42	c #Conflicts:     414000 | #Constraints:     134745
1993.93/1999.42	c #Conflicts:     415000 | #Constraints:     135746
1993.93/1999.42	c #Conflicts:     416000 | #Constraints:     136746
1993.93/1999.42	c #Conflicts:     417000 | #Constraints:     137747
1993.93/1999.42	c #Conflicts:     418000 | #Constraints:     138747
1993.93/1999.42	c #Conflicts:     419000 | #Constraints:     139747
1993.93/1999.42	c #Conflicts:     420000 | #Constraints:     140748
1993.93/1999.42	c INPROCESSING
1993.93/1999.42	c GARBAGE COLLECT
1993.93/1999.42	c rational objective 32
2039.21/2044.89	c #Conflicts:     421000 | #Constraints:     128967
2039.21/2044.89	c #Conflicts:     422000 | #Constraints:     129967
2039.21/2044.89	c #Conflicts:     423000 | #Constraints:     130967
2039.21/2044.89	c #Conflicts:     424000 | #Constraints:     131968
2039.21/2044.89	c #Conflicts:     425000 | #Constraints:     132968
2039.21/2044.89	c #Conflicts:     426000 | #Constraints:     133968
2039.21/2044.89	c #Conflicts:     427000 | #Constraints:     134968
2039.21/2044.89	c #Conflicts:     428000 | #Constraints:     135970
2039.21/2044.89	c #Conflicts:     429000 | #Constraints:     136971
2039.21/2044.89	c #Conflicts:     430000 | #Constraints:     137971
2039.21/2044.89	c #Conflicts:     431000 | #Constraints:     138974
2039.21/2044.89	c #Conflicts:     432000 | #Constraints:     139975
2039.21/2044.89	c #Conflicts:     433000 | #Constraints:     140976
2039.21/2044.89	c INPROCESSING
2039.21/2044.89	c GARBAGE COLLECT
2039.21/2044.89	c rational objective 32
2121.89/2127.78	c #Conflicts:     434000 | #Constraints:     129010
2121.89/2127.78	c #Conflicts:     435000 | #Constraints:     130010
2121.89/2127.78	c #Conflicts:     436000 | #Constraints:     131010
2121.89/2127.78	c #Conflicts:     437000 | #Constraints:     132010
2121.89/2127.78	c #Conflicts:     438000 | #Constraints:     133010
2121.89/2127.78	c #Conflicts:     439000 | #Constraints:     134010
2121.89/2127.78	c #Conflicts:     440000 | #Constraints:     135011
2121.89/2127.78	c #Conflicts:     441000 | #Constraints:     136011
2121.89/2127.78	c #Conflicts:     442000 | #Constraints:     137013
2121.89/2127.78	c #Conflicts:     443000 | #Constraints:     138014
2121.89/2127.78	c #Conflicts:     444000 | #Constraints:     139017
2121.89/2127.78	c #Conflicts:     445000 | #Constraints:     140018
2121.89/2127.78	c #Conflicts:     446000 | #Constraints:     141019
2121.89/2127.78	c INPROCESSING
2121.89/2127.78	c GARBAGE COLLECT
2121.89/2127.78	c rational objective 32
2176.33/2182.31	c #Conflicts:     447000 | #Constraints:     128839
2176.33/2182.31	c #Conflicts:     448000 | #Constraints:     129842
2176.33/2182.31	c #Conflicts:     449000 | #Constraints:     130843
2176.33/2182.31	c #Conflicts:     450000 | #Constraints:     131844
2176.33/2182.31	c #Conflicts:     451000 | #Constraints:     132845
2176.33/2182.31	c #Conflicts:     452000 | #Constraints:     133846
2176.33/2182.31	c #Conflicts:     453000 | #Constraints:     134847
2176.33/2182.31	c #Conflicts:     454000 | #Constraints:     135850
2176.33/2182.31	c #Conflicts:     455000 | #Constraints:     136866
2176.33/2182.31	c #Conflicts:     456000 | #Constraints:     137869
2176.33/2182.31	c #Conflicts:     457000 | #Constraints:     138870
2176.33/2182.31	c #Conflicts:     458000 | #Constraints:     139877
2176.33/2182.31	c #Conflicts:     459000 | #Constraints:     140880
2176.33/2182.31	c #Conflicts:     460000 | #Constraints:     141898
2176.33/2182.31	c INPROCESSING
2176.33/2182.31	c GARBAGE COLLECT
2176.33/2182.31	c rational objective 32
2194.08/2200.11	c #Conflicts:     461000 | #Constraints:     129465
2194.08/2200.11	c #Conflicts:     462000 | #Constraints:     130465
2194.08/2200.11	c #Conflicts:     463000 | #Constraints:     131465
2194.08/2200.11	c #Conflicts:     464000 | #Constraints:     132466
2194.08/2200.11	c #Conflicts:     465000 | #Constraints:     133468
2194.08/2200.11	c #Conflicts:     466000 | #Constraints:     134471
2194.08/2200.11	c #Conflicts:     467000 | #Constraints:     135472
2194.08/2200.11	c #Conflicts:     468000 | #Constraints:     136473
2194.08/2200.11	c #Conflicts:     469000 | #Constraints:     137476
2194.08/2200.11	c #Conflicts:     470000 | #Constraints:     138478
2194.08/2200.11	c #Conflicts:     471000 | #Constraints:     139478
2194.08/2200.11	c #Conflicts:     472000 | #Constraints:     140479
2194.08/2200.11	c #Conflicts:     473000 | #Constraints:     141480
2194.08/2200.11	c #Conflicts:     474000 | #Constraints:     142482
2194.08/2200.11	c INPROCESSING
2194.08/2200.11	c GARBAGE COLLECT
2194.08/2200.11	c rational objective 32
2222.49/2228.67	c #Conflicts:     475000 | #Constraints:     129855
2222.49/2228.67	c #Conflicts:     476000 | #Constraints:     130855
2222.49/2228.67	c #Conflicts:     477000 | #Constraints:     131855
2222.49/2228.67	c #Conflicts:     478000 | #Constraints:     132857
2222.49/2228.67	c #Conflicts:     479000 | #Constraints:     133860
2222.49/2228.67	c #Conflicts:     480000 | #Constraints:     134862
2222.49/2228.67	c #Conflicts:     481000 | #Constraints:     135864
2222.49/2228.67	c #Conflicts:     482000 | #Constraints:     136865
2222.49/2228.67	c #Conflicts:     483000 | #Constraints:     137865
2222.49/2228.67	c #Conflicts:     484000 | #Constraints:     138866
2222.49/2228.67	c #Conflicts:     485000 | #Constraints:     139867
2222.49/2228.67	c #Conflicts:     486000 | #Constraints:     140868
2222.49/2228.67	c #Conflicts:     487000 | #Constraints:     141871
2222.49/2228.67	c #Conflicts:     488000 | #Constraints:     142874
2222.49/2228.67	c INPROCESSING
2222.49/2228.67	c GARBAGE COLLECT
2222.49/2228.67	c rational objective 32
2375.63/2382.28	c #Conflicts:     489000 | #Constraints:     130019
2375.63/2382.28	c #Conflicts:     490000 | #Constraints:     131019
2375.63/2382.28	c #Conflicts:     491000 | #Constraints:     132020
2375.63/2382.28	c #Conflicts:     492000 | #Constraints:     133023
2375.63/2382.28	c #Conflicts:     493000 | #Constraints:     134027
2375.63/2382.28	c #Conflicts:     494000 | #Constraints:     135032
2375.63/2382.28	c #Conflicts:     495000 | #Constraints:     136034
2375.63/2382.28	c #Conflicts:     496000 | #Constraints:     137034
2375.63/2382.28	c #Conflicts:     497000 | #Constraints:     138037
2375.63/2382.28	c #Conflicts:     498000 | #Constraints:     139037
2375.63/2382.28	c #Conflicts:     499000 | #Constraints:     140037
2375.63/2382.28	c #Conflicts:     500000 | #Constraints:     141037
2375.63/2382.28	c #Conflicts:     501000 | #Constraints:     142037
2375.63/2382.28	c #Conflicts:     502000 | #Constraints:     143037
2375.63/2382.28	c INPROCESSING
2375.63/2382.28	c GARBAGE COLLECT
2375.63/2382.28	c rational objective 32
2437.28/2444.07	c #Conflicts:     503000 | #Constraints:     129980
2437.28/2444.07	c #Conflicts:     504000 | #Constraints:     130980
2437.28/2444.07	c #Conflicts:     505000 | #Constraints:     131980
2437.28/2444.07	c #Conflicts:     506000 | #Constraints:     132980
2437.28/2444.07	c #Conflicts:     507000 | #Constraints:     133980
2437.28/2444.07	c #Conflicts:     508000 | #Constraints:     134980
2437.28/2444.07	c #Conflicts:     509000 | #Constraints:     135980
2437.28/2444.07	c #Conflicts:     510000 | #Constraints:     136980
2437.28/2444.07	c #Conflicts:     511000 | #Constraints:     137980
2437.28/2444.07	c #Conflicts:     512000 | #Constraints:     138980
2437.28/2444.07	c #Conflicts:     513000 | #Constraints:     139980
2437.28/2444.07	c #Conflicts:     514000 | #Constraints:     140980
2437.28/2444.07	c #Conflicts:     515000 | #Constraints:     141980
2437.28/2444.07	c #Conflicts:     516000 | #Constraints:     142980
2437.28/2444.07	c INPROCESSING
2437.28/2444.07	c GARBAGE COLLECT
2437.28/2444.07	c rational objective 32
2493.13/2500.10	c #Conflicts:     517000 | #Constraints:     129797
2493.13/2500.10	c #Conflicts:     518000 | #Constraints:     130797
2493.13/2500.10	c #Conflicts:     519000 | #Constraints:     131797
2493.13/2500.10	c #Conflicts:     520000 | #Constraints:     132798
2493.13/2500.10	c #Conflicts:     521000 | #Constraints:     133798
2493.13/2500.10	c #Conflicts:     522000 | #Constraints:     134798
2493.13/2500.10	c #Conflicts:     523000 | #Constraints:     135798
2493.13/2500.10	c #Conflicts:     524000 | #Constraints:     136798
2493.13/2500.10	c #Conflicts:     525000 | #Constraints:     137798
2493.13/2500.10	c #Conflicts:     526000 | #Constraints:     138799
2493.13/2500.10	c #Conflicts:     527000 | #Constraints:     139799
2493.13/2500.10	c #Conflicts:     528000 | #Constraints:     140800
2493.13/2500.10	c #Conflicts:     529000 | #Constraints:     141801
2493.13/2500.10	c #Conflicts:     530000 | #Constraints:     142802
2493.13/2500.10	c #Conflicts:     531000 | #Constraints:     143803
2493.13/2500.10	c INPROCESSING
2493.13/2500.10	c GARBAGE COLLECT
2493.13/2500.10	c rational objective 32
2578.80/2585.92	c #Conflicts:     532000 | #Constraints:     130398
2578.80/2585.92	c #Conflicts:     533000 | #Constraints:     131399
2578.80/2585.92	c #Conflicts:     534000 | #Constraints:     132400
2578.80/2585.92	c #Conflicts:     535000 | #Constraints:     133400
2578.80/2585.92	c #Conflicts:     536000 | #Constraints:     134401
2578.80/2585.92	c #Conflicts:     537000 | #Constraints:     135401
2578.80/2585.92	c #Conflicts:     538000 | #Constraints:     136401
2578.80/2585.92	c #Conflicts:     539000 | #Constraints:     137401
2578.80/2585.92	c #Conflicts:     540000 | #Constraints:     138401
2578.80/2585.92	c #Conflicts:     541000 | #Constraints:     139401
2578.80/2585.92	c #Conflicts:     542000 | #Constraints:     140401
2578.80/2585.92	c #Conflicts:     543000 | #Constraints:     141401
2578.80/2585.92	c #Conflicts:     544000 | #Constraints:     142402
2578.80/2585.92	c #Conflicts:     545000 | #Constraints:     143402
2578.80/2585.92	c #Conflicts:     546000 | #Constraints:     144402
2578.80/2585.92	c INPROCESSING
2578.80/2585.92	c GARBAGE COLLECT
2578.80/2585.92	c rational objective 32
2692.00/2699.42	c #Conflicts:     547000 | #Constraints:     130878
2692.00/2699.42	c #Conflicts:     548000 | #Constraints:     131879
2692.00/2699.42	c #Conflicts:     549000 | #Constraints:     132879
2692.00/2699.42	c #Conflicts:     550000 | #Constraints:     133879
2692.00/2699.42	c #Conflicts:     551000 | #Constraints:     134879
2692.00/2699.42	c #Conflicts:     552000 | #Constraints:     135879
2692.00/2699.42	c #Conflicts:     553000 | #Constraints:     136879
2692.00/2699.42	c #Conflicts:     554000 | #Constraints:     137879
2692.00/2699.42	c #Conflicts:     555000 | #Constraints:     138879
2692.00/2699.42	c #Conflicts:     556000 | #Constraints:     139879
2692.00/2699.42	c #Conflicts:     557000 | #Constraints:     140879
2692.00/2699.42	c #Conflicts:     558000 | #Constraints:     141880
2692.00/2699.42	c #Conflicts:     559000 | #Constraints:     142880
2692.00/2699.42	c #Conflicts:     560000 | #Constraints:     143880
2692.00/2699.42	c #Conflicts:     561000 | #Constraints:     144880
2692.00/2699.42	c INPROCESSING
2692.00/2699.42	c GARBAGE COLLECT
2692.00/2699.42	c rational objective 32
2729.99/2737.52	c #Conflicts:     562000 | #Constraints:     131161
2729.99/2737.52	c #Conflicts:     563000 | #Constraints:     132161
2729.99/2737.52	c #Conflicts:     564000 | #Constraints:     133161
2729.99/2737.52	c #Conflicts:     565000 | #Constraints:     134161
2729.99/2737.52	c #Conflicts:     566000 | #Constraints:     135161
2729.99/2737.52	c #Conflicts:     567000 | #Constraints:     136162
2729.99/2737.52	c #Conflicts:     568000 | #Constraints:     137162
2729.99/2737.52	c #Conflicts:     569000 | #Constraints:     138162
2729.99/2737.52	c #Conflicts:     570000 | #Constraints:     139162
2729.99/2737.52	c #Conflicts:     571000 | #Constraints:     140162
2729.99/2737.52	c #Conflicts:     572000 | #Constraints:     141162
2729.99/2737.52	c #Conflicts:     573000 | #Constraints:     142163
2729.99/2737.52	c #Conflicts:     574000 | #Constraints:     143163
2729.99/2737.52	c #Conflicts:     575000 | #Constraints:     144163
2729.99/2737.52	c #Conflicts:     576000 | #Constraints:     145166
2729.99/2737.52	c INPROCESSING
2729.99/2737.52	c GARBAGE COLLECT
2729.99/2737.52	c rational objective 32
2803.00/2810.72	c #Conflicts:     577000 | #Constraints:     131232
2803.00/2810.72	c #Conflicts:     578000 | #Constraints:     132232
2803.00/2810.72	c #Conflicts:     579000 | #Constraints:     133232
2803.00/2810.72	c #Conflicts:     580000 | #Constraints:     134232
2803.00/2810.72	c #Conflicts:     581000 | #Constraints:     135233
2803.00/2810.72	c #Conflicts:     582000 | #Constraints:     136233
2803.00/2810.72	c #Conflicts:     583000 | #Constraints:     137234
2803.00/2810.72	c #Conflicts:     584000 | #Constraints:     138234
2803.00/2810.72	c #Conflicts:     585000 | #Constraints:     139234
2803.00/2810.72	c #Conflicts:     586000 | #Constraints:     140234
2803.00/2810.72	c #Conflicts:     587000 | #Constraints:     141234
2803.00/2810.72	c #Conflicts:     588000 | #Constraints:     142235
2803.00/2810.72	c #Conflicts:     589000 | #Constraints:     143235
2803.00/2810.72	c #Conflicts:     590000 | #Constraints:     144235
2803.00/2810.72	c #Conflicts:     591000 | #Constraints:     145235
2803.00/2810.72	c INPROCESSING
2803.00/2810.72	c GARBAGE COLLECT
2803.00/2810.72	c rational objective 32
2836.10/2843.92	c #Conflicts:     592000 | #Constraints:     131027
2836.10/2843.92	c #Conflicts:     593000 | #Constraints:     132027
2836.10/2843.92	c #Conflicts:     594000 | #Constraints:     133027
2836.10/2843.92	c #Conflicts:     595000 | #Constraints:     134027
2836.10/2843.92	c #Conflicts:     596000 | #Constraints:     135028
2836.10/2843.92	c #Conflicts:     597000 | #Constraints:     136028
2836.10/2843.92	c #Conflicts:     598000 | #Constraints:     137028
2836.10/2843.92	c #Conflicts:     599000 | #Constraints:     138029
2836.10/2843.92	c #Conflicts:     600000 | #Constraints:     139030
2836.10/2843.92	c #Conflicts:     601000 | #Constraints:     140030
2836.10/2843.92	c #Conflicts:     602000 | #Constraints:     141031
2836.10/2843.92	c #Conflicts:     603000 | #Constraints:     142032
2836.10/2843.92	c #Conflicts:     604000 | #Constraints:     143033
2836.10/2843.92	c #Conflicts:     605000 | #Constraints:     144034
2836.10/2843.92	c #Conflicts:     606000 | #Constraints:     145035
2836.10/2843.92	c #Conflicts:     607000 | #Constraints:     146036
2836.10/2843.92	c INPROCESSING
2836.10/2843.92	c GARBAGE COLLECT
2836.10/2843.92	c rational objective 32
2905.12/2913.11	c #Conflicts:     608000 | #Constraints:     131536
2905.12/2913.11	c #Conflicts:     609000 | #Constraints:     132536
2905.12/2913.11	c #Conflicts:     610000 | #Constraints:     133537
2905.12/2913.11	c #Conflicts:     611000 | #Constraints:     134537
2905.12/2913.11	c #Conflicts:     612000 | #Constraints:     135538
2905.12/2913.11	c #Conflicts:     613000 | #Constraints:     136540
2905.12/2913.11	c #Conflicts:     614000 | #Constraints:     137540
2905.12/2913.11	c #Conflicts:     615000 | #Constraints:     138541
2905.12/2913.11	c #Conflicts:     616000 | #Constraints:     139541
2905.12/2913.11	c #Conflicts:     617000 | #Constraints:     140542
2905.12/2913.11	c #Conflicts:     618000 | #Constraints:     141542
2905.12/2913.11	c #Conflicts:     619000 | #Constraints:     142542
2905.12/2913.11	c #Conflicts:     620000 | #Constraints:     143543
2905.12/2913.11	c #Conflicts:     621000 | #Constraints:     144546
2905.12/2913.11	c #Conflicts:     622000 | #Constraints:     145547
2905.12/2913.11	c #Conflicts:     623000 | #Constraints:     146547
2905.12/2913.11	c INPROCESSING
2905.12/2913.11	c GARBAGE COLLECT
2905.12/2913.11	c rational objective 32
2995.47/3003.75	c #Conflicts:     624000 | #Constraints:     131947
2995.47/3003.75	c #Conflicts:     625000 | #Constraints:     132947
2995.47/3003.75	c #Conflicts:     626000 | #Constraints:     133947
2995.47/3003.75	c #Conflicts:     627000 | #Constraints:     134947
2995.47/3003.75	c #Conflicts:     628000 | #Constraints:     135947
2995.47/3003.75	c #Conflicts:     629000 | #Constraints:     136947
2995.47/3003.75	c #Conflicts:     630000 | #Constraints:     137947
2995.47/3003.75	c #Conflicts:     631000 | #Constraints:     138947
2995.47/3003.75	c #Conflicts:     632000 | #Constraints:     139948
2995.47/3003.75	c #Conflicts:     633000 | #Constraints:     140948
2995.47/3003.75	c #Conflicts:     634000 | #Constraints:     141949
2995.47/3003.75	c #Conflicts:     635000 | #Constraints:     142949
2995.47/3003.75	c #Conflicts:     636000 | #Constraints:     143949
2995.47/3003.75	c #Conflicts:     637000 | #Constraints:     144950
2995.47/3003.75	c #Conflicts:     638000 | #Constraints:     145950
2995.47/3003.75	c #Conflicts:     639000 | #Constraints:     146950
2995.47/3003.75	c INPROCESSING
2995.47/3003.75	c GARBAGE COLLECT
2995.47/3003.75	c rational objective 32
3042.43/3050.82	c #Conflicts:     640000 | #Constraints:     132154
3042.43/3050.82	c #Conflicts:     641000 | #Constraints:     133154
3042.43/3050.82	c #Conflicts:     642000 | #Constraints:     134154
3042.43/3050.82	c #Conflicts:     643000 | #Constraints:     135154
3042.43/3050.82	c #Conflicts:     644000 | #Constraints:     136154
3042.43/3050.82	c #Conflicts:     645000 | #Constraints:     137155
3042.43/3050.82	c #Conflicts:     646000 | #Constraints:     138155
3042.43/3050.82	c #Conflicts:     647000 | #Constraints:     139156
3042.43/3050.82	c #Conflicts:     648000 | #Constraints:     140156
3042.43/3050.82	c #Conflicts:     649000 | #Constraints:     141156
3042.43/3050.82	c #Conflicts:     650000 | #Constraints:     142156
3042.43/3050.82	c #Conflicts:     651000 | #Constraints:     143156
3042.43/3050.82	c #Conflicts:     652000 | #Constraints:     144156
3042.43/3050.82	c #Conflicts:     653000 | #Constraints:     145157
3042.43/3050.82	c #Conflicts:     654000 | #Constraints:     146157
3042.43/3050.82	c #Conflicts:     655000 | #Constraints:     147157
3042.43/3050.82	c INPROCESSING
3042.43/3050.82	c GARBAGE COLLECT
3042.43/3050.82	c rational objective 32
3155.72/3164.49	c #Conflicts:     656000 | #Constraints:     132156
3155.72/3164.49	c #Conflicts:     657000 | #Constraints:     133156
3155.72/3164.49	c #Conflicts:     658000 | #Constraints:     134156
3155.72/3164.49	c #Conflicts:     659000 | #Constraints:     135156
3155.72/3164.49	c #Conflicts:     660000 | #Constraints:     136157
3155.72/3164.49	c #Conflicts:     661000 | #Constraints:     137157
3155.72/3164.49	c #Conflicts:     662000 | #Constraints:     138158
3155.72/3164.49	c #Conflicts:     663000 | #Constraints:     139158
3155.72/3164.49	c #Conflicts:     664000 | #Constraints:     140159
3155.72/3164.49	c #Conflicts:     665000 | #Constraints:     141160
3155.72/3164.49	c #Conflicts:     666000 | #Constraints:     142160
3155.72/3164.49	c #Conflicts:     667000 | #Constraints:     143161
3155.72/3164.49	c #Conflicts:     668000 | #Constraints:     144161
3155.72/3164.49	c #Conflicts:     669000 | #Constraints:     145162
3155.72/3164.49	c #Conflicts:     670000 | #Constraints:     146163
3155.72/3164.49	c #Conflicts:     671000 | #Constraints:     147163
3155.72/3164.49	c INPROCESSING
3155.72/3164.49	c GARBAGE COLLECT
3155.72/3164.49	c rational objective 32
3224.52/3233.45	c #Conflicts:     672000 | #Constraints:     131896
3224.52/3233.45	c #Conflicts:     673000 | #Constraints:     132896
3224.52/3233.45	c #Conflicts:     674000 | #Constraints:     133896
3224.52/3233.45	c #Conflicts:     675000 | #Constraints:     134896
3224.52/3233.45	c #Conflicts:     676000 | #Constraints:     135896
3224.52/3233.45	c #Conflicts:     677000 | #Constraints:     136896
3224.52/3233.45	c #Conflicts:     678000 | #Constraints:     137896
3224.52/3233.45	c #Conflicts:     679000 | #Constraints:     138896
3224.52/3233.45	c #Conflicts:     680000 | #Constraints:     139898
3224.52/3233.45	c #Conflicts:     681000 | #Constraints:     140898
3224.52/3233.45	c #Conflicts:     682000 | #Constraints:     141898
3224.52/3233.45	c #Conflicts:     683000 | #Constraints:     142898
3224.52/3233.45	c #Conflicts:     684000 | #Constraints:     143898
3224.52/3233.45	c #Conflicts:     685000 | #Constraints:     144898
3224.52/3233.45	c #Conflicts:     686000 | #Constraints:     145898
3224.52/3233.45	c #Conflicts:     687000 | #Constraints:     146899
3224.52/3233.45	c #Conflicts:     688000 | #Constraints:     147899
3224.52/3233.45	c INPROCESSING
3224.52/3233.45	c GARBAGE COLLECT
3224.52/3233.45	c rational objective 32
3263.51/3272.51	c #Conflicts:     689000 | #Constraints:     132621
3263.51/3272.51	c #Conflicts:     690000 | #Constraints:     133621
3263.51/3272.51	c #Conflicts:     691000 | #Constraints:     134621
3263.51/3272.51	c #Conflicts:     692000 | #Constraints:     135621
3263.51/3272.51	c #Conflicts:     693000 | #Constraints:     136622
3263.51/3272.51	c #Conflicts:     694000 | #Constraints:     137622
3263.51/3272.51	c #Conflicts:     695000 | #Constraints:     138622
3263.51/3272.51	c #Conflicts:     696000 | #Constraints:     139622
3263.51/3272.51	c #Conflicts:     697000 | #Constraints:     140622
3263.51/3272.51	c #Conflicts:     698000 | #Constraints:     141622
3263.51/3272.51	c #Conflicts:     699000 | #Constraints:     142622
3263.51/3272.51	c #Conflicts:     700000 | #Constraints:     143622
3263.51/3272.51	c #Conflicts:     701000 | #Constraints:     144622
3263.51/3272.51	c #Conflicts:     702000 | #Constraints:     145622
3263.51/3272.51	c #Conflicts:     703000 | #Constraints:     146622
3263.51/3272.51	c #Conflicts:     704000 | #Constraints:     147622
3263.51/3272.51	c #Conflicts:     705000 | #Constraints:     148622
3263.51/3272.51	c INPROCESSING
3263.51/3272.51	c GARBAGE COLLECT
3263.51/3272.51	c rational objective 32
3296.41/3305.51	c #Conflicts:     706000 | #Constraints:     133098
3296.41/3305.51	c #Conflicts:     707000 | #Constraints:     134099
3296.41/3305.51	c #Conflicts:     708000 | #Constraints:     135099
3296.41/3305.51	c #Conflicts:     709000 | #Constraints:     136100
3296.41/3305.51	c #Conflicts:     710000 | #Constraints:     137102
3296.41/3305.51	c #Conflicts:     711000 | #Constraints:     138103
3296.41/3305.51	c #Conflicts:     712000 | #Constraints:     139103
3296.41/3305.51	c #Conflicts:     713000 | #Constraints:     140105
3296.41/3305.51	c #Conflicts:     714000 | #Constraints:     141107
3296.41/3305.51	c #Conflicts:     715000 | #Constraints:     142108
3296.41/3305.51	c #Conflicts:     716000 | #Constraints:     143110
3296.41/3305.51	c #Conflicts:     717000 | #Constraints:     144112
3296.41/3305.51	c #Conflicts:     718000 | #Constraints:     145112
3296.41/3305.51	c #Conflicts:     719000 | #Constraints:     146113
3296.41/3305.51	c #Conflicts:     720000 | #Constraints:     147113
3296.41/3305.51	c #Conflicts:     721000 | #Constraints:     148114
3296.41/3305.51	c #Conflicts:     722000 | #Constraints:     149117
3296.41/3305.51	c INPROCESSING
3296.41/3305.51	c GARBAGE COLLECT
3296.41/3305.51	c rational objective 32
3324.33/3333.50	c #Conflicts:     723000 | #Constraints:     133301
3324.33/3333.50	c #Conflicts:     724000 | #Constraints:     134302
3324.33/3333.50	c #Conflicts:     725000 | #Constraints:     135302
3324.33/3333.50	c #Conflicts:     726000 | #Constraints:     136302
3324.33/3333.50	c #Conflicts:     727000 | #Constraints:     137302
3324.33/3333.50	c #Conflicts:     728000 | #Constraints:     138303
3324.33/3333.50	c #Conflicts:     729000 | #Constraints:     139304
3324.33/3333.50	c #Conflicts:     730000 | #Constraints:     140306
3324.33/3333.50	c #Conflicts:     731000 | #Constraints:     141308
3324.33/3333.50	c #Conflicts:     732000 | #Constraints:     142310
3324.33/3333.50	c #Conflicts:     733000 | #Constraints:     143311
3324.33/3333.50	c #Conflicts:     734000 | #Constraints:     144314
3324.33/3333.50	c #Conflicts:     735000 | #Constraints:     145316
3324.33/3333.50	c #Conflicts:     736000 | #Constraints:     146316
3324.33/3333.50	c #Conflicts:     737000 | #Constraints:     147317
3324.33/3333.50	c #Conflicts:     738000 | #Constraints:     148319
3324.33/3333.50	c #Conflicts:     739000 | #Constraints:     149322
3324.33/3333.50	c INPROCESSING
3324.33/3333.50	c GARBAGE COLLECT
3324.33/3333.50	c rational objective 32
3396.94/3406.35	c #Conflicts:     740000 | #Constraints:     133300
3396.94/3406.35	c #Conflicts:     741000 | #Constraints:     134300
3396.94/3406.35	c #Conflicts:     742000 | #Constraints:     135300
3396.94/3406.35	c #Conflicts:     743000 | #Constraints:     136300
3396.94/3406.35	c #Conflicts:     744000 | #Constraints:     137300
3396.94/3406.35	c #Conflicts:     745000 | #Constraints:     138300
3396.94/3406.35	c #Conflicts:     746000 | #Constraints:     139300
3396.94/3406.35	c #Conflicts:     747000 | #Constraints:     140300
3396.94/3406.35	c #Conflicts:     748000 | #Constraints:     141300
3396.94/3406.35	c #Conflicts:     749000 | #Constraints:     142300
3396.94/3406.35	c #Conflicts:     750000 | #Constraints:     143300
3396.94/3406.35	c #Conflicts:     751000 | #Constraints:     144300
3396.94/3406.35	c #Conflicts:     752000 | #Constraints:     145301
3396.94/3406.35	c #Conflicts:     753000 | #Constraints:     146301
3396.94/3406.35	c #Conflicts:     754000 | #Constraints:     147301
3396.94/3406.35	c #Conflicts:     755000 | #Constraints:     148302
3396.94/3406.35	c #Conflicts:     756000 | #Constraints:     149302
3396.94/3406.35	c INPROCESSING
3396.94/3406.35	c GARBAGE COLLECT
3396.94/3406.35	c rational objective 32
3501.46/3511.13	c #Conflicts:     757000 | #Constraints:     133141
3501.46/3511.13	c #Conflicts:     758000 | #Constraints:     134141
3501.46/3511.13	c #Conflicts:     759000 | #Constraints:     135142
3501.46/3511.13	c #Conflicts:     760000 | #Constraints:     136149
3501.46/3511.13	c #Conflicts:     761000 | #Constraints:     137149
3501.46/3511.13	c #Conflicts:     762000 | #Constraints:     138150
3501.46/3511.13	c #Conflicts:     763000 | #Constraints:     139150
3501.46/3511.13	c #Conflicts:     764000 | #Constraints:     140151
3501.46/3511.13	c #Conflicts:     765000 | #Constraints:     141152
3501.46/3511.13	c #Conflicts:     766000 | #Constraints:     142153
3501.46/3511.13	c #Conflicts:     767000 | #Constraints:     143154
3501.46/3511.13	c #Conflicts:     768000 | #Constraints:     144154
3501.46/3511.13	c #Conflicts:     769000 | #Constraints:     145154
3501.46/3511.13	c #Conflicts:     770000 | #Constraints:     146154
3501.46/3511.13	c #Conflicts:     771000 | #Constraints:     147154
3501.46/3511.13	c #Conflicts:     772000 | #Constraints:     148155
3501.46/3511.13	c #Conflicts:     773000 | #Constraints:     149155
3501.46/3511.13	c #Conflicts:     774000 | #Constraints:     150155
3501.46/3511.13	c INPROCESSING
3501.46/3511.13	c GARBAGE COLLECT
3501.46/3511.13	c rational objective 32
3589.53/3599.48	c #Conflicts:     775000 | #Constraints:     133807
3589.53/3599.48	c #Conflicts:     776000 | #Constraints:     134808
3589.53/3599.48	c #Conflicts:     777000 | #Constraints:     135808
3589.53/3599.48	c #Conflicts:     778000 | #Constraints:     136808
3589.53/3599.48	c #Conflicts:     779000 | #Constraints:     137808
3589.53/3599.48	c #Conflicts:     780000 | #Constraints:     138808
3589.53/3599.48	c #Conflicts:     781000 | #Constraints:     139808
3589.53/3599.48	c #Conflicts:     782000 | #Constraints:     140808
3589.53/3599.48	c #Conflicts:     783000 | #Constraints:     141808
3589.53/3599.48	c #Conflicts:     784000 | #Constraints:     142808
3589.53/3599.48	c #Conflicts:     785000 | #Constraints:     143808
3589.53/3599.48	c #Conflicts:     786000 | #Constraints:     144808
3589.53/3599.48	c #Conflicts:     787000 | #Constraints:     145808
3589.53/3599.48	c #Conflicts:     788000 | #Constraints:     146808
3589.53/3599.48	c #Conflicts:     789000 | #Constraints:     147808
3589.53/3599.48	c #Conflicts:     790000 | #Constraints:     148808
3589.53/3599.48	c #Conflicts:     791000 | #Constraints:     149809
3589.53/3599.48	c #Conflicts:     792000 | #Constraints:     150809
3589.53/3599.48	c INPROCESSING
3589.53/3599.48	c GARBAGE COLLECT
3589.53/3599.48	c rational objective 32
3600.00/3609.90	c #Conflicts:     793000 | #Constraints:     134309
3600.00/3609.90	c #Conflicts:     794000 | #Constraints:     135309
3600.00/3609.90	c #Conflicts:     795000 | #Constraints:     136309
3600.00/3609.90	c #Conflicts:     796000 | #Constraints:     137310
3600.00/3609.90	c cpu time 3577.07 s
3600.00/3609.90	c deterministic time 199008303889 1.99e+11
3600.00/3609.90	c optimization time 9.60553 s
3600.00/3609.90	c total solve time 3567.11 s
3600.00/3609.90	c core-guided solve time 1969.93 s
3600.00/3609.90	c propagation time 1345.12 s
3600.00/3609.90	c conflict analysis time 458.639 s
3600.00/3609.90	c propagations 306362522
3600.00/3609.90	c resolve steps 5834402
3600.00/3609.90	c decisions 12874574
3600.00/3609.90	c conflicts 796647
3600.00/3609.90	c restarts 1696
3600.00/3609.90	c inprocessing phases 80
3600.00/3609.90	c garbage collections 80 ,( 100.00 )
3600.00/3609.90	c input clauses 115560 ,( 99.63 )
3600.00/3609.90	c input cardinalities 367 ,( 0.32 )
3600.00/3609.90	c input general constraints 64 ,( 0.06 )
3600.00/3609.90	c input average constraint length 3.37
3600.00/3609.90	c input average constraint degree 81.55
3600.00/3609.90	c learned clauses 101470 ,( 12.72 )
3600.00/3609.90	c learned cardinalities 7073 ,( 0.89 )
3600.00/3609.90	c learned general constraints 688980 ,( 86.39 )
3600.00/3609.90	c learned average constraint length 2062.51
3600.00/3609.90	c learned average constraint degree 7766880301.52
3600.00/3609.90	c watched  CF 32, 64, 128, Arb: 189179 , 0 , 0 , 0
3600.00/3609.90	c counting CF 32, 64, 128, Arb: 499866 , 0 , 0 , 0
3600.00/3609.90	c watched   constraints 189179 ,( 27.46 ) 
3600.00/3609.90	c counting  constraints 499865 ,( 72.54 ) 
3600.00/3609.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 172805462 , 14744011 , 427312873 ,( 31723751 , 395589122 )
3600.00/3609.90	c gcd simplifications 23884
3600.00/3609.90	c detected cardinalities 175
3600.00/3609.90	c weakened non-implied lits 595636792
3600.00/3609.90	c weakened non-implying lits 457295
3600.00/3609.90	c original variables 49982
3600.00/3609.90	c clausal propagations 153731015
3600.00/3609.90	c cardinality propagations 21448383
3600.00/3609.90	c watched propagations 338098
3600.00/3609.90	c counting propagations 122860195
3600.00/3609.90	c watch lookups 25830009627
3600.00/3609.90	c watch backjump lookups 0
3600.00/3609.90	c watch checks 15543393430
3600.00/3609.90	c propagation checks 152413920557
3600.00/3609.90	c constraint additions 4580322219
3600.00/3609.90	c trail pops 320011041
3600.00/3609.90	c formula constraints 115991
3600.00/3609.90	c learned constraints 796197
3600.00/3609.90	c bound constraints 0
3600.00/3609.90	c core-guided constraints 0
3600.00/3609.90	c encountered formula constraints 4520584
3600.00/3609.90	c encountered learned constraints 1853219
3600.00/3609.90	c encountered bound constraints 0
3600.00/3609.90	c encountered core-guided constraints 0
3600.00/3609.90	c LP total time 2227.26 s
3600.00/3609.90	c LP solve time 2182 s
3600.00/3609.90	c LP constraints added 126727
3600.00/3609.90	c LP constraints removed 10428
3600.00/3609.90	c LP pivots internal 799520
3600.00/3609.90	c LP pivots root 610398
3600.00/3609.90	c LP calls 3935
3600.00/3609.90	c LP optimalities 3479
3600.00/3609.90	c LP no pivot count 1133
3600.00/3609.90	c LP infeasibilities 450
3600.00/3609.90	c LP valid Farkas constraints 449
3600.00/3609.90	c LP learned Farkas constraints 449
3600.00/3609.90	c LP basis resets 2
3600.00/3609.90	c LP cycling count 0
3600.00/3609.90	c LP singular count 1
3600.00/3609.90	c LP no primal count 0
3600.00/3609.90	c LP no farkas count 1
3600.00/3609.90	c LP other issue count 0
3600.00/3609.90	c LP Gomory cuts 428
3600.00/3609.90	c LP learned cuts 10308
3600.00/3609.90	c LP deleted cuts 10428
3600.00/3609.90	c LP encountered Gomory constraints 6475
3600.00/3609.90	c LP encountered Farkas constraints 243939
3600.00/3609.90	c LP encountered learned Farkas constraints 6383
3600.00/3609.90	c CG auxiliary variables introduced 0
3600.00/3609.90	c CG solutions found 0
3600.00/3609.90	c CG cores constructed 0
3600.00/3609.90	c CG core cardinality constraints returned 0
3600.00/3609.90	c CG unit cores 0
3600.00/3609.90	c CG single cores 0
3600.00/3609.90	c CG blocks removed during cardinality reduction 0
3600.00/3609.90	c CG first core best 0
3600.00/3609.90	c CG decision core best 0
3600.00/3609.90	c CG core reduction tie 0
3600.00/3609.90	c CG core degree average 0.00
3600.00/3609.90	c CG core slack average 0.00
3600.00/3609.90	c CG core upper bound improvements 0
3600.00/3609.90	c STR number of successful calls 0
3600.00/3609.90	c STR number of unsuccessful calls 0
3600.00/3609.90	c STR number of inconclusive calls 0
3600.00/3609.90	c STR number of successful attempts 0
3600.00/3609.90	c STR number of unsuccessful attempts 0
3600.00/3609.90	c STR number of inconclusive attempts 0
3600.00/3609.90	c STR average degree increase per successful call inf
3600.00/3609.90	c STR average degree increase per successful attempt inf
3600.00/3609.90	c STR total number of conflicts for successful attempts 0
3600.00/3609.90	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.90	c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.90	c STR average number of conflicts per successful attempt inf
3600.00/3609.90	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.90	c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.90	c AVG.sumWPerc 60.38 
3600.00/3609.90	c bigint constraints 0 
3600.00/3609.90	s UNKNOWN
3600.00/3609.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

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: 63665 MiB (62631 MiB free)
  memory of node 1: 64507 MiB (63861 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509612-1751528474/watcher-4509612-1751528474 -o /tmp/evaluation-result-4509612-1751528474/solver-4509612-1751528474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751524861-73755 --watchdog 3760 run-opt-break.sh HOME/instance-4509612-1751528474.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=74165, runsolver pid=74162

[startup+0.100059 s]*
/proc/loadavg: 4.12 4.10 4.07 3/259 74167
/proc/meminfo: memFree=129510448/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74167] ppid=74165 vsize=33148 memory=23008 CPUtime=0.08 cores=5,7
/proc/74167/stat : 74167 (pbsuma) R 74165 74165 73742 0 -1 4194304 6148 0 0 0 7 1 0 0 20 0 1 0 68525057 33943552 5752 18446744073709551615 4210688 4653049 140735122097744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30588928 140735122106723 140735122106930 140735122106930 140735122112495 0
/proc/74167/statm: 8287 5752 1024 108 0 5695 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 37340 KiB
Current children cumulated memory: 26080 KiB

[startup+0.205568 s]*
/proc/loadavg: 4.12 4.10 4.07 3/261 74173
/proc/meminfo: memFree=129502576/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74167] ppid=74165 vsize=34460 memory=23776 CPUtime=0.19 cores=5,7
/proc/74167/stat : 74167 (pbsuma) R 74165 74165 73742 0 -1 4194304 6364 0 0 0 18 1 0 0 20 0 1 0 68525057 35287040 5944 18446744073709551615 4210688 4653049 140735122097744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30588928 140735122106723 140735122106930 140735122106930 140735122112495 0
/proc/74167/statm: 8615 5944 1024 108 0 6023 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38652 KiB
Current children cumulated memory: 26848 KiB

[startup+0.304916 s]*
/proc/loadavg: 4.12 4.10 4.07 3/261 74176
/proc/meminfo: memFree=129496500/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74167] ppid=74165 vsize=50868 memory=37924 CPUtime=0.28 cores=5,7
/proc/74167/stat : 74167 (pbsuma) R 74165 74165 73742 0 -1 4194304 9433 0 0 0 27 1 0 0 20 0 1 0 68525057 52088832 9481 18446744073709551615 4210688 4653049 140735122097744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30588928 140735122106723 140735122106930 140735122106930 140735122112495 0
/proc/74167/statm: 12717 9481 1024 108 0 10125 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 55060 KiB
Current children cumulated memory: 40996 KiB

[startup+0.700176 s]
/proc/loadavg: 4.12 4.10 4.07 3/258 74190
/proc/meminfo: memFree=129531496/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+1.50017 s]
/proc/loadavg: 4.12 4.10 4.07 4/263 74229
/proc/meminfo: memFree=129351116/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=225132 memory=167340 CPUtime=0.94 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 19994 0 0 0 79 15 0 0 20 0 1 0 68525111 230535168 41835 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 56283 41835 2304 1147 0 43710 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 229324 KiB
Current children cumulated memory: 170412 KiB

[startup+3.10556 s]
/proc/loadavg: 4.11 4.10 4.07 5/269 74245
/proc/meminfo: memFree=129167716/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=245304 memory=191332 CPUtime=2.54 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 25478 0 0 0 230 24 0 0 20 0 1 0 68525111 251191296 47833 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 61326 47833 2336 1147 0 48753 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 249496 KiB
Current children cumulated memory: 194404 KiB

[startup+6.30015 s]
/proc/loadavg: 4.11 4.10 4.07 5/269 74245
/proc/meminfo: memFree=129136476/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=252936 memory=195812 CPUtime=5.72 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 26608 0 0 0 545 27 0 0 20 0 1 0 68525111 259006464 48953 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 63234 48953 2336 1147 0 50661 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 257128 KiB
Current children cumulated memory: 198884 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.07 4/266 74246
/proc/meminfo: memFree=129009760/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=348464 memory=283704 CPUtime=12.1 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 43970 0 0 0 1167 43 0 0 20 0 1 0 68525111 356827136 70926 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 87116 70926 2368 1147 0 74543 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 352656 KiB
Current children cumulated memory: 286776 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.07 5/269 74294
/proc/meminfo: memFree=128843820/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=364880 memory=298168 CPUtime=24.86 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 47574 0 0 0 2437 49 0 0 20 0 1 0 68525111 373637120 74542 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 91220 74542 2368 1147 0 78647 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 369072 KiB
Current children cumulated memory: 301240 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.07 5/269 74389
/proc/meminfo: memFree=128577584/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=372084 memory=305848 CPUtime=50.38 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 49520 0 0 0 4982 56 0 0 20 0 1 0 68525111 381014016 76462 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 93021 76462 2368 1147 0 80448 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 376276 KiB
Current children cumulated memory: 308920 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/269 74390
/proc/meminfo: memFree=128254952/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=657580 memory=541496 CPUtime=101.41 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 96169 0 0 0 10037 104 0 0 20 0 1 0 68525111 673361920 135374 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 164395 135374 2368 1147 0 151822 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 661772 KiB
Current children cumulated memory: 544568 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.07 4.07 5/268 74533
/proc/meminfo: memFree=128158296/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=697312 memory=574492 CPUtime=161.23 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 101360 0 0 0 15985 138 0 0 20 0 1 0 68525111 714047488 143623 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 174328 143623 2368 1147 0 161755 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 701504 KiB
Current children cumulated memory: 577564 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.09 4.08 5/268 74678
/proc/meminfo: memFree=128143980/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=703748 memory=586280 CPUtime=221.07 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 103443 0 0 0 21955 152 0 0 20 0 1 0 68525111 720637952 146570 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 175937 146570 2368 1147 0 163364 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 707940 KiB
Current children cumulated memory: 589352 KiB

################
# More data... #
################

/proc/74193/statm: 1173086 999332 2464 1147 0 1160513 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 4696536 KiB
Current children cumulated memory: 4000400 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 75305
/proc/meminfo: memFree=122680788/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=4693788 memory=4010768 CPUtime=3153.12 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 852557 0 0 0 313337 1975 0 0 20 0 1 0 68525111 4806438912 1002692 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 1173447 1002692 2464 1147 0 1160874 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 4697980 KiB
Current children cumulated memory: 4013840 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 75307
/proc/meminfo: memFree=122671016/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=4694148 memory=4012560 CPUtime=3212.95 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 852801 0 0 0 319280 2015 0 0 20 0 1 0 68525111 4806807552 1003140 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 1173537 1003140 2464 1147 0 1160964 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 4698340 KiB
Current children cumulated memory: 4015632 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 75312
/proc/meminfo: memFree=122629512/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=4707544 memory=4026128 CPUtime=3272.78 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 856403 0 0 0 325223 2055 0 0 20 0 1 0 68525111 4820525056 1006532 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 1176886 1006532 2464 1147 0 1164313 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 4711736 KiB
Current children cumulated memory: 4029200 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 75314
/proc/meminfo: memFree=122564676/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=4707544 memory=4030224 CPUtime=3332.6 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 856877 0 0 0 331171 2089 0 0 20 0 1 0 68525111 4820525056 1007556 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 1176886 1007556 2464 1147 0 1164313 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 4711736 KiB
Current children cumulated memory: 4033296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 75316
/proc/meminfo: memFree=122530192/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=4711096 memory=4042128 CPUtime=3392.45 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 858405 0 0 0 337112 2133 0 0 20 0 1 0 68525111 4824162304 1010532 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 1177774 1010532 2464 1147 0 1165201 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 4715288 KiB
Current children cumulated memory: 4045200 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 75318
/proc/meminfo: memFree=122527152/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=4711096 memory=4045328 CPUtime=3452.28 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 858555 0 0 0 343056 2172 0 0 20 0 1 0 68525111 4824162304 1011332 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 1177774 1011332 2464 1147 0 1165201 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 4715288 KiB
Current children cumulated memory: 4048400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 75320
/proc/meminfo: memFree=122522876/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=4711096 memory=4051728 CPUtime=3512.13 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 859439 0 0 0 349017 2196 0 0 20 0 1 0 68525111 4824162304 1012932 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 1177774 1012932 2464 1147 0 1165201 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 4715288 KiB
Current children cumulated memory: 4054800 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 75327
/proc/meminfo: memFree=122251360/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=4711832 memory=4058256 CPUtime=3571.96 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 859597 0 0 0 354969 2227 0 0 20 0 1 0 68525111 4824915968 1014564 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 1177958 1014564 2464 1147 0 1165385 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 4716024 KiB
Current children cumulated memory: 4061328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 75330
/proc/meminfo: memFree=122262436/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=4711832 memory=4059664 CPUtime=3599.5 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 859597 0 0 0 357707 2243 0 0 20 0 1 0 68525111 4824915968 1014916 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 1177958 1014916 2464 1147 0 1165385 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4716024 KiB
Current children cumulated memory: 4062736 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.9 s]
# the end of solver process 74165 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.499794 s, system=0.021953 s
Sleeping 2 seconds

[startup+3610 s]
# the end of solver process 74193 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3577.59 s, system=22.5431 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3609.9 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 75330
/proc/meminfo: memFree=122262436/131249996 swapFree=33003468/33010684
[pid=74165] ppid=74162 vsize=4192 memory=3072 CPUtime=0.5 cores=5,7
/proc/74165/stat : 74165 (run-opt-break.s) S 74162 74165 73742 0 -1 4194304 240 9701 0 0 0 0 49 1 20 0 1 0 68525057 4292608 768 18446744073709551615 94149634560000 94149635454533 140724243997904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94149635693584 94149635741328 94149658624000 140724244007265 140724244007394 140724244007394 140724244012996 0
/proc/74165/statm: 1048 768 704 219 0 110 0
[pid=74193] ppid=74165 vsize=4711832 memory=4059664 CPUtime=3599.5 cores=5,7
/proc/74193/stat : 74193 (roundingsat) R 74165 74165 73742 0 -1 4194304 859597 0 0 0 357707 2243 0 0 20 0 1 0 68525111 4824915968 1014916 18446744073709551615 4227072 8923433 140736837425008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10285056 140736837433700 140736837433896 140736837433896 140736837439466 0
/proc/74193/statm: 1177958 1014916 2464 1147 0 1165385 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4716024 KiB
Current children cumulated memory: 4062736 KiB

Child status: 2

Real time (s): 3610
CPU time (s): 3600.13
CPU user time (s): 3577.59
CPU system time (s): 22.5431
CPU usage (%): 99.7266
Max. virtual memory (cumulated for all children) (KiB): 4716024
Max. memory (cumulated for all children) (KiB): 4062736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.59
system time used= 22.5431
maximum resident set size= 4059920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 869558
page faults= 0
swaps= 0
block input operations= 32
block output operations= 9544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283
involuntary context switches= 20620


# summary of solver processes directly reported to runsolver:
#   pid: 74165,74193
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3577.59
#   total CPU system time (s): 22.5431

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44512 second user time and 16.689 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-03 09:41:14
IDJOB=4509612
IDBENCH=158625
IDSOLVER=3359
FILE ID=nodeC021/4509612-1751528474
RUNJOBID= nodeC021-1751524861-73755
SLURM_JOB_ID= 9598653
Free space on /tmp= 430880 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509612-1751528474/watcher-4509612-1751528474 -o /tmp/evaluation-result-4509612-1751528474/solver-4509612-1751528474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751524861-73755 --watchdog 3760  run-opt-break.sh HOME/instance-4509612-1751528474.opb

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

MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=1002201668

nodeC021 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.704
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.56
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.862
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.56
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		: 3599.586
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.56
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		: 3599.952
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.56
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		: 3601.947
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.56
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.208
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.56
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		: 3599.810
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.56
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		: 3599.784
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129533504 kB
MemAvailable:   129535060 kB
Buffers:            1056 kB
Cached:           735960 kB
SwapCached:           32 kB
Active:           633328 kB
Inactive:         278208 kB
Active(anon):     146908 kB
Inactive(anon):    41064 kB
Active(file):     486420 kB
Inactive(file):   237144 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27076 kB
Writeback:             0 kB
AnonPages:        177216 kB
Mapped:           104276 kB
Shmem:             13452 kB
KReclaimable:     234060 kB
Slab:             326104 kB
SReclaimable:     234060 kB
SUnreclaim:        92044 kB
KernelStack:        4208 kB
PageTables:         3504 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     478120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430900 MiB
End job on nodeC021 at 2025-07-03 10:41:24