Trace number 4520619

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-ihs-log 63f22ad? (TO) 3600.2 3611.53

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
MD5SUMdc7892cb3dbd530fdb83331c968a6da2
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 benchmark1616
Best CPU time to get the best result obtained on this benchmark64.671
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6460
Total number of constraints6460
Number of constraints which are clauses6460
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 6460
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 6460
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6460
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.08	c #variables 6460 #constraints 6460
0.00/0.08	c objective is ce32 
0.07/0.12	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.12	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.12	c GLOBAL bounds - >= 0 @ 0.070798
0.07/0.14	c GLOBAL bounds - >= 0 @ 0.08545
0.18/0.30	c GLOBAL bounds - >= 0 @ 0.230265
0.28/0.39	c GLOBAL bounds - >= 0 @ 0.305254
0.49/0.58	c GLOBAL bounds - >= 0 @ 0.48927
0.67/0.72	c GLOBAL bounds - >= 0 @ 0.605666
0.76/0.88	c GLOBAL bounds - >= 0 @ 0.754024
0.98/1.02	c GLOBAL bounds - >= 0 @ 0.885084
1.08/1.17	c GLOBAL bounds - >= 0 @ 1.03311
1.26/1.30	c GLOBAL bounds - >= 0 @ 1.14566
1.36/1.46	c GLOBAL bounds - >= 0 @ 1.2919
1.66/1.72	c GLOBAL bounds - >= 0 @ 1.53618
1.97/2.02	c GLOBAL bounds - >= 0 @ 1.8131
2.07/2.17	c GLOBAL bounds - >= 0 @ 1.95928
2.16/2.26	c GLOBAL bounds - >= 0 @ 2.04065
2.26/2.38	c GLOBAL bounds - >= 0 @ 2.15813
2.46/2.56	c GLOBAL bounds - >= 0 @ 2.31774
2.56/2.69	c GLOBAL bounds - >= 0 @ 2.43952
3.07/3.14	c #Conflicts:       1000 | #Constraints:       7492
3.07/3.14	c GLOBAL bounds - >= 0 @ 2.88662
3.16/3.29	c GLOBAL bounds - >= 0 @ 3.02882
3.45/3.54	c GLOBAL bounds - >= 0 @ 3.23487
3.65/3.72	c GLOBAL bounds - >= 0 @ 3.4126
4.07/4.17	c GLOBAL bounds - >= 0 @ 3.84319
5.06/5.14	c GLOBAL bounds - >= 0 @ 4.789
6.96/7.03	c #Conflicts:       2000 | #Constraints:       8504
6.96/7.03	c INPROCESSING
6.96/7.03	c GARBAGE COLLECT
6.96/7.03	c GLOBAL bounds - >= 0 @ 6.64224
29.68/29.81	c #Conflicts:       3000 | #Constraints:       8561
29.68/29.81	c #Conflicts:       4000 | #Constraints:       9561
29.68/29.81	c INPROCESSING
29.68/29.81	c GARBAGE COLLECT
29.68/29.81	c #Conflicts:       5000 | #Constraints:       8982
29.68/29.81	c #Conflicts:       6000 | #Constraints:       9982
29.68/29.81	c INPROCESSING
29.68/29.81	c GARBAGE COLLECT
29.68/29.81	c #Conflicts:       7000 | #Constraints:       8985
29.68/29.81	c #Conflicts:       8000 | #Constraints:       9985
29.68/29.81	c GLOBAL bounds - >= 0 @ 28.9814
30.18/30.30	c GLOBAL bounds - >= 0 @ 29.455
30.78/30.94	c GLOBAL bounds - >= 0 @ 30.0768
35.76/35.99	c #Conflicts:       9000 | #Constraints:      10991
35.76/35.99	c INPROCESSING
35.76/35.99	c GARBAGE COLLECT
35.76/35.99	c #Conflicts:      10000 | #Constraints:       9719
35.76/35.99	c GLOBAL bounds - >= 0 @ 35.0287
44.24/44.45	c #Conflicts:      11000 | #Constraints:      10721
44.24/44.45	c #Conflicts:      12000 | #Constraints:      11721
44.24/44.45	c INPROCESSING
44.24/44.45	c GARBAGE COLLECT
44.24/44.45	c #Conflicts:      13000 | #Constraints:      10187
44.24/44.45	c GLOBAL bounds - >= 0 @ 43.2523
52.93/53.17	c #Conflicts:      14000 | #Constraints:      11189
52.93/53.17	c #Conflicts:      15000 | #Constraints:      12189
52.93/53.17	c INPROCESSING
52.93/53.17	c GARBAGE COLLECT
52.93/53.17	c #Conflicts:      16000 | #Constraints:      10423
52.93/53.17	c GLOBAL bounds - >= 0 @ 51.8429
77.24/77.54	c #Conflicts:      17000 | #Constraints:      11425
77.24/77.54	c #Conflicts:      18000 | #Constraints:      12425
77.24/77.54	c INPROCESSING
77.24/77.54	c GARBAGE COLLECT
77.24/77.54	c #Conflicts:      19000 | #Constraints:      10433
77.24/77.54	c #Conflicts:      20000 | #Constraints:      11433
77.24/77.54	c #Conflicts:      21000 | #Constraints:      12433
77.24/77.54	c INPROCESSING
77.24/77.54	c GARBAGE COLLECT
77.24/77.54	c #Conflicts:      22000 | #Constraints:      10245
77.24/77.54	c GLOBAL bounds - >= 0 @ 75.7967
83.74/84.07	c #Conflicts:      23000 | #Constraints:      11247
83.74/84.07	c #Conflicts:      24000 | #Constraints:      12247
83.74/84.07	c GLOBAL bounds - >= 0 @ 82.1955
86.73/87.09	c #Conflicts:      25000 | #Constraints:      13249
86.73/87.09	c INPROCESSING
86.73/87.09	c GARBAGE COLLECT
86.73/87.09	c GLOBAL bounds - >= 0 @ 85.1503
87.83/88.15	c GLOBAL bounds - >= 0 @ 86.1945
92.90/93.21	c #Conflicts:      26000 | #Constraints:      10841
92.90/93.21	c #Conflicts:      27000 | #Constraints:      11841
92.90/93.21	c GLOBAL bounds - >= 0 @ 91.1813
99.28/99.68	c #Conflicts:      28000 | #Constraints:      12843
99.28/99.68	c #Conflicts:      29000 | #Constraints:      13843
99.28/99.68	c INPROCESSING
99.28/99.68	c GARBAGE COLLECT
99.28/99.68	c GLOBAL bounds - >= 0 @ 97.5197
99.88/100.29	c GLOBAL bounds - >= 0 @ 98.1178
100.97/101.30	c GLOBAL bounds - >= 0 @ 99.1093
102.07/102.40	c #Conflicts:      30000 | #Constraints:      11255
102.07/102.40	c GLOBAL bounds - >= 0 @ 100.198
110.25/110.62	c #Conflicts:      31000 | #Constraints:      12257
110.25/110.62	c #Conflicts:      32000 | #Constraints:      13257
110.25/110.62	c GLOBAL bounds - >= 0 @ 108.252
126.62/127.10	c #Conflicts:      33000 | #Constraints:      14259
126.62/127.10	c INPROCESSING
126.62/127.10	c GARBAGE COLLECT
126.62/127.10	c #Conflicts:      34000 | #Constraints:      11481
126.62/127.10	c #Conflicts:      35000 | #Constraints:      12481
126.62/127.10	c #Conflicts:      36000 | #Constraints:      13481
126.62/127.10	c GLOBAL bounds - >= 0 @ 124.511
188.53/189.12	c #Conflicts:      37000 | #Constraints:      14483
188.53/189.12	c INPROCESSING
188.53/189.12	c GARBAGE COLLECT
188.53/189.12	c #Conflicts:      38000 | #Constraints:      11483
188.53/189.12	c #Conflicts:      39000 | #Constraints:      12483
188.53/189.12	c #Conflicts:      40000 | #Constraints:      13483
188.53/189.12	c #Conflicts:      41000 | #Constraints:      14483
188.53/189.12	c INPROCESSING
188.53/189.12	c GARBAGE COLLECT
188.53/189.12	c #Conflicts:      42000 | #Constraints:      11290
188.53/189.12	c #Conflicts:      43000 | #Constraints:      12290
188.53/189.12	c #Conflicts:      44000 | #Constraints:      13290
188.53/189.12	c #Conflicts:      45000 | #Constraints:      14290
188.53/189.12	c #Conflicts:      46000 | #Constraints:      15290
188.53/189.12	c INPROCESSING
188.53/189.12	c GARBAGE COLLECT
188.53/189.12	c #Conflicts:      47000 | #Constraints:      11896
188.53/189.12	c #Conflicts:      48000 | #Constraints:      12896
188.53/189.12	c #Conflicts:      49000 | #Constraints:      13896
188.53/189.12	c #Conflicts:      50000 | #Constraints:      14896
188.53/189.12	c GLOBAL bounds - >= 0 @ 185.69
190.81/191.45	c #Conflicts:      51000 | #Constraints:      15898
190.81/191.45	c INPROCESSING
190.81/191.45	c GARBAGE COLLECT
190.81/191.45	c GLOBAL bounds - >= 0 @ 187.996
192.31/192.99	c GLOBAL bounds - >= 0 @ 189.513
192.90/193.56	c GLOBAL bounds - >= 0 @ 190.08
215.14/215.84	c #Conflicts:      52000 | #Constraints:      12296
215.14/215.84	c #Conflicts:      53000 | #Constraints:      13296
215.14/215.84	c #Conflicts:      54000 | #Constraints:      14296
215.14/215.84	c #Conflicts:      55000 | #Constraints:      15296
215.14/215.84	c #Conflicts:      56000 | #Constraints:      16296
215.14/215.84	c INPROCESSING
215.14/215.84	c GARBAGE COLLECT
215.14/215.84	c GLOBAL bounds - >= 0 @ 212.004
218.44/219.14	c #Conflicts:      57000 | #Constraints:      12524
218.44/219.14	c GLOBAL bounds - >= 0 @ 215.253
233.19/233.95	c #Conflicts:      58000 | #Constraints:      13526
233.19/233.95	c #Conflicts:      59000 | #Constraints:      14526
233.19/233.95	c #Conflicts:      60000 | #Constraints:      15526
233.19/233.95	c #Conflicts:      61000 | #Constraints:      16526
233.19/233.95	c INPROCESSING
233.19/233.95	c GARBAGE COLLECT
233.19/233.95	c GLOBAL bounds - >= 0 @ 229.861
248.36/249.11	c #Conflicts:      62000 | #Constraints:      12527
248.36/249.11	c #Conflicts:      63000 | #Constraints:      13527
248.36/249.11	c #Conflicts:      64000 | #Constraints:      14527
248.36/249.11	c #Conflicts:      65000 | #Constraints:      15527
248.36/249.11	c GLOBAL bounds - >= 0 @ 244.824
250.54/251.39	c GLOBAL bounds - >= 0 @ 247.064
251.63/252.48	c #Conflicts:      66000 | #Constraints:      16531
251.63/252.48	c GLOBAL bounds - >= 0 @ 248.141
253.83/254.68	c GLOBAL bounds - >= 0 @ 250.313
255.24/256.05	c GLOBAL bounds - >= 0 @ 251.546
257.72/258.57	c INPROCESSING
257.72/258.57	c GARBAGE COLLECT
257.72/258.57	c GLOBAL bounds - >= 0 @ 254.024
265.50/266.33	c #Conflicts:      67000 | #Constraints:      12315
265.50/266.33	c #Conflicts:      68000 | #Constraints:      13315
265.50/266.33	c GLOBAL bounds - >= 0 @ 261.664
265.99/266.90	c #Conflicts:      69000 | #Constraints:      14317
265.99/266.90	c GLOBAL bounds - >= 0 @ 262.226
267.49/268.32	c GLOBAL bounds - >= 0 @ 263.631
272.68/273.55	c #Conflicts:      70000 | #Constraints:      15321
272.68/273.55	c GLOBAL bounds - >= 0 @ 268.744
281.65/282.59	c #Conflicts:      71000 | #Constraints:      16323
281.65/282.59	c #Conflicts:      72000 | #Constraints:      17323
281.65/282.59	c INPROCESSING
281.65/282.59	c GARBAGE COLLECT
281.65/282.59	c #Conflicts:      73000 | #Constraints:      12901
281.65/282.59	c GLOBAL bounds - >= 0 @ 277.679
282.55/283.45	c GLOBAL bounds - >= 0 @ 278.53
283.64/284.53	c GLOBAL bounds - >= 0 @ 279.594
284.74/285.60	c #Conflicts:      74000 | #Constraints:      13907
284.74/285.60	c GLOBAL bounds - >= 0 @ 280.643
287.63/288.58	c GLOBAL bounds - >= 0 @ 283.592
290.42/291.31	c #Conflicts:      75000 | #Constraints:      14911
290.42/291.31	c GLOBAL bounds - >= 0 @ 286.293
295.61/296.54	c #Conflicts:      76000 | #Constraints:      15913
295.61/296.54	c GLOBAL bounds - >= 0 @ 291.461
301.99/302.99	c #Conflicts:      77000 | #Constraints:      16915
301.99/302.99	c GLOBAL bounds - >= 0 @ 297.809
307.48/308.45	c #Conflicts:      78000 | #Constraints:      17917
307.48/308.45	c INPROCESSING
307.48/308.45	c GARBAGE COLLECT
307.48/308.45	c GLOBAL bounds - >= 0 @ 303.195
308.18/309.19	c #Conflicts:      79000 | #Constraints:      13340
308.18/309.19	c GLOBAL bounds - >= 0 @ 303.921
322.15/323.16	c #Conflicts:      80000 | #Constraints:      14342
322.15/323.16	c #Conflicts:      81000 | #Constraints:      15342
322.15/323.16	c #Conflicts:      82000 | #Constraints:      16342
322.15/323.16	c #Conflicts:      83000 | #Constraints:      17342
322.15/323.16	c GLOBAL bounds - >= 0 @ 317.719
326.32/327.30	c #Conflicts:      84000 | #Constraints:      18344
326.32/327.30	c INPROCESSING
326.32/327.30	c GARBAGE COLLECT
326.32/327.30	c GLOBAL bounds - >= 0 @ 321.815
329.13/330.16	c #Conflicts:      85000 | #Constraints:      13571
329.13/330.16	c GLOBAL bounds - >= 0 @ 324.628
330.51/331.58	c GLOBAL bounds - >= 0 @ 326.039
372.90/374.09	c #Conflicts:      86000 | #Constraints:      14575
372.90/374.09	c #Conflicts:      87000 | #Constraints:      15575
372.90/374.09	c #Conflicts:      88000 | #Constraints:      16575
372.90/374.09	c #Conflicts:      89000 | #Constraints:      17575
372.90/374.09	c #Conflicts:      90000 | #Constraints:      18575
372.90/374.09	c INPROCESSING
372.90/374.09	c GARBAGE COLLECT
372.90/374.09	c #Conflicts:      91000 | #Constraints:      13586
372.90/374.09	c #Conflicts:      92000 | #Constraints:      14586
372.90/374.09	c #Conflicts:      93000 | #Constraints:      15586
372.90/374.09	c #Conflicts:      94000 | #Constraints:      16586
372.90/374.09	c #Conflicts:      95000 | #Constraints:      17586
372.90/374.09	c #Conflicts:      96000 | #Constraints:      18586
372.90/374.09	c GLOBAL bounds - >= 0 @ 367.939
373.68/374.82	c GLOBAL bounds - >= 0 @ 368.671
376.38/377.50	c INPROCESSING
376.38/377.50	c GARBAGE COLLECT
376.38/377.50	c GLOBAL bounds - >= 0 @ 371.328
377.18/378.38	c #Conflicts:      97000 | #Constraints:      13373
377.18/378.38	c GLOBAL bounds - >= 0 @ 372.195
378.17/379.35	c GLOBAL bounds - >= 0 @ 373.154
424.75/426.07	c #Conflicts:      98000 | #Constraints:      14377
424.75/426.07	c #Conflicts:      99000 | #Constraints:      15377
424.75/426.07	c #Conflicts:     100000 | #Constraints:      16377
424.75/426.07	c #Conflicts:     101000 | #Constraints:      17377
424.75/426.07	c #Conflicts:     102000 | #Constraints:      18377
424.75/426.07	c #Conflicts:     103000 | #Constraints:      19377
424.75/426.07	c INPROCESSING
424.75/426.07	c GARBAGE COLLECT
424.75/426.07	c #Conflicts:     104000 | #Constraints:      14010
424.75/426.07	c #Conflicts:     105000 | #Constraints:      15010
424.75/426.07	c #Conflicts:     106000 | #Constraints:      16010
424.75/426.07	c #Conflicts:     107000 | #Constraints:      17010
424.75/426.07	c #Conflicts:     108000 | #Constraints:      18010
424.75/426.07	c GLOBAL bounds - >= 0 @ 419.274
439.89/441.27	c #Conflicts:     109000 | #Constraints:      19012
439.89/441.27	c #Conflicts:     110000 | #Constraints:      20012
439.89/441.27	c INPROCESSING
439.89/441.27	c GARBAGE COLLECT
439.89/441.27	c #Conflicts:     111000 | #Constraints:      14415
439.89/441.27	c GLOBAL bounds - >= 0 @ 434.289
442.18/443.57	c #Conflicts:     112000 | #Constraints:      15417
442.18/443.57	c GLOBAL bounds - >= 0 @ 436.565
453.67/455.03	c #Conflicts:     113000 | #Constraints:      16419
453.67/455.03	c #Conflicts:     114000 | #Constraints:      17419
453.67/455.03	c #Conflicts:     115000 | #Constraints:      18419
453.67/455.03	c GLOBAL bounds - >= 0 @ 447.887
463.73/465.13	c #Conflicts:     116000 | #Constraints:      19421
463.73/465.13	c GLOBAL bounds - >= 0 @ 457.859
468.31/469.76	c #Conflicts:     117000 | #Constraints:      20423
468.31/469.76	c INPROCESSING
468.31/469.76	c GARBAGE COLLECT
468.31/469.76	c GLOBAL bounds - >= 0 @ 462.447
488.56/490.06	c #Conflicts:     118000 | #Constraints:      14620
488.56/490.06	c #Conflicts:     119000 | #Constraints:      15620
488.56/490.06	c #Conflicts:     120000 | #Constraints:      16620
488.56/490.06	c #Conflicts:     121000 | #Constraints:      17620
488.56/490.06	c #Conflicts:     122000 | #Constraints:      18620
488.56/490.06	c #Conflicts:     123000 | #Constraints:      19620
488.56/490.06	c GLOBAL bounds - >= 0 @ 482.511
505.00/506.57	c #Conflicts:     124000 | #Constraints:      20622
505.00/506.57	c INPROCESSING
505.00/506.57	c GARBAGE COLLECT
505.00/506.57	c #Conflicts:     125000 | #Constraints:      14628
505.00/506.57	c #Conflicts:     126000 | #Constraints:      15628
505.00/506.57	c GLOBAL bounds - >= 0 @ 498.813
523.57/525.17	c #Conflicts:     127000 | #Constraints:      16630
523.57/525.17	c #Conflicts:     128000 | #Constraints:      17630
523.57/525.17	c #Conflicts:     129000 | #Constraints:      18630
523.57/525.17	c #Conflicts:     130000 | #Constraints:      19630
523.57/525.17	c GLOBAL bounds - >= 0 @ 517.186
569.51/571.28	c #Conflicts:     131000 | #Constraints:      20632
569.51/571.28	c INPROCESSING
569.51/571.28	c GARBAGE COLLECT
569.51/571.28	c #Conflicts:     132000 | #Constraints:      14418
569.51/571.28	c #Conflicts:     133000 | #Constraints:      15418
569.51/571.28	c #Conflicts:     134000 | #Constraints:      16418
569.51/571.28	c #Conflicts:     135000 | #Constraints:      17418
569.51/571.28	c #Conflicts:     136000 | #Constraints:      18418
569.51/571.28	c #Conflicts:     137000 | #Constraints:      19418
569.51/571.28	c #Conflicts:     138000 | #Constraints:      20418
569.51/571.28	c GLOBAL bounds - >= 0 @ 562.699
579.89/581.60	c #Conflicts:     139000 | #Constraints:      21420
579.89/581.60	c INPROCESSING
579.89/581.60	c GARBAGE COLLECT
579.89/581.60	c #Conflicts:     140000 | #Constraints:      15018
579.89/581.60	c GLOBAL bounds - >= 0 @ 572.898
623.17/625.05	c #Conflicts:     141000 | #Constraints:      16020
623.17/625.05	c #Conflicts:     142000 | #Constraints:      17020
623.17/625.05	c #Conflicts:     143000 | #Constraints:      18020
623.17/625.05	c #Conflicts:     144000 | #Constraints:      19020
623.17/625.05	c #Conflicts:     145000 | #Constraints:      20020
623.17/625.05	c #Conflicts:     146000 | #Constraints:      21020
623.17/625.05	c #Conflicts:     147000 | #Constraints:      22020
623.17/625.05	c INPROCESSING
623.17/625.05	c GARBAGE COLLECT
623.17/625.05	c #Conflicts:     148000 | #Constraints:      15437
623.17/625.05	c GLOBAL bounds - >= 0 @ 615.809
685.00/687.07	c #Conflicts:     149000 | #Constraints:      16439
685.00/687.07	c #Conflicts:     150000 | #Constraints:      17439
685.00/687.07	c #Conflicts:     151000 | #Constraints:      18439
685.00/687.07	c #Conflicts:     152000 | #Constraints:      19439
685.00/687.07	c #Conflicts:     153000 | #Constraints:      20439
685.00/687.07	c #Conflicts:     154000 | #Constraints:      21439
685.00/687.07	c #Conflicts:     155000 | #Constraints:      22439
685.00/687.07	c INPROCESSING
685.00/687.07	c GARBAGE COLLECT
685.00/687.07	c #Conflicts:     156000 | #Constraints:      15625
685.00/687.07	c #Conflicts:     157000 | #Constraints:      16625
685.00/687.07	c #Conflicts:     158000 | #Constraints:      17625
685.00/687.07	c #Conflicts:     159000 | #Constraints:      18625
685.00/687.07	c #Conflicts:     160000 | #Constraints:      19625
685.00/687.07	c GLOBAL bounds - >= 0 @ 677.013
726.17/728.30	c #Conflicts:     161000 | #Constraints:      20627
726.17/728.30	c #Conflicts:     162000 | #Constraints:      21627
726.17/728.30	c #Conflicts:     163000 | #Constraints:      22627
726.17/728.30	c INPROCESSING
726.17/728.30	c GARBAGE COLLECT
726.17/728.30	c #Conflicts:     164000 | #Constraints:      15644
726.17/728.30	c #Conflicts:     165000 | #Constraints:      16644
726.17/728.30	c #Conflicts:     166000 | #Constraints:      17644
726.17/728.30	c #Conflicts:     167000 | #Constraints:      18644
726.17/728.30	c #Conflicts:     168000 | #Constraints:      19644
726.17/728.30	c GLOBAL bounds - >= 0 @ 717.787
733.74/736.01	c #Conflicts:     169000 | #Constraints:      20646
733.74/736.01	c GLOBAL bounds - >= 0 @ 725.379
736.73/738.98	c #Conflicts:     170000 | #Constraints:      21648
736.73/738.98	c GLOBAL bounds - >= 0 @ 728.308
743.91/746.17	c #Conflicts:     171000 | #Constraints:      22650
743.91/746.17	c GLOBAL bounds - >= 0 @ 735.405
748.38/750.63	c INPROCESSING
748.38/750.63	c GARBAGE COLLECT
748.38/750.63	c GLOBAL bounds - >= 0 @ 739.823
768.63/770.91	c #Conflicts:     172000 | #Constraints:      15413
768.63/770.91	c #Conflicts:     173000 | #Constraints:      16413
768.63/770.91	c #Conflicts:     174000 | #Constraints:      17413
768.63/770.91	c #Conflicts:     175000 | #Constraints:      18413
768.63/770.91	c #Conflicts:     176000 | #Constraints:      19413
768.63/770.91	c GLOBAL bounds - >= 0 @ 759.753
815.99/818.44	c #Conflicts:     177000 | #Constraints:      20415
815.99/818.44	c #Conflicts:     178000 | #Constraints:      21415
815.99/818.44	c #Conflicts:     179000 | #Constraints:      22415
815.99/818.44	c #Conflicts:     180000 | #Constraints:      23415
815.99/818.44	c INPROCESSING
815.99/818.44	c GARBAGE COLLECT
815.99/818.44	c #Conflicts:     181000 | #Constraints:      16019
815.99/818.44	c #Conflicts:     182000 | #Constraints:      17019
815.99/818.44	c #Conflicts:     183000 | #Constraints:      18019
815.99/818.44	c #Conflicts:     184000 | #Constraints:      19019
815.99/818.44	c GLOBAL bounds - >= 0 @ 806.67
847.10/849.66	c #Conflicts:     185000 | #Constraints:      20021
847.10/849.66	c #Conflicts:     186000 | #Constraints:      21021
847.10/849.66	c #Conflicts:     187000 | #Constraints:      22021
847.10/849.66	c #Conflicts:     188000 | #Constraints:      23021
847.10/849.66	c #Conflicts:     189000 | #Constraints:      24021
847.10/849.66	c INPROCESSING
847.10/849.66	c GARBAGE COLLECT
847.10/849.66	c #Conflicts:     190000 | #Constraints:      16441
847.10/849.66	c GLOBAL bounds - >= 0 @ 837.536
862.56/865.13	c #Conflicts:     191000 | #Constraints:      17443
862.56/865.13	c #Conflicts:     192000 | #Constraints:      18443
862.56/865.13	c #Conflicts:     193000 | #Constraints:      19443
862.56/865.13	c #Conflicts:     194000 | #Constraints:      20443
862.56/865.13	c GLOBAL bounds - >= 0 @ 852.802
866.14/868.74	c #Conflicts:     195000 | #Constraints:      21445
866.14/868.74	c GLOBAL bounds - >= 0 @ 856.353
869.14/871.77	c #Conflicts:     196000 | #Constraints:      22447
869.14/871.77	c GLOBAL bounds - >= 0 @ 859.351
968.15/971.04	c #Conflicts:     197000 | #Constraints:      23449
968.15/971.04	c #Conflicts:     198000 | #Constraints:      24449
968.15/971.04	c INPROCESSING
968.15/971.04	c GARBAGE COLLECT
968.15/971.04	c #Conflicts:     199000 | #Constraints:      16663
968.15/971.04	c #Conflicts:     200000 | #Constraints:      17663
968.15/971.04	c #Conflicts:     201000 | #Constraints:      18663
968.15/971.04	c #Conflicts:     202000 | #Constraints:      19663
968.15/971.04	c #Conflicts:     203000 | #Constraints:      20663
968.15/971.04	c #Conflicts:     204000 | #Constraints:      21663
968.15/971.04	c #Conflicts:     205000 | #Constraints:      22663
968.15/971.04	c #Conflicts:     206000 | #Constraints:      23663
968.15/971.04	c #Conflicts:     207000 | #Constraints:      24663
968.15/971.04	c INPROCESSING
968.15/971.04	c GARBAGE COLLECT
968.15/971.04	c #Conflicts:     208000 | #Constraints:      16656
968.15/971.04	c #Conflicts:     209000 | #Constraints:      17656
968.15/971.04	c #Conflicts:     210000 | #Constraints:      18656
968.15/971.04	c #Conflicts:     211000 | #Constraints:      19656
968.15/971.04	c #Conflicts:     212000 | #Constraints:      20656
968.15/971.04	c #Conflicts:     213000 | #Constraints:      21656
968.15/971.04	c #Conflicts:     214000 | #Constraints:      22656
968.15/971.04	c #Conflicts:     215000 | #Constraints:      23656
968.15/971.04	c GLOBAL bounds - >= 0 @ 957.545
1137.14/1140.60	c #Conflicts:     216000 | #Constraints:      24658
1137.14/1140.60	c INPROCESSING
1137.14/1140.60	c GARBAGE COLLECT
1137.14/1140.60	c #Conflicts:     217000 | #Constraints:      16460
1137.14/1140.60	c #Conflicts:     218000 | #Constraints:      17460
1137.14/1140.60	c #Conflicts:     219000 | #Constraints:      18460
1137.14/1140.60	c #Conflicts:     220000 | #Constraints:      19460
1137.14/1140.60	c #Conflicts:     221000 | #Constraints:      20460
1137.14/1140.60	c #Conflicts:     222000 | #Constraints:      21460
1137.14/1140.60	c #Conflicts:     223000 | #Constraints:      22460
1137.14/1140.60	c #Conflicts:     224000 | #Constraints:      23460
1137.14/1140.60	c #Conflicts:     225000 | #Constraints:      24460
1137.14/1140.60	c #Conflicts:     226000 | #Constraints:      25460
1137.14/1140.60	c INPROCESSING
1137.14/1140.60	c GARBAGE COLLECT
1137.14/1140.60	c #Conflicts:     227000 | #Constraints:      17070
1137.14/1140.60	c #Conflicts:     228000 | #Constraints:      18070
1137.14/1140.60	c #Conflicts:     229000 | #Constraints:      19070
1137.14/1140.60	c #Conflicts:     230000 | #Constraints:      20070
1137.14/1140.60	c #Conflicts:     231000 | #Constraints:      21070
1137.14/1140.60	c #Conflicts:     232000 | #Constraints:      22070
1137.14/1140.60	c #Conflicts:     233000 | #Constraints:      23070
1137.14/1140.60	c #Conflicts:     234000 | #Constraints:      24070
1137.14/1140.60	c #Conflicts:     235000 | #Constraints:      25070
1137.14/1140.60	c #Conflicts:     236000 | #Constraints:      26070
1137.14/1140.60	c INPROCESSING
1137.14/1140.60	c GARBAGE COLLECT
1137.14/1140.60	c #Conflicts:     237000 | #Constraints:      17475
1137.14/1140.60	c #Conflicts:     238000 | #Constraints:      18475
1137.14/1140.60	c #Conflicts:     239000 | #Constraints:      19475
1137.14/1140.60	c #Conflicts:     240000 | #Constraints:      20475
1137.14/1140.60	c #Conflicts:     241000 | #Constraints:      21475
1137.14/1140.60	c #Conflicts:     242000 | #Constraints:      22475
1137.14/1140.60	c GLOBAL bounds - >= 0 @ 1125.17
1357.10/1361.17	c #Conflicts:     243000 | #Constraints:      23477
1357.10/1361.17	c #Conflicts:     244000 | #Constraints:      24477
1357.10/1361.17	c #Conflicts:     245000 | #Constraints:      25477
1357.10/1361.17	c #Conflicts:     246000 | #Constraints:      26477
1357.10/1361.17	c INPROCESSING
1357.10/1361.17	c GARBAGE COLLECT
1357.10/1361.17	c #Conflicts:     247000 | #Constraints:      17683
1357.10/1361.17	c #Conflicts:     248000 | #Constraints:      18683
1357.10/1361.17	c #Conflicts:     249000 | #Constraints:      19683
1357.10/1361.17	c #Conflicts:     250000 | #Constraints:      20683
1357.10/1361.17	c #Conflicts:     251000 | #Constraints:      21683
1357.10/1361.17	c #Conflicts:     252000 | #Constraints:      22683
1357.10/1361.17	c #Conflicts:     253000 | #Constraints:      23683
1357.10/1361.17	c #Conflicts:     254000 | #Constraints:      24683
1357.10/1361.17	c #Conflicts:     255000 | #Constraints:      25683
1357.10/1361.17	c #Conflicts:     256000 | #Constraints:      26683
1357.10/1361.17	c INPROCESSING
1357.10/1361.17	c GARBAGE COLLECT
1357.10/1361.17	c #Conflicts:     257000 | #Constraints:      17687
1357.10/1361.17	c #Conflicts:     258000 | #Constraints:      18687
1357.10/1361.17	c #Conflicts:     259000 | #Constraints:      19687
1357.10/1361.17	c #Conflicts:     260000 | #Constraints:      20687
1357.10/1361.17	c #Conflicts:     261000 | #Constraints:      21687
1357.10/1361.17	c #Conflicts:     262000 | #Constraints:      22687
1357.10/1361.17	c #Conflicts:     263000 | #Constraints:      23687
1357.10/1361.17	c #Conflicts:     264000 | #Constraints:      24687
1357.10/1361.17	c #Conflicts:     265000 | #Constraints:      25687
1357.10/1361.17	c #Conflicts:     266000 | #Constraints:      26687
1357.10/1361.17	c INPROCESSING
1357.10/1361.17	c GARBAGE COLLECT
1357.10/1361.17	c #Conflicts:     267000 | #Constraints:      17472
1357.10/1361.17	c #Conflicts:     268000 | #Constraints:      18472
1357.10/1361.17	c #Conflicts:     269000 | #Constraints:      19472
1357.10/1361.17	c #Conflicts:     270000 | #Constraints:      20472
1357.10/1361.17	c GLOBAL bounds - >= 0 @ 1343.27
1398.98/1403.18	c #Conflicts:     271000 | #Constraints:      21474
1398.98/1403.18	c #Conflicts:     272000 | #Constraints:      22474
1398.98/1403.18	c #Conflicts:     273000 | #Constraints:      23474
1398.98/1403.18	c #Conflicts:     274000 | #Constraints:      24474
1398.98/1403.18	c #Conflicts:     275000 | #Constraints:      25474
1398.98/1403.18	c #Conflicts:     276000 | #Constraints:      26474
1398.98/1403.18	c #Conflicts:     277000 | #Constraints:      27474
1398.98/1403.18	c INPROCESSING
1398.98/1403.18	c GARBAGE COLLECT
1398.98/1403.18	c #Conflicts:     278000 | #Constraints:      18071
1398.98/1403.18	c #Conflicts:     279000 | #Constraints:      19071
1398.98/1403.18	c GLOBAL bounds - >= 0 @ 1384.85
1465.48/1469.80	c #Conflicts:     280000 | #Constraints:      20073
1465.48/1469.80	c #Conflicts:     281000 | #Constraints:      21073
1465.48/1469.80	c #Conflicts:     282000 | #Constraints:      22073
1465.48/1469.80	c #Conflicts:     283000 | #Constraints:      23073
1465.48/1469.80	c #Conflicts:     284000 | #Constraints:      24073
1465.48/1469.80	c #Conflicts:     285000 | #Constraints:      25073
1465.48/1469.80	c #Conflicts:     286000 | #Constraints:      26073
1465.48/1469.80	c #Conflicts:     287000 | #Constraints:      27073
1465.48/1469.80	c #Conflicts:     288000 | #Constraints:      28073
1465.48/1469.80	c INPROCESSING
1465.48/1469.80	c GARBAGE COLLECT
1465.48/1469.80	c #Conflicts:     289000 | #Constraints:      18458
1465.48/1469.80	c GLOBAL bounds - >= 0 @ 1450.6
1536.26/1540.82	c #Conflicts:     290000 | #Constraints:      19460
1536.26/1540.82	c #Conflicts:     291000 | #Constraints:      20460
1536.26/1540.82	c #Conflicts:     292000 | #Constraints:      21460
1536.26/1540.82	c #Conflicts:     293000 | #Constraints:      22460
1536.26/1540.82	c #Conflicts:     294000 | #Constraints:      23460
1536.26/1540.82	c #Conflicts:     295000 | #Constraints:      24460
1536.26/1540.82	c #Conflicts:     296000 | #Constraints:      25460
1536.26/1540.82	c #Conflicts:     297000 | #Constraints:      26460
1536.26/1540.82	c #Conflicts:     298000 | #Constraints:      27460
1536.26/1540.82	c #Conflicts:     299000 | #Constraints:      28460
1536.26/1540.82	c INPROCESSING
1536.26/1540.82	c GARBAGE COLLECT
1536.26/1540.82	c #Conflicts:     300000 | #Constraints:      18679
1536.26/1540.82	c GLOBAL bounds - >= 0 @ 1520.98
1548.92/1553.54	c #Conflicts:     301000 | #Constraints:      19681
1548.92/1553.54	c #Conflicts:     302000 | #Constraints:      20681
1548.92/1553.54	c GLOBAL bounds - >= 0 @ 1533.56
1585.62/1590.34	c #Conflicts:     303000 | #Constraints:      21683
1585.62/1590.34	c #Conflicts:     304000 | #Constraints:      22683
1585.62/1590.34	c #Conflicts:     305000 | #Constraints:      23683
1585.62/1590.34	c #Conflicts:     306000 | #Constraints:      24683
1585.62/1590.34	c #Conflicts:     307000 | #Constraints:      25683
1585.62/1590.34	c #Conflicts:     308000 | #Constraints:      26683
1585.62/1590.34	c GLOBAL bounds - >= 0 @ 1569.94
1589.71/1594.49	c GLOBAL bounds - >= 0 @ 1574.05
1595.40/1600.12	c #Conflicts:     309000 | #Constraints:      27687
1595.40/1600.12	c GLOBAL bounds - >= 0 @ 1579.44
1597.48/1602.25	c GLOBAL bounds - >= 0 @ 1581.48
1616.63/1621.48	c #Conflicts:     310000 | #Constraints:      28691
1616.63/1621.48	c INPROCESSING
1616.63/1621.48	c GARBAGE COLLECT
1616.63/1621.48	c #Conflicts:     311000 | #Constraints:      18666
1616.63/1621.48	c #Conflicts:     312000 | #Constraints:      19666
1616.63/1621.48	c #Conflicts:     313000 | #Constraints:      20666
1616.63/1621.48	c #Conflicts:     314000 | #Constraints:      21666
1616.63/1621.48	c GLOBAL bounds - >= 0 @ 1600.49
1653.42/1658.32	c #Conflicts:     315000 | #Constraints:      22668
1653.42/1658.32	c #Conflicts:     316000 | #Constraints:      23668
1653.42/1658.32	c #Conflicts:     317000 | #Constraints:      24668
1653.42/1658.32	c #Conflicts:     318000 | #Constraints:      25668
1653.42/1658.32	c #Conflicts:     319000 | #Constraints:      26668
1653.42/1658.32	c #Conflicts:     320000 | #Constraints:      27668
1653.42/1658.32	c #Conflicts:     321000 | #Constraints:      28668
1653.42/1658.32	c INPROCESSING
1653.42/1658.32	c GARBAGE COLLECT
1653.42/1658.32	c #Conflicts:     322000 | #Constraints:      18481
1653.42/1658.32	c GLOBAL bounds - >= 0 @ 1636.96
1756.22/1761.42	c #Conflicts:     323000 | #Constraints:      19483
1756.22/1761.42	c #Conflicts:     324000 | #Constraints:      20483
1756.22/1761.42	c #Conflicts:     325000 | #Constraints:      21483
1756.22/1761.42	c #Conflicts:     326000 | #Constraints:      22483
1756.22/1761.42	c #Conflicts:     327000 | #Constraints:      23483
1756.22/1761.42	c #Conflicts:     328000 | #Constraints:      24483
1756.22/1761.42	c #Conflicts:     329000 | #Constraints:      25483
1756.22/1761.42	c #Conflicts:     330000 | #Constraints:      26483
1756.22/1761.42	c #Conflicts:     331000 | #Constraints:      27483
1756.22/1761.42	c #Conflicts:     332000 | #Constraints:      28483
1756.22/1761.42	c #Conflicts:     333000 | #Constraints:      29483
1756.22/1761.42	c INPROCESSING
1756.22/1761.42	c GARBAGE COLLECT
1756.22/1761.42	c #Conflicts:     334000 | #Constraints:      19093
1756.22/1761.42	c #Conflicts:     335000 | #Constraints:      20093
1756.22/1761.42	c #Conflicts:     336000 | #Constraints:      21093
1756.22/1761.42	c #Conflicts:     337000 | #Constraints:      22093
1756.22/1761.42	c #Conflicts:     338000 | #Constraints:      23093
1756.22/1761.42	c GLOBAL bounds - >= 0 @ 1739.08
1821.93/1827.32	c #Conflicts:     339000 | #Constraints:      24095
1821.93/1827.32	c #Conflicts:     340000 | #Constraints:      25095
1821.93/1827.32	c #Conflicts:     341000 | #Constraints:      26095
1821.93/1827.32	c #Conflicts:     342000 | #Constraints:      27095
1821.93/1827.32	c #Conflicts:     343000 | #Constraints:      28095
1821.93/1827.32	c #Conflicts:     344000 | #Constraints:      29095
1821.93/1827.32	c #Conflicts:     345000 | #Constraints:      30095
1821.93/1827.32	c INPROCESSING
1821.93/1827.32	c GARBAGE COLLECT
1821.93/1827.32	c #Conflicts:     346000 | #Constraints:      19493
1821.93/1827.32	c #Conflicts:     347000 | #Constraints:      20493
1821.93/1827.32	c GLOBAL bounds - >= 0 @ 1804.28
1947.57/1953.47	c #Conflicts:     348000 | #Constraints:      21495
1947.57/1953.47	c #Conflicts:     349000 | #Constraints:      22495
1947.57/1953.47	c #Conflicts:     350000 | #Constraints:      23495
1947.57/1953.47	c #Conflicts:     351000 | #Constraints:      24495
1947.57/1953.47	c #Conflicts:     352000 | #Constraints:      25495
1947.57/1953.47	c #Conflicts:     353000 | #Constraints:      26495
1947.57/1953.47	c #Conflicts:     354000 | #Constraints:      27495
1947.57/1953.47	c #Conflicts:     355000 | #Constraints:      28495
1947.57/1953.47	c #Conflicts:     356000 | #Constraints:      29495
1947.57/1953.47	c #Conflicts:     357000 | #Constraints:      30495
1947.57/1953.47	c INPROCESSING
1947.57/1953.47	c GARBAGE COLLECT
1947.57/1953.47	c #Conflicts:     358000 | #Constraints:      19701
1947.57/1953.47	c #Conflicts:     359000 | #Constraints:      20701
1947.57/1953.47	c #Conflicts:     360000 | #Constraints:      21701
1947.57/1953.47	c #Conflicts:     361000 | #Constraints:      22701
1947.57/1953.47	c #Conflicts:     362000 | #Constraints:      23701
1947.57/1953.47	c #Conflicts:     363000 | #Constraints:      24701
1947.57/1953.47	c #Conflicts:     364000 | #Constraints:      25701
1947.57/1953.47	c #Conflicts:     365000 | #Constraints:      26701
1947.57/1953.47	c #Conflicts:     366000 | #Constraints:      27701
1947.57/1953.47	c GLOBAL bounds - >= 0 @ 1928.81
2344.73/2352.05	c #Conflicts:     367000 | #Constraints:      28703
2344.73/2352.05	c #Conflicts:     368000 | #Constraints:      29703
2344.73/2352.05	c #Conflicts:     369000 | #Constraints:      30703
2344.73/2352.05	c INPROCESSING
2344.73/2352.05	c GARBAGE COLLECT
2344.73/2352.05	c #Conflicts:     370000 | #Constraints:      19693
2344.73/2352.05	c #Conflicts:     371000 | #Constraints:      20693
2344.73/2352.05	c #Conflicts:     372000 | #Constraints:      21693
2344.73/2352.05	c #Conflicts:     373000 | #Constraints:      22693
2344.73/2352.05	c #Conflicts:     374000 | #Constraints:      23693
2344.73/2352.05	c #Conflicts:     375000 | #Constraints:      24693
2344.73/2352.05	c #Conflicts:     376000 | #Constraints:      25693
2344.73/2352.05	c #Conflicts:     377000 | #Constraints:      26693
2344.73/2352.05	c #Conflicts:     378000 | #Constraints:      27693
2344.73/2352.05	c #Conflicts:     379000 | #Constraints:      28693
2344.73/2352.05	c #Conflicts:     380000 | #Constraints:      29693
2344.73/2352.05	c #Conflicts:     381000 | #Constraints:      30693
2344.73/2352.05	c INPROCESSING
2344.73/2352.05	c GARBAGE COLLECT
2344.73/2352.05	c #Conflicts:     382000 | #Constraints:      19493
2344.73/2352.05	c #Conflicts:     383000 | #Constraints:      20493
2344.73/2352.05	c #Conflicts:     384000 | #Constraints:      21493
2344.73/2352.05	c #Conflicts:     385000 | #Constraints:      22493
2344.73/2352.05	c #Conflicts:     386000 | #Constraints:      23493
2344.73/2352.05	c #Conflicts:     387000 | #Constraints:      24493
2344.73/2352.05	c #Conflicts:     388000 | #Constraints:      25493
2344.73/2352.05	c #Conflicts:     389000 | #Constraints:      26493
2344.73/2352.05	c #Conflicts:     390000 | #Constraints:      27493
2344.73/2352.05	c #Conflicts:     391000 | #Constraints:      28493
2344.73/2352.05	c #Conflicts:     392000 | #Constraints:      29493
2344.73/2352.05	c #Conflicts:     393000 | #Constraints:      30493
2344.73/2352.05	c #Conflicts:     394000 | #Constraints:      31493
2344.73/2352.05	c INPROCESSING
2344.73/2352.05	c GARBAGE COLLECT
2344.73/2352.05	c #Conflicts:     395000 | #Constraints:      20092
2344.73/2352.05	c #Conflicts:     396000 | #Constraints:      21092
2344.73/2352.05	c #Conflicts:     397000 | #Constraints:      22092
2344.73/2352.05	c #Conflicts:     398000 | #Constraints:      23092
2344.73/2352.05	c #Conflicts:     399000 | #Constraints:      24092
2344.73/2352.05	c #Conflicts:     400000 | #Constraints:      25092
2344.73/2352.05	c #Conflicts:     401000 | #Constraints:      26092
2344.73/2352.05	c #Conflicts:     402000 | #Constraints:      27092
2344.73/2352.05	c #Conflicts:     403000 | #Constraints:      28092
2344.73/2352.05	c #Conflicts:     404000 | #Constraints:      29092
2344.73/2352.05	c #Conflicts:     405000 | #Constraints:      30092
2344.73/2352.05	c #Conflicts:     406000 | #Constraints:      31092
2344.73/2352.05	c #Conflicts:     407000 | #Constraints:      32092
2344.73/2352.05	c INPROCESSING
2344.73/2352.05	c GARBAGE COLLECT
2344.73/2352.05	c #Conflicts:     408000 | #Constraints:      20500
2344.73/2352.05	c #Conflicts:     409000 | #Constraints:      21500
2344.73/2352.05	c #Conflicts:     410000 | #Constraints:      22500
2344.73/2352.05	c #Conflicts:     411000 | #Constraints:      23500
2344.73/2352.05	c #Conflicts:     412000 | #Constraints:      24500
2344.73/2352.05	c #Conflicts:     413000 | #Constraints:      25500
2344.73/2352.05	c #Conflicts:     414000 | #Constraints:      26500
2344.73/2352.05	c #Conflicts:     415000 | #Constraints:      27500
2344.73/2352.05	c #Conflicts:     416000 | #Constraints:      28500
2344.73/2352.05	c #Conflicts:     417000 | #Constraints:      29500
2344.73/2352.05	c #Conflicts:     418000 | #Constraints:      30500
2344.73/2352.05	c #Conflicts:     419000 | #Constraints:      31500
2344.73/2352.05	c #Conflicts:     420000 | #Constraints:      32500
2344.73/2352.05	c INPROCESSING
2344.73/2352.05	c GARBAGE COLLECT
2344.73/2352.05	c #Conflicts:     421000 | #Constraints:      20688
2344.73/2352.05	c #Conflicts:     422000 | #Constraints:      21688
2344.73/2352.05	c #Conflicts:     423000 | #Constraints:      22688
2344.73/2352.05	c #Conflicts:     424000 | #Constraints:      23688
2344.73/2352.05	c #Conflicts:     425000 | #Constraints:      24688
2344.73/2352.05	c GLOBAL bounds - >= 0 @ 2322.39
2349.30/2356.61	c #Conflicts:     426000 | #Constraints:      25690
2349.30/2356.61	c GLOBAL bounds - >= 0 @ 2326.89
2351.71/2359.03	c #Conflicts:     427000 | #Constraints:      26692
2351.71/2359.03	c GLOBAL bounds - >= 0 @ 2329.28
2352.99/2360.30	c GLOBAL bounds - >= 0 @ 2330.54
2386.68/2394.15	c #Conflicts:     428000 | #Constraints:      27696
2386.68/2394.15	c #Conflicts:     429000 | #Constraints:      28696
2386.68/2394.15	c #Conflicts:     430000 | #Constraints:      29696
2386.68/2394.15	c #Conflicts:     431000 | #Constraints:      30696
2386.68/2394.15	c #Conflicts:     432000 | #Constraints:      31696
2386.68/2394.15	c #Conflicts:     433000 | #Constraints:      32696
2386.68/2394.15	c INPROCESSING
2386.68/2394.15	c GARBAGE COLLECT
2386.68/2394.15	c #Conflicts:     434000 | #Constraints:      20708
2386.68/2394.15	c #Conflicts:     435000 | #Constraints:      21708
2386.68/2394.15	c GLOBAL bounds - >= 0 @ 2363.96
2454.12/2461.90	c #Conflicts:     436000 | #Constraints:      22710
2454.12/2461.90	c #Conflicts:     437000 | #Constraints:      23710
2454.12/2461.90	c #Conflicts:     438000 | #Constraints:      24710
2454.12/2461.90	c #Conflicts:     439000 | #Constraints:      25710
2454.12/2461.90	c #Conflicts:     440000 | #Constraints:      26710
2454.12/2461.90	c #Conflicts:     441000 | #Constraints:      27710
2454.12/2461.90	c #Conflicts:     442000 | #Constraints:      28710
2454.12/2461.90	c #Conflicts:     443000 | #Constraints:      29710
2454.12/2461.90	c #Conflicts:     444000 | #Constraints:      30710
2454.12/2461.90	c #Conflicts:     445000 | #Constraints:      31710
2454.12/2461.90	c #Conflicts:     446000 | #Constraints:      32710
2454.12/2461.90	c INPROCESSING
2454.12/2461.90	c GARBAGE COLLECT
2454.12/2461.90	c GLOBAL bounds - >= 0 @ 2431
2579.53/2587.63	c #Conflicts:     447000 | #Constraints:      20530
2579.53/2587.63	c #Conflicts:     448000 | #Constraints:      21530
2579.53/2587.63	c #Conflicts:     449000 | #Constraints:      22530
2579.53/2587.63	c #Conflicts:     450000 | #Constraints:      23530
2579.53/2587.63	c #Conflicts:     451000 | #Constraints:      24530
2579.53/2587.63	c #Conflicts:     452000 | #Constraints:      25530
2579.53/2587.63	c #Conflicts:     453000 | #Constraints:      26530
2579.53/2587.63	c #Conflicts:     454000 | #Constraints:      27530
2579.53/2587.63	c #Conflicts:     455000 | #Constraints:      28530
2579.53/2587.63	c #Conflicts:     456000 | #Constraints:      29530
2579.53/2587.63	c #Conflicts:     457000 | #Constraints:      30530
2579.53/2587.63	c #Conflicts:     458000 | #Constraints:      31530
2579.53/2587.63	c #Conflicts:     459000 | #Constraints:      32530
2579.53/2587.63	c #Conflicts:     460000 | #Constraints:      33530
2579.53/2587.63	c INPROCESSING
2579.53/2587.63	c GARBAGE COLLECT
2579.53/2587.63	c #Conflicts:     461000 | #Constraints:      21110
2579.53/2587.63	c #Conflicts:     462000 | #Constraints:      22110
2579.53/2587.63	c #Conflicts:     463000 | #Constraints:      23110
2579.53/2587.63	c #Conflicts:     464000 | #Constraints:      24110
2579.53/2587.63	c #Conflicts:     465000 | #Constraints:      25110
2579.53/2587.63	c #Conflicts:     466000 | #Constraints:      26110
2579.53/2587.63	c #Conflicts:     467000 | #Constraints:      27110
2579.53/2587.63	c #Conflicts:     468000 | #Constraints:      28110
2579.53/2587.63	c #Conflicts:     469000 | #Constraints:      29110
2579.53/2587.63	c GLOBAL bounds - >= 0 @ 2555.4
2603.86/2612.11	c #Conflicts:     470000 | #Constraints:      30112
2603.86/2612.11	c #Conflicts:     471000 | #Constraints:      31112
2603.86/2612.11	c #Conflicts:     472000 | #Constraints:      32112
2603.86/2612.11	c #Conflicts:     473000 | #Constraints:      33112
2603.86/2612.11	c #Conflicts:     474000 | #Constraints:      34112
2603.86/2612.11	c INPROCESSING
2603.86/2612.11	c GARBAGE COLLECT
2603.86/2612.11	c GLOBAL bounds - >= 0 @ 2579.55
2891.83/2900.97	c #Conflicts:     475000 | #Constraints:      21508
2891.83/2900.97	c #Conflicts:     476000 | #Constraints:      22508
2891.83/2900.97	c #Conflicts:     477000 | #Constraints:      23508
2891.83/2900.97	c #Conflicts:     478000 | #Constraints:      24508
2891.83/2900.97	c #Conflicts:     479000 | #Constraints:      25508
2891.83/2900.97	c #Conflicts:     480000 | #Constraints:      26508
2891.83/2900.97	c #Conflicts:     481000 | #Constraints:      27508
2891.83/2900.97	c #Conflicts:     482000 | #Constraints:      28508
2891.83/2900.97	c #Conflicts:     483000 | #Constraints:      29508
2891.83/2900.97	c #Conflicts:     484000 | #Constraints:      30508
2891.83/2900.97	c #Conflicts:     485000 | #Constraints:      31508
2891.83/2900.97	c #Conflicts:     486000 | #Constraints:      32508
2891.83/2900.97	c #Conflicts:     487000 | #Constraints:      33508
2891.83/2900.97	c #Conflicts:     488000 | #Constraints:      34508
2891.83/2900.97	c INPROCESSING
2891.83/2900.97	c GARBAGE COLLECT
2891.83/2900.97	c #Conflicts:     489000 | #Constraints:      21722
2891.83/2900.97	c #Conflicts:     490000 | #Constraints:      22722
2891.83/2900.97	c #Conflicts:     491000 | #Constraints:      23722
2891.83/2900.97	c #Conflicts:     492000 | #Constraints:      24722
2891.83/2900.97	c #Conflicts:     493000 | #Constraints:      25722
2891.83/2900.97	c #Conflicts:     494000 | #Constraints:      26722
2891.83/2900.97	c #Conflicts:     495000 | #Constraints:      27722
2891.83/2900.97	c #Conflicts:     496000 | #Constraints:      28722
2891.83/2900.97	c #Conflicts:     497000 | #Constraints:      29722
2891.83/2900.97	c #Conflicts:     498000 | #Constraints:      30722
2891.83/2900.97	c #Conflicts:     499000 | #Constraints:      31722
2891.83/2900.97	c #Conflicts:     500000 | #Constraints:      32722
2891.83/2900.97	c #Conflicts:     501000 | #Constraints:      33722
2891.83/2900.97	c #Conflicts:     502000 | #Constraints:      34722
2891.83/2900.97	c INPROCESSING
2891.83/2900.97	c GARBAGE COLLECT
2891.83/2900.97	c #Conflicts:     503000 | #Constraints:      21752
2891.83/2900.97	c #Conflicts:     504000 | #Constraints:      22752
2891.83/2900.97	c #Conflicts:     505000 | #Constraints:      23752
2891.83/2900.97	c #Conflicts:     506000 | #Constraints:      24752
2891.83/2900.97	c #Conflicts:     507000 | #Constraints:      25752
2891.83/2900.97	c #Conflicts:     508000 | #Constraints:      26752
2891.83/2900.97	c #Conflicts:     509000 | #Constraints:      27752
2891.83/2900.97	c #Conflicts:     510000 | #Constraints:      28752
2891.83/2900.97	c #Conflicts:     511000 | #Constraints:      29752
2891.83/2900.97	c #Conflicts:     512000 | #Constraints:      30752
2891.83/2900.97	c #Conflicts:     513000 | #Constraints:      31752
2891.83/2900.97	c #Conflicts:     514000 | #Constraints:      32752
2891.83/2900.97	c #Conflicts:     515000 | #Constraints:      33752
2891.83/2900.97	c GLOBAL bounds - >= 0 @ 2865.37
2908.58/2917.71	c #Conflicts:     516000 | #Constraints:      34754
2908.58/2917.71	c INPROCESSING
2908.58/2917.71	c GARBAGE COLLECT
2908.58/2917.71	c #Conflicts:     517000 | #Constraints:      21525
2908.58/2917.71	c GLOBAL bounds - >= 0 @ 2881.97
2934.30/2943.52	c #Conflicts:     518000 | #Constraints:      22527
2934.30/2943.52	c #Conflicts:     519000 | #Constraints:      23527
2934.30/2943.52	c #Conflicts:     520000 | #Constraints:      24527
2934.30/2943.52	c GLOBAL bounds - >= 0 @ 2907.37
2984.24/2993.66	c #Conflicts:     521000 | #Constraints:      25529
2984.24/2993.66	c #Conflicts:     522000 | #Constraints:      26529
2984.24/2993.66	c #Conflicts:     523000 | #Constraints:      27529
2984.24/2993.66	c #Conflicts:     524000 | #Constraints:      28529
2984.24/2993.66	c #Conflicts:     525000 | #Constraints:      29529
2984.24/2993.66	c #Conflicts:     526000 | #Constraints:      30529
2984.24/2993.66	c #Conflicts:     527000 | #Constraints:      31529
2984.24/2993.66	c GLOBAL bounds - >= 0 @ 2957.01
3072.77/3082.42	c #Conflicts:     528000 | #Constraints:      32531
3072.77/3082.42	c #Conflicts:     529000 | #Constraints:      33531
3072.77/3082.42	c #Conflicts:     530000 | #Constraints:      34531
3072.77/3082.42	c #Conflicts:     531000 | #Constraints:      35531
3072.77/3082.42	c INPROCESSING
3072.77/3082.42	c GARBAGE COLLECT
3072.77/3082.42	c #Conflicts:     532000 | #Constraints:      22134
3072.77/3082.42	c #Conflicts:     533000 | #Constraints:      23134
3072.77/3082.42	c #Conflicts:     534000 | #Constraints:      24134
3072.77/3082.42	c #Conflicts:     535000 | #Constraints:      25134
3072.77/3082.42	c #Conflicts:     536000 | #Constraints:      26134
3072.77/3082.42	c #Conflicts:     537000 | #Constraints:      27134
3072.77/3082.42	c GLOBAL bounds - >= 0 @ 3044.76
3079.85/3089.55	c #Conflicts:     538000 | #Constraints:      28136
3079.85/3089.55	c GLOBAL bounds - >= 0 @ 3051.81
3105.67/3115.41	c #Conflicts:     539000 | #Constraints:      29138
3105.67/3115.41	c #Conflicts:     540000 | #Constraints:      30138
3105.67/3115.41	c #Conflicts:     541000 | #Constraints:      31138
3105.67/3115.41	c #Conflicts:     542000 | #Constraints:      32138
3105.67/3115.41	c GLOBAL bounds - >= 0 @ 3077.4
3137.18/3147.03	c #Conflicts:     543000 | #Constraints:      33140
3137.18/3147.03	c #Conflicts:     544000 | #Constraints:      34140
3137.18/3147.03	c #Conflicts:     545000 | #Constraints:      35140
3137.18/3147.03	c #Conflicts:     546000 | #Constraints:      36140
3137.18/3147.03	c INPROCESSING
3137.18/3147.03	c GARBAGE COLLECT
3137.18/3147.03	c GLOBAL bounds - >= 0 @ 3108.67
3140.46/3150.37	c GLOBAL bounds - >= 0 @ 3111.95
3143.55/3153.43	c #Conflicts:     547000 | #Constraints:      22528
3143.55/3153.43	c GLOBAL bounds - >= 0 @ 3114.98
3145.84/3155.78	c GLOBAL bounds - >= 0 @ 3117.3
3148.25/3158.15	c #Conflicts:     548000 | #Constraints:      23532
3148.25/3158.15	c GLOBAL bounds - >= 0 @ 3119.65
3264.58/3274.89	c #Conflicts:     549000 | #Constraints:      24534
3264.58/3274.89	c #Conflicts:     550000 | #Constraints:      25534
3264.58/3274.89	c #Conflicts:     551000 | #Constraints:      26534
3264.58/3274.89	c #Conflicts:     552000 | #Constraints:      27534
3264.58/3274.89	c #Conflicts:     553000 | #Constraints:      28534
3264.58/3274.89	c #Conflicts:     554000 | #Constraints:      29534
3264.58/3274.89	c #Conflicts:     555000 | #Constraints:      30534
3264.58/3274.89	c #Conflicts:     556000 | #Constraints:      31534
3264.58/3274.89	c #Conflicts:     557000 | #Constraints:      32534
3264.58/3274.89	c #Conflicts:     558000 | #Constraints:      33534
3264.58/3274.89	c #Conflicts:     559000 | #Constraints:      34534
3264.58/3274.89	c #Conflicts:     560000 | #Constraints:      35534
3264.58/3274.89	c #Conflicts:     561000 | #Constraints:      36534
3264.58/3274.89	c INPROCESSING
3264.58/3274.89	c GARBAGE COLLECT
3264.58/3274.89	c #Conflicts:     562000 | #Constraints:      22737
3264.58/3274.89	c #Conflicts:     563000 | #Constraints:      23737
3264.58/3274.89	c #Conflicts:     564000 | #Constraints:      24737
3264.58/3274.89	c GLOBAL bounds - >= 0 @ 3235.3
3310.94/3321.37	c #Conflicts:     565000 | #Constraints:      25739
3310.94/3321.37	c #Conflicts:     566000 | #Constraints:      26739
3310.94/3321.37	c #Conflicts:     567000 | #Constraints:      27739
3310.94/3321.37	c #Conflicts:     568000 | #Constraints:      28739
3310.94/3321.37	c #Conflicts:     569000 | #Constraints:      29739
3310.94/3321.37	c #Conflicts:     570000 | #Constraints:      30739
3310.94/3321.37	c GLOBAL bounds - >= 0 @ 3281.27
3335.96/3346.46	c #Conflicts:     571000 | #Constraints:      31741
3335.96/3346.46	c #Conflicts:     572000 | #Constraints:      32741
3335.96/3346.46	c #Conflicts:     573000 | #Constraints:      33741
3335.96/3346.46	c GLOBAL bounds - >= 0 @ 3306.14
3344.73/3355.29	c #Conflicts:     574000 | #Constraints:      34743
3344.73/3355.29	c #Conflicts:     575000 | #Constraints:      35743
3344.73/3355.29	c GLOBAL bounds - >= 0 @ 3314.9
3376.73/3387.33	c #Conflicts:     576000 | #Constraints:      36745
3376.73/3387.33	c INPROCESSING
3376.73/3387.33	c GARBAGE COLLECT
3376.73/3387.33	c #Conflicts:     577000 | #Constraints:      22729
3376.73/3387.33	c #Conflicts:     578000 | #Constraints:      23729
3376.73/3387.33	c #Conflicts:     579000 | #Constraints:      24729
3376.73/3387.33	c #Conflicts:     580000 | #Constraints:      25729
3376.73/3387.33	c GLOBAL bounds - >= 0 @ 3346.58
3407.24/3417.96	c #Conflicts:     581000 | #Constraints:      26731
3407.24/3417.96	c #Conflicts:     582000 | #Constraints:      27731
3407.24/3417.96	c #Conflicts:     583000 | #Constraints:      28731
3407.24/3417.96	c #Conflicts:     584000 | #Constraints:      29731
3407.24/3417.96	c GLOBAL bounds - >= 0 @ 3376.87
3444.82/3455.63	c #Conflicts:     585000 | #Constraints:      30733
3444.82/3455.63	c #Conflicts:     586000 | #Constraints:      31733
3444.82/3455.63	c #Conflicts:     587000 | #Constraints:      32733
3444.82/3455.63	c #Conflicts:     588000 | #Constraints:      33733
3444.82/3455.63	c #Conflicts:     589000 | #Constraints:      34733
3444.82/3455.63	c GLOBAL bounds - >= 0 @ 3414.17
3511.72/3522.75	c #Conflicts:     590000 | #Constraints:      35735
3511.72/3522.75	c #Conflicts:     591000 | #Constraints:      36735
3511.72/3522.75	c INPROCESSING
3511.72/3522.75	c GARBAGE COLLECT
3511.72/3522.75	c #Conflicts:     592000 | #Constraints:      22519
3511.72/3522.75	c #Conflicts:     593000 | #Constraints:      23519
3511.72/3522.75	c #Conflicts:     594000 | #Constraints:      24519
3511.72/3522.75	c #Conflicts:     595000 | #Constraints:      25519
3511.72/3522.75	c #Conflicts:     596000 | #Constraints:      26519
3511.72/3522.75	c #Conflicts:     597000 | #Constraints:      27519
3511.72/3522.75	c #Conflicts:     598000 | #Constraints:      28519
3511.72/3522.75	c #Conflicts:     599000 | #Constraints:      29519
3511.72/3522.75	c GLOBAL bounds - >= 0 @ 3480.62
3545.92/3557.07	c #Conflicts:     600000 | #Constraints:      30521
3545.92/3557.07	c #Conflicts:     601000 | #Constraints:      31521
3545.92/3557.07	c #Conflicts:     602000 | #Constraints:      32521
3545.92/3557.07	c #Conflicts:     603000 | #Constraints:      33521
3545.92/3557.07	c #Conflicts:     604000 | #Constraints:      34521
3545.92/3557.07	c #Conflicts:     605000 | #Constraints:      35521
3545.92/3557.07	c #Conflicts:     606000 | #Constraints:      36521
3545.92/3557.07	c GLOBAL bounds - >= 0 @ 3514.63
3547.80/3559.01	c #Conflicts:     607000 | #Constraints:      37523
3547.80/3559.01	c GLOBAL bounds - >= 0 @ 3516.55
3600.05/3611.30	c INPROCESSING
3600.05/3611.30	c GARBAGE COLLECT
3600.05/3611.30	c #Conflicts:     608000 | #Constraints:      23130
3600.05/3611.30	c #Conflicts:     609000 | #Constraints:      24130
3600.05/3611.30	c #Conflicts:     610000 | #Constraints:      25130
3600.05/3611.30	c #Conflicts:     611000 | #Constraints:      26130
3600.05/3611.30	c #Conflicts:     612000 | #Constraints:      27130
3600.05/3611.30	c #Conflicts:     613000 | #Constraints:      28130
3600.05/3611.30	c #Conflicts:     614000 | #Constraints:      29130
3600.05/3611.30	c #Conflicts:     615000 | #Constraints:      30130
3600.05/3611.30	c #Conflicts:     616000 | #Constraints:      31130
3600.05/3611.30	c cpu time 3568.28 s
3600.05/3611.30	c deterministic time 1 1.00e+00
3600.05/3611.30	c optimization time 3568.24 s
3600.05/3611.30	c total solve time 0 s
3600.05/3611.30	c core-guided solve time 0 s
3600.05/3611.30	c propagation time 0.00297 s
3600.05/3611.30	c conflict analysis time 0 s
3600.05/3611.30	c propagations 0
3600.05/3611.30	c resolve steps 0
3600.05/3611.30	c decisions 0
3600.05/3611.30	c conflicts 0
3600.05/3611.30	c restarts 0
3600.05/3611.30	c inprocessing phases 0
3600.05/3611.30	c garbage collections 0 ,( -nan )
3600.05/3611.30	c input clauses 6460 ,( 100.00 )
3600.05/3611.30	c input cardinalities 0 ,( 0.00 )
3600.05/3611.30	c input general constraints 0 ,( 0.00 )
3600.05/3611.30	c input average constraint length 4.00
3600.05/3611.30	c input average constraint degree 1.00
3600.05/3611.30	c learned clauses 0 ,( 0.00 )
3600.05/3611.30	c learned cardinalities 0 ,( 0.00 )
3600.05/3611.30	c learned general constraints 0 ,( 0.00 )
3600.05/3611.30	c learned average constraint length 0.00
3600.05/3611.30	c learned average constraint degree 0.00
3600.05/3611.30	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3611.30	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3611.30	c watched   constraints 0 ,( -nan ) 
3600.05/3611.30	c counting  constraints 0 ,( -nan ) 
3600.05/3611.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3611.30	c gcd simplifications 0
3600.05/3611.30	c detected cardinalities 0
3600.05/3611.30	c weakened non-implied lits 0
3600.05/3611.30	c weakened non-implying lits 0
3600.05/3611.30	c original variables 6460
3600.05/3611.30	c clausal propagations 0
3600.05/3611.30	c cardinality propagations 0
3600.05/3611.30	c watched propagations 0
3600.05/3611.30	c counting propagations 0
3600.05/3611.30	c watch lookups 0
3600.05/3611.30	c watch backjump lookups 0
3600.05/3611.30	c watch checks 0
3600.05/3611.30	c propagation checks 0
3600.05/3611.30	c constraint additions 0
3600.05/3611.30	c trail pops 0
3600.05/3611.30	c formula constraints 6460
3600.05/3611.30	c learned constraints 0
3600.05/3611.30	c bound constraints 0
3600.05/3611.30	c core-guided constraints 0
3600.05/3611.30	c encountered formula constraints 0
3600.05/3611.30	c encountered learned constraints 0
3600.05/3611.30	c encountered bound constraints 0
3600.05/3611.30	c encountered core-guided constraints 0
3600.05/3611.30	c LP total time 0 s
3600.05/3611.30	c LP solve time 0 s
3600.05/3611.30	c LP constraints added 0
3600.05/3611.30	c LP constraints removed 0
3600.05/3611.30	c LP pivots internal 0
3600.05/3611.30	c LP pivots root 0
3600.05/3611.30	c LP calls 0
3600.05/3611.30	c LP optimalities 0
3600.05/3611.30	c LP no pivot count 0
3600.05/3611.30	c LP infeasibilities 0
3600.05/3611.30	c LP valid Farkas constraints 0
3600.05/3611.30	c LP learned Farkas constraints 0
3600.05/3611.30	c LP basis resets 0
3600.05/3611.30	c LP cycling count 0
3600.05/3611.30	c LP singular count 0
3600.05/3611.30	c LP no primal count 0
3600.05/3611.30	c LP no farkas count 0
3600.05/3611.30	c LP other issue count 0
3600.05/3611.30	c LP Gomory cuts 0
3600.05/3611.30	c LP learned cuts 0
3600.05/3611.30	c LP deleted cuts 0
3600.05/3611.30	c LP encountered Gomory constraints 0
3600.05/3611.30	c LP encountered Farkas constraints 0
3600.05/3611.30	c LP encountered learned Farkas constraints 0
3600.05/3611.30	c CG auxiliary variables introduced 0
3600.05/3611.30	c CG solutions found 0
3600.05/3611.30	c CG cores constructed 0
3600.05/3611.30	c CG core cardinality constraints returned 0
3600.05/3611.30	c CG unit cores 0
3600.05/3611.30	c CG single cores 0
3600.05/3611.30	c CG blocks removed during cardinality reduction 0
3600.05/3611.30	c CG first core best 0
3600.05/3611.30	c CG decision core best 0
3600.05/3611.30	c CG core reduction tie 0
3600.05/3611.30	c CG core degree average 0.00
3600.05/3611.30	c CG core slack average 0.00
3600.05/3611.30	c CG core upper bound improvements 0
3600.05/3611.30	c STR number of successful calls 0
3600.05/3611.30	c STR number of unsuccessful calls 0
3600.05/3611.30	c STR number of inconclusive calls 0
3600.05/3611.30	c STR number of successful attempts 0
3600.05/3611.30	c STR number of unsuccessful attempts 0
3600.05/3611.30	c STR number of inconclusive attempts 0
3600.05/3611.30	c STR average degree increase per successful call inf
3600.05/3611.30	c STR average degree increase per successful attempt inf
3600.05/3611.30	c STR total number of conflicts for successful attempts 0
3600.05/3611.30	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3611.30	c STR total number of conflicts for inconclusive attempts 0
3600.05/3611.30	c STR average number of conflicts per successful attempt inf
3600.05/3611.30	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3611.30	c STR average number of conflicts per inconclusive attempt inf
3600.05/3611.30	c AVG.sumWPerc -nan 
3600.05/3611.30	c bigint constraints 0 
3600.05/3611.30	s UNKNOWN
3600.05/3611.30	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: 63794 MiB (61998 MiB free)
  memory of node 1: 64507 MiB (62764 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520619-1751570161/watcher-4520619-1751570161 -o /tmp/evaluation-result-4520619-1751570161/solver-4520619-1751570161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751562911-80732 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520619-1751570161.opb PROOFDIR/proof-4520619-1751570161 

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
Starting watchdog thread
solver pid=81555, runsolver pid=81552
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.13 4.18 4.18 5/258 81557
/proc/meminfo: memFree=127752492/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=72344 memory=22336 CPUtime=0.07 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 4187 0 0 0 5 2 0 0 20 0 1 0 72695029 74080256 5584 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 18086 5584 2336 1147 0 5513 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 76536 KiB
Current children cumulated memory: 25408 KiB

[startup+0.207453 s]*
/proc/loadavg: 4.12 4.18 4.18 5/258 81557
/proc/meminfo: memFree=127740332/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=72652 memory=23488 CPUtime=0.18 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 4476 0 0 0 14 4 0 0 20 0 1 0 72695029 74395648 5872 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 18163 5872 2368 1147 0 5590 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76844 KiB
Current children cumulated memory: 26560 KiB

[startup+0.309906 s]*
/proc/loadavg: 4.12 4.18 4.18 5/258 81557
/proc/meminfo: memFree=127732456/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=74876 memory=28148 CPUtime=0.28 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 5133 0 0 0 23 5 0 0 20 0 1 0 72695029 76673024 7037 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 18719 7037 2368 1147 0 6146 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 79068 KiB
Current children cumulated memory: 31220 KiB

[startup+0.700285 s]
/proc/loadavg: 4.12 4.18 4.18 5/258 81557
/proc/meminfo: memFree=127716264/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=87772 memory=41452 CPUtime=0.67 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 7923 0 0 0 59 8 0 0 20 0 1 0 72695029 89878528 10363 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 21943 10363 2368 1147 0 9370 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 91964 KiB
Current children cumulated memory: 44524 KiB

[startup+1.50033 s]
/proc/loadavg: 4.12 4.18 4.18 5/258 81557
/proc/meminfo: memFree=127664876/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=141104 memory=94724 CPUtime=1.46 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 19204 0 0 0 132 14 0 0 20 0 1 0 72695029 144490496 23681 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 35276 23681 2368 1147 0 22703 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 145296 KiB
Current children cumulated memory: 97796 KiB

[startup+3.11424 s]
/proc/loadavg: 4.12 4.18 4.18 5/258 81557
/proc/meminfo: memFree=127222464/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=228324 memory=181572 CPUtime=3.07 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 34277 0 0 0 285 22 0 0 20 0 1 0 72695029 233803776 45393 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 57081 45393 2368 1147 0 44508 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 232516 KiB
Current children cumulated memory: 184644 KiB

[startup+6.30034 s]
/proc/loadavg: 4.11 4.17 4.18 5/258 81557
/proc/meminfo: memFree=126927528/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=421064 memory=338172 CPUtime=6.25 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 63210 0 0 0 592 33 0 0 20 0 1 0 72695029 431169536 84543 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 105266 84543 2368 1147 0 92693 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 425256 KiB
Current children cumulated memory: 341244 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.17 4.18 5/258 81557
/proc/meminfo: memFree=126592472/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=640272 memory=508612 CPUtime=12.63 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 98689 0 0 0 1217 46 0 0 20 0 1 0 72695029 655638528 127153 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 160068 127153 2368 1147 0 147495 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 644464 KiB
Current children cumulated memory: 511684 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.16 4.18 5/259 81558
/proc/meminfo: memFree=126005800/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=722732 memory=544340 CPUtime=25.39 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 103532 0 0 0 2475 64 0 0 20 0 1 0 72695029 740077568 136085 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 180683 136085 2368 1147 0 168110 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 726924 KiB
Current children cumulated memory: 547412 KiB

[startup+51.1135 s]
/proc/loadavg: 4.11 4.16 4.18 5/260 81560
/proc/meminfo: memFree=125070920/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=1265524 memory=910128 CPUtime=50.93 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 177094 0 0 0 4981 112 0 0 20 0 1 0 72695029 1295896576 227532 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 316381 227532 2368 1147 0 303808 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1269716 KiB
Current children cumulated memory: 913200 KiB

[startup+102.3 s]
/proc/loadavg: 4.44 4.23 4.20 5/261 81563
/proc/meminfo: memFree=123236288/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=1278068 memory=1062556 CPUtime=101.97 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 197868 0 0 0 10009 188 0 0 20 0 1 0 72695029 1308741632 265639 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 319517 265639 2368 1147 0 306944 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1282260 KiB
Current children cumulated memory: 1065628 KiB

[startup+162.3 s]
/proc/loadavg: 4.81 4.40 4.26 5/262 81570
/proc/meminfo: memFree=121896952/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=1286424 memory=1111456 CPUtime=161.79 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 205000 0 0 0 15926 253 0 0 20 0 1 0 72695029 1317298176 277864 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 321606 277864 2368 1147 0 309033 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1290616 KiB
Current children cumulated memory: 1114528 KiB

[startup+222.3 s]
/proc/loadavg: 4.35 4.34 4.25 5/262 81572
/proc/meminfo: memFree=120643632/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=1290392 memory=1179736 CPUtime=221.63 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 213486 0 0 0 21836 327 0 0 20 0 1 0 72695029 1321361408 294934 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 322598 294934 2368 1147 0 310025 0

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

/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=4962012 memory=3848772 CPUtime=3152.42 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 719780 0 0 0 312375 2867 0 0 20 0 1 0 72695029 5081100288 962193 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 1240503 962193 2368 1147 0 1227930 0
Current children cumulated CPU time: 3152.42 s
Current children cumulated vsize: 4966204 KiB
Current children cumulated memory: 3851844 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/260 81742
/proc/meminfo: memFree=71846864/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=4962012 memory=3850180 CPUtime=3212.24 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 720334 0 0 0 318322 2902 0 0 20 0 1 0 72695029 5081100288 962545 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 1240503 962545 2368 1147 0 1227930 0
Current children cumulated CPU time: 3212.24 s
Current children cumulated vsize: 4966204 KiB
Current children cumulated memory: 3853252 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 81744
/proc/meminfo: memFree=70839232/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=4971228 memory=3881596 CPUtime=3272.05 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 725135 0 0 0 324263 2942 0 0 20 0 1 0 72695029 5090537472 970399 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 1242807 970399 2368 1147 0 1230234 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 4975420 KiB
Current children cumulated memory: 3884668 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 81747
/proc/meminfo: memFree=70067820/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=4971228 memory=3881596 CPUtime=3331.87 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 725317 0 0 0 330200 2987 0 0 20 0 1 0 72695029 5090537472 970399 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 1242807 970399 2368 1147 0 1230234 0
Current children cumulated CPU time: 3331.87 s
Current children cumulated vsize: 4975420 KiB
Current children cumulated memory: 3884668 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 81749
/proc/meminfo: memFree=69305048/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=4980956 memory=3913504 CPUtime=3391.69 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 729772 0 0 0 336137 3032 0 0 20 0 1 0 72695029 5100498944 978376 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 1245239 978376 2368 1147 0 1232666 0
Current children cumulated CPU time: 3391.69 s
Current children cumulated vsize: 4985148 KiB
Current children cumulated memory: 3916576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 81752
/proc/meminfo: memFree=68740336/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=4983004 memory=3915296 CPUtime=3451.51 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 730419 0 0 0 342078 3073 0 0 20 0 1 0 72695029 5102596096 978824 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 1245751 978824 2368 1147 0 1233178 0
Current children cumulated CPU time: 3451.51 s
Current children cumulated vsize: 4987196 KiB
Current children cumulated memory: 3918368 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/260 81758
/proc/meminfo: memFree=68021260/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=4998876 memory=3964592 CPUtime=3511.32 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 738143 0 0 0 348017 3115 0 0 20 0 1 0 72695029 5118849024 991148 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 1249719 991148 2368 1147 0 1237146 0
Current children cumulated CPU time: 3511.32 s
Current children cumulated vsize: 5003068 KiB
Current children cumulated memory: 3967664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/261 81761
/proc/meminfo: memFree=67021008/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=5023968 memory=4078628 CPUtime=3571.14 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 754628 0 0 0 353959 3155 0 0 20 0 1 0 72695029 5144543232 1019657 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 1255992 1019657 2368 1147 0 1243419 0
Current children cumulated CPU time: 3571.14 s
Current children cumulated vsize: 5028160 KiB
Current children cumulated memory: 4081700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 3.51 3.98 4.05 2/241 81856
/proc/meminfo: memFree=105918004/131382112 swapFree=33009904/33010684
[pid=81555] ppid=81552 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81555/stat : 81555 (run-opt-log.sh) S 81552 81555 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72695028 4292608 768 18446744073709551615 94275626672128 94275627566661 140722092184016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94275627805712 94275627853456 94275652239360 140722092185889 140722092186084 140722092186084 140722092191686 0
/proc/81555/statm: 1048 768 704 219 0 110 0
[pid=81557] ppid=81555 vsize=5023968 memory=4078628 CPUtime=3600.05 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81555 81555 80700 0 -1 4194304 754628 0 0 0 356828 3177 0 0 20 0 1 0 72695029 5144543232 1019657 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 1255992 1019657 2368 1147 0 1243419 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 5028160 KiB
Current children cumulated memory: 4081700 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.004865 s

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

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

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

[startup+3611.4 s]*
/proc/loadavg: 3.51 3.98 4.05 2/240 81856
/proc/meminfo: memFree=105933608/131382112 swapFree=33009904/33010684
[pid=81557] ppid=81552 vsize=4843224 memory=3747580 CPUtime=3600.07 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81552 81555 80700 0 -1 4194304 754634 0 0 0 356828 3179 0 0 20 0 1 0 72695029 4959461376 937267 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 1210806 936895 2464 1147 0 1198233 0
Current cumulated CPU time of completed processes: 0.004865 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4843224 KiB
Current children cumulated memory: 3747580 KiB

[startup+3611.51 s]
/proc/loadavg: 3.51 3.98 4.05 2/240 81856
/proc/meminfo: memFree=105933608/131382112 swapFree=33009904/33010684
[pid=81557] ppid=81552 vsize=1837328 memory=866480 CPUtime=3600.17 cores=0,2
/proc/81557/stat : 81557 (roundingsat) R 81552 81555 80700 0 -1 4194304 754636 0 0 0 356829 3188 0 0 20 0 1 0 72695029 1881423872 216620 18446744073709551615 4227072 8923433 140729291204496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20606976 140729291209042 140729291209256 140729291209256 140729291214826 0
/proc/81557/statm: 459332 216620 2464 1147 0 446759 0
Current cumulated CPU time of completed processes: 0.004865 s
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 1837328 KiB
Current children cumulated memory: 866480 KiB

Child status: 2

Real time (s): 3611.53
CPU time (s): 3600.2
CPU user time (s): 3568.29
CPU system time (s): 31.9096
CPU usage (%): 99.6863
Max. virtual memory (cumulated for all children) (KiB): 5028160
Max. memory (cumulated for all children) (KiB): 4081700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.29
system time used= 31.9096
maximum resident set size= 4079012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 754861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37658336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1672
involuntary context switches= 8331


# summary of solver processes directly reported to runsolver:
#   pid: 81555,81557
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3568.29
#   total CPU system time (s): 31.9096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4759 second user time and 37.4096 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-03 21:16:01
IDJOB=4520619
IDBENCH=178111
IDSOLVER=3351
FILE ID=nodeC001/4520619-1751570161
RUNJOBID= nodeC001-1751562911-80732
SLURM_JOB_ID= 9598765
Free space on /tmp= 432488 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520619-1751570161/watcher-4520619-1751570161 -o /tmp/evaluation-result-4520619-1751570161/solver-4520619-1751570161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751562911-80732 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520619-1751570161.opb PROOFDIR/proof-4520619-1751570161

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

MD5SUM BENCH= dc7892cb3dbd530fdb83331c968a6da2
RANDOM SEED=426676528

nodeC001 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	: 0xb00001f
cpu MHz		: 1197.471
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3662.144
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 2394.612
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.445
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3661.800
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3661.975
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.622
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        127757136 kB
MemAvailable:   129205460 kB
Buffers:            1668 kB
Cached:          2233392 kB
SwapCached:          128 kB
Active:          1038156 kB
Inactive:        1995652 kB
Active(anon):     788328 kB
Inactive(anon):    28268 kB
Active(file):     249828 kB
Inactive(file):  1967384 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            315940 kB
Writeback:             4 kB
AnonPages:        801780 kB
Mapped:           116784 kB
Shmem:             17776 kB
KReclaimable:     141096 kB
Slab:             236268 kB
SReclaimable:     141096 kB
SUnreclaim:        95172 kB
KernelStack:        4160 kB
PageTables:         4788 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1252092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432500 MiB
End job on nodeC001 at 2025-07-03 22:16:13