Trace number 4484446

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 63f22ad? (TO) 3600.3 3609.42

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
MD5SUMa964700945576a67d3d8d9c44c1c5e5c
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 benchmark9
Best CPU time to get the best result obtained on this benchmark5.41333
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10772
Total number of constraints12051
Number of constraints which are clauses10247
Number of constraints which are cardinality constraints (but not clauses)1804
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 10772
Biggest coefficient in the objective function 5356
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 30986
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5356
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 30986
Number of bits of the biggest sum of numbers15
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 10772 #constraints 12051
0.00/0.08	c objective is ce32 
0.07/0.11	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.11	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.11	c GLOBAL bounds - >= -5356 @ 0.059446
0.07/0.11	c GLOBAL bounds - >= -5356 @ 0.065305
0.07/0.18	c GLOBAL bounds - >= -5356 @ 0.130982
0.07/0.21	c GLOBAL bounds - >= -5356 @ 0.151837
0.18/0.24	c GLOBAL bounds - >= -5356 @ 0.18634
0.28/0.38	c GLOBAL bounds - >= -5356 @ 0.317672
0.37/0.43	c GLOBAL bounds - >= -5356 @ 0.356485
0.37/0.48	c GLOBAL bounds - >= -5356 @ 0.406033
0.48/0.51	c GLOBAL bounds - >= -5356 @ 0.429037
0.48/0.58	c GLOBAL bounds - >= -5356 @ 0.489399
0.57/0.65	c GLOBAL bounds - >= -5356 @ 0.559095
0.66/0.74	c GLOBAL bounds - >= -5356 @ 0.637424
1.16/1.21	c GLOBAL bounds - >= -5356 @ 1.09431
1.36/1.44	c GLOBAL bounds - >= -5356 @ 1.31078
1.46/1.57	c GLOBAL bounds - >= -5356 @ 1.42926
1.66/1.74	c GLOBAL bounds - >= -5356 @ 1.57991
1.76/1.82	c GLOBAL bounds - >= -5356 @ 1.65165
1.76/1.87	c GLOBAL bounds - >= -5356 @ 1.69862
2.16/2.25	c GLOBAL bounds - >= -5356 @ 2.06116
2.26/2.31	c GLOBAL bounds - >= -5356 @ 2.12374
2.36/2.42	c GLOBAL bounds - >= -5356 @ 2.22298
2.46/2.55	c GLOBAL bounds - >= -5356 @ 2.33382
2.56/2.61	c GLOBAL bounds - >= -5356 @ 2.3944
2.66/2.71	c GLOBAL bounds - >= -5356 @ 2.47559
2.66/2.79	c GLOBAL bounds - >= -5356 @ 2.55236
2.76/2.88	c GLOBAL bounds - >= -5356 @ 2.63563
5.06/5.11	c #Conflicts:       1000 | #Constraints:      13099
5.06/5.11	c GLOBAL bounds - >= -5356 @ 4.81215
5.45/5.55	c GLOBAL bounds - >= -5356 @ 5.21329
5.85/5.92	c GLOBAL bounds - >= -5356 @ 5.56827
6.45/6.56	c GLOBAL bounds - >= -5356 @ 6.18603
8.24/8.34	c #Conflicts:       2000 | #Constraints:      14107
8.24/8.34	c INPROCESSING
8.24/8.34	c GARBAGE COLLECT
8.24/8.34	c GLOBAL bounds - >= -5356 @ 7.92438
8.35/8.46	c GLOBAL bounds - >= -5356 @ 8.03985
10.14/10.27	c GLOBAL bounds - >= -5356 @ 9.81287
10.24/10.39	c GLOBAL bounds - >= -5356 @ 9.92253
12.94/13.00	c #Conflicts:       3000 | #Constraints:      14126
12.94/13.00	c GLOBAL bounds - >= -5356 @ 12.4775
13.13/13.23	c GLOBAL bounds - >= -5356 @ 12.7029
13.73/13.85	c GLOBAL bounds - >= -5356 @ 13.3006
16.22/16.35	c #Conflicts:       4000 | #Constraints:      15132
16.22/16.35	c GLOBAL bounds - >= -5356 @ 15.7066
17.03/17.15	c INPROCESSING
17.03/17.15	c GARBAGE COLLECT
17.03/17.15	c GLOBAL bounds - >= -5356 @ 16.4964
17.12/17.27	c GLOBAL bounds - >= -5356 @ 16.6115
18.12/18.23	c GLOBAL bounds - >= -5356 @ 17.5422
18.32/18.43	c GLOBAL bounds - >= -5356 @ 17.731
19.41/19.54	c GLOBAL bounds - >= -5356 @ 18.8083
20.52/20.63	c GLOBAL bounds - >= -5356 @ 19.8923
20.82/20.97	c #Conflicts:       5000 | #Constraints:      14549
20.82/20.97	c GLOBAL bounds - >= -5356 @ 20.2199
22.31/22.46	c GLOBAL bounds - >= -5356 @ 21.6935
27.01/27.14	c #Conflicts:       6000 | #Constraints:      15553
27.01/27.14	c GLOBAL bounds - >= -5356 @ 26.2892
37.48/37.65	c INPROCESSING
37.48/37.65	c GARBAGE COLLECT
37.48/37.65	c #Conflicts:       7000 | #Constraints:      14560
37.48/37.65	c #Conflicts:       8000 | #Constraints:      15560
37.48/37.65	c #Conflicts:       9000 | #Constraints:      16560
37.48/37.65	c GLOBAL bounds - >= -5356 @ 36.5482
39.97/40.18	c INPROCESSING
39.97/40.18	c GARBAGE COLLECT
39.97/40.18	c GLOBAL bounds - >= -5356 @ 39.0356
40.27/40.40	c GLOBAL bounds - >= -5356 @ 39.253
41.57/41.76	c #Conflicts:      10000 | #Constraints:      15268
41.57/41.76	c GLOBAL bounds - >= -5356 @ 40.5718
41.77/41.93	c GLOBAL bounds - >= -5356 @ 40.7323
41.86/42.09	c GLOBAL bounds - >= -5356 @ 40.8852
48.35/48.54	c #Conflicts:      11000 | #Constraints:      16274
48.35/48.54	c GLOBAL bounds - >= -5356 @ 47.1846
49.25/49.42	c GLOBAL bounds - >= -5356 @ 48.044
49.95/50.12	c GLOBAL bounds - >= -5356 @ 48.726
50.34/50.54	c GLOBAL bounds - >= -5356 @ 49.1242
50.64/50.85	c GLOBAL bounds - >= -5356 @ 49.4284
50.95/51.11	c GLOBAL bounds - >= -5356 @ 49.6796
51.24/51.44	c GLOBAL bounds - >= -5356 @ 49.9999
53.04/53.25	c #Conflicts:      12000 | #Constraints:      17288
53.04/53.25	c INPROCESSING
53.04/53.25	c GARBAGE COLLECT
53.04/53.25	c GLOBAL bounds - >= -5356 @ 51.78
53.34/53.53	c GLOBAL bounds - >= -5356 @ 52.0549
53.94/54.11	c GLOBAL bounds - >= -5356 @ 52.6203
54.43/54.61	c GLOBAL bounds - >= -5356 @ 53.1079
54.84/55.07	c GLOBAL bounds - >= -5356 @ 53.5512
56.63/56.89	c GLOBAL bounds - >= -5356 @ 55.3319
57.22/57.45	c GLOBAL bounds - >= -5356 @ 55.8675
57.52/57.73	c #Conflicts:      13000 | #Constraints:      15757
57.52/57.73	c GLOBAL bounds - >= -5356 @ 56.1424
57.83/58.06	c GLOBAL bounds - >= -5356 @ 56.4713
58.12/58.34	c GLOBAL bounds - >= -5356 @ 56.7435
58.62/58.87	c GLOBAL bounds - >= -5356 @ 57.2547
58.93/59.14	c GLOBAL bounds - >= -5356 @ 57.5197
59.22/59.49	c GLOBAL bounds - >= -5356 @ 57.8606
59.62/59.81	c GLOBAL bounds - >= -5356 @ 58.1813
60.32/60.50	c GLOBAL bounds - >= -5356 @ 58.8531
61.82/62.05	c GLOBAL bounds - >= -5356 @ 60.364
62.61/62.85	c #Conflicts:      14000 | #Constraints:      16775
62.61/62.85	c GLOBAL bounds - >= -5356 @ 61.1432
67.40/67.64	c #Conflicts:      15000 | #Constraints:      17777
67.40/67.64	c INPROCESSING
67.40/67.64	c GARBAGE COLLECT
67.40/67.64	c GLOBAL bounds - >= -5356 @ 65.7374
68.60/68.81	c GLOBAL bounds - >= -5356 @ 66.884
69.90/70.12	c GLOBAL bounds - >= -5356 @ 68.1765
87.06/87.36	c #Conflicts:      16000 | #Constraints:      16019
87.06/87.36	c #Conflicts:      17000 | #Constraints:      17019
87.06/87.36	c #Conflicts:      18000 | #Constraints:      18019
87.06/87.36	c INPROCESSING
87.06/87.36	c GARBAGE COLLECT
87.06/87.36	c #Conflicts:      19000 | #Constraints:      16037
87.06/87.36	c GLOBAL bounds - >= -5356 @ 85.2181
95.74/96.03	c #Conflicts:      20000 | #Constraints:      17039
95.74/96.03	c GLOBAL bounds - >= -5356 @ 93.7864
101.02/101.39	c #Conflicts:      21000 | #Constraints:      18041
101.02/101.39	c INPROCESSING
101.02/101.39	c GARBAGE COLLECT
101.02/101.39	c GLOBAL bounds - >= -5356 @ 99.0232
106.91/107.21	c #Conflicts:      22000 | #Constraints:      15857
106.91/107.21	c #Conflicts:      23000 | #Constraints:      16857
106.91/107.21	c GLOBAL bounds - >= -5356 @ 104.751
108.80/109.16	c GLOBAL bounds - >= -5356 @ 106.683
111.59/112.00	c GLOBAL bounds - >= -5356 @ 109.487
113.49/113.81	c #Conflicts:      24000 | #Constraints:      17863
113.49/113.81	c GLOBAL bounds - >= -5356 @ 111.277
117.48/117.81	c #Conflicts:      25000 | #Constraints:      18865
117.48/117.81	c GLOBAL bounds - >= -5356 @ 115.214
121.57/122.00	c INPROCESSING
121.57/122.00	c GARBAGE COLLECT
121.57/122.00	c GLOBAL bounds - >= -5356 @ 119.341
126.25/126.69	c #Conflicts:      26000 | #Constraints:      16477
126.25/126.69	c #Conflicts:      27000 | #Constraints:      17477
126.25/126.69	c GLOBAL bounds - >= -5356 @ 123.98
146.50/146.98	c #Conflicts:      28000 | #Constraints:      18479
146.50/146.98	c #Conflicts:      29000 | #Constraints:      19479
146.50/146.98	c INPROCESSING
146.50/146.98	c GARBAGE COLLECT
146.50/146.98	c #Conflicts:      30000 | #Constraints:      16882
146.50/146.98	c GLOBAL bounds - >= -5356 @ 143.973
167.85/168.39	c #Conflicts:      31000 | #Constraints:      17884
167.85/168.39	c #Conflicts:      32000 | #Constraints:      18884
167.85/168.39	c #Conflicts:      33000 | #Constraints:      19884
167.85/168.39	c INPROCESSING
167.85/168.39	c GARBAGE COLLECT
167.85/168.39	c #Conflicts:      34000 | #Constraints:      17083
167.85/168.39	c GLOBAL bounds - >= -5356 @ 165.134
184.00/184.53	c #Conflicts:      35000 | #Constraints:      18085
184.00/184.53	c #Conflicts:      36000 | #Constraints:      19085
184.00/184.53	c #Conflicts:      37000 | #Constraints:      20085
184.00/184.53	c INPROCESSING
184.00/184.53	c GARBAGE COLLECT
184.00/184.53	c #Conflicts:      38000 | #Constraints:      17098
184.00/184.53	c GLOBAL bounds - >= -5356 @ 180.989
184.21/184.79	c GLOBAL bounds - >= -5356 @ 181.241
189.40/189.93	c #Conflicts:      39000 | #Constraints:      18102
189.40/189.93	c GLOBAL bounds - >= -5356 @ 186.351
209.55/210.13	c #Conflicts:      40000 | #Constraints:      19104
209.55/210.13	c #Conflicts:      41000 | #Constraints:      20104
209.55/210.13	c INPROCESSING
209.55/210.13	c GARBAGE COLLECT
209.55/210.13	c #Conflicts:      42000 | #Constraints:      16908
209.55/210.13	c #Conflicts:      43000 | #Constraints:      17908
209.55/210.13	c #Conflicts:      44000 | #Constraints:      18908
209.55/210.13	c #Conflicts:      45000 | #Constraints:      19908
209.55/210.13	c GLOBAL bounds - >= -5356 @ 206.228
211.33/211.92	c GLOBAL bounds - >= -5356 @ 208.002
215.73/216.30	c #Conflicts:      46000 | #Constraints:      20912
215.73/216.30	c GLOBAL bounds - >= -5356 @ 212.346
227.00/227.67	c INPROCESSING
227.00/227.67	c GARBAGE COLLECT
227.00/227.67	c #Conflicts:      47000 | #Constraints:      17500
227.00/227.67	c #Conflicts:      48000 | #Constraints:      18500
227.00/227.67	c GLOBAL bounds - >= -5356 @ 223.57
230.19/230.89	c GLOBAL bounds - >= -5356 @ 226.754
238.47/239.14	c #Conflicts:      49000 | #Constraints:      19504
238.47/239.14	c GLOBAL bounds - >= -5356 @ 234.85
241.06/241.75	c #Conflicts:      50000 | #Constraints:      20506
241.06/241.75	c GLOBAL bounds - >= -5356 @ 237.425
243.36/244.02	c GLOBAL bounds - >= -5356 @ 239.65
249.64/250.39	c #Conflicts:      51000 | #Constraints:      21510
249.64/250.39	c INPROCESSING
249.64/250.39	c GARBAGE COLLECT
249.64/250.39	c #Conflicts:      52000 | #Constraints:      17915
249.64/250.39	c GLOBAL bounds - >= -5356 @ 245.937
257.33/258.04	c #Conflicts:      53000 | #Constraints:      18917
257.33/258.04	c GLOBAL bounds - >= -5356 @ 253.488
257.72/258.43	c GLOBAL bounds - >= -5356 @ 253.868
264.70/265.45	c #Conflicts:      54000 | #Constraints:      19921
264.70/265.45	c GLOBAL bounds - >= -5356 @ 260.796
269.49/270.26	c #Conflicts:      55000 | #Constraints:      20923
269.49/270.26	c GLOBAL bounds - >= -5356 @ 265.558
276.07/276.80	c #Conflicts:      56000 | #Constraints:      21925
276.07/276.80	c INPROCESSING
276.07/276.80	c GARBAGE COLLECT
276.07/276.80	c GLOBAL bounds - >= -5356 @ 272.01
281.06/281.89	c #Conflicts:      57000 | #Constraints:      18127
281.06/281.89	c GLOBAL bounds - >= -5356 @ 277.062
284.05/284.83	c GLOBAL bounds - >= -5356 @ 279.957
297.52/298.32	c #Conflicts:      58000 | #Constraints:      19131
297.52/298.32	c #Conflicts:      59000 | #Constraints:      20131
297.52/298.32	c #Conflicts:      60000 | #Constraints:      21131
297.52/298.32	c #Conflicts:      61000 | #Constraints:      22131
297.52/298.32	c GLOBAL bounds - >= -5356 @ 293.246
298.22/299.00	c GLOBAL bounds - >= -5356 @ 293.924
312.18/313.02	c INPROCESSING
312.18/313.02	c GARBAGE COLLECT
312.18/313.02	c #Conflicts:      62000 | #Constraints:      18133
312.18/313.02	c #Conflicts:      63000 | #Constraints:      19133
312.18/313.02	c #Conflicts:      64000 | #Constraints:      20133
312.18/313.02	c GLOBAL bounds - >= -5356 @ 307.748
313.28/314.12	c GLOBAL bounds - >= -5356 @ 308.836
314.87/315.72	c GLOBAL bounds - >= -5356 @ 310.415
316.37/317.26	c GLOBAL bounds - >= -5356 @ 311.93
321.16/322.09	c #Conflicts:      65000 | #Constraints:      21141
321.16/322.09	c GLOBAL bounds - >= -5356 @ 316.655
329.03/329.97	c #Conflicts:      66000 | #Constraints:      22143
329.03/329.97	c INPROCESSING
329.03/329.97	c GARBAGE COLLECT
329.03/329.97	c GLOBAL bounds - >= -5356 @ 324.414
340.71/341.68	c #Conflicts:      67000 | #Constraints:      17951
340.71/341.68	c #Conflicts:      68000 | #Constraints:      18951
340.71/341.68	c #Conflicts:      69000 | #Constraints:      19951
340.71/341.68	c GLOBAL bounds - >= -5356 @ 335.924
343.80/344.73	c GLOBAL bounds - >= -5356 @ 338.942
344.89/345.82	c GLOBAL bounds - >= -5356 @ 340.012
347.20/348.12	c #Conflicts:      70000 | #Constraints:      20957
347.20/348.12	c GLOBAL bounds - >= -5356 @ 342.284
359.86/360.83	c #Conflicts:      71000 | #Constraints:      21959
359.86/360.83	c #Conflicts:      72000 | #Constraints:      22959
359.86/360.83	c INPROCESSING
359.86/360.83	c GARBAGE COLLECT
359.86/360.83	c GLOBAL bounds - >= -5356 @ 354.779
366.24/367.26	c #Conflicts:      73000 | #Constraints:      18570
366.24/367.26	c GLOBAL bounds - >= -5356 @ 361.075
373.82/374.88	c #Conflicts:      74000 | #Constraints:      19572
373.82/374.88	c #Conflicts:      75000 | #Constraints:      20572
373.82/374.88	c GLOBAL bounds - >= -5356 @ 368.581
379.71/380.78	c #Conflicts:      76000 | #Constraints:      21574
379.71/380.78	c GLOBAL bounds - >= -5356 @ 374.413
380.31/381.39	c GLOBAL bounds - >= -5356 @ 375.011
385.19/386.21	c #Conflicts:      77000 | #Constraints:      22578
385.19/386.21	c GLOBAL bounds - >= -5356 @ 379.783
386.59/387.62	c GLOBAL bounds - >= -5356 @ 381.17
389.78/390.86	c GLOBAL bounds - >= -5356 @ 384.354
391.48/392.59	c GLOBAL bounds - >= -5356 @ 386.062
408.94/410.07	c #Conflicts:      78000 | #Constraints:      23586
408.94/410.07	c INPROCESSING
408.94/410.07	c GARBAGE COLLECT
408.94/410.07	c #Conflicts:      79000 | #Constraints:      18972
408.94/410.07	c #Conflicts:      80000 | #Constraints:      19972
408.94/410.07	c #Conflicts:      81000 | #Constraints:      20972
408.94/410.07	c GLOBAL bounds - >= -5356 @ 403.315
412.52/413.65	c #Conflicts:      82000 | #Constraints:      21974
412.52/413.65	c GLOBAL bounds - >= -5356 @ 406.856
431.78/432.93	c #Conflicts:      83000 | #Constraints:      22976
431.78/432.93	c #Conflicts:      84000 | #Constraints:      23976
431.78/432.93	c INPROCESSING
431.78/432.93	c GARBAGE COLLECT
431.78/432.93	c #Conflicts:      85000 | #Constraints:      19190
431.78/432.93	c #Conflicts:      86000 | #Constraints:      20190
431.78/432.93	c #Conflicts:      87000 | #Constraints:      21190
431.78/432.93	c GLOBAL bounds - >= -5356 @ 425.78
505.58/506.99	c #Conflicts:      88000 | #Constraints:      22192
505.58/506.99	c #Conflicts:      89000 | #Constraints:      23192
505.58/506.99	c #Conflicts:      90000 | #Constraints:      24192
505.58/506.99	c INPROCESSING
505.58/506.99	c GARBAGE COLLECT
505.58/506.99	c #Conflicts:      91000 | #Constraints:      19195
505.58/506.99	c #Conflicts:      92000 | #Constraints:      20195
505.58/506.99	c #Conflicts:      93000 | #Constraints:      21195
505.58/506.99	c #Conflicts:      94000 | #Constraints:      22195
505.58/506.99	c #Conflicts:      95000 | #Constraints:      23195
505.58/506.99	c #Conflicts:      96000 | #Constraints:      24195
505.58/506.99	c INPROCESSING
505.58/506.99	c GARBAGE COLLECT
505.58/506.99	c #Conflicts:      97000 | #Constraints:      18999
505.58/506.99	c #Conflicts:      98000 | #Constraints:      19999
505.58/506.99	c #Conflicts:      99000 | #Constraints:      20999
505.58/506.99	c #Conflicts:     100000 | #Constraints:      21999
505.58/506.99	c #Conflicts:     101000 | #Constraints:      22999
505.58/506.99	c #Conflicts:     102000 | #Constraints:      23999
505.58/506.99	c #Conflicts:     103000 | #Constraints:      24999
505.58/506.99	c INPROCESSING
505.58/506.99	c GARBAGE COLLECT
505.58/506.99	c GLOBAL bounds - >= -5356 @ 498.639
535.10/536.57	c #Conflicts:     104000 | #Constraints:      19592
535.10/536.57	c #Conflicts:     105000 | #Constraints:      20592
535.10/536.57	c #Conflicts:     106000 | #Constraints:      21592
535.10/536.57	c #Conflicts:     107000 | #Constraints:      22592
535.10/536.57	c GLOBAL bounds - >= -5356 @ 528.028
573.31/574.85	c #Conflicts:     108000 | #Constraints:      23594
573.31/574.85	c #Conflicts:     109000 | #Constraints:      24594
573.31/574.85	c #Conflicts:     110000 | #Constraints:      25594
573.31/574.85	c INPROCESSING
573.31/574.85	c GARBAGE COLLECT
573.31/574.85	c #Conflicts:     111000 | #Constraints:      20009
573.31/574.85	c #Conflicts:     112000 | #Constraints:      21009
573.31/574.85	c #Conflicts:     113000 | #Constraints:      22009
573.31/574.85	c #Conflicts:     114000 | #Constraints:      23009
573.31/574.85	c GLOBAL bounds - >= -5356 @ 565.601
610.62/612.20	c #Conflicts:     115000 | #Constraints:      24011
610.62/612.20	c #Conflicts:     116000 | #Constraints:      25011
610.62/612.20	c #Conflicts:     117000 | #Constraints:      26011
610.62/612.20	c INPROCESSING
610.62/612.20	c GARBAGE COLLECT
610.62/612.20	c #Conflicts:     118000 | #Constraints:      20214
610.62/612.20	c #Conflicts:     119000 | #Constraints:      21214
610.62/612.20	c #Conflicts:     120000 | #Constraints:      22214
610.62/612.20	c #Conflicts:     121000 | #Constraints:      23214
610.62/612.20	c #Conflicts:     122000 | #Constraints:      24214
610.62/612.20	c GLOBAL bounds - >= -5356 @ 602.509
615.00/616.61	c GLOBAL bounds - >= -5356 @ 606.886
616.10/617.79	c GLOBAL bounds - >= -5356 @ 608.05
619.49/621.19	c #Conflicts:     123000 | #Constraints:      25220
619.49/621.19	c GLOBAL bounds - >= -5356 @ 611.392
621.18/622.87	c GLOBAL bounds - >= -5356 @ 613.064
624.49/626.10	c GLOBAL bounds - >= -5356 @ 616.264
625.27/626.93	c #Conflicts:     124000 | #Constraints:      26226
625.27/626.93	c GLOBAL bounds - >= -5356 @ 617.084
626.17/627.87	c GLOBAL bounds - >= -5356 @ 618.014
628.37/630.03	c INPROCESSING
628.37/630.03	c GARBAGE COLLECT
628.37/630.03	c GLOBAL bounds - >= -5356 @ 620.162
629.27/630.93	c GLOBAL bounds - >= -5356 @ 621.05
629.76/631.44	c GLOBAL bounds - >= -5356 @ 621.549
632.16/633.84	c #Conflicts:     125000 | #Constraints:      20208
632.16/633.84	c GLOBAL bounds - >= -5356 @ 623.897
634.46/636.14	c GLOBAL bounds - >= -5356 @ 626.164
635.65/637.31	c GLOBAL bounds - >= -5356 @ 627.318
636.15/637.85	c GLOBAL bounds - >= -5356 @ 627.847
637.05/638.76	c GLOBAL bounds - >= -5356 @ 628.741
638.04/639.75	c GLOBAL bounds - >= -5356 @ 629.712
638.85/640.59	c GLOBAL bounds - >= -5356 @ 630.543
643.13/644.80	c #Conflicts:     126000 | #Constraints:      21222
643.13/644.80	c GLOBAL bounds - >= -5356 @ 634.695
647.52/649.20	c #Conflicts:     127000 | #Constraints:      22224
647.52/649.20	c GLOBAL bounds - >= -5356 @ 639.019
673.95/675.73	c #Conflicts:     128000 | #Constraints:      23226
673.95/675.73	c #Conflicts:     129000 | #Constraints:      24226
673.95/675.73	c #Conflicts:     130000 | #Constraints:      25226
673.95/675.73	c #Conflicts:     131000 | #Constraints:      26226
673.95/675.73	c INPROCESSING
673.95/675.73	c GARBAGE COLLECT
673.95/675.73	c #Conflicts:     132000 | #Constraints:      20034
673.95/675.73	c GLOBAL bounds - >= -5356 @ 665.058
682.83/684.64	c #Conflicts:     133000 | #Constraints:      21036
682.83/684.64	c GLOBAL bounds - >= -5356 @ 673.847
690.01/691.89	c #Conflicts:     134000 | #Constraints:      22038
690.01/691.89	c GLOBAL bounds - >= -5356 @ 681.032
691.90/693.78	c #Conflicts:     135000 | #Constraints:      23040
691.90/693.78	c GLOBAL bounds - >= -5356 @ 682.894
692.70/694.55	c GLOBAL bounds - >= -5356 @ 683.647
694.50/696.30	c GLOBAL bounds - >= -5356 @ 685.38
697.59/699.46	c GLOBAL bounds - >= -5356 @ 688.496
698.79/700.69	c #Conflicts:     136000 | #Constraints:      24048
698.79/700.69	c GLOBAL bounds - >= -5356 @ 689.704
706.07/707.95	c #Conflicts:     137000 | #Constraints:      25050
706.07/707.95	c GLOBAL bounds - >= -5356 @ 696.886
723.02/724.98	c #Conflicts:     138000 | #Constraints:      26052
723.02/724.98	c #Conflicts:     139000 | #Constraints:      27052
723.02/724.98	c INPROCESSING
723.02/724.98	c GARBAGE COLLECT
723.02/724.98	c #Conflicts:     140000 | #Constraints:      20665
723.02/724.98	c #Conflicts:     141000 | #Constraints:      21665
723.02/724.98	c GLOBAL bounds - >= -5356 @ 713.711
724.02/725.95	c GLOBAL bounds - >= -5356 @ 714.676
737.99/739.95	c #Conflicts:     142000 | #Constraints:      22669
737.99/739.95	c #Conflicts:     143000 | #Constraints:      23669
737.99/739.95	c #Conflicts:     144000 | #Constraints:      24669
737.99/739.95	c GLOBAL bounds - >= -5356 @ 728.375
751.64/753.67	c #Conflicts:     145000 | #Constraints:      25671
751.64/753.67	c #Conflicts:     146000 | #Constraints:      26671
751.64/753.67	c #Conflicts:     147000 | #Constraints:      27671
751.64/753.67	c INPROCESSING
751.64/753.67	c GARBAGE COLLECT
751.64/753.67	c GLOBAL bounds - >= -5356 @ 741.885
758.83/760.86	c #Conflicts:     148000 | #Constraints:      21085
758.83/760.86	c GLOBAL bounds - >= -5356 @ 748.961
761.62/763.67	c #Conflicts:     149000 | #Constraints:      22087
761.62/763.67	c GLOBAL bounds - >= -5356 @ 751.739
764.81/766.87	c GLOBAL bounds - >= -5356 @ 754.895
770.40/772.44	c #Conflicts:     150000 | #Constraints:      23091
770.40/772.44	c GLOBAL bounds - >= -5356 @ 760.413
777.99/780.01	c #Conflicts:     151000 | #Constraints:      24093
777.99/780.01	c GLOBAL bounds - >= -5356 @ 767.882
784.07/786.19	c #Conflicts:     152000 | #Constraints:      25095
784.07/786.19	c GLOBAL bounds - >= -5356 @ 774.024
787.15/789.26	c GLOBAL bounds - >= -5356 @ 777.057
797.52/799.60	c #Conflicts:     153000 | #Constraints:      26099
797.52/799.60	c #Conflicts:     154000 | #Constraints:      27099
797.52/799.60	c GLOBAL bounds - >= -5356 @ 787.236
805.51/807.66	c #Conflicts:     155000 | #Constraints:      28101
805.51/807.66	c INPROCESSING
805.51/807.66	c GARBAGE COLLECT
805.51/807.66	c GLOBAL bounds - >= -5356 @ 795.18
811.60/813.77	c #Conflicts:     156000 | #Constraints:      21309
811.60/813.77	c GLOBAL bounds - >= -5356 @ 801.188
817.58/819.76	c #Conflicts:     157000 | #Constraints:      22311
817.58/819.76	c GLOBAL bounds - >= -5356 @ 807.1
819.37/821.51	c GLOBAL bounds - >= -5356 @ 808.833
820.27/822.40	c GLOBAL bounds - >= -5356 @ 809.709
832.34/834.51	c #Conflicts:     158000 | #Constraints:      23317
832.34/834.51	c #Conflicts:     159000 | #Constraints:      24317
832.34/834.51	c GLOBAL bounds - >= -5356 @ 821.674
836.94/839.14	c #Conflicts:     160000 | #Constraints:      25319
836.94/839.14	c GLOBAL bounds - >= -5356 @ 826.258
842.01/844.21	c #Conflicts:     161000 | #Constraints:      26321
842.01/844.21	c GLOBAL bounds - >= -5356 @ 831.28
845.61/847.89	c GLOBAL bounds - >= -5356 @ 834.91
846.80/849.01	c GLOBAL bounds - >= -5356 @ 836.014
856.47/858.71	c #Conflicts:     162000 | #Constraints:      27327
856.47/858.71	c #Conflicts:     163000 | #Constraints:      28327
856.47/858.71	c INPROCESSING
856.47/858.71	c GARBAGE COLLECT
856.47/858.71	c GLOBAL bounds - >= -5356 @ 845.581
881.91/884.23	c #Conflicts:     164000 | #Constraints:      21335
881.91/884.23	c #Conflicts:     165000 | #Constraints:      22335
881.91/884.23	c #Conflicts:     166000 | #Constraints:      23335
881.91/884.23	c #Conflicts:     167000 | #Constraints:      24335
881.91/884.23	c #Conflicts:     168000 | #Constraints:      25335
881.91/884.23	c GLOBAL bounds - >= -5356 @ 870.794
912.33/914.70	c #Conflicts:     169000 | #Constraints:      26337
912.33/914.70	c #Conflicts:     170000 | #Constraints:      27337
912.33/914.70	c #Conflicts:     171000 | #Constraints:      28337
912.33/914.70	c INPROCESSING
912.33/914.70	c GARBAGE COLLECT
912.33/914.70	c #Conflicts:     172000 | #Constraints:      21135
912.33/914.70	c GLOBAL bounds - >= -5356 @ 900.941
920.31/922.76	c #Conflicts:     173000 | #Constraints:      22137
920.31/922.76	c GLOBAL bounds - >= -5356 @ 908.938
952.23/954.70	c #Conflicts:     174000 | #Constraints:      23139
952.23/954.70	c #Conflicts:     175000 | #Constraints:      24139
952.23/954.70	c #Conflicts:     176000 | #Constraints:      25139
952.23/954.70	c #Conflicts:     177000 | #Constraints:      26139
952.23/954.70	c #Conflicts:     178000 | #Constraints:      27139
952.23/954.70	c GLOBAL bounds - >= -5356 @ 940.476
967.29/969.87	c #Conflicts:     179000 | #Constraints:      28141
967.29/969.87	c GLOBAL bounds - >= -5356 @ 955.495
976.07/978.65	c #Conflicts:     180000 | #Constraints:      29143
976.07/978.65	c INPROCESSING
976.07/978.65	c GARBAGE COLLECT
976.07/978.65	c #Conflicts:     181000 | #Constraints:      21728
976.07/978.65	c GLOBAL bounds - >= -5356 @ 964.164
978.57/981.14	c GLOBAL bounds - >= -5356 @ 966.631
981.25/983.87	c #Conflicts:     182000 | #Constraints:      22732
981.25/983.87	c GLOBAL bounds - >= -5356 @ 969.328
1001.51/1004.16	c #Conflicts:     183000 | #Constraints:      23734
1001.51/1004.16	c #Conflicts:     184000 | #Constraints:      24734
1001.51/1004.16	c #Conflicts:     185000 | #Constraints:      25734
1001.51/1004.16	c #Conflicts:     186000 | #Constraints:      26734
1001.51/1004.16	c GLOBAL bounds - >= -5356 @ 989.386
1005.50/1008.12	c #Conflicts:     187000 | #Constraints:      27736
1005.50/1008.12	c GLOBAL bounds - >= -5356 @ 993.333
1027.23/1029.93	c #Conflicts:     188000 | #Constraints:      28738
1027.23/1029.93	c #Conflicts:     189000 | #Constraints:      29738
1027.23/1029.93	c INPROCESSING
1027.23/1029.93	c GARBAGE COLLECT
1027.23/1029.93	c #Conflicts:     190000 | #Constraints:      22170
1027.23/1029.93	c #Conflicts:     191000 | #Constraints:      23170
1027.23/1029.93	c #Conflicts:     192000 | #Constraints:      24170
1027.23/1029.93	c GLOBAL bounds - >= -5356 @ 1014.83
1029.13/1031.84	c #Conflicts:     193000 | #Constraints:      25172
1029.13/1031.84	c GLOBAL bounds - >= -5356 @ 1016.71
1034.21/1036.98	c #Conflicts:     194000 | #Constraints:      26174
1034.21/1036.98	c GLOBAL bounds - >= -5356 @ 1021.79
1074.82/1077.63	c #Conflicts:     195000 | #Constraints:      27176
1074.82/1077.63	c #Conflicts:     196000 | #Constraints:      28176
1074.82/1077.63	c #Conflicts:     197000 | #Constraints:      29176
1074.82/1077.63	c #Conflicts:     198000 | #Constraints:      30176
1074.82/1077.63	c INPROCESSING
1074.82/1077.63	c GARBAGE COLLECT
1074.82/1077.63	c #Conflicts:     199000 | #Constraints:      22385
1074.82/1077.63	c #Conflicts:     200000 | #Constraints:      23385
1074.82/1077.63	c #Conflicts:     201000 | #Constraints:      24385
1074.82/1077.63	c GLOBAL bounds - >= -5356 @ 1062.1
1254.66/1257.98	c #Conflicts:     202000 | #Constraints:      25387
1254.66/1257.98	c #Conflicts:     203000 | #Constraints:      26387
1254.66/1257.98	c #Conflicts:     204000 | #Constraints:      27387
1254.66/1257.98	c #Conflicts:     205000 | #Constraints:      28387
1254.66/1257.98	c #Conflicts:     206000 | #Constraints:      29387
1254.66/1257.98	c #Conflicts:     207000 | #Constraints:      30387
1254.66/1257.98	c INPROCESSING
1254.66/1257.98	c GARBAGE COLLECT
1254.66/1257.98	c #Conflicts:     208000 | #Constraints:      22403
1254.66/1257.98	c #Conflicts:     209000 | #Constraints:      23403
1254.66/1257.98	c #Conflicts:     210000 | #Constraints:      24403
1254.66/1257.98	c #Conflicts:     211000 | #Constraints:      25403
1254.66/1257.98	c #Conflicts:     212000 | #Constraints:      26403
1254.66/1257.98	c #Conflicts:     213000 | #Constraints:      27403
1254.66/1257.98	c #Conflicts:     214000 | #Constraints:      28403
1254.66/1257.98	c #Conflicts:     215000 | #Constraints:      29403
1254.66/1257.98	c #Conflicts:     216000 | #Constraints:      30403
1254.66/1257.98	c INPROCESSING
1254.66/1257.98	c GARBAGE COLLECT
1254.66/1257.98	c #Conflicts:     217000 | #Constraints:      22207
1254.66/1257.98	c #Conflicts:     218000 | #Constraints:      23207
1254.66/1257.98	c #Conflicts:     219000 | #Constraints:      24207
1254.66/1257.98	c #Conflicts:     220000 | #Constraints:      25207
1254.66/1257.98	c #Conflicts:     221000 | #Constraints:      26207
1254.66/1257.98	c #Conflicts:     222000 | #Constraints:      27207
1254.66/1257.98	c #Conflicts:     223000 | #Constraints:      28207
1254.66/1257.98	c #Conflicts:     224000 | #Constraints:      29207
1254.66/1257.98	c #Conflicts:     225000 | #Constraints:      30207
1254.66/1257.98	c #Conflicts:     226000 | #Constraints:      31207
1254.66/1257.98	c INPROCESSING
1254.66/1257.98	c GARBAGE COLLECT
1254.66/1257.98	c #Conflicts:     227000 | #Constraints:      22815
1254.66/1257.98	c #Conflicts:     228000 | #Constraints:      23815
1254.66/1257.98	c #Conflicts:     229000 | #Constraints:      24815
1254.66/1257.98	c #Conflicts:     230000 | #Constraints:      25815
1254.66/1257.98	c #Conflicts:     231000 | #Constraints:      26815
1254.66/1257.98	c #Conflicts:     232000 | #Constraints:      27815
1254.66/1257.98	c #Conflicts:     233000 | #Constraints:      28815
1254.66/1257.98	c GLOBAL bounds - >= -5356 @ 1240.82
1321.80/1325.27	c #Conflicts:     234000 | #Constraints:      29817
1321.80/1325.27	c #Conflicts:     235000 | #Constraints:      30817
1321.80/1325.27	c #Conflicts:     236000 | #Constraints:      31817
1321.80/1325.27	c INPROCESSING
1321.80/1325.27	c GARBAGE COLLECT
1321.80/1325.27	c #Conflicts:     237000 | #Constraints:      23224
1321.80/1325.27	c #Conflicts:     238000 | #Constraints:      24224
1321.80/1325.27	c #Conflicts:     239000 | #Constraints:      25224
1321.80/1325.27	c #Conflicts:     240000 | #Constraints:      26224
1321.80/1325.27	c GLOBAL bounds - >= -5356 @ 1307.55
1343.55/1347.07	c #Conflicts:     241000 | #Constraints:      27226
1343.55/1347.07	c #Conflicts:     242000 | #Constraints:      28226
1343.55/1347.07	c GLOBAL bounds - >= -5356 @ 1329.2
1357.41/1360.93	c #Conflicts:     243000 | #Constraints:      29228
1357.41/1360.93	c #Conflicts:     244000 | #Constraints:      30228
1357.41/1360.93	c GLOBAL bounds - >= -5356 @ 1342.92
1358.51/1362.07	c GLOBAL bounds - >= -5356 @ 1344.05
1375.57/1379.17	c #Conflicts:     245000 | #Constraints:      31232
1375.57/1379.17	c #Conflicts:     246000 | #Constraints:      32232
1375.57/1379.17	c INPROCESSING
1375.57/1379.17	c GARBAGE COLLECT
1375.57/1379.17	c GLOBAL bounds - >= -5356 @ 1360.96
1391.53/1395.18	c #Conflicts:     247000 | #Constraints:      23421
1391.53/1395.18	c #Conflicts:     248000 | #Constraints:      24421
1391.53/1395.18	c #Conflicts:     249000 | #Constraints:      25421
1391.53/1395.18	c #Conflicts:     250000 | #Constraints:      26421
1391.53/1395.18	c GLOBAL bounds - >= -5356 @ 1376.85
1403.30/1406.91	c #Conflicts:     251000 | #Constraints:      27423
1403.30/1406.91	c GLOBAL bounds - >= -5356 @ 1388.47
1421.85/1425.53	c #Conflicts:     252000 | #Constraints:      28425
1421.85/1425.53	c #Conflicts:     253000 | #Constraints:      29425
1421.85/1425.53	c #Conflicts:     254000 | #Constraints:      30425
1421.85/1425.53	c GLOBAL bounds - >= -5356 @ 1406.9
1425.35/1429.05	c GLOBAL bounds - >= -5356 @ 1410.4
1434.33/1438.09	c #Conflicts:     255000 | #Constraints:      31429
1434.33/1438.09	c GLOBAL bounds - >= -5356 @ 1419.38
1439.80/1443.57	c #Conflicts:     256000 | #Constraints:      32431
1439.80/1443.57	c GLOBAL bounds - >= -5356 @ 1424.82
1443.49/1447.25	c INPROCESSING
1443.49/1447.25	c GARBAGE COLLECT
1443.49/1447.25	c GLOBAL bounds - >= -5356 @ 1428.48
1446.69/1450.43	c GLOBAL bounds - >= -5356 @ 1431.63
1448.29/1452.08	c #Conflicts:     257000 | #Constraints:      23417
1448.29/1452.08	c GLOBAL bounds - >= -5356 @ 1433.26
1450.28/1454.08	c GLOBAL bounds - >= -5356 @ 1435.23
1454.97/1458.71	c #Conflicts:     258000 | #Constraints:      24421
1454.97/1458.71	c GLOBAL bounds - >= -5356 @ 1439.78
1458.66/1462.41	c GLOBAL bounds - >= -5356 @ 1443.45
1460.66/1464.48	c #Conflicts:     259000 | #Constraints:      25425
1460.66/1464.48	c GLOBAL bounds - >= -5356 @ 1445.5
1462.85/1466.64	c GLOBAL bounds - >= -5356 @ 1447.63
1472.03/1475.81	c #Conflicts:     260000 | #Constraints:      26429
1472.03/1475.81	c GLOBAL bounds - >= -5356 @ 1456.72
1475.02/1478.81	c #Conflicts:     261000 | #Constraints:      27431
1475.02/1478.81	c GLOBAL bounds - >= -5356 @ 1459.69
1494.28/1498.18	c #Conflicts:     262000 | #Constraints:      28433
1494.28/1498.18	c #Conflicts:     263000 | #Constraints:      29433
1494.28/1498.18	c GLOBAL bounds - >= -5356 @ 1478.89
1524.90/1528.85	c #Conflicts:     264000 | #Constraints:      30435
1524.90/1528.85	c #Conflicts:     265000 | #Constraints:      31435
1524.90/1528.85	c #Conflicts:     266000 | #Constraints:      32435
1524.90/1528.85	c INPROCESSING
1524.90/1528.85	c GARBAGE COLLECT
1524.90/1528.85	c #Conflicts:     267000 | #Constraints:      23251
1524.90/1528.85	c GLOBAL bounds - >= -5356 @ 1509.24
1568.00/1572.07	c #Conflicts:     268000 | #Constraints:      24253
1568.00/1572.07	c #Conflicts:     269000 | #Constraints:      25253
1568.00/1572.07	c #Conflicts:     270000 | #Constraints:      26253
1568.00/1572.07	c #Conflicts:     271000 | #Constraints:      27253
1568.00/1572.07	c #Conflicts:     272000 | #Constraints:      28253
1568.00/1572.07	c #Conflicts:     273000 | #Constraints:      29253
1568.00/1572.07	c #Conflicts:     274000 | #Constraints:      30253
1568.00/1572.07	c #Conflicts:     275000 | #Constraints:      31253
1568.00/1572.07	c #Conflicts:     276000 | #Constraints:      32253
1568.00/1572.07	c GLOBAL bounds - >= -5356 @ 1552.07
1580.76/1584.81	c #Conflicts:     277000 | #Constraints:      33255
1580.76/1584.81	c INPROCESSING
1580.76/1584.81	c GARBAGE COLLECT
1580.76/1584.81	c GLOBAL bounds - >= -5356 @ 1564.7
1592.62/1596.78	c #Conflicts:     278000 | #Constraints:      23867
1592.62/1596.78	c #Conflicts:     279000 | #Constraints:      24867
1592.62/1596.78	c GLOBAL bounds - >= -5356 @ 1576.59
1598.72/1602.85	c GLOBAL bounds - >= -5356 @ 1582.62
1600.81/1604.98	c #Conflicts:     280000 | #Constraints:      25871
1600.81/1604.98	c GLOBAL bounds - >= -5356 @ 1584.72
1605.80/1609.95	c GLOBAL bounds - >= -5356 @ 1589.63
1607.79/1611.92	c GLOBAL bounds - >= -5356 @ 1591.58
1611.08/1615.20	c #Conflicts:     281000 | #Constraints:      26877
1611.08/1615.20	c GLOBAL bounds - >= -5356 @ 1594.84
1613.08/1617.24	c GLOBAL bounds - >= -5356 @ 1596.86
1615.77/1619.91	c GLOBAL bounds - >= -5356 @ 1599.49
1617.07/1621.21	c #Conflicts:     282000 | #Constraints:      27883
1617.07/1621.21	c GLOBAL bounds - >= -5356 @ 1600.79
1705.55/1709.93	c #Conflicts:     283000 | #Constraints:      28885
1705.55/1709.93	c #Conflicts:     284000 | #Constraints:      29885
1705.55/1709.93	c #Conflicts:     285000 | #Constraints:      30885
1705.55/1709.93	c #Conflicts:     286000 | #Constraints:      31885
1705.55/1709.93	c #Conflicts:     287000 | #Constraints:      32885
1705.55/1709.93	c #Conflicts:     288000 | #Constraints:      33885
1705.55/1709.93	c INPROCESSING
1705.55/1709.93	c GARBAGE COLLECT
1705.55/1709.93	c #Conflicts:     289000 | #Constraints:      24293
1705.55/1709.93	c #Conflicts:     290000 | #Constraints:      25293
1705.55/1709.93	c #Conflicts:     291000 | #Constraints:      26293
1705.55/1709.93	c #Conflicts:     292000 | #Constraints:      27293
1705.55/1709.93	c #Conflicts:     293000 | #Constraints:      28293
1705.55/1709.93	c #Conflicts:     294000 | #Constraints:      29293
1705.55/1709.93	c #Conflicts:     295000 | #Constraints:      30293
1705.55/1709.93	c GLOBAL bounds - >= -5356 @ 1688.37
1777.78/1782.34	c #Conflicts:     296000 | #Constraints:      31295
1777.78/1782.34	c #Conflicts:     297000 | #Constraints:      32295
1777.78/1782.34	c #Conflicts:     298000 | #Constraints:      33295
1777.78/1782.34	c #Conflicts:     299000 | #Constraints:      34295
1777.78/1782.34	c INPROCESSING
1777.78/1782.34	c GARBAGE COLLECT
1777.78/1782.34	c #Conflicts:     300000 | #Constraints:      24498
1777.78/1782.34	c #Conflicts:     301000 | #Constraints:      25498
1777.78/1782.34	c #Conflicts:     302000 | #Constraints:      26498
1777.78/1782.34	c #Conflicts:     303000 | #Constraints:      27498
1777.78/1782.34	c #Conflicts:     304000 | #Constraints:      28498
1777.78/1782.34	c GLOBAL bounds - >= -5356 @ 1760.16
1815.18/1819.81	c #Conflicts:     305000 | #Constraints:      29500
1815.18/1819.81	c #Conflicts:     306000 | #Constraints:      30500
1815.18/1819.81	c #Conflicts:     307000 | #Constraints:      31500
1815.18/1819.81	c #Conflicts:     308000 | #Constraints:      32500
1815.18/1819.81	c GLOBAL bounds - >= -5356 @ 1797.39
2065.45/2070.71	c #Conflicts:     309000 | #Constraints:      33502
2065.45/2070.71	c #Conflicts:     310000 | #Constraints:      34502
2065.45/2070.71	c INPROCESSING
2065.45/2070.71	c GARBAGE COLLECT
2065.45/2070.71	c #Conflicts:     311000 | #Constraints:      24519
2065.45/2070.71	c #Conflicts:     312000 | #Constraints:      25519
2065.45/2070.71	c #Conflicts:     313000 | #Constraints:      26519
2065.45/2070.71	c #Conflicts:     314000 | #Constraints:      27519
2065.45/2070.71	c #Conflicts:     315000 | #Constraints:      28519
2065.45/2070.71	c #Conflicts:     316000 | #Constraints:      29519
2065.45/2070.71	c #Conflicts:     317000 | #Constraints:      30519
2065.45/2070.71	c #Conflicts:     318000 | #Constraints:      31519
2065.45/2070.71	c #Conflicts:     319000 | #Constraints:      32519
2065.45/2070.71	c #Conflicts:     320000 | #Constraints:      33519
2065.45/2070.71	c #Conflicts:     321000 | #Constraints:      34519
2065.45/2070.71	c INPROCESSING
2065.45/2070.71	c GARBAGE COLLECT
2065.45/2070.71	c #Conflicts:     322000 | #Constraints:      24332
2065.45/2070.71	c #Conflicts:     323000 | #Constraints:      25332
2065.45/2070.71	c #Conflicts:     324000 | #Constraints:      26332
2065.45/2070.71	c #Conflicts:     325000 | #Constraints:      27332
2065.45/2070.71	c #Conflicts:     326000 | #Constraints:      28332
2065.45/2070.71	c #Conflicts:     327000 | #Constraints:      29332
2065.45/2070.71	c #Conflicts:     328000 | #Constraints:      30332
2065.45/2070.71	c #Conflicts:     329000 | #Constraints:      31332
2065.45/2070.71	c #Conflicts:     330000 | #Constraints:      32332
2065.45/2070.71	c #Conflicts:     331000 | #Constraints:      33332
2065.45/2070.71	c #Conflicts:     332000 | #Constraints:      34332
2065.45/2070.71	c #Conflicts:     333000 | #Constraints:      35332
2065.45/2070.71	c INPROCESSING
2065.45/2070.71	c GARBAGE COLLECT
2065.45/2070.71	c #Conflicts:     334000 | #Constraints:      24940
2065.45/2070.71	c #Conflicts:     335000 | #Constraints:      25940
2065.45/2070.71	c #Conflicts:     336000 | #Constraints:      26940
2065.45/2070.71	c #Conflicts:     337000 | #Constraints:      27940
2065.45/2070.71	c GLOBAL bounds - >= -5356 @ 2046.68
2304.65/2310.52	c #Conflicts:     338000 | #Constraints:      28942
2304.65/2310.52	c #Conflicts:     339000 | #Constraints:      29942
2304.65/2310.52	c #Conflicts:     340000 | #Constraints:      30942
2304.65/2310.52	c #Conflicts:     341000 | #Constraints:      31942
2304.65/2310.52	c #Conflicts:     342000 | #Constraints:      32942
2304.65/2310.52	c #Conflicts:     343000 | #Constraints:      33942
2304.65/2310.52	c #Conflicts:     344000 | #Constraints:      34942
2304.65/2310.52	c #Conflicts:     345000 | #Constraints:      35942
2304.65/2310.52	c INPROCESSING
2304.65/2310.52	c GARBAGE COLLECT
2304.65/2310.52	c #Conflicts:     346000 | #Constraints:      25345
2304.65/2310.52	c #Conflicts:     347000 | #Constraints:      26345
2304.65/2310.52	c #Conflicts:     348000 | #Constraints:      27345
2304.65/2310.52	c #Conflicts:     349000 | #Constraints:      28345
2304.65/2310.52	c #Conflicts:     350000 | #Constraints:      29345
2304.65/2310.52	c #Conflicts:     351000 | #Constraints:      30345
2304.65/2310.52	c #Conflicts:     352000 | #Constraints:      31345
2304.65/2310.52	c #Conflicts:     353000 | #Constraints:      32345
2304.65/2310.52	c #Conflicts:     354000 | #Constraints:      33345
2304.65/2310.52	c #Conflicts:     355000 | #Constraints:      34345
2304.65/2310.52	c #Conflicts:     356000 | #Constraints:      35345
2304.65/2310.52	c #Conflicts:     357000 | #Constraints:      36345
2304.65/2310.52	c INPROCESSING
2304.65/2310.52	c GARBAGE COLLECT
2304.65/2310.52	c #Conflicts:     358000 | #Constraints:      25533
2304.65/2310.52	c #Conflicts:     359000 | #Constraints:      26533
2304.65/2310.52	c #Conflicts:     360000 | #Constraints:      27533
2304.65/2310.52	c #Conflicts:     361000 | #Constraints:      28533
2304.65/2310.52	c GLOBAL bounds - >= -5356 @ 2284.97
2370.10/2376.19	c #Conflicts:     362000 | #Constraints:      29535
2370.10/2376.19	c #Conflicts:     363000 | #Constraints:      30535
2370.10/2376.19	c #Conflicts:     364000 | #Constraints:      31535
2370.10/2376.19	c #Conflicts:     365000 | #Constraints:      32535
2370.10/2376.19	c #Conflicts:     366000 | #Constraints:      33535
2370.10/2376.19	c #Conflicts:     367000 | #Constraints:      34535
2370.10/2376.19	c #Conflicts:     368000 | #Constraints:      35535
2370.10/2376.19	c #Conflicts:     369000 | #Constraints:      36535
2370.10/2376.19	c INPROCESSING
2370.10/2376.19	c GARBAGE COLLECT
2370.10/2376.19	c GLOBAL bounds - >= -5356 @ 2350.27
2385.45/2391.55	c #Conflicts:     370000 | #Constraints:      25527
2385.45/2391.55	c #Conflicts:     371000 | #Constraints:      26527
2385.45/2391.55	c #Conflicts:     372000 | #Constraints:      27527
2385.45/2391.55	c GLOBAL bounds - >= -5356 @ 2365.42
2418.47/2424.67	c #Conflicts:     373000 | #Constraints:      28529
2418.47/2424.67	c #Conflicts:     374000 | #Constraints:      29529
2418.47/2424.67	c #Conflicts:     375000 | #Constraints:      30529
2418.47/2424.67	c #Conflicts:     376000 | #Constraints:      31529
2418.47/2424.67	c #Conflicts:     377000 | #Constraints:      32529
2418.47/2424.67	c #Conflicts:     378000 | #Constraints:      33529
2418.47/2424.67	c #Conflicts:     379000 | #Constraints:      34529
2418.47/2424.67	c GLOBAL bounds - >= -5356 @ 2398.09
2433.94/2440.16	c #Conflicts:     380000 | #Constraints:      35531
2433.94/2440.16	c GLOBAL bounds - >= -5356 @ 2413.46
2439.32/2445.52	c #Conflicts:     381000 | #Constraints:      36533
2439.32/2445.52	c GLOBAL bounds - >= -5356 @ 2418.79
2448.39/2454.68	c INPROCESSING
2448.39/2454.68	c GARBAGE COLLECT
2448.39/2454.68	c #Conflicts:     382000 | #Constraints:      25326
2448.39/2454.68	c GLOBAL bounds - >= -5356 @ 2427.89
2456.07/2462.35	c #Conflicts:     383000 | #Constraints:      26328
2456.07/2462.35	c GLOBAL bounds - >= -5356 @ 2435.49
2459.37/2465.68	c GLOBAL bounds - >= -5356 @ 2438.79
2482.01/2488.35	c #Conflicts:     384000 | #Constraints:      27332
2482.01/2488.35	c #Conflicts:     385000 | #Constraints:      28332
2482.01/2488.35	c #Conflicts:     386000 | #Constraints:      29332
2482.01/2488.35	c #Conflicts:     387000 | #Constraints:      30332
2482.01/2488.35	c GLOBAL bounds - >= -5356 @ 2461.2
2497.87/2504.25	c #Conflicts:     388000 | #Constraints:      31334
2497.87/2504.25	c GLOBAL bounds - >= -5356 @ 2476.92
2502.56/2508.99	c #Conflicts:     389000 | #Constraints:      32336
2502.56/2508.99	c GLOBAL bounds - >= -5356 @ 2481.62
2517.03/2523.48	c #Conflicts:     390000 | #Constraints:      33338
2517.03/2523.48	c GLOBAL bounds - >= -5356 @ 2495.98
2524.40/2530.81	c #Conflicts:     391000 | #Constraints:      34340
2524.40/2530.81	c GLOBAL bounds - >= -5356 @ 2503.27
2532.19/2538.64	c GLOBAL bounds - >= -5356 @ 2511.05
2535.28/2541.73	c #Conflicts:     392000 | #Constraints:      35344
2535.28/2541.73	c GLOBAL bounds - >= -5356 @ 2514.12
2541.86/2548.30	c GLOBAL bounds - >= -5356 @ 2520.64
2544.25/2550.77	c #Conflicts:     393000 | #Constraints:      36348
2544.25/2550.77	c GLOBAL bounds - >= -5356 @ 2523.09
2560.41/2566.94	c #Conflicts:     394000 | #Constraints:      37350
2560.41/2566.94	c INPROCESSING
2560.41/2566.94	c GARBAGE COLLECT
2560.41/2566.94	c #Conflicts:     395000 | #Constraints:      25963
2560.41/2566.94	c GLOBAL bounds - >= -5356 @ 2539.15
2563.51/2570.02	c GLOBAL bounds - >= -5356 @ 2542.2
2577.58/2584.11	c #Conflicts:     396000 | #Constraints:      26967
2577.58/2584.11	c #Conflicts:     397000 | #Constraints:      27967
2577.58/2584.11	c #Conflicts:     398000 | #Constraints:      28967
2577.58/2584.11	c GLOBAL bounds - >= -5356 @ 2556.02
2582.26/2588.80	c GLOBAL bounds - >= -5356 @ 2560.66
2587.05/2593.64	c #Conflicts:     399000 | #Constraints:      29971
2587.05/2593.64	c GLOBAL bounds - >= -5356 @ 2565.44
2598.32/2604.91	c #Conflicts:     400000 | #Constraints:      30973
2598.32/2604.91	c GLOBAL bounds - >= -5356 @ 2576.62
2609.29/2615.97	c #Conflicts:     401000 | #Constraints:      31975
2609.29/2615.97	c GLOBAL bounds - >= -5356 @ 2587.63
2613.88/2620.54	c #Conflicts:     402000 | #Constraints:      32977
2613.88/2620.54	c GLOBAL bounds - >= -5356 @ 2592.16
2620.06/2626.77	c GLOBAL bounds - >= -5356 @ 2598.35
2658.66/2665.48	c #Conflicts:     403000 | #Constraints:      33981
2658.66/2665.48	c #Conflicts:     404000 | #Constraints:      34981
2658.66/2665.48	c #Conflicts:     405000 | #Constraints:      35981
2658.66/2665.48	c #Conflicts:     406000 | #Constraints:      36981
2658.66/2665.48	c GLOBAL bounds - >= -5356 @ 2636.57
2668.14/2674.99	c #Conflicts:     407000 | #Constraints:      37983
2668.14/2674.99	c INPROCESSING
2668.14/2674.99	c GARBAGE COLLECT
2668.14/2674.99	c GLOBAL bounds - >= -5356 @ 2646.01
2693.19/2700.02	c #Conflicts:     408000 | #Constraints:      26318
2693.19/2700.02	c #Conflicts:     409000 | #Constraints:      27318
2693.19/2700.02	c #Conflicts:     410000 | #Constraints:      28318
2693.19/2700.02	c GLOBAL bounds - >= -5356 @ 2670.76
2702.85/2709.75	c #Conflicts:     411000 | #Constraints:      29320
2702.85/2709.75	c GLOBAL bounds - >= -5356 @ 2680.38
2940.56/2948.03	c #Conflicts:     412000 | #Constraints:      30322
2940.56/2948.03	c #Conflicts:     413000 | #Constraints:      31322
2940.56/2948.03	c #Conflicts:     414000 | #Constraints:      32322
2940.56/2948.03	c #Conflicts:     415000 | #Constraints:      33322
2940.56/2948.03	c #Conflicts:     416000 | #Constraints:      34322
2940.56/2948.03	c #Conflicts:     417000 | #Constraints:      35322
2940.56/2948.03	c #Conflicts:     418000 | #Constraints:      36322
2940.56/2948.03	c #Conflicts:     419000 | #Constraints:      37322
2940.56/2948.03	c #Conflicts:     420000 | #Constraints:      38322
2940.56/2948.03	c INPROCESSING
2940.56/2948.03	c GARBAGE COLLECT
2940.56/2948.03	c #Conflicts:     421000 | #Constraints:      26531
2940.56/2948.03	c #Conflicts:     422000 | #Constraints:      27531
2940.56/2948.03	c #Conflicts:     423000 | #Constraints:      28531
2940.56/2948.03	c #Conflicts:     424000 | #Constraints:      29531
2940.56/2948.03	c #Conflicts:     425000 | #Constraints:      30531
2940.56/2948.03	c #Conflicts:     426000 | #Constraints:      31531
2940.56/2948.03	c #Conflicts:     427000 | #Constraints:      32531
2940.56/2948.03	c #Conflicts:     428000 | #Constraints:      33531
2940.56/2948.03	c #Conflicts:     429000 | #Constraints:      34531
2940.56/2948.03	c #Conflicts:     430000 | #Constraints:      35531
2940.56/2948.03	c #Conflicts:     431000 | #Constraints:      36531
2940.56/2948.03	c #Conflicts:     432000 | #Constraints:      37531
2940.56/2948.03	c #Conflicts:     433000 | #Constraints:      38531
2940.56/2948.03	c INPROCESSING
2940.56/2948.03	c GARBAGE COLLECT
2940.56/2948.03	c #Conflicts:     434000 | #Constraints:      26539
2940.56/2948.03	c #Conflicts:     435000 | #Constraints:      27539
2940.56/2948.03	c #Conflicts:     436000 | #Constraints:      28539
2940.56/2948.03	c #Conflicts:     437000 | #Constraints:      29539
2940.56/2948.03	c #Conflicts:     438000 | #Constraints:      30539
2940.56/2948.03	c #Conflicts:     439000 | #Constraints:      31539
2940.56/2948.03	c #Conflicts:     440000 | #Constraints:      32539
2940.56/2948.03	c #Conflicts:     441000 | #Constraints:      33539
2940.56/2948.03	c #Conflicts:     442000 | #Constraints:      34539
2940.56/2948.03	c #Conflicts:     443000 | #Constraints:      35539
2940.56/2948.03	c #Conflicts:     444000 | #Constraints:      36539
2940.56/2948.03	c #Conflicts:     445000 | #Constraints:      37539
2940.56/2948.03	c #Conflicts:     446000 | #Constraints:      38539
2940.56/2948.03	c INPROCESSING
2940.56/2948.03	c GARBAGE COLLECT
2940.56/2948.03	c #Conflicts:     447000 | #Constraints:      26351
2940.56/2948.03	c #Conflicts:     448000 | #Constraints:      27351
2940.56/2948.03	c #Conflicts:     449000 | #Constraints:      28351
2940.56/2948.03	c #Conflicts:     450000 | #Constraints:      29351
2940.56/2948.03	c GLOBAL bounds - >= -5356 @ 2916.49
3600.07/3609.20	c #Conflicts:     451000 | #Constraints:      30353
3600.07/3609.20	c #Conflicts:     452000 | #Constraints:      31353
3600.07/3609.20	c #Conflicts:     453000 | #Constraints:      32353
3600.07/3609.20	c #Conflicts:     454000 | #Constraints:      33353
3600.07/3609.20	c #Conflicts:     455000 | #Constraints:      34353
3600.07/3609.20	c #Conflicts:     456000 | #Constraints:      35353
3600.07/3609.20	c #Conflicts:     457000 | #Constraints:      36353
3600.07/3609.20	c #Conflicts:     458000 | #Constraints:      37353
3600.07/3609.20	c #Conflicts:     459000 | #Constraints:      38353
3600.07/3609.20	c #Conflicts:     460000 | #Constraints:      39353
3600.07/3609.20	c INPROCESSING
3600.07/3609.20	c GARBAGE COLLECT
3600.07/3609.20	c #Conflicts:     461000 | #Constraints:      26958
3600.07/3609.20	c #Conflicts:     462000 | #Constraints:      27958
3600.07/3609.20	c #Conflicts:     463000 | #Constraints:      28958
3600.07/3609.20	c #Conflicts:     464000 | #Constraints:      29958
3600.07/3609.20	c #Conflicts:     465000 | #Constraints:      30958
3600.07/3609.20	c #Conflicts:     466000 | #Constraints:      31958
3600.07/3609.20	c #Conflicts:     467000 | #Constraints:      32958
3600.07/3609.20	c #Conflicts:     468000 | #Constraints:      33958
3600.07/3609.20	c #Conflicts:     469000 | #Constraints:      34958
3600.07/3609.20	c #Conflicts:     470000 | #Constraints:      35958
3600.07/3609.20	c #Conflicts:     471000 | #Constraints:      36958
3600.07/3609.20	c #Conflicts:     472000 | #Constraints:      37958
3600.07/3609.20	c #Conflicts:     473000 | #Constraints:      38958
3600.07/3609.20	c #Conflicts:     474000 | #Constraints:      39958
3600.07/3609.20	c INPROCESSING
3600.07/3609.20	c GARBAGE COLLECT
3600.07/3609.20	c #Conflicts:     475000 | #Constraints:      27366
3600.07/3609.20	c #Conflicts:     476000 | #Constraints:      28366
3600.07/3609.20	c #Conflicts:     477000 | #Constraints:      29366
3600.07/3609.20	c #Conflicts:     478000 | #Constraints:      30366
3600.07/3609.20	c #Conflicts:     479000 | #Constraints:      31366
3600.07/3609.20	c #Conflicts:     480000 | #Constraints:      32366
3600.07/3609.20	c #Conflicts:     481000 | #Constraints:      33366
3600.07/3609.20	c #Conflicts:     482000 | #Constraints:      34366
3600.07/3609.20	c #Conflicts:     483000 | #Constraints:      35366
3600.07/3609.20	c #Conflicts:     484000 | #Constraints:      36366
3600.07/3609.20	c #Conflicts:     485000 | #Constraints:      37366
3600.07/3609.20	c #Conflicts:     486000 | #Constraints:      38366
3600.07/3609.20	c #Conflicts:     487000 | #Constraints:      39366
3600.07/3609.20	c #Conflicts:     488000 | #Constraints:      40366
3600.07/3609.20	c INPROCESSING
3600.07/3609.20	c GARBAGE COLLECT
3600.07/3609.20	c #Conflicts:     489000 | #Constraints:      27568
3600.07/3609.20	c #Conflicts:     490000 | #Constraints:      28568
3600.07/3609.20	c #Conflicts:     491000 | #Constraints:      29568
3600.07/3609.20	c #Conflicts:     492000 | #Constraints:      30568
3600.07/3609.20	c #Conflicts:     493000 | #Constraints:      31568
3600.07/3609.20	c #Conflicts:     494000 | #Constraints:      32568
3600.07/3609.20	c #Conflicts:     495000 | #Constraints:      33568
3600.07/3609.20	c #Conflicts:     496000 | #Constraints:      34568
3600.07/3609.20	c #Conflicts:     497000 | #Constraints:      35568
3600.07/3609.20	c #Conflicts:     498000 | #Constraints:      36568
3600.07/3609.20	c #Conflicts:     499000 | #Constraints:      37568
3600.07/3609.20	c #Conflicts:     500000 | #Constraints:      38568
3600.07/3609.20	c #Conflicts:     501000 | #Constraints:      39568
3600.07/3609.20	c #Conflicts:     502000 | #Constraints:      40568
3600.07/3609.20	c INPROCESSING
3600.07/3609.20	c GARBAGE COLLECT
3600.07/3609.20	c #Conflicts:     503000 | #Constraints:      27569
3600.07/3609.20	c #Conflicts:     504000 | #Constraints:      28569
3600.07/3609.20	c #Conflicts:     505000 | #Constraints:      29569
3600.07/3609.20	c #Conflicts:     506000 | #Constraints:      30569
3600.07/3609.20	c #Conflicts:     507000 | #Constraints:      31569
3600.07/3609.20	c #Conflicts:     508000 | #Constraints:      32569
3600.07/3609.20	c #Conflicts:     509000 | #Constraints:      33569
3600.07/3609.20	c #Conflicts:     510000 | #Constraints:      34569
3600.07/3609.20	c #Conflicts:     511000 | #Constraints:      35569
3600.07/3609.20	c #Conflicts:     512000 | #Constraints:      36569
3600.07/3609.20	c #Conflicts:     513000 | #Constraints:      37569
3600.07/3609.20	c #Conflicts:     514000 | #Constraints:      38569
3600.07/3609.20	c #Conflicts:     515000 | #Constraints:      39569
3600.07/3609.20	c #Conflicts:     516000 | #Constraints:      40569
3600.07/3609.20	c cpu time 3574.03 s
3600.07/3609.20	c deterministic time 2 2.00e+00
3600.07/3609.20	c optimization time 3573.98 s
3600.07/3609.20	c total solve time 0 s
3600.07/3609.20	c core-guided solve time 0 s
3600.07/3609.20	c propagation time 0.004297 s
3600.07/3609.20	c conflict analysis time 0 s
3600.07/3609.20	c propagations 1
3600.07/3609.20	c resolve steps 0
3600.07/3609.20	c decisions 0
3600.07/3609.20	c conflicts 0
3600.07/3609.20	c restarts 0
3600.07/3609.20	c inprocessing phases 0
3600.07/3609.20	c garbage collections 0 ,( -nan )
3600.07/3609.20	c input clauses 10248 ,( 85.04 )
3600.07/3609.20	c input cardinalities 1803 ,( 14.96 )
3600.07/3609.20	c input general constraints 0 ,( 0.00 )
3600.07/3609.20	c input average constraint length 3.81
3600.07/3609.20	c input average constraint degree 1.29
3600.07/3609.20	c learned clauses 0 ,( 0.00 )
3600.07/3609.20	c learned cardinalities 0 ,( 0.00 )
3600.07/3609.20	c learned general constraints 0 ,( 0.00 )
3600.07/3609.20	c learned average constraint length 0.00
3600.07/3609.20	c learned average constraint degree 0.00
3600.07/3609.20	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3609.20	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3609.20	c watched   constraints 0 ,( -nan ) 
3600.07/3609.20	c counting  constraints 0 ,( -nan ) 
3600.07/3609.20	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3609.20	c gcd simplifications 0
3600.07/3609.20	c detected cardinalities 0
3600.07/3609.20	c weakened non-implied lits 0
3600.07/3609.20	c weakened non-implying lits 0
3600.07/3609.20	c original variables 10772
3600.07/3609.20	c clausal propagations 0
3600.07/3609.20	c cardinality propagations 0
3600.07/3609.20	c watched propagations 0
3600.07/3609.20	c counting propagations 0
3600.07/3609.20	c watch lookups 0
3600.07/3609.20	c watch backjump lookups 0
3600.07/3609.20	c watch checks 0
3600.07/3609.20	c propagation checks 0
3600.07/3609.20	c constraint additions 0
3600.07/3609.20	c trail pops 0
3600.07/3609.20	c formula constraints 12051
3600.07/3609.20	c learned constraints 0
3600.07/3609.20	c bound constraints 0
3600.07/3609.20	c core-guided constraints 0
3600.07/3609.20	c encountered formula constraints 0
3600.07/3609.20	c encountered learned constraints 0
3600.07/3609.20	c encountered bound constraints 0
3600.07/3609.20	c encountered core-guided constraints 0
3600.07/3609.20	c LP total time 0 s
3600.07/3609.20	c LP solve time 0 s
3600.07/3609.20	c LP constraints added 0
3600.07/3609.20	c LP constraints removed 0
3600.07/3609.20	c LP pivots internal 0
3600.07/3609.20	c LP pivots root 0
3600.07/3609.20	c LP calls 0
3600.07/3609.20	c LP optimalities 0
3600.07/3609.20	c LP no pivot count 0
3600.07/3609.20	c LP infeasibilities 0
3600.07/3609.20	c LP valid Farkas constraints 0
3600.07/3609.20	c LP learned Farkas constraints 0
3600.07/3609.20	c LP basis resets 0
3600.07/3609.20	c LP cycling count 0
3600.07/3609.20	c LP singular count 0
3600.07/3609.20	c LP no primal count 0
3600.07/3609.20	c LP no farkas count 0
3600.07/3609.20	c LP other issue count 0
3600.07/3609.20	c LP Gomory cuts 0
3600.07/3609.20	c LP learned cuts 0
3600.07/3609.20	c LP deleted cuts 0
3600.07/3609.20	c LP encountered Gomory constraints 0
3600.07/3609.20	c LP encountered Farkas constraints 0
3600.07/3609.20	c LP encountered learned Farkas constraints 0
3600.07/3609.20	c CG auxiliary variables introduced 0
3600.07/3609.20	c CG solutions found 0
3600.07/3609.20	c CG cores constructed 0
3600.07/3609.20	c CG core cardinality constraints returned 0
3600.07/3609.20	c CG unit cores 0
3600.07/3609.20	c CG single cores 0
3600.07/3609.20	c CG blocks removed during cardinality reduction 0
3600.07/3609.20	c CG first core best 0
3600.07/3609.20	c CG decision core best 0
3600.07/3609.20	c CG core reduction tie 0
3600.07/3609.20	c CG core degree average 0.00
3600.07/3609.20	c CG core slack average 0.00
3600.07/3609.20	c CG core upper bound improvements 0
3600.07/3609.20	c STR number of successful calls 0
3600.07/3609.20	c STR number of unsuccessful calls 0
3600.07/3609.20	c STR number of inconclusive calls 0
3600.07/3609.20	c STR number of successful attempts 0
3600.07/3609.20	c STR number of unsuccessful attempts 0
3600.07/3609.20	c STR number of inconclusive attempts 0
3600.07/3609.20	c STR average degree increase per successful call inf
3600.07/3609.20	c STR average degree increase per successful attempt inf
3600.07/3609.20	c STR total number of conflicts for successful attempts 0
3600.07/3609.20	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.20	c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.20	c STR average number of conflicts per successful attempt inf
3600.07/3609.20	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.20	c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.20	c AVG.sumWPerc -nan 
3600.07/3609.20	c bigint constraints 0 
3600.07/3609.20	s UNKNOWN
3600.07/3609.20	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 (60646 MiB free)
  memory of node 1: 64465 MiB (61495 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484446-1751292234/watcher-4484446-1751292234 -o /tmp/evaluation-result-4484446-1751292234/solver-4484446-1751292234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39124 --watchdog 3760 run-opt.sh HOME/instance-4484446-1751292234.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=39183, runsolver pid=39165

[startup+0.100059 s]*
/proc/loadavg: 0.73 1.87 2.88 5/272 39185
/proc/meminfo: memFree=125018616/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=83532 memory=35068 CPUtime=0.07 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 6498 0 0 0 5 2 0 0 20 0 1 0 44897914 85536768 8767 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 20883 8767 2304 1147 0 8310 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 87724 KiB
Current children cumulated memory: 38140 KiB

[startup+0.205493 s]*
/proc/loadavg: 0.73 1.87 2.88 5/272 39185
/proc/meminfo: memFree=125008728/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=83860 memory=38496 CPUtime=0.18 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 6807 0 0 0 15 3 0 0 20 0 1 0 44897914 85872640 9624 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 20965 9624 2336 1147 0 8392 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 88052 KiB
Current children cumulated memory: 41568 KiB

[startup+0.305344 s]*
/proc/loadavg: 0.73 1.87 2.88 5/272 39185
/proc/meminfo: memFree=125000664/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=83860 memory=38496 CPUtime=0.28 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 6815 0 0 0 24 4 0 0 20 0 1 0 44897914 85872640 9624 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 20965 9624 2336 1147 0 8392 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 88052 KiB
Current children cumulated memory: 41568 KiB

[startup+0.700189 s]
/proc/loadavg: 0.73 1.87 2.88 5/272 39185
/proc/meminfo: memFree=124970612/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=97448 memory=52960 CPUtime=0.66 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 10436 0 0 0 59 7 0 0 20 0 1 0 44897914 99786752 13240 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 24362 13240 2336 1147 0 11789 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 101640 KiB
Current children cumulated memory: 56032 KiB

[startup+1.50019 s]
/proc/loadavg: 0.99 1.91 2.88 5/272 39185
/proc/meminfo: memFree=124888892/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=149744 memory=104784 CPUtime=1.46 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 21364 0 0 0 136 10 0 0 20 0 1 0 44897914 153337856 26196 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 37436 26196 2336 1147 0 24863 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 107856 KiB

[startup+3.10548 s]
/proc/loadavg: 0.99 1.91 2.88 5/272 39185
/proc/meminfo: memFree=124601704/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=247988 memory=188756 CPUtime=3.07 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 37750 0 0 0 285 22 0 0 20 0 1 0 44897914 253939712 47189 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 61997 47189 2336 1147 0 49424 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 252180 KiB
Current children cumulated memory: 191828 KiB

[startup+6.30015 s]
/proc/loadavg: 1.23 1.94 2.89 5/272 39185
/proc/meminfo: memFree=124315232/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=386148 memory=310168 CPUtime=6.25 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 60472 0 0 0 592 33 0 0 20 0 1 0 44897914 395415552 77542 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 96537 77542 2336 1147 0 83964 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 390340 KiB
Current children cumulated memory: 313240 KiB

[startup+12.7002 s]
/proc/loadavg: 1.45 1.98 2.90 5/272 39185
/proc/meminfo: memFree=124049424/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=473616 memory=373452 CPUtime=12.63 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 70657 0 0 0 1217 46 0 0 20 0 1 0 44897914 484982784 93363 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 118404 93363 2336 1147 0 105831 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 477808 KiB
Current children cumulated memory: 376524 KiB

[startup+25.5002 s]
/proc/loadavg: 1.92 2.06 2.91 5/271 39231
/proc/meminfo: memFree=123472392/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=745644 memory=568576 CPUtime=25.4 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 107192 0 0 0 2467 73 0 0 20 0 1 0 44897914 763539456 142144 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 186411 142144 2336 1147 0 173838 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 749836 KiB
Current children cumulated memory: 571648 KiB

[startup+51.1055 s]
/proc/loadavg: 2.74 2.25 2.95 5/271 39232
/proc/meminfo: memFree=123133768/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=823780 memory=717604 CPUtime=50.95 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 130647 0 0 0 4967 128 0 0 20 0 1 0 44897914 843550720 179401 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 205945 179401 2336 1147 0 193372 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 827972 KiB
Current children cumulated memory: 720676 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.54 3.01 5/271 39233
/proc/meminfo: memFree=122470060/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=1379220 memory=1131572 CPUtime=102.02 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 211666 0 0 0 9992 210 0 0 20 0 1 0 44897914 1412321280 282893 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 344805 282893 2336 1147 0 332232 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1383412 KiB
Current children cumulated memory: 1134644 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 2.82 3.08 5/271 39328
/proc/meminfo: memFree=121717324/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=1391092 memory=1202456 CPUtime=161.86 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 221230 0 0 0 15912 274 0 0 20 0 1 0 44897914 1424478208 300614 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 347773 300614 2336 1147 0 335200 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1395284 KiB
Current children cumulated memory: 1205528 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 3.05 3.15 5/271 39330
/proc/meminfo: memFree=121460640/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=1393300 memory=1221508 CPUtime=221.71 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 223988 0 0 0 21828 343 0 0 20 0 1 0 44897914 1426739200 305377 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 348325 305377 2336 1147 0 335752 0
Current children cumulated CPU time: 221.71 s

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

[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=5268068 memory=4205432 CPUtime=3094.47 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 787709 0 0 0 306997 2450 0 0 20 0 1 0 44897914 5394501632 1051358 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 1317017 1051358 2336 1147 0 1304444 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 5272260 KiB
Current children cumulated memory: 4208504 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 39480
/proc/meminfo: memFree=112899956/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=5292132 memory=4230648 CPUtime=3154.32 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 794139 0 0 0 312964 2468 0 0 20 0 1 0 44897914 5419143168 1057662 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 1323033 1057662 2336 1147 0 1310460 0
Current children cumulated CPU time: 3154.32 s
Current children cumulated vsize: 5296324 KiB
Current children cumulated memory: 4233720 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/268 39482
/proc/meminfo: memFree=112591452/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=5294180 memory=4237012 CPUtime=3214.17 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 795239 0 0 0 318941 2476 0 0 20 0 1 0 44897914 5421240320 1059253 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 1323545 1059253 2336 1147 0 1310972 0
Current children cumulated CPU time: 3214.17 s
Current children cumulated vsize: 5298372 KiB
Current children cumulated memory: 4240084 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 39485
/proc/meminfo: memFree=112390100/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=5294180 memory=4237012 CPUtime=3274.01 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 795287 0 0 0 324915 2486 0 0 20 0 1 0 44897914 5421240320 1059253 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 1323545 1059253 2336 1147 0 1310972 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 5298372 KiB
Current children cumulated memory: 4240084 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/270 39490
/proc/meminfo: memFree=111864004/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=5365860 memory=4485316 CPUtime=3333.85 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 829418 0 0 0 330881 2504 0 0 20 0 1 0 44897914 5494640640 1121329 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 1341465 1121329 2336 1147 0 1328892 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 5370052 KiB
Current children cumulated memory: 4488388 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 39493
/proc/meminfo: memFree=111791904/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=5365860 memory=4485316 CPUtime=3393.7 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 829418 0 0 0 336839 2531 0 0 20 0 1 0 44897914 5494640640 1121329 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 1341465 1121329 2336 1147 0 1328892 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 5370052 KiB
Current children cumulated memory: 4488388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 39506
/proc/meminfo: memFree=111778952/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=5365860 memory=4485316 CPUtime=3453.55 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 829419 0 0 0 342796 2559 0 0 20 0 1 0 44897914 5494640640 1121329 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 1341465 1121329 2336 1147 0 1328892 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 5370052 KiB
Current children cumulated memory: 4488388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/269 39508
/proc/meminfo: memFree=111725764/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=5365860 memory=4485316 CPUtime=3513.39 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 829453 0 0 0 348771 2568 0 0 20 0 1 0 44897914 5494640640 1121329 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 1341465 1121329 2336 1147 0 1328892 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 5370052 KiB
Current children cumulated memory: 4488388 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 39510
/proc/meminfo: memFree=111494200/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=5735024 memory=4685380 CPUtime=3573.24 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 879641 0 0 0 354734 2590 0 0 20 0 1 0 44897914 5872664576 1171345 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 1433756 1171345 2336 1147 0 1421183 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 5739216 KiB
Current children cumulated memory: 4688452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 39511
/proc/meminfo: memFree=111345932/131249992 swapFree=33010160/33010684
[pid=39183] ppid=39165 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39183/stat : 39183 (run-opt.sh) S 39165 39183 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44897912 4292608 768 18446744073709551615 94326486777856 94326487672389 140731112591744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94326487911440 94326487959184 94326501027840 140731112597869 140731112597992 140731112597992 140731112603594 0
/proc/39183/statm: 1048 768 704 219 0 110 0
[pid=39185] ppid=39183 vsize=5800052 memory=4841400 CPUtime=3600.07 cores=1,3
/proc/39185/stat : 39185 (roundingsat) R 39183 39183 39107 0 -1 4194304 901773 0 0 0 357402 2605 0 0 20 0 1 0 44897914 5939253248 1210350 18446744073709551615 4227072 8923433 140726327480432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37371904 140726327486882 140726327487016 140726327487016 140726327492586 0
/proc/39185/statm: 1450013 1210350 2336 1147 0 1437440 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5804244 KiB
Current children cumulated memory: 4844472 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3574.04 s, system=26.2655 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.41 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 39511
/proc/meminfo: memFree=115854372/131249992 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.003149 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3609.42
CPU time (s): 3600.3
CPU user time (s): 3574.04
CPU system time (s): 26.2655
CPU usage (%): 99.7474
Max. virtual memory (cumulated for all children) (KiB): 5804244
Max. memory (cumulated for all children) (KiB): 4844472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.04
system time used= 26.2655
maximum resident set size= 4841912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 902005
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198
involuntary context switches= 2599


# summary of solver processes directly reported to runsolver:
#   pid: 39183,39185
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3574.04
#   total CPU system time (s): 26.2655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00711 second user time and 16.4047 second system time

The end

Launcher Data

Begin job on nodeC035 at 2025-06-30 16:03:54
IDJOB=4484446
IDBENCH=146657
IDSOLVER=3350
FILE ID=nodeC035/4484446-1751292234
RUNJOBID= nodeC035-1751292233-39124
SLURM_JOB_ID= 9594262
Free space on /tmp= 433060 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484446-1751292234/watcher-4484446-1751292234 -o /tmp/evaluation-result-4484446-1751292234/solver-4484446-1751292234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39124 --watchdog 3760  run-opt.sh HOME/instance-4484446-1751292234.opb

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

MD5SUM BENCH= a964700945576a67d3d8d9c44c1c5e5c
RANDOM SEED=349211541

nodeC035 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.686
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.51
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		: 3600.896
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        125080472 kB
MemAvailable:   129721924 kB
Buffers:            1840 kB
Cached:          5394976 kB
SwapCached:            8 kB
Active:           346296 kB
Inactive:        5115540 kB
Active(anon):      71444 kB
Inactive(anon):    11624 kB
Active(file):     274852 kB
Inactive(file):  5103916 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29816 kB
Writeback:             0 kB
AnonPages:         68372 kB
Mapped:           102544 kB
Shmem:             18048 kB
KReclaimable:     203848 kB
Slab:             292240 kB
SReclaimable:     203848 kB
SUnreclaim:        88392 kB
KernelStack:        4140 kB
PageTables:         2684 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     332012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC035 at 2025-06-30 17:04:03