Trace number 4488770

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.04 3609.81

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
MD5SUMf429a5cb74c34761160471c7897bca93
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1037
Best CPU time to get the best result obtained on this benchmark3585.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1963
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1963
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1963
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1963
Number of bits of the biggest sum of numbers11
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.04	c #variables 1963 #constraints 4000
0.00/0.04	c objective is ce32 
0.00/0.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.015456
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.015523
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.019414
0.00/0.06	c GLOBAL bounds - >= 0 @ 0.024187
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.030796
0.00/0.08	c GLOBAL bounds - >= 0 @ 0.037815
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.050277
0.08/0.10	c GLOBAL bounds - >= 0 @ 0.061998
0.08/0.13	c GLOBAL bounds - >= 0 @ 0.086152
0.08/0.15	c GLOBAL bounds - >= 0 @ 0.104875
0.08/0.17	c GLOBAL bounds - >= 0 @ 0.124193
0.08/0.20	c GLOBAL bounds - >= 0 @ 0.157553
0.18/0.25	c GLOBAL bounds - >= 0 @ 0.200336
0.18/0.30	c GLOBAL bounds - >= 0 @ 0.256954
0.27/0.36	c GLOBAL bounds - >= 0 @ 0.305588
0.37/0.44	c GLOBAL bounds - >= 0 @ 0.381579
0.37/0.49	c GLOBAL bounds - >= 0 @ 0.436676
0.48/0.58	c GLOBAL bounds - >= 0 @ 0.516985
0.57/0.67	c GLOBAL bounds - >= 0 @ 0.608966
0.76/0.80	c GLOBAL bounds - >= 0 @ 0.736011
0.96/1.00	c #Conflicts:       1000 | #Constraints:       5036
0.96/1.00	c GLOBAL bounds - >= 0 @ 0.930159
1.16/1.21	c GLOBAL bounds - >= 0 @ 1.12896
1.36/1.44	c GLOBAL bounds - >= 0 @ 1.3494
1.66/1.71	c GLOBAL bounds - >= 0 @ 1.61463
1.76/1.86	c GLOBAL bounds - >= 0 @ 1.76086
2.17/2.21	c GLOBAL bounds - >= 0 @ 2.10476
2.46/2.54	c #Conflicts:       2000 | #Constraints:       6048
2.46/2.54	c INPROCESSING
2.46/2.54	c GARBAGE COLLECT
2.46/2.54	c GLOBAL bounds - >= 0 @ 2.41575
2.66/2.72	c GLOBAL bounds - >= 0 @ 2.59373
2.76/2.86	c GLOBAL bounds - >= 0 @ 2.73077
2.96/3.07	c GLOBAL bounds - >= 0 @ 2.94702
3.16/3.20	c GLOBAL bounds - >= 0 @ 3.0663
3.26/3.35	c GLOBAL bounds - >= 0 @ 3.22081
3.46/3.53	c GLOBAL bounds - >= 0 @ 3.39567
3.76/3.83	c GLOBAL bounds - >= 0 @ 3.69257
3.85/3.97	c #Conflicts:       3000 | #Constraints:       6082
3.85/3.97	c GLOBAL bounds - >= 0 @ 3.83118
4.06/4.17	c GLOBAL bounds - >= 0 @ 4.02425
4.25/4.36	c GLOBAL bounds - >= 0 @ 4.20778
4.45/4.56	c GLOBAL bounds - >= 0 @ 4.40849
4.66/4.78	c GLOBAL bounds - >= 0 @ 4.62167
4.96/5.04	c GLOBAL bounds - >= 0 @ 4.88067
5.35/5.45	c GLOBAL bounds - >= 0 @ 5.2909
5.75/5.84	c GLOBAL bounds - >= 0 @ 5.67124
6.15/6.25	c #Conflicts:       4000 | #Constraints:       7098
6.15/6.25	c GLOBAL bounds - >= 0 @ 6.07939
6.55/6.64	c INPROCESSING
6.55/6.64	c GARBAGE COLLECT
6.55/6.64	c GLOBAL bounds - >= 0 @ 6.46947
6.75/6.88	c GLOBAL bounds - >= 0 @ 6.70519
6.95/7.09	c GLOBAL bounds - >= 0 @ 6.91368
7.24/7.34	c GLOBAL bounds - >= 0 @ 7.15885
7.34/7.49	c GLOBAL bounds - >= 0 @ 7.30949
7.65/7.76	c GLOBAL bounds - >= 0 @ 7.57871
7.85/7.91	c GLOBAL bounds - >= 0 @ 7.72347
8.05/8.10	c #Conflicts:       5000 | #Constraints:       6561
8.05/8.10	c GLOBAL bounds - >= 0 @ 7.9147
8.24/8.31	c GLOBAL bounds - >= 0 @ 8.11076
8.54/8.63	c GLOBAL bounds - >= 0 @ 8.42443
8.85/8.99	c GLOBAL bounds - >= 0 @ 8.78675
9.24/9.35	c GLOBAL bounds - >= 0 @ 9.13729
9.44/9.53	c GLOBAL bounds - >= 0 @ 9.31814
9.84/9.91	c GLOBAL bounds - >= 0 @ 9.69146
10.14/10.26	c GLOBAL bounds - >= 0 @ 10.0376
10.54/10.63	c #Conflicts:       6000 | #Constraints:       7577
10.54/10.63	c GLOBAL bounds - >= 0 @ 10.4061
10.73/10.83	c GLOBAL bounds - >= 0 @ 10.6012
11.14/11.27	c GLOBAL bounds - >= 0 @ 11.0348
11.34/11.47	c GLOBAL bounds - >= 0 @ 11.2357
11.64/11.72	c GLOBAL bounds - >= 0 @ 11.479
12.13/12.24	c INPROCESSING
12.13/12.24	c GARBAGE COLLECT
12.13/12.24	c GLOBAL bounds - >= 0 @ 11.9794
12.43/12.55	c GLOBAL bounds - >= 0 @ 12.2865
12.53/12.69	c GLOBAL bounds - >= 0 @ 12.4262
12.74/12.83	c #Conflicts:       7000 | #Constraints:       6564
12.74/12.83	c GLOBAL bounds - >= 0 @ 12.5704
12.94/13.03	c GLOBAL bounds - >= 0 @ 12.7573
13.13/13.22	c GLOBAL bounds - >= 0 @ 12.9485
13.34/13.41	c GLOBAL bounds - >= 0 @ 13.1366
13.53/13.61	c GLOBAL bounds - >= 0 @ 13.3332
13.73/13.82	c GLOBAL bounds - >= 0 @ 13.5439
14.13/14.24	c GLOBAL bounds - >= 0 @ 13.9576
14.33/14.48	c #Conflicts:       8000 | #Constraints:       7578
14.33/14.48	c GLOBAL bounds - >= 0 @ 14.1891
14.63/14.75	c GLOBAL bounds - >= 0 @ 14.455
14.82/14.99	c GLOBAL bounds - >= 0 @ 14.6861
15.13/15.26	c GLOBAL bounds - >= 0 @ 14.9566
15.33/15.48	c GLOBAL bounds - >= 0 @ 15.178
15.62/15.71	c GLOBAL bounds - >= 0 @ 15.4014
15.82/15.93	c GLOBAL bounds - >= 0 @ 15.609
16.03/16.14	c GLOBAL bounds - >= 0 @ 15.8231
16.23/16.36	c #Conflicts:       9000 | #Constraints:       8594
16.23/16.36	c GLOBAL bounds - >= 0 @ 16.0405
16.43/16.59	c GLOBAL bounds - >= 0 @ 16.2641
16.92/17.08	c INPROCESSING
16.92/17.08	c GARBAGE COLLECT
16.92/17.08	c GLOBAL bounds - >= 0 @ 16.7484
17.23/17.32	c GLOBAL bounds - >= 0 @ 16.9858
17.52/17.68	c GLOBAL bounds - >= 0 @ 17.3061
17.92/18.04	c GLOBAL bounds - >= 0 @ 17.6569
18.12/18.25	c GLOBAL bounds - >= 0 @ 17.8575
18.42/18.58	c GLOBAL bounds - >= 0 @ 18.1825
18.72/18.88	c #Conflicts:      10000 | #Constraints:       7304
18.72/18.88	c GLOBAL bounds - >= 0 @ 18.4789
19.12/19.21	c GLOBAL bounds - >= 0 @ 18.8021
19.22/19.39	c GLOBAL bounds - >= 0 @ 18.9766
19.61/19.74	c GLOBAL bounds - >= 0 @ 19.3174
19.82/19.90	c GLOBAL bounds - >= 0 @ 19.4799
20.02/20.12	c GLOBAL bounds - >= 0 @ 19.6945
20.21/20.34	c GLOBAL bounds - >= 0 @ 19.9069
20.62/20.71	c GLOBAL bounds - >= 0 @ 20.2806
20.92/21.05	c #Conflicts:      11000 | #Constraints:       8320
20.92/21.05	c GLOBAL bounds - >= 0 @ 20.6092
21.32/21.40	c GLOBAL bounds - >= 0 @ 20.9556
21.51/21.66	c GLOBAL bounds - >= 0 @ 21.2063
21.91/22.05	c GLOBAL bounds - >= 0 @ 21.5994
22.31/22.42	c GLOBAL bounds - >= 0 @ 21.9615
22.61/22.78	c GLOBAL bounds - >= 0 @ 22.3182
22.92/23.00	c GLOBAL bounds - >= 0 @ 22.5333
23.31/23.40	c GLOBAL bounds - >= 0 @ 22.9276
23.70/23.89	c #Conflicts:      12000 | #Constraints:       9336
23.70/23.89	c INPROCESSING
23.70/23.89	c GARBAGE COLLECT
23.70/23.89	c GLOBAL bounds - >= 0 @ 23.4155
23.91/24.06	c GLOBAL bounds - >= 0 @ 23.5806
24.20/24.34	c GLOBAL bounds - >= 0 @ 23.861
24.30/24.49	c GLOBAL bounds - >= 0 @ 24.0107
24.50/24.68	c GLOBAL bounds - >= 0 @ 24.1976
24.70/24.86	c GLOBAL bounds - >= 0 @ 24.378
24.91/25.06	c GLOBAL bounds - >= 0 @ 24.5717
25.10/25.28	c GLOBAL bounds - >= 0 @ 24.7872
25.40/25.52	c #Conflicts:      13000 | #Constraints:       7797
25.40/25.52	c GLOBAL bounds - >= 0 @ 25.0223
25.70/25.88	c GLOBAL bounds - >= 0 @ 25.3824
26.10/26.21	c GLOBAL bounds - >= 0 @ 25.7124
26.40/26.57	c GLOBAL bounds - >= 0 @ 26.0664
26.60/26.77	c GLOBAL bounds - >= 0 @ 26.2585
27.00/27.14	c GLOBAL bounds - >= 0 @ 26.6234
27.30/27.48	c GLOBAL bounds - >= 0 @ 26.9634
27.70/27.83	c #Conflicts:      14000 | #Constraints:       8811
27.70/27.83	c GLOBAL bounds - >= 0 @ 27.3025
27.90/28.03	c GLOBAL bounds - >= 0 @ 27.5037
28.29/28.40	c GLOBAL bounds - >= 0 @ 27.8705
28.90/29.04	c GLOBAL bounds - >= 0 @ 28.5041
29.69/29.89	c #Conflicts:      15000 | #Constraints:       9819
29.69/29.89	c INPROCESSING
29.69/29.89	c GARBAGE COLLECT
29.69/29.89	c GLOBAL bounds - >= 0 @ 29.334
30.29/30.45	c GLOBAL bounds - >= 0 @ 29.8874
30.59/30.79	c GLOBAL bounds - >= 0 @ 30.2236
31.19/31.35	c GLOBAL bounds - >= 0 @ 30.7849
31.39/31.57	c #Conflicts:      16000 | #Constraints:       8126
31.39/31.57	c GLOBAL bounds - >= 0 @ 30.9999
31.78/31.93	c GLOBAL bounds - >= 0 @ 31.3581
32.08/32.20	c GLOBAL bounds - >= 0 @ 31.6169
32.28/32.44	c GLOBAL bounds - >= 0 @ 31.8568
32.89/33.07	c #Conflicts:      17000 | #Constraints:       9134
32.89/33.07	c GLOBAL bounds - >= 0 @ 32.4779
33.89/34.03	c GLOBAL bounds - >= 0 @ 33.4305
34.18/34.31	c GLOBAL bounds - >= 0 @ 33.7135
34.57/34.80	c #Conflicts:      18000 | #Constraints:      10140
34.57/34.80	c GLOBAL bounds - >= 0 @ 34.1884
35.18/35.32	c INPROCESSING
35.18/35.32	c GARBAGE COLLECT
35.18/35.32	c GLOBAL bounds - >= 0 @ 34.7072
35.37/35.50	c GLOBAL bounds - >= 0 @ 34.8809
35.47/35.68	c GLOBAL bounds - >= 0 @ 35.0621
36.08/36.26	c #Conflicts:      19000 | #Constraints:       8134
36.08/36.26	c GLOBAL bounds - >= 0 @ 35.6317
40.26/40.50	c #Conflicts:      20000 | #Constraints:       9136
40.26/40.50	c GLOBAL bounds - >= 0 @ 39.8511
41.36/41.58	c #Conflicts:      21000 | #Constraints:      10138
41.36/41.58	c GLOBAL bounds - >= 0 @ 40.9285
68.89/69.12	c INPROCESSING
68.89/69.12	c GARBAGE COLLECT
68.89/69.12	c #Conflicts:      22000 | #Constraints:       7991
68.89/69.12	c #Conflicts:      23000 | #Constraints:       8991
68.89/69.12	c #Conflicts:      24000 | #Constraints:       9991
68.89/69.12	c #Conflicts:      25000 | #Constraints:      10991
68.89/69.12	c INPROCESSING
68.89/69.12	c GARBAGE COLLECT
68.89/69.12	c #Conflicts:      26000 | #Constraints:       8621
68.89/69.12	c #Conflicts:      27000 | #Constraints:       9621
68.89/69.12	c #Conflicts:      28000 | #Constraints:      10621
68.89/69.12	c #Conflicts:      29000 | #Constraints:      11621
68.89/69.12	c INPROCESSING
68.89/69.12	c GARBAGE COLLECT
68.89/69.12	c #Conflicts:      30000 | #Constraints:       9026
68.89/69.12	c #Conflicts:      31000 | #Constraints:      10026
68.89/69.12	c #Conflicts:      32000 | #Constraints:      11026
68.89/69.12	c #Conflicts:      33000 | #Constraints:      12026
68.89/69.12	c INPROCESSING
68.89/69.12	c GARBAGE COLLECT
68.89/69.12	c #Conflicts:      34000 | #Constraints:       9234
68.89/69.12	c #Conflicts:      35000 | #Constraints:      10234
68.89/69.12	c GLOBAL bounds - >= 0 @ 68.2511
77.47/77.73	c #Conflicts:      36000 | #Constraints:      11236
77.47/77.73	c #Conflicts:      37000 | #Constraints:      12236
77.47/77.73	c INPROCESSING
77.47/77.73	c GARBAGE COLLECT
77.47/77.73	c #Conflicts:      38000 | #Constraints:       9246
77.47/77.73	c #Conflicts:      39000 | #Constraints:      10246
77.47/77.73	c GLOBAL bounds - >= 0 @ 76.8014
185.86/186.40	c #Conflicts:      40000 | #Constraints:      11248
185.86/186.40	c #Conflicts:      41000 | #Constraints:      12248
185.86/186.40	c INPROCESSING
185.86/186.40	c GARBAGE COLLECT
185.86/186.40	c #Conflicts:      42000 | #Constraints:       9061
185.86/186.40	c #Conflicts:      43000 | #Constraints:      10061
185.86/186.40	c #Conflicts:      44000 | #Constraints:      11061
185.86/186.40	c #Conflicts:      45000 | #Constraints:      12061
185.86/186.40	c #Conflicts:      46000 | #Constraints:      13061
185.86/186.40	c INPROCESSING
185.86/186.40	c GARBAGE COLLECT
185.86/186.40	c #Conflicts:      47000 | #Constraints:       9663
185.86/186.40	c #Conflicts:      48000 | #Constraints:      10663
185.86/186.40	c #Conflicts:      49000 | #Constraints:      11663
185.86/186.40	c #Conflicts:      50000 | #Constraints:      12663
185.86/186.40	c #Conflicts:      51000 | #Constraints:      13663
185.86/186.40	c INPROCESSING
185.86/186.40	c GARBAGE COLLECT
185.86/186.40	c #Conflicts:      52000 | #Constraints:      10055
185.86/186.40	c #Conflicts:      53000 | #Constraints:      11055
185.86/186.40	c #Conflicts:      54000 | #Constraints:      12055
185.86/186.40	c #Conflicts:      55000 | #Constraints:      13055
185.86/186.40	c #Conflicts:      56000 | #Constraints:      14055
185.86/186.40	c INPROCESSING
185.86/186.40	c GARBAGE COLLECT
185.86/186.40	c #Conflicts:      57000 | #Constraints:      10255
185.86/186.40	c #Conflicts:      58000 | #Constraints:      11255
185.86/186.40	c #Conflicts:      59000 | #Constraints:      12255
185.86/186.40	c #Conflicts:      60000 | #Constraints:      13255
185.86/186.40	c #Conflicts:      61000 | #Constraints:      14255
185.86/186.40	c INPROCESSING
185.86/186.40	c GARBAGE COLLECT
185.86/186.40	c #Conflicts:      62000 | #Constraints:      10242
185.86/186.40	c #Conflicts:      63000 | #Constraints:      11242
185.86/186.40	c #Conflicts:      64000 | #Constraints:      12242
185.86/186.40	c #Conflicts:      65000 | #Constraints:      13242
185.86/186.40	c #Conflicts:      66000 | #Constraints:      14242
185.86/186.40	c INPROCESSING
185.86/186.40	c GARBAGE COLLECT
185.86/186.40	c #Conflicts:      67000 | #Constraints:      10034
185.86/186.40	c #Conflicts:      68000 | #Constraints:      11034
185.86/186.40	c GLOBAL bounds - >= 0 @ 184.819
216.96/217.67	c #Conflicts:      69000 | #Constraints:      12036
216.96/217.67	c #Conflicts:      70000 | #Constraints:      13036
216.96/217.67	c #Conflicts:      71000 | #Constraints:      14036
216.96/217.67	c #Conflicts:      72000 | #Constraints:      15036
216.96/217.67	c INPROCESSING
216.96/217.67	c GARBAGE COLLECT
216.96/217.67	c #Conflicts:      73000 | #Constraints:      10644
216.96/217.67	c #Conflicts:      74000 | #Constraints:      11644
216.96/217.67	c #Conflicts:      75000 | #Constraints:      12644
216.96/217.67	c #Conflicts:      76000 | #Constraints:      13644
216.96/217.67	c GLOBAL bounds - >= 0 @ 215.89
219.25/219.93	c #Conflicts:      77000 | #Constraints:      14646
219.25/219.93	c #Conflicts:      78000 | #Constraints:      15646
219.25/219.93	c INPROCESSING
219.25/219.93	c GARBAGE COLLECT
219.25/219.93	c GLOBAL bounds - >= 0 @ 218.121
222.45/223.16	c #Conflicts:      79000 | #Constraints:      11041
222.45/223.16	c #Conflicts:      80000 | #Constraints:      12041
222.45/223.16	c GLOBAL bounds - >= 0 @ 221.325
348.64/349.76	c #Conflicts:      81000 | #Constraints:      13043
348.64/349.76	c #Conflicts:      82000 | #Constraints:      14043
348.64/349.76	c #Conflicts:      83000 | #Constraints:      15043
348.64/349.76	c #Conflicts:      84000 | #Constraints:      16043
348.64/349.76	c INPROCESSING
348.64/349.76	c GARBAGE COLLECT
348.64/349.76	c #Conflicts:      85000 | #Constraints:      11256
348.64/349.76	c #Conflicts:      86000 | #Constraints:      12256
348.64/349.76	c #Conflicts:      87000 | #Constraints:      13256
348.64/349.76	c #Conflicts:      88000 | #Constraints:      14256
348.64/349.76	c #Conflicts:      89000 | #Constraints:      15256
348.64/349.76	c #Conflicts:      90000 | #Constraints:      16256
348.64/349.76	c INPROCESSING
348.64/349.76	c GARBAGE COLLECT
348.64/349.76	c #Conflicts:      91000 | #Constraints:      11264
348.64/349.76	c #Conflicts:      92000 | #Constraints:      12264
348.64/349.76	c #Conflicts:      93000 | #Constraints:      13264
348.64/349.76	c #Conflicts:      94000 | #Constraints:      14264
348.64/349.76	c #Conflicts:      95000 | #Constraints:      15264
348.64/349.76	c #Conflicts:      96000 | #Constraints:      16264
348.64/349.76	c INPROCESSING
348.64/349.76	c GARBAGE COLLECT
348.64/349.76	c #Conflicts:      97000 | #Constraints:      11066
348.64/349.76	c #Conflicts:      98000 | #Constraints:      12066
348.64/349.76	c #Conflicts:      99000 | #Constraints:      13066
348.64/349.76	c #Conflicts:     100000 | #Constraints:      14066
348.64/349.76	c #Conflicts:     101000 | #Constraints:      15066
348.64/349.76	c #Conflicts:     102000 | #Constraints:      16066
348.64/349.76	c #Conflicts:     103000 | #Constraints:      17066
348.64/349.76	c INPROCESSING
348.64/349.76	c GARBAGE COLLECT
348.64/349.76	c #Conflicts:     104000 | #Constraints:      11664
348.64/349.76	c #Conflicts:     105000 | #Constraints:      12664
348.64/349.76	c #Conflicts:     106000 | #Constraints:      13664
348.64/349.76	c #Conflicts:     107000 | #Constraints:      14664
348.64/349.76	c #Conflicts:     108000 | #Constraints:      15664
348.64/349.76	c #Conflicts:     109000 | #Constraints:      16664
348.64/349.76	c #Conflicts:     110000 | #Constraints:      17664
348.64/349.76	c INPROCESSING
348.64/349.76	c GARBAGE COLLECT
348.64/349.76	c #Conflicts:     111000 | #Constraints:      12053
348.64/349.76	c #Conflicts:     112000 | #Constraints:      13053
348.64/349.76	c #Conflicts:     113000 | #Constraints:      14053
348.64/349.76	c #Conflicts:     114000 | #Constraints:      15053
348.64/349.76	c #Conflicts:     115000 | #Constraints:      16053
348.64/349.76	c #Conflicts:     116000 | #Constraints:      17053
348.64/349.76	c #Conflicts:     117000 | #Constraints:      18053
348.64/349.76	c INPROCESSING
348.64/349.76	c GARBAGE COLLECT
348.64/349.76	c #Conflicts:     118000 | #Constraints:      12244
348.64/349.76	c #Conflicts:     119000 | #Constraints:      13244
348.64/349.76	c #Conflicts:     120000 | #Constraints:      14244
348.64/349.76	c #Conflicts:     121000 | #Constraints:      15244
348.64/349.76	c #Conflicts:     122000 | #Constraints:      16244
348.64/349.76	c GLOBAL bounds - >= 0 @ 347.09
394.29/395.59	c #Conflicts:     123000 | #Constraints:      17246
394.29/395.59	c #Conflicts:     124000 | #Constraints:      18246
394.29/395.59	c INPROCESSING
394.29/395.59	c GARBAGE COLLECT
394.29/395.59	c #Conflicts:     125000 | #Constraints:      12270
394.29/395.59	c #Conflicts:     126000 | #Constraints:      13270
394.29/395.59	c #Conflicts:     127000 | #Constraints:      14270
394.29/395.59	c #Conflicts:     128000 | #Constraints:      15270
394.29/395.59	c #Conflicts:     129000 | #Constraints:      16270
394.29/395.59	c #Conflicts:     130000 | #Constraints:      17270
394.29/395.59	c #Conflicts:     131000 | #Constraints:      18270
394.29/395.59	c INPROCESSING
394.29/395.59	c GARBAGE COLLECT
394.29/395.59	c #Conflicts:     132000 | #Constraints:      12071
394.29/395.59	c #Conflicts:     133000 | #Constraints:      13071
394.29/395.59	c #Conflicts:     134000 | #Constraints:      14071
394.29/395.59	c #Conflicts:     135000 | #Constraints:      15071
394.29/395.59	c GLOBAL bounds - >= 0 @ 392.616
446.82/448.20	c #Conflicts:     136000 | #Constraints:      16073
446.82/448.20	c #Conflicts:     137000 | #Constraints:      17073
446.82/448.20	c #Conflicts:     138000 | #Constraints:      18073
446.82/448.20	c #Conflicts:     139000 | #Constraints:      19073
446.82/448.20	c INPROCESSING
446.82/448.20	c GARBAGE COLLECT
446.82/448.20	c #Conflicts:     140000 | #Constraints:      12690
446.82/448.20	c #Conflicts:     141000 | #Constraints:      13690
446.82/448.20	c #Conflicts:     142000 | #Constraints:      14690
446.82/448.20	c #Conflicts:     143000 | #Constraints:      15690
446.82/448.20	c #Conflicts:     144000 | #Constraints:      16690
446.82/448.20	c #Conflicts:     145000 | #Constraints:      17690
446.82/448.20	c #Conflicts:     146000 | #Constraints:      18690
446.82/448.20	c #Conflicts:     147000 | #Constraints:      19690
446.82/448.20	c INPROCESSING
446.82/448.20	c GARBAGE COLLECT
446.82/448.20	c #Conflicts:     148000 | #Constraints:      13085
446.82/448.20	c #Conflicts:     149000 | #Constraints:      14085
446.82/448.20	c #Conflicts:     150000 | #Constraints:      15085
446.82/448.20	c #Conflicts:     151000 | #Constraints:      16085
446.82/448.20	c GLOBAL bounds - >= 0 @ 444.912
472.14/473.60	c #Conflicts:     152000 | #Constraints:      17087
472.14/473.60	c #Conflicts:     153000 | #Constraints:      18087
472.14/473.60	c #Conflicts:     154000 | #Constraints:      19087
472.14/473.60	c #Conflicts:     155000 | #Constraints:      20087
472.14/473.60	c INPROCESSING
472.14/473.60	c GARBAGE COLLECT
472.14/473.60	c GLOBAL bounds - >= 0 @ 470.157
705.59/707.87	c #Conflicts:     156000 | #Constraints:      13278
705.59/707.87	c #Conflicts:     157000 | #Constraints:      14278
705.59/707.87	c #Conflicts:     158000 | #Constraints:      15278
705.59/707.87	c #Conflicts:     159000 | #Constraints:      16278
705.59/707.87	c #Conflicts:     160000 | #Constraints:      17278
705.59/707.87	c #Conflicts:     161000 | #Constraints:      18278
705.59/707.87	c #Conflicts:     162000 | #Constraints:      19278
705.59/707.87	c #Conflicts:     163000 | #Constraints:      20278
705.59/707.87	c INPROCESSING
705.59/707.87	c GARBAGE COLLECT
705.59/707.87	c #Conflicts:     164000 | #Constraints:      13272
705.59/707.87	c #Conflicts:     165000 | #Constraints:      14272
705.59/707.87	c #Conflicts:     166000 | #Constraints:      15272
705.59/707.87	c #Conflicts:     167000 | #Constraints:      16272
705.59/707.87	c #Conflicts:     168000 | #Constraints:      17272
705.59/707.87	c #Conflicts:     169000 | #Constraints:      18272
705.59/707.87	c #Conflicts:     170000 | #Constraints:      19272
705.59/707.87	c #Conflicts:     171000 | #Constraints:      20272
705.59/707.87	c INPROCESSING
705.59/707.87	c GARBAGE COLLECT
705.59/707.87	c #Conflicts:     172000 | #Constraints:      13074
705.59/707.87	c #Conflicts:     173000 | #Constraints:      14074
705.59/707.87	c #Conflicts:     174000 | #Constraints:      15074
705.59/707.87	c #Conflicts:     175000 | #Constraints:      16074
705.59/707.87	c #Conflicts:     176000 | #Constraints:      17074
705.59/707.87	c #Conflicts:     177000 | #Constraints:      18074
705.59/707.87	c #Conflicts:     178000 | #Constraints:      19074
705.59/707.87	c #Conflicts:     179000 | #Constraints:      20074
705.59/707.87	c #Conflicts:     180000 | #Constraints:      21074
705.59/707.87	c INPROCESSING
705.59/707.87	c GARBAGE COLLECT
705.59/707.87	c #Conflicts:     181000 | #Constraints:      13663
705.59/707.87	c #Conflicts:     182000 | #Constraints:      14663
705.59/707.87	c #Conflicts:     183000 | #Constraints:      15663
705.59/707.87	c #Conflicts:     184000 | #Constraints:      16663
705.59/707.87	c #Conflicts:     185000 | #Constraints:      17663
705.59/707.87	c #Conflicts:     186000 | #Constraints:      18663
705.59/707.87	c #Conflicts:     187000 | #Constraints:      19663
705.59/707.87	c #Conflicts:     188000 | #Constraints:      20663
705.59/707.87	c #Conflicts:     189000 | #Constraints:      21663
705.59/707.87	c INPROCESSING
705.59/707.87	c GARBAGE COLLECT
705.59/707.87	c #Conflicts:     190000 | #Constraints:      14069
705.59/707.87	c #Conflicts:     191000 | #Constraints:      15069
705.59/707.87	c #Conflicts:     192000 | #Constraints:      16069
705.59/707.87	c #Conflicts:     193000 | #Constraints:      17069
705.59/707.87	c #Conflicts:     194000 | #Constraints:      18069
705.59/707.87	c #Conflicts:     195000 | #Constraints:      19069
705.59/707.87	c #Conflicts:     196000 | #Constraints:      20069
705.59/707.87	c #Conflicts:     197000 | #Constraints:      21069
705.59/707.87	c #Conflicts:     198000 | #Constraints:      22069
705.59/707.87	c INPROCESSING
705.59/707.87	c GARBAGE COLLECT
705.59/707.87	c #Conflicts:     199000 | #Constraints:      14264
705.59/707.87	c #Conflicts:     200000 | #Constraints:      15264
705.59/707.87	c #Conflicts:     201000 | #Constraints:      16264
705.59/707.87	c #Conflicts:     202000 | #Constraints:      17264
705.59/707.87	c #Conflicts:     203000 | #Constraints:      18264
705.59/707.87	c #Conflicts:     204000 | #Constraints:      19264
705.59/707.87	c #Conflicts:     205000 | #Constraints:      20264
705.59/707.87	c #Conflicts:     206000 | #Constraints:      21264
705.59/707.87	c #Conflicts:     207000 | #Constraints:      22264
705.59/707.87	c INPROCESSING
705.59/707.87	c GARBAGE COLLECT
705.59/707.87	c GLOBAL bounds - >= 0 @ 703.138
715.95/718.23	c #Conflicts:     208000 | #Constraints:      14263
715.95/718.23	c #Conflicts:     209000 | #Constraints:      15263
715.95/718.23	c #Conflicts:     210000 | #Constraints:      16263
715.95/718.23	c GLOBAL bounds - >= 0 @ 713.447
786.83/789.34	c #Conflicts:     211000 | #Constraints:      17265
786.83/789.34	c #Conflicts:     212000 | #Constraints:      18265
786.83/789.34	c #Conflicts:     213000 | #Constraints:      19265
786.83/789.34	c #Conflicts:     214000 | #Constraints:      20265
786.83/789.34	c #Conflicts:     215000 | #Constraints:      21265
786.83/789.34	c #Conflicts:     216000 | #Constraints:      22265
786.83/789.34	c INPROCESSING
786.83/789.34	c GARBAGE COLLECT
786.83/789.34	c #Conflicts:     217000 | #Constraints:      14074
786.83/789.34	c #Conflicts:     218000 | #Constraints:      15074
786.83/789.34	c #Conflicts:     219000 | #Constraints:      16074
786.83/789.34	c #Conflicts:     220000 | #Constraints:      17074
786.83/789.34	c #Conflicts:     221000 | #Constraints:      18074
786.83/789.34	c #Conflicts:     222000 | #Constraints:      19074
786.83/789.34	c #Conflicts:     223000 | #Constraints:      20074
786.83/789.34	c #Conflicts:     224000 | #Constraints:      21074
786.83/789.34	c #Conflicts:     225000 | #Constraints:      22074
786.83/789.34	c #Conflicts:     226000 | #Constraints:      23074
786.83/789.34	c INPROCESSING
786.83/789.34	c GARBAGE COLLECT
786.83/789.34	c #Conflicts:     227000 | #Constraints:      14666
786.83/789.34	c #Conflicts:     228000 | #Constraints:      15666
786.83/789.34	c GLOBAL bounds - >= 0 @ 784.21
1265.82/1269.80	c #Conflicts:     229000 | #Constraints:      16668
1265.82/1269.80	c #Conflicts:     230000 | #Constraints:      17668
1265.82/1269.80	c #Conflicts:     231000 | #Constraints:      18668
1265.82/1269.80	c #Conflicts:     232000 | #Constraints:      19668
1265.82/1269.80	c #Conflicts:     233000 | #Constraints:      20668
1265.82/1269.80	c #Conflicts:     234000 | #Constraints:      21668
1265.82/1269.80	c #Conflicts:     235000 | #Constraints:      22668
1265.82/1269.80	c #Conflicts:     236000 | #Constraints:      23668
1265.82/1269.80	c INPROCESSING
1265.82/1269.80	c GARBAGE COLLECT
1265.82/1269.80	c #Conflicts:     237000 | #Constraints:      15070
1265.82/1269.80	c #Conflicts:     238000 | #Constraints:      16070
1265.82/1269.80	c #Conflicts:     239000 | #Constraints:      17070
1265.82/1269.80	c #Conflicts:     240000 | #Constraints:      18070
1265.82/1269.80	c #Conflicts:     241000 | #Constraints:      19070
1265.82/1269.80	c #Conflicts:     242000 | #Constraints:      20070
1265.82/1269.80	c #Conflicts:     243000 | #Constraints:      21070
1265.82/1269.80	c #Conflicts:     244000 | #Constraints:      22070
1265.82/1269.80	c #Conflicts:     245000 | #Constraints:      23070
1265.82/1269.80	c #Conflicts:     246000 | #Constraints:      24070
1265.82/1269.80	c INPROCESSING
1265.82/1269.80	c GARBAGE COLLECT
1265.82/1269.80	c #Conflicts:     247000 | #Constraints:      15276
1265.82/1269.80	c #Conflicts:     248000 | #Constraints:      16276
1265.82/1269.80	c #Conflicts:     249000 | #Constraints:      17276
1265.82/1269.80	c #Conflicts:     250000 | #Constraints:      18276
1265.82/1269.80	c #Conflicts:     251000 | #Constraints:      19276
1265.82/1269.80	c #Conflicts:     252000 | #Constraints:      20276
1265.82/1269.80	c #Conflicts:     253000 | #Constraints:      21276
1265.82/1269.80	c #Conflicts:     254000 | #Constraints:      22276
1265.82/1269.80	c #Conflicts:     255000 | #Constraints:      23276
1265.82/1269.80	c #Conflicts:     256000 | #Constraints:      24276
1265.82/1269.80	c INPROCESSING
1265.82/1269.80	c GARBAGE COLLECT
1265.82/1269.80	c #Conflicts:     257000 | #Constraints:      15275
1265.82/1269.80	c #Conflicts:     258000 | #Constraints:      16275
1265.82/1269.80	c #Conflicts:     259000 | #Constraints:      17275
1265.82/1269.80	c #Conflicts:     260000 | #Constraints:      18275
1265.82/1269.80	c #Conflicts:     261000 | #Constraints:      19275
1265.82/1269.80	c #Conflicts:     262000 | #Constraints:      20275
1265.82/1269.80	c #Conflicts:     263000 | #Constraints:      21275
1265.82/1269.80	c #Conflicts:     264000 | #Constraints:      22275
1265.82/1269.80	c #Conflicts:     265000 | #Constraints:      23275
1265.82/1269.80	c #Conflicts:     266000 | #Constraints:      24275
1265.82/1269.80	c INPROCESSING
1265.82/1269.80	c GARBAGE COLLECT
1265.82/1269.80	c #Conflicts:     267000 | #Constraints:      15068
1265.82/1269.80	c #Conflicts:     268000 | #Constraints:      16068
1265.82/1269.80	c #Conflicts:     269000 | #Constraints:      17068
1265.82/1269.80	c #Conflicts:     270000 | #Constraints:      18068
1265.82/1269.80	c #Conflicts:     271000 | #Constraints:      19068
1265.82/1269.80	c #Conflicts:     272000 | #Constraints:      20068
1265.82/1269.80	c #Conflicts:     273000 | #Constraints:      21068
1265.82/1269.80	c #Conflicts:     274000 | #Constraints:      22068
1265.82/1269.80	c #Conflicts:     275000 | #Constraints:      23068
1265.82/1269.80	c #Conflicts:     276000 | #Constraints:      24068
1265.82/1269.80	c #Conflicts:     277000 | #Constraints:      25068
1265.82/1269.80	c INPROCESSING
1265.82/1269.80	c GARBAGE COLLECT
1265.82/1269.80	c #Conflicts:     278000 | #Constraints:      15681
1265.82/1269.80	c #Conflicts:     279000 | #Constraints:      16681
1265.82/1269.80	c #Conflicts:     280000 | #Constraints:      17681
1265.82/1269.80	c #Conflicts:     281000 | #Constraints:      18681
1265.82/1269.80	c #Conflicts:     282000 | #Constraints:      19681
1265.82/1269.80	c #Conflicts:     283000 | #Constraints:      20681
1265.82/1269.80	c #Conflicts:     284000 | #Constraints:      21681
1265.82/1269.80	c #Conflicts:     285000 | #Constraints:      22681
1265.82/1269.80	c #Conflicts:     286000 | #Constraints:      23681
1265.82/1269.80	c #Conflicts:     287000 | #Constraints:      24681
1265.82/1269.80	c #Conflicts:     288000 | #Constraints:      25681
1265.82/1269.80	c INPROCESSING
1265.82/1269.80	c GARBAGE COLLECT
1265.82/1269.80	c #Conflicts:     289000 | #Constraints:      16074
1265.82/1269.80	c #Conflicts:     290000 | #Constraints:      17074
1265.82/1269.80	c #Conflicts:     291000 | #Constraints:      18074
1265.82/1269.80	c #Conflicts:     292000 | #Constraints:      19074
1265.82/1269.80	c #Conflicts:     293000 | #Constraints:      20074
1265.82/1269.80	c #Conflicts:     294000 | #Constraints:      21074
1265.82/1269.80	c #Conflicts:     295000 | #Constraints:      22074
1265.82/1269.80	c #Conflicts:     296000 | #Constraints:      23074
1265.82/1269.80	c #Conflicts:     297000 | #Constraints:      24074
1265.82/1269.80	c #Conflicts:     298000 | #Constraints:      25074
1265.82/1269.80	c #Conflicts:     299000 | #Constraints:      26074
1265.82/1269.80	c INPROCESSING
1265.82/1269.80	c GARBAGE COLLECT
1265.82/1269.80	c #Conflicts:     300000 | #Constraints:      16264
1265.82/1269.80	c #Conflicts:     301000 | #Constraints:      17264
1265.82/1269.80	c #Conflicts:     302000 | #Constraints:      18264
1265.82/1269.80	c #Conflicts:     303000 | #Constraints:      19264
1876.40/1882.10	c #Conflicts:     304000 | #Constraints:      20264
1876.40/1882.10	c #Conflicts:     305000 | #Constraints:      21264
1876.40/1882.10	c #Conflicts:     306000 | #Constraints:      22264
1876.40/1882.10	c #Conflicts:     307000 | #Constraints:      23264
1876.40/1882.10	c #Conflicts:     308000 | #Constraints:      24264
1876.40/1882.10	c #Conflicts:     309000 | #Constraints:      25264
1876.40/1882.10	c #Conflicts:     310000 | #Constraints:      26264
1876.40/1882.10	c INPROCESSING
1876.40/1882.10	c GARBAGE COLLECT
1876.40/1882.10	c #Conflicts:     311000 | #Constraints:      16263
1876.40/1882.10	c #Conflicts:     312000 | #Constraints:      17263
1876.40/1882.10	c #Conflicts:     313000 | #Constraints:      18263
1876.40/1882.10	c #Conflicts:     314000 | #Constraints:      19263
1876.40/1882.10	c #Conflicts:     315000 | #Constraints:      20263
1876.40/1882.10	c #Conflicts:     316000 | #Constraints:      21263
1876.40/1882.10	c #Conflicts:     317000 | #Constraints:      22263
1876.40/1882.10	c #Conflicts:     318000 | #Constraints:      23263
1876.40/1882.10	c #Conflicts:     319000 | #Constraints:      24263
1876.40/1882.10	c #Conflicts:     320000 | #Constraints:      25263
1876.40/1882.10	c #Conflicts:     321000 | #Constraints:      26263
1876.40/1882.10	c INPROCESSING
1876.40/1882.10	c GARBAGE COLLECT
1876.40/1882.10	c #Conflicts:     322000 | #Constraints:      16056
1876.40/1882.10	c #Conflicts:     323000 | #Constraints:      17056
1876.40/1882.10	c #Conflicts:     324000 | #Constraints:      18056
1876.40/1882.10	c #Conflicts:     325000 | #Constraints:      19056
1876.40/1882.10	c #Conflicts:     326000 | #Constraints:      20056
1876.40/1882.10	c #Conflicts:     327000 | #Constraints:      21056
1876.40/1882.10	c #Conflicts:     328000 | #Constraints:      22056
1876.40/1882.10	c #Conflicts:     329000 | #Constraints:      23056
1876.40/1882.10	c #Conflicts:     330000 | #Constraints:      24056
1876.40/1882.10	c #Conflicts:     331000 | #Constraints:      25056
1876.40/1882.10	c #Conflicts:     332000 | #Constraints:      26056
1876.40/1882.10	c #Conflicts:     333000 | #Constraints:      27056
1876.40/1882.10	c INPROCESSING
1876.40/1882.10	c GARBAGE COLLECT
1876.40/1882.10	c #Conflicts:     334000 | #Constraints:      16647
1876.40/1882.10	c #Conflicts:     335000 | #Constraints:      17647
1876.40/1882.10	c #Conflicts:     336000 | #Constraints:      18647
1876.40/1882.10	c #Conflicts:     337000 | #Constraints:      19647
1876.40/1882.10	c #Conflicts:     338000 | #Constraints:      20647
1876.40/1882.10	c #Conflicts:     339000 | #Constraints:      21647
1876.40/1882.10	c #Conflicts:     340000 | #Constraints:      22647
1876.40/1882.10	c #Conflicts:     341000 | #Constraints:      23647
1876.40/1882.10	c #Conflicts:     342000 | #Constraints:      24647
1876.40/1882.10	c #Conflicts:     343000 | #Constraints:      25647
1876.40/1882.10	c #Conflicts:     344000 | #Constraints:      26647
1876.40/1882.10	c #Conflicts:     345000 | #Constraints:      27647
1876.40/1882.10	c INPROCESSING
1876.40/1882.10	c GARBAGE COLLECT
1876.40/1882.10	c #Conflicts:     346000 | #Constraints:      17058
1876.40/1882.10	c #Conflicts:     347000 | #Constraints:      18058
1876.40/1882.10	c #Conflicts:     348000 | #Constraints:      19058
1876.40/1882.10	c #Conflicts:     349000 | #Constraints:      20058
1876.40/1882.10	c #Conflicts:     350000 | #Constraints:      21058
1876.40/1882.10	c #Conflicts:     351000 | #Constraints:      22058
1876.40/1882.10	c #Conflicts:     352000 | #Constraints:      23058
1876.40/1882.10	c #Conflicts:     353000 | #Constraints:      24058
1876.40/1882.10	c #Conflicts:     354000 | #Constraints:      25058
1876.40/1882.10	c #Conflicts:     355000 | #Constraints:      26058
1876.40/1882.10	c #Conflicts:     356000 | #Constraints:      27058
1876.40/1882.10	c #Conflicts:     357000 | #Constraints:      28058
1876.40/1882.10	c INPROCESSING
1876.40/1882.10	c GARBAGE COLLECT
1876.40/1882.10	c #Conflicts:     358000 | #Constraints:      17249
1876.40/1882.10	c #Conflicts:     359000 | #Constraints:      18249
1876.40/1882.10	c #Conflicts:     360000 | #Constraints:      19249
1876.40/1882.10	c #Conflicts:     361000 | #Constraints:      20249
1876.40/1882.10	c #Conflicts:     362000 | #Constraints:      21249
1876.40/1882.10	c #Conflicts:     363000 | #Constraints:      22249
1876.40/1882.10	c #Conflicts:     364000 | #Constraints:      23249
1876.40/1882.10	c #Conflicts:     365000 | #Constraints:      24249
1876.40/1882.10	c #Conflicts:     366000 | #Constraints:      25249
1876.40/1882.10	c #Conflicts:     367000 | #Constraints:      26249
1876.40/1882.10	c #Conflicts:     368000 | #Constraints:      27249
1876.40/1882.10	c #Conflicts:     369000 | #Constraints:      28249
1876.40/1882.10	c INPROCESSING
1876.40/1882.10	c GARBAGE COLLECT
1876.40/1882.10	c #Conflicts:     370000 | #Constraints:      17248
1876.40/1882.10	c #Conflicts:     371000 | #Constraints:      18248
1876.40/1882.10	c #Conflicts:     372000 | #Constraints:      19248
1876.40/1882.10	c #Conflicts:     373000 | #Constraints:      20248
1876.40/1882.10	c #Conflicts:     374000 | #Constraints:      21248
1876.40/1882.10	c #Conflicts:     375000 | #Constraints:      22248
1876.40/1882.10	c #Conflicts:     376000 | #Constraints:      23248
1876.40/1882.10	c #Conflicts:     377000 | #Constraints:      24248
1876.40/1882.10	c #Conflicts:     378000 | #Constraints:      25248
2262.56/2269.18	c #Conflicts:     379000 | #Constraints:      26248
2262.56/2269.18	c #Conflicts:     380000 | #Constraints:      27248
2262.56/2269.18	c #Conflicts:     381000 | #Constraints:      28248
2262.56/2269.18	c INPROCESSING
2262.56/2269.18	c GARBAGE COLLECT
2262.56/2269.18	c #Conflicts:     382000 | #Constraints:      17053
2262.56/2269.18	c #Conflicts:     383000 | #Constraints:      18053
2262.56/2269.18	c #Conflicts:     384000 | #Constraints:      19053
2262.56/2269.18	c #Conflicts:     385000 | #Constraints:      20053
2262.56/2269.18	c #Conflicts:     386000 | #Constraints:      21053
2262.56/2269.18	c #Conflicts:     387000 | #Constraints:      22053
2262.56/2269.18	c #Conflicts:     388000 | #Constraints:      23053
2262.56/2269.18	c #Conflicts:     389000 | #Constraints:      24053
2262.56/2269.18	c #Conflicts:     390000 | #Constraints:      25053
2262.56/2269.18	c #Conflicts:     391000 | #Constraints:      26053
2262.56/2269.18	c #Conflicts:     392000 | #Constraints:      27053
2262.56/2269.18	c #Conflicts:     393000 | #Constraints:      28053
2262.56/2269.18	c #Conflicts:     394000 | #Constraints:      29053
2262.56/2269.18	c INPROCESSING
2262.56/2269.18	c GARBAGE COLLECT
2262.56/2269.18	c #Conflicts:     395000 | #Constraints:      17634
2262.56/2269.18	c #Conflicts:     396000 | #Constraints:      18634
2262.56/2269.18	c #Conflicts:     397000 | #Constraints:      19634
2262.56/2269.18	c #Conflicts:     398000 | #Constraints:      20634
2262.56/2269.18	c #Conflicts:     399000 | #Constraints:      21634
2262.56/2269.18	c #Conflicts:     400000 | #Constraints:      22634
2262.56/2269.18	c #Conflicts:     401000 | #Constraints:      23634
2262.56/2269.18	c #Conflicts:     402000 | #Constraints:      24634
2262.56/2269.18	c #Conflicts:     403000 | #Constraints:      25634
2262.56/2269.18	c #Conflicts:     404000 | #Constraints:      26634
2262.56/2269.18	c #Conflicts:     405000 | #Constraints:      27634
2262.56/2269.18	c #Conflicts:     406000 | #Constraints:      28634
2262.56/2269.18	c #Conflicts:     407000 | #Constraints:      29634
2262.56/2269.18	c INPROCESSING
2262.56/2269.18	c GARBAGE COLLECT
2262.56/2269.18	c #Conflicts:     408000 | #Constraints:      18029
2262.56/2269.18	c #Conflicts:     409000 | #Constraints:      19029
2262.56/2269.18	c #Conflicts:     410000 | #Constraints:      20029
2262.56/2269.18	c #Conflicts:     411000 | #Constraints:      21029
2262.56/2269.18	c #Conflicts:     412000 | #Constraints:      22029
2262.56/2269.18	c #Conflicts:     413000 | #Constraints:      23029
2262.56/2269.18	c #Conflicts:     414000 | #Constraints:      24029
2262.56/2269.18	c #Conflicts:     415000 | #Constraints:      25029
2262.56/2269.18	c #Conflicts:     416000 | #Constraints:      26029
2262.56/2269.18	c #Conflicts:     417000 | #Constraints:      27029
2262.56/2269.18	c #Conflicts:     418000 | #Constraints:      28029
2262.56/2269.18	c #Conflicts:     419000 | #Constraints:      29029
2262.56/2269.18	c #Conflicts:     420000 | #Constraints:      30029
2262.56/2269.18	c INPROCESSING
2262.56/2269.18	c GARBAGE COLLECT
2262.56/2269.18	c #Conflicts:     421000 | #Constraints:      18238
2262.56/2269.18	c #Conflicts:     422000 | #Constraints:      19238
2262.56/2269.18	c #Conflicts:     423000 | #Constraints:      20238
2262.56/2269.18	c #Conflicts:     424000 | #Constraints:      21238
2262.56/2269.18	c #Conflicts:     425000 | #Constraints:      22238
2262.56/2269.18	c #Conflicts:     426000 | #Constraints:      23238
2262.56/2269.18	c #Conflicts:     427000 | #Constraints:      24238
2262.56/2269.18	c #Conflicts:     428000 | #Constraints:      25238
2262.56/2269.18	c GLOBAL bounds - >= 0 @ 2257.59
2702.38/2710.01	c #Conflicts:     429000 | #Constraints:      26240
2702.38/2710.01	c #Conflicts:     430000 | #Constraints:      27240
2702.38/2710.01	c #Conflicts:     431000 | #Constraints:      28240
2702.38/2710.01	c #Conflicts:     432000 | #Constraints:      29240
2702.38/2710.01	c #Conflicts:     433000 | #Constraints:      30240
2702.38/2710.01	c INPROCESSING
2702.38/2710.01	c GARBAGE COLLECT
2702.38/2710.01	c #Conflicts:     434000 | #Constraints:      18266
2702.38/2710.01	c #Conflicts:     435000 | #Constraints:      19266
2702.38/2710.01	c #Conflicts:     436000 | #Constraints:      20266
2702.38/2710.01	c #Conflicts:     437000 | #Constraints:      21266
2702.38/2710.01	c #Conflicts:     438000 | #Constraints:      22266
2702.38/2710.01	c #Conflicts:     439000 | #Constraints:      23266
2702.38/2710.01	c #Conflicts:     440000 | #Constraints:      24266
2702.38/2710.01	c #Conflicts:     441000 | #Constraints:      25266
2702.38/2710.01	c #Conflicts:     442000 | #Constraints:      26266
2702.38/2710.01	c #Conflicts:     443000 | #Constraints:      27266
2702.38/2710.01	c #Conflicts:     444000 | #Constraints:      28266
2702.38/2710.01	c #Conflicts:     445000 | #Constraints:      29266
2702.38/2710.01	c #Conflicts:     446000 | #Constraints:      30266
2702.38/2710.01	c INPROCESSING
2702.38/2710.01	c GARBAGE COLLECT
2702.38/2710.01	c #Conflicts:     447000 | #Constraints:      18084
2702.38/2710.01	c #Conflicts:     448000 | #Constraints:      19084
2702.38/2710.01	c #Conflicts:     449000 | #Constraints:      20084
2702.38/2710.01	c #Conflicts:     450000 | #Constraints:      21084
2702.38/2710.01	c #Conflicts:     451000 | #Constraints:      22084
2702.38/2710.01	c #Conflicts:     452000 | #Constraints:      23084
2702.38/2710.01	c #Conflicts:     453000 | #Constraints:      24084
2702.38/2710.01	c #Conflicts:     454000 | #Constraints:      25084
2702.38/2710.01	c #Conflicts:     455000 | #Constraints:      26084
2702.38/2710.01	c #Conflicts:     456000 | #Constraints:      27084
2702.38/2710.01	c #Conflicts:     457000 | #Constraints:      28084
2702.38/2710.01	c #Conflicts:     458000 | #Constraints:      29084
2702.38/2710.01	c #Conflicts:     459000 | #Constraints:      30084
2702.38/2710.01	c #Conflicts:     460000 | #Constraints:      31084
2702.38/2710.01	c INPROCESSING
2702.38/2710.01	c GARBAGE COLLECT
2702.38/2710.01	c #Conflicts:     461000 | #Constraints:      18680
2702.38/2710.01	c #Conflicts:     462000 | #Constraints:      19680
2702.38/2710.01	c #Conflicts:     463000 | #Constraints:      20680
2702.38/2710.01	c #Conflicts:     464000 | #Constraints:      21680
2702.38/2710.01	c #Conflicts:     465000 | #Constraints:      22680
2702.38/2710.01	c #Conflicts:     466000 | #Constraints:      23680
2702.38/2710.01	c #Conflicts:     467000 | #Constraints:      24680
2702.38/2710.01	c #Conflicts:     468000 | #Constraints:      25680
2702.38/2710.01	c #Conflicts:     469000 | #Constraints:      26680
2702.38/2710.01	c #Conflicts:     470000 | #Constraints:      27680
2702.38/2710.01	c #Conflicts:     471000 | #Constraints:      28680
2702.38/2710.01	c #Conflicts:     472000 | #Constraints:      29680
2702.38/2710.01	c #Conflicts:     473000 | #Constraints:      30680
2702.38/2710.01	c #Conflicts:     474000 | #Constraints:      31680
2702.38/2710.01	c INPROCESSING
2702.38/2710.01	c GARBAGE COLLECT
2702.38/2710.01	c #Conflicts:     475000 | #Constraints:      19093
2702.38/2710.01	c #Conflicts:     476000 | #Constraints:      20093
2702.38/2710.01	c #Conflicts:     477000 | #Constraints:      21093
2702.38/2710.01	c #Conflicts:     478000 | #Constraints:      22093
2702.38/2710.01	c #Conflicts:     479000 | #Constraints:      23093
2702.38/2710.01	c #Conflicts:     480000 | #Constraints:      24093
2702.38/2710.01	c #Conflicts:     481000 | #Constraints:      25093
2702.38/2710.01	c #Conflicts:     482000 | #Constraints:      26093
2702.38/2710.01	c #Conflicts:     483000 | #Constraints:      27093
2702.38/2710.01	c #Conflicts:     484000 | #Constraints:      28093
2702.38/2710.01	c #Conflicts:     485000 | #Constraints:      29093
2702.38/2710.01	c #Conflicts:     486000 | #Constraints:      30093
2702.38/2710.01	c #Conflicts:     487000 | #Constraints:      31093
2702.38/2710.01	c #Conflicts:     488000 | #Constraints:      32093
2702.38/2710.01	c INPROCESSING
2702.38/2710.01	c GARBAGE COLLECT
2702.38/2710.01	c #Conflicts:     489000 | #Constraints:      19279
2702.38/2710.01	c #Conflicts:     490000 | #Constraints:      20279
2702.38/2710.01	c #Conflicts:     491000 | #Constraints:      21279
2702.38/2710.01	c #Conflicts:     492000 | #Constraints:      22279
2702.38/2710.01	c #Conflicts:     493000 | #Constraints:      23279
2702.38/2710.01	c #Conflicts:     494000 | #Constraints:      24279
2702.38/2710.01	c #Conflicts:     495000 | #Constraints:      25279
2702.38/2710.01	c #Conflicts:     496000 | #Constraints:      26279
2702.38/2710.01	c #Conflicts:     497000 | #Constraints:      27279
2702.38/2710.01	c #Conflicts:     498000 | #Constraints:      28279
2702.38/2710.01	c #Conflicts:     499000 | #Constraints:      29279
2702.38/2710.01	c #Conflicts:     500000 | #Constraints:      30279
2702.38/2710.01	c #Conflicts:     501000 | #Constraints:      31279
2702.38/2710.01	c #Conflicts:     502000 | #Constraints:      32279
2702.38/2710.01	c INPROCESSING
2702.38/2710.01	c GARBAGE COLLECT
2702.38/2710.01	c #Conflicts:     503000 | #Constraints:      19287
2929.14/2937.34	c #Conflicts:     504000 | #Constraints:      20287
2929.14/2937.34	c #Conflicts:     505000 | #Constraints:      21287
2929.14/2937.34	c #Conflicts:     506000 | #Constraints:      22287
2929.14/2937.34	c #Conflicts:     507000 | #Constraints:      23287
2929.14/2937.34	c #Conflicts:     508000 | #Constraints:      24287
2929.14/2937.34	c #Conflicts:     509000 | #Constraints:      25287
2929.14/2937.34	c #Conflicts:     510000 | #Constraints:      26287
2929.14/2937.34	c #Conflicts:     511000 | #Constraints:      27287
2929.14/2937.34	c #Conflicts:     512000 | #Constraints:      28287
2929.14/2937.34	c #Conflicts:     513000 | #Constraints:      29287
2929.14/2937.34	c #Conflicts:     514000 | #Constraints:      30287
2929.14/2937.34	c #Conflicts:     515000 | #Constraints:      31287
2929.14/2937.34	c #Conflicts:     516000 | #Constraints:      32287
2929.14/2937.34	c INPROCESSING
2929.14/2937.34	c GARBAGE COLLECT
2929.14/2937.34	c #Conflicts:     517000 | #Constraints:      19068
2929.14/2937.34	c #Conflicts:     518000 | #Constraints:      20068
2929.14/2937.34	c #Conflicts:     519000 | #Constraints:      21068
2929.14/2937.34	c #Conflicts:     520000 | #Constraints:      22068
2929.14/2937.34	c #Conflicts:     521000 | #Constraints:      23068
2929.14/2937.34	c #Conflicts:     522000 | #Constraints:      24068
2929.14/2937.34	c #Conflicts:     523000 | #Constraints:      25068
2929.14/2937.34	c #Conflicts:     524000 | #Constraints:      26068
2929.14/2937.34	c #Conflicts:     525000 | #Constraints:      27068
2929.14/2937.34	c #Conflicts:     526000 | #Constraints:      28068
2929.14/2937.34	c #Conflicts:     527000 | #Constraints:      29068
2929.14/2937.34	c #Conflicts:     528000 | #Constraints:      30068
2929.14/2937.34	c #Conflicts:     529000 | #Constraints:      31068
2929.14/2937.34	c #Conflicts:     530000 | #Constraints:      32068
2929.14/2937.34	c #Conflicts:     531000 | #Constraints:      33068
2929.14/2937.34	c INPROCESSING
2929.14/2937.34	c GARBAGE COLLECT
2929.14/2937.34	c #Conflicts:     532000 | #Constraints:      19664
2929.14/2937.34	c #Conflicts:     533000 | #Constraints:      20664
2929.14/2937.34	c #Conflicts:     534000 | #Constraints:      21664
2929.14/2937.34	c GLOBAL bounds - >= 0 @ 2923.43
3373.56/3382.87	c #Conflicts:     535000 | #Constraints:      22666
3373.56/3382.87	c #Conflicts:     536000 | #Constraints:      23666
3373.56/3382.87	c #Conflicts:     537000 | #Constraints:      24666
3373.56/3382.87	c #Conflicts:     538000 | #Constraints:      25666
3373.56/3382.87	c #Conflicts:     539000 | #Constraints:      26666
3373.56/3382.87	c #Conflicts:     540000 | #Constraints:      27666
3373.56/3382.87	c #Conflicts:     541000 | #Constraints:      28666
3373.56/3382.87	c #Conflicts:     542000 | #Constraints:      29666
3373.56/3382.87	c #Conflicts:     543000 | #Constraints:      30666
3373.56/3382.87	c #Conflicts:     544000 | #Constraints:      31666
3373.56/3382.87	c #Conflicts:     545000 | #Constraints:      32666
3373.56/3382.87	c #Conflicts:     546000 | #Constraints:      33666
3373.56/3382.87	c INPROCESSING
3373.56/3382.87	c GARBAGE COLLECT
3373.56/3382.87	c #Conflicts:     547000 | #Constraints:      20060
3373.56/3382.87	c #Conflicts:     548000 | #Constraints:      21060
3373.56/3382.87	c #Conflicts:     549000 | #Constraints:      22060
3373.56/3382.87	c #Conflicts:     550000 | #Constraints:      23060
3373.56/3382.87	c #Conflicts:     551000 | #Constraints:      24060
3373.56/3382.87	c #Conflicts:     552000 | #Constraints:      25060
3373.56/3382.87	c #Conflicts:     553000 | #Constraints:      26060
3373.56/3382.87	c #Conflicts:     554000 | #Constraints:      27060
3373.56/3382.87	c #Conflicts:     555000 | #Constraints:      28060
3373.56/3382.87	c #Conflicts:     556000 | #Constraints:      29060
3373.56/3382.87	c #Conflicts:     557000 | #Constraints:      30060
3373.56/3382.87	c #Conflicts:     558000 | #Constraints:      31060
3373.56/3382.87	c #Conflicts:     559000 | #Constraints:      32060
3373.56/3382.87	c #Conflicts:     560000 | #Constraints:      33060
3373.56/3382.87	c #Conflicts:     561000 | #Constraints:      34060
3373.56/3382.87	c INPROCESSING
3373.56/3382.87	c GARBAGE COLLECT
3373.56/3382.87	c #Conflicts:     562000 | #Constraints:      20252
3373.56/3382.87	c #Conflicts:     563000 | #Constraints:      21252
3373.56/3382.87	c #Conflicts:     564000 | #Constraints:      22252
3373.56/3382.87	c #Conflicts:     565000 | #Constraints:      23252
3373.56/3382.87	c #Conflicts:     566000 | #Constraints:      24252
3373.56/3382.87	c #Conflicts:     567000 | #Constraints:      25252
3373.56/3382.87	c #Conflicts:     568000 | #Constraints:      26252
3373.56/3382.87	c #Conflicts:     569000 | #Constraints:      27252
3373.56/3382.87	c #Conflicts:     570000 | #Constraints:      28252
3373.56/3382.87	c #Conflicts:     571000 | #Constraints:      29252
3373.56/3382.87	c #Conflicts:     572000 | #Constraints:      30252
3373.56/3382.87	c #Conflicts:     573000 | #Constraints:      31252
3373.56/3382.87	c #Conflicts:     574000 | #Constraints:      32252
3373.56/3382.87	c #Conflicts:     575000 | #Constraints:      33252
3373.56/3382.87	c #Conflicts:     576000 | #Constraints:      34252
3373.56/3382.87	c INPROCESSING
3373.56/3382.87	c GARBAGE COLLECT
3373.56/3382.87	c #Conflicts:     577000 | #Constraints:      20247
3373.56/3382.87	c #Conflicts:     578000 | #Constraints:      21247
3373.56/3382.87	c #Conflicts:     579000 | #Constraints:      22247
3373.56/3382.87	c #Conflicts:     580000 | #Constraints:      23247
3373.56/3382.87	c #Conflicts:     581000 | #Constraints:      24247
3373.56/3382.87	c #Conflicts:     582000 | #Constraints:      25247
3373.56/3382.87	c #Conflicts:     583000 | #Constraints:      26247
3373.56/3382.87	c #Conflicts:     584000 | #Constraints:      27247
3373.56/3382.87	c #Conflicts:     585000 | #Constraints:      28247
3373.56/3382.87	c #Conflicts:     586000 | #Constraints:      29247
3373.56/3382.87	c #Conflicts:     587000 | #Constraints:      30247
3373.56/3382.87	c #Conflicts:     588000 | #Constraints:      31247
3373.56/3382.87	c #Conflicts:     589000 | #Constraints:      32247
3373.56/3382.87	c #Conflicts:     590000 | #Constraints:      33247
3373.56/3382.87	c #Conflicts:     591000 | #Constraints:      34247
3373.56/3382.87	c INPROCESSING
3373.56/3382.87	c GARBAGE COLLECT
3373.56/3382.87	c #Conflicts:     592000 | #Constraints:      20055
3373.56/3382.87	c #Conflicts:     593000 | #Constraints:      21055
3373.56/3382.87	c #Conflicts:     594000 | #Constraints:      22055
3373.56/3382.87	c #Conflicts:     595000 | #Constraints:      23055
3373.56/3382.87	c #Conflicts:     596000 | #Constraints:      24055
3373.56/3382.87	c #Conflicts:     597000 | #Constraints:      25055
3373.56/3382.87	c #Conflicts:     598000 | #Constraints:      26055
3373.56/3382.87	c #Conflicts:     599000 | #Constraints:      27055
3373.56/3382.87	c #Conflicts:     600000 | #Constraints:      28055
3373.56/3382.87	c #Conflicts:     601000 | #Constraints:      29055
3373.56/3382.87	c #Conflicts:     602000 | #Constraints:      30055
3373.56/3382.87	c #Conflicts:     603000 | #Constraints:      31055
3373.56/3382.87	c #Conflicts:     604000 | #Constraints:      32055
3373.56/3382.87	c #Conflicts:     605000 | #Constraints:      33055
3373.56/3382.87	c #Conflicts:     606000 | #Constraints:      34055
3373.56/3382.87	c #Conflicts:     607000 | #Constraints:      35055
3373.56/3382.87	c INPROCESSING
3373.56/3382.87	c GARBAGE COLLECT
3373.56/3382.87	c #Conflicts:     608000 | #Constraints:      20648
3373.56/3382.87	c #Conflicts:     609000 | #Constraints:      21648
3373.56/3382.87	c #Conflicts:     610000 | #Constraints:      22648
3600.01/3609.80	c #Conflicts:     611000 | #Constraints:      23648
3600.01/3609.80	c #Conflicts:     612000 | #Constraints:      24648
3600.01/3609.80	c #Conflicts:     613000 | #Constraints:      25648
3600.01/3609.80	c #Conflicts:     614000 | #Constraints:      26648
3600.01/3609.80	c #Conflicts:     615000 | #Constraints:      27648
3600.01/3609.80	c #Conflicts:     616000 | #Constraints:      28648
3600.01/3609.80	c #Conflicts:     617000 | #Constraints:      29648
3600.01/3609.80	c #Conflicts:     618000 | #Constraints:      30648
3600.01/3609.80	c #Conflicts:     619000 | #Constraints:      31648
3600.01/3609.80	c #Conflicts:     620000 | #Constraints:      32648
3600.01/3609.80	c #Conflicts:     621000 | #Constraints:      33648
3600.01/3609.80	c #Conflicts:     622000 | #Constraints:      34648
3600.01/3609.80	c #Conflicts:     623000 | #Constraints:      35648
3600.01/3609.80	c INPROCESSING
3600.01/3609.80	c GARBAGE COLLECT
3600.01/3609.80	c #Conflicts:     624000 | #Constraints:      21041
3600.01/3609.80	c #Conflicts:     625000 | #Constraints:      22041
3600.01/3609.80	c #Conflicts:     626000 | #Constraints:      23041
3600.01/3609.80	c #Conflicts:     627000 | #Constraints:      24041
3600.01/3609.80	c #Conflicts:     628000 | #Constraints:      25041
3600.01/3609.80	c #Conflicts:     629000 | #Constraints:      26041
3600.01/3609.80	c #Conflicts:     630000 | #Constraints:      27041
3600.01/3609.80	c #Conflicts:     631000 | #Constraints:      28041
3600.01/3609.80	c #Conflicts:     632000 | #Constraints:      29041
3600.01/3609.80	c #Conflicts:     633000 | #Constraints:      30041
3600.01/3609.80	c #Conflicts:     634000 | #Constraints:      31041
3600.01/3609.80	c #Conflicts:     635000 | #Constraints:      32041
3600.01/3609.80	c #Conflicts:     636000 | #Constraints:      33041
3600.01/3609.80	c #Conflicts:     637000 | #Constraints:      34041
3600.01/3609.80	c #Conflicts:     638000 | #Constraints:      35041
3600.01/3609.80	c #Conflicts:     639000 | #Constraints:      36041
3600.01/3609.80	c INPROCESSING
3600.01/3609.80	c GARBAGE COLLECT
3600.01/3609.80	c #Conflicts:     640000 | #Constraints:      21245
3600.01/3609.80	c #Conflicts:     641000 | #Constraints:      22245
3600.01/3609.80	c #Conflicts:     642000 | #Constraints:      23245
3600.01/3609.80	c #Conflicts:     643000 | #Constraints:      24245
3600.01/3609.80	c #Conflicts:     644000 | #Constraints:      25245
3600.01/3609.80	c #Conflicts:     645000 | #Constraints:      26245
3600.01/3609.80	c #Conflicts:     646000 | #Constraints:      27245
3600.01/3609.80	c #Conflicts:     647000 | #Constraints:      28245
3600.01/3609.80	c #Conflicts:     648000 | #Constraints:      29245
3600.01/3609.80	c cpu time 3593.27 s
3600.01/3609.80	c deterministic time 1 1.00e+00
3600.01/3609.80	c optimization time 3593.26 s
3600.01/3609.80	c total solve time 0 s
3600.01/3609.80	c core-guided solve time 0 s
3600.01/3609.80	c propagation time 0.001009 s
3600.01/3609.80	c conflict analysis time 0 s
3600.01/3609.80	c propagations 0
3600.01/3609.80	c resolve steps 0
3600.01/3609.80	c decisions 0
3600.01/3609.80	c conflicts 0
3600.01/3609.80	c restarts 0
3600.01/3609.80	c inprocessing phases 0
3600.01/3609.80	c garbage collections 0 ,( -nan )
3600.01/3609.80	c input clauses 4000 ,( 100.00 )
3600.01/3609.80	c input cardinalities 0 ,( 0.00 )
3600.01/3609.80	c input general constraints 0 ,( 0.00 )
3600.01/3609.80	c input average constraint length 2.00
3600.01/3609.80	c input average constraint degree 1.00
3600.01/3609.80	c learned clauses 0 ,( 0.00 )
3600.01/3609.80	c learned cardinalities 0 ,( 0.00 )
3600.01/3609.80	c learned general constraints 0 ,( 0.00 )
3600.01/3609.80	c learned average constraint length 0.00
3600.01/3609.80	c learned average constraint degree 0.00
3600.01/3609.80	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3609.80	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3609.80	c watched   constraints 0 ,( -nan ) 
3600.01/3609.80	c counting  constraints 0 ,( -nan ) 
3600.01/3609.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3609.80	c gcd simplifications 0
3600.01/3609.80	c detected cardinalities 0
3600.01/3609.80	c weakened non-implied lits 0
3600.01/3609.80	c weakened non-implying lits 0
3600.01/3609.80	c original variables 1963
3600.01/3609.80	c clausal propagations 0
3600.01/3609.80	c cardinality propagations 0
3600.01/3609.80	c watched propagations 0
3600.01/3609.80	c counting propagations 0
3600.01/3609.80	c watch lookups 0
3600.01/3609.80	c watch backjump lookups 0
3600.01/3609.80	c watch checks 0
3600.01/3609.80	c propagation checks 0
3600.01/3609.80	c constraint additions 0
3600.01/3609.80	c trail pops 0
3600.01/3609.80	c formula constraints 4000
3600.01/3609.80	c learned constraints 0
3600.01/3609.80	c bound constraints 0
3600.01/3609.80	c core-guided constraints 0
3600.01/3609.80	c encountered formula constraints 0
3600.01/3609.80	c encountered learned constraints 0
3600.01/3609.80	c encountered bound constraints 0
3600.01/3609.80	c encountered core-guided constraints 0
3600.01/3609.80	c LP total time 0 s
3600.01/3609.80	c LP solve time 0 s
3600.01/3609.80	c LP constraints added 0
3600.01/3609.80	c LP constraints removed 0
3600.01/3609.80	c LP pivots internal 0
3600.01/3609.80	c LP pivots root 0
3600.01/3609.80	c LP calls 0
3600.01/3609.80	c LP optimalities 0
3600.01/3609.80	c LP no pivot count 0
3600.01/3609.80	c LP infeasibilities 0
3600.01/3609.80	c LP valid Farkas constraints 0
3600.01/3609.80	c LP learned Farkas constraints 0
3600.01/3609.80	c LP basis resets 0
3600.01/3609.80	c LP cycling count 0
3600.01/3609.80	c LP singular count 0
3600.01/3609.80	c LP no primal count 0
3600.01/3609.80	c LP no farkas count 0
3600.01/3609.80	c LP other issue count 0
3600.01/3609.80	c LP Gomory cuts 0
3600.01/3609.80	c LP learned cuts 0
3600.01/3609.80	c LP deleted cuts 0
3600.01/3609.80	c LP encountered Gomory constraints 0
3600.01/3609.80	c LP encountered Farkas constraints 0
3600.01/3609.80	c LP encountered learned Farkas constraints 0
3600.01/3609.80	c CG auxiliary variables introduced 0
3600.01/3609.80	c CG solutions found 0
3600.01/3609.80	c CG cores constructed 0
3600.01/3609.80	c CG core cardinality constraints returned 0
3600.01/3609.80	c CG unit cores 0
3600.01/3609.80	c CG single cores 0
3600.01/3609.80	c CG blocks removed during cardinality reduction 0
3600.01/3609.80	c CG first core best 0
3600.01/3609.80	c CG decision core best 0
3600.01/3609.80	c CG core reduction tie 0
3600.01/3609.80	c CG core degree average 0.00
3600.01/3609.80	c CG core slack average 0.00
3600.01/3609.80	c CG core upper bound improvements 0
3600.01/3609.80	c STR number of successful calls 0
3600.01/3609.80	c STR number of unsuccessful calls 0
3600.01/3609.80	c STR number of inconclusive calls 0
3600.01/3609.80	c STR number of successful attempts 0
3600.01/3609.80	c STR number of unsuccessful attempts 0
3600.01/3609.80	c STR number of inconclusive attempts 0
3600.01/3609.80	c STR average degree increase per successful call inf
3600.01/3609.80	c STR average degree increase per successful attempt inf
3600.01/3609.80	c STR total number of conflicts for successful attempts 0
3600.01/3609.80	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.80	c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.80	c STR average number of conflicts per successful attempt inf
3600.01/3609.80	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.80	c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.80	c AVG.sumWPerc -nan 
3600.01/3609.80	c bigint constraints 0 
3600.01/3609.80	s UNKNOWN
3600.01/3609.80	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 (63064 MiB free)
  memory of node 1: 64465 MiB (64065 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488770-1751348216/watcher-4488770-1751348216 -o /tmp/evaluation-result-4488770-1751348216/solver-4488770-1751348216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50578 --watchdog 3760 run-opt.sh HOME/instance-4488770-1751348216.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=50635, runsolver pid=50619

[startup+0.100058 s]*
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130143268/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=67980 memory=19940 CPUtime=0.08 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 3432 0 0 0 6 2 0 0 20 0 1 0 50499146 69611520 4985 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 16995 4985 2368 1147 0 4422 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 72172 KiB
Current children cumulated memory: 23012 KiB

[startup+0.205995 s]*
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130094380/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=72080 memory=26432 CPUtime=0.18 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 4500 0 0 0 16 2 0 0 20 0 1 0 50499146 73809920 6608 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 18020 6608 2400 1147 0 5447 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76272 KiB
Current children cumulated memory: 29504 KiB

[startup+0.306011 s]*
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130071004/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=82680 memory=37104 CPUtime=0.27 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 6666 0 0 0 25 2 0 0 20 0 1 0 50499146 84664320 9276 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 20670 9276 2400 1147 0 8097 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 86872 KiB
Current children cumulated memory: 40176 KiB

[startup+0.700188 s]
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130023112/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=108880 memory=56884 CPUtime=0.67 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 11084 0 0 0 63 4 0 0 20 0 1 0 50499146 111493120 14221 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 27220 14221 2400 1147 0 14647 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 113072 KiB
Current children cumulated memory: 59956 KiB

[startup+1.50019 s]
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=129881544/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=155404 memory=95764 CPUtime=1.46 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 18782 0 0 0 140 6 0 0 20 0 1 0 50499146 159133696 23941 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 38851 23941 2400 1147 0 26278 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 159596 KiB
Current children cumulated memory: 98836 KiB

[startup+3.1059 s]
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=129668784/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=187684 memory=128312 CPUtime=3.06 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 24865 0 0 0 297 9 0 0 20 0 1 0 50499146 192188416 32078 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 46921 32078 2400 1147 0 34348 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 191876 KiB
Current children cumulated memory: 131384 KiB

[startup+6.30019 s]
/proc/loadavg: 1.91 3.38 4.00 6/274 50639
/proc/meminfo: memFree=129475232/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=240564 memory=179984 CPUtime=6.25 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 34233 0 0 0 612 13 0 0 20 0 1 0 50499146 246337536 44996 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 60141 44996 2400 1147 0 47568 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 244756 KiB
Current children cumulated memory: 183056 KiB

[startup+12.7002 s]
/proc/loadavg: 2.08 3.39 4.00 6/274 50639
/proc/meminfo: memFree=128969492/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=367524 memory=261232 CPUtime=12.64 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 50959 0 0 0 1243 21 0 0 20 0 1 0 50499146 376344576 65308 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 91881 65308 2400 1147 0 79308 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 371716 KiB
Current children cumulated memory: 264304 KiB

[startup+25.5002 s]
/proc/loadavg: 2.50 3.42 4.00 6/274 50639
/proc/meminfo: memFree=128376732/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=586332 memory=467088 CPUtime=25.4 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 98837 0 0 0 2500 40 0 0 20 0 1 0 50499146 600403968 116772 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 146583 116772 2400 1147 0 134010 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 590524 KiB
Current children cumulated memory: 470160 KiB

[startup+51.1059 s]
/proc/loadavg: 3.09 3.48 4.00 6/273 50640
/proc/meminfo: memFree=128182924/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=747376 memory=544684 CPUtime=50.94 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 116727 0 0 0 5036 58 0 0 20 0 1 0 50499146 765313024 136171 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 186844 136171 2400 1147 0 174271 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 751568 KiB
Current children cumulated memory: 547756 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 3.58 4.01 6/273 50641
/proc/meminfo: memFree=128041932/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=752700 memory=550828 CPUtime=102.01 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 118273 0 0 0 10122 79 0 0 20 0 1 0 50499146 770764800 137707 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 188175 137707 2400 1147 0 175602 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 756892 KiB
Current children cumulated memory: 553900 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.67 4.01 6/272 50646
/proc/meminfo: memFree=127868544/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=756660 memory=569392 CPUtime=161.83 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 121403 0 0 0 16085 98 0 0 20 0 1 0 50499146 774819840 142348 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 189165 142348 2400 1147 0 176592 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 760852 KiB
Current children cumulated memory: 572464 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.75 4.01 6/272 50649
/proc/meminfo: memFree=127827528/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=760688 memory=580968 CPUtime=221.65 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 122766 0 0 0 22046 119 0 0 20 0 1 0 50499146 778944512 145242 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 190172 145242 2400 1147 0 177599 0

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

/proc/50638/statm: 273918 254348 2400 1147 0 261345 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 1099864 KiB
Current children cumulated memory: 1020464 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/268 50806
/proc/meminfo: memFree=125926320/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=1095672 memory=1017392 CPUtime=3093.73 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 172077 0 0 0 308776 597 0 0 20 0 1 0 50499146 1121968128 254348 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 273918 254348 2400 1147 0 261345 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 1099864 KiB
Current children cumulated memory: 1020464 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/268 50810
/proc/meminfo: memFree=125895288/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=1095672 memory=1017392 CPUtime=3153.59 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 172077 0 0 0 314751 608 0 0 20 0 1 0 50499146 1121968128 254348 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 273918 254348 2400 1147 0 261345 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 1099864 KiB
Current children cumulated memory: 1020464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/267 50813
/proc/meminfo: memFree=125832300/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=1095672 memory=1017392 CPUtime=3213.45 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 172084 0 0 0 320726 619 0 0 20 0 1 0 50499146 1121968128 254348 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 273918 254348 2400 1147 0 261345 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 1099864 KiB
Current children cumulated memory: 1020464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 50817
/proc/meminfo: memFree=125792128/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=1095672 memory=1017392 CPUtime=3273.3 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 172087 0 0 0 326704 626 0 0 20 0 1 0 50499146 1121968128 254348 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 273918 254348 2400 1147 0 261345 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 1099864 KiB
Current children cumulated memory: 1020464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/270 50824
/proc/meminfo: memFree=125806112/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=1096116 memory=1017648 CPUtime=3333.16 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 172161 0 0 0 332679 637 0 0 20 0 1 0 50499146 1122422784 254412 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 274029 254412 2400 1147 0 261456 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 1100308 KiB
Current children cumulated memory: 1020720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/270 50826
/proc/meminfo: memFree=125802316/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=1096116 memory=1017648 CPUtime=3393.01 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 172248 0 0 0 338656 645 0 0 20 0 1 0 50499146 1122422784 254412 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 274029 254412 2400 1147 0 261456 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 1100308 KiB
Current children cumulated memory: 1020720 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/271 50829
/proc/meminfo: memFree=125761144/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=1099068 memory=1023564 CPUtime=3452.87 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 172690 0 0 0 344635 652 0 0 20 0 1 0 50499146 1125445632 255891 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 274767 255891 2400 1147 0 262194 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 1103260 KiB
Current children cumulated memory: 1026636 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/270 50831
/proc/meminfo: memFree=125753012/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=1099068 memory=1023564 CPUtime=3512.73 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 172690 0 0 0 350612 661 0 0 20 0 1 0 50499146 1125445632 255891 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 274767 255891 2400 1147 0 262194 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 1103260 KiB
Current children cumulated memory: 1026636 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/269 50834
/proc/meminfo: memFree=125753724/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=1099068 memory=1023564 CPUtime=3572.58 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 172691 0 0 0 356588 670 0 0 20 0 1 0 50499146 1125445632 255891 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 274767 255891 2400 1147 0 262194 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 1103260 KiB
Current children cumulated memory: 1026636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.08 4.09 4.09 6/268 50835
/proc/meminfo: memFree=125753156/131249996 swapFree=33006296/33010684
[pid=50635] ppid=50619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50635/stat : 50635 (run-opt.sh) S 50619 50635 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94384056754176 94384057648709 140726155439184 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384057887760 94384057935504 94384079212544 140726155442541 140726155442664 140726155442664 140726155448266 0
/proc/50635/statm: 1048 768 704 219 0 110 0
[pid=50638] ppid=50635 vsize=1099068 memory=1023564 CPUtime=3600.01 cores=1,3
/proc/50638/stat : 50638 (roundingsat) R 50635 50635 50566 0 -1 4194304 172691 0 0 0 359326 675 0 0 20 0 1 0 50499146 1125445632 255891 18446744073709551615 4227072 8923433 140734045831440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20406272 140734045837730 140734045837864 140734045837864 140734045843434 0
/proc/50638/statm: 274767 255891 2400 1147 0 262194 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1103260 KiB
Current children cumulated memory: 1026636 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3593.27 s, system=6.76683 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

Child status: 2

Real time (s): 3609.81
CPU time (s): 3600.04
CPU user time (s): 3593.27
CPU system time (s): 6.76683
CPU usage (%): 99.7294
Max. virtual memory (cumulated for all children) (KiB): 1103260
Max. memory (cumulated for all children) (KiB): 1026636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.27
system time used= 6.76683
maximum resident set size= 1023820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172961
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= 286
involuntary context switches= 5530


# summary of solver processes directly reported to runsolver:
#   pid: 50635,50638
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3593.27
#   total CPU system time (s): 6.76683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56983 second user time and 17.6956 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 07:36:57
IDJOB=4488770
IDBENCH=147531
IDSOLVER=3350
FILE ID=nodeC015/4488770-1751348216
RUNJOBID= nodeC015-1751348216-50578
SLURM_JOB_ID= 9598120
Free space on /tmp= 433016 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488770-1751348216/watcher-4488770-1751348216 -o /tmp/evaluation-result-4488770-1751348216/solver-4488770-1751348216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50578 --watchdog 3760  run-opt.sh HOME/instance-4488770-1751348216.opb

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

MD5SUM BENCH= f429a5cb74c34761160471c7897bca93
RANDOM SEED=2093586924

nodeC015 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		: 3559.211
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	: 7000.14
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.068
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	: 7000.14
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		: 3585.007
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	: 7000.14
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		: 3601.146
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	: 7000.14
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		: 3587.337
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130189120 kB
MemAvailable:   129820936 kB
Buffers:            1508 kB
Cached:           378996 kB
SwapCached:         3876 kB
Active:           315520 kB
Inactive:         144944 kB
Active(anon):      45020 kB
Inactive(anon):    49084 kB
Active(file):     270500 kB
Inactive(file):    95860 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28832 kB
Writeback:             4 kB
AnonPages:         79464 kB
Mapped:            98620 kB
Shmem:             14144 kB
KReclaimable:     132628 kB
Slab:             223072 kB
SReclaimable:     132628 kB
SUnreclaim:        90444 kB
KernelStack:        4088 kB
PageTables:         2432 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 08:37:07