Trace number 4509613

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-log 63f22ad? (TO) 3600.15 3673.54

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-4509613-1751523656.opb'
0.00/0.01	c 	read 0.48MB  (5.46ms)
0.00/0.01	c	 [cnf: #variables 11744 #clauses 799 #duplicates 0 #arr 47008]
0.00/0.02	c output proof to 'PROOFDIR/proof-4509613-1751523656'
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.04	c	 [group: #orbits ~= 504] (14.88ms)
0.00/0.04	c 
0.00/0.04	c detect special group actions
0.00/0.04	c 	probe for Johnson action (limit=64)
0.00/0.05	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.09	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.09	c 	recursing 1312 blocks of candidate 16x734r
0.00/0.09	c 	recursing 18 blocks of candidate 3x64r
0.00/0.09	c 	recursing 240 blocks of candidate 3x734r
0.00/0.09	c 	recursing 20 blocks of candidate 5x64r
0.00/0.10	c 	recursing 858 blocks of candidate 11x734r
0.00/0.10	c 	recursing 10 blocks of candidate 5x64r
0.07/0.10	c 	 found row 5x64, generating row predicate
0.07/0.10	c 	recursing 12 blocks of candidate 6x64r
0.07/0.11	c 	 found row 6x64, generating row predicate
0.07/0.11	c 	recursing 8 blocks of candidate 4x64r
0.07/0.11	c 	 found row 4x64, generating row predicate
0.07/0.11	c 	recursing 6 blocks of candidate 3x64r
0.07/0.11	c 	 found row 3x64, generating row predicate
0.07/0.11	c 	recursing 14 blocks of candidate 7x64r
0.07/0.12	c 	 found row 7x64, generating row predicate
0.07/0.12	c 	recursing 18 blocks of candidate 9x64r
0.07/0.12	c 	 found row 9x64, generating row predicate
0.07/0.12	c 	recursing 20 blocks of candidate 10x64r
0.07/0.13	c 	 found row 10x64, generating row predicate
0.07/0.13	c 	recursing 22 blocks of candidate 11x64r
0.07/0.14	c 	 found row 11x64, generating row predicate
0.07/0.14	c 	recursing 24 blocks of candidate 12x64r
0.07/0.15	c 	 found row 12x64, generating row predicate
0.07/0.15	c 	recursing 62 blocks of candidate 31x64r
0.07/0.18	c 	 found row 31x64, generating row predicate
0.07/0.18	c 	recursing 84 blocks of candidate 42x64r
0.18/0.22	c 	 found row 42x64, generating row predicate
0.18/0.22	c 	 found row 11x734, generating row predicate
0.18/0.23	c 	 found row 5x64, generating row predicate
0.18/0.23	c 	recursing 12 blocks of candidate 6x64r
0.18/0.23	c 	 found row 6x64, generating row predicate
0.18/0.23	c 	recursing 6 blocks of candidate 3x64r
0.18/0.23	c 	 found row 3x64, generating row predicate
0.18/0.23	c 	recursing 22 blocks of candidate 11x64r
0.18/0.24	c 	 found row 11x64, generating row predicate
0.18/0.25	c 	 found row 3x734, generating row predicate
0.18/0.25	c 	 found row 3x64, generating row predicate
0.18/0.25	c 	recursing 14 blocks of candidate 7x64r
0.18/0.25	c 	 found row 7x64, generating row predicate
0.18/0.25	c 	recursing 20 blocks of candidate 10x64r
0.18/0.26	c 	 found row 10x64, generating row predicate
0.18/0.26	c 	recursing 22 blocks of candidate 11x64r
0.18/0.27	c 	 found row 11x64, generating row predicate
0.18/0.28	c 	 found row 16x734, generating row predicate
0.18/0.28	c 	 (244.11ms)
0.18/0.28	c 
0.18/0.28	c detect symmetries on remainder
0.18/0.28	c 	[graph: #vertices 71229 #edges 211388]
0.18/0.28	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.29/0.32	c 	 [group: #symmetries 3.04*10^94 #generators 130] (44.49ms)
0.29/0.32	c 
0.29/0.32	c optimize generators (opt_passes=64, conjugate_limit=256)
0.29/0.34	c 	opt it=15, l=3711, m=166, opt=36, avg=454, b=128, gens=130
0.29/0.35	c 	opt it=31, l=4022, m=283, opt=59, avg=441, b=128, gens=130
0.29/0.36	c 	opt it=47, l=4323, m=383, opt=72, avg=435, b=128, gens=130
0.29/0.37	c 	opt it=63, l=4614, m=496, opt=91, avg=426, b=128, gens=130
0.29/0.37	c 	ran it=0, +gens=19 
0.48/0.54	c 	con best_support=128, best_gens=122, +gens=235
0.48/0.54	c 	(211.54ms)
0.48/0.54	c 
0.48/0.54	c finalize break order and special generators
0.48/0.54	c 
0.48/0.54	c add generic predicates (break_depth=20)
0.48/0.54	c 	added predicates for 384 generators (1.73ms)
0.48/0.54	c 
0.48/0.54	c generation finished
0.48/0.54	c 	[sbp: #constraints 0 #add_vars 0]
0.48/0.54	c 
0.48/0.54	c write result to 'HOME/instance-4509613-1751523656.opb.pre'
0.48/0.54	c 	wrote 0.48MB (1.32ms)
0.48/0.54	c ------------------------------------------------------------------
0.48/0.54	c                 244.11ms 45.42% detect_special
0.48/0.54	c                 211.54ms 39.36% optimize_gens
0.48/0.54	c                  44.49ms  8.28% detect_generic
0.48/0.54	c                  14.88ms  2.77% approx_orbits
0.48/0.54	c                  12.37ms  2.30% other
0.48/0.54	c                   5.46ms  1.02% parse
0.48/0.54	c                   1.73ms  0.32% break_generic
0.48/0.54	c                   1.56ms  0.29% finalize_order
0.48/0.54	c                   1.32ms  0.25% output
0.48/0.54	c         ───────────────────────────────────────────────
0.48/0.54	c                 537.47ms   100% total
0.48/0.54	c ------------------------------------------------------------------
0.48/0.56	c RoundingSat 2
0.48/0.56	c branch pb25
0.48/0.56	c commit 63f22ad
0.48/0.59	c #variables 11744 #constraints 797
0.48/0.59	c objective is ce32 
0.48/0.59	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.48/0.59	c initial counting CF 32, 64, 128, Arb: 65 , 0 , 0 , 0
0.48/0.59	c bounds - >= 0 @ 0.028476
2.15/2.23	c #Conflicts:       1000 | #Constraints:       1796
2.15/2.23	c #Conflicts:       2000 | #Constraints:       2796
2.15/2.23	c INPROCESSING
2.15/2.23	c GARBAGE COLLECT
2.15/2.23	c rational objective 32
7.44/7.57	c #Conflicts:       3000 | #Constraints:       2817
7.44/7.57	c #Conflicts:       4000 | #Constraints:       3821
7.44/7.57	c INPROCESSING
7.44/7.57	c GARBAGE COLLECT
7.44/7.57	c rational objective 32
14.22/14.35	c #Conflicts:       5000 | #Constraints:       3244
14.22/14.35	c #Conflicts:       6000 | #Constraints:       4266
14.22/14.35	c INPROCESSING
14.22/14.35	c GARBAGE COLLECT
14.22/14.35	c rational objective 32
24.18/24.34	c #Conflicts:       7000 | #Constraints:       3274
24.18/24.34	c #Conflicts:       8000 | #Constraints:       4292
24.18/24.34	c #Conflicts:       9000 | #Constraints:       5315
24.18/24.34	c INPROCESSING
24.18/24.34	c GARBAGE COLLECT
24.18/24.34	c rational objective 32
32.26/32.47	c #Conflicts:      10000 | #Constraints:       3984
32.26/32.47	c #Conflicts:      11000 | #Constraints:       4986
32.26/32.47	c #Conflicts:      12000 | #Constraints:       5988
32.26/32.47	c INPROCESSING
32.26/32.47	c GARBAGE COLLECT
32.26/32.47	c rational objective 32
40.74/40.99	c #Conflicts:      13000 | #Constraints:       4425
40.74/40.99	c #Conflicts:      14000 | #Constraints:       5436
40.74/40.99	c #Conflicts:      15000 | #Constraints:       6452
40.74/40.99	c INPROCESSING
40.74/40.99	c GARBAGE COLLECT
40.74/40.99	c rational objective 32
55.00/55.25	c #Conflicts:      16000 | #Constraints:       4658
55.00/55.25	c #Conflicts:      17000 | #Constraints:       5663
55.00/55.25	c #Conflicts:      18000 | #Constraints:       6663
55.00/55.25	c INPROCESSING
55.00/55.25	c GARBAGE COLLECT
55.00/55.25	c rational objective 32
66.96/67.23	c #Conflicts:      19000 | #Constraints:       4647
66.96/67.23	c #Conflicts:      20000 | #Constraints:       5647
66.96/67.23	c #Conflicts:      21000 | #Constraints:       6647
66.96/67.23	c INPROCESSING
66.96/67.23	c GARBAGE COLLECT
66.96/67.23	c rational objective 32
83.32/83.60	c #Conflicts:      22000 | #Constraints:       4443
83.32/83.60	c #Conflicts:      23000 | #Constraints:       5458
83.32/83.60	c #Conflicts:      24000 | #Constraints:       6462
83.32/83.60	c #Conflicts:      25000 | #Constraints:       7464
83.32/83.60	c INPROCESSING
83.32/83.60	c GARBAGE COLLECT
83.32/83.60	c rational objective 32
97.48/97.89	c #Conflicts:      26000 | #Constraints:       5046
97.48/97.89	c #Conflicts:      27000 | #Constraints:       6049
97.48/97.89	c #Conflicts:      28000 | #Constraints:       7070
97.48/97.89	c #Conflicts:      29000 | #Constraints:       8082
97.48/97.89	c INPROCESSING
97.48/97.89	c GARBAGE COLLECT
97.48/97.89	c rational objective 32
113.03/113.45	c #Conflicts:      30000 | #Constraints:       5481
113.03/113.45	c #Conflicts:      31000 | #Constraints:       6489
113.03/113.45	c #Conflicts:      32000 | #Constraints:       7496
113.03/113.45	c #Conflicts:      33000 | #Constraints:       8514
113.03/113.45	c INPROCESSING
113.03/113.45	c GARBAGE COLLECT
113.03/113.45	c rational objective 32
127.79/128.28	c #Conflicts:      34000 | #Constraints:       5685
127.79/128.28	c #Conflicts:      35000 | #Constraints:       6687
127.79/128.28	c #Conflicts:      36000 | #Constraints:       7709
127.79/128.28	c #Conflicts:      37000 | #Constraints:       8726
127.79/128.28	c INPROCESSING
127.79/128.28	c GARBAGE COLLECT
127.79/128.28	c rational objective 32
141.26/141.73	c #Conflicts:      38000 | #Constraints:       5704
141.26/141.73	c #Conflicts:      39000 | #Constraints:       6720
141.26/141.73	c #Conflicts:      40000 | #Constraints:       7750
141.26/141.73	c #Conflicts:      41000 | #Constraints:       8766
141.26/141.73	c INPROCESSING
141.26/141.73	c GARBAGE COLLECT
141.26/141.73	c rational objective 32
171.27/171.84	c #Conflicts:      42000 | #Constraints:       5535
171.27/171.84	c #Conflicts:      43000 | #Constraints:       6554
171.27/171.84	c #Conflicts:      44000 | #Constraints:       7554
171.27/171.84	c #Conflicts:      45000 | #Constraints:       8562
171.27/171.84	c #Conflicts:      46000 | #Constraints:       9572
171.27/171.84	c INPROCESSING
171.27/171.84	c GARBAGE COLLECT
171.27/171.84	c rational objective 32
188.12/188.79	c #Conflicts:      47000 | #Constraints:       6114
188.12/188.79	c #Conflicts:      48000 | #Constraints:       7126
188.12/188.79	c #Conflicts:      49000 | #Constraints:       8143
188.12/188.79	c #Conflicts:      50000 | #Constraints:       9150
188.12/188.79	c #Conflicts:      51000 | #Constraints:      10164
188.12/188.79	c INPROCESSING
188.12/188.79	c GARBAGE COLLECT
188.12/188.79	c rational objective 32
206.07/206.77	c #Conflicts:      52000 | #Constraints:       6515
206.07/206.77	c #Conflicts:      53000 | #Constraints:       7534
206.07/206.77	c #Conflicts:      54000 | #Constraints:       8535
206.07/206.77	c #Conflicts:      55000 | #Constraints:       9543
206.07/206.77	c #Conflicts:      56000 | #Constraints:      10572
206.07/206.77	c INPROCESSING
206.07/206.77	c GARBAGE COLLECT
206.07/206.77	c rational objective 32
221.24/221.95	c #Conflicts:      57000 | #Constraints:       6718
221.24/221.95	c #Conflicts:      58000 | #Constraints:       7727
221.24/221.95	c #Conflicts:      59000 | #Constraints:       8729
221.24/221.95	c #Conflicts:      60000 | #Constraints:       9729
221.24/221.95	c #Conflicts:      61000 | #Constraints:      10731
221.24/221.95	c INPROCESSING
221.24/221.95	c GARBAGE COLLECT
221.24/221.95	c rational objective 32
236.39/237.19	c #Conflicts:      62000 | #Constraints:       6696
236.39/237.19	c #Conflicts:      63000 | #Constraints:       7708
236.39/237.19	c #Conflicts:      64000 | #Constraints:       8710
236.39/237.19	c #Conflicts:      65000 | #Constraints:       9728
236.39/237.19	c #Conflicts:      66000 | #Constraints:      10734
236.39/237.19	c INPROCESSING
236.39/237.19	c GARBAGE COLLECT
236.39/237.19	c rational objective 32
257.23/258.01	c #Conflicts:      67000 | #Constraints:       6499
257.23/258.01	c #Conflicts:      68000 | #Constraints:       7525
257.23/258.01	c #Conflicts:      69000 | #Constraints:       8538
257.23/258.01	c #Conflicts:      70000 | #Constraints:       9543
257.23/258.01	c #Conflicts:      71000 | #Constraints:      10566
257.23/258.01	c #Conflicts:      72000 | #Constraints:      11567
257.23/258.01	c INPROCESSING
257.23/258.01	c GARBAGE COLLECT
257.23/258.01	c rational objective 32
271.97/272.82	c #Conflicts:      73000 | #Constraints:       7111
271.97/272.82	c #Conflicts:      74000 | #Constraints:       8125
271.97/272.82	c #Conflicts:      75000 | #Constraints:       9133
271.97/272.82	c #Conflicts:      76000 | #Constraints:      10158
271.97/272.82	c #Conflicts:      77000 | #Constraints:      11170
271.97/272.82	c #Conflicts:      78000 | #Constraints:      12185
271.97/272.82	c INPROCESSING
271.97/272.82	c GARBAGE COLLECT
271.97/272.82	c rational objective 32
292.21/293.19	c #Conflicts:      79000 | #Constraints:       7551
292.21/293.19	c #Conflicts:      80000 | #Constraints:       8551
292.21/293.19	c #Conflicts:      81000 | #Constraints:       9552
292.21/293.19	c #Conflicts:      82000 | #Constraints:      10552
292.21/293.19	c #Conflicts:      83000 | #Constraints:      11553
292.21/293.19	c #Conflicts:      84000 | #Constraints:      12553
292.21/293.19	c INPROCESSING
292.21/293.19	c GARBAGE COLLECT
292.21/293.19	c rational objective 32
303.87/304.80	c #Conflicts:      85000 | #Constraints:       7699
303.87/304.80	c #Conflicts:      86000 | #Constraints:       8699
303.87/304.80	c #Conflicts:      87000 | #Constraints:       9699
303.87/304.80	c #Conflicts:      88000 | #Constraints:      10699
303.87/304.80	c #Conflicts:      89000 | #Constraints:      11699
303.87/304.80	c #Conflicts:      90000 | #Constraints:      12699
303.87/304.80	c INPROCESSING
303.87/304.80	c GARBAGE COLLECT
303.87/304.80	c rational objective 32
335.46/336.55	c #Conflicts:      91000 | #Constraints:       7684
335.46/336.55	c #Conflicts:      92000 | #Constraints:       8719
335.46/336.55	c #Conflicts:      93000 | #Constraints:      10437
335.46/336.55	c #Conflicts:      94000 | #Constraints:      12276
335.46/336.55	c #Conflicts:      95000 | #Constraints:      14079
335.46/336.55	c #Conflicts:      96000 | #Constraints:      15722
335.46/336.55	c INPROCESSING
335.46/336.55	c GARBAGE COLLECT
335.46/336.55	c rational objective 32
358.48/359.67	c #Conflicts:      97000 | #Constraints:       9182
358.48/359.67	c #Conflicts:      98000 | #Constraints:      10182
358.48/359.67	c #Conflicts:      99000 | #Constraints:      11182
358.48/359.67	c #Conflicts:     100000 | #Constraints:      12183
358.48/359.67	c #Conflicts:     101000 | #Constraints:      13188
358.48/359.67	c #Conflicts:     102000 | #Constraints:      14188
358.48/359.67	c #Conflicts:     103000 | #Constraints:      15188
358.48/359.67	c INPROCESSING
358.48/359.67	c GARBAGE COLLECT
358.48/359.67	c rational objective 32
372.64/373.83	c #Conflicts:     104000 | #Constraints:       8922
372.64/373.83	c #Conflicts:     105000 | #Constraints:       9922
372.64/373.83	c #Conflicts:     106000 | #Constraints:      10922
372.64/373.83	c #Conflicts:     107000 | #Constraints:      11922
372.64/373.83	c #Conflicts:     108000 | #Constraints:      12922
372.64/373.83	c #Conflicts:     109000 | #Constraints:      13922
372.64/373.83	c #Conflicts:     110000 | #Constraints:      14922
372.64/373.83	c INPROCESSING
372.64/373.83	c GARBAGE COLLECT
372.64/373.83	c rational objective 32
383.51/384.77	c #Conflicts:     111000 | #Constraints:       8880
383.51/384.77	c #Conflicts:     112000 | #Constraints:       9880
383.51/384.77	c #Conflicts:     113000 | #Constraints:      10880
383.51/384.77	c #Conflicts:     114000 | #Constraints:      11880
383.51/384.77	c #Conflicts:     115000 | #Constraints:      12880
383.51/384.77	c #Conflicts:     116000 | #Constraints:      13880
383.51/384.77	c #Conflicts:     117000 | #Constraints:      14880
383.51/384.77	c INPROCESSING
383.51/384.77	c GARBAGE COLLECT
383.51/384.77	c rational objective 32
410.82/412.17	c #Conflicts:     118000 | #Constraints:       8858
410.82/412.17	c #Conflicts:     119000 | #Constraints:       9864
410.82/412.17	c #Conflicts:     120000 | #Constraints:      10873
410.82/412.17	c #Conflicts:     121000 | #Constraints:      11877
410.82/412.17	c #Conflicts:     122000 | #Constraints:      12898
410.82/412.17	c #Conflicts:     123000 | #Constraints:      13940
410.82/412.17	c #Conflicts:     124000 | #Constraints:      14973
410.82/412.17	c INPROCESSING
410.82/412.17	c GARBAGE COLLECT
410.82/412.17	c rational objective 32
432.34/433.72	c #Conflicts:     125000 | #Constraints:       8826
432.34/433.72	c #Conflicts:     126000 | #Constraints:       9839
432.34/433.72	c #Conflicts:     127000 | #Constraints:      10840
432.34/433.72	c #Conflicts:     128000 | #Constraints:      11842
432.34/433.72	c #Conflicts:     129000 | #Constraints:      12848
432.34/433.72	c #Conflicts:     130000 | #Constraints:      13884
432.34/433.72	c #Conflicts:     131000 | #Constraints:      14892
432.34/433.72	c INPROCESSING
432.34/433.72	c GARBAGE COLLECT
432.34/433.72	c rational objective 32
454.17/455.60	c #Conflicts:     132000 | #Constraints:       8565
454.17/455.60	c #Conflicts:     133000 | #Constraints:       9567
454.17/455.60	c #Conflicts:     134000 | #Constraints:      10581
454.17/455.60	c #Conflicts:     135000 | #Constraints:      11596
454.17/455.60	c #Conflicts:     136000 | #Constraints:      12614
454.17/455.60	c #Conflicts:     137000 | #Constraints:      13619
454.17/455.60	c #Conflicts:     138000 | #Constraints:      14627
454.17/455.60	c #Conflicts:     139000 | #Constraints:      15642
454.17/455.60	c INPROCESSING
454.17/455.60	c GARBAGE COLLECT
454.17/455.60	c rational objective 32
479.98/481.51	c #Conflicts:     140000 | #Constraints:       9173
479.98/481.51	c #Conflicts:     141000 | #Constraints:      10187
479.98/481.51	c #Conflicts:     142000 | #Constraints:      11193
479.98/481.51	c #Conflicts:     143000 | #Constraints:      12200
479.98/481.51	c #Conflicts:     144000 | #Constraints:      13201
479.98/481.51	c #Conflicts:     145000 | #Constraints:      14201
479.98/481.51	c #Conflicts:     146000 | #Constraints:      15202
479.98/481.51	c #Conflicts:     147000 | #Constraints:      16203
479.98/481.51	c INPROCESSING
479.98/481.51	c GARBAGE COLLECT
479.98/481.51	c rational objective 32
513.57/515.26	c #Conflicts:     148000 | #Constraints:       9534
513.57/515.26	c #Conflicts:     149000 | #Constraints:      10534
513.57/515.26	c #Conflicts:     150000 | #Constraints:      11535
513.57/515.26	c #Conflicts:     151000 | #Constraints:      12535
513.57/515.26	c #Conflicts:     152000 | #Constraints:      13537
513.57/515.26	c #Conflicts:     153000 | #Constraints:      14537
513.57/515.26	c #Conflicts:     154000 | #Constraints:      15546
513.57/515.26	c #Conflicts:     155000 | #Constraints:      16557
513.57/515.26	c INPROCESSING
513.57/515.26	c GARBAGE COLLECT
513.57/515.26	c rational objective 32
536.20/537.90	c #Conflicts:     156000 | #Constraints:       9719
536.20/537.90	c #Conflicts:     157000 | #Constraints:      10742
536.20/537.90	c #Conflicts:     158000 | #Constraints:      11764
536.20/537.90	c #Conflicts:     159000 | #Constraints:      12788
536.20/537.90	c #Conflicts:     160000 | #Constraints:      13801
536.20/537.90	c #Conflicts:     161000 | #Constraints:      14829
536.20/537.90	c #Conflicts:     162000 | #Constraints:      15842
536.20/537.90	c #Conflicts:     163000 | #Constraints:      16854
536.20/537.90	c INPROCESSING
536.20/537.90	c GARBAGE COLLECT
536.20/537.90	c rational objective 32
562.11/563.99	c #Conflicts:     164000 | #Constraints:       9761
562.11/563.99	c #Conflicts:     165000 | #Constraints:      10761
562.11/563.99	c #Conflicts:     166000 | #Constraints:      11761
562.11/563.99	c #Conflicts:     167000 | #Constraints:      12761
562.11/563.99	c #Conflicts:     168000 | #Constraints:      13761
562.11/563.99	c #Conflicts:     169000 | #Constraints:      14761
562.11/563.99	c #Conflicts:     170000 | #Constraints:      15761
562.11/563.99	c #Conflicts:     171000 | #Constraints:      16761
562.11/563.99	c INPROCESSING
562.11/563.99	c GARBAGE COLLECT
562.11/563.99	c rational objective 32
597.41/599.32	c #Conflicts:     172000 | #Constraints:       9506
597.41/599.32	c #Conflicts:     173000 | #Constraints:      10507
597.41/599.32	c #Conflicts:     174000 | #Constraints:      11507
597.41/599.32	c #Conflicts:     175000 | #Constraints:      12508
597.41/599.32	c #Conflicts:     176000 | #Constraints:      13509
597.41/599.32	c #Conflicts:     177000 | #Constraints:      14514
597.41/599.32	c #Conflicts:     178000 | #Constraints:      15520
597.41/599.32	c #Conflicts:     179000 | #Constraints:      16524
597.41/599.32	c #Conflicts:     180000 | #Constraints:      17525
597.41/599.32	c INPROCESSING
597.41/599.32	c GARBAGE COLLECT
597.41/599.32	c rational objective 32
647.26/649.84	c #Conflicts:     181000 | #Constraints:      10079
647.26/649.84	c #Conflicts:     182000 | #Constraints:      11082
647.26/649.84	c #Conflicts:     183000 | #Constraints:      12086
647.26/649.84	c #Conflicts:     184000 | #Constraints:      13091
647.26/649.84	c #Conflicts:     185000 | #Constraints:      14098
647.26/649.84	c #Conflicts:     186000 | #Constraints:      15106
647.26/649.84	c #Conflicts:     187000 | #Constraints:      16120
647.26/649.84	c #Conflicts:     188000 | #Constraints:      17144
647.26/649.84	c #Conflicts:     189000 | #Constraints:      18146
647.26/649.84	c INPROCESSING
647.26/649.84	c GARBAGE COLLECT
647.26/649.84	c rational objective 32
677.15/680.00	c #Conflicts:     190000 | #Constraints:      10520
677.15/680.00	c #Conflicts:     191000 | #Constraints:      11523
677.15/680.00	c #Conflicts:     192000 | #Constraints:      12632
677.15/680.00	c #Conflicts:     193000 | #Constraints:      14032
677.15/680.00	c #Conflicts:     194000 | #Constraints:      15543
677.15/680.00	c #Conflicts:     195000 | #Constraints:      17069
677.15/680.00	c #Conflicts:     196000 | #Constraints:      18549
677.15/680.00	c #Conflicts:     197000 | #Constraints:      20066
677.15/680.00	c #Conflicts:     198000 | #Constraints:      21563
677.15/680.00	c INPROCESSING
677.15/680.00	c GARBAGE COLLECT
677.15/680.00	c rational objective 32
706.64/710.71	c #Conflicts:     199000 | #Constraints:      12203
706.64/710.71	c #Conflicts:     200000 | #Constraints:      13204
706.64/710.71	c #Conflicts:     201000 | #Constraints:      14208
706.64/710.71	c #Conflicts:     202000 | #Constraints:      15210
706.64/710.71	c #Conflicts:     203000 | #Constraints:      16210
706.64/710.71	c #Conflicts:     204000 | #Constraints:      17216
706.64/710.71	c #Conflicts:     205000 | #Constraints:      18217
706.64/710.71	c #Conflicts:     206000 | #Constraints:      19217
706.64/710.71	c #Conflicts:     207000 | #Constraints:      20217
706.64/710.71	c INPROCESSING
706.64/710.71	c GARBAGE COLLECT
706.64/710.71	c rational objective 32
717.50/721.68	c #Conflicts:     208000 | #Constraints:      11440
717.50/721.68	c #Conflicts:     209000 | #Constraints:      12440
717.50/721.68	c #Conflicts:     210000 | #Constraints:      13440
717.50/721.68	c #Conflicts:     211000 | #Constraints:      14440
717.50/721.68	c #Conflicts:     212000 | #Constraints:      15440
717.50/721.68	c #Conflicts:     213000 | #Constraints:      16440
717.50/721.68	c #Conflicts:     214000 | #Constraints:      17440
717.50/721.68	c #Conflicts:     215000 | #Constraints:      18440
717.50/721.68	c #Conflicts:     216000 | #Constraints:      19441
717.50/721.68	c INPROCESSING
717.50/721.68	c GARBAGE COLLECT
717.50/721.68	c rational objective 32
779.11/786.10	c #Conflicts:     217000 | #Constraints:      10849
779.11/786.10	c #Conflicts:     218000 | #Constraints:      11857
779.11/786.10	c #Conflicts:     219000 | #Constraints:      12867
779.11/786.10	c #Conflicts:     220000 | #Constraints:      13879
779.11/786.10	c #Conflicts:     221000 | #Constraints:      14901
779.11/786.10	c #Conflicts:     222000 | #Constraints:      15903
779.11/786.10	c #Conflicts:     223000 | #Constraints:      16903
779.11/786.10	c #Conflicts:     224000 | #Constraints:      17903
779.11/786.10	c #Conflicts:     225000 | #Constraints:      18903
779.11/786.10	c #Conflicts:     226000 | #Constraints:      19903
779.11/786.10	c INPROCESSING
779.11/786.10	c GARBAGE COLLECT
779.11/786.10	c rational objective 32
821.56/829.03	c #Conflicts:     227000 | #Constraints:      11295
821.56/829.03	c #Conflicts:     228000 | #Constraints:      12295
821.56/829.03	c #Conflicts:     229000 | #Constraints:      13295
821.56/829.03	c #Conflicts:     230000 | #Constraints:      14296
821.56/829.03	c #Conflicts:     231000 | #Constraints:      15301
821.56/829.03	c #Conflicts:     232000 | #Constraints:      16305
821.56/829.03	c #Conflicts:     233000 | #Constraints:      17307
821.56/829.03	c #Conflicts:     234000 | #Constraints:      18308
821.56/829.03	c #Conflicts:     235000 | #Constraints:      19310
821.56/829.03	c #Conflicts:     236000 | #Constraints:      20320
821.56/829.03	c INPROCESSING
821.56/829.03	c GARBAGE COLLECT
821.56/829.03	c rational objective 32
856.23/870.26	c #Conflicts:     237000 | #Constraints:      11588
856.23/870.26	c #Conflicts:     238000 | #Constraints:      12599
856.23/870.26	c #Conflicts:     239000 | #Constraints:      13603
856.23/870.26	c #Conflicts:     240000 | #Constraints:      14611
856.23/870.26	c #Conflicts:     241000 | #Constraints:      15630
856.23/870.26	c #Conflicts:     242000 | #Constraints:      16649
856.23/870.26	c #Conflicts:     243000 | #Constraints:      17663
856.23/870.26	c #Conflicts:     244000 | #Constraints:      18692
856.23/870.26	c #Conflicts:     245000 | #Constraints:      19700
856.23/870.26	c #Conflicts:     246000 | #Constraints:      20718
856.23/870.26	c INPROCESSING
856.23/870.26	c GARBAGE COLLECT
856.23/870.26	c rational objective 32
899.93/917.38	c #Conflicts:     247000 | #Constraints:      11819
899.93/917.38	c #Conflicts:     248000 | #Constraints:      12829
899.93/917.38	c #Conflicts:     249000 | #Constraints:      13831
899.93/917.38	c #Conflicts:     250000 | #Constraints:      14838
899.93/917.38	c #Conflicts:     251000 | #Constraints:      15865
899.93/917.38	c #Conflicts:     252000 | #Constraints:      16904
899.93/917.38	c #Conflicts:     253000 | #Constraints:      17908
899.93/917.38	c #Conflicts:     254000 | #Constraints:      18944
899.93/917.38	c #Conflicts:     255000 | #Constraints:      19970
899.93/917.38	c #Conflicts:     256000 | #Constraints:      20998
899.93/917.38	c INPROCESSING
899.93/917.38	c GARBAGE COLLECT
899.93/917.38	c rational objective 32
937.28/955.25	c #Conflicts:     257000 | #Constraints:      11836
937.28/955.25	c #Conflicts:     258000 | #Constraints:      12841
937.28/955.25	c #Conflicts:     259000 | #Constraints:      13857
937.28/955.25	c #Conflicts:     260000 | #Constraints:      14884
937.28/955.25	c #Conflicts:     261000 | #Constraints:      15900
937.28/955.25	c #Conflicts:     262000 | #Constraints:      16912
937.28/955.25	c #Conflicts:     263000 | #Constraints:      17934
937.28/955.25	c #Conflicts:     264000 | #Constraints:      18960
937.28/955.25	c #Conflicts:     265000 | #Constraints:      19987
937.28/955.25	c #Conflicts:     266000 | #Constraints:      21008
937.28/955.25	c INPROCESSING
937.28/955.25	c GARBAGE COLLECT
937.28/955.25	c rational objective 32
1007.27/1027.05	c #Conflicts:     267000 | #Constraints:      11658
1007.27/1027.05	c #Conflicts:     268000 | #Constraints:      12671
1007.27/1027.05	c #Conflicts:     269000 | #Constraints:      14001
1007.27/1027.05	c #Conflicts:     270000 | #Constraints:      15027
1007.27/1027.05	c #Conflicts:     271000 | #Constraints:      16027
1007.27/1027.05	c #Conflicts:     272000 | #Constraints:      17028
1007.27/1027.05	c #Conflicts:     273000 | #Constraints:      18028
1007.27/1027.05	c #Conflicts:     274000 | #Constraints:      19028
1007.27/1027.05	c #Conflicts:     275000 | #Constraints:      20028
1007.27/1027.05	c #Conflicts:     276000 | #Constraints:      21028
1007.27/1027.05	c #Conflicts:     277000 | #Constraints:      22028
1007.27/1027.05	c INPROCESSING
1007.27/1027.05	c GARBAGE COLLECT
1007.27/1027.05	c rational objective 32
1035.38/1055.53	c #Conflicts:     278000 | #Constraints:      12338
1035.38/1055.53	c #Conflicts:     279000 | #Constraints:      13338
1035.38/1055.53	c #Conflicts:     280000 | #Constraints:      14338
1035.38/1055.53	c #Conflicts:     281000 | #Constraints:      15338
1035.38/1055.53	c #Conflicts:     282000 | #Constraints:      16338
1035.38/1055.53	c #Conflicts:     283000 | #Constraints:      17340
1035.38/1055.53	c #Conflicts:     284000 | #Constraints:      18346
1035.38/1055.53	c #Conflicts:     285000 | #Constraints:      19349
1035.38/1055.53	c #Conflicts:     286000 | #Constraints:      20360
1035.38/1055.53	c #Conflicts:     287000 | #Constraints:      21392
1035.38/1055.53	c #Conflicts:     288000 | #Constraints:      22425
1035.38/1055.53	c INPROCESSING
1035.38/1055.53	c GARBAGE COLLECT
1035.38/1055.53	c rational objective 32
1068.56/1089.12	c #Conflicts:     289000 | #Constraints:      12639
1068.56/1089.12	c #Conflicts:     290000 | #Constraints:      13654
1068.56/1089.12	c #Conflicts:     291000 | #Constraints:      14682
1068.56/1089.12	c #Conflicts:     292000 | #Constraints:      15702
1068.56/1089.12	c #Conflicts:     293000 | #Constraints:      16720
1068.56/1089.12	c #Conflicts:     294000 | #Constraints:      17731
1068.56/1089.12	c #Conflicts:     295000 | #Constraints:      18753
1068.56/1089.12	c #Conflicts:     296000 | #Constraints:      19779
1068.56/1089.12	c #Conflicts:     297000 | #Constraints:      20798
1068.56/1089.12	c #Conflicts:     298000 | #Constraints:      21824
1068.56/1089.12	c #Conflicts:     299000 | #Constraints:      22844
1068.56/1089.12	c INPROCESSING
1068.56/1089.12	c GARBAGE COLLECT
1068.56/1089.12	c rational objective 32
1104.11/1125.61	c #Conflicts:     300000 | #Constraints:      12853
1104.11/1125.61	c #Conflicts:     301000 | #Constraints:      13869
1104.11/1125.61	c #Conflicts:     302000 | #Constraints:      14888
1104.11/1125.61	c #Conflicts:     303000 | #Constraints:      15898
1104.11/1125.61	c #Conflicts:     304000 | #Constraints:      16920
1104.11/1125.61	c #Conflicts:     305000 | #Constraints:      17933
1104.11/1125.61	c #Conflicts:     306000 | #Constraints:      18958
1104.11/1125.61	c #Conflicts:     307000 | #Constraints:      19978
1104.11/1125.61	c #Conflicts:     308000 | #Constraints:      20988
1104.11/1125.61	c #Conflicts:     309000 | #Constraints:      22025
1104.11/1125.61	c #Conflicts:     310000 | #Constraints:      23049
1104.11/1125.61	c INPROCESSING
1104.11/1125.61	c GARBAGE COLLECT
1104.11/1125.61	c rational objective 32
1139.09/1161.71	c #Conflicts:     311000 | #Constraints:      12850
1139.09/1161.71	c #Conflicts:     312000 | #Constraints:      13850
1139.09/1161.71	c #Conflicts:     313000 | #Constraints:      14850
1139.09/1161.71	c #Conflicts:     314000 | #Constraints:      15850
1139.09/1161.71	c #Conflicts:     315000 | #Constraints:      16850
1139.09/1161.71	c #Conflicts:     316000 | #Constraints:      17850
1139.09/1161.71	c #Conflicts:     317000 | #Constraints:      18850
1139.09/1161.71	c #Conflicts:     318000 | #Constraints:      19850
1139.09/1161.71	c #Conflicts:     319000 | #Constraints:      20854
1139.09/1161.71	c #Conflicts:     320000 | #Constraints:      21854
1139.09/1161.71	c #Conflicts:     321000 | #Constraints:      22854
1139.09/1161.71	c INPROCESSING
1139.09/1161.71	c GARBAGE COLLECT
1139.09/1161.71	c rational objective 32
1154.77/1177.61	c #Conflicts:     322000 | #Constraints:      12549
1154.77/1177.61	c #Conflicts:     323000 | #Constraints:      13549
1154.77/1177.61	c #Conflicts:     324000 | #Constraints:      14549
1154.77/1177.61	c #Conflicts:     325000 | #Constraints:      15549
1154.77/1177.61	c #Conflicts:     326000 | #Constraints:      16549
1154.77/1177.61	c #Conflicts:     327000 | #Constraints:      17549
1154.77/1177.61	c #Conflicts:     328000 | #Constraints:      18549
1154.77/1177.61	c #Conflicts:     329000 | #Constraints:      19549
1154.77/1177.61	c #Conflicts:     330000 | #Constraints:      20549
1154.77/1177.61	c #Conflicts:     331000 | #Constraints:      21549
1154.77/1177.61	c #Conflicts:     332000 | #Constraints:      22550
1154.77/1177.61	c #Conflicts:     333000 | #Constraints:      23559
1154.77/1177.61	c INPROCESSING
1154.77/1177.61	c GARBAGE COLLECT
1154.77/1177.61	c rational objective 32
1198.29/1223.55	c #Conflicts:     334000 | #Constraints:      13113
1198.29/1223.55	c #Conflicts:     335000 | #Constraints:      14134
1198.29/1223.55	c #Conflicts:     336000 | #Constraints:      15157
1198.29/1223.55	c #Conflicts:     337000 | #Constraints:      16176
1198.29/1223.55	c #Conflicts:     338000 | #Constraints:      17197
1198.29/1223.55	c #Conflicts:     339000 | #Constraints:      18215
1198.29/1223.55	c #Conflicts:     340000 | #Constraints:      19235
1198.29/1223.55	c #Conflicts:     341000 | #Constraints:      20235
1198.29/1223.55	c #Conflicts:     342000 | #Constraints:      21279
1198.29/1223.55	c #Conflicts:     343000 | #Constraints:      22310
1198.29/1223.55	c #Conflicts:     344000 | #Constraints:      23324
1198.29/1223.55	c #Conflicts:     345000 | #Constraints:      24340
1198.29/1223.55	c INPROCESSING
1198.29/1223.55	c GARBAGE COLLECT
1198.29/1223.55	c rational objective 32
1250.81/1276.83	c #Conflicts:     346000 | #Constraints:      13605
1250.81/1276.83	c #Conflicts:     347000 | #Constraints:      14628
1250.81/1276.83	c #Conflicts:     348000 | #Constraints:      15634
1250.81/1276.83	c #Conflicts:     349000 | #Constraints:      16642
1250.81/1276.83	c #Conflicts:     350000 | #Constraints:      17642
1250.81/1276.83	c #Conflicts:     351000 | #Constraints:      18642
1250.81/1276.83	c #Conflicts:     352000 | #Constraints:      19642
1250.81/1276.83	c #Conflicts:     353000 | #Constraints:      20663
1250.81/1276.83	c #Conflicts:     354000 | #Constraints:      21680
1250.81/1276.83	c #Conflicts:     355000 | #Constraints:      22694
1250.81/1276.83	c #Conflicts:     356000 | #Constraints:      23718
1250.81/1276.83	c #Conflicts:     357000 | #Constraints:      24751
1250.81/1276.83	c INPROCESSING
1250.81/1276.83	c GARBAGE COLLECT
1250.81/1276.83	c rational objective 32
1299.11/1325.73	c #Conflicts:     358000 | #Constraints:      13813
1299.11/1325.73	c #Conflicts:     359000 | #Constraints:      14836
1299.11/1325.73	c #Conflicts:     360000 | #Constraints:      15841
1299.11/1325.73	c #Conflicts:     361000 | #Constraints:      16854
1299.11/1325.73	c #Conflicts:     362000 | #Constraints:      17878
1299.11/1325.73	c #Conflicts:     363000 | #Constraints:      18902
1299.11/1325.73	c #Conflicts:     364000 | #Constraints:      19915
1299.11/1325.73	c #Conflicts:     365000 | #Constraints:      20922
1299.11/1325.73	c #Conflicts:     366000 | #Constraints:      21935
1299.11/1325.73	c #Conflicts:     367000 | #Constraints:      22949
1299.11/1325.73	c #Conflicts:     368000 | #Constraints:      23971
1299.11/1325.73	c #Conflicts:     369000 | #Constraints:      24991
1299.11/1325.73	c INPROCESSING
1299.11/1325.73	c GARBAGE COLLECT
1299.11/1325.73	c rational objective 32
1398.12/1426.36	c #Conflicts:     370000 | #Constraints:      13826
1398.12/1426.36	c #Conflicts:     371000 | #Constraints:      14831
1398.12/1426.36	c #Conflicts:     372000 | #Constraints:      15831
1398.12/1426.36	c #Conflicts:     373000 | #Constraints:      16831
1398.12/1426.36	c #Conflicts:     374000 | #Constraints:      17832
1398.12/1426.36	c #Conflicts:     375000 | #Constraints:      18832
1398.12/1426.36	c #Conflicts:     376000 | #Constraints:      19832
1398.12/1426.36	c #Conflicts:     377000 | #Constraints:      20832
1398.12/1426.36	c #Conflicts:     378000 | #Constraints:      21842
1398.12/1426.36	c #Conflicts:     379000 | #Constraints:      22897
1398.12/1426.36	c #Conflicts:     380000 | #Constraints:      23975
1398.12/1426.36	c #Conflicts:     381000 | #Constraints:      24987
1398.12/1426.36	c INPROCESSING
1398.12/1426.36	c GARBAGE COLLECT
1398.12/1426.36	c rational objective 32
1454.34/1486.47	c #Conflicts:     382000 | #Constraints:      13631
1454.34/1486.47	c #Conflicts:     383000 | #Constraints:      14634
1454.34/1486.47	c #Conflicts:     384000 | #Constraints:      15635
1454.34/1486.47	c #Conflicts:     385000 | #Constraints:      16637
1454.34/1486.47	c #Conflicts:     386000 | #Constraints:      17638
1454.34/1486.47	c #Conflicts:     387000 | #Constraints:      18638
1454.34/1486.47	c #Conflicts:     388000 | #Constraints:      19638
1454.34/1486.47	c #Conflicts:     389000 | #Constraints:      20638
1454.34/1486.47	c #Conflicts:     390000 | #Constraints:      21638
1454.34/1486.47	c #Conflicts:     391000 | #Constraints:      22638
1454.34/1486.47	c #Conflicts:     392000 | #Constraints:      23638
1454.34/1486.47	c #Conflicts:     393000 | #Constraints:      24638
1454.34/1486.47	c #Conflicts:     394000 | #Constraints:      25638
1454.34/1486.47	c INPROCESSING
1454.34/1486.47	c GARBAGE COLLECT
1454.34/1486.47	c rational objective 32
1491.46/1524.01	c #Conflicts:     395000 | #Constraints:      14144
1491.46/1524.01	c #Conflicts:     396000 | #Constraints:      15144
1491.46/1524.01	c #Conflicts:     397000 | #Constraints:      16156
1491.46/1524.01	c #Conflicts:     398000 | #Constraints:      17171
1491.46/1524.01	c #Conflicts:     399000 | #Constraints:      18181
1491.46/1524.01	c #Conflicts:     400000 | #Constraints:      19206
1491.46/1524.01	c #Conflicts:     401000 | #Constraints:      20235
1491.46/1524.01	c #Conflicts:     402000 | #Constraints:      21265
1491.46/1524.01	c #Conflicts:     403000 | #Constraints:      22283
1491.46/1524.01	c #Conflicts:     404000 | #Constraints:      23308
1491.46/1524.01	c #Conflicts:     405000 | #Constraints:      24337
1491.46/1524.01	c #Conflicts:     406000 | #Constraints:      25344
1491.46/1524.01	c #Conflicts:     407000 | #Constraints:      26353
1491.46/1524.01	c INPROCESSING
1491.46/1524.01	c GARBAGE COLLECT
1491.46/1524.01	c rational objective 32
1532.74/1565.87	c #Conflicts:     408000 | #Constraints:      14603
1532.74/1565.87	c #Conflicts:     409000 | #Constraints:      15604
1532.74/1565.87	c #Conflicts:     410000 | #Constraints:      16608
1532.74/1565.87	c #Conflicts:     411000 | #Constraints:      17611
1532.74/1565.87	c #Conflicts:     412000 | #Constraints:      18611
1532.74/1565.87	c #Conflicts:     413000 | #Constraints:      19613
1532.74/1565.87	c #Conflicts:     414000 | #Constraints:      20616
1532.74/1565.87	c #Conflicts:     415000 | #Constraints:      21644
1532.74/1565.87	c #Conflicts:     416000 | #Constraints:      22685
1532.74/1565.87	c #Conflicts:     417000 | #Constraints:      23704
1532.74/1565.87	c #Conflicts:     418000 | #Constraints:      24726
1532.74/1565.87	c #Conflicts:     419000 | #Constraints:      25742
1532.74/1565.87	c #Conflicts:     420000 | #Constraints:      26756
1532.74/1565.87	c INPROCESSING
1532.74/1565.87	c GARBAGE COLLECT
1532.74/1565.87	c rational objective 32
1612.68/1652.17	c #Conflicts:     421000 | #Constraints:      14821
1612.68/1652.17	c #Conflicts:     422000 | #Constraints:      15835
1612.68/1652.17	c #Conflicts:     423000 | #Constraints:      16851
1612.68/1652.17	c #Conflicts:     424000 | #Constraints:      17862
1612.68/1652.17	c #Conflicts:     425000 | #Constraints:      18869
1612.68/1652.17	c #Conflicts:     426000 | #Constraints:      19883
1612.68/1652.17	c #Conflicts:     427000 | #Constraints:      20892
1612.68/1652.17	c #Conflicts:     428000 | #Constraints:      21892
1612.68/1652.17	c #Conflicts:     429000 | #Constraints:      22892
1612.68/1652.17	c #Conflicts:     430000 | #Constraints:      23892
1612.68/1652.17	c #Conflicts:     431000 | #Constraints:      24893
1612.68/1652.17	c #Conflicts:     432000 | #Constraints:      25894
1612.68/1652.17	c #Conflicts:     433000 | #Constraints:      26895
1612.68/1652.17	c INPROCESSING
1612.68/1652.17	c GARBAGE COLLECT
1612.68/1652.17	c rational objective 32
1708.32/1750.00	c #Conflicts:     434000 | #Constraints:      14794
1708.32/1750.00	c #Conflicts:     435000 | #Constraints:      15794
1708.32/1750.00	c #Conflicts:     436000 | #Constraints:      16813
1708.32/1750.00	c #Conflicts:     437000 | #Constraints:      17813
1708.32/1750.00	c #Conflicts:     438000 | #Constraints:      18814
1708.32/1750.00	c #Conflicts:     439000 | #Constraints:      19814
1708.32/1750.00	c #Conflicts:     440000 | #Constraints:      20814
1708.32/1750.00	c #Conflicts:     441000 | #Constraints:      21814
1708.32/1750.00	c #Conflicts:     442000 | #Constraints:      22814
1708.32/1750.00	c #Conflicts:     443000 | #Constraints:      23814
1708.32/1750.00	c #Conflicts:     444000 | #Constraints:      24814
1708.32/1750.00	c #Conflicts:     445000 | #Constraints:      25814
1708.32/1750.00	c #Conflicts:     446000 | #Constraints:      26814
1708.32/1750.00	c INPROCESSING
1708.32/1750.00	c GARBAGE COLLECT
1708.32/1750.00	c rational objective 32
1808.99/1851.67	c #Conflicts:     447000 | #Constraints:      14557
1808.99/1851.67	c #Conflicts:     448000 | #Constraints:      15569
1808.99/1851.67	c #Conflicts:     449000 | #Constraints:      16574
1808.99/1851.67	c #Conflicts:     450000 | #Constraints:      17580
1808.99/1851.67	c #Conflicts:     451000 | #Constraints:      18582
1808.99/1851.67	c #Conflicts:     452000 | #Constraints:      19597
1808.99/1851.67	c #Conflicts:     453000 | #Constraints:      20615
1808.99/1851.67	c #Conflicts:     454000 | #Constraints:      21618
1808.99/1851.67	c #Conflicts:     455000 | #Constraints:      22619
1808.99/1851.67	c #Conflicts:     456000 | #Constraints:      23621
1808.99/1851.67	c #Conflicts:     457000 | #Constraints:      24622
1808.99/1851.67	c #Conflicts:     458000 | #Constraints:      25622
1808.99/1851.67	c #Conflicts:     459000 | #Constraints:      26622
1808.99/1851.67	c #Conflicts:     460000 | #Constraints:      27622
1808.99/1851.67	c INPROCESSING
1808.99/1851.67	c GARBAGE COLLECT
1808.99/1851.67	c rational objective 32
1925.86/1970.26	c #Conflicts:     461000 | #Constraints:      15181
1925.86/1970.26	c #Conflicts:     462000 | #Constraints:      16202
1925.86/1970.26	c #Conflicts:     463000 | #Constraints:      17207
1925.86/1970.26	c #Conflicts:     464000 | #Constraints:      18233
1925.86/1970.26	c #Conflicts:     465000 | #Constraints:      19244
1925.86/1970.26	c #Conflicts:     466000 | #Constraints:      20250
1925.86/1970.26	c #Conflicts:     467000 | #Constraints:      21259
1925.86/1970.26	c #Conflicts:     468000 | #Constraints:      22260
1925.86/1970.26	c #Conflicts:     469000 | #Constraints:      23260
1925.86/1970.26	c #Conflicts:     470000 | #Constraints:      24261
1925.86/1970.26	c #Conflicts:     471000 | #Constraints:      25262
1925.86/1970.26	c #Conflicts:     472000 | #Constraints:      26262
1925.86/1970.26	c #Conflicts:     473000 | #Constraints:      27262
1925.86/1970.26	c #Conflicts:     474000 | #Constraints:      28263
1925.86/1970.26	c INPROCESSING
1925.86/1970.26	c GARBAGE COLLECT
1925.86/1970.26	c rational objective 32
2019.84/2066.34	c #Conflicts:     475000 | #Constraints:      15592
2019.84/2066.34	c #Conflicts:     476000 | #Constraints:      16602
2019.84/2066.34	c #Conflicts:     477000 | #Constraints:      17604
2019.84/2066.34	c #Conflicts:     478000 | #Constraints:      18607
2019.84/2066.34	c #Conflicts:     479000 | #Constraints:      19607
2019.84/2066.34	c #Conflicts:     480000 | #Constraints:      20613
2019.84/2066.34	c #Conflicts:     481000 | #Constraints:      21622
2019.84/2066.34	c #Conflicts:     482000 | #Constraints:      22628
2019.84/2066.34	c #Conflicts:     483000 | #Constraints:      23644
2019.84/2066.34	c #Conflicts:     484000 | #Constraints:      24648
2019.84/2066.34	c #Conflicts:     485000 | #Constraints:      25652
2019.84/2066.34	c #Conflicts:     486000 | #Constraints:      26653
2019.84/2066.34	c #Conflicts:     487000 | #Constraints:      27657
2019.84/2066.34	c #Conflicts:     488000 | #Constraints:      28661
2019.84/2066.34	c INPROCESSING
2019.84/2066.34	c GARBAGE COLLECT
2019.84/2066.34	c rational objective 32
2090.87/2138.17	c #Conflicts:     489000 | #Constraints:      15776
2090.87/2138.17	c #Conflicts:     490000 | #Constraints:      16776
2090.87/2138.17	c #Conflicts:     491000 | #Constraints:      17791
2090.87/2138.17	c #Conflicts:     492000 | #Constraints:      18799
2090.87/2138.17	c #Conflicts:     493000 | #Constraints:      19812
2090.87/2138.17	c #Conflicts:     494000 | #Constraints:      20813
2090.87/2138.17	c #Conflicts:     495000 | #Constraints:      21816
2090.87/2138.17	c #Conflicts:     496000 | #Constraints:      22818
2090.87/2138.17	c #Conflicts:     497000 | #Constraints:      23822
2090.87/2138.17	c #Conflicts:     498000 | #Constraints:      24823
2090.87/2138.17	c #Conflicts:     499000 | #Constraints:      25823
2090.87/2138.17	c #Conflicts:     500000 | #Constraints:      26827
2090.87/2138.17	c #Conflicts:     501000 | #Constraints:      27827
2090.87/2138.17	c #Conflicts:     502000 | #Constraints:      28832
2090.87/2138.17	c INPROCESSING
2090.87/2138.17	c GARBAGE COLLECT
2090.87/2138.17	c rational objective 32
2139.65/2190.44	c #Conflicts:     503000 | #Constraints:      15762
2139.65/2190.44	c #Conflicts:     504000 | #Constraints:      16762
2139.65/2190.44	c #Conflicts:     505000 | #Constraints:      17762
2139.65/2190.44	c #Conflicts:     506000 | #Constraints:      18762
2139.65/2190.44	c #Conflicts:     507000 | #Constraints:      19762
2139.65/2190.44	c #Conflicts:     508000 | #Constraints:      20762
2139.65/2190.44	c #Conflicts:     509000 | #Constraints:      21762
2139.65/2190.44	c #Conflicts:     510000 | #Constraints:      22762
2139.65/2190.44	c #Conflicts:     511000 | #Constraints:      23762
2139.65/2190.44	c #Conflicts:     512000 | #Constraints:      24762
2139.65/2190.44	c #Conflicts:     513000 | #Constraints:      25762
2139.65/2190.44	c #Conflicts:     514000 | #Constraints:      26762
2139.65/2190.44	c #Conflicts:     515000 | #Constraints:      27762
2139.65/2190.44	c #Conflicts:     516000 | #Constraints:      28762
2139.65/2190.44	c INPROCESSING
2139.65/2190.44	c GARBAGE COLLECT
2139.65/2190.44	c rational objective 32
2196.62/2248.61	c #Conflicts:     517000 | #Constraints:      15504
2196.62/2248.61	c #Conflicts:     518000 | #Constraints:      16505
2196.62/2248.61	c #Conflicts:     519000 | #Constraints:      17505
2196.62/2248.61	c #Conflicts:     520000 | #Constraints:      18505
2196.62/2248.61	c #Conflicts:     521000 | #Constraints:      19506
2196.62/2248.61	c #Conflicts:     522000 | #Constraints:      20517
2196.62/2248.61	c #Conflicts:     523000 | #Constraints:      21525
2196.62/2248.61	c #Conflicts:     524000 | #Constraints:      22536
2196.62/2248.61	c #Conflicts:     525000 | #Constraints:      23542
2196.62/2248.61	c #Conflicts:     526000 | #Constraints:      24557
2196.62/2248.61	c #Conflicts:     527000 | #Constraints:      25586
2196.62/2248.61	c #Conflicts:     528000 | #Constraints:      26594
2196.62/2248.61	c #Conflicts:     529000 | #Constraints:      27607
2196.62/2248.61	c #Conflicts:     530000 | #Constraints:      28610
2196.62/2248.61	c #Conflicts:     531000 | #Constraints:      29612
2196.62/2248.61	c INPROCESSING
2196.62/2248.61	c GARBAGE COLLECT
2196.62/2248.61	c rational objective 32
2239.01/2291.30	c #Conflicts:     532000 | #Constraints:      16142
2239.01/2291.30	c #Conflicts:     533000 | #Constraints:      17154
2239.01/2291.30	c #Conflicts:     534000 | #Constraints:      18155
2239.01/2291.30	c #Conflicts:     535000 | #Constraints:      19155
2239.01/2291.30	c #Conflicts:     536000 | #Constraints:      20157
2239.01/2291.30	c #Conflicts:     537000 | #Constraints:      21345
2239.01/2291.30	c #Conflicts:     538000 | #Constraints:      22348
2239.01/2291.30	c #Conflicts:     539000 | #Constraints:      23596
2239.01/2291.30	c #Conflicts:     540000 | #Constraints:      24957
2239.01/2291.30	c #Conflicts:     541000 | #Constraints:      25959
2239.01/2291.30	c #Conflicts:     542000 | #Constraints:      26963
2239.01/2291.30	c #Conflicts:     543000 | #Constraints:      27968
2239.01/2291.30	c #Conflicts:     544000 | #Constraints:      28968
2239.01/2291.30	c #Conflicts:     545000 | #Constraints:      29969
2239.01/2291.30	c #Conflicts:     546000 | #Constraints:      30972
2239.01/2291.30	c INPROCESSING
2239.01/2291.30	c GARBAGE COLLECT
2239.01/2291.30	c rational objective 32
2296.21/2350.25	c #Conflicts:     547000 | #Constraints:      16897
2296.21/2350.25	c #Conflicts:     548000 | #Constraints:      17897
2296.21/2350.25	c #Conflicts:     549000 | #Constraints:      18897
2296.21/2350.25	c #Conflicts:     550000 | #Constraints:      19898
2296.21/2350.25	c #Conflicts:     551000 | #Constraints:      20901
2296.21/2350.25	c #Conflicts:     552000 | #Constraints:      21918
2296.21/2350.25	c #Conflicts:     553000 | #Constraints:      22931
2296.21/2350.25	c #Conflicts:     554000 | #Constraints:      23933
2296.21/2350.25	c #Conflicts:     555000 | #Constraints:      24933
2296.21/2350.25	c #Conflicts:     556000 | #Constraints:      25933
2296.21/2350.25	c #Conflicts:     557000 | #Constraints:      26933
2296.21/2350.25	c #Conflicts:     558000 | #Constraints:      27943
2296.21/2350.25	c #Conflicts:     559000 | #Constraints:      28968
2296.21/2350.25	c #Conflicts:     560000 | #Constraints:      29983
2296.21/2350.25	c #Conflicts:     561000 | #Constraints:      31004
2296.21/2350.25	c INPROCESSING
2296.21/2350.25	c GARBAGE COLLECT
2296.21/2350.25	c rational objective 32
2354.23/2408.94	c #Conflicts:     562000 | #Constraints:      16942
2354.23/2408.94	c #Conflicts:     563000 | #Constraints:      17949
2354.23/2408.94	c #Conflicts:     564000 | #Constraints:      18951
2354.23/2408.94	c #Conflicts:     565000 | #Constraints:      19963
2354.23/2408.94	c #Conflicts:     566000 | #Constraints:      20977
2354.23/2408.94	c #Conflicts:     567000 | #Constraints:      21995
2354.23/2408.94	c #Conflicts:     568000 | #Constraints:      23021
2354.23/2408.94	c #Conflicts:     569000 | #Constraints:      24040
2354.23/2408.94	c #Conflicts:     570000 | #Constraints:      25051
2354.23/2408.94	c #Conflicts:     571000 | #Constraints:      26074
2354.23/2408.94	c #Conflicts:     572000 | #Constraints:      27108
2354.23/2408.94	c #Conflicts:     573000 | #Constraints:      28134
2354.23/2408.94	c #Conflicts:     574000 | #Constraints:      29161
2354.23/2408.94	c #Conflicts:     575000 | #Constraints:      30183
2354.23/2408.94	c #Conflicts:     576000 | #Constraints:      31194
2354.23/2408.94	c INPROCESSING
2354.23/2408.94	c GARBAGE COLLECT
2354.23/2408.94	c rational objective 32
2418.19/2473.82	c #Conflicts:     577000 | #Constraints:      16933
2418.19/2473.82	c #Conflicts:     578000 | #Constraints:      17935
2418.19/2473.82	c #Conflicts:     579000 | #Constraints:      18937
2418.19/2473.82	c #Conflicts:     580000 | #Constraints:      19938
2418.19/2473.82	c #Conflicts:     581000 | #Constraints:      20938
2418.19/2473.82	c #Conflicts:     582000 | #Constraints:      21938
2418.19/2473.82	c #Conflicts:     583000 | #Constraints:      22941
2418.19/2473.82	c #Conflicts:     584000 | #Constraints:      23944
2418.19/2473.82	c #Conflicts:     585000 | #Constraints:      24950
2418.19/2473.82	c #Conflicts:     586000 | #Constraints:      25979
2418.19/2473.82	c #Conflicts:     587000 | #Constraints:      26987
2418.19/2473.82	c #Conflicts:     588000 | #Constraints:      27988
2418.19/2473.82	c #Conflicts:     589000 | #Constraints:      28989
2418.19/2473.82	c #Conflicts:     590000 | #Constraints:      29991
2418.19/2473.82	c #Conflicts:     591000 | #Constraints:      30994
2418.19/2473.82	c INPROCESSING
2418.19/2473.82	c GARBAGE COLLECT
2418.19/2473.82	c rational objective 32
2504.98/2566.56	c #Conflicts:     592000 | #Constraints:      16634
2504.98/2566.56	c #Conflicts:     593000 | #Constraints:      17659
2504.98/2566.56	c #Conflicts:     594000 | #Constraints:      18676
2504.98/2566.56	c #Conflicts:     595000 | #Constraints:      19681
2504.98/2566.56	c #Conflicts:     596000 | #Constraints:      20689
2504.98/2566.56	c #Conflicts:     597000 | #Constraints:      21707
2504.98/2566.56	c #Conflicts:     598000 | #Constraints:      22711
2504.98/2566.56	c #Conflicts:     599000 | #Constraints:      23711
2504.98/2566.56	c #Conflicts:     600000 | #Constraints:      24711
2504.98/2566.56	c #Conflicts:     601000 | #Constraints:      25711
2504.98/2566.56	c #Conflicts:     602000 | #Constraints:      26711
2504.98/2566.56	c #Conflicts:     603000 | #Constraints:      27734
2504.98/2566.56	c #Conflicts:     604000 | #Constraints:      28750
2504.98/2566.56	c #Conflicts:     605000 | #Constraints:      29752
2504.98/2566.56	c #Conflicts:     606000 | #Constraints:      30752
2504.98/2566.56	c #Conflicts:     607000 | #Constraints:      31753
2504.98/2566.56	c INPROCESSING
2504.98/2566.56	c GARBAGE COLLECT
2504.98/2566.56	c rational objective 32
2592.69/2655.51	c #Conflicts:     608000 | #Constraints:      17217
2592.69/2655.51	c #Conflicts:     609000 | #Constraints:      18221
2592.69/2655.51	c #Conflicts:     610000 | #Constraints:      19226
2592.69/2655.51	c #Conflicts:     611000 | #Constraints:      20237
2592.69/2655.51	c #Conflicts:     612000 | #Constraints:      21237
2592.69/2655.51	c #Conflicts:     613000 | #Constraints:      22237
2592.69/2655.51	c #Conflicts:     614000 | #Constraints:      23250
2592.69/2655.51	c #Conflicts:     615000 | #Constraints:      24258
2592.69/2655.51	c #Conflicts:     616000 | #Constraints:      25296
2592.69/2655.51	c #Conflicts:     617000 | #Constraints:      26336
2592.69/2655.51	c #Conflicts:     618000 | #Constraints:      27361
2592.69/2655.51	c #Conflicts:     619000 | #Constraints:      28388
2592.69/2655.51	c #Conflicts:     620000 | #Constraints:      29425
2592.69/2655.51	c #Conflicts:     621000 | #Constraints:      30450
2592.69/2655.51	c #Conflicts:     622000 | #Constraints:      31455
2592.69/2655.51	c #Conflicts:     623000 | #Constraints:      32456
2592.69/2655.51	c INPROCESSING
2592.69/2655.51	c GARBAGE COLLECT
2592.69/2655.51	c rational objective 32
2662.66/2726.71	c #Conflicts:     624000 | #Constraints:      17655
2662.66/2726.71	c #Conflicts:     625000 | #Constraints:      18679
2662.66/2726.71	c #Conflicts:     626000 | #Constraints:      19695
2662.66/2726.71	c #Conflicts:     627000 | #Constraints:      20719
2662.66/2726.71	c #Conflicts:     628000 | #Constraints:      21735
2662.66/2726.71	c #Conflicts:     629000 | #Constraints:      22744
2662.66/2726.71	c #Conflicts:     630000 | #Constraints:      23759
2662.66/2726.71	c #Conflicts:     631000 | #Constraints:      24764
2662.66/2726.71	c #Conflicts:     632000 | #Constraints:      25776
2662.66/2726.71	c #Conflicts:     633000 | #Constraints:      26776
2662.66/2726.71	c #Conflicts:     634000 | #Constraints:      27776
2662.66/2726.71	c #Conflicts:     635000 | #Constraints:      28794
2662.66/2726.71	c #Conflicts:     636000 | #Constraints:      29813
2662.66/2726.71	c #Conflicts:     637000 | #Constraints:      30837
2662.66/2726.71	c #Conflicts:     638000 | #Constraints:      31877
2662.66/2726.71	c #Conflicts:     639000 | #Constraints:      32897
2662.66/2726.71	c INPROCESSING
2662.66/2726.71	c GARBAGE COLLECT
2662.66/2726.71	c rational objective 32
2731.14/2796.48	c #Conflicts:     640000 | #Constraints:      17878
2731.14/2796.48	c #Conflicts:     641000 | #Constraints:      18887
2731.14/2796.48	c #Conflicts:     642000 | #Constraints:      19901
2731.14/2796.48	c #Conflicts:     643000 | #Constraints:      20926
2731.14/2796.48	c #Conflicts:     644000 | #Constraints:      21934
2731.14/2796.48	c #Conflicts:     645000 | #Constraints:      22936
2731.14/2796.48	c #Conflicts:     646000 | #Constraints:      23960
2731.14/2796.48	c #Conflicts:     647000 | #Constraints:      24990
2731.14/2796.48	c #Conflicts:     648000 | #Constraints:      26008
2731.14/2796.48	c #Conflicts:     649000 | #Constraints:      27028
2731.14/2796.48	c #Conflicts:     650000 | #Constraints:      28051
2731.14/2796.48	c #Conflicts:     651000 | #Constraints:      29072
2731.14/2796.48	c #Conflicts:     652000 | #Constraints:      30072
2731.14/2796.48	c #Conflicts:     653000 | #Constraints:      31072
2731.14/2796.48	c #Conflicts:     654000 | #Constraints:      32075
2731.14/2796.48	c #Conflicts:     655000 | #Constraints:      33076
2731.14/2796.48	c INPROCESSING
2731.14/2796.48	c GARBAGE COLLECT
2731.14/2796.48	c rational objective 32
2791.55/2857.50	c #Conflicts:     656000 | #Constraints:      17867
2791.55/2857.50	c #Conflicts:     657000 | #Constraints:      18873
2791.55/2857.50	c #Conflicts:     658000 | #Constraints:      19925
2791.55/2857.50	c #Conflicts:     659000 | #Constraints:      20978
2791.55/2857.50	c #Conflicts:     660000 | #Constraints:      21981
2791.55/2857.50	c #Conflicts:     661000 | #Constraints:      22981
2791.55/2857.50	c #Conflicts:     662000 | #Constraints:      23981
2791.55/2857.50	c #Conflicts:     663000 | #Constraints:      25111
2791.55/2857.50	c #Conflicts:     664000 | #Constraints:      26145
2791.55/2857.50	c #Conflicts:     665000 | #Constraints:      27173
2791.55/2857.50	c #Conflicts:     666000 | #Constraints:      28173
2791.55/2857.50	c #Conflicts:     667000 | #Constraints:      29174
2791.55/2857.50	c #Conflicts:     668000 | #Constraints:      30174
2791.55/2857.50	c #Conflicts:     669000 | #Constraints:      31175
2791.55/2857.50	c #Conflicts:     670000 | #Constraints:      32178
2791.55/2857.50	c #Conflicts:     671000 | #Constraints:      33178
2791.55/2857.50	c INPROCESSING
2791.55/2857.50	c GARBAGE COLLECT
2791.55/2857.50	c rational objective 32
2843.43/2909.62	c #Conflicts:     672000 | #Constraints:      17705
2843.43/2909.62	c #Conflicts:     673000 | #Constraints:      18705
2843.43/2909.62	c #Conflicts:     674000 | #Constraints:      19705
2843.43/2909.62	c #Conflicts:     675000 | #Constraints:      20705
2843.43/2909.62	c #Conflicts:     676000 | #Constraints:      21705
2843.43/2909.62	c #Conflicts:     677000 | #Constraints:      22705
2843.43/2909.62	c #Conflicts:     678000 | #Constraints:      23706
2843.43/2909.62	c #Conflicts:     679000 | #Constraints:      24707
2843.43/2909.62	c #Conflicts:     680000 | #Constraints:      25715
2843.43/2909.62	c #Conflicts:     681000 | #Constraints:      26736
2843.43/2909.62	c #Conflicts:     682000 | #Constraints:      27762
2843.43/2909.62	c #Conflicts:     683000 | #Constraints:      28784
2843.43/2909.62	c #Conflicts:     684000 | #Constraints:      29785
2843.43/2909.62	c #Conflicts:     685000 | #Constraints:      30799
2843.43/2909.62	c #Conflicts:     686000 | #Constraints:      31820
2843.43/2909.62	c #Conflicts:     687000 | #Constraints:      32832
2843.43/2909.62	c #Conflicts:     688000 | #Constraints:      33864
2843.43/2909.62	c INPROCESSING
2843.43/2909.62	c GARBAGE COLLECT
2843.43/2909.62	c rational objective 32
2932.79/2999.21	c #Conflicts:     689000 | #Constraints:      18275
2932.79/2999.21	c #Conflicts:     690000 | #Constraints:      19287
2932.79/2999.21	c #Conflicts:     691000 | #Constraints:      20306
2932.79/2999.21	c #Conflicts:     692000 | #Constraints:      21326
2932.79/2999.21	c #Conflicts:     693000 | #Constraints:      22341
2932.79/2999.21	c #Conflicts:     694000 | #Constraints:      23364
2932.79/2999.21	c #Conflicts:     695000 | #Constraints:      24365
2932.79/2999.21	c #Conflicts:     696000 | #Constraints:      25385
2932.79/2999.21	c #Conflicts:     697000 | #Constraints:      26395
2932.79/2999.21	c #Conflicts:     698000 | #Constraints:      27395
2932.79/2999.21	c #Conflicts:     699000 | #Constraints:      28401
2932.79/2999.21	c #Conflicts:     700000 | #Constraints:      29403
2932.79/2999.21	c #Conflicts:     701000 | #Constraints:      30404
2932.79/2999.21	c #Conflicts:     702000 | #Constraints:      31407
2932.79/2999.21	c #Conflicts:     703000 | #Constraints:      32407
2932.79/2999.21	c #Conflicts:     704000 | #Constraints:      33407
2932.79/2999.21	c #Conflicts:     705000 | #Constraints:      34422
2932.79/2999.21	c INPROCESSING
2932.79/2999.21	c GARBAGE COLLECT
2932.79/2999.21	c rational objective 32
3019.35/3086.03	c #Conflicts:     706000 | #Constraints:      18666
3019.35/3086.03	c #Conflicts:     707000 | #Constraints:      19668
3019.35/3086.03	c #Conflicts:     708000 | #Constraints:      20676
3019.35/3086.03	c #Conflicts:     709000 | #Constraints:      21683
3019.35/3086.03	c #Conflicts:     710000 | #Constraints:      22687
3019.35/3086.03	c #Conflicts:     711000 | #Constraints:      23697
3019.35/3086.03	c #Conflicts:     712000 | #Constraints:      24705
3019.35/3086.03	c #Conflicts:     713000 | #Constraints:      25715
3019.35/3086.03	c #Conflicts:     714000 | #Constraints:      26717
3019.35/3086.03	c #Conflicts:     715000 | #Constraints:      27719
3019.35/3086.03	c #Conflicts:     716000 | #Constraints:      28720
3019.35/3086.03	c #Conflicts:     717000 | #Constraints:      29721
3019.35/3086.03	c #Conflicts:     718000 | #Constraints:      30731
3019.35/3086.03	c #Conflicts:     719000 | #Constraints:      31740
3019.35/3086.03	c #Conflicts:     720000 | #Constraints:      32742
3019.35/3086.03	c #Conflicts:     721000 | #Constraints:      33746
3019.35/3086.03	c #Conflicts:     722000 | #Constraints:      34751
3019.35/3086.03	c INPROCESSING
3019.35/3086.03	c GARBAGE COLLECT
3019.35/3086.03	c rational objective 32
3170.55/3237.86	c #Conflicts:     723000 | #Constraints:      18808
3170.55/3237.86	c #Conflicts:     724000 | #Constraints:      19809
3170.55/3237.86	c #Conflicts:     725000 | #Constraints:      20818
3170.55/3237.86	c #Conflicts:     726000 | #Constraints:      21832
3170.55/3237.86	c #Conflicts:     727000 | #Constraints:      22839
3170.55/3237.86	c #Conflicts:     728000 | #Constraints:      23854
3170.55/3237.86	c #Conflicts:     729000 | #Constraints:      24854
3170.55/3237.86	c #Conflicts:     730000 | #Constraints:      25855
3170.55/3237.86	c #Conflicts:     731000 | #Constraints:      26855
3170.55/3237.86	c #Conflicts:     732000 | #Constraints:      27855
3170.55/3237.86	c #Conflicts:     733000 | #Constraints:      28855
3170.55/3237.86	c #Conflicts:     734000 | #Constraints:      29855
3170.55/3237.86	c #Conflicts:     735000 | #Constraints:      30855
3170.55/3237.86	c #Conflicts:     736000 | #Constraints:      31855
3170.55/3237.86	c #Conflicts:     737000 | #Constraints:      32855
3170.55/3237.86	c #Conflicts:     738000 | #Constraints:      33855
3170.55/3237.86	c #Conflicts:     739000 | #Constraints:      34855
3170.55/3237.86	c INPROCESSING
3170.55/3237.86	c GARBAGE COLLECT
3170.55/3237.86	c rational objective 32
3274.36/3342.33	c #Conflicts:     740000 | #Constraints:      18769
3274.36/3342.33	c #Conflicts:     741000 | #Constraints:      19771
3274.36/3342.33	c #Conflicts:     742000 | #Constraints:      20771
3274.36/3342.33	c #Conflicts:     743000 | #Constraints:      21771
3274.36/3342.33	c #Conflicts:     744000 | #Constraints:      22812
3274.36/3342.33	c #Conflicts:     745000 | #Constraints:      23812
3274.36/3342.33	c #Conflicts:     746000 | #Constraints:      24816
3274.36/3342.33	c #Conflicts:     747000 | #Constraints:      25830
3274.36/3342.33	c #Conflicts:     748000 | #Constraints:      27135
3274.36/3342.33	c #Conflicts:     749000 | #Constraints:      28136
3274.36/3342.33	c #Conflicts:     750000 | #Constraints:      29139
3274.36/3342.33	c #Conflicts:     751000 | #Constraints:      30144
3274.36/3342.33	c #Conflicts:     752000 | #Constraints:      31187
3274.36/3342.33	c #Conflicts:     753000 | #Constraints:      32187
3274.36/3342.33	c #Conflicts:     754000 | #Constraints:      33187
3274.36/3342.33	c #Conflicts:     755000 | #Constraints:      34187
3274.36/3342.33	c #Conflicts:     756000 | #Constraints:      35187
3274.36/3342.33	c INPROCESSING
3274.36/3342.33	c GARBAGE COLLECT
3274.36/3342.33	c rational objective 32
3347.17/3415.62	c #Conflicts:     757000 | #Constraints:      18721
3347.17/3415.62	c #Conflicts:     758000 | #Constraints:      19721
3347.17/3415.62	c #Conflicts:     759000 | #Constraints:      20721
3347.17/3415.62	c #Conflicts:     760000 | #Constraints:      21721
3347.17/3415.62	c #Conflicts:     761000 | #Constraints:      22721
3347.17/3415.62	c #Conflicts:     762000 | #Constraints:      23721
3347.17/3415.62	c #Conflicts:     763000 | #Constraints:      24721
3347.17/3415.62	c #Conflicts:     764000 | #Constraints:      25721
3347.17/3415.62	c #Conflicts:     765000 | #Constraints:      26722
3347.17/3415.62	c #Conflicts:     766000 | #Constraints:      27722
3347.17/3415.62	c #Conflicts:     767000 | #Constraints:      28722
3347.17/3415.62	c #Conflicts:     768000 | #Constraints:      29727
3347.17/3415.62	c #Conflicts:     769000 | #Constraints:      30738
3347.17/3415.62	c #Conflicts:     770000 | #Constraints:      31743
3347.17/3415.62	c #Conflicts:     771000 | #Constraints:      32745
3347.17/3415.62	c #Conflicts:     772000 | #Constraints:      33745
3347.17/3415.62	c #Conflicts:     773000 | #Constraints:      34745
3347.17/3415.62	c #Conflicts:     774000 | #Constraints:      35745
3347.17/3415.62	c INPROCESSING
3347.17/3415.62	c GARBAGE COLLECT
3347.17/3415.62	c rational objective 32
3419.55/3488.20	c #Conflicts:     775000 | #Constraints:      19191
3419.55/3488.20	c #Conflicts:     776000 | #Constraints:      20191
3419.55/3488.20	c #Conflicts:     777000 | #Constraints:      21191
3419.55/3488.20	c #Conflicts:     778000 | #Constraints:      22191
3419.55/3488.20	c #Conflicts:     779000 | #Constraints:      23191
3419.55/3488.20	c #Conflicts:     780000 | #Constraints:      24192
3419.55/3488.20	c #Conflicts:     781000 | #Constraints:      25192
3419.55/3488.20	c #Conflicts:     782000 | #Constraints:      26196
3419.55/3488.20	c #Conflicts:     783000 | #Constraints:      27214
3419.55/3488.20	c #Conflicts:     784000 | #Constraints:      28221
3419.55/3488.20	c #Conflicts:     785000 | #Constraints:      29230
3419.55/3488.20	c #Conflicts:     786000 | #Constraints:      30234
3419.55/3488.20	c #Conflicts:     787000 | #Constraints:      31253
3419.55/3488.20	c #Conflicts:     788000 | #Constraints:      32265
3419.55/3488.20	c #Conflicts:     789000 | #Constraints:      33271
3419.55/3488.20	c #Conflicts:     790000 | #Constraints:      34281
3419.55/3488.20	c #Conflicts:     791000 | #Constraints:      35307
3419.55/3488.20	c #Conflicts:     792000 | #Constraints:      36327
3419.55/3488.20	c INPROCESSING
3419.55/3488.20	c GARBAGE COLLECT
3419.55/3488.20	c rational objective 32
3507.40/3576.39	c #Conflicts:     793000 | #Constraints:      19612
3507.40/3576.39	c #Conflicts:     794000 | #Constraints:      20634
3507.40/3576.39	c #Conflicts:     795000 | #Constraints:      21655
3507.40/3576.39	c #Conflicts:     796000 | #Constraints:      22658
3507.40/3576.39	c #Conflicts:     797000 | #Constraints:      23680
3507.40/3576.39	c #Conflicts:     798000 | #Constraints:      24710
3507.40/3576.39	c #Conflicts:     799000 | #Constraints:      25727
3507.40/3576.39	c #Conflicts:     800000 | #Constraints:      26760
3507.40/3576.39	c #Conflicts:     801000 | #Constraints:      27791
3507.40/3576.39	c #Conflicts:     802000 | #Constraints:      28807
3507.40/3576.39	c #Conflicts:     803000 | #Constraints:      29823
3507.40/3576.39	c #Conflicts:     804000 | #Constraints:      30829
3507.40/3576.39	c #Conflicts:     805000 | #Constraints:      31842
3507.40/3576.39	c #Conflicts:     806000 | #Constraints:      32847
3507.40/3576.39	c #Conflicts:     807000 | #Constraints:      33847
3507.40/3576.39	c #Conflicts:     808000 | #Constraints:      34860
3507.40/3576.39	c #Conflicts:     809000 | #Constraints:      35868
3507.40/3576.39	c #Conflicts:     810000 | #Constraints:      36876
3507.40/3576.39	c INPROCESSING
3507.40/3576.39	c GARBAGE COLLECT
3507.40/3576.39	c rational objective 32
3576.31/3645.42	c #Conflicts:     811000 | #Constraints:      19891
3576.31/3645.42	c #Conflicts:     812000 | #Constraints:      20904
3576.31/3645.42	c #Conflicts:     813000 | #Constraints:      21924
3576.31/3645.42	c #Conflicts:     814000 | #Constraints:      22942
3576.31/3645.42	c #Conflicts:     815000 | #Constraints:      23963
3576.31/3645.42	c #Conflicts:     816000 | #Constraints:      24984
3576.31/3645.42	c #Conflicts:     817000 | #Constraints:      26000
3576.31/3645.42	c #Conflicts:     818000 | #Constraints:      27017
3576.31/3645.42	c #Conflicts:     819000 | #Constraints:      28025
3576.31/3645.42	c #Conflicts:     820000 | #Constraints:      29030
3576.31/3645.42	c #Conflicts:     821000 | #Constraints:      30042
3576.31/3645.42	c #Conflicts:     822000 | #Constraints:      31056
3576.31/3645.42	c #Conflicts:     823000 | #Constraints:      32062
3576.31/3645.42	c #Conflicts:     824000 | #Constraints:      33078
3576.31/3645.42	c #Conflicts:     825000 | #Constraints:      34087
3576.31/3645.42	c #Conflicts:     826000 | #Constraints:      35096
3576.31/3645.42	c #Conflicts:     827000 | #Constraints:      36117
3576.31/3645.42	c #Conflicts:     828000 | #Constraints:      37122
3576.31/3645.42	c INPROCESSING
3576.31/3645.42	c GARBAGE COLLECT
3576.31/3645.42	c rational objective 32
3600.04/3669.22	c #Conflicts:     829000 | #Constraints:      19912
3600.04/3669.22	c #Conflicts:     830000 | #Constraints:      20920
3600.04/3669.22	c #Conflicts:     831000 | #Constraints:      21926
3600.04/3669.22	c #Conflicts:     832000 | #Constraints:      22931
3600.04/3669.22	c #Conflicts:     833000 | #Constraints:      23933
3600.04/3669.22	c #Conflicts:     834000 | #Constraints:      24953
3600.04/3669.22	c #Conflicts:     835000 | #Constraints:      25955
3600.04/3669.22	c #Conflicts:     836000 | #Constraints:      26955
3600.04/3669.22	c cpu time 3549.16 s
3600.04/3669.22	c deterministic time 586860260701 5.87e+11
3600.04/3669.22	c optimization time 22.6513 s
3600.04/3669.22	c total solve time 3526.48 s
3600.04/3669.22	c core-guided solve time 1603.75 s
3600.04/3669.22	c propagation time 2206.51 s
3600.04/3669.22	c conflict analysis time 1009.64 s
3600.04/3669.22	c propagations 104807383
3600.04/3669.22	c resolve steps 3099330
3600.04/3669.22	c decisions 15253332
3600.04/3669.22	c conflicts 836544
3600.04/3669.22	c restarts 1788
3600.04/3669.22	c inprocessing phases 82
3600.04/3669.22	c garbage collections 82 ,( 100.00 )
3600.04/3669.22	c input clauses 366 ,( 45.92 )
3600.04/3669.22	c input cardinalities 367 ,( 46.05 )
3600.04/3669.22	c input general constraints 64 ,( 8.03 )
3600.04/3669.22	c input average constraint length 58.82
3600.04/3669.22	c input average constraint degree 11723.44
3600.04/3669.22	c learned clauses 36019 ,( 4.22 )
3600.04/3669.22	c learned cardinalities 826 ,( 0.10 )
3600.04/3669.22	c learned general constraints 815740 ,( 95.68 )
3600.04/3669.22	c learned average constraint length 3161.01
3600.04/3669.22	c learned average constraint degree 36906947390.77
3600.04/3669.22	c watched  CF 32, 64, 128, Arb: 182984 , 0 , 0 , 0
3600.04/3669.22	c counting CF 32, 64, 128, Arb: 632821 , 0 , 0 , 0
3600.04/3669.22	c watched   constraints 182984 ,( 22.43 ) 
3600.04/3669.22	c counting  constraints 632820 ,( 77.57 ) 
3600.04/3669.22	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 5576130 , 3918294 , 1269766298 ,( 66909179 , 1202857119 )
3600.04/3669.22	c gcd simplifications 14249
3600.04/3669.22	c detected cardinalities 58
3600.04/3669.22	c weakened non-implied lits 502911586
3600.04/3669.22	c weakened non-implying lits 2244348
3600.04/3669.22	c original variables 11744
3600.04/3669.22	c clausal propagations 1264826
3600.04/3669.22	c cardinality propagations 27172959
3600.04/3669.22	c watched propagations 293988
3600.04/3669.22	c counting propagations 68684945
3600.04/3669.22	c watch lookups 59443335474
3600.04/3669.22	c watch backjump lookups 0
3600.04/3669.22	c watch checks 48026595199
3600.04/3669.22	c propagation checks 472292917861
3600.04/3669.22	c constraint additions 6855559270
3600.04/3669.22	c trail pops 120883480
3600.04/3669.22	c formula constraints 797
3600.04/3669.22	c learned constraints 829535
3600.04/3669.22	c bound constraints 0
3600.04/3669.22	c core-guided constraints 0
3600.04/3669.22	c encountered formula constraints 2080308
3600.04/3669.22	c encountered learned constraints 1255258
3600.04/3669.22	c encountered bound constraints 0
3600.04/3669.22	c encountered core-guided constraints 0
3600.04/3669.22	c LP total time 486.009 s
3600.04/3669.22	c LP solve time 327.35 s
3600.04/3669.22	c LP constraints added 1466
3600.04/3669.22	c LP constraints removed 664
3600.04/3669.22	c LP pivots internal 836139
3600.04/3669.22	c LP pivots root 72562
3600.04/3669.22	c LP calls 135731
3600.04/3669.22	c LP optimalities 120322
3600.04/3669.22	c LP no pivot count 44453
3600.04/3669.22	c LP infeasibilities 15401
3600.04/3669.22	c LP valid Farkas constraints 15388
3600.04/3669.22	c LP learned Farkas constraints 7008
3600.04/3669.22	c LP basis resets 16
3600.04/3669.22	c LP cycling count 0
3600.04/3669.22	c LP singular count 3
3600.04/3669.22	c LP no primal count 0
3600.04/3669.22	c LP no farkas count 13
3600.04/3669.22	c LP other issue count 0
3600.04/3669.22	c LP Gomory cuts 654
3600.04/3669.22	c LP learned cuts 15
3600.04/3669.22	c LP deleted cuts 664
3600.04/3669.22	c LP encountered Gomory constraints 3
3600.04/3669.22	c LP encountered Farkas constraints 547738
3600.04/3669.22	c LP encountered learned Farkas constraints 45559
3600.04/3669.22	c CG auxiliary variables introduced 0
3600.04/3669.22	c CG solutions found 0
3600.04/3669.22	c CG cores constructed 0
3600.04/3669.22	c CG core cardinality constraints returned 0
3600.04/3669.22	c CG unit cores 0
3600.04/3669.22	c CG single cores 0
3600.04/3669.22	c CG blocks removed during cardinality reduction 0
3600.04/3669.22	c CG first core best 0
3600.04/3669.22	c CG decision core best 0
3600.04/3669.22	c CG core reduction tie 0
3600.04/3669.22	c CG core degree average 0.00
3600.04/3669.22	c CG core slack average 0.00
3600.04/3669.22	c CG core upper bound improvements 0
3600.04/3669.22	c STR number of successful calls 0
3600.04/3669.22	c STR number of unsuccessful calls 0
3600.04/3669.22	c STR number of inconclusive calls 0
3600.04/3669.22	c STR number of successful attempts 0
3600.04/3669.22	c STR number of unsuccessful attempts 0
3600.04/3669.22	c STR number of inconclusive attempts 0
3600.04/3669.22	c STR average degree increase per successful call inf
3600.04/3669.22	c STR average degree increase per successful attempt inf
3600.04/3669.22	c STR total number of conflicts for successful attempts 0
3600.04/3669.22	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3669.22	c STR total number of conflicts for inconclusive attempts 0
3600.04/3669.22	c STR average number of conflicts per successful attempt inf
3600.04/3669.22	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3669.22	c STR average number of conflicts per inconclusive attempt inf
3600.04/3669.22	c AVG.sumWPerc 59.54 
3600.04/3669.22	c bigint constraints 0 
3600.04/3669.22	s UNKNOWN
3600.04/3669.22	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 (55669 MiB free)
  memory of node 1: 64507 MiB (9432 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509613-1751523656/watcher-4509613-1751523656 -o /tmp/evaluation-result-4509613-1751523656/solver-4509613-1751523656 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751520002-78153 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4509613-1751523656.opb PROOFDIR/proof-4509613-1751523656 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100057 s]*
/proc/loadavg: 4.19 4.18 4.12 5/273 78713
/proc/meminfo: memFree=66646248/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78713] ppid=78711 vsize=32952 memory=22444 CPUtime=0.07 cores=0,2
/proc/78713/stat : 78713 (pbsuma) R 78711 78711 78143 0 -1 4194304 6037 0 0 0 7 0 0 0 20 0 1 0 68045891 33742848 5611 18446744073709551615 4210688 4653049 140736199717152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10346496 140736199723235 140736199723570 140736199723570 140736199729135 0
/proc/78713/statm: 8238 5611 992 108 0 5646 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 37144 KiB
Current children cumulated memory: 25516 KiB

[startup+0.205677 s]*
/proc/loadavg: 4.19 4.18 4.12 5/273 78713
/proc/meminfo: memFree=66644232/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78713] ppid=78711 vsize=33172 memory=22572 CPUtime=0.18 cores=0,2
/proc/78713/stat : 78713 (pbsuma) R 78711 78711 78143 0 -1 4194304 6092 0 0 0 18 0 0 0 20 0 1 0 68045891 33968128 5643 18446744073709551615 4210688 4653049 140736199717152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10346496 140736199723235 140736199723570 140736199723570 140736199729135 0
/proc/78713/statm: 8293 5643 992 108 0 5701 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 37364 KiB
Current children cumulated memory: 25644 KiB

[startup+0.305503 s]*
/proc/loadavg: 4.19 4.18 4.12 5/273 78713
/proc/meminfo: memFree=66632136/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78713] ppid=78711 vsize=46068 memory=32300 CPUtime=0.29 cores=0,2
/proc/78713/stat : 78713 (pbsuma) R 78711 78711 78143 0 -1 4194304 8571 0 0 0 28 1 0 0 20 0 1 0 68045891 47173632 8075 18446744073709551615 4210688 4653049 140736199717152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10346496 140736199723235 140736199723570 140736199723570 140736199729135 0
/proc/78713/statm: 11517 8075 992 108 0 8925 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50260 KiB
Current children cumulated memory: 35372 KiB

[startup+0.700178 s]
/proc/loadavg: 4.19 4.18 4.12 5/273 78713
/proc/meminfo: memFree=66616008/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+1.50018 s]
/proc/loadavg: 4.19 4.18 4.12 5/273 78714
/proc/meminfo: memFree=66599668/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=86688 memory=41328 CPUtime=0.93 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 7657 0 0 0 87 6 0 0 20 0 1 0 68045946 88768512 10332 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 21672 10332 2400 1147 0 9099 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 90880 KiB
Current children cumulated memory: 44400 KiB

[startup+3.10541 s]
/proc/loadavg: 4.17 4.18 4.12 5/273 78714
/proc/meminfo: memFree=66496040/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=124436 memory=80740 CPUtime=2.53 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 16999 0 0 0 241 12 0 0 20 0 1 0 68045946 127422464 20185 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 31109 20185 2400 1147 0 18536 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 128628 KiB
Current children cumulated memory: 83812 KiB

[startup+6.30016 s]
/proc/loadavg: 4.17 4.18 4.12 5/273 78714
/proc/meminfo: memFree=66254924/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=258272 memory=209116 CPUtime=5.72 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 41946 0 0 0 551 21 0 0 20 0 1 0 68045946 264470528 52279 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 64568 52279 2400 1147 0 51995 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 262464 KiB
Current children cumulated memory: 212188 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.17 4.11 5/273 78714
/proc/meminfo: memFree=65889308/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=361736 memory=290752 CPUtime=12.1 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 60343 0 0 0 1172 38 0 0 20 0 1 0 68045946 370417664 72688 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 90434 72688 2400 1147 0 77861 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 365928 KiB
Current children cumulated memory: 293824 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.18 4.12 5/273 78715
/proc/meminfo: memFree=65162616/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=544984 memory=440428 CPUtime=24.86 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 90071 0 0 0 2422 64 0 0 20 0 1 0 68045946 558063616 110107 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 136246 110107 2400 1147 0 123673 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 549176 KiB
Current children cumulated memory: 443500 KiB

[startup+51.1054 s]
/proc/loadavg: 4.25 4.20 4.12 5/274 78813
/proc/meminfo: memFree=127304616/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=809440 memory=671736 CPUtime=50.39 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 145260 0 0 0 4917 122 0 0 20 0 1 0 68045946 828866560 167934 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 202360 167934 2400 1147 0 189787 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 813632 KiB
Current children cumulated memory: 674808 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.18 4.12 4/271 78925
/proc/meminfo: memFree=126107176/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=1035736 memory=858684 CPUtime=101.44 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 183317 0 0 0 9928 216 0 0 20 0 1 0 68045946 1060593664 214671 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 258934 214671 2496 1147 0 246361 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1039928 KiB
Current children cumulated memory: 861756 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/275 78961
/proc/meminfo: memFree=124416564/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=1341028 memory=1124280 CPUtime=161.27 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 248213 0 0 0 15807 320 0 0 20 0 1 0 68045946 1373212672 281070 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 335257 281070 2496 1147 0 322684 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1345220 KiB
Current children cumulated memory: 1127352 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/269 79041
/proc/meminfo: memFree=122869208/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=1475612 memory=1318876 CPUtime=221.11 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 284164 0 0 0 21683 428 0 0 20 0 1 0 68045946 1511026688 329719 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 368903 329719 2496 1147 0 356330 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1479804 KiB

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

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 79384
/proc/meminfo: memFree=88425552/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=6407228 memory=5627564 CPUtime=3273.84 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 1196498 0 0 0 322806 4578 0 0 20 0 1 0 68045946 6561001472 1406891 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 1601807 1406891 2496 1147 0 1589234 0
Current children cumulated CPU time: 3274.36 s
Current children cumulated vsize: 6411420 KiB
Current children cumulated memory: 5630636 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/271 79386
/proc/meminfo: memFree=87722732/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=6411836 memory=5667396 CPUtime=3333.39 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 1198139 0 0 0 328688 4651 0 0 20 0 1 0 68045946 6565720064 1416849 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 1602959 1416849 2496 1147 0 1590386 0
Current children cumulated CPU time: 3333.91 s
Current children cumulated vsize: 6416028 KiB
Current children cumulated memory: 5670468 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 79389
/proc/meminfo: memFree=86806492/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=6412592 memory=5702724 CPUtime=3393.21 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 1199723 0 0 0 334586 4735 0 0 20 0 1 0 68045946 6566494208 1425681 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 1603148 1425681 2496 1147 0 1590575 0
Current children cumulated CPU time: 3393.73 s
Current children cumulated vsize: 6416784 KiB
Current children cumulated memory: 5705796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/272 79391
/proc/meminfo: memFree=85966860/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=6412592 memory=5731908 CPUtime=3453.04 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 1200445 0 0 0 340477 4827 0 0 20 0 1 0 68045946 6566494208 1432977 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 1603148 1432977 2496 1147 0 1590575 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 6416784 KiB
Current children cumulated memory: 5734980 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 79393
/proc/meminfo: memFree=85232320/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=6412592 memory=5762244 CPUtime=3512.86 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 1202135 0 0 0 346388 4898 0 0 20 0 1 0 68045946 6566494208 1440561 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 1603148 1440561 2496 1147 0 1590575 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 6416784 KiB
Current children cumulated memory: 5765316 KiB

[startup+3642.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/271 79395
/proc/meminfo: memFree=84364536/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=6412592 memory=5792196 CPUtime=3572.69 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 1202688 0 0 0 352269 5000 0 0 20 0 1 0 68045946 6566494208 1448049 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 1603148 1448049 2496 1147 0 1590575 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 6416784 KiB
Current children cumulated memory: 5795268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3669.2 s]
/proc/loadavg: 4.40 4.19 4.12 3/266 79427
/proc/meminfo: memFree=84769264/131250000 swapFree=33008100/33010684
[pid=78711] ppid=78708 vsize=4192 memory=3072 CPUtime=0.52 cores=0,2
/proc/78711/stat : 78711 (run-opt-break-l) S 78708 78711 78143 0 -1 4194304 241 8907 0 0 0 0 51 1 20 0 1 0 68045891 4292608 768 18446744073709551615 94467268468736 94467269363269 140723027295936 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467269602320 94467269650064 94467274743808 140723027302677 140723027302878 140723027302878 140723027308480 0
/proc/78711/statm: 1048 768 704 219 0 110 0
[pid=78714] ppid=78711 vsize=6412592 memory=5804612 CPUtime=3599.52 cores=0,2
/proc/78714/stat : 78714 (roundingsat) R 78711 78711 78143 0 -1 4194304 1202816 0 0 0 354916 5036 0 0 20 0 1 0 68045946 6566494208 1451153 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 1603148 1451153 2496 1147 0 1590575 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 6416784 KiB
Current children cumulated memory: 5807684 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=0.517855 s, system=0.015729 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.40 4.19 4.12 2/265 79427
/proc/meminfo: memFree=84768192/131250000 swapFree=33008100/33010684
[pid=78714] ppid=78708 vsize=6412592 memory=5804868 CPUtime=3599.55 cores=0,2
/proc/78714/stat : 78714 (roundingsat) D 78708 78711 78143 0 -1 4194304 1202817 0 2 0 354916 5039 0 0 20 0 1 0 68045946 6566494208 1451217 18446744073709551615 4227072 8923433 140737309275104 0 0 256 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 9
/proc/78714/statm: 1603148 1451217 2560 1147 0 1590575 0
??? kill 78714 sig 9
??? end of watcher thread

[startup+3673.54 s]
# the end of solver process 78714 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3670.4 s]
/proc/loadavg: 4.40 4.19 4.12 2/265 79427
/proc/meminfo: memFree=84768144/131250000 swapFree=33008100/33010684
[pid=78714] ppid=78708 vsize=6412592 memory=5804868 CPUtime=3599.55 cores=0,2
/proc/78714/stat : 78714 (roundingsat) D 78708 78711 78143 0 -1 4194304 1202817 0 2 0 354916 5039 0 0 20 0 1 0 68045946 6566494208 1451217 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 1603148 1451217 2560 1147 0 1590575 0
Current cumulated CPU time of completed processes: 0.533584 s
Current children cumulated CPU time: 3599.55 s
Current children cumulated vsize: 6412592 KiB
Current children cumulated memory: 5804868 KiB

[startup+3670.8 s]
/proc/loadavg: 4.40 4.19 4.12 2/265 79427
/proc/meminfo: memFree=84768144/131250000 swapFree=33008100/33010684
[pid=78714] ppid=78708 vsize=6412592 memory=5804868 CPUtime=3599.55 cores=0,2
/proc/78714/stat : 78714 (roundingsat) D 78708 78711 78143 0 -1 4194304 1202817 0 2 0 354916 5039 0 0 20 0 1 0 68045946 6566494208 1451217 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 1603148 1451217 2560 1147 0 1590575 0
Current cumulated CPU time of completed processes: 0.533584 s
Current children cumulated CPU time: 3599.55 s
Current children cumulated vsize: 6412592 KiB
Current children cumulated memory: 5804868 KiB

[startup+3671.2 s]
/proc/loadavg: 4.40 4.19 4.12 2/265 79427
/proc/meminfo: memFree=84768144/131250000 swapFree=33008100/33010684
[pid=78714] ppid=78708 vsize=6412592 memory=5804868 CPUtime=3599.55 cores=0,2
/proc/78714/stat : 78714 (roundingsat) D 78708 78711 78143 0 -1 4194304 1202817 0 2 0 354916 5039 0 0 20 0 1 0 68045946 6566494208 1451217 18446744073709551615 4227072 8923433 140737309275104 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140737309280532 140737309280808 140737309280808 140737309286378 0
/proc/78714/statm: 1603148 1451217 2560 1147 0 1590575 0
Current cumulated CPU time of completed processes: 0.533584 s
Current children cumulated CPU time: 3599.55 s
Current children cumulated vsize: 6412592 KiB
Current children cumulated memory: 5804868 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3673.54
CPU time (s): 3600.15
CPU user time (s): 3549.68
CPU system time (s): 50.4719
CPU usage (%): 98.0024
Max. virtual memory (cumulated for all children) (KiB): 6416784
Max. memory (cumulated for all children) (KiB): 5807684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.68
system time used= 50.4719
maximum resident set size= 5811140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1211965
page faults= 2
swaps= 0
block input operations= 3656
block output operations= 78211408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14671
involuntary context switches= 7181


# summary of solver processes directly reported to runsolver:
#   pid: 78711,78714
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3549.68
#   total CPU system time (s): 50.4719

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38931 second user time and 16.402 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-03 08:20:56
IDJOB=4509613
IDBENCH=158625
IDSOLVER=3360
FILE ID=nodeC013/4509613-1751523656
RUNJOBID= nodeC013-1751520002-78153
SLURM_JOB_ID= 9598642
Free space on /tmp= 432648 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509613-1751523656/watcher-4509613-1751523656 -o /tmp/evaluation-result-4509613-1751523656/solver-4509613-1751523656 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751520002-78153 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4509613-1751523656.opb PROOFDIR/proof-4509613-1751523656

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

MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=77150160

nodeC013 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.836
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.67
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.834
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.67
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		: 3281.453
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.67
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.725
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.830
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.67
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		: 3599.748
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.67
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.146
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        66672200 kB
MemAvailable:   98052212 kB
Buffers:            1668 kB
Cached:         32110816 kB
SwapCached:         2100 kB
Active:         31910284 kB
Inactive:       31791184 kB
Active(anon):   31582532 kB
Inactive(anon):    17648 kB
Active(file):     327752 kB
Inactive(file): 31773536 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            501872 kB
Writeback:             0 kB
AnonPages:      31590020 kB
Mapped:           113584 kB
Shmem:             11176 kB
KReclaimable:     235524 kB
Slab:             344452 kB
SReclaimable:     235524 kB
SUnreclaim:       108928 kB
KernelStack:        4384 kB
PageTables:        71024 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   36025216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6393856 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432612 MiB
End job on nodeC013 at 2025-07-03 09:22:10