Trace number 4485596

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.28 3609.45

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
MD5SUM03ae34be4b84b00f7c0b95d73cb9483d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark689
Best CPU time to get the best result obtained on this benchmark44.2482
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15284
Total number of constraints2537
Number of constraints which are clauses2536
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint13789
Number of terms in the objective function 15284
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 29073
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 29073
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.07	c #variables 15284 #constraints 2522
0.00/0.07	c objective is ce32 
0.00/0.09	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.064266
0.08/0.11	c GLOBAL bounds - >= 0 @ 0.075246
0.08/0.12	c GLOBAL bounds - >= 0 @ 0.081038
0.19/0.24	c GLOBAL bounds - >= 0 @ 0.181849
0.29/0.31	c GLOBAL bounds - >= 0 @ 0.240313
0.29/0.37	c GLOBAL bounds - >= 0 @ 0.29131
0.48/0.51	c GLOBAL bounds - >= 0 @ 0.406387
0.77/0.81	c GLOBAL bounds - >= 0 @ 0.688532
1.18/1.29	c GLOBAL bounds - >= 0 @ 1.12564
1.27/1.38	c GLOBAL bounds - >= 0 @ 1.19617
1.38/1.45	c GLOBAL bounds - >= 0 @ 1.26392
1.48/1.53	c GLOBAL bounds - >= 0 @ 1.33483
1.67/1.72	c GLOBAL bounds - >= 0 @ 1.49698
1.77/1.86	c GLOBAL bounds - >= 0 @ 1.62481
2.57/2.63	c GLOBAL bounds - >= 0 @ 2.33116
2.76/2.87	c GLOBAL bounds - >= 0 @ 2.55468
2.97/3.03	c GLOBAL bounds - >= 0 @ 2.70301
3.27/3.39	c GLOBAL bounds - >= 0 @ 3.05181
3.47/3.55	c GLOBAL bounds - >= 0 @ 3.19402
3.87/3.93	c #Conflicts:       1000 | #Constraints:       3556
3.87/3.93	c GLOBAL bounds - >= 0 @ 3.52191
4.17/4.23	c GLOBAL bounds - >= 0 @ 3.77914
4.56/4.64	c GLOBAL bounds - >= 0 @ 4.16701
4.67/4.72	c GLOBAL bounds - >= 0 @ 4.23708
4.77/4.84	c GLOBAL bounds - >= 0 @ 4.34992
4.86/4.97	c GLOBAL bounds - >= 0 @ 4.47339
4.97/5.06	c GLOBAL bounds - >= 0 @ 4.54517
5.17/5.20	c GLOBAL bounds - >= 0 @ 4.66051
5.26/5.30	c GLOBAL bounds - >= 0 @ 4.74614
5.26/5.38	c GLOBAL bounds - >= 0 @ 4.81962
5.37/5.47	c GLOBAL bounds - >= 0 @ 4.89104
5.56/5.63	c GLOBAL bounds - >= 0 @ 5.04105
5.66/5.74	c GLOBAL bounds - >= 0 @ 5.14527
5.97/6.06	c GLOBAL bounds - >= 0 @ 5.43764
6.37/6.49	c GLOBAL bounds - >= 0 @ 5.84274
6.47/6.57	c GLOBAL bounds - >= 0 @ 5.91753
6.76/6.86	c GLOBAL bounds - >= 0 @ 6.19049
7.06/7.11	c GLOBAL bounds - >= 0 @ 6.42757
7.36/7.43	c GLOBAL bounds - >= 0 @ 6.73935
9.35/9.40	c #Conflicts:       2000 | #Constraints:       4594
9.35/9.40	c INPROCESSING
9.35/9.40	c GARBAGE COLLECT
9.35/9.40	c GLOBAL bounds - >= 0 @ 8.66117
13.05/13.13	c #Conflicts:       3000 | #Constraints:       4621
13.05/13.13	c GLOBAL bounds - >= 0 @ 12.2652
14.95/15.09	c GLOBAL bounds - >= 0 @ 14.1062
16.64/16.74	c #Conflicts:       4000 | #Constraints:       5625
16.64/16.74	c GLOBAL bounds - >= 0 @ 15.7014
19.22/19.33	c INPROCESSING
19.22/19.33	c GARBAGE COLLECT
19.22/19.33	c GLOBAL bounds - >= 0 @ 18.2278
19.73/19.86	c GLOBAL bounds - >= 0 @ 18.7476
20.13/20.27	c GLOBAL bounds - >= 0 @ 19.1329
20.33/20.42	c GLOBAL bounds - >= 0 @ 19.2743
20.82/20.92	c GLOBAL bounds - >= 0 @ 19.7481
21.72/21.86	c #Conflicts:       5000 | #Constraints:       5051
21.72/21.86	c GLOBAL bounds - >= 0 @ 20.6607
22.13/22.24	c GLOBAL bounds - >= 0 @ 21.0194
23.22/23.34	c GLOBAL bounds - >= 0 @ 22.0975
23.52/23.62	c GLOBAL bounds - >= 0 @ 22.3685
24.03/24.15	c GLOBAL bounds - >= 0 @ 22.8821
24.61/24.73	c #Conflicts:       6000 | #Constraints:       6061
24.61/24.73	c GLOBAL bounds - >= 0 @ 23.4303
24.92/25.09	c GLOBAL bounds - >= 0 @ 23.7755
25.41/25.52	c GLOBAL bounds - >= 0 @ 24.1762
26.61/26.73	c GLOBAL bounds - >= 0 @ 25.3231
28.31/28.40	c INPROCESSING
28.31/28.40	c GARBAGE COLLECT
28.31/28.40	c GLOBAL bounds - >= 0 @ 26.9726
28.80/28.94	c GLOBAL bounds - >= 0 @ 27.4881
29.50/29.62	c GLOBAL bounds - >= 0 @ 28.1575
30.31/30.48	c #Conflicts:       7000 | #Constraints:       5087
30.31/30.48	c GLOBAL bounds - >= 0 @ 29.0022
30.60/30.79	c GLOBAL bounds - >= 0 @ 29.2948
31.10/31.23	c GLOBAL bounds - >= 0 @ 29.7308
31.40/31.58	c GLOBAL bounds - >= 0 @ 30.0689
32.00/32.11	c GLOBAL bounds - >= 0 @ 30.5876
32.30/32.47	c GLOBAL bounds - >= 0 @ 30.9339
32.70/32.82	c GLOBAL bounds - >= 0 @ 31.2717
33.19/33.35	c #Conflicts:       8000 | #Constraints:       6101
33.19/33.35	c GLOBAL bounds - >= 0 @ 31.7897
34.49/34.61	c GLOBAL bounds - >= 0 @ 33.0038
36.09/36.26	c GLOBAL bounds - >= 0 @ 34.5999
36.89/37.04	c GLOBAL bounds - >= 0 @ 35.2129
37.89/38.06	c #Conflicts:       9000 | #Constraints:       7109
37.89/38.06	c GLOBAL bounds - >= 0 @ 36.1775
38.08/38.21	c GLOBAL bounds - >= 0 @ 36.3162
40.58/40.74	c INPROCESSING
40.58/40.74	c GARBAGE COLLECT
40.58/40.74	c GLOBAL bounds - >= 0 @ 38.7925
40.78/40.93	c GLOBAL bounds - >= 0 @ 38.9553
41.98/42.11	c GLOBAL bounds - >= 0 @ 40.1069
42.77/42.92	c GLOBAL bounds - >= 0 @ 40.8907
43.48/43.66	c #Conflicts:      10000 | #Constraints:       5826
43.48/43.66	c GLOBAL bounds - >= 0 @ 41.6175
44.97/45.10	c GLOBAL bounds - >= 0 @ 43.0247
47.06/47.22	c #Conflicts:      11000 | #Constraints:       6830
47.06/47.22	c GLOBAL bounds - >= 0 @ 45.1086
52.86/53.09	c #Conflicts:      12000 | #Constraints:       7832
52.86/53.09	c INPROCESSING
52.86/53.09	c GARBAGE COLLECT
52.86/53.09	c GLOBAL bounds - >= 0 @ 50.8712
54.44/54.66	c GLOBAL bounds - >= 0 @ 52.4158
54.85/55.07	c GLOBAL bounds - >= 0 @ 52.8114
55.14/55.35	c #Conflicts:      13000 | #Constraints:       6309
55.14/55.35	c GLOBAL bounds - >= 0 @ 53.0815
55.64/55.82	c GLOBAL bounds - >= 0 @ 53.5297
58.24/58.45	c GLOBAL bounds - >= 0 @ 56.1149
91.86/92.18	c #Conflicts:      14000 | #Constraints:       7315
91.86/92.18	c #Conflicts:      15000 | #Constraints:       8315
91.86/92.18	c INPROCESSING
91.86/92.18	c GARBAGE COLLECT
91.86/92.18	c #Conflicts:      16000 | #Constraints:       6551
91.86/92.18	c #Conflicts:      17000 | #Constraints:       7551
91.86/92.18	c #Conflicts:      18000 | #Constraints:       8551
91.86/92.18	c INPROCESSING
91.86/92.18	c GARBAGE COLLECT
91.86/92.18	c #Conflicts:      19000 | #Constraints:       6605
91.86/92.18	c GLOBAL bounds - >= 0 @ 89.6632
92.95/93.25	c GLOBAL bounds - >= 0 @ 90.7085
93.55/93.81	c GLOBAL bounds - >= 0 @ 91.2431
93.85/94.14	c GLOBAL bounds - >= 0 @ 91.5497
94.15/94.47	c GLOBAL bounds - >= 0 @ 91.8653
94.94/95.24	c #Conflicts:      20000 | #Constraints:       7615
94.94/95.24	c GLOBAL bounds - >= 0 @ 92.6178
96.54/96.82	c GLOBAL bounds - >= 0 @ 94.1773
97.04/97.31	c GLOBAL bounds - >= 0 @ 94.6541
98.63/98.95	c #Conflicts:      21000 | #Constraints:       8621
98.63/98.95	c GLOBAL bounds - >= 0 @ 96.2444
100.84/101.12	c GLOBAL bounds - >= 0 @ 98.3641
112.60/113.00	c INPROCESSING
112.60/113.00	c GARBAGE COLLECT
112.60/113.00	c #Conflicts:      22000 | #Constraints:       6389
112.60/113.00	c #Conflicts:      23000 | #Constraints:       7389
112.60/113.00	c #Conflicts:      24000 | #Constraints:       8389
112.60/113.00	c GLOBAL bounds - >= 0 @ 110.065
119.98/120.34	c #Conflicts:      25000 | #Constraints:       9391
119.98/120.34	c INPROCESSING
119.98/120.34	c GARBAGE COLLECT
119.98/120.34	c GLOBAL bounds - >= 0 @ 117.334
121.48/121.85	c GLOBAL bounds - >= 0 @ 118.811
121.78/122.12	c GLOBAL bounds - >= 0 @ 119.069
122.58/122.95	c #Conflicts:      26000 | #Constraints:       7000
122.58/122.95	c GLOBAL bounds - >= 0 @ 119.882
128.97/129.36	c #Conflicts:      27000 | #Constraints:       8002
128.97/129.36	c GLOBAL bounds - >= 0 @ 126.235
132.25/132.62	c #Conflicts:      28000 | #Constraints:       9004
132.25/132.62	c GLOBAL bounds - >= 0 @ 129.472
136.55/136.91	c #Conflicts:      29000 | #Constraints:      10006
136.55/136.91	c INPROCESSING
136.55/136.91	c GARBAGE COLLECT
136.55/136.91	c GLOBAL bounds - >= 0 @ 133.663
141.53/141.96	c #Conflicts:      30000 | #Constraints:       7395
141.53/141.96	c GLOBAL bounds - >= 0 @ 138.672
143.33/143.70	c GLOBAL bounds - >= 0 @ 140.377
144.13/144.56	c GLOBAL bounds - >= 0 @ 141.209
145.12/145.50	c #Conflicts:      31000 | #Constraints:       8401
145.12/145.50	c GLOBAL bounds - >= 0 @ 142.11
148.62/149.10	c GLOBAL bounds - >= 0 @ 145.649
149.22/149.67	c GLOBAL bounds - >= 0 @ 146.204
150.61/151.09	c #Conflicts:      32000 | #Constraints:       9407
150.61/151.09	c GLOBAL bounds - >= 0 @ 147.56
151.81/152.29	c GLOBAL bounds - >= 0 @ 148.709
152.31/152.75	c GLOBAL bounds - >= 0 @ 149.15
152.41/152.86	c GLOBAL bounds - >= 0 @ 149.249
153.01/153.48	c GLOBAL bounds - >= 0 @ 149.839
157.60/158.07	c #Conflicts:      33000 | #Constraints:      10417
157.60/158.07	c INPROCESSING
157.60/158.07	c GARBAGE COLLECT
157.60/158.07	c GLOBAL bounds - >= 0 @ 154.368
160.49/160.93	c #Conflicts:      34000 | #Constraints:       7619
160.49/160.93	c GLOBAL bounds - >= 0 @ 157.2
161.39/161.81	c GLOBAL bounds - >= 0 @ 158.064
162.08/162.56	c GLOBAL bounds - >= 0 @ 158.796
165.37/165.83	c #Conflicts:      35000 | #Constraints:       8625
165.37/165.83	c GLOBAL bounds - >= 0 @ 162.028
180.14/180.61	c #Conflicts:      36000 | #Constraints:       9627
180.14/180.61	c #Conflicts:      37000 | #Constraints:      10627
180.14/180.61	c INPROCESSING
180.14/180.61	c GARBAGE COLLECT
180.14/180.61	c GLOBAL bounds - >= 0 @ 176.704
181.84/182.31	c #Conflicts:      38000 | #Constraints:       7657
181.84/182.31	c GLOBAL bounds - >= 0 @ 178.382
183.14/183.66	c GLOBAL bounds - >= 0 @ 179.712
183.43/183.97	c GLOBAL bounds - >= 0 @ 180.014
184.03/184.51	c GLOBAL bounds - >= 0 @ 180.537
185.93/186.45	c #Conflicts:      39000 | #Constraints:       8665
185.93/186.45	c GLOBAL bounds - >= 0 @ 182.445
187.02/187.56	c GLOBAL bounds - >= 0 @ 183.536
187.52/188.04	c GLOBAL bounds - >= 0 @ 184.008
188.91/189.48	c GLOBAL bounds - >= 0 @ 185.422
190.21/190.71	c #Conflicts:      40000 | #Constraints:       9673
190.21/190.71	c GLOBAL bounds - >= 0 @ 186.634
195.70/196.29	c #Conflicts:      41000 | #Constraints:      10675
195.70/196.29	c GLOBAL bounds - >= 0 @ 192.141
199.50/200.00	c INPROCESSING
199.50/200.00	c GARBAGE COLLECT
199.50/200.00	c GLOBAL bounds - >= 0 @ 195.792
212.36/212.91	c #Conflicts:      42000 | #Constraints:       7485
212.36/212.91	c #Conflicts:      43000 | #Constraints:       8485
212.36/212.91	c #Conflicts:      44000 | #Constraints:       9485
212.36/212.91	c #Conflicts:      45000 | #Constraints:      10485
212.36/212.91	c GLOBAL bounds - >= 0 @ 208.612
215.46/216.06	c GLOBAL bounds - >= 0 @ 211.708
216.56/217.18	c GLOBAL bounds - >= 0 @ 212.804
217.56/218.12	c #Conflicts:      46000 | #Constraints:      11491
217.56/218.12	c GLOBAL bounds - >= 0 @ 213.721
222.34/222.97	c INPROCESSING
222.34/222.97	c GARBAGE COLLECT
222.34/222.97	c GLOBAL bounds - >= 0 @ 218.485
228.22/228.80	c #Conflicts:      47000 | #Constraints:       8071
228.22/228.80	c #Conflicts:      48000 | #Constraints:       9071
228.22/228.80	c GLOBAL bounds - >= 0 @ 224.243
229.12/229.73	c GLOBAL bounds - >= 0 @ 225.135
229.72/230.38	c GLOBAL bounds - >= 0 @ 225.777
230.62/231.26	c GLOBAL bounds - >= 0 @ 226.62
231.11/231.74	c GLOBAL bounds - >= 0 @ 227.074
231.52/232.12	c GLOBAL bounds - >= 0 @ 227.442
231.81/232.48	c #Conflicts:      49000 | #Constraints:      10083
231.81/232.48	c GLOBAL bounds - >= 0 @ 227.787
232.41/233.02	c GLOBAL bounds - >= 0 @ 228.307
232.91/233.53	c GLOBAL bounds - >= 0 @ 228.803
233.41/234.00	c GLOBAL bounds - >= 0 @ 229.259
233.92/234.58	c GLOBAL bounds - >= 0 @ 229.817
234.31/234.99	c GLOBAL bounds - >= 0 @ 230.217
235.31/235.91	c GLOBAL bounds - >= 0 @ 231.117
236.91/237.57	c #Conflicts:      50000 | #Constraints:      11097
236.91/237.57	c GLOBAL bounds - >= 0 @ 232.738
245.68/246.31	c #Conflicts:      51000 | #Constraints:      12099
245.68/246.31	c INPROCESSING
245.68/246.31	c GARBAGE COLLECT
245.68/246.31	c GLOBAL bounds - >= 0 @ 241.375
247.08/247.73	c #Conflicts:      52000 | #Constraints:       8513
247.08/247.73	c GLOBAL bounds - >= 0 @ 242.773
249.07/249.77	c GLOBAL bounds - >= 0 @ 244.793
254.16/254.89	c #Conflicts:      53000 | #Constraints:       9517
254.16/254.89	c GLOBAL bounds - >= 0 @ 249.84
256.46/257.12	c #Conflicts:      54000 | #Constraints:      10519
256.46/257.12	c GLOBAL bounds - >= 0 @ 252.024
256.56/257.26	c GLOBAL bounds - >= 0 @ 252.148
257.55/258.20	c GLOBAL bounds - >= 0 @ 253.076
268.92/269.61	c #Conflicts:      55000 | #Constraints:      11525
268.92/269.61	c #Conflicts:      56000 | #Constraints:      12525
268.92/269.61	c INPROCESSING
268.92/269.61	c GARBAGE COLLECT
268.92/269.61	c GLOBAL bounds - >= 0 @ 264.351
271.22/271.96	c #Conflicts:      57000 | #Constraints:       8737
271.22/271.96	c GLOBAL bounds - >= 0 @ 266.661
274.01/274.70	c GLOBAL bounds - >= 0 @ 269.345
274.42/275.12	c GLOBAL bounds - >= 0 @ 269.762
274.92/275.68	c GLOBAL bounds - >= 0 @ 270.298
275.51/276.26	c #Conflicts:      58000 | #Constraints:       9745
275.51/276.26	c GLOBAL bounds - >= 0 @ 270.857
276.01/276.79	c GLOBAL bounds - >= 0 @ 271.357
276.51/277.24	c GLOBAL bounds - >= 0 @ 271.797
277.00/277.77	c GLOBAL bounds - >= 0 @ 272.308
282.20/282.99	c #Conflicts:      59000 | #Constraints:      10753
282.20/282.99	c GLOBAL bounds - >= 0 @ 277.466
292.07/292.86	c #Conflicts:      60000 | #Constraints:      11755
292.07/292.86	c #Conflicts:      61000 | #Constraints:      12755
292.07/292.86	c GLOBAL bounds - >= 0 @ 287.264
295.66/296.48	c INPROCESSING
295.66/296.48	c GARBAGE COLLECT
295.66/296.48	c GLOBAL bounds - >= 0 @ 290.86
296.46/297.22	c GLOBAL bounds - >= 0 @ 291.595
296.96/297.72	c GLOBAL bounds - >= 0 @ 292.083
307.73/308.51	c #Conflicts:      62000 | #Constraints:       8723
307.73/308.51	c #Conflicts:      63000 | #Constraints:       9723
307.73/308.51	c #Conflicts:      64000 | #Constraints:      10723
307.73/308.51	c GLOBAL bounds - >= 0 @ 302.816
310.03/310.82	c GLOBAL bounds - >= 0 @ 305.065
310.63/311.45	c #Conflicts:      65000 | #Constraints:      11727
310.63/311.45	c GLOBAL bounds - >= 0 @ 305.68
311.33/312.12	c GLOBAL bounds - >= 0 @ 306.327
312.12/312.95	c GLOBAL bounds - >= 0 @ 307.139
313.22/314.08	c GLOBAL bounds - >= 0 @ 308.24
315.11/315.92	c #Conflicts:      66000 | #Constraints:      12735
315.11/315.92	c GLOBAL bounds - >= 0 @ 310.03
325.29/326.10	c INPROCESSING
325.29/326.10	c GARBAGE COLLECT
325.29/326.10	c #Conflicts:      67000 | #Constraints:       8556
325.29/326.10	c GLOBAL bounds - >= 0 @ 320.1
326.49/327.30	c #Conflicts:      68000 | #Constraints:       9558
326.49/327.30	c GLOBAL bounds - >= 0 @ 321.281
329.98/330.83	c GLOBAL bounds - >= 0 @ 324.773
334.96/335.85	c #Conflicts:      69000 | #Constraints:      10562
334.96/335.85	c #Conflicts:      70000 | #Constraints:      11562
334.96/335.85	c GLOBAL bounds - >= 0 @ 329.692
347.64/348.51	c #Conflicts:      71000 | #Constraints:      12564
347.64/348.51	c #Conflicts:      72000 | #Constraints:      13564
347.64/348.51	c INPROCESSING
347.64/348.51	c GARBAGE COLLECT
347.64/348.51	c GLOBAL bounds - >= 0 @ 341.937
351.03/351.97	c GLOBAL bounds - >= 0 @ 345.344
354.61/355.52	c #Conflicts:      73000 | #Constraints:       9203
354.61/355.52	c GLOBAL bounds - >= 0 @ 348.841
356.91/357.82	c #Conflicts:      74000 | #Constraints:      10205
356.91/357.82	c GLOBAL bounds - >= 0 @ 351.062
367.49/368.44	c #Conflicts:      75000 | #Constraints:      11207
367.49/368.44	c #Conflicts:      76000 | #Constraints:      12207
367.49/368.44	c GLOBAL bounds - >= 0 @ 361.524
369.88/370.80	c GLOBAL bounds - >= 0 @ 363.794
373.37/374.38	c #Conflicts:      77000 | #Constraints:      13211
373.37/374.38	c GLOBAL bounds - >= 0 @ 367.217
392.04/393.05	c #Conflicts:      78000 | #Constraints:      14213
392.04/393.05	c INPROCESSING
392.04/393.05	c GARBAGE COLLECT
392.04/393.05	c #Conflicts:      79000 | #Constraints:       9609
392.04/393.05	c #Conflicts:      80000 | #Constraints:      10609
392.04/393.05	c GLOBAL bounds - >= 0 @ 385.729
392.82/393.84	c GLOBAL bounds - >= 0 @ 386.506
394.82/395.84	c #Conflicts:      81000 | #Constraints:      11613
394.82/395.84	c GLOBAL bounds - >= 0 @ 388.487
398.81/399.89	c #Conflicts:      82000 | #Constraints:      12615
398.81/399.89	c GLOBAL bounds - >= 0 @ 392.504
405.70/406.75	c #Conflicts:      83000 | #Constraints:      13617
405.70/406.75	c GLOBAL bounds - >= 0 @ 399.32
409.38/410.44	c #Conflicts:      84000 | #Constraints:      14619
409.38/410.44	c INPROCESSING
409.38/410.44	c GARBAGE COLLECT
409.38/410.44	c GLOBAL bounds - >= 0 @ 402.984
411.09/412.18	c GLOBAL bounds - >= 0 @ 404.705
411.88/412.96	c GLOBAL bounds - >= 0 @ 405.468
413.67/414.74	c #Conflicts:      85000 | #Constraints:       9823
413.67/414.74	c GLOBAL bounds - >= 0 @ 407.228
414.08/415.19	c GLOBAL bounds - >= 0 @ 407.66
416.37/417.44	c GLOBAL bounds - >= 0 @ 409.888
485.11/486.34	c #Conflicts:      86000 | #Constraints:      10829
485.11/486.34	c #Conflicts:      87000 | #Constraints:      11829
485.11/486.34	c #Conflicts:      88000 | #Constraints:      12829
485.11/486.34	c #Conflicts:      89000 | #Constraints:      13829
485.11/486.34	c #Conflicts:      90000 | #Constraints:      14829
485.11/486.34	c INPROCESSING
485.11/486.34	c GARBAGE COLLECT
485.11/486.34	c #Conflicts:      91000 | #Constraints:       9839
485.11/486.34	c #Conflicts:      92000 | #Constraints:      10839
485.11/486.34	c #Conflicts:      93000 | #Constraints:      11839
485.11/486.34	c #Conflicts:      94000 | #Constraints:      12839
485.11/486.34	c #Conflicts:      95000 | #Constraints:      13839
485.11/486.34	c #Conflicts:      96000 | #Constraints:      14839
485.11/486.34	c INPROCESSING
485.11/486.34	c GARBAGE COLLECT
485.11/486.34	c GLOBAL bounds - >= 0 @ 478.477
510.94/512.25	c #Conflicts:      97000 | #Constraints:       9645
510.94/512.25	c #Conflicts:      98000 | #Constraints:      10645
510.94/512.25	c #Conflicts:      99000 | #Constraints:      11645
510.94/512.25	c #Conflicts:     100000 | #Constraints:      12645
510.94/512.25	c GLOBAL bounds - >= 0 @ 504.265
522.52/523.86	c #Conflicts:     101000 | #Constraints:      13647
522.52/523.86	c #Conflicts:     102000 | #Constraints:      14647
522.52/523.86	c #Conflicts:     103000 | #Constraints:      15647
522.52/523.86	c GLOBAL bounds - >= 0 @ 515.793
525.90/527.28	c INPROCESSING
525.90/527.28	c GARBAGE COLLECT
525.90/527.28	c GLOBAL bounds - >= 0 @ 519.194
526.90/528.22	c GLOBAL bounds - >= 0 @ 520.101
527.41/528.78	c GLOBAL bounds - >= 0 @ 520.658
527.90/529.23	c GLOBAL bounds - >= 0 @ 521.099
528.60/529.95	c GLOBAL bounds - >= 0 @ 521.806
532.19/533.53	c #Conflicts:     104000 | #Constraints:      10238
532.19/533.53	c GLOBAL bounds - >= 0 @ 525.301
535.39/536.76	c #Conflicts:     105000 | #Constraints:      11240
535.39/536.76	c GLOBAL bounds - >= 0 @ 528.49
539.17/540.56	c #Conflicts:     106000 | #Constraints:      12242
539.17/540.56	c GLOBAL bounds - >= 0 @ 532.257
540.78/542.15	c GLOBAL bounds - >= 0 @ 533.817
541.77/543.18	c #Conflicts:     107000 | #Constraints:      13246
541.77/543.18	c GLOBAL bounds - >= 0 @ 534.822
545.56/546.92	c GLOBAL bounds - >= 0 @ 538.497
567.30/568.76	c #Conflicts:     108000 | #Constraints:      14250
567.30/568.76	c #Conflicts:     109000 | #Constraints:      15250
567.30/568.76	c #Conflicts:     110000 | #Constraints:      16250
567.30/568.76	c INPROCESSING
567.30/568.76	c GARBAGE COLLECT
567.30/568.76	c #Conflicts:     111000 | #Constraints:      10658
567.30/568.76	c #Conflicts:     112000 | #Constraints:      11658
567.30/568.76	c GLOBAL bounds - >= 0 @ 560.055
567.61/569.04	c GLOBAL bounds - >= 0 @ 560.329
586.26/587.76	c #Conflicts:     113000 | #Constraints:      12662
586.26/587.76	c #Conflicts:     114000 | #Constraints:      13662
586.26/587.76	c #Conflicts:     115000 | #Constraints:      14662
586.26/587.76	c GLOBAL bounds - >= 0 @ 578.77
595.14/596.68	c #Conflicts:     116000 | #Constraints:      15664
595.14/596.68	c #Conflicts:     117000 | #Constraints:      16664
595.14/596.68	c INPROCESSING
595.14/596.68	c GARBAGE COLLECT
595.14/596.68	c GLOBAL bounds - >= 0 @ 587.544
625.07/626.67	c #Conflicts:     118000 | #Constraints:      10858
625.07/626.67	c #Conflicts:     119000 | #Constraints:      11858
625.07/626.67	c #Conflicts:     120000 | #Constraints:      12858
625.07/626.67	c #Conflicts:     121000 | #Constraints:      13858
625.07/626.67	c #Conflicts:     122000 | #Constraints:      14858
625.07/626.67	c GLOBAL bounds - >= 0 @ 617.348
625.96/627.58	c GLOBAL bounds - >= 0 @ 618.246
632.95/634.52	c #Conflicts:     123000 | #Constraints:      15862
632.95/634.52	c GLOBAL bounds - >= 0 @ 625.102
634.84/636.42	c #Conflicts:     124000 | #Constraints:      16864
634.84/636.42	c GLOBAL bounds - >= 0 @ 626.958
639.23/640.80	c INPROCESSING
639.23/640.80	c GARBAGE COLLECT
639.23/640.80	c GLOBAL bounds - >= 0 @ 631.276
640.83/642.49	c GLOBAL bounds - >= 0 @ 632.939
641.02/642.61	c GLOBAL bounds - >= 0 @ 633.051
642.02/643.66	c #Conflicts:     125000 | #Constraints:      10858
642.02/643.66	c GLOBAL bounds - >= 0 @ 634.065
645.72/647.33	c GLOBAL bounds - >= 0 @ 637.681
651.60/653.26	c #Conflicts:     126000 | #Constraints:      11862
651.60/653.26	c #Conflicts:     127000 | #Constraints:      12862
651.60/653.26	c GLOBAL bounds - >= 0 @ 643.533
677.74/679.40	c #Conflicts:     128000 | #Constraints:      13864
677.74/679.40	c #Conflicts:     129000 | #Constraints:      14864
677.74/679.40	c #Conflicts:     130000 | #Constraints:      15864
677.74/679.40	c GLOBAL bounds - >= 0 @ 669.466
679.34/681.03	c GLOBAL bounds - >= 0 @ 671.064
681.13/682.85	c #Conflicts:     131000 | #Constraints:      16868
681.13/682.85	c GLOBAL bounds - >= 0 @ 672.847
686.71/688.49	c INPROCESSING
686.71/688.49	c GARBAGE COLLECT
686.71/688.49	c GLOBAL bounds - >= 0 @ 678.42
696.99/698.75	c #Conflicts:     132000 | #Constraints:      10676
696.99/698.75	c #Conflicts:     133000 | #Constraints:      11676
696.99/698.75	c GLOBAL bounds - >= 0 @ 688.542
703.47/705.26	c #Conflicts:     134000 | #Constraints:      12678
703.47/705.26	c #Conflicts:     135000 | #Constraints:      13678
703.47/705.26	c GLOBAL bounds - >= 0 @ 694.943
744.37/746.25	c #Conflicts:     136000 | #Constraints:      14680
744.37/746.25	c #Conflicts:     137000 | #Constraints:      15680
744.37/746.25	c #Conflicts:     138000 | #Constraints:      16680
744.37/746.25	c #Conflicts:     139000 | #Constraints:      17680
744.37/746.25	c INPROCESSING
744.37/746.25	c GARBAGE COLLECT
744.37/746.25	c #Conflicts:     140000 | #Constraints:      11285
744.37/746.25	c #Conflicts:     141000 | #Constraints:      12285
744.37/746.25	c #Conflicts:     142000 | #Constraints:      13285
744.37/746.25	c GLOBAL bounds - >= 0 @ 735.647
827.07/829.19	c #Conflicts:     143000 | #Constraints:      14287
827.07/829.19	c #Conflicts:     144000 | #Constraints:      15287
827.07/829.19	c #Conflicts:     145000 | #Constraints:      16287
827.07/829.19	c #Conflicts:     146000 | #Constraints:      17287
827.07/829.19	c #Conflicts:     147000 | #Constraints:      18287
827.07/829.19	c INPROCESSING
827.07/829.19	c GARBAGE COLLECT
827.07/829.19	c #Conflicts:     148000 | #Constraints:      11697
827.07/829.19	c #Conflicts:     149000 | #Constraints:      12697
827.07/829.19	c #Conflicts:     150000 | #Constraints:      13697
827.07/829.19	c #Conflicts:     151000 | #Constraints:      14697
827.07/829.19	c #Conflicts:     152000 | #Constraints:      15697
827.07/829.19	c #Conflicts:     153000 | #Constraints:      16697
827.07/829.19	c #Conflicts:     154000 | #Constraints:      17697
827.07/829.19	c GLOBAL bounds - >= 0 @ 817.818
832.36/834.47	c #Conflicts:     155000 | #Constraints:      18699
832.36/834.47	c INPROCESSING
832.36/834.47	c GARBAGE COLLECT
832.36/834.47	c GLOBAL bounds - >= 0 @ 823.028
838.64/840.78	c #Conflicts:     156000 | #Constraints:      11894
838.64/840.78	c GLOBAL bounds - >= 0 @ 829.252
843.82/845.92	c #Conflicts:     157000 | #Constraints:      12896
843.82/845.92	c GLOBAL bounds - >= 0 @ 834.294
844.93/847.09	c GLOBAL bounds - >= 0 @ 835.425
845.93/848.08	c GLOBAL bounds - >= 0 @ 836.39
855.41/857.55	c #Conflicts:     158000 | #Constraints:      13902
855.41/857.55	c #Conflicts:     159000 | #Constraints:      14902
855.41/857.55	c GLOBAL bounds - >= 0 @ 845.765
863.58/865.77	c #Conflicts:     160000 | #Constraints:      15904
863.58/865.77	c #Conflicts:     161000 | #Constraints:      16904
863.58/865.77	c GLOBAL bounds - >= 0 @ 853.84
868.47/870.67	c #Conflicts:     162000 | #Constraints:      17906
868.47/870.67	c GLOBAL bounds - >= 0 @ 858.678
896.50/898.79	c #Conflicts:     163000 | #Constraints:      18908
896.50/898.79	c INPROCESSING
896.50/898.79	c GARBAGE COLLECT
896.50/898.79	c #Conflicts:     164000 | #Constraints:      11922
896.50/898.79	c #Conflicts:     165000 | #Constraints:      12922
896.50/898.79	c #Conflicts:     166000 | #Constraints:      13922
896.50/898.79	c #Conflicts:     167000 | #Constraints:      14922
896.50/898.79	c GLOBAL bounds - >= 0 @ 886.561
907.47/909.78	c #Conflicts:     168000 | #Constraints:      15924
907.47/909.78	c #Conflicts:     169000 | #Constraints:      16924
907.47/909.78	c GLOBAL bounds - >= 0 @ 897.395
917.35/919.68	c #Conflicts:     170000 | #Constraints:      17926
917.35/919.68	c #Conflicts:     171000 | #Constraints:      18926
917.35/919.68	c GLOBAL bounds - >= 0 @ 907.146
951.47/953.84	c INPROCESSING
951.47/953.84	c GARBAGE COLLECT
951.47/953.84	c #Conflicts:     172000 | #Constraints:      11723
951.47/953.84	c #Conflicts:     173000 | #Constraints:      12723
951.47/953.84	c #Conflicts:     174000 | #Constraints:      13723
951.47/953.84	c #Conflicts:     175000 | #Constraints:      14723
951.47/953.84	c #Conflicts:     176000 | #Constraints:      15723
951.47/953.84	c GLOBAL bounds - >= 0 @ 940.961
963.74/966.19	c #Conflicts:     177000 | #Constraints:      16725
963.74/966.19	c #Conflicts:     178000 | #Constraints:      17725
963.74/966.19	c GLOBAL bounds - >= 0 @ 953.132
980.39/982.85	c #Conflicts:     179000 | #Constraints:      18727
980.39/982.85	c #Conflicts:     180000 | #Constraints:      19727
980.39/982.85	c INPROCESSING
980.39/982.85	c GARBAGE COLLECT
980.39/982.85	c #Conflicts:     181000 | #Constraints:      12336
980.39/982.85	c GLOBAL bounds - >= 0 @ 969.496
987.17/989.64	c #Conflicts:     182000 | #Constraints:      13338
987.17/989.64	c GLOBAL bounds - >= 0 @ 976.226
1000.55/1003.01	c #Conflicts:     183000 | #Constraints:      14340
1000.55/1003.01	c #Conflicts:     184000 | #Constraints:      15340
1000.55/1003.01	c #Conflicts:     185000 | #Constraints:      16340
1000.55/1003.01	c GLOBAL bounds - >= 0 @ 989.519
1022.29/1024.82	c #Conflicts:     186000 | #Constraints:      17342
1022.29/1024.82	c #Conflicts:     187000 | #Constraints:      18342
1022.29/1024.82	c #Conflicts:     188000 | #Constraints:      19342
1022.29/1024.82	c #Conflicts:     189000 | #Constraints:      20342
1022.29/1024.82	c INPROCESSING
1022.29/1024.82	c GARBAGE COLLECT
1022.29/1024.82	c GLOBAL bounds - >= 0 @ 1011.21
1131.42/1134.22	c #Conflicts:     190000 | #Constraints:      12757
1131.42/1134.22	c #Conflicts:     191000 | #Constraints:      13757
1131.42/1134.22	c #Conflicts:     192000 | #Constraints:      14757
1131.42/1134.22	c #Conflicts:     193000 | #Constraints:      15757
1131.42/1134.22	c #Conflicts:     194000 | #Constraints:      16757
1131.42/1134.22	c #Conflicts:     195000 | #Constraints:      17757
1131.42/1134.22	c #Conflicts:     196000 | #Constraints:      18757
1131.42/1134.22	c #Conflicts:     197000 | #Constraints:      19757
1131.42/1134.22	c #Conflicts:     198000 | #Constraints:      20757
1131.42/1134.22	c INPROCESSING
1131.42/1134.22	c GARBAGE COLLECT
1131.42/1134.22	c #Conflicts:     199000 | #Constraints:      12967
1131.42/1134.22	c #Conflicts:     200000 | #Constraints:      13967
1131.42/1134.22	c #Conflicts:     201000 | #Constraints:      14967
1131.42/1134.22	c #Conflicts:     202000 | #Constraints:      15967
1131.42/1134.22	c #Conflicts:     203000 | #Constraints:      16967
1131.42/1134.22	c #Conflicts:     204000 | #Constraints:      17967
1131.42/1134.22	c #Conflicts:     205000 | #Constraints:      18967
1131.42/1134.22	c GLOBAL bounds - >= 0 @ 1120.16
1133.42/1136.25	c #Conflicts:     206000 | #Constraints:      19969
1133.42/1136.25	c GLOBAL bounds - >= 0 @ 1122.16
1141.00/1143.85	c #Conflicts:     207000 | #Constraints:      20971
1141.00/1143.85	c INPROCESSING
1141.00/1143.85	c GARBAGE COLLECT
1141.00/1143.85	c GLOBAL bounds - >= 0 @ 1129.72
1276.07/1279.29	c #Conflicts:     208000 | #Constraints:      12971
1276.07/1279.29	c #Conflicts:     209000 | #Constraints:      13971
1276.07/1279.29	c #Conflicts:     210000 | #Constraints:      14971
1276.07/1279.29	c #Conflicts:     211000 | #Constraints:      15971
1276.07/1279.29	c #Conflicts:     212000 | #Constraints:      16971
1276.07/1279.29	c #Conflicts:     213000 | #Constraints:      17971
1276.07/1279.29	c #Conflicts:     214000 | #Constraints:      18971
1276.07/1279.29	c #Conflicts:     215000 | #Constraints:      19971
1276.07/1279.29	c #Conflicts:     216000 | #Constraints:      20971
1276.07/1279.29	c INPROCESSING
1276.07/1279.29	c GARBAGE COLLECT
1276.07/1279.29	c #Conflicts:     217000 | #Constraints:      12786
1276.07/1279.29	c #Conflicts:     218000 | #Constraints:      13786
1276.07/1279.29	c #Conflicts:     219000 | #Constraints:      14786
1276.07/1279.29	c #Conflicts:     220000 | #Constraints:      15786
1276.07/1279.29	c #Conflicts:     221000 | #Constraints:      16786
1276.07/1279.29	c #Conflicts:     222000 | #Constraints:      17786
1276.07/1279.29	c #Conflicts:     223000 | #Constraints:      18786
1276.07/1279.29	c #Conflicts:     224000 | #Constraints:      19786
1276.07/1279.29	c #Conflicts:     225000 | #Constraints:      20786
1276.07/1279.29	c #Conflicts:     226000 | #Constraints:      21786
1276.07/1279.29	c INPROCESSING
1276.07/1279.29	c GARBAGE COLLECT
1276.07/1279.29	c GLOBAL bounds - >= 0 @ 1264.43
1334.82/1338.11	c #Conflicts:     227000 | #Constraints:      13389
1334.82/1338.11	c #Conflicts:     228000 | #Constraints:      14389
1334.82/1338.11	c #Conflicts:     229000 | #Constraints:      15389
1334.82/1338.11	c #Conflicts:     230000 | #Constraints:      16389
1334.82/1338.11	c #Conflicts:     231000 | #Constraints:      17389
1334.82/1338.11	c #Conflicts:     232000 | #Constraints:      18389
1334.82/1338.11	c #Conflicts:     233000 | #Constraints:      19389
1334.82/1338.11	c #Conflicts:     234000 | #Constraints:      20389
1334.82/1338.11	c GLOBAL bounds - >= 0 @ 1322.82
1423.90/1427.44	c #Conflicts:     235000 | #Constraints:      21391
1423.90/1427.44	c #Conflicts:     236000 | #Constraints:      22391
1423.90/1427.44	c INPROCESSING
1423.90/1427.44	c GARBAGE COLLECT
1423.90/1427.44	c #Conflicts:     237000 | #Constraints:      13772
1423.90/1427.44	c #Conflicts:     238000 | #Constraints:      14772
1423.90/1427.44	c #Conflicts:     239000 | #Constraints:      15772
1423.90/1427.44	c #Conflicts:     240000 | #Constraints:      16772
1423.90/1427.44	c #Conflicts:     241000 | #Constraints:      17772
1423.90/1427.44	c #Conflicts:     242000 | #Constraints:      18772
1423.90/1427.44	c #Conflicts:     243000 | #Constraints:      19772
1423.90/1427.44	c #Conflicts:     244000 | #Constraints:      20772
1423.90/1427.44	c #Conflicts:     245000 | #Constraints:      21772
1423.90/1427.44	c GLOBAL bounds - >= 0 @ 1411.2
1459.70/1463.38	c #Conflicts:     246000 | #Constraints:      22774
1459.70/1463.38	c INPROCESSING
1459.70/1463.38	c GARBAGE COLLECT
1459.70/1463.38	c #Conflicts:     247000 | #Constraints:      13964
1459.70/1463.38	c #Conflicts:     248000 | #Constraints:      14964
1459.70/1463.38	c #Conflicts:     249000 | #Constraints:      15964
1459.70/1463.38	c #Conflicts:     250000 | #Constraints:      16964
1459.70/1463.38	c GLOBAL bounds - >= 0 @ 1446.93
1479.76/1483.44	c #Conflicts:     251000 | #Constraints:      17966
1479.76/1483.44	c #Conflicts:     252000 | #Constraints:      18966
1479.76/1483.44	c #Conflicts:     253000 | #Constraints:      19966
1479.76/1483.44	c GLOBAL bounds - >= 0 @ 1466.74
1487.74/1491.48	c #Conflicts:     254000 | #Constraints:      20968
1487.74/1491.48	c #Conflicts:     255000 | #Constraints:      21968
1487.74/1491.48	c GLOBAL bounds - >= 0 @ 1474.67
1500.80/1504.52	c #Conflicts:     256000 | #Constraints:      22970
1500.80/1504.52	c INPROCESSING
1500.80/1504.52	c GARBAGE COLLECT
1500.80/1504.52	c #Conflicts:     257000 | #Constraints:      13957
1500.80/1504.52	c GLOBAL bounds - >= 0 @ 1487.55
1501.30/1505.04	c GLOBAL bounds - >= 0 @ 1488.05
1517.47/1521.24	c #Conflicts:     258000 | #Constraints:      14961
1517.47/1521.24	c #Conflicts:     259000 | #Constraints:      15961
1517.47/1521.24	c #Conflicts:     260000 | #Constraints:      16961
1517.47/1521.24	c GLOBAL bounds - >= 0 @ 1504.08
1531.52/1535.34	c #Conflicts:     261000 | #Constraints:      17963
1531.52/1535.34	c #Conflicts:     262000 | #Constraints:      18963
1531.52/1535.34	c #Conflicts:     263000 | #Constraints:      19963
1531.52/1535.34	c GLOBAL bounds - >= 0 @ 1517.99
1751.88/1756.25	c #Conflicts:     264000 | #Constraints:      20965
1751.88/1756.25	c #Conflicts:     265000 | #Constraints:      21965
1751.88/1756.25	c #Conflicts:     266000 | #Constraints:      22965
1751.88/1756.25	c INPROCESSING
1751.88/1756.25	c GARBAGE COLLECT
1751.88/1756.25	c #Conflicts:     267000 | #Constraints:      13790
1751.88/1756.25	c #Conflicts:     268000 | #Constraints:      14790
1751.88/1756.25	c #Conflicts:     269000 | #Constraints:      15790
1751.88/1756.25	c #Conflicts:     270000 | #Constraints:      16790
1751.88/1756.25	c #Conflicts:     271000 | #Constraints:      17790
1751.88/1756.25	c #Conflicts:     272000 | #Constraints:      18790
1751.88/1756.25	c #Conflicts:     273000 | #Constraints:      19790
1751.88/1756.25	c #Conflicts:     274000 | #Constraints:      20790
1751.88/1756.25	c #Conflicts:     275000 | #Constraints:      21790
1751.88/1756.25	c #Conflicts:     276000 | #Constraints:      22790
1751.88/1756.25	c #Conflicts:     277000 | #Constraints:      23790
1751.88/1756.25	c INPROCESSING
1751.88/1756.25	c GARBAGE COLLECT
1751.88/1756.25	c #Conflicts:     278000 | #Constraints:      14399
1751.88/1756.25	c #Conflicts:     279000 | #Constraints:      15399
1751.88/1756.25	c #Conflicts:     280000 | #Constraints:      16399
1751.88/1756.25	c #Conflicts:     281000 | #Constraints:      17399
1751.88/1756.25	c #Conflicts:     282000 | #Constraints:      18399
1751.88/1756.25	c #Conflicts:     283000 | #Constraints:      19399
1751.88/1756.25	c #Conflicts:     284000 | #Constraints:      20399
1751.88/1756.25	c #Conflicts:     285000 | #Constraints:      21399
1751.88/1756.25	c #Conflicts:     286000 | #Constraints:      22399
1751.88/1756.25	c #Conflicts:     287000 | #Constraints:      23399
1751.88/1756.25	c #Conflicts:     288000 | #Constraints:      24399
1751.88/1756.25	c INPROCESSING
1751.88/1756.25	c GARBAGE COLLECT
1751.88/1756.25	c #Conflicts:     289000 | #Constraints:      14803
1751.88/1756.25	c #Conflicts:     290000 | #Constraints:      15803
1751.88/1756.25	c #Conflicts:     291000 | #Constraints:      16803
1751.88/1756.25	c #Conflicts:     292000 | #Constraints:      17803
1751.88/1756.25	c GLOBAL bounds - >= 0 @ 1736.64
2267.15/2272.85	c #Conflicts:     293000 | #Constraints:      18805
2267.15/2272.85	c #Conflicts:     294000 | #Constraints:      19805
2267.15/2272.85	c #Conflicts:     295000 | #Constraints:      20805
2267.15/2272.85	c #Conflicts:     296000 | #Constraints:      21805
2267.15/2272.85	c #Conflicts:     297000 | #Constraints:      22805
2267.15/2272.85	c #Conflicts:     298000 | #Constraints:      23805
2267.15/2272.85	c #Conflicts:     299000 | #Constraints:      24805
2267.15/2272.85	c INPROCESSING
2267.15/2272.85	c GARBAGE COLLECT
2267.15/2272.85	c #Conflicts:     300000 | #Constraints:      14997
2267.15/2272.85	c #Conflicts:     301000 | #Constraints:      15997
2267.15/2272.85	c #Conflicts:     302000 | #Constraints:      16997
2267.15/2272.85	c #Conflicts:     303000 | #Constraints:      17997
2267.15/2272.85	c #Conflicts:     304000 | #Constraints:      18997
2267.15/2272.85	c #Conflicts:     305000 | #Constraints:      19997
2267.15/2272.85	c #Conflicts:     306000 | #Constraints:      20997
2267.15/2272.85	c #Conflicts:     307000 | #Constraints:      21997
2267.15/2272.85	c #Conflicts:     308000 | #Constraints:      22997
2267.15/2272.85	c #Conflicts:     309000 | #Constraints:      23997
2267.15/2272.85	c #Conflicts:     310000 | #Constraints:      24997
2267.15/2272.85	c INPROCESSING
2267.15/2272.85	c GARBAGE COLLECT
2267.15/2272.85	c #Conflicts:     311000 | #Constraints:      14994
2267.15/2272.85	c #Conflicts:     312000 | #Constraints:      15994
2267.15/2272.85	c #Conflicts:     313000 | #Constraints:      16994
2267.15/2272.85	c #Conflicts:     314000 | #Constraints:      17994
2267.15/2272.85	c #Conflicts:     315000 | #Constraints:      18994
2267.15/2272.85	c #Conflicts:     316000 | #Constraints:      19994
2267.15/2272.85	c #Conflicts:     317000 | #Constraints:      20994
2267.15/2272.85	c #Conflicts:     318000 | #Constraints:      21994
2267.15/2272.85	c #Conflicts:     319000 | #Constraints:      22994
2267.15/2272.85	c #Conflicts:     320000 | #Constraints:      23994
2267.15/2272.85	c #Conflicts:     321000 | #Constraints:      24994
2267.15/2272.85	c INPROCESSING
2267.15/2272.85	c GARBAGE COLLECT
2267.15/2272.85	c #Conflicts:     322000 | #Constraints:      14800
2267.15/2272.85	c #Conflicts:     323000 | #Constraints:      15800
2267.15/2272.85	c #Conflicts:     324000 | #Constraints:      16800
2267.15/2272.85	c #Conflicts:     325000 | #Constraints:      17800
2267.15/2272.85	c #Conflicts:     326000 | #Constraints:      18800
2267.15/2272.85	c #Conflicts:     327000 | #Constraints:      19800
2267.15/2272.85	c #Conflicts:     328000 | #Constraints:      20800
2267.15/2272.85	c #Conflicts:     329000 | #Constraints:      21800
2267.15/2272.85	c #Conflicts:     330000 | #Constraints:      22800
2267.15/2272.85	c #Conflicts:     331000 | #Constraints:      23800
2267.15/2272.85	c #Conflicts:     332000 | #Constraints:      24800
2267.15/2272.85	c #Conflicts:     333000 | #Constraints:      25800
2267.15/2272.85	c INPROCESSING
2267.15/2272.85	c GARBAGE COLLECT
2267.15/2272.85	c #Conflicts:     334000 | #Constraints:      15412
2267.15/2272.85	c #Conflicts:     335000 | #Constraints:      16412
2267.15/2272.85	c #Conflicts:     336000 | #Constraints:      17412
2267.15/2272.85	c #Conflicts:     337000 | #Constraints:      18412
2267.15/2272.85	c #Conflicts:     338000 | #Constraints:      19412
2267.15/2272.85	c #Conflicts:     339000 | #Constraints:      20412
2267.15/2272.85	c GLOBAL bounds - >= 0 @ 2250.55
2325.79/2331.65	c #Conflicts:     340000 | #Constraints:      21414
2325.79/2331.65	c #Conflicts:     341000 | #Constraints:      22414
2325.79/2331.65	c #Conflicts:     342000 | #Constraints:      23414
2325.79/2331.65	c #Conflicts:     343000 | #Constraints:      24414
2325.79/2331.65	c #Conflicts:     344000 | #Constraints:      25414
2325.79/2331.65	c #Conflicts:     345000 | #Constraints:      26414
2325.79/2331.65	c INPROCESSING
2325.79/2331.65	c GARBAGE COLLECT
2325.79/2331.65	c #Conflicts:     346000 | #Constraints:      15810
2325.79/2331.65	c GLOBAL bounds - >= 0 @ 2308.9
2330.78/2336.66	c #Conflicts:     347000 | #Constraints:      16812
2330.78/2336.66	c GLOBAL bounds - >= 0 @ 2313.83
2361.80/2367.73	c #Conflicts:     348000 | #Constraints:      17814
2361.80/2367.73	c #Conflicts:     349000 | #Constraints:      18814
2361.80/2367.73	c #Conflicts:     350000 | #Constraints:      19814
2361.80/2367.73	c #Conflicts:     351000 | #Constraints:      20814
2361.80/2367.73	c #Conflicts:     352000 | #Constraints:      21814
2361.80/2367.73	c GLOBAL bounds - >= 0 @ 2344.62
2382.94/2388.91	c #Conflicts:     353000 | #Constraints:      22816
2382.94/2388.91	c #Conflicts:     354000 | #Constraints:      23816
2382.94/2388.91	c #Conflicts:     355000 | #Constraints:      24816
2382.94/2388.91	c GLOBAL bounds - >= 0 @ 2365.61
2659.71/2666.43	c #Conflicts:     356000 | #Constraints:      25818
2659.71/2666.43	c #Conflicts:     357000 | #Constraints:      26818
2659.71/2666.43	c INPROCESSING
2659.71/2666.43	c GARBAGE COLLECT
2659.71/2666.43	c #Conflicts:     358000 | #Constraints:      15997
2659.71/2666.43	c #Conflicts:     359000 | #Constraints:      16997
2659.71/2666.43	c #Conflicts:     360000 | #Constraints:      17997
2659.71/2666.43	c #Conflicts:     361000 | #Constraints:      18997
2659.71/2666.43	c #Conflicts:     362000 | #Constraints:      19997
2659.71/2666.43	c #Conflicts:     363000 | #Constraints:      20997
2659.71/2666.43	c #Conflicts:     364000 | #Constraints:      21997
2659.71/2666.43	c #Conflicts:     365000 | #Constraints:      22997
2659.71/2666.43	c #Conflicts:     366000 | #Constraints:      23997
2659.71/2666.43	c #Conflicts:     367000 | #Constraints:      24997
2659.71/2666.43	c #Conflicts:     368000 | #Constraints:      25997
2659.71/2666.43	c #Conflicts:     369000 | #Constraints:      26997
2659.71/2666.43	c INPROCESSING
2659.71/2666.43	c GARBAGE COLLECT
2659.71/2666.43	c #Conflicts:     370000 | #Constraints:      16014
2659.71/2666.43	c #Conflicts:     371000 | #Constraints:      17014
2659.71/2666.43	c #Conflicts:     372000 | #Constraints:      18014
2659.71/2666.43	c #Conflicts:     373000 | #Constraints:      19014
2659.71/2666.43	c #Conflicts:     374000 | #Constraints:      20014
2659.71/2666.43	c #Conflicts:     375000 | #Constraints:      21014
2659.71/2666.43	c #Conflicts:     376000 | #Constraints:      22014
2659.71/2666.43	c #Conflicts:     377000 | #Constraints:      23014
2659.71/2666.43	c #Conflicts:     378000 | #Constraints:      24014
2659.71/2666.43	c #Conflicts:     379000 | #Constraints:      25014
2659.71/2666.43	c #Conflicts:     380000 | #Constraints:      26014
2659.71/2666.43	c #Conflicts:     381000 | #Constraints:      27014
2659.71/2666.43	c INPROCESSING
2659.71/2666.43	c GARBAGE COLLECT
2659.71/2666.43	c #Conflicts:     382000 | #Constraints:      15817
2659.71/2666.43	c #Conflicts:     383000 | #Constraints:      16817
2659.71/2666.43	c #Conflicts:     384000 | #Constraints:      17817
2659.71/2666.43	c GLOBAL bounds - >= 0 @ 2641.09
3600.02/3609.20	c #Conflicts:     385000 | #Constraints:      18819
3600.02/3609.20	c #Conflicts:     386000 | #Constraints:      19819
3600.02/3609.20	c #Conflicts:     387000 | #Constraints:      20819
3600.02/3609.20	c #Conflicts:     388000 | #Constraints:      21819
3600.02/3609.20	c #Conflicts:     389000 | #Constraints:      22819
3600.02/3609.20	c #Conflicts:     390000 | #Constraints:      23819
3600.02/3609.20	c #Conflicts:     391000 | #Constraints:      24819
3600.02/3609.20	c #Conflicts:     392000 | #Constraints:      25819
3600.02/3609.20	c #Conflicts:     393000 | #Constraints:      26819
3600.02/3609.20	c #Conflicts:     394000 | #Constraints:      27819
3600.02/3609.20	c INPROCESSING
3600.02/3609.20	c GARBAGE COLLECT
3600.02/3609.20	c #Conflicts:     395000 | #Constraints:      16411
3600.02/3609.20	c #Conflicts:     396000 | #Constraints:      17411
3600.02/3609.20	c #Conflicts:     397000 | #Constraints:      18411
3600.02/3609.20	c #Conflicts:     398000 | #Constraints:      19411
3600.02/3609.20	c #Conflicts:     399000 | #Constraints:      20411
3600.02/3609.20	c #Conflicts:     400000 | #Constraints:      21411
3600.02/3609.20	c #Conflicts:     401000 | #Constraints:      22411
3600.02/3609.20	c #Conflicts:     402000 | #Constraints:      23411
3600.02/3609.20	c #Conflicts:     403000 | #Constraints:      24411
3600.02/3609.20	c #Conflicts:     404000 | #Constraints:      25411
3600.02/3609.20	c #Conflicts:     405000 | #Constraints:      26411
3600.02/3609.20	c #Conflicts:     406000 | #Constraints:      27411
3600.02/3609.20	c #Conflicts:     407000 | #Constraints:      28411
3600.02/3609.20	c INPROCESSING
3600.02/3609.20	c GARBAGE COLLECT
3600.02/3609.20	c #Conflicts:     408000 | #Constraints:      16816
3600.02/3609.20	c #Conflicts:     409000 | #Constraints:      17816
3600.02/3609.20	c #Conflicts:     410000 | #Constraints:      18816
3600.02/3609.20	c #Conflicts:     411000 | #Constraints:      19816
3600.02/3609.20	c #Conflicts:     412000 | #Constraints:      20816
3600.02/3609.20	c #Conflicts:     413000 | #Constraints:      21816
3600.02/3609.20	c #Conflicts:     414000 | #Constraints:      22816
3600.02/3609.20	c #Conflicts:     415000 | #Constraints:      23816
3600.02/3609.20	c #Conflicts:     416000 | #Constraints:      24816
3600.02/3609.20	c #Conflicts:     417000 | #Constraints:      25816
3600.02/3609.20	c #Conflicts:     418000 | #Constraints:      26816
3600.02/3609.20	c #Conflicts:     419000 | #Constraints:      27816
3600.02/3609.20	c #Conflicts:     420000 | #Constraints:      28816
3600.02/3609.20	c INPROCESSING
3600.02/3609.20	c GARBAGE COLLECT
3600.02/3609.20	c #Conflicts:     421000 | #Constraints:      17026
3600.02/3609.20	c #Conflicts:     422000 | #Constraints:      18026
3600.02/3609.20	c #Conflicts:     423000 | #Constraints:      19026
3600.02/3609.20	c #Conflicts:     424000 | #Constraints:      20026
3600.02/3609.20	c #Conflicts:     425000 | #Constraints:      21026
3600.02/3609.20	c #Conflicts:     426000 | #Constraints:      22026
3600.02/3609.20	c #Conflicts:     427000 | #Constraints:      23026
3600.02/3609.20	c #Conflicts:     428000 | #Constraints:      24026
3600.02/3609.20	c #Conflicts:     429000 | #Constraints:      25026
3600.02/3609.20	c #Conflicts:     430000 | #Constraints:      26026
3600.02/3609.20	c #Conflicts:     431000 | #Constraints:      27026
3600.02/3609.20	c #Conflicts:     432000 | #Constraints:      28026
3600.02/3609.20	c #Conflicts:     433000 | #Constraints:      29026
3600.02/3609.20	c INPROCESSING
3600.02/3609.20	c GARBAGE COLLECT
3600.02/3609.20	c #Conflicts:     434000 | #Constraints:      17023
3600.02/3609.20	c #Conflicts:     435000 | #Constraints:      18023
3600.02/3609.20	c #Conflicts:     436000 | #Constraints:      19023
3600.02/3609.20	c #Conflicts:     437000 | #Constraints:      20023
3600.02/3609.20	c #Conflicts:     438000 | #Constraints:      21023
3600.02/3609.20	c #Conflicts:     439000 | #Constraints:      22023
3600.02/3609.20	c #Conflicts:     440000 | #Constraints:      23023
3600.02/3609.20	c #Conflicts:     441000 | #Constraints:      24023
3600.02/3609.20	c #Conflicts:     442000 | #Constraints:      25023
3600.02/3609.20	c #Conflicts:     443000 | #Constraints:      26023
3600.02/3609.20	c #Conflicts:     444000 | #Constraints:      27023
3600.02/3609.20	c #Conflicts:     445000 | #Constraints:      28023
3600.02/3609.20	c #Conflicts:     446000 | #Constraints:      29023
3600.02/3609.20	c INPROCESSING
3600.02/3609.20	c GARBAGE COLLECT
3600.02/3609.20	c #Conflicts:     447000 | #Constraints:      16819
3600.02/3609.20	c #Conflicts:     448000 | #Constraints:      17819
3600.02/3609.20	c #Conflicts:     449000 | #Constraints:      18819
3600.02/3609.20	c #Conflicts:     450000 | #Constraints:      19819
3600.02/3609.20	c #Conflicts:     451000 | #Constraints:      20819
3600.02/3609.20	c #Conflicts:     452000 | #Constraints:      21819
3600.02/3609.20	c #Conflicts:     453000 | #Constraints:      22819
3600.02/3609.20	c #Conflicts:     454000 | #Constraints:      23819
3600.02/3609.20	c #Conflicts:     455000 | #Constraints:      24819
3600.02/3609.20	c cpu time 3579.47 s
3600.02/3609.20	c deterministic time 6 6.00e+00
3600.02/3609.20	c optimization time 3579.42 s
3600.02/3609.20	c total solve time 0 s
3600.02/3609.20	c core-guided solve time 0 s
3600.02/3609.20	c propagation time 0.001075 s
3600.02/3609.20	c conflict analysis time 0 s
3600.02/3609.20	c propagations 5
3600.02/3609.20	c resolve steps 0
3600.02/3609.20	c decisions 0
3600.02/3609.20	c conflicts 0
3600.02/3609.20	c restarts 0
3600.02/3609.20	c inprocessing phases 0
3600.02/3609.20	c garbage collections 0 ,( -nan )
3600.02/3609.20	c input clauses 2521 ,( 99.96 )
3600.02/3609.20	c input cardinalities 1 ,( 0.04 )
3600.02/3609.20	c input general constraints 0 ,( 0.00 )
3600.02/3609.20	c input average constraint length 63.76
3600.02/3609.20	c input average constraint degree 2.80
3600.02/3609.20	c learned clauses 0 ,( 0.00 )
3600.02/3609.20	c learned cardinalities 0 ,( 0.00 )
3600.02/3609.20	c learned general constraints 0 ,( 0.00 )
3600.02/3609.20	c learned average constraint length 0.00
3600.02/3609.20	c learned average constraint degree 0.00
3600.02/3609.20	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3609.20	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3609.20	c watched   constraints 0 ,( -nan ) 
3600.02/3609.20	c counting  constraints 0 ,( -nan ) 
3600.02/3609.20	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3609.20	c gcd simplifications 0
3600.02/3609.20	c detected cardinalities 0
3600.02/3609.20	c weakened non-implied lits 0
3600.02/3609.20	c weakened non-implying lits 0
3600.02/3609.20	c original variables 15284
3600.02/3609.20	c clausal propagations 0
3600.02/3609.20	c cardinality propagations 0
3600.02/3609.20	c watched propagations 0
3600.02/3609.20	c counting propagations 0
3600.02/3609.20	c watch lookups 0
3600.02/3609.20	c watch backjump lookups 0
3600.02/3609.20	c watch checks 0
3600.02/3609.20	c propagation checks 0
3600.02/3609.20	c constraint additions 0
3600.02/3609.20	c trail pops 0
3600.02/3609.20	c formula constraints 2522
3600.02/3609.20	c learned constraints 0
3600.02/3609.20	c bound constraints 0
3600.02/3609.20	c core-guided constraints 0
3600.02/3609.20	c encountered formula constraints 0
3600.02/3609.20	c encountered learned constraints 0
3600.02/3609.20	c encountered bound constraints 0
3600.02/3609.20	c encountered core-guided constraints 0
3600.02/3609.20	c LP total time 0 s
3600.02/3609.20	c LP solve time 0 s
3600.02/3609.20	c LP constraints added 0
3600.02/3609.20	c LP constraints removed 0
3600.02/3609.20	c LP pivots internal 0
3600.02/3609.20	c LP pivots root 0
3600.02/3609.20	c LP calls 0
3600.02/3609.20	c LP optimalities 0
3600.02/3609.20	c LP no pivot count 0
3600.02/3609.20	c LP infeasibilities 0
3600.02/3609.20	c LP valid Farkas constraints 0
3600.02/3609.20	c LP learned Farkas constraints 0
3600.02/3609.20	c LP basis resets 0
3600.02/3609.20	c LP cycling count 0
3600.02/3609.20	c LP singular count 0
3600.02/3609.20	c LP no primal count 0
3600.02/3609.20	c LP no farkas count 0
3600.02/3609.20	c LP other issue count 0
3600.02/3609.20	c LP Gomory cuts 0
3600.02/3609.20	c LP learned cuts 0
3600.02/3609.20	c LP deleted cuts 0
3600.02/3609.20	c LP encountered Gomory constraints 0
3600.02/3609.20	c LP encountered Farkas constraints 0
3600.02/3609.20	c LP encountered learned Farkas constraints 0
3600.02/3609.20	c CG auxiliary variables introduced 0
3600.02/3609.20	c CG solutions found 0
3600.02/3609.20	c CG cores constructed 0
3600.02/3609.20	c CG core cardinality constraints returned 0
3600.02/3609.20	c CG unit cores 0
3600.02/3609.20	c CG single cores 0
3600.02/3609.20	c CG blocks removed during cardinality reduction 0
3600.02/3609.20	c CG first core best 0
3600.02/3609.20	c CG decision core best 0
3600.02/3609.20	c CG core reduction tie 0
3600.02/3609.20	c CG core degree average 0.00
3600.02/3609.20	c CG core slack average 0.00
3600.02/3609.20	c CG core upper bound improvements 0
3600.02/3609.20	c STR number of successful calls 0
3600.02/3609.20	c STR number of unsuccessful calls 0
3600.02/3609.20	c STR number of inconclusive calls 0
3600.02/3609.20	c STR number of successful attempts 0
3600.02/3609.20	c STR number of unsuccessful attempts 0
3600.02/3609.20	c STR number of inconclusive attempts 0
3600.02/3609.20	c STR average degree increase per successful call inf
3600.02/3609.20	c STR average degree increase per successful attempt inf
3600.02/3609.20	c STR total number of conflicts for successful attempts 0
3600.02/3609.20	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.20	c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.20	c STR average number of conflicts per successful attempt inf
3600.02/3609.20	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.20	c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.20	c AVG.sumWPerc -nan 
3600.02/3609.20	c bigint constraints 0 
3600.02/3609.20	s UNKNOWN
3600.02/3609.20	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63097 MiB free)
  memory of node 1: 64465 MiB (63721 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485596-1751311339/watcher-4485596-1751311339 -o /tmp/evaluation-result-4485596-1751311339/solver-4485596-1751311339 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41606 --watchdog 3760 run-opt.sh HOME/instance-4485596-1751311339.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=42408, runsolver pid=42405

[startup+0.100056 s]*
/proc/loadavg: 4.18 4.14 4.11 4/266 42423
/proc/meminfo: memFree=129819040/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=74604 memory=26992 CPUtime=0.08 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 4663 0 0 0 7 1 0 0 20 0 1 0 46812553 76394496 6748 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 18651 6748 2368 1147 0 6078 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78796 KiB
Current children cumulated memory: 29936 KiB

[startup+0.205596 s]*
/proc/loadavg: 4.18 4.14 4.11 5/266 42430
/proc/meminfo: memFree=129804864/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=82988 memory=38060 CPUtime=0.19 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 6912 0 0 0 15 4 0 0 20 0 1 0 46812553 84979712 9515 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 20747 9515 2368 1147 0 8174 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 87180 KiB
Current children cumulated memory: 41004 KiB

[startup+0.305134 s]*
/proc/loadavg: 4.18 4.14 4.11 4/268 42436
/proc/meminfo: memFree=129779912/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=93488 memory=48764 CPUtime=0.29 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 9071 0 0 0 24 5 0 0 20 0 1 0 46812553 95731712 12191 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 23372 12191 2368 1147 0 10799 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97680 KiB
Current children cumulated memory: 51708 KiB

[startup+0.70016 s]
/proc/loadavg: 4.18 4.14 4.11 5/271 42442
/proc/meminfo: memFree=129729196/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=149180 memory=104320 CPUtime=0.67 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 20884 0 0 0 57 10 0 0 20 0 1 0 46812553 152760320 26080 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 37295 26080 2400 1147 0 24722 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 153372 KiB
Current children cumulated memory: 107264 KiB

[startup+1.50016 s]
/proc/loadavg: 4.18 4.14 4.11 5/271 42442
/proc/meminfo: memFree=129585864/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=239712 memory=186464 CPUtime=1.48 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 36804 0 0 0 130 18 0 0 20 0 1 0 46812553 245465088 46616 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 59928 46616 2400 1147 0 47355 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 243904 KiB
Current children cumulated memory: 189408 KiB

[startup+3.10552 s]
/proc/loadavg: 4.18 4.14 4.11 5/271 42442
/proc/meminfo: memFree=129099908/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=441304 memory=354100 CPUtime=3.07 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 67993 0 0 0 276 31 0 0 20 0 1 0 46812553 451895296 88525 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 110326 88525 2400 1147 0 97753 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 445496 KiB
Current children cumulated memory: 357044 KiB

[startup+6.30014 s]
/proc/loadavg: 4.17 4.14 4.11 5/270 42442
/proc/meminfo: memFree=128450332/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=768452 memory=662240 CPUtime=6.26 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 124103 0 0 0 566 60 0 0 20 0 1 0 46812553 786894848 165560 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 192113 165560 2400 1147 0 179540 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 772644 KiB
Current children cumulated memory: 665184 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.16 4.12 5/270 42443
/proc/meminfo: memFree=127992024/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=904832 memory=732992 CPUtime=12.65 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 131610 0 0 0 1191 74 0 0 20 0 1 0 46812553 926547968 183248 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 226208 183248 2400 1147 0 213635 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 909024 KiB
Current children cumulated memory: 735936 KiB

[startup+25.5002 s]
/proc/loadavg: 4.26 4.16 4.12 5/270 42443
/proc/meminfo: memFree=126755532/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=1598208 memory=1292984 CPUtime=25.41 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 237907 0 0 0 2415 126 0 0 20 0 1 0 46812553 1636564992 323246 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 399552 323246 2400 1147 0 386979 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1602400 KiB
Current children cumulated memory: 1295928 KiB

[startup+51.1055 s]
/proc/loadavg: 4.17 4.15 4.12 5/270 42443
/proc/meminfo: memFree=125504132/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=2476660 memory=1979108 CPUtime=50.96 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 379268 0 0 0 4891 205 0 0 20 0 1 0 46812553 2536099840 494777 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 619165 494777 2400 1147 0 606592 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2480852 KiB
Current children cumulated memory: 1982052 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/270 42446
/proc/meminfo: memFree=124305424/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=2528876 memory=2032228 CPUtime=102.03 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 392633 0 0 0 9953 250 0 0 20 0 1 0 46812553 2589569024 508057 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 632219 508057 2400 1147 0 619646 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2533068 KiB
Current children cumulated memory: 2035172 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/270 42449
/proc/meminfo: memFree=123672092/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=2904496 memory=2315476 CPUtime=161.88 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 430739 0 0 0 15853 335 0 0 20 0 1 0 46812553 2974203904 578869 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 726124 578869 2400 1147 0 713551 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2908688 KiB
Current children cumulated memory: 2318420 KiB

[startup+222.3 s]
/proc/loadavg: 4.49 4.22 4.13 5/269 42451
/proc/meminfo: memFree=122880688/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=2927792 memory=2638332 CPUtime=221.74 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 475178 0 0 0 21783 391 0 0 20 0 1 0 46812553 2998059008 659583 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 731948 659583 2400 1147 0 719375 0

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

[pid=42411] ppid=42408 vsize=9830904 memory=8359372 CPUtime=3094.46 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 1580952 0 0 0 307446 2000 0 0 20 0 1 0 46812553 10066845696 2089843 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 2457726 2089843 2400 1147 0 2445153 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 9835096 KiB
Current children cumulated memory: 8362316 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 42613
/proc/meminfo: memFree=108825228/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=9830904 memory=8361676 CPUtime=3154.3 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 1581195 0 0 0 313425 2005 0 0 20 0 1 0 46812553 10066845696 2090419 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 2457726 2090419 2400 1147 0 2445153 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 9835096 KiB
Current children cumulated memory: 8364620 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 42615
/proc/meminfo: memFree=108787760/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=9830904 memory=8363468 CPUtime=3214.15 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 1582239 0 0 0 319404 2011 0 0 20 0 1 0 46812553 10066845696 2090867 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 2457726 2090867 2400 1147 0 2445153 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 9835096 KiB
Current children cumulated memory: 8366412 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 42619
/proc/meminfo: memFree=108625188/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=9830904 memory=8365644 CPUtime=3273.99 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 1582453 0 0 0 325382 2017 0 0 20 0 1 0 46812553 10066845696 2091411 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 2457726 2091411 2400 1147 0 2445153 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 9835096 KiB
Current children cumulated memory: 8368588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 42626
/proc/meminfo: memFree=108639668/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=9830904 memory=8367820 CPUtime=3333.83 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 1582687 0 0 0 331361 2022 0 0 20 0 1 0 46812553 10066845696 2091955 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 2457726 2091955 2400 1147 0 2445153 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 9835096 KiB
Current children cumulated memory: 8370764 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 42628
/proc/meminfo: memFree=108590064/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=9830904 memory=8368844 CPUtime=3393.67 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 1582715 0 0 0 337337 2030 0 0 20 0 1 0 46812553 10066845696 2092211 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 2457726 2092211 2400 1147 0 2445153 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 9835096 KiB
Current children cumulated memory: 8371788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 42631
/proc/meminfo: memFree=108481908/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=9830904 memory=8369740 CPUtime=3453.51 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 1582992 0 0 0 343314 2037 0 0 20 0 1 0 46812553 10066845696 2092435 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 2457726 2092435 2400 1147 0 2445153 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 9835096 KiB
Current children cumulated memory: 8372684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 42633
/proc/meminfo: memFree=108459168/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=9830904 memory=8403404 CPUtime=3513.35 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 1591430 0 0 0 349287 2048 0 0 20 0 1 0 46812553 10066845696 2100851 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 2457726 2100851 2400 1147 0 2445153 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 9835096 KiB
Current children cumulated memory: 8406348 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 42635
/proc/meminfo: memFree=108446064/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=9830904 memory=8405964 CPUtime=3573.19 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 1591568 0 0 0 355266 2053 0 0 20 0 1 0 46812553 10066845696 2101491 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 2457726 2101491 2400 1147 0 2445153 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 9835096 KiB
Current children cumulated memory: 8408908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.08 4.08 4.09 4/262 42644
/proc/meminfo: memFree=110000104/131249996 swapFree=33010684/33010684
[pid=42408] ppid=42405 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/42408/stat : 42408 (run-opt.sh) S 42405 42408 41594 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 46812552 4292608 736 18446744073709551615 94831722889216 94831723783749 140722422894992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94831724022800 94831724070544 94831729029120 140722422901101 140722422901224 140722422901224 140722422906826 0
/proc/42408/statm: 1048 736 672 219 0 110 0
[pid=42411] ppid=42408 vsize=9830904 memory=8406220 CPUtime=3600.02 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42408 42408 41594 0 -1 4194304 1591635 0 0 0 357946 2056 0 0 20 0 1 0 46812553 10066845696 2101555 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 2457726 2101555 2400 1147 0 2445153 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 9835096 KiB
Current children cumulated memory: 8409164 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3609.41 s]
/proc/loadavg: 4.08 4.08 4.09 5/260 42644
/proc/meminfo: memFree=111671116/131249996 swapFree=33010684/33010684
[pid=42411] ppid=42405 vsize=5408592 memory=4146796 CPUtime=3600.22 cores=1,3
/proc/42411/stat : 42411 (roundingsat) R 42405 42408 41594 0 -1 4194304 1591641 0 0 0 357947 2075 0 0 20 0 1 0 46812553 5538398208 1036699 18446744073709551615 4227072 8923433 140732917638224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37859328 140732917643682 140732917643816 140732917643816 140732917649386 0
/proc/42411/statm: 1352148 1036699 2464 1147 0 1339575 0
Current cumulated CPU time of completed processes: 0.002315 s
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 5408592 KiB
Current children cumulated memory: 4146796 KiB

Child status: 2

Real time (s): 3609.45
CPU time (s): 3600.28
CPU user time (s): 3579.48
CPU system time (s): 20.7998
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 9835096
Max. memory (cumulated for all children) (KiB): 8409164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.48
system time used= 20.7998
maximum resident set size= 8406476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1591859
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= 461
involuntary context switches= 2506


# summary of solver processes directly reported to runsolver:
#   pid: 42408,42411
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3579.48
#   total CPU system time (s): 20.7998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20294 second user time and 16.5946 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-30 21:22:19
IDJOB=4485596
IDBENCH=146803
IDSOLVER=3350
FILE ID=nodeC032/4485596-1751311339
RUNJOBID= nodeC032-1751304114-41606
SLURM_JOB_ID= 9594298
Free space on /tmp= 432040 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485596-1751311339/watcher-4485596-1751311339 -o /tmp/evaluation-result-4485596-1751311339/solver-4485596-1751311339 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41606 --watchdog 3760  run-opt.sh HOME/instance-4485596-1751311339.opb

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

MD5SUM BENCH= 03ae34be4b84b00f7c0b95d73cb9483d
RANDOM SEED=1762384653

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129871552 kB
MemAvailable:   129653572 kB
Buffers:            3280 kB
Cached:           590164 kB
SwapCached:            0 kB
Active:           478372 kB
Inactive:         336764 kB
Active(anon):     239764 kB
Inactive(anon):        0 kB
Active(file):     238608 kB
Inactive(file):   336764 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29024 kB
Writeback:             0 kB
AnonPages:        225100 kB
Mapped:           112228 kB
Shmem:             18068 kB
KReclaimable:      91772 kB
Slab:             176696 kB
SReclaimable:      91772 kB
SUnreclaim:        84924 kB
KernelStack:        4348 kB
PageTables:         3424 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     555956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432032 MiB
End job on nodeC032 at 2025-06-30 22:22:29