Trace number 4518273

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.06 3609.76

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/
normalized-knapPI_12_1000_1000_3_-17136.opb
MD5SUM320619d7d3e3251d2b23c67a6b07bae2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-17178
Best CPU time to get the best result obtained on this benchmark0.082437
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3000
Maximum length of a constraint3000
Number of terms in the objective function 3000
Biggest coefficient in the objective function 1270
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 1334827
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 13907
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1334827
Number of bits of the biggest sum of numbers21
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.03	c #variables 3000 #constraints 1
0.00/0.03	c objective is ce32 
0.00/0.03	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.03	c GLOBAL bounds - >= -1334827 @ 0.001937
0.00/0.03	c GLOBAL bounds - >= -1334827 @ 0.003878
0.00/0.04	c GLOBAL bounds - >= -1334827 @ 0.005196
0.00/0.04	c GLOBAL bounds - >= -1334827 @ 0.00823
0.00/0.04	c GLOBAL bounds - >= -1334827 @ 0.00987
0.00/0.05	c GLOBAL bounds - >= -1334827 @ 0.011162
0.00/0.05	c GLOBAL bounds - >= -1334827 @ 0.013139
0.00/0.06	c GLOBAL bounds - >= -1334827 @ 0.016672
0.00/0.06	c GLOBAL bounds - >= -1334827 @ 0.02063
0.00/0.06	c GLOBAL bounds - >= -1334827 @ 0.023779
0.00/0.07	c GLOBAL bounds - >= -1334827 @ 0.026742
0.00/0.07	c GLOBAL bounds - >= -1334827 @ 0.028843
0.00/0.08	c GLOBAL bounds - >= -1334827 @ 0.030847
0.00/0.08	c GLOBAL bounds - >= -1334827 @ 0.032829
0.00/0.08	c GLOBAL bounds - >= -1334827 @ 0.03482
0.00/0.09	c GLOBAL bounds - >= -1334827 @ 0.037842
0.00/0.09	c GLOBAL bounds - >= -1334827 @ 0.03982
0.00/0.10	c GLOBAL bounds - >= -1334827 @ 0.042721
0.07/0.10	c GLOBAL bounds - >= -1334827 @ 0.04474
0.07/0.11	c GLOBAL bounds - >= -1334827 @ 0.046388
0.07/0.11	c GLOBAL bounds - >= -1334827 @ 0.049137
0.07/0.12	c GLOBAL bounds - >= -1334827 @ 0.052188
0.07/0.12	c GLOBAL bounds - >= -1334827 @ 0.056232
0.07/0.12	c GLOBAL bounds - >= -1334827 @ 0.059354
0.07/0.13	c GLOBAL bounds - >= -1334827 @ 0.062586
0.07/0.13	c GLOBAL bounds - >= -1334827 @ 0.064626
0.07/0.14	c GLOBAL bounds - >= -1334827 @ 0.067596
0.07/0.14	c GLOBAL bounds - >= -1334827 @ 0.069705
0.07/0.15	c GLOBAL bounds - >= -1334827 @ 0.070994
0.07/0.15	c GLOBAL bounds - >= -1334827 @ 0.072339
0.07/0.15	c GLOBAL bounds - >= -1334827 @ 0.074456
0.07/0.16	c GLOBAL bounds - >= -1334827 @ 0.0767
0.07/0.17	c GLOBAL bounds - >= -1334827 @ 0.090741
0.07/0.18	c GLOBAL bounds - >= -1334827 @ 0.093636
0.27/0.36	c GLOBAL bounds - >= -1334827 @ 0.265566
0.27/0.37	c GLOBAL bounds - >= -1334827 @ 0.270709
0.27/0.37	c GLOBAL bounds - >= -1334827 @ 0.274632
0.76/0.80	c GLOBAL bounds - >= -1334827 @ 0.673098
0.76/0.81	c GLOBAL bounds - >= -1334827 @ 0.679608
0.76/0.81	c GLOBAL bounds - >= -1334827 @ 0.684199
0.76/0.82	c GLOBAL bounds - >= -1334827 @ 0.687807
0.76/0.83	c GLOBAL bounds - >= -1334827 @ 0.691504
0.76/0.84	c GLOBAL bounds - >= -1334827 @ 0.697464
0.76/0.84	c GLOBAL bounds - >= -1334827 @ 0.701985
0.76/0.85	c GLOBAL bounds - >= -1334827 @ 0.708474
0.76/0.86	c GLOBAL bounds - >= -1334827 @ 0.715253
0.76/0.87	c GLOBAL bounds - >= -1334827 @ 0.719743
0.76/0.87	c GLOBAL bounds - >= -1334827 @ 0.725223
0.85/1.00	c GLOBAL bounds - >= -1334827 @ 0.836654
0.95/1.08	c GLOBAL bounds - >= -1334827 @ 0.908565
1.06/1.11	c GLOBAL bounds - >= -1334827 @ 0.939123
1.06/1.12	c GLOBAL bounds - >= -1334827 @ 0.949671
1.06/1.16	c GLOBAL bounds - >= -1334827 @ 0.975499
1.25/1.31	c GLOBAL bounds - >= -1334827 @ 1.0844
1.25/1.32	c GLOBAL bounds - >= -1334827 @ 1.09733
1.25/1.38	c GLOBAL bounds - >= -1334827 @ 1.14797
1.74/1.88	c GLOBAL bounds - >= -1334827 @ 1.56913
1.74/1.90	c GLOBAL bounds - >= -1334827 @ 1.58014
1.84/1.92	c GLOBAL bounds - >= -1334827 @ 1.60105
1.84/1.99	c GLOBAL bounds - >= -1334827 @ 1.66202
1.94/2.02	c GLOBAL bounds - >= -1334827 @ 1.68533
1.94/2.05	c GLOBAL bounds - >= -1334827 @ 1.70962
1.94/2.08	c GLOBAL bounds - >= -1334827 @ 1.72921
2.05/2.18	c GLOBAL bounds - >= -1334827 @ 1.82031
2.14/2.25	c GLOBAL bounds - >= -1334827 @ 1.87943
2.23/2.37	c GLOBAL bounds - >= -1334827 @ 1.98096
2.23/2.39	c GLOBAL bounds - >= -1334827 @ 1.99616
2.33/2.42	c GLOBAL bounds - >= -1334827 @ 2.01484
2.33/2.44	c GLOBAL bounds - >= -1334827 @ 2.03566
2.44/2.50	c GLOBAL bounds - >= -1334827 @ 2.08826
2.44/2.54	c GLOBAL bounds - >= -1334827 @ 2.11802
2.44/2.56	c GLOBAL bounds - >= -1334827 @ 2.13703
2.53/2.61	c GLOBAL bounds - >= -1334827 @ 2.17573
2.53/2.65	c GLOBAL bounds - >= -1334827 @ 2.20975
2.64/2.70	c GLOBAL bounds - >= -1334827 @ 2.25131
3.03/3.15	c #Conflicts:       1000 | #Constraints:       1147
3.03/3.15	c GLOBAL bounds - >= -1334827 @ 2.64304
3.13/3.20	c GLOBAL bounds - >= -1334827 @ 2.68601
3.62/3.71	c GLOBAL bounds - >= -1334827 @ 3.17315
3.93/4.02	c GLOBAL bounds - >= -1334827 @ 3.47364
3.93/4.06	c GLOBAL bounds - >= -1334827 @ 3.50954
3.93/4.10	c GLOBAL bounds - >= -1334827 @ 3.5429
4.02/4.14	c GLOBAL bounds - >= -1334827 @ 3.57588
4.11/4.20	c GLOBAL bounds - >= -1334827 @ 3.628
4.11/4.23	c GLOBAL bounds - >= -1334827 @ 3.65639
4.11/4.27	c GLOBAL bounds - >= -1334827 @ 3.6908
4.51/4.62	c GLOBAL bounds - >= -1334827 @ 3.98289
10.70/10.85	c #Conflicts:       2000 | #Constraints:       2169
10.70/10.85	c INPROCESSING
10.70/10.85	c GARBAGE COLLECT
10.70/10.85	c #Conflicts:       3000 | #Constraints:       2172
10.70/10.85	c GLOBAL bounds - >= -1334827 @ 9.57845
10.79/10.91	c GLOBAL bounds - >= -1334827 @ 9.63249
10.79/10.97	c GLOBAL bounds - >= -1334827 @ 9.69078
10.89/11.03	c GLOBAL bounds - >= -1334827 @ 9.74562
10.89/11.09	c GLOBAL bounds - >= -1334827 @ 9.80201
11.00/11.15	c GLOBAL bounds - >= -1334827 @ 9.85572
11.09/11.22	c GLOBAL bounds - >= -1334827 @ 9.91469
11.09/11.28	c GLOBAL bounds - >= -1334827 @ 9.97694
11.19/11.35	c GLOBAL bounds - >= -1334827 @ 10.0363
11.29/11.41	c GLOBAL bounds - >= -1334827 @ 10.0953
11.29/11.47	c GLOBAL bounds - >= -1334827 @ 10.1541
11.38/11.54	c GLOBAL bounds - >= -1334827 @ 10.2143
11.49/11.60	c GLOBAL bounds - >= -1334827 @ 10.2719
11.49/11.67	c GLOBAL bounds - >= -1334827 @ 10.3358
11.58/11.73	c GLOBAL bounds - >= -1334827 @ 10.3959
11.68/11.84	c GLOBAL bounds - >= -1334827 @ 10.5041
11.78/11.90	c GLOBAL bounds - >= -1334827 @ 10.5646
11.78/11.96	c GLOBAL bounds - >= -1334827 @ 10.6224
11.88/12.03	c GLOBAL bounds - >= -1334827 @ 10.6849
11.88/12.09	c GLOBAL bounds - >= -1334827 @ 10.7453
11.99/12.15	c GLOBAL bounds - >= -1334827 @ 10.7971
12.08/12.22	c GLOBAL bounds - >= -1334827 @ 10.8581
12.08/12.28	c GLOBAL bounds - >= -1334827 @ 10.915
12.19/12.34	c GLOBAL bounds - >= -1334827 @ 10.9731
12.28/12.41	c GLOBAL bounds - >= -1334827 @ 11.035
12.28/12.47	c GLOBAL bounds - >= -1334827 @ 11.098
12.38/12.54	c GLOBAL bounds - >= -1334827 @ 11.1534
12.48/12.60	c GLOBAL bounds - >= -1334827 @ 11.2078
12.48/12.66	c GLOBAL bounds - >= -1334827 @ 11.2653
12.58/12.73	c GLOBAL bounds - >= -1334827 @ 11.3245
12.67/12.80	c GLOBAL bounds - >= -1334827 @ 11.3897
12.67/12.87	c GLOBAL bounds - >= -1334827 @ 11.4513
12.77/12.93	c GLOBAL bounds - >= -1334827 @ 11.5111
12.77/12.99	c GLOBAL bounds - >= -1334827 @ 11.5688
12.87/13.06	c GLOBAL bounds - >= -1334827 @ 11.6281
12.98/13.12	c GLOBAL bounds - >= -1334827 @ 11.6886
12.98/13.18	c GLOBAL bounds - >= -1334827 @ 11.746
13.08/13.24	c GLOBAL bounds - >= -1334827 @ 11.8019
13.17/13.30	c GLOBAL bounds - >= -1334827 @ 11.8659
13.17/13.36	c GLOBAL bounds - >= -1334827 @ 11.9198
13.28/13.43	c GLOBAL bounds - >= -1334827 @ 11.9799
13.28/13.49	c GLOBAL bounds - >= -1334827 @ 12.0384
13.37/13.56	c GLOBAL bounds - >= -1334827 @ 12.1031
13.48/13.63	c GLOBAL bounds - >= -1334827 @ 12.1693
13.48/13.69	c GLOBAL bounds - >= -1334827 @ 12.233
13.57/13.75	c GLOBAL bounds - >= -1334827 @ 12.2893
13.67/13.81	c GLOBAL bounds - >= -1334827 @ 12.3499
13.67/13.87	c GLOBAL bounds - >= -1334827 @ 12.4074
13.77/13.94	c GLOBAL bounds - >= -1334827 @ 12.4705
13.88/14.00	c GLOBAL bounds - >= -1334827 @ 12.5267
13.88/14.07	c GLOBAL bounds - >= -1334827 @ 12.5847
13.97/14.13	c GLOBAL bounds - >= -1334827 @ 12.6449
14.07/14.20	c GLOBAL bounds - >= -1334827 @ 12.7099
14.07/14.27	c GLOBAL bounds - >= -1334827 @ 12.7831
14.17/14.35	c GLOBAL bounds - >= -1334827 @ 12.8546
14.28/14.48	c GLOBAL bounds - >= -1334827 @ 12.9784
15.07/15.24	c GLOBAL bounds - >= -1334827 @ 13.688
15.17/15.31	c GLOBAL bounds - >= -1334827 @ 13.7577
15.27/15.40	c GLOBAL bounds - >= -1334827 @ 13.8381
30.72/30.98	c #Conflicts:       4000 | #Constraints:       3290
30.72/30.98	c INPROCESSING
30.72/30.98	c GARBAGE COLLECT
30.72/30.98	c #Conflicts:       5000 | #Constraints:       2693
30.72/30.98	c #Conflicts:       6000 | #Constraints:       3693
30.72/30.98	c INPROCESSING
30.72/30.98	c GARBAGE COLLECT
30.72/30.98	c #Conflicts:       7000 | #Constraints:       2694
30.72/30.98	c #Conflicts:       8000 | #Constraints:       3694
30.72/30.98	c GLOBAL bounds - >= -1334827 @ 28.3069
31.01/31.20	c GLOBAL bounds - >= -1334827 @ 28.5231
55.74/56.07	c #Conflicts:       9000 | #Constraints:       4698
55.74/56.07	c INPROCESSING
55.74/56.07	c GARBAGE COLLECT
55.74/56.07	c #Conflicts:      10000 | #Constraints:       3400
55.74/56.07	c #Conflicts:      11000 | #Constraints:       4400
55.74/56.07	c #Conflicts:      12000 | #Constraints:       5400
55.74/56.07	c INPROCESSING
55.74/56.07	c GARBAGE COLLECT
55.74/56.07	c #Conflicts:      13000 | #Constraints:       3853
55.74/56.07	c GLOBAL bounds - >= -1334827 @ 52.146
60.13/60.42	c #Conflicts:      14000 | #Constraints:       4855
60.13/60.42	c GLOBAL bounds - >= -1334827 @ 56.3756
78.68/79.02	c #Conflicts:      15000 | #Constraints:       5857
78.68/79.02	c INPROCESSING
78.68/79.02	c GARBAGE COLLECT
78.68/79.02	c #Conflicts:      16000 | #Constraints:       4078
78.68/79.02	c #Conflicts:      17000 | #Constraints:       5078
78.68/79.02	c #Conflicts:      18000 | #Constraints:       6078
78.68/79.02	c INPROCESSING
78.68/79.02	c GARBAGE COLLECT
78.68/79.02	c #Conflicts:      19000 | #Constraints:       4091
78.68/79.02	c GLOBAL bounds - >= -1334827 @ 74.0444
86.15/86.54	c #Conflicts:      20000 | #Constraints:       5093
86.15/86.54	c #Conflicts:      21000 | #Constraints:       6093
86.15/86.54	c GLOBAL bounds - >= -1334827 @ 81.2121
86.46/86.82	c GLOBAL bounds - >= -1334827 @ 81.4854
133.22/133.70	c INPROCESSING
133.22/133.70	c GARBAGE COLLECT
133.22/133.70	c #Conflicts:      22000 | #Constraints:       3910
133.22/133.70	c #Conflicts:      23000 | #Constraints:       4910
133.22/133.70	c #Conflicts:      24000 | #Constraints:       5910
133.22/133.70	c #Conflicts:      25000 | #Constraints:       6910
133.22/133.70	c INPROCESSING
133.22/133.70	c GARBAGE COLLECT
133.22/133.70	c #Conflicts:      26000 | #Constraints:       4510
133.22/133.70	c #Conflicts:      27000 | #Constraints:       5510
133.22/133.70	c #Conflicts:      28000 | #Constraints:       6510
133.22/133.70	c #Conflicts:      29000 | #Constraints:       7510
133.22/133.70	c INPROCESSING
133.22/133.70	c GARBAGE COLLECT
133.22/133.70	c #Conflicts:      30000 | #Constraints:       4909
133.22/133.70	c GLOBAL bounds - >= -1334827 @ 126.715
215.29/216.03	c #Conflicts:      31000 | #Constraints:       5911
215.29/216.03	c #Conflicts:      32000 | #Constraints:       6911
215.29/216.03	c #Conflicts:      33000 | #Constraints:       7911
215.29/216.03	c INPROCESSING
215.29/216.03	c GARBAGE COLLECT
215.29/216.03	c #Conflicts:      34000 | #Constraints:       5112
215.29/216.03	c #Conflicts:      35000 | #Constraints:       6112
215.29/216.03	c #Conflicts:      36000 | #Constraints:       7112
215.29/216.03	c #Conflicts:      37000 | #Constraints:       8112
215.29/216.03	c INPROCESSING
215.29/216.03	c GARBAGE COLLECT
215.29/216.03	c #Conflicts:      38000 | #Constraints:       5112
215.29/216.03	c #Conflicts:      39000 | #Constraints:       6112
215.29/216.03	c #Conflicts:      40000 | #Constraints:       7112
215.29/216.03	c #Conflicts:      41000 | #Constraints:       8112
215.29/216.03	c INPROCESSING
215.29/216.03	c GARBAGE COLLECT
215.29/216.03	c #Conflicts:      42000 | #Constraints:       4920
215.29/216.03	c #Conflicts:      43000 | #Constraints:       5920
215.29/216.03	c #Conflicts:      44000 | #Constraints:       6920
215.29/216.03	c #Conflicts:      45000 | #Constraints:       7920
215.29/216.03	c #Conflicts:      46000 | #Constraints:       8920
215.29/216.03	c INPROCESSING
215.29/216.03	c GARBAGE COLLECT
215.29/216.03	c #Conflicts:      47000 | #Constraints:       5515
215.29/216.03	c GLOBAL bounds - >= -1334827 @ 206.238
230.54/231.37	c #Conflicts:      48000 | #Constraints:       6517
230.54/231.37	c #Conflicts:      49000 | #Constraints:       7517
230.54/231.37	c GLOBAL bounds - >= -1334827 @ 221.159
274.82/275.79	c #Conflicts:      50000 | #Constraints:       8519
274.82/275.79	c #Conflicts:      51000 | #Constraints:       9519
274.82/275.79	c INPROCESSING
274.82/275.79	c GARBAGE COLLECT
274.82/275.79	c #Conflicts:      52000 | #Constraints:       5920
274.82/275.79	c #Conflicts:      53000 | #Constraints:       6920
274.82/275.79	c #Conflicts:      54000 | #Constraints:       7920
274.82/275.79	c #Conflicts:      55000 | #Constraints:       8920
274.82/275.79	c #Conflicts:      56000 | #Constraints:       9920
274.82/275.79	c INPROCESSING
274.82/275.79	c GARBAGE COLLECT
274.82/275.79	c GLOBAL bounds - >= -1334827 @ 263.967
275.22/276.12	c GLOBAL bounds - >= -1334827 @ 264.3
275.32/276.28	c GLOBAL bounds - >= -1334827 @ 264.457
276.92/277.80	c GLOBAL bounds - >= -1334827 @ 265.906
277.01/277.90	c GLOBAL bounds - >= -1334827 @ 266
277.22/278.16	c GLOBAL bounds - >= -1334827 @ 266.259
359.28/360.49	c #Conflicts:      57000 | #Constraints:       6129
359.28/360.49	c #Conflicts:      58000 | #Constraints:       7129
359.28/360.49	c #Conflicts:      59000 | #Constraints:       8129
359.28/360.49	c #Conflicts:      60000 | #Constraints:       9129
359.28/360.49	c #Conflicts:      61000 | #Constraints:      10129
359.28/360.49	c INPROCESSING
359.28/360.49	c GARBAGE COLLECT
359.28/360.49	c #Conflicts:      62000 | #Constraints:       6129
359.28/360.49	c #Conflicts:      63000 | #Constraints:       7129
359.28/360.49	c #Conflicts:      64000 | #Constraints:       8129
359.28/360.49	c #Conflicts:      65000 | #Constraints:       9129
359.28/360.49	c #Conflicts:      66000 | #Constraints:      10129
359.28/360.49	c INPROCESSING
359.28/360.49	c GARBAGE COLLECT
359.28/360.49	c #Conflicts:      67000 | #Constraints:       5932
359.28/360.49	c #Conflicts:      68000 | #Constraints:       6932
359.28/360.49	c #Conflicts:      69000 | #Constraints:       7932
359.28/360.49	c #Conflicts:      70000 | #Constraints:       8932
359.28/360.49	c #Conflicts:      71000 | #Constraints:       9932
359.28/360.49	c #Conflicts:      72000 | #Constraints:      10932
359.28/360.49	c GLOBAL bounds - >= -1334827 @ 346.473
404.87/406.12	c INPROCESSING
404.87/406.12	c GARBAGE COLLECT
404.87/406.12	c #Conflicts:      73000 | #Constraints:       6532
404.87/406.12	c #Conflicts:      74000 | #Constraints:       7532
404.87/406.12	c #Conflicts:      75000 | #Constraints:       8532
404.87/406.12	c #Conflicts:      76000 | #Constraints:       9532
404.87/406.12	c #Conflicts:      77000 | #Constraints:      10532
404.87/406.12	c #Conflicts:      78000 | #Constraints:      11532
404.87/406.12	c INPROCESSING
404.87/406.12	c GARBAGE COLLECT
404.87/406.12	c GLOBAL bounds - >= -1334827 @ 390.766
553.34/555.03	c #Conflicts:      79000 | #Constraints:       6933
553.34/555.03	c #Conflicts:      80000 | #Constraints:       7933
553.34/555.03	c #Conflicts:      81000 | #Constraints:       8933
553.34/555.03	c #Conflicts:      82000 | #Constraints:       9933
553.34/555.03	c #Conflicts:      83000 | #Constraints:      10933
553.34/555.03	c #Conflicts:      84000 | #Constraints:      11933
553.34/555.03	c INPROCESSING
553.34/555.03	c GARBAGE COLLECT
553.34/555.03	c #Conflicts:      85000 | #Constraints:       7136
553.34/555.03	c #Conflicts:      86000 | #Constraints:       8136
553.34/555.03	c #Conflicts:      87000 | #Constraints:       9136
553.34/555.03	c #Conflicts:      88000 | #Constraints:      10136
553.34/555.03	c #Conflicts:      89000 | #Constraints:      11136
553.34/555.03	c #Conflicts:      90000 | #Constraints:      12136
553.34/555.03	c INPROCESSING
553.34/555.03	c GARBAGE COLLECT
553.34/555.03	c #Conflicts:      91000 | #Constraints:       7136
553.34/555.03	c #Conflicts:      92000 | #Constraints:       8136
553.34/555.03	c #Conflicts:      93000 | #Constraints:       9136
553.34/555.03	c #Conflicts:      94000 | #Constraints:      10136
553.34/555.03	c #Conflicts:      95000 | #Constraints:      11136
553.34/555.03	c #Conflicts:      96000 | #Constraints:      12136
553.34/555.03	c INPROCESSING
553.34/555.03	c GARBAGE COLLECT
553.34/555.03	c #Conflicts:      97000 | #Constraints:       6935
553.34/555.03	c #Conflicts:      98000 | #Constraints:       7935
553.34/555.03	c #Conflicts:      99000 | #Constraints:       8935
553.34/555.03	c #Conflicts:     100000 | #Constraints:       9935
553.34/555.03	c #Conflicts:     101000 | #Constraints:      10935
553.34/555.03	c #Conflicts:     102000 | #Constraints:      11935
553.34/555.03	c GLOBAL bounds - >= -1334827 @ 536.644
553.54/555.20	c GLOBAL bounds - >= -1334827 @ 536.803
553.73/555.44	c GLOBAL bounds - >= -1334827 @ 537.041
553.93/555.60	c GLOBAL bounds - >= -1334827 @ 537.198
554.13/555.84	c GLOBAL bounds - >= -1334827 @ 537.441
634.72/636.62	c #Conflicts:     103000 | #Constraints:      12945
634.72/636.62	c INPROCESSING
634.72/636.62	c GARBAGE COLLECT
634.72/636.62	c #Conflicts:     104000 | #Constraints:       7547
634.72/636.62	c #Conflicts:     105000 | #Constraints:       8547
634.72/636.62	c #Conflicts:     106000 | #Constraints:       9547
634.72/636.62	c #Conflicts:     107000 | #Constraints:      10547
634.72/636.62	c GLOBAL bounds - >= -1334827 @ 617.179
737.85/740.03	c #Conflicts:     108000 | #Constraints:      11549
737.85/740.03	c #Conflicts:     109000 | #Constraints:      12549
737.85/740.03	c #Conflicts:     110000 | #Constraints:      13549
737.85/740.03	c INPROCESSING
737.85/740.03	c GARBAGE COLLECT
737.85/740.03	c #Conflicts:     111000 | #Constraints:       7949
737.85/740.03	c #Conflicts:     112000 | #Constraints:       8949
737.85/740.03	c #Conflicts:     113000 | #Constraints:       9949
737.85/740.03	c #Conflicts:     114000 | #Constraints:      10949
737.85/740.03	c #Conflicts:     115000 | #Constraints:      11949
737.85/740.03	c GLOBAL bounds - >= -1334827 @ 718.648
738.25/740.41	c GLOBAL bounds - >= -1334827 @ 719.019
743.53/745.75	c GLOBAL bounds - >= -1334827 @ 724.199
745.22/747.41	c GLOBAL bounds - >= -1334827 @ 725.843
798.29/800.66	c #Conflicts:     116000 | #Constraints:      12957
798.29/800.66	c #Conflicts:     117000 | #Constraints:      13957
798.29/800.66	c INPROCESSING
798.29/800.66	c GARBAGE COLLECT
798.29/800.66	c #Conflicts:     118000 | #Constraints:       8154
798.29/800.66	c #Conflicts:     119000 | #Constraints:       9154
798.29/800.66	c #Conflicts:     120000 | #Constraints:      10154
798.29/800.66	c #Conflicts:     121000 | #Constraints:      11154
798.29/800.66	c #Conflicts:     122000 | #Constraints:      12154
798.29/800.66	c GLOBAL bounds - >= -1334827 @ 778.358
842.68/845.17	c #Conflicts:     123000 | #Constraints:      13156
842.68/845.17	c #Conflicts:     124000 | #Constraints:      14156
842.68/845.17	c INPROCESSING
842.68/845.17	c GARBAGE COLLECT
842.68/845.17	c #Conflicts:     125000 | #Constraints:       8154
842.68/845.17	c GLOBAL bounds - >= -1334827 @ 821.978
842.88/845.33	c GLOBAL bounds - >= -1334827 @ 822.132
843.18/845.61	c GLOBAL bounds - >= -1334827 @ 822.408
843.28/845.76	c GLOBAL bounds - >= -1334827 @ 822.557
843.58/846.03	c GLOBAL bounds - >= -1334827 @ 822.814
843.98/846.49	c GLOBAL bounds - >= -1334827 @ 823.271
1690.18/1694.89	c #Conflicts:     126000 | #Constraints:       9166
1690.18/1694.89	c #Conflicts:     127000 | #Constraints:      10166
1690.18/1694.89	c #Conflicts:     128000 | #Constraints:      11166
1690.18/1694.89	c #Conflicts:     129000 | #Constraints:      12166
1690.18/1694.89	c #Conflicts:     130000 | #Constraints:      13166
1690.18/1694.89	c #Conflicts:     131000 | #Constraints:      14166
1690.18/1694.89	c INPROCESSING
1690.18/1694.89	c GARBAGE COLLECT
1690.18/1694.89	c #Conflicts:     132000 | #Constraints:       7966
1690.18/1694.89	c #Conflicts:     133000 | #Constraints:       8966
1690.18/1694.89	c #Conflicts:     134000 | #Constraints:       9966
1690.18/1694.89	c #Conflicts:     135000 | #Constraints:      10966
1690.18/1694.89	c #Conflicts:     136000 | #Constraints:      11966
1690.18/1694.89	c #Conflicts:     137000 | #Constraints:      12966
1690.18/1694.89	c #Conflicts:     138000 | #Constraints:      13966
1690.18/1694.89	c #Conflicts:     139000 | #Constraints:      14966
1690.18/1694.89	c INPROCESSING
1690.18/1694.89	c GARBAGE COLLECT
1690.18/1694.89	c #Conflicts:     140000 | #Constraints:       8566
1690.18/1694.89	c #Conflicts:     141000 | #Constraints:       9566
1690.18/1694.89	c #Conflicts:     142000 | #Constraints:      10566
1690.18/1694.89	c #Conflicts:     143000 | #Constraints:      11566
1690.18/1694.89	c #Conflicts:     144000 | #Constraints:      12566
1690.18/1694.89	c #Conflicts:     145000 | #Constraints:      13566
1690.18/1694.89	c #Conflicts:     146000 | #Constraints:      14566
1690.18/1694.89	c #Conflicts:     147000 | #Constraints:      15566
1690.18/1694.89	c INPROCESSING
1690.18/1694.89	c GARBAGE COLLECT
1690.18/1694.89	c #Conflicts:     148000 | #Constraints:       8969
1690.18/1694.89	c #Conflicts:     149000 | #Constraints:       9969
1690.18/1694.89	c #Conflicts:     150000 | #Constraints:      10969
1690.18/1694.89	c #Conflicts:     151000 | #Constraints:      11969
1690.18/1694.89	c #Conflicts:     152000 | #Constraints:      12969
1690.18/1694.89	c #Conflicts:     153000 | #Constraints:      13969
1690.18/1694.89	c #Conflicts:     154000 | #Constraints:      14969
1690.18/1694.89	c #Conflicts:     155000 | #Constraints:      15969
1690.18/1694.89	c INPROCESSING
1690.18/1694.89	c GARBAGE COLLECT
1690.18/1694.89	c #Conflicts:     156000 | #Constraints:       9169
1690.18/1694.89	c #Conflicts:     157000 | #Constraints:      10169
1690.18/1694.89	c #Conflicts:     158000 | #Constraints:      11169
1690.18/1694.89	c #Conflicts:     159000 | #Constraints:      12169
1690.18/1694.89	c #Conflicts:     160000 | #Constraints:      13169
1690.18/1694.89	c #Conflicts:     161000 | #Constraints:      14169
1690.18/1694.89	c #Conflicts:     162000 | #Constraints:      15169
1690.18/1694.89	c #Conflicts:     163000 | #Constraints:      16169
1690.18/1694.89	c INPROCESSING
1690.18/1694.89	c GARBAGE COLLECT
1690.18/1694.89	c #Conflicts:     164000 | #Constraints:       9167
1690.18/1694.89	c #Conflicts:     165000 | #Constraints:      10167
1690.18/1694.89	c #Conflicts:     166000 | #Constraints:      11167
1690.18/1694.89	c #Conflicts:     167000 | #Constraints:      12167
1690.18/1694.89	c #Conflicts:     168000 | #Constraints:      13167
1690.18/1694.89	c #Conflicts:     169000 | #Constraints:      14167
1690.18/1694.89	c #Conflicts:     170000 | #Constraints:      15167
1690.18/1694.89	c #Conflicts:     171000 | #Constraints:      16167
1690.18/1694.89	c INPROCESSING
1690.18/1694.89	c GARBAGE COLLECT
1690.18/1694.89	c #Conflicts:     172000 | #Constraints:       8968
1690.18/1694.89	c #Conflicts:     173000 | #Constraints:       9968
1690.18/1694.89	c #Conflicts:     174000 | #Constraints:      10968
1690.18/1694.89	c #Conflicts:     175000 | #Constraints:      11968
1690.18/1694.89	c #Conflicts:     176000 | #Constraints:      12968
1690.18/1694.89	c #Conflicts:     177000 | #Constraints:      13968
1690.18/1694.89	c #Conflicts:     178000 | #Constraints:      14968
1690.18/1694.89	c #Conflicts:     179000 | #Constraints:      15968
1690.18/1694.89	c #Conflicts:     180000 | #Constraints:      16968
1690.18/1694.89	c INPROCESSING
1690.18/1694.89	c GARBAGE COLLECT
1690.18/1694.89	c #Conflicts:     181000 | #Constraints:       9569
1690.18/1694.89	c #Conflicts:     182000 | #Constraints:      10569
1690.18/1694.89	c #Conflicts:     183000 | #Constraints:      11569
1690.18/1694.89	c #Conflicts:     184000 | #Constraints:      12569
1690.18/1694.89	c #Conflicts:     185000 | #Constraints:      13569
1690.18/1694.89	c #Conflicts:     186000 | #Constraints:      14569
1690.18/1694.89	c #Conflicts:     187000 | #Constraints:      15569
1690.18/1694.89	c #Conflicts:     188000 | #Constraints:      16569
1690.18/1694.89	c #Conflicts:     189000 | #Constraints:      17569
1690.18/1694.89	c INPROCESSING
1690.18/1694.89	c GARBAGE COLLECT
1690.18/1694.89	c #Conflicts:     190000 | #Constraints:       9968
1690.18/1694.89	c #Conflicts:     191000 | #Constraints:      10968
1690.18/1694.89	c #Conflicts:     192000 | #Constraints:      11968
1690.18/1694.89	c #Conflicts:     193000 | #Constraints:      12968
1690.18/1694.89	c #Conflicts:     194000 | #Constraints:      13968
1690.18/1694.89	c #Conflicts:     195000 | #Constraints:      14968
1690.18/1694.89	c #Conflicts:     196000 | #Constraints:      15968
1690.18/1694.89	c #Conflicts:     197000 | #Constraints:      16968
1690.18/1694.89	c #Conflicts:     198000 | #Constraints:      17968
1690.18/1694.89	c INPROCESSING
1690.18/1694.89	c GARBAGE COLLECT
1690.18/1694.89	c #Conflicts:     199000 | #Constraints:      10170
2645.28/2652.46	c #Conflicts:     200000 | #Constraints:      11170
2645.28/2652.46	c #Conflicts:     201000 | #Constraints:      12170
2645.28/2652.46	c #Conflicts:     202000 | #Constraints:      13170
2645.28/2652.46	c #Conflicts:     203000 | #Constraints:      14170
2645.28/2652.46	c #Conflicts:     204000 | #Constraints:      15170
2645.28/2652.46	c #Conflicts:     205000 | #Constraints:      16170
2645.28/2652.46	c #Conflicts:     206000 | #Constraints:      17170
2645.28/2652.46	c #Conflicts:     207000 | #Constraints:      18170
2645.28/2652.46	c INPROCESSING
2645.28/2652.46	c GARBAGE COLLECT
2645.28/2652.46	c #Conflicts:     208000 | #Constraints:      10168
2645.28/2652.46	c #Conflicts:     209000 | #Constraints:      11168
2645.28/2652.46	c #Conflicts:     210000 | #Constraints:      12168
2645.28/2652.46	c #Conflicts:     211000 | #Constraints:      13168
2645.28/2652.46	c #Conflicts:     212000 | #Constraints:      14168
2645.28/2652.46	c #Conflicts:     213000 | #Constraints:      15168
2645.28/2652.46	c #Conflicts:     214000 | #Constraints:      16168
2645.28/2652.46	c #Conflicts:     215000 | #Constraints:      17168
2645.28/2652.46	c #Conflicts:     216000 | #Constraints:      18168
2645.28/2652.46	c INPROCESSING
2645.28/2652.46	c GARBAGE COLLECT
2645.28/2652.46	c #Conflicts:     217000 | #Constraints:       9968
2645.28/2652.46	c #Conflicts:     218000 | #Constraints:      10968
2645.28/2652.46	c #Conflicts:     219000 | #Constraints:      11968
2645.28/2652.46	c #Conflicts:     220000 | #Constraints:      12968
2645.28/2652.46	c #Conflicts:     221000 | #Constraints:      13968
2645.28/2652.46	c #Conflicts:     222000 | #Constraints:      14968
2645.28/2652.46	c #Conflicts:     223000 | #Constraints:      15968
2645.28/2652.46	c #Conflicts:     224000 | #Constraints:      16968
2645.28/2652.46	c #Conflicts:     225000 | #Constraints:      17968
2645.28/2652.46	c #Conflicts:     226000 | #Constraints:      18968
2645.28/2652.46	c INPROCESSING
2645.28/2652.46	c GARBAGE COLLECT
2645.28/2652.46	c #Conflicts:     227000 | #Constraints:      10570
2645.28/2652.46	c #Conflicts:     228000 | #Constraints:      11570
2645.28/2652.46	c #Conflicts:     229000 | #Constraints:      12570
2645.28/2652.46	c #Conflicts:     230000 | #Constraints:      13570
2645.28/2652.46	c #Conflicts:     231000 | #Constraints:      14570
2645.28/2652.46	c #Conflicts:     232000 | #Constraints:      15570
2645.28/2652.46	c #Conflicts:     233000 | #Constraints:      16570
2645.28/2652.46	c #Conflicts:     234000 | #Constraints:      17570
2645.28/2652.46	c #Conflicts:     235000 | #Constraints:      18570
2645.28/2652.46	c #Conflicts:     236000 | #Constraints:      19570
2645.28/2652.46	c INPROCESSING
2645.28/2652.46	c GARBAGE COLLECT
2645.28/2652.46	c #Conflicts:     237000 | #Constraints:      10968
2645.28/2652.46	c #Conflicts:     238000 | #Constraints:      11968
2645.28/2652.46	c #Conflicts:     239000 | #Constraints:      12968
2645.28/2652.46	c #Conflicts:     240000 | #Constraints:      13968
2645.28/2652.46	c #Conflicts:     241000 | #Constraints:      14968
2645.28/2652.46	c #Conflicts:     242000 | #Constraints:      15968
2645.28/2652.46	c #Conflicts:     243000 | #Constraints:      16968
2645.28/2652.46	c #Conflicts:     244000 | #Constraints:      17968
2645.28/2652.46	c #Conflicts:     245000 | #Constraints:      18968
2645.28/2652.46	c #Conflicts:     246000 | #Constraints:      19968
2645.28/2652.46	c INPROCESSING
2645.28/2652.46	c GARBAGE COLLECT
2645.28/2652.46	c #Conflicts:     247000 | #Constraints:      11166
2645.28/2652.46	c #Conflicts:     248000 | #Constraints:      12166
2645.28/2652.46	c #Conflicts:     249000 | #Constraints:      13166
2645.28/2652.46	c #Conflicts:     250000 | #Constraints:      14166
2645.28/2652.46	c #Conflicts:     251000 | #Constraints:      15166
2645.28/2652.46	c #Conflicts:     252000 | #Constraints:      16166
2645.28/2652.46	c #Conflicts:     253000 | #Constraints:      17166
2645.28/2652.46	c #Conflicts:     254000 | #Constraints:      18166
2645.28/2652.46	c #Conflicts:     255000 | #Constraints:      19166
2645.28/2652.46	c #Conflicts:     256000 | #Constraints:      20166
2645.28/2652.46	c INPROCESSING
2645.28/2652.46	c GARBAGE COLLECT
2645.28/2652.46	c #Conflicts:     257000 | #Constraints:      11165
2645.28/2652.46	c #Conflicts:     258000 | #Constraints:      12165
2645.28/2652.46	c #Conflicts:     259000 | #Constraints:      13165
2645.28/2652.46	c #Conflicts:     260000 | #Constraints:      14165
2645.28/2652.46	c #Conflicts:     261000 | #Constraints:      15165
2645.28/2652.46	c #Conflicts:     262000 | #Constraints:      16165
2645.28/2652.46	c #Conflicts:     263000 | #Constraints:      17165
2645.28/2652.46	c #Conflicts:     264000 | #Constraints:      18165
2645.28/2652.46	c #Conflicts:     265000 | #Constraints:      19165
2645.28/2652.46	c #Conflicts:     266000 | #Constraints:      20165
2645.28/2652.46	c INPROCESSING
2645.28/2652.46	c GARBAGE COLLECT
2645.28/2652.46	c #Conflicts:     267000 | #Constraints:      10964
2645.28/2652.46	c #Conflicts:     268000 | #Constraints:      11964
2645.28/2652.46	c #Conflicts:     269000 | #Constraints:      12964
2645.28/2652.46	c #Conflicts:     270000 | #Constraints:      13964
2645.28/2652.46	c #Conflicts:     271000 | #Constraints:      14964
2645.28/2652.46	c #Conflicts:     272000 | #Constraints:      15964
2645.28/2652.46	c #Conflicts:     273000 | #Constraints:      16964
3600.02/3609.70	c #Conflicts:     274000 | #Constraints:      17964
3600.02/3609.70	c #Conflicts:     275000 | #Constraints:      18964
3600.02/3609.70	c #Conflicts:     276000 | #Constraints:      19964
3600.02/3609.70	c #Conflicts:     277000 | #Constraints:      20964
3600.02/3609.70	c INPROCESSING
3600.02/3609.70	c GARBAGE COLLECT
3600.02/3609.70	c #Conflicts:     278000 | #Constraints:      11567
3600.02/3609.70	c #Conflicts:     279000 | #Constraints:      12567
3600.02/3609.70	c #Conflicts:     280000 | #Constraints:      13567
3600.02/3609.70	c #Conflicts:     281000 | #Constraints:      14567
3600.02/3609.70	c #Conflicts:     282000 | #Constraints:      15567
3600.02/3609.70	c #Conflicts:     283000 | #Constraints:      16567
3600.02/3609.70	c #Conflicts:     284000 | #Constraints:      17567
3600.02/3609.70	c #Conflicts:     285000 | #Constraints:      18567
3600.02/3609.70	c #Conflicts:     286000 | #Constraints:      19567
3600.02/3609.70	c #Conflicts:     287000 | #Constraints:      20567
3600.02/3609.70	c #Conflicts:     288000 | #Constraints:      21567
3600.02/3609.70	c INPROCESSING
3600.02/3609.70	c GARBAGE COLLECT
3600.02/3609.70	c #Conflicts:     289000 | #Constraints:      11969
3600.02/3609.70	c #Conflicts:     290000 | #Constraints:      12969
3600.02/3609.70	c #Conflicts:     291000 | #Constraints:      13969
3600.02/3609.70	c #Conflicts:     292000 | #Constraints:      14969
3600.02/3609.70	c #Conflicts:     293000 | #Constraints:      15969
3600.02/3609.70	c #Conflicts:     294000 | #Constraints:      16969
3600.02/3609.70	c #Conflicts:     295000 | #Constraints:      17969
3600.02/3609.70	c #Conflicts:     296000 | #Constraints:      18969
3600.02/3609.70	c #Conflicts:     297000 | #Constraints:      19969
3600.02/3609.70	c #Conflicts:     298000 | #Constraints:      20969
3600.02/3609.70	c #Conflicts:     299000 | #Constraints:      21969
3600.02/3609.70	c INPROCESSING
3600.02/3609.70	c GARBAGE COLLECT
3600.02/3609.70	c #Conflicts:     300000 | #Constraints:      12169
3600.02/3609.70	c #Conflicts:     301000 | #Constraints:      13169
3600.02/3609.70	c #Conflicts:     302000 | #Constraints:      14169
3600.02/3609.70	c #Conflicts:     303000 | #Constraints:      15169
3600.02/3609.70	c #Conflicts:     304000 | #Constraints:      16169
3600.02/3609.70	c #Conflicts:     305000 | #Constraints:      17169
3600.02/3609.70	c #Conflicts:     306000 | #Constraints:      18169
3600.02/3609.70	c #Conflicts:     307000 | #Constraints:      19169
3600.02/3609.70	c #Conflicts:     308000 | #Constraints:      20169
3600.02/3609.70	c #Conflicts:     309000 | #Constraints:      21169
3600.02/3609.70	c #Conflicts:     310000 | #Constraints:      22169
3600.02/3609.70	c INPROCESSING
3600.02/3609.70	c GARBAGE COLLECT
3600.02/3609.70	c #Conflicts:     311000 | #Constraints:      12172
3600.02/3609.70	c #Conflicts:     312000 | #Constraints:      13172
3600.02/3609.70	c #Conflicts:     313000 | #Constraints:      14172
3600.02/3609.70	c #Conflicts:     314000 | #Constraints:      15172
3600.02/3609.70	c #Conflicts:     315000 | #Constraints:      16172
3600.02/3609.70	c #Conflicts:     316000 | #Constraints:      17172
3600.02/3609.70	c #Conflicts:     317000 | #Constraints:      18172
3600.02/3609.70	c #Conflicts:     318000 | #Constraints:      19172
3600.02/3609.70	c #Conflicts:     319000 | #Constraints:      20172
3600.02/3609.70	c #Conflicts:     320000 | #Constraints:      21172
3600.02/3609.70	c #Conflicts:     321000 | #Constraints:      22172
3600.02/3609.70	c INPROCESSING
3600.02/3609.70	c GARBAGE COLLECT
3600.02/3609.70	c #Conflicts:     322000 | #Constraints:      11972
3600.02/3609.70	c #Conflicts:     323000 | #Constraints:      12972
3600.02/3609.70	c #Conflicts:     324000 | #Constraints:      13972
3600.02/3609.70	c #Conflicts:     325000 | #Constraints:      14972
3600.02/3609.70	c #Conflicts:     326000 | #Constraints:      15972
3600.02/3609.70	c #Conflicts:     327000 | #Constraints:      16972
3600.02/3609.70	c #Conflicts:     328000 | #Constraints:      17972
3600.02/3609.70	c #Conflicts:     329000 | #Constraints:      18972
3600.02/3609.70	c #Conflicts:     330000 | #Constraints:      19972
3600.02/3609.70	c #Conflicts:     331000 | #Constraints:      20972
3600.02/3609.70	c #Conflicts:     332000 | #Constraints:      21972
3600.02/3609.70	c #Conflicts:     333000 | #Constraints:      22972
3600.02/3609.70	c INPROCESSING
3600.02/3609.70	c GARBAGE COLLECT
3600.02/3609.70	c cpu time 3541.04 s
3600.02/3609.70	c deterministic time 1 1.00e+00
3600.02/3609.70	c optimization time 3541.04 s
3600.02/3609.70	c total solve time 0 s
3600.02/3609.70	c core-guided solve time 0 s
3600.02/3609.70	c propagation time 0 s
3600.02/3609.70	c conflict analysis time 0 s
3600.02/3609.70	c propagations 0
3600.02/3609.70	c resolve steps 0
3600.02/3609.70	c decisions 0
3600.02/3609.70	c conflicts 0
3600.02/3609.70	c restarts 0
3600.02/3609.70	c inprocessing phases 0
3600.02/3609.70	c garbage collections 0 ,( -nan )
3600.02/3609.70	c input clauses 0 ,( 0.00 )
3600.02/3609.70	c input cardinalities 0 ,( 0.00 )
3600.02/3609.70	c input general constraints 1 ,( 100.00 )
3600.02/3609.70	c input average constraint length 3000.00
3600.02/3609.70	c input average constraint degree 1277528.00
3600.02/3609.70	c learned clauses 0 ,( 0.00 )
3600.02/3609.70	c learned cardinalities 0 ,( 0.00 )
3600.02/3609.70	c learned general constraints 0 ,( 0.00 )
3600.02/3609.70	c learned average constraint length 0.00
3600.02/3609.70	c learned average constraint degree 0.00
3600.02/3609.70	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3609.70	c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.02/3609.70	c watched   constraints 0 ,( 0.00 ) 
3600.02/3609.70	c counting  constraints 1 ,( 100.00 ) 
3600.02/3609.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3609.70	c gcd simplifications 0
3600.02/3609.70	c detected cardinalities 0
3600.02/3609.70	c weakened non-implied lits 0
3600.02/3609.70	c weakened non-implying lits 0
3600.02/3609.70	c original variables 3000
3600.02/3609.70	c clausal propagations 0
3600.02/3609.70	c cardinality propagations 0
3600.02/3609.70	c watched propagations 0
3600.02/3609.70	c counting propagations 0
3600.02/3609.70	c watch lookups 0
3600.02/3609.70	c watch backjump lookups 0
3600.02/3609.70	c watch checks 0
3600.02/3609.70	c propagation checks 0
3600.02/3609.70	c constraint additions 0
3600.02/3609.70	c trail pops 0
3600.02/3609.70	c formula constraints 1
3600.02/3609.70	c learned constraints 0
3600.02/3609.70	c bound constraints 0
3600.02/3609.70	c core-guided constraints 0
3600.02/3609.70	c encountered formula constraints 0
3600.02/3609.70	c encountered learned constraints 0
3600.02/3609.70	c encountered bound constraints 0
3600.02/3609.70	c encountered core-guided constraints 0
3600.02/3609.70	c LP total time 0 s
3600.02/3609.70	c LP solve time 0 s
3600.02/3609.70	c LP constraints added 0
3600.02/3609.70	c LP constraints removed 0
3600.02/3609.70	c LP pivots internal 0
3600.02/3609.70	c LP pivots root 0
3600.02/3609.70	c LP calls 0
3600.02/3609.70	c LP optimalities 0
3600.02/3609.70	c LP no pivot count 0
3600.02/3609.70	c LP infeasibilities 0
3600.02/3609.70	c LP valid Farkas constraints 0
3600.02/3609.70	c LP learned Farkas constraints 0
3600.02/3609.70	c LP basis resets 0
3600.02/3609.70	c LP cycling count 0
3600.02/3609.70	c LP singular count 0
3600.02/3609.70	c LP no primal count 0
3600.02/3609.70	c LP no farkas count 0
3600.02/3609.70	c LP other issue count 0
3600.02/3609.70	c LP Gomory cuts 0
3600.02/3609.70	c LP learned cuts 0
3600.02/3609.70	c LP deleted cuts 0
3600.02/3609.70	c LP encountered Gomory constraints 0
3600.02/3609.70	c LP encountered Farkas constraints 0
3600.02/3609.70	c LP encountered learned Farkas constraints 0
3600.02/3609.70	c CG auxiliary variables introduced 0
3600.02/3609.70	c CG solutions found 0
3600.02/3609.70	c CG cores constructed 0
3600.02/3609.70	c CG core cardinality constraints returned 0
3600.02/3609.70	c CG unit cores 0
3600.02/3609.70	c CG single cores 0
3600.02/3609.70	c CG blocks removed during cardinality reduction 0
3600.02/3609.70	c CG first core best 0
3600.02/3609.70	c CG decision core best 0
3600.02/3609.70	c CG core reduction tie 0
3600.02/3609.70	c CG core degree average 0.00
3600.02/3609.70	c CG core slack average 0.00
3600.02/3609.70	c CG core upper bound improvements 0
3600.02/3609.70	c STR number of successful calls 0
3600.02/3609.70	c STR number of unsuccessful calls 0
3600.02/3609.70	c STR number of inconclusive calls 0
3600.02/3609.70	c STR number of successful attempts 0
3600.02/3609.70	c STR number of unsuccessful attempts 0
3600.02/3609.70	c STR number of inconclusive attempts 0
3600.02/3609.70	c STR average degree increase per successful call inf
3600.02/3609.70	c STR average degree increase per successful attempt inf
3600.02/3609.70	c STR total number of conflicts for successful attempts 0
3600.02/3609.70	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.70	c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.70	c STR average number of conflicts per successful attempt inf
3600.02/3609.70	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.70	c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.70	c AVG.sumWPerc 99.63 
3600.02/3609.70	c bigint constraints 0 
3600.02/3609.70	s UNKNOWN
3600.02/3609.70	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: 63708 MiB (62924 MiB free)
  memory of node 1: 64465 MiB (63862 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=78327, runsolver pid=78321

[startup+0.100058 s]*
/proc/loadavg: 2.20 6.06 6.51 4/265 78344
/proc/meminfo: memFree=129811736/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=61964 memory=12232 CPUtime=0.07 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 1085 0 0 0 4 3 0 0 20 0 1 0 70144223 63451136 3058 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 15491 3058 2304 1147 0 2918 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66156 KiB
Current children cumulated memory: 15304 KiB

[startup+0.20535 s]*
/proc/loadavg: 2.20 6.06 6.51 4/260 78352
/proc/meminfo: memFree=129808880/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=62968 memory=15284 CPUtime=0.16 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 1341 0 0 0 11 5 0 0 20 0 1 0 70144223 64479232 3821 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 15742 3821 2304 1147 0 3169 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 67160 KiB
Current children cumulated memory: 18356 KiB

[startup+0.305183 s]*
/proc/loadavg: 2.20 6.06 6.51 3/258 78357
/proc/meminfo: memFree=129800432/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=64960 memory=17332 CPUtime=0.27 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 1836 0 0 0 21 6 0 0 20 0 1 0 70144223 66519040 4333 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 16240 4333 2304 1147 0 3667 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 69152 KiB
Current children cumulated memory: 20404 KiB

[startup+0.700181 s]
/proc/loadavg: 2.20 6.06 6.51 3/258 78360
/proc/meminfo: memFree=129774280/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=78440 memory=31540 CPUtime=0.66 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 5362 0 0 0 58 8 0 0 20 0 1 0 70144223 80322560 7885 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 19610 7885 2336 1147 0 7037 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 82632 KiB
Current children cumulated memory: 34612 KiB

[startup+1.50021 s]
/proc/loadavg: 2.20 6.06 6.51 3/264 78372
/proc/meminfo: memFree=129743520/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=97392 memory=51048 CPUtime=1.44 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 9725 0 0 0 124 20 0 0 20 0 1 0 70144223 99729408 12762 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 24348 12762 2336 1147 0 11775 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 101584 KiB
Current children cumulated memory: 54120 KiB

[startup+3.10524 s]
/proc/loadavg: 2.20 6.06 6.51 3/263 78517
/proc/meminfo: memFree=129653328/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=139992 memory=83232 CPUtime=3.03 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 16775 0 0 0 259 44 0 0 20 0 1 0 70144223 143351808 20808 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 34998 20808 2336 1147 0 22425 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 144184 KiB
Current children cumulated memory: 86304 KiB

[startup+6.30019 s]
/proc/loadavg: 2.35 6.02 6.50 5/268 78626
/proc/meminfo: memFree=129436000/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=203968 memory=138280 CPUtime=6.21 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 26944 0 0 0 546 75 0 0 20 0 1 0 70144223 208863232 34570 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 50992 34570 2336 1147 0 38419 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 208160 KiB
Current children cumulated memory: 141352 KiB

[startup+12.7002 s]
/proc/loadavg: 2.48 5.99 6.48 5/263 78653
/proc/meminfo: memFree=129002740/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=231240 memory=174480 CPUtime=12.58 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 33435 0 0 0 1129 129 0 0 20 0 1 0 70144223 236789760 43620 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 57810 43620 2336 1147 0 45237 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 235432 KiB
Current children cumulated memory: 177552 KiB

[startup+25.5002 s]
/proc/loadavg: 2.82 5.89 6.44 5/268 78720
/proc/meminfo: memFree=128444144/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=321144 memory=255656 CPUtime=25.33 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 47598 0 0 0 2320 213 0 0 20 0 1 0 70144223 328851456 63914 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 80286 63914 2336 1147 0 67713 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 325336 KiB
Current children cumulated memory: 258728 KiB

[startup+51.1055 s]
/proc/loadavg: 3.30 5.75 6.38 5/270 78723
/proc/meminfo: memFree=127553524/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=432680 memory=321648 CPUtime=50.86 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 60022 0 0 0 4743 343 0 0 20 0 1 0 70144223 443064320 80412 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 108170 80412 2336 1147 0 95597 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 436872 KiB
Current children cumulated memory: 324720 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 5.50 6.26 5/271 78727
/proc/meminfo: memFree=126774720/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=547192 memory=427732 CPUtime=101.91 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 80427 0 0 0 9641 550 0 0 20 0 1 0 70144223 560324608 106933 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 136798 106933 2336 1147 0 124225 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 551384 KiB
Current children cumulated memory: 430804 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 5.24 6.12 5/271 78728
/proc/meminfo: memFree=125386176/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=645608 memory=471168 CPUtime=161.74 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 86547 0 0 0 15415 759 0 0 20 0 1 0 70144223 661102592 117792 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 161402 117792 2336 1147 0 148829 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 649800 KiB
Current children cumulated memory: 474240 KiB

[startup+222.3 s]
/proc/loadavg: 4.38 5.11 6.02 5/271 78730
/proc/meminfo: memFree=124594372/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=751732 memory=578632 CPUtime=221.57 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 106192 0 0 0 21233 924 0 0 20 0 1 0 70144223 769773568 144658 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 187933 144658 2336 1147 0 175360 0

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

/proc/78329/statm: 458945 371058 2336 1147 0 446372 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 1839972 KiB
Current children cumulated memory: 1487304 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.15 5/272 78892
/proc/meminfo: memFree=99219040/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=1835780 memory=1484232 CPUtime=3153.86 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 232378 0 0 0 310085 5301 0 0 20 0 1 0 70144223 1879838720 371058 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 458945 371058 2336 1147 0 446372 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 1839972 KiB
Current children cumulated memory: 1487304 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.14 5/272 78894
/proc/meminfo: memFree=98911328/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=1842948 memory=1488328 CPUtime=3213.7 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 233413 0 0 0 316003 5367 0 0 20 0 1 0 70144223 1887178752 372082 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 460737 372082 2336 1147 0 448164 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 1847140 KiB
Current children cumulated memory: 1491400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.14 5/272 78896
/proc/meminfo: memFree=98632936/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=1853188 memory=1493960 CPUtime=3273.55 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 234792 0 0 0 321928 5427 0 0 20 0 1 0 70144223 1897664512 373490 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 463297 373490 2336 1147 0 450724 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 1857380 KiB
Current children cumulated memory: 1497032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.13 5/272 78903
/proc/meminfo: memFree=96777156/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=1860616 memory=1515484 CPUtime=3333.38 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 236857 0 0 0 327829 5509 0 0 20 0 1 0 70144223 1905270784 378871 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 465154 378871 2336 1147 0 452581 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 1864808 KiB
Current children cumulated memory: 1518556 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.12 5/272 78908
/proc/meminfo: memFree=96194672/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=1872484 memory=1521628 CPUtime=3393.21 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 238583 0 0 0 333714 5607 0 0 20 0 1 0 70144223 1917423616 380407 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 468121 380407 2336 1147 0 455548 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 1876676 KiB
Current children cumulated memory: 1524700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.12 5/272 78910
/proc/meminfo: memFree=95617600/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=1888108 memory=1542556 CPUtime=3453.05 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 241781 0 0 0 339609 5696 0 0 20 0 1 0 70144223 1933422592 385639 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 472027 385639 2336 1147 0 459454 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 1892300 KiB
Current children cumulated memory: 1545628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.11 5/272 78912
/proc/meminfo: memFree=95127372/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=1888108 memory=1542556 CPUtime=3512.88 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 241782 0 0 0 345487 5801 0 0 20 0 1 0 70144223 1933422592 385639 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 472027 385639 2336 1147 0 459454 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 1892300 KiB
Current children cumulated memory: 1545628 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.11 5/272 78916
/proc/meminfo: memFree=94724560/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=1888108 memory=1542556 CPUtime=3572.71 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 241783 0 0 0 351398 5873 0 0 20 0 1 0 70144223 1933422592 385639 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 472027 385639 2336 1147 0 459454 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 1892300 KiB
Current children cumulated memory: 1545628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.08 4.08 4.11 5/272 78917
/proc/meminfo: memFree=94567012/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=1908748 memory=1560768 CPUtime=3600.02 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 245308 0 0 0 354104 5898 0 0 20 0 1 0 70144223 1954557952 390192 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 477187 390192 2336 1147 0 464614 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1912940 KiB
Current children cumulated memory: 1563840 KiB

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

[startup+3609.7 s]
# the end of solver process 78327 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.002283 s

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

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

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

[startup+3609.7 s]
/proc/loadavg: 4.08 4.08 4.11 5/272 78917
/proc/meminfo: memFree=94567012/131249988 swapFree=33010160/33010684
[pid=78327] ppid=78321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78327/stat : 78327 (run-opt-log.sh) S 78321 78327 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144222 4292608 768 18446744073709551615 94060372516864 94060373411397 140725645339152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060373650448 94060373698192 94060388462592 140725645347105 140725645347300 140725645347300 140725645352902 0
/proc/78327/statm: 1048 768 704 219 0 110 0
[pid=78329] ppid=78327 vsize=1908748 memory=1560768 CPUtime=3600.02 cores=4,6
/proc/78329/stat : 78329 (roundingsat) R 78327 78327 78270 0 -1 4194304 245308 0 0 0 354104 5898 0 0 20 0 1 0 70144223 1954557952 390192 18446744073709551615 4227072 8923433 140731687691584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17240064 140731687700818 140731687701032 140731687701032 140731687706602 0
/proc/78329/statm: 477187 390192 2336 1147 0 464614 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1912940 KiB
Current children cumulated memory: 1563840 KiB

Child status: 2

Real time (s): 3609.76
CPU time (s): 3600.06
CPU user time (s): 3541.05
CPU system time (s): 59.0117
CPU usage (%): 99.7313
Max. virtual memory (cumulated for all children) (KiB): 1912940
Max. memory (cumulated for all children) (KiB): 1563840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3541.05
system time used= 59.0117
maximum resident set size= 1561152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10241504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 943
involuntary context switches= 22331


# summary of solver processes directly reported to runsolver:
#   pid: 78327,78329
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3541.05
#   total CPU system time (s): 59.0117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29241 second user time and 16.5057 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-03 14:11:07
IDJOB=4518273
IDBENCH=176856
IDSOLVER=3351
FILE ID=nodeC020/4518273-1751544666
RUNJOBID= nodeC020-1751544666-78281
SLURM_JOB_ID= 9598715
Free space on /tmp= 431780 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/normalized-knapPI_12_1000_1000_3_-17136.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518273-1751544666/watcher-4518273-1751544666 -o /tmp/evaluation-result-4518273-1751544666/solver-4518273-1751544666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751544666-78281 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518273-1751544666.opb PROOFDIR/proof-4518273-1751544666

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

MD5SUM BENCH= 320619d7d3e3251d2b23c67a6b07bae2
RANDOM SEED=1432749854

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129831104 kB
MemAvailable:   129780284 kB
Buffers:            2128 kB
Cached:           742172 kB
SwapCached:            8 kB
Active:           643028 kB
Inactive:         176776 kB
Active(anon):      68976 kB
Inactive(anon):    24572 kB
Active(file):     574052 kB
Inactive(file):   152204 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28996 kB
Writeback:             4 kB
AnonPages:         78696 kB
Mapped:           103732 kB
Shmem:             18044 kB
KReclaimable:     124328 kB
Slab:             215668 kB
SReclaimable:     124328 kB
SUnreclaim:        91340 kB
KernelStack:        4128 kB
PageTables:         2912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     340168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431748 MiB
End job on nodeC020 at 2025-07-03 15:11:17