Trace number 4485412

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.33 3609.21

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
MD5SUM24a342ae8fc5469ab48a1ad2f6e90ddf
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1543
Best CPU time to get the best result obtained on this benchmark3600.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables24645
Total number of constraints4873
Number of constraints which are clauses4872
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 constraint17864
Number of terms in the objective function 24645
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 42509
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 42509
Number of bits of the biggest sum of numbers16
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.09	c #variables 24645 #constraints 4811
0.00/0.09	c objective is ce32 
0.08/0.12	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.12	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.08/0.12	c GLOBAL bounds - >= 0 @ 0.083827
0.08/0.15	c GLOBAL bounds - >= 0 @ 0.099535
0.29/0.35	c GLOBAL bounds - >= 0 @ 0.274986
0.39/0.48	c GLOBAL bounds - >= 0 @ 0.38978
0.49/0.58	c GLOBAL bounds - >= 0 @ 0.466929
0.58/0.66	c GLOBAL bounds - >= 0 @ 0.530171
0.78/0.80	c GLOBAL bounds - >= 0 @ 0.652152
0.87/0.91	c GLOBAL bounds - >= 0 @ 0.741815
0.98/1.05	c GLOBAL bounds - >= 0 @ 0.853559
1.08/1.16	c GLOBAL bounds - >= 0 @ 0.945119
1.48/1.52	c GLOBAL bounds - >= 0 @ 1.28829
1.67/1.75	c GLOBAL bounds - >= 0 @ 1.50596
2.07/2.11	c GLOBAL bounds - >= 0 @ 1.81669
2.38/2.41	c GLOBAL bounds - >= 0 @ 2.0954
2.58/2.70	c GLOBAL bounds - >= 0 @ 2.34818
2.87/3.00	c GLOBAL bounds - >= 0 @ 2.60845
3.17/3.27	c GLOBAL bounds - >= 0 @ 2.86791
3.66/3.76	c GLOBAL bounds - >= 0 @ 3.27682
4.07/4.18	c GLOBAL bounds - >= 0 @ 3.67115
4.47/4.55	c GLOBAL bounds - >= 0 @ 4.00005
5.07/5.10	c GLOBAL bounds - >= 0 @ 4.51216
5.36/5.44	c GLOBAL bounds - >= 0 @ 4.81942
5.67/5.78	c GLOBAL bounds - >= 0 @ 5.1374
5.96/6.08	c GLOBAL bounds - >= 0 @ 5.4164
6.37/6.41	c GLOBAL bounds - >= 0 @ 5.73855
6.86/6.95	c #Conflicts:       1000 | #Constraints:       5857
6.86/6.95	c GLOBAL bounds - >= 0 @ 6.18888
7.26/7.39	c GLOBAL bounds - >= 0 @ 6.59835
7.96/8.05	c GLOBAL bounds - >= 0 @ 7.21691
8.75/8.89	c GLOBAL bounds - >= 0 @ 8.00226
9.26/9.30	c GLOBAL bounds - >= 0 @ 8.3701
9.55/9.66	c GLOBAL bounds - >= 0 @ 8.71236
10.06/10.12	c GLOBAL bounds - >= 0 @ 9.11599
10.55/10.64	c GLOBAL bounds - >= 0 @ 9.58422
10.96/11.07	c GLOBAL bounds - >= 0 @ 9.97178
11.35/11.41	c GLOBAL bounds - >= 0 @ 10.3022
11.85/11.92	c GLOBAL bounds - >= 0 @ 10.7679
12.25/12.30	c GLOBAL bounds - >= 0 @ 11.13
12.65/12.71	c GLOBAL bounds - >= 0 @ 11.5169
13.15/13.21	c GLOBAL bounds - >= 0 @ 11.9812
14.95/15.01	c #Conflicts:       2000 | #Constraints:       6885
14.95/15.01	c INPROCESSING
14.95/15.01	c GARBAGE COLLECT
14.95/15.01	c GLOBAL bounds - >= 0 @ 13.7353
15.34/15.48	c GLOBAL bounds - >= 0 @ 14.1744
15.75/15.87	c GLOBAL bounds - >= 0 @ 14.5557
17.64/17.70	c GLOBAL bounds - >= 0 @ 16.3404
18.14/18.27	c GLOBAL bounds - >= 0 @ 16.8901
18.64/18.76	c GLOBAL bounds - >= 0 @ 17.3611
19.53/19.66	c GLOBAL bounds - >= 0 @ 18.2218
20.23/20.34	c GLOBAL bounds - >= 0 @ 18.8789
22.63/22.78	c #Conflicts:       3000 | #Constraints:       6917
22.63/22.78	c GLOBAL bounds - >= 0 @ 21.1311
23.62/23.79	c GLOBAL bounds - >= 0 @ 22.0897
24.12/24.29	c GLOBAL bounds - >= 0 @ 22.561
24.72/24.86	c GLOBAL bounds - >= 0 @ 23.0942
25.22/25.31	c GLOBAL bounds - >= 0 @ 23.529
25.61/25.73	c GLOBAL bounds - >= 0 @ 23.9098
26.11/26.21	c GLOBAL bounds - >= 0 @ 24.3619
26.71/26.84	c GLOBAL bounds - >= 0 @ 24.9373
27.21/27.31	c GLOBAL bounds - >= 0 @ 25.3919
27.61/27.77	c GLOBAL bounds - >= 0 @ 25.8312
28.61/28.71	c #Conflicts:       4000 | #Constraints:       7937
28.61/28.71	c GLOBAL bounds - >= 0 @ 26.7218
29.01/29.12	c GLOBAL bounds - >= 0 @ 27.0958
32.20/32.30	c INPROCESSING
32.20/32.30	c GARBAGE COLLECT
32.20/32.30	c GLOBAL bounds - >= 0 @ 30.2156
33.01/33.19	c GLOBAL bounds - >= 0 @ 31.083
34.10/34.23	c GLOBAL bounds - >= 0 @ 32.0893
35.80/35.92	c GLOBAL bounds - >= 0 @ 33.7018
36.19/36.33	c GLOBAL bounds - >= 0 @ 34.086
37.49/37.65	c #Conflicts:       5000 | #Constraints:       7374
37.49/37.65	c GLOBAL bounds - >= 0 @ 35.3596
38.29/38.46	c GLOBAL bounds - >= 0 @ 36.1417
39.89/40.09	c GLOBAL bounds - >= 0 @ 37.7568
40.78/40.95	c GLOBAL bounds - >= 0 @ 38.5953
41.48/41.63	c GLOBAL bounds - >= 0 @ 39.2487
42.08/42.29	c GLOBAL bounds - >= 0 @ 39.8922
42.98/43.14	c GLOBAL bounds - >= 0 @ 40.6968
43.77/43.95	c #Conflicts:       6000 | #Constraints:       8388
43.77/43.95	c GLOBAL bounds - >= 0 @ 41.4242
44.57/44.71	c GLOBAL bounds - >= 0 @ 42.1635
45.77/45.93	c GLOBAL bounds - >= 0 @ 43.3337
46.67/46.87	c GLOBAL bounds - >= 0 @ 44.2442
47.37/47.52	c GLOBAL bounds - >= 0 @ 44.8646
50.86/51.00	c INPROCESSING
50.86/51.00	c GARBAGE COLLECT
50.86/51.00	c GLOBAL bounds - >= 0 @ 48.289
51.86/52.09	c GLOBAL bounds - >= 0 @ 49.3553
52.86/53.06	c #Conflicts:       7000 | #Constraints:       7422
52.86/53.06	c GLOBAL bounds - >= 0 @ 50.3032
53.45/53.66	c GLOBAL bounds - >= 0 @ 50.8792
55.75/55.95	c GLOBAL bounds - >= 0 @ 53.1322
59.84/60.08	c #Conflicts:       8000 | #Constraints:       8428
59.84/60.08	c GLOBAL bounds - >= 0 @ 57.1698
60.84/61.09	c GLOBAL bounds - >= 0 @ 58.1542
62.43/62.66	c GLOBAL bounds - >= 0 @ 59.6889
64.02/64.22	c GLOBAL bounds - >= 0 @ 61.0264
64.62/64.89	c GLOBAL bounds - >= 0 @ 61.6671
65.52/65.72	c GLOBAL bounds - >= 0 @ 62.4597
66.42/66.60	c GLOBAL bounds - >= 0 @ 63.3001
70.31/70.55	c #Conflicts:       9000 | #Constraints:       9442
70.31/70.55	c INPROCESSING
70.31/70.55	c GARBAGE COLLECT
70.31/70.55	c GLOBAL bounds - >= 0 @ 67.1435
71.40/71.68	c GLOBAL bounds - >= 0 @ 68.2367
72.20/72.47	c GLOBAL bounds - >= 0 @ 68.9806
73.10/73.36	c GLOBAL bounds - >= 0 @ 69.8426
74.20/74.43	c GLOBAL bounds - >= 0 @ 70.8865
75.20/75.41	c GLOBAL bounds - >= 0 @ 71.8268
76.20/76.48	c #Conflicts:      10000 | #Constraints:       8174
76.20/76.48	c GLOBAL bounds - >= 0 @ 72.8638
77.09/77.31	c GLOBAL bounds - >= 0 @ 73.666
78.09/78.32	c GLOBAL bounds - >= 0 @ 74.6632
79.18/79.41	c GLOBAL bounds - >= 0 @ 75.7099
79.89/80.19	c GLOBAL bounds - >= 0 @ 76.4663
81.19/81.45	c GLOBAL bounds - >= 0 @ 77.7041
82.28/82.58	c #Conflicts:      11000 | #Constraints:       9186
82.28/82.58	c GLOBAL bounds - >= 0 @ 78.8175
83.58/83.82	c GLOBAL bounds - >= 0 @ 80.0308
84.47/84.72	c GLOBAL bounds - >= 0 @ 80.8934
86.17/86.47	c GLOBAL bounds - >= 0 @ 82.584
87.17/87.47	c GLOBAL bounds - >= 0 @ 83.5398
88.67/88.91	c GLOBAL bounds - >= 0 @ 84.9435
92.65/92.90	c #Conflicts:      12000 | #Constraints:      10198
92.65/92.90	c INPROCESSING
92.65/92.90	c GARBAGE COLLECT
92.65/92.90	c GLOBAL bounds - >= 0 @ 88.8551
94.15/94.43	c GLOBAL bounds - >= 0 @ 90.3392
95.55/95.88	c GLOBAL bounds - >= 0 @ 91.7642
97.05/97.34	c GLOBAL bounds - >= 0 @ 93.1748
97.75/98.10	c GLOBAL bounds - >= 0 @ 93.9172
98.55/98.88	c GLOBAL bounds - >= 0 @ 94.6786
99.34/99.68	c #Conflicts:      13000 | #Constraints:       8663
99.34/99.68	c GLOBAL bounds - >= 0 @ 95.4471
100.13/100.48	c GLOBAL bounds - >= 0 @ 96.2104
100.84/101.16	c GLOBAL bounds - >= 0 @ 96.8728
101.74/102.03	c GLOBAL bounds - >= 0 @ 97.7138
102.43/102.70	c GLOBAL bounds - >= 0 @ 98.3726
103.43/103.76	c GLOBAL bounds - >= 0 @ 99.3984
104.13/104.49	c GLOBAL bounds - >= 0 @ 100.108
108.72/109.06	c #Conflicts:      14000 | #Constraints:       9677
108.72/109.06	c GLOBAL bounds - >= 0 @ 104.597
112.21/112.54	c GLOBAL bounds - >= 0 @ 107.989
116.10/116.47	c #Conflicts:      15000 | #Constraints:      10681
116.10/116.47	c INPROCESSING
116.10/116.47	c GARBAGE COLLECT
116.10/116.47	c GLOBAL bounds - >= 0 @ 111.856
117.70/118.00	c GLOBAL bounds - >= 0 @ 113.358
119.70/120.10	c GLOBAL bounds - >= 0 @ 115.428
120.70/121.00	c GLOBAL bounds - >= 0 @ 116.312
137.35/137.80	c #Conflicts:      16000 | #Constraints:       8925
137.35/137.80	c #Conflicts:      17000 | #Constraints:       9925
137.35/137.80	c #Conflicts:      18000 | #Constraints:      10925
137.35/137.80	c INPROCESSING
137.35/137.80	c GARBAGE COLLECT
137.35/137.80	c GLOBAL bounds - >= 0 @ 132.968
148.52/148.99	c #Conflicts:      19000 | #Constraints:       8962
148.52/148.99	c GLOBAL bounds - >= 0 @ 144.092
153.01/153.41	c GLOBAL bounds - >= 0 @ 148.42
155.31/155.76	c #Conflicts:      20000 | #Constraints:       9966
155.31/155.76	c GLOBAL bounds - >= 0 @ 150.707
156.40/156.89	c GLOBAL bounds - >= 0 @ 151.816
157.61/158.02	c GLOBAL bounds - >= 0 @ 152.935
158.90/159.30	c GLOBAL bounds - >= 0 @ 154.18
161.99/162.45	c #Conflicts:      21000 | #Constraints:      10974
161.99/162.45	c GLOBAL bounds - >= 0 @ 157.266
164.08/164.51	c GLOBAL bounds - >= 0 @ 159.266
173.46/173.94	c INPROCESSING
173.46/173.94	c GARBAGE COLLECT
173.46/173.94	c #Conflicts:      22000 | #Constraints:       8782
173.46/173.94	c GLOBAL bounds - >= 0 @ 168.56
177.15/177.69	c GLOBAL bounds - >= 0 @ 172.249
184.44/184.95	c #Conflicts:      23000 | #Constraints:       9786
184.44/184.95	c GLOBAL bounds - >= 0 @ 179.413
185.33/185.86	c GLOBAL bounds - >= 0 @ 180.309
188.03/188.53	c #Conflicts:      24000 | #Constraints:      10790
188.03/188.53	c GLOBAL bounds - >= 0 @ 182.909
189.42/189.96	c GLOBAL bounds - >= 0 @ 184.301
191.52/192.08	c GLOBAL bounds - >= 0 @ 186.353
192.82/193.37	c GLOBAL bounds - >= 0 @ 187.603
193.81/194.30	c GLOBAL bounds - >= 0 @ 188.498
195.61/196.15	c #Conflicts:      25000 | #Constraints:      11800
195.61/196.15	c GLOBAL bounds - >= 0 @ 190.273
196.40/196.98	c GLOBAL bounds - >= 0 @ 191.071
201.60/202.16	c INPROCESSING
201.60/202.16	c GARBAGE COLLECT
201.60/202.16	c GLOBAL bounds - >= 0 @ 196.175
203.00/203.53	c GLOBAL bounds - >= 0 @ 197.523
204.39/204.92	c GLOBAL bounds - >= 0 @ 198.891
205.89/206.46	c #Conflicts:      26000 | #Constraints:       9397
205.89/206.46	c GLOBAL bounds - >= 0 @ 200.383
225.13/225.70	c #Conflicts:      27000 | #Constraints:      10399
225.13/225.70	c #Conflicts:      28000 | #Constraints:      11399
225.13/225.70	c GLOBAL bounds - >= 0 @ 219.46
226.14/226.70	c GLOBAL bounds - >= 0 @ 220.431
231.82/232.46	c GLOBAL bounds - >= 0 @ 226.109
232.62/233.22	c GLOBAL bounds - >= 0 @ 226.847
238.51/239.10	c #Conflicts:      29000 | #Constraints:      12407
238.51/239.10	c INPROCESSING
238.51/239.10	c GARBAGE COLLECT
238.51/239.10	c GLOBAL bounds - >= 0 @ 232.671
240.90/241.58	c GLOBAL bounds - >= 0 @ 235.07
242.60/243.22	c GLOBAL bounds - >= 0 @ 236.688
243.89/244.58	c #Conflicts:      30000 | #Constraints:       9782
243.89/244.58	c GLOBAL bounds - >= 0 @ 238.025
245.89/246.53	c GLOBAL bounds - >= 0 @ 239.938
246.98/247.60	c GLOBAL bounds - >= 0 @ 240.979
251.57/252.26	c #Conflicts:      31000 | #Constraints:      10788
251.57/252.26	c GLOBAL bounds - >= 0 @ 245.547
253.37/254.09	c GLOBAL bounds - >= 0 @ 247.337
256.86/257.53	c GLOBAL bounds - >= 0 @ 250.719
258.26/259.00	c #Conflicts:      32000 | #Constraints:      11794
258.26/259.00	c GLOBAL bounds - >= 0 @ 252.161
269.13/269.87	c #Conflicts:      33000 | #Constraints:      12796
269.13/269.87	c INPROCESSING
269.13/269.87	c GARBAGE COLLECT
269.13/269.87	c GLOBAL bounds - >= 0 @ 262.828
275.32/276.06	c #Conflicts:      34000 | #Constraints:      10048
275.32/276.06	c GLOBAL bounds - >= 0 @ 268.966
287.98/288.79	c #Conflicts:      35000 | #Constraints:      11050
287.98/288.79	c GLOBAL bounds - >= 0 @ 281.597
303.45/304.22	c #Conflicts:      36000 | #Constraints:      12052
303.45/304.22	c #Conflicts:      37000 | #Constraints:      13052
303.45/304.22	c INPROCESSING
303.45/304.22	c GARBAGE COLLECT
303.45/304.22	c GLOBAL bounds - >= 0 @ 296.893
309.93/310.71	c #Conflicts:      38000 | #Constraints:      10109
309.93/310.71	c GLOBAL bounds - >= 0 @ 303.319
326.89/327.73	c #Conflicts:      39000 | #Constraints:      11111
326.89/327.73	c #Conflicts:      40000 | #Constraints:      12111
326.89/327.73	c GLOBAL bounds - >= 0 @ 320.25
329.29/330.13	c #Conflicts:      41000 | #Constraints:      13113
329.29/330.13	c GLOBAL bounds - >= 0 @ 322.611
335.18/336.02	c INPROCESSING
335.18/336.02	c GARBAGE COLLECT
335.18/336.02	c GLOBAL bounds - >= 0 @ 328.423
339.76/340.63	c #Conflicts:      42000 | #Constraints:       9928
339.76/340.63	c GLOBAL bounds - >= 0 @ 332.947
342.75/343.61	c GLOBAL bounds - >= 0 @ 335.894
347.04/347.96	c #Conflicts:      43000 | #Constraints:      10932
347.04/347.96	c GLOBAL bounds - >= 0 @ 340.199
365.60/366.55	c #Conflicts:      44000 | #Constraints:      11934
365.60/366.55	c #Conflicts:      45000 | #Constraints:      12934
365.60/366.55	c GLOBAL bounds - >= 0 @ 358.585
382.06/383.06	c #Conflicts:      46000 | #Constraints:      13936
382.06/383.06	c INPROCESSING
382.06/383.06	c GARBAGE COLLECT
382.06/383.06	c #Conflicts:      47000 | #Constraints:      10542
382.06/383.06	c GLOBAL bounds - >= 0 @ 374.829
385.05/386.02	c GLOBAL bounds - >= 0 @ 377.756
393.43/394.49	c #Conflicts:      48000 | #Constraints:      11546
393.43/394.49	c GLOBAL bounds - >= 0 @ 386.114
397.42/398.43	c #Conflicts:      49000 | #Constraints:      12548
397.42/398.43	c GLOBAL bounds - >= 0 @ 389.988
408.89/409.92	c #Conflicts:      50000 | #Constraints:      13550
408.89/409.92	c GLOBAL bounds - >= 0 @ 400.921
415.58/416.62	c #Conflicts:      51000 | #Constraints:      14552
415.58/416.62	c INPROCESSING
415.58/416.62	c GARBAGE COLLECT
415.58/416.62	c GLOBAL bounds - >= 0 @ 407.518
420.76/421.80	c #Conflicts:      52000 | #Constraints:      10929
420.76/421.80	c GLOBAL bounds - >= 0 @ 412.654
422.66/423.74	c GLOBAL bounds - >= 0 @ 414.568
424.55/425.65	c GLOBAL bounds - >= 0 @ 416.468
424.96/426.05	c GLOBAL bounds - >= 0 @ 416.853
428.44/429.53	c #Conflicts:      53000 | #Constraints:      11937
428.44/429.53	c GLOBAL bounds - >= 0 @ 420.3
430.84/431.93	c GLOBAL bounds - >= 0 @ 422.665
433.23/434.39	c GLOBAL bounds - >= 0 @ 425.085
436.32/437.43	c #Conflicts:      54000 | #Constraints:      12943
436.32/437.43	c GLOBAL bounds - >= 0 @ 428.064
440.71/441.88	c GLOBAL bounds - >= 0 @ 432.434
446.01/447.19	c #Conflicts:      55000 | #Constraints:      13947
446.01/447.19	c GLOBAL bounds - >= 0 @ 437.629
449.49/450.67	c GLOBAL bounds - >= 0 @ 440.987
457.67/458.86	c #Conflicts:      56000 | #Constraints:      14951
457.67/458.86	c INPROCESSING
457.67/458.86	c GARBAGE COLLECT
457.67/458.86	c GLOBAL bounds - >= 0 @ 449.033
464.35/465.59	c #Conflicts:      57000 | #Constraints:      11161
464.35/465.59	c GLOBAL bounds - >= 0 @ 455.7
468.25/469.45	c GLOBAL bounds - >= 0 @ 459.479
474.43/475.60	c #Conflicts:      58000 | #Constraints:      12165
474.43/475.60	c GLOBAL bounds - >= 0 @ 465.471
479.42/480.61	c #Conflicts:      59000 | #Constraints:      13167
479.42/480.61	c GLOBAL bounds - >= 0 @ 470.375
486.70/487.98	c #Conflicts:      60000 | #Constraints:      14169
486.70/487.98	c GLOBAL bounds - >= 0 @ 477.682
534.78/536.10	c #Conflicts:      61000 | #Constraints:      15171
534.78/536.10	c INPROCESSING
534.78/536.10	c GARBAGE COLLECT
534.78/536.10	c #Conflicts:      62000 | #Constraints:      11179
534.78/536.10	c #Conflicts:      63000 | #Constraints:      12179
534.78/536.10	c #Conflicts:      64000 | #Constraints:      13179
534.78/536.10	c GLOBAL bounds - >= 0 @ 525.511
542.56/543.95	c #Conflicts:      65000 | #Constraints:      14181
542.56/543.95	c GLOBAL bounds - >= 0 @ 533.229
544.66/546.07	c GLOBAL bounds - >= 0 @ 535.322
556.13/557.53	c #Conflicts:      66000 | #Constraints:      15185
556.13/557.53	c INPROCESSING
556.13/557.53	c GARBAGE COLLECT
556.13/557.53	c GLOBAL bounds - >= 0 @ 546.616
568.20/569.64	c #Conflicts:      67000 | #Constraints:      10981
568.20/569.64	c #Conflicts:      68000 | #Constraints:      11981
568.20/569.64	c GLOBAL bounds - >= 0 @ 558.598
581.07/582.57	c #Conflicts:      69000 | #Constraints:      12983
581.07/582.57	c GLOBAL bounds - >= 0 @ 571.357
584.86/586.32	c #Conflicts:      70000 | #Constraints:      13985
584.86/586.32	c GLOBAL bounds - >= 0 @ 575.034
588.25/589.76	c GLOBAL bounds - >= 0 @ 578.388
597.03/598.56	c #Conflicts:      71000 | #Constraints:      14989
597.03/598.56	c GLOBAL bounds - >= 0 @ 587.093
597.92/599.40	c GLOBAL bounds - >= 0 @ 587.917
613.59/615.11	c #Conflicts:      72000 | #Constraints:      15993
613.59/615.11	c INPROCESSING
613.59/615.11	c GARBAGE COLLECT
613.59/615.11	c #Conflicts:      73000 | #Constraints:      11589
613.59/615.11	c GLOBAL bounds - >= 0 @ 603.42
622.27/623.87	c #Conflicts:      74000 | #Constraints:      12591
622.27/623.87	c GLOBAL bounds - >= 0 @ 612.018
624.16/625.71	c GLOBAL bounds - >= 0 @ 613.821
628.06/629.68	c GLOBAL bounds - >= 0 @ 617.72
630.25/631.85	c #Conflicts:      75000 | #Constraints:      13597
630.25/631.85	c GLOBAL bounds - >= 0 @ 619.863
637.54/639.13	c GLOBAL bounds - >= 0 @ 627.023
638.13/639.79	c #Conflicts:      76000 | #Constraints:      14601
638.13/639.79	c GLOBAL bounds - >= 0 @ 627.66
640.63/642.20	c GLOBAL bounds - >= 0 @ 630.034
644.42/646.07	c GLOBAL bounds - >= 0 @ 633.866
652.59/654.25	c #Conflicts:      77000 | #Constraints:      15607
652.59/654.25	c GLOBAL bounds - >= 0 @ 641.872
663.56/665.22	c #Conflicts:      78000 | #Constraints:      16609
663.56/665.22	c INPROCESSING
663.56/665.22	c GARBAGE COLLECT
663.56/665.22	c GLOBAL bounds - >= 0 @ 652.66
669.16/670.88	c #Conflicts:      79000 | #Constraints:      12015
669.16/670.88	c GLOBAL bounds - >= 0 @ 658.239
671.95/673.69	c GLOBAL bounds - >= 0 @ 661.01
723.42/725.25	c #Conflicts:      80000 | #Constraints:      13019
723.42/725.25	c #Conflicts:      81000 | #Constraints:      14019
723.42/725.25	c #Conflicts:      82000 | #Constraints:      15019
723.42/725.25	c #Conflicts:      83000 | #Constraints:      16019
723.42/725.25	c #Conflicts:      84000 | #Constraints:      17019
723.42/725.25	c INPROCESSING
723.42/725.25	c GARBAGE COLLECT
723.42/725.25	c GLOBAL bounds - >= 0 @ 712.251
728.42/730.23	c GLOBAL bounds - >= 0 @ 717.132
784.38/786.31	c #Conflicts:      85000 | #Constraints:      12236
784.38/786.31	c #Conflicts:      86000 | #Constraints:      13236
784.38/786.31	c #Conflicts:      87000 | #Constraints:      14236
784.38/786.31	c #Conflicts:      88000 | #Constraints:      15236
784.38/786.31	c #Conflicts:      89000 | #Constraints:      16236
784.38/786.31	c #Conflicts:      90000 | #Constraints:      17236
784.38/786.31	c INPROCESSING
784.38/786.31	c GARBAGE COLLECT
784.38/786.31	c GLOBAL bounds - >= 0 @ 772.983
791.86/793.83	c #Conflicts:      91000 | #Constraints:      12250
791.86/793.83	c GLOBAL bounds - >= 0 @ 780.457
856.41/858.55	c #Conflicts:      92000 | #Constraints:      13252
856.41/858.55	c #Conflicts:      93000 | #Constraints:      14252
856.41/858.55	c #Conflicts:      94000 | #Constraints:      15252
856.41/858.55	c #Conflicts:      95000 | #Constraints:      16252
856.41/858.55	c #Conflicts:      96000 | #Constraints:      17252
856.41/858.55	c INPROCESSING
856.41/858.55	c GARBAGE COLLECT
856.41/858.55	c GLOBAL bounds - >= 0 @ 844.83
859.30/861.41	c #Conflicts:      97000 | #Constraints:      12076
859.30/861.41	c GLOBAL bounds - >= 0 @ 847.67
879.05/881.21	c #Conflicts:      98000 | #Constraints:      13078
879.05/881.21	c #Conflicts:      99000 | #Constraints:      14078
879.05/881.21	c GLOBAL bounds - >= 0 @ 867.33
892.12/894.35	c #Conflicts:     100000 | #Constraints:      15080
892.12/894.35	c #Conflicts:     101000 | #Constraints:      16080
892.12/894.35	c GLOBAL bounds - >= 0 @ 880.386
897.61/899.89	c #Conflicts:     102000 | #Constraints:      17082
897.61/899.89	c GLOBAL bounds - >= 0 @ 885.872
912.08/914.33	c #Conflicts:     103000 | #Constraints:      18084
912.08/914.33	c INPROCESSING
912.08/914.33	c GARBAGE COLLECT
912.08/914.33	c GLOBAL bounds - >= 0 @ 900.17
919.46/921.76	c #Conflicts:     104000 | #Constraints:      12677
919.46/921.76	c GLOBAL bounds - >= 0 @ 907.521
923.05/925.36	c GLOBAL bounds - >= 0 @ 911.039
927.24/929.53	c #Conflicts:     105000 | #Constraints:      13681
927.24/929.53	c GLOBAL bounds - >= 0 @ 915.171
935.32/937.63	c #Conflicts:     106000 | #Constraints:      14683
935.32/937.63	c GLOBAL bounds - >= 0 @ 923.13
948.09/950.44	c #Conflicts:     107000 | #Constraints:      15685
948.09/950.44	c GLOBAL bounds - >= 0 @ 935.726
950.29/952.69	c GLOBAL bounds - >= 0 @ 937.927
956.27/958.61	c #Conflicts:     108000 | #Constraints:      16689
956.27/958.61	c GLOBAL bounds - >= 0 @ 943.754
961.36/963.77	c GLOBAL bounds - >= 0 @ 948.831
963.25/965.69	c #Conflicts:     109000 | #Constraints:      17693
963.25/965.69	c GLOBAL bounds - >= 0 @ 950.722
966.95/969.36	c GLOBAL bounds - >= 0 @ 954.299
980.51/982.99	c #Conflicts:     110000 | #Constraints:      18697
980.51/982.99	c INPROCESSING
980.51/982.99	c GARBAGE COLLECT
980.51/982.99	c GLOBAL bounds - >= 0 @ 967.74
997.47/999.96	c #Conflicts:     111000 | #Constraints:      13083
997.47/999.96	c #Conflicts:     112000 | #Constraints:      14083
997.47/999.96	c GLOBAL bounds - >= 0 @ 984.547
1005.66/1008.17	c #Conflicts:     113000 | #Constraints:      15085
1005.66/1008.17	c GLOBAL bounds - >= 0 @ 992.636
1011.04/1013.57	c #Conflicts:     114000 | #Constraints:      16087
1011.04/1013.57	c GLOBAL bounds - >= 0 @ 997.947
1017.02/1019.53	c #Conflicts:     115000 | #Constraints:      17089
1017.02/1019.53	c GLOBAL bounds - >= 0 @ 1003.85
1018.22/1020.77	c GLOBAL bounds - >= 0 @ 1005.07
1024.41/1026.99	c GLOBAL bounds - >= 0 @ 1011.2
1027.20/1029.77	c #Conflicts:     116000 | #Constraints:      18095
1027.20/1029.77	c GLOBAL bounds - >= 0 @ 1013.92
1032.99/1035.58	c GLOBAL bounds - >= 0 @ 1019.56
1042.37/1044.97	c #Conflicts:     117000 | #Constraints:      19099
1042.37/1044.97	c INPROCESSING
1042.37/1044.97	c GARBAGE COLLECT
1042.37/1044.97	c GLOBAL bounds - >= 0 @ 1028.83
1045.95/1048.54	c GLOBAL bounds - >= 0 @ 1032.33
1088.85/1091.55	c #Conflicts:     118000 | #Constraints:      13289
1088.85/1091.55	c #Conflicts:     119000 | #Constraints:      14289
1088.85/1091.55	c #Conflicts:     120000 | #Constraints:      15289
1088.85/1091.55	c #Conflicts:     121000 | #Constraints:      16289
1088.85/1091.55	c #Conflicts:     122000 | #Constraints:      17289
1088.85/1091.55	c #Conflicts:     123000 | #Constraints:      18289
1088.85/1091.55	c GLOBAL bounds - >= 0 @ 1075
1132.55/1135.38	c #Conflicts:     124000 | #Constraints:      19291
1132.55/1135.38	c INPROCESSING
1132.55/1135.38	c GARBAGE COLLECT
1132.55/1135.38	c #Conflicts:     125000 | #Constraints:      13292
1132.55/1135.38	c #Conflicts:     126000 | #Constraints:      14292
1132.55/1135.38	c #Conflicts:     127000 | #Constraints:      15292
1132.55/1135.38	c GLOBAL bounds - >= 0 @ 1118.3
1137.14/1139.96	c GLOBAL bounds - >= 0 @ 1122.81
1150.70/1153.56	c #Conflicts:     128000 | #Constraints:      16296
1150.70/1153.56	c #Conflicts:     129000 | #Constraints:      17296
1150.70/1153.56	c GLOBAL bounds - >= 0 @ 1136.2
1175.74/1178.65	c #Conflicts:     130000 | #Constraints:      18298
1175.74/1178.65	c #Conflicts:     131000 | #Constraints:      19298
1175.74/1178.65	c INPROCESSING
1175.74/1178.65	c GARBAGE COLLECT
1175.74/1178.65	c GLOBAL bounds - >= 0 @ 1161.13
1181.83/1184.76	c #Conflicts:     132000 | #Constraints:      13110
1181.83/1184.76	c GLOBAL bounds - >= 0 @ 1167.15
1185.42/1188.31	c #Conflicts:     133000 | #Constraints:      14112
1185.42/1188.31	c GLOBAL bounds - >= 0 @ 1170.64
1188.91/1191.88	c GLOBAL bounds - >= 0 @ 1174.13
1191.41/1194.31	c GLOBAL bounds - >= 0 @ 1176.52
1199.29/1202.20	c #Conflicts:     134000 | #Constraints:      15118
1199.29/1202.20	c GLOBAL bounds - >= 0 @ 1184.3
1204.77/1207.78	c #Conflicts:     135000 | #Constraints:      16120
1204.77/1207.78	c GLOBAL bounds - >= 0 @ 1189.77
1215.84/1218.81	c #Conflicts:     136000 | #Constraints:      17122
1215.84/1218.81	c GLOBAL bounds - >= 0 @ 1200.66
1216.64/1219.62	c GLOBAL bounds - >= 0 @ 1201.44
1316.89/1320.12	c #Conflicts:     137000 | #Constraints:      18126
1316.89/1320.12	c #Conflicts:     138000 | #Constraints:      19126
1316.89/1320.12	c #Conflicts:     139000 | #Constraints:      20126
1316.89/1320.12	c INPROCESSING
1316.89/1320.12	c GARBAGE COLLECT
1316.89/1320.12	c #Conflicts:     140000 | #Constraints:      13732
1316.89/1320.12	c #Conflicts:     141000 | #Constraints:      14732
1316.89/1320.12	c #Conflicts:     142000 | #Constraints:      15732
1316.89/1320.12	c #Conflicts:     143000 | #Constraints:      16732
1316.89/1320.12	c #Conflicts:     144000 | #Constraints:      17732
1316.89/1320.12	c #Conflicts:     145000 | #Constraints:      18732
1316.89/1320.12	c #Conflicts:     146000 | #Constraints:      19732
1316.89/1320.12	c #Conflicts:     147000 | #Constraints:      20732
1316.89/1320.12	c INPROCESSING
1316.89/1320.12	c GARBAGE COLLECT
1316.89/1320.12	c #Conflicts:     148000 | #Constraints:      14133
1316.89/1320.12	c #Conflicts:     149000 | #Constraints:      15133
1316.89/1320.12	c GLOBAL bounds - >= 0 @ 1301.33
1320.28/1323.51	c #Conflicts:     150000 | #Constraints:      16135
1320.28/1323.51	c GLOBAL bounds - >= 0 @ 1304.68
1323.78/1327.09	c GLOBAL bounds - >= 0 @ 1308.21
1328.27/1331.53	c #Conflicts:     151000 | #Constraints:      17139
1328.27/1331.53	c GLOBAL bounds - >= 0 @ 1312.56
1339.53/1342.84	c #Conflicts:     152000 | #Constraints:      18141
1339.53/1342.84	c GLOBAL bounds - >= 0 @ 1323.74
1349.32/1352.66	c #Conflicts:     153000 | #Constraints:      19143
1349.32/1352.66	c GLOBAL bounds - >= 0 @ 1333.46
1352.91/1356.26	c #Conflicts:     154000 | #Constraints:      20145
1352.91/1356.26	c GLOBAL bounds - >= 0 @ 1336.99
1359.09/1362.41	c GLOBAL bounds - >= 0 @ 1343.05
1365.87/1369.20	c #Conflicts:     155000 | #Constraints:      21149
1365.87/1369.20	c INPROCESSING
1365.87/1369.20	c GARBAGE COLLECT
1365.87/1369.20	c GLOBAL bounds - >= 0 @ 1349.77
1399.89/1403.31	c #Conflicts:     156000 | #Constraints:      14315
1399.89/1403.31	c #Conflicts:     157000 | #Constraints:      15315
1399.89/1403.31	c #Conflicts:     158000 | #Constraints:      16315
1399.89/1403.31	c #Conflicts:     159000 | #Constraints:      17315
1399.89/1403.31	c GLOBAL bounds - >= 0 @ 1383.58
1592.00/1595.91	c #Conflicts:     160000 | #Constraints:      18317
1592.00/1595.91	c #Conflicts:     161000 | #Constraints:      19317
1592.00/1595.91	c #Conflicts:     162000 | #Constraints:      20317
1592.00/1595.91	c #Conflicts:     163000 | #Constraints:      21317
1592.00/1595.91	c INPROCESSING
1592.00/1595.91	c GARBAGE COLLECT
1592.00/1595.91	c #Conflicts:     164000 | #Constraints:      14329
1592.00/1595.91	c #Conflicts:     165000 | #Constraints:      15329
1592.00/1595.91	c #Conflicts:     166000 | #Constraints:      16329
1592.00/1595.91	c #Conflicts:     167000 | #Constraints:      17329
1592.00/1595.91	c #Conflicts:     168000 | #Constraints:      18329
1592.00/1595.91	c #Conflicts:     169000 | #Constraints:      19329
1592.00/1595.91	c #Conflicts:     170000 | #Constraints:      20329
1592.00/1595.91	c #Conflicts:     171000 | #Constraints:      21329
1592.00/1595.91	c INPROCESSING
1592.00/1595.91	c GARBAGE COLLECT
1592.00/1595.91	c #Conflicts:     172000 | #Constraints:      14126
1592.00/1595.91	c #Conflicts:     173000 | #Constraints:      15126
1592.00/1595.91	c GLOBAL bounds - >= 0 @ 1574.82
1592.30/1596.27	c GLOBAL bounds - >= 0 @ 1575.16
1634.69/1638.77	c #Conflicts:     174000 | #Constraints:      16130
1634.69/1638.77	c #Conflicts:     175000 | #Constraints:      17130
1634.69/1638.77	c #Conflicts:     176000 | #Constraints:      18130
1634.69/1638.77	c #Conflicts:     177000 | #Constraints:      19130
1634.69/1638.77	c GLOBAL bounds - >= 0 @ 1617.26
1652.36/1656.46	c #Conflicts:     178000 | #Constraints:      20132
1652.36/1656.46	c #Conflicts:     179000 | #Constraints:      21132
1652.36/1656.46	c GLOBAL bounds - >= 0 @ 1634.66
1678.59/1682.75	c #Conflicts:     180000 | #Constraints:      22134
1678.59/1682.75	c INPROCESSING
1678.59/1682.75	c GARBAGE COLLECT
1678.59/1682.75	c #Conflicts:     181000 | #Constraints:      14721
1678.59/1682.75	c GLOBAL bounds - >= 0 @ 1660.55
1683.28/1687.40	c #Conflicts:     182000 | #Constraints:      15723
1683.28/1687.40	c GLOBAL bounds - >= 0 @ 1665.13
1685.37/1689.57	c GLOBAL bounds - >= 0 @ 1667.26
1687.16/1691.32	c GLOBAL bounds - >= 0 @ 1668.98
1688.66/1692.85	c #Conflicts:     183000 | #Constraints:      16729
1688.66/1692.85	c GLOBAL bounds - >= 0 @ 1670.49
1691.75/1695.96	c GLOBAL bounds - >= 0 @ 1673.56
1705.02/1709.25	c #Conflicts:     184000 | #Constraints:      17733
1705.02/1709.25	c #Conflicts:     185000 | #Constraints:      18733
1705.02/1709.25	c GLOBAL bounds - >= 0 @ 1686.77
1706.82/1711.03	c GLOBAL bounds - >= 0 @ 1688.52
1720.58/1724.86	c #Conflicts:     186000 | #Constraints:      19737
1720.58/1724.86	c #Conflicts:     187000 | #Constraints:      20737
1720.58/1724.86	c GLOBAL bounds - >= 0 @ 1702.23
1748.02/1752.38	c #Conflicts:     188000 | #Constraints:      21739
1748.02/1752.38	c #Conflicts:     189000 | #Constraints:      22739
1748.02/1752.38	c INPROCESSING
1748.02/1752.38	c GARBAGE COLLECT
1748.02/1752.38	c #Conflicts:     190000 | #Constraints:      15150
1748.02/1752.38	c GLOBAL bounds - >= 0 @ 1729.55
1812.85/1817.38	c #Conflicts:     191000 | #Constraints:      16152
1812.85/1817.38	c #Conflicts:     192000 | #Constraints:      17152
1812.85/1817.38	c #Conflicts:     193000 | #Constraints:      18152
1812.85/1817.38	c #Conflicts:     194000 | #Constraints:      19152
1812.85/1817.38	c #Conflicts:     195000 | #Constraints:      20152
1812.85/1817.38	c GLOBAL bounds - >= 0 @ 1794.23
1953.41/1958.21	c #Conflicts:     196000 | #Constraints:      21154
1953.41/1958.21	c #Conflicts:     197000 | #Constraints:      22154
1953.41/1958.21	c #Conflicts:     198000 | #Constraints:      23154
1953.41/1958.21	c INPROCESSING
1953.41/1958.21	c GARBAGE COLLECT
1953.41/1958.21	c #Conflicts:     199000 | #Constraints:      15365
1953.41/1958.21	c #Conflicts:     200000 | #Constraints:      16365
1953.41/1958.21	c #Conflicts:     201000 | #Constraints:      17365
1953.41/1958.21	c #Conflicts:     202000 | #Constraints:      18365
1953.41/1958.21	c #Conflicts:     203000 | #Constraints:      19365
1953.41/1958.21	c #Conflicts:     204000 | #Constraints:      20365
1953.41/1958.21	c #Conflicts:     205000 | #Constraints:      21365
1953.41/1958.21	c #Conflicts:     206000 | #Constraints:      22365
1953.41/1958.21	c #Conflicts:     207000 | #Constraints:      23365
1953.41/1958.21	c INPROCESSING
1953.41/1958.21	c GARBAGE COLLECT
1953.41/1958.21	c #Conflicts:     208000 | #Constraints:      15394
1953.41/1958.21	c GLOBAL bounds - >= 0 @ 1934.31
2179.35/2184.72	c #Conflicts:     209000 | #Constraints:      16396
2179.35/2184.72	c #Conflicts:     210000 | #Constraints:      17396
2179.35/2184.72	c #Conflicts:     211000 | #Constraints:      18396
2179.35/2184.72	c #Conflicts:     212000 | #Constraints:      19396
2179.35/2184.72	c #Conflicts:     213000 | #Constraints:      20396
2179.35/2184.72	c #Conflicts:     214000 | #Constraints:      21396
2179.35/2184.72	c #Conflicts:     215000 | #Constraints:      22396
2179.35/2184.72	c #Conflicts:     216000 | #Constraints:      23396
2179.35/2184.72	c INPROCESSING
2179.35/2184.72	c GARBAGE COLLECT
2179.35/2184.72	c #Conflicts:     217000 | #Constraints:      15187
2179.35/2184.72	c #Conflicts:     218000 | #Constraints:      16187
2179.35/2184.72	c #Conflicts:     219000 | #Constraints:      17187
2179.35/2184.72	c #Conflicts:     220000 | #Constraints:      18187
2179.35/2184.72	c #Conflicts:     221000 | #Constraints:      19187
2179.35/2184.72	c #Conflicts:     222000 | #Constraints:      20187
2179.35/2184.72	c #Conflicts:     223000 | #Constraints:      21187
2179.35/2184.72	c #Conflicts:     224000 | #Constraints:      22187
2179.35/2184.72	c #Conflicts:     225000 | #Constraints:      23187
2179.35/2184.72	c #Conflicts:     226000 | #Constraints:      24187
2179.35/2184.72	c INPROCESSING
2179.35/2184.72	c GARBAGE COLLECT
2179.35/2184.72	c #Conflicts:     227000 | #Constraints:      15786
2179.35/2184.72	c #Conflicts:     228000 | #Constraints:      16786
2179.35/2184.72	c #Conflicts:     229000 | #Constraints:      17786
2179.35/2184.72	c #Conflicts:     230000 | #Constraints:      18786
2179.35/2184.72	c #Conflicts:     231000 | #Constraints:      19786
2179.35/2184.72	c #Conflicts:     232000 | #Constraints:      20786
2179.35/2184.72	c #Conflicts:     233000 | #Constraints:      21786
2179.35/2184.72	c GLOBAL bounds - >= 0 @ 2159.7
2182.24/2187.61	c GLOBAL bounds - >= 0 @ 2162.54
2190.73/2196.17	c #Conflicts:     234000 | #Constraints:      22790
2190.73/2196.17	c GLOBAL bounds - >= 0 @ 2170.97
2199.50/2204.97	c #Conflicts:     235000 | #Constraints:      23792
2199.50/2204.97	c GLOBAL bounds - >= 0 @ 2179.67
2225.03/2230.58	c #Conflicts:     236000 | #Constraints:      24794
2225.03/2230.58	c INPROCESSING
2225.03/2230.58	c GARBAGE COLLECT
2225.03/2230.58	c #Conflicts:     237000 | #Constraints:      16188
2225.03/2230.58	c #Conflicts:     238000 | #Constraints:      17188
2225.03/2230.58	c GLOBAL bounds - >= 0 @ 2204.93
2256.27/2261.85	c #Conflicts:     239000 | #Constraints:      18190
2256.27/2261.85	c #Conflicts:     240000 | #Constraints:      19190
2256.27/2261.85	c #Conflicts:     241000 | #Constraints:      20190
2256.27/2261.85	c GLOBAL bounds - >= 0 @ 2235.96
2285.19/2290.83	c #Conflicts:     242000 | #Constraints:      21192
2285.19/2290.83	c #Conflicts:     243000 | #Constraints:      22192
2285.19/2290.83	c #Conflicts:     244000 | #Constraints:      23192
2285.19/2290.83	c GLOBAL bounds - >= 0 @ 2264.69
2293.66/2299.33	c #Conflicts:     245000 | #Constraints:      24194
2293.66/2299.33	c GLOBAL bounds - >= 0 @ 2273.03
2305.84/2311.54	c #Conflicts:     246000 | #Constraints:      25196
2305.84/2311.54	c INPROCESSING
2305.84/2311.54	c GARBAGE COLLECT
2305.84/2311.54	c GLOBAL bounds - >= 0 @ 2285.11
2330.87/2336.61	c #Conflicts:     247000 | #Constraints:      16390
2330.87/2336.61	c #Conflicts:     248000 | #Constraints:      17390
2330.87/2336.61	c #Conflicts:     249000 | #Constraints:      18390
2330.87/2336.61	c GLOBAL bounds - >= 0 @ 2310.01
2379.95/2385.86	c #Conflicts:     250000 | #Constraints:      19392
2379.95/2385.86	c #Conflicts:     251000 | #Constraints:      20392
2379.95/2385.86	c #Conflicts:     252000 | #Constraints:      21392
2379.95/2385.86	c #Conflicts:     253000 | #Constraints:      22392
2379.95/2385.86	c GLOBAL bounds - >= 0 @ 2359.02
2390.53/2396.45	c #Conflicts:     254000 | #Constraints:      23394
2390.53/2396.45	c GLOBAL bounds - >= 0 @ 2369.48
2399.41/2405.34	c #Conflicts:     255000 | #Constraints:      24396
2399.41/2405.34	c GLOBAL bounds - >= 0 @ 2378.26
2422.65/2428.63	c #Conflicts:     256000 | #Constraints:      25398
2422.65/2428.63	c INPROCESSING
2422.65/2428.63	c GARBAGE COLLECT
2422.65/2428.63	c #Conflicts:     257000 | #Constraints:      16400
2422.65/2428.63	c GLOBAL bounds - >= 0 @ 2401.3
2427.13/2433.18	c GLOBAL bounds - >= 0 @ 2405.76
2430.82/2436.81	c GLOBAL bounds - >= 0 @ 2409.32
2444.58/2450.62	c #Conflicts:     258000 | #Constraints:      17406
2444.58/2450.62	c #Conflicts:     259000 | #Constraints:      18406
2444.58/2450.62	c GLOBAL bounds - >= 0 @ 2423.04
2473.92/2480.02	c #Conflicts:     260000 | #Constraints:      19408
2473.92/2480.02	c #Conflicts:     261000 | #Constraints:      20408
2473.92/2480.02	c GLOBAL bounds - >= 0 @ 2452.19
2523.90/2530.18	c #Conflicts:     262000 | #Constraints:      21410
2523.90/2530.18	c #Conflicts:     263000 | #Constraints:      22410
2523.90/2530.18	c #Conflicts:     264000 | #Constraints:      23410
2523.90/2530.18	c #Conflicts:     265000 | #Constraints:      24410
2523.90/2530.18	c GLOBAL bounds - >= 0 @ 2501.08
2565.59/2571.97	c #Conflicts:     266000 | #Constraints:      25412
2565.59/2571.97	c INPROCESSING
2565.59/2571.97	c GARBAGE COLLECT
2565.59/2571.97	c #Conflicts:     267000 | #Constraints:      16216
2565.59/2571.97	c #Conflicts:     268000 | #Constraints:      17216
2565.59/2571.97	c GLOBAL bounds - >= 0 @ 2542.45
2703.25/2709.98	c #Conflicts:     269000 | #Constraints:      18218
2703.25/2709.98	c #Conflicts:     270000 | #Constraints:      19218
2703.25/2709.98	c #Conflicts:     271000 | #Constraints:      20218
2703.25/2709.98	c #Conflicts:     272000 | #Constraints:      21218
2703.25/2709.98	c #Conflicts:     273000 | #Constraints:      22218
2703.25/2709.98	c #Conflicts:     274000 | #Constraints:      23218
2703.25/2709.98	c #Conflicts:     275000 | #Constraints:      24218
2703.25/2709.98	c #Conflicts:     276000 | #Constraints:      25218
2703.25/2709.98	c #Conflicts:     277000 | #Constraints:      26218
2703.25/2709.98	c INPROCESSING
2703.25/2709.98	c GARBAGE COLLECT
2703.25/2709.98	c #Conflicts:     278000 | #Constraints:      16824
2703.25/2709.98	c GLOBAL bounds - >= 0 @ 2679.74
2706.84/2713.57	c #Conflicts:     279000 | #Constraints:      17826
2706.84/2713.57	c GLOBAL bounds - >= 0 @ 2683.29
2745.44/2752.23	c #Conflicts:     280000 | #Constraints:      18828
2745.44/2752.23	c #Conflicts:     281000 | #Constraints:      19828
2745.44/2752.23	c #Conflicts:     282000 | #Constraints:      20828
2745.44/2752.23	c #Conflicts:     283000 | #Constraints:      21828
2745.44/2752.23	c GLOBAL bounds - >= 0 @ 2721.45
2760.11/2766.97	c #Conflicts:     284000 | #Constraints:      22830
2760.11/2766.97	c GLOBAL bounds - >= 0 @ 2736.04
2760.80/2767.62	c GLOBAL bounds - >= 0 @ 2736.68
2769.19/2776.01	c #Conflicts:     285000 | #Constraints:      23834
2769.19/2776.01	c GLOBAL bounds - >= 0 @ 2745.01
2774.87/2781.77	c #Conflicts:     286000 | #Constraints:      24836
2774.87/2781.77	c GLOBAL bounds - >= 0 @ 2750.69
2779.56/2786.45	c GLOBAL bounds - >= 0 @ 2755.31
2782.26/2789.17	c #Conflicts:     287000 | #Constraints:      25840
2782.26/2789.17	c GLOBAL bounds - >= 0 @ 2757.99
2787.74/2794.65	c GLOBAL bounds - >= 0 @ 2763.4
2830.14/2837.12	c #Conflicts:     288000 | #Constraints:      26844
2830.14/2837.12	c INPROCESSING
2830.14/2837.12	c GARBAGE COLLECT
2830.14/2837.12	c #Conflicts:     289000 | #Constraints:      17235
2830.14/2837.12	c #Conflicts:     290000 | #Constraints:      18235
2830.14/2837.12	c #Conflicts:     291000 | #Constraints:      19235
2830.14/2837.12	c GLOBAL bounds - >= 0 @ 2805.45
2835.72/2842.77	c #Conflicts:     292000 | #Constraints:      20237
2835.72/2842.77	c GLOBAL bounds - >= 0 @ 2811.02
2839.12/2846.10	c GLOBAL bounds - >= 0 @ 2814.32
2843.50/2850.53	c #Conflicts:     293000 | #Constraints:      21241
2843.50/2850.53	c GLOBAL bounds - >= 0 @ 2818.7
2849.78/2856.82	c #Conflicts:     294000 | #Constraints:      22243
2849.78/2856.82	c GLOBAL bounds - >= 0 @ 2824.95
2875.41/2882.50	c #Conflicts:     295000 | #Constraints:      23245
2875.41/2882.50	c #Conflicts:     296000 | #Constraints:      24245
2875.41/2882.50	c #Conflicts:     297000 | #Constraints:      25245
2875.41/2882.50	c GLOBAL bounds - >= 0 @ 2850.48
2882.01/2889.16	c GLOBAL bounds - >= 0 @ 2857.05
2889.58/2896.78	c #Conflicts:     298000 | #Constraints:      26249
2889.58/2896.78	c GLOBAL bounds - >= 0 @ 2864.54
2893.17/2900.30	c GLOBAL bounds - >= 0 @ 2867.98
2928.19/2935.47	c #Conflicts:     299000 | #Constraints:      27253
2928.19/2935.47	c INPROCESSING
2928.19/2935.47	c GARBAGE COLLECT
2928.19/2935.47	c #Conflicts:     300000 | #Constraints:      17420
2928.19/2935.47	c #Conflicts:     301000 | #Constraints:      18420
2928.19/2935.47	c GLOBAL bounds - >= 0 @ 2902.77
2938.86/2946.15	c #Conflicts:     302000 | #Constraints:      19422
2938.86/2946.15	c GLOBAL bounds - >= 0 @ 2913.28
2941.16/2948.46	c #Conflicts:     303000 | #Constraints:      20424
2941.16/2948.46	c GLOBAL bounds - >= 0 @ 2915.55
2946.14/2953.45	c GLOBAL bounds - >= 0 @ 2920.49
2970.39/2977.70	c #Conflicts:     304000 | #Constraints:      21428
2970.39/2977.70	c #Conflicts:     305000 | #Constraints:      22428
2970.39/2977.70	c #Conflicts:     306000 | #Constraints:      23428
2970.39/2977.70	c GLOBAL bounds - >= 0 @ 2944.53
2975.68/2983.03	c #Conflicts:     307000 | #Constraints:      24430
2975.68/2983.03	c GLOBAL bounds - >= 0 @ 2949.8
2989.04/2996.44	c #Conflicts:     308000 | #Constraints:      25432
2989.04/2996.44	c GLOBAL bounds - >= 0 @ 2963.05
3087.09/3094.71	c #Conflicts:     309000 | #Constraints:      26434
3087.09/3094.71	c #Conflicts:     310000 | #Constraints:      27434
3087.09/3094.71	c INPROCESSING
3087.09/3094.71	c GARBAGE COLLECT
3087.09/3094.71	c #Conflicts:     311000 | #Constraints:      17453
3087.09/3094.71	c #Conflicts:     312000 | #Constraints:      18453
3087.09/3094.71	c #Conflicts:     313000 | #Constraints:      19453
3087.09/3094.71	c #Conflicts:     314000 | #Constraints:      20453
3087.09/3094.71	c #Conflicts:     315000 | #Constraints:      21453
3087.09/3094.71	c #Conflicts:     316000 | #Constraints:      22453
3087.09/3094.71	c #Conflicts:     317000 | #Constraints:      23453
3087.09/3094.71	c GLOBAL bounds - >= 0 @ 3060.62
3150.63/3158.44	c #Conflicts:     318000 | #Constraints:      24455
3150.63/3158.44	c #Conflicts:     319000 | #Constraints:      25455
3150.63/3158.44	c #Conflicts:     320000 | #Constraints:      26455
3150.63/3158.44	c #Conflicts:     321000 | #Constraints:      27455
3150.63/3158.44	c INPROCESSING
3150.63/3158.44	c GARBAGE COLLECT
3150.63/3158.44	c #Conflicts:     322000 | #Constraints:      17273
3150.63/3158.44	c #Conflicts:     323000 | #Constraints:      18273
3150.63/3158.44	c GLOBAL bounds - >= 0 @ 3123.89
3160.11/3167.91	c #Conflicts:     324000 | #Constraints:      19275
3160.11/3167.91	c GLOBAL bounds - >= 0 @ 3133.28
3310.73/3318.90	c #Conflicts:     325000 | #Constraints:      20277
3310.73/3318.90	c #Conflicts:     326000 | #Constraints:      21277
3310.73/3318.90	c #Conflicts:     327000 | #Constraints:      22277
3310.73/3318.90	c #Conflicts:     328000 | #Constraints:      23277
3310.73/3318.90	c #Conflicts:     329000 | #Constraints:      24277
3310.73/3318.90	c #Conflicts:     330000 | #Constraints:      25277
3310.73/3318.90	c #Conflicts:     331000 | #Constraints:      26277
3310.73/3318.90	c #Conflicts:     332000 | #Constraints:      27277
3310.73/3318.90	c #Conflicts:     333000 | #Constraints:      28277
3310.73/3318.90	c INPROCESSING
3310.73/3318.90	c GARBAGE COLLECT
3310.73/3318.90	c #Conflicts:     334000 | #Constraints:      17897
3310.73/3318.90	c #Conflicts:     335000 | #Constraints:      18897
3310.73/3318.90	c #Conflicts:     336000 | #Constraints:      19897
3310.73/3318.90	c #Conflicts:     337000 | #Constraints:      20897
3310.73/3318.90	c GLOBAL bounds - >= 0 @ 3283.67
3344.44/3352.71	c #Conflicts:     338000 | #Constraints:      21899
3344.44/3352.71	c #Conflicts:     339000 | #Constraints:      22899
3344.44/3352.71	c #Conflicts:     340000 | #Constraints:      23899
3344.44/3352.71	c GLOBAL bounds - >= 0 @ 3317.18
3392.52/3400.90	c #Conflicts:     341000 | #Constraints:      24901
3392.52/3400.90	c #Conflicts:     342000 | #Constraints:      25901
3392.52/3400.90	c #Conflicts:     343000 | #Constraints:      26901
3392.52/3400.90	c #Conflicts:     344000 | #Constraints:      27901
3392.52/3400.90	c GLOBAL bounds - >= 0 @ 3364.87
3426.85/3435.37	c #Conflicts:     345000 | #Constraints:      28903
3426.85/3435.37	c INPROCESSING
3426.85/3435.37	c GARBAGE COLLECT
3426.85/3435.37	c #Conflicts:     346000 | #Constraints:      18260
3426.85/3435.37	c #Conflicts:     347000 | #Constraints:      19260
3426.85/3435.37	c GLOBAL bounds - >= 0 @ 3399
3482.21/3490.80	c #Conflicts:     348000 | #Constraints:      20262
3482.21/3490.80	c #Conflicts:     349000 | #Constraints:      21262
3482.21/3490.80	c #Conflicts:     350000 | #Constraints:      22262
3482.21/3490.80	c #Conflicts:     351000 | #Constraints:      23262
3482.21/3490.80	c #Conflicts:     352000 | #Constraints:      24262
3482.21/3490.80	c GLOBAL bounds - >= 0 @ 3453.87
3486.40/3495.04	c #Conflicts:     353000 | #Constraints:      25264
3486.40/3495.04	c GLOBAL bounds - >= 0 @ 3458.07
3508.84/3517.54	c #Conflicts:     354000 | #Constraints:      26266
3508.84/3517.54	c #Conflicts:     355000 | #Constraints:      27266
3508.84/3517.54	c GLOBAL bounds - >= 0 @ 3480.44
3527.20/3535.95	c #Conflicts:     356000 | #Constraints:      28268
3527.20/3535.95	c GLOBAL bounds - >= 0 @ 3498.57
3567.70/3576.55	c #Conflicts:     357000 | #Constraints:      29270
3567.70/3576.55	c INPROCESSING
3567.70/3576.55	c GARBAGE COLLECT
3567.70/3576.55	c #Conflicts:     358000 | #Constraints:      18437
3567.70/3576.55	c #Conflicts:     359000 | #Constraints:      19437
3567.70/3576.55	c #Conflicts:     360000 | #Constraints:      20437
3567.70/3576.55	c GLOBAL bounds - >= 0 @ 3538.76
3600.02/3608.90	c #Conflicts:     361000 | #Constraints:      21439
3600.02/3608.90	c #Conflicts:     362000 | #Constraints:      22439
3600.02/3608.90	c #Conflicts:     363000 | #Constraints:      23439
3600.02/3608.90	c cpu time 3570.88 s
3600.02/3608.90	c deterministic time 52 5.20e+01
3600.02/3608.90	c optimization time 3570.82 s
3600.02/3608.90	c total solve time 0 s
3600.02/3608.90	c core-guided solve time 0 s
3600.02/3608.90	c propagation time 0.001888 s
3600.02/3608.90	c conflict analysis time 0 s
3600.02/3608.90	c propagations 51
3600.02/3608.90	c resolve steps 0
3600.02/3608.90	c decisions 0
3600.02/3608.90	c conflicts 0
3600.02/3608.90	c restarts 0
3600.02/3608.90	c inprocessing phases 0
3600.02/3608.90	c garbage collections 0 ,( -nan )
3600.02/3608.90	c input clauses 4810 ,( 99.98 )
3600.02/3608.90	c input cardinalities 1 ,( 0.02 )
3600.02/3608.90	c input general constraints 0 ,( 0.00 )
3600.02/3608.90	c input average constraint length 39.91
3600.02/3608.90	c input average constraint degree 2.79
3600.02/3608.90	c learned clauses 0 ,( 0.00 )
3600.02/3608.90	c learned cardinalities 0 ,( 0.00 )
3600.02/3608.90	c learned general constraints 0 ,( 0.00 )
3600.02/3608.90	c learned average constraint length 0.00
3600.02/3608.90	c learned average constraint degree 0.00
3600.02/3608.90	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3608.90	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3608.90	c watched   constraints 0 ,( -nan ) 
3600.02/3608.90	c counting  constraints 0 ,( -nan ) 
3600.02/3608.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3608.90	c gcd simplifications 0
3600.02/3608.90	c detected cardinalities 0
3600.02/3608.90	c weakened non-implied lits 0
3600.02/3608.90	c weakened non-implying lits 0
3600.02/3608.90	c original variables 24645
3600.02/3608.90	c clausal propagations 0
3600.02/3608.90	c cardinality propagations 0
3600.02/3608.90	c watched propagations 0
3600.02/3608.90	c counting propagations 0
3600.02/3608.90	c watch lookups 0
3600.02/3608.90	c watch backjump lookups 0
3600.02/3608.90	c watch checks 0
3600.02/3608.90	c propagation checks 0
3600.02/3608.90	c constraint additions 0
3600.02/3608.90	c trail pops 0
3600.02/3608.90	c formula constraints 4811
3600.02/3608.90	c learned constraints 0
3600.02/3608.90	c bound constraints 0
3600.02/3608.90	c core-guided constraints 0
3600.02/3608.90	c encountered formula constraints 0
3600.02/3608.90	c encountered learned constraints 0
3600.02/3608.90	c encountered bound constraints 0
3600.02/3608.90	c encountered core-guided constraints 0
3600.02/3608.90	c LP total time 0 s
3600.02/3608.90	c LP solve time 0 s
3600.02/3608.90	c LP constraints added 0
3600.02/3608.90	c LP constraints removed 0
3600.02/3608.90	c LP pivots internal 0
3600.02/3608.90	c LP pivots root 0
3600.02/3608.90	c LP calls 0
3600.02/3608.90	c LP optimalities 0
3600.02/3608.90	c LP no pivot count 0
3600.02/3608.90	c LP infeasibilities 0
3600.02/3608.90	c LP valid Farkas constraints 0
3600.02/3608.90	c LP learned Farkas constraints 0
3600.02/3608.90	c LP basis resets 0
3600.02/3608.90	c LP cycling count 0
3600.02/3608.90	c LP singular count 0
3600.02/3608.90	c LP no primal count 0
3600.02/3608.90	c LP no farkas count 0
3600.02/3608.90	c LP other issue count 0
3600.02/3608.90	c LP Gomory cuts 0
3600.02/3608.90	c LP learned cuts 0
3600.02/3608.90	c LP deleted cuts 0
3600.02/3608.90	c LP encountered Gomory constraints 0
3600.02/3608.90	c LP encountered Farkas constraints 0
3600.02/3608.90	c LP encountered learned Farkas constraints 0
3600.02/3608.90	c CG auxiliary variables introduced 0
3600.02/3608.90	c CG solutions found 0
3600.02/3608.90	c CG cores constructed 0
3600.02/3608.90	c CG core cardinality constraints returned 0
3600.02/3608.90	c CG unit cores 0
3600.02/3608.90	c CG single cores 0
3600.02/3608.90	c CG blocks removed during cardinality reduction 0
3600.02/3608.90	c CG first core best 0
3600.02/3608.90	c CG decision core best 0
3600.02/3608.90	c CG core reduction tie 0
3600.02/3608.90	c CG core degree average 0.00
3600.02/3608.90	c CG core slack average 0.00
3600.02/3608.90	c CG core upper bound improvements 0
3600.02/3608.90	c STR number of successful calls 0
3600.02/3608.90	c STR number of unsuccessful calls 0
3600.02/3608.90	c STR number of inconclusive calls 0
3600.02/3608.90	c STR number of successful attempts 0
3600.02/3608.90	c STR number of unsuccessful attempts 0
3600.02/3608.90	c STR number of inconclusive attempts 0
3600.02/3608.90	c STR average degree increase per successful call inf
3600.02/3608.90	c STR average degree increase per successful attempt inf
3600.02/3608.90	c STR total number of conflicts for successful attempts 0
3600.02/3608.90	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3608.90	c STR total number of conflicts for inconclusive attempts 0
3600.02/3608.90	c STR average number of conflicts per successful attempt inf
3600.02/3608.90	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3608.90	c STR average number of conflicts per inconclusive attempt inf
3600.02/3608.90	c AVG.sumWPerc -nan 
3600.02/3608.90	c bigint constraints 0 
3600.02/3608.90	s UNKNOWN
3600.02/3608.90	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 (63133 MiB free)
  memory of node 1: 64465 MiB (63550 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485412-1751307728/watcher-4485412-1751307728 -o /tmp/evaluation-result-4485412-1751307728/solver-4485412-1751307728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41605 --watchdog 3760 run-opt.sh HOME/instance-4485412-1751307728.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=42020, runsolver pid=42017

[startup+0.100061 s]*
/proc/loadavg: 4.04 4.08 4.05 4/267 42028
/proc/meminfo: memFree=129707188/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=82584 memory=34080 CPUtime=0.08 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 6401 0 0 0 7 1 0 0 20 0 1 0 46451392 84566016 8520 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 20646 8520 2336 1147 0 8073 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 86776 KiB
Current children cumulated memory: 37024 KiB

[startup+0.205666 s]*
/proc/loadavg: 4.04 4.08 4.05 5/266 42028
/proc/meminfo: memFree=129686208/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=89460 memory=43956 CPUtime=0.18 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 8330 0 0 0 13 5 0 0 20 0 1 0 46451392 91607040 10989 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 22365 10989 2368 1147 0 9792 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 93652 KiB
Current children cumulated memory: 46900 KiB

[startup+0.305578 s]*
/proc/loadavg: 4.04 4.08 4.05 4/265 42038
/proc/meminfo: memFree=129690960/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=100312 memory=55088 CPUtime=0.29 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 10592 0 0 0 23 6 0 0 20 0 1 0 46451392 102719488 13772 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 25078 13772 2368 1147 0 12505 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 104504 KiB
Current children cumulated memory: 58032 KiB

[startup+0.700205 s]
/proc/loadavg: 4.04 4.08 4.05 5/267 42048
/proc/meminfo: memFree=129665660/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=145948 memory=97904 CPUtime=0.68 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 19784 0 0 0 55 13 0 0 20 0 1 0 46451392 149450752 24476 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 36487 24476 2368 1147 0 23914 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 150140 KiB
Current children cumulated memory: 100848 KiB

[startup+1.5002 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129569096/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=237992 memory=181624 CPUtime=1.48 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 36091 0 0 0 126 22 0 0 20 0 1 0 46451392 243703808 45406 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 59498 45406 2368 1147 0 46925 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 242184 KiB
Current children cumulated memory: 184568 KiB

[startup+3.1054 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129247552/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=425748 memory=331052 CPUtime=3.07 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 63773 0 0 0 269 38 0 0 20 0 1 0 46451392 435965952 82763 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 106437 82763 2368 1147 0 93864 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 429940 KiB
Current children cumulated memory: 333996 KiB

[startup+6.30019 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=128856956/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=717984 memory=622996 CPUtime=6.27 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 115809 0 0 0 562 65 0 0 20 0 1 0 46451392 735215616 155749 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 179496 155749 2368 1147 0 166923 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 722176 KiB
Current children cumulated memory: 625940 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.05 5/269 42054
/proc/meminfo: memFree=128064888/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=1276196 memory=1195896 CPUtime=12.65 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 218174 0 0 0 1150 115 0 0 20 0 1 0 46451392 1306824704 298974 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 319049 298974 2368 1147 0 306476 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1280388 KiB
Current children cumulated memory: 1198840 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.05 5/269 42054
/proc/meminfo: memFree=126917852/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=2108684 memory=1780240 CPUtime=25.42 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 334627 0 0 0 2369 173 0 0 20 0 1 0 46451392 2159292416 445060 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 527171 445060 2368 1147 0 514598 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2112876 KiB
Current children cumulated memory: 1783184 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.10 4.06 5/269 42054
/proc/meminfo: memFree=125463436/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=2683368 memory=2350216 CPUtime=50.96 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 419381 0 0 0 4837 259 0 0 20 0 1 0 46451392 2747768832 587554 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 670842 587554 2368 1147 0 658269 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2687560 KiB
Current children cumulated memory: 2353160 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.13 4.07 5/269 42056
/proc/meminfo: memFree=123458108/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=3888032 memory=3328416 CPUtime=102.03 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 625155 0 0 0 9797 406 0 0 20 0 1 0 46451392 3981344768 832104 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 972008 832104 2368 1147 0 959435 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 3892224 KiB
Current children cumulated memory: 3331360 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/270 42060
/proc/meminfo: memFree=122541184/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=4485636 memory=3534244 CPUtime=161.89 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 658393 0 0 0 15712 477 0 0 20 0 1 0 46451392 4593291264 883561 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 1121409 883561 2368 1147 0 1108836 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 4489828 KiB
Current children cumulated memory: 3537188 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/269 42062
/proc/meminfo: memFree=121873704/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=4496008 memory=3861336 CPUtime=221.74 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 698897 0 0 0 21611 563 0 0 20 0 1 0 46451392 4603912192 965334 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 1124002 965334 2368 1147 0 1111429 0
Current children cumulated CPU time: 221.74 s

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

[pid=42022] ppid=42020 vsize=14241680 memory=10979904 CPUtime=3094.67 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 2098589 0 0 0 306817 2650 0 0 20 0 1 0 46451392 14583480320 2744976 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 3560420 2744976 2368 1147 0 3547847 0
Current children cumulated CPU time: 3094.67 s
Current children cumulated vsize: 14245872 KiB
Current children cumulated memory: 10982848 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/268 42232
/proc/meminfo: memFree=103521464/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=14487956 memory=11354612 CPUtime=3154.52 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 2167721 0 0 0 312770 2682 0 0 20 0 1 0 46451392 14835666944 2838653 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 3621989 2838653 2368 1147 0 3609416 0
Current children cumulated CPU time: 3154.52 s
Current children cumulated vsize: 14492148 KiB
Current children cumulated memory: 11357556 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/268 42234
/proc/meminfo: memFree=103372124/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=14487956 memory=11356020 CPUtime=3214.37 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 2168283 0 0 0 318745 2692 0 0 20 0 1 0 46451392 14835666944 2839005 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 3621989 2839005 2368 1147 0 3609416 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 14492148 KiB
Current children cumulated memory: 11358964 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/268 42238
/proc/meminfo: memFree=103050640/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=14487956 memory=11357684 CPUtime=3274.22 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 2168804 0 0 0 324724 2698 0 0 20 0 1 0 46451392 14835666944 2839421 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 3621989 2839421 2368 1147 0 3609416 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 14492148 KiB
Current children cumulated memory: 11360628 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/269 42245
/proc/meminfo: memFree=102861944/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=14487956 memory=11358964 CPUtime=3334.07 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 2169167 0 0 0 330685 2722 0 0 20 0 1 0 46451392 14835666944 2839741 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 3621989 2839741 2368 1147 0 3609416 0
Current children cumulated CPU time: 3334.07 s
Current children cumulated vsize: 14492148 KiB
Current children cumulated memory: 11361908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/269 42248
/proc/meminfo: memFree=102672696/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=14615960 memory=11459572 CPUtime=3393.93 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 2194709 0 0 0 336623 2770 0 0 20 0 1 0 46451392 14966743040 2864893 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 3653990 2864893 2368 1147 0 3641417 0
Current children cumulated CPU time: 3393.93 s
Current children cumulated vsize: 14620152 KiB
Current children cumulated memory: 11462516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/269 42251
/proc/meminfo: memFree=102641096/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=14622616 memory=11479212 CPUtime=3453.78 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 2198057 0 0 0 342555 2823 0 0 20 0 1 0 46451392 14973558784 2869803 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 3655654 2869803 2368 1147 0 3643081 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 14626808 KiB
Current children cumulated memory: 11482156 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/270 42254
/proc/meminfo: memFree=102632624/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=14638492 memory=11490348 CPUtime=3513.63 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 2201374 0 0 0 348514 2849 0 0 20 0 1 0 46451392 14989815808 2872587 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 3659623 2872587 2368 1147 0 3647050 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 14642684 KiB
Current children cumulated memory: 11493292 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/270 42256
/proc/meminfo: memFree=102437932/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=14709660 memory=11681708 CPUtime=3573.48 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 2233587 0 0 0 354442 2906 0 0 20 0 1 0 46451392 15062691840 2920427 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 3677415 2920427 2368 1147 0 3664842 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 14713852 KiB
Current children cumulated memory: 11684652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.20 4.15 4.11 5/270 42257
/proc/meminfo: memFree=102444632/131249996 swapFree=33010684/33010684
[pid=42020] ppid=42017 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/42020/stat : 42020 (run-opt.sh) S 42017 42020 41594 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 46451391 4292608 736 18446744073709551615 94847187705856 94847188600389 140724574710928 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94847188839440 94847188887184 94847213309952 140724574714221 140724574714344 140724574714344 140724574719946 0
/proc/42020/statm: 1048 736 672 219 0 110 0
[pid=42022] ppid=42020 vsize=14709660 memory=11681964 CPUtime=3600.02 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42020 42020 41594 0 -1 4194304 2233939 0 0 0 357088 2914 0 0 20 0 1 0 46451392 15062691840 2920491 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 3677415 2920491 2368 1147 0 3664842 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 14713852 KiB
Current children cumulated memory: 11684908 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3570.89 s, system=29.4401 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.2 s]
/proc/loadavg: 4.20 4.15 4.11 5/268 42257
/proc/meminfo: memFree=106752476/131249996 swapFree=33010684/33010684
[pid=42022] ppid=42017 vsize=2210036 memory=2163112 CPUtime=3600.32 cores=4,6
/proc/42022/stat : 42022 (roundingsat) R 42017 42020 41594 0 -1 4194304 2233947 0 0 0 357089 2943 0 0 20 0 1 0 46451392 2263076864 540778 18446744073709551615 4227072 8923433 140723281824064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11153408 140723281832354 140723281832488 140723281832488 140723281838058 0
/proc/42022/statm: 552509 540778 2464 1147 0 539936 0
Current cumulated CPU time of completed processes: 0.001946 s
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 2210036 KiB
Current children cumulated memory: 2163112 KiB

Child status: 2

Real time (s): 3609.21
CPU time (s): 3600.33
CPU user time (s): 3570.89
CPU system time (s): 29.4401
CPU usage (%): 99.7542
Max. virtual memory (cumulated for all children) (KiB): 14713852
Max. memory (cumulated for all children) (KiB): 11684908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.89
system time used= 29.4401
maximum resident set size= 11682348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2234166
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= 569
involuntary context switches= 3036


# summary of solver processes directly reported to runsolver:
#   pid: 42020,42022
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3570.89
#   total CPU system time (s): 29.4401

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3456 second user time and 12.526 second system time

The end

Launcher Data

Begin job on nodeC032 at 2025-06-30 20:22:08
IDJOB=4485412
IDBENCH=146794
IDSOLVER=3350
FILE ID=nodeC032/4485412-1751307728
RUNJOBID= nodeC032-1751304114-41605
SLURM_JOB_ID= 9594298
Free space on /tmp= 432032 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-core4872-1529.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485412-1751307728/watcher-4485412-1751307728 -o /tmp/evaluation-result-4485412-1751307728/solver-4485412-1751307728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41605 --watchdog 3760  run-opt.sh HOME/instance-4485412-1751307728.opb

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

MD5SUM BENCH= 24a342ae8fc5469ab48a1ad2f6e90ddf
RANDOM SEED=338912485

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		: 3256.948
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.851
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		: 3534.220
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.452
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.844
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		: 3599.779
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		: 3600.920
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:        129724060 kB
MemAvailable:   129511288 kB
Buffers:            3280 kB
Cached:           595404 kB
SwapCached:            0 kB
Active:           609592 kB
Inactive:         342008 kB
Active(anon):     370984 kB
Inactive(anon):        0 kB
Active(file):     238608 kB
Inactive(file):   342008 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             35128 kB
Writeback:             4 kB
AnonPages:        356132 kB
Mapped:           112592 kB
Shmem:             18068 kB
KReclaimable:      91704 kB
Slab:             176576 kB
SReclaimable:      91704 kB
SUnreclaim:        84872 kB
KernelStack:        4336 kB
PageTables:         3888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     708516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 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= 432028 MiB
End job on nodeC032 at 2025-06-30 21:22:17