Trace number 4520710

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.13 3611.42

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb
MD5SUM8e16dee4cd29ebff6657caf88bddd14a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1800
Best CPU time to get the best result obtained on this benchmark0.548063
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7200
Total number of constraints7200
Number of constraints which are clauses7200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 7200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7200
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7200
Number of bits of the biggest sum of numbers13
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.06/0.15	c #variables 7200 #constraints 7200
0.06/0.15	c objective is ce32 
0.06/0.19	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.19	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.19	c GLOBAL bounds - >= 0 @ 0.09796
0.06/0.21	c GLOBAL bounds - >= 0 @ 0.103186
0.18/0.29	c GLOBAL bounds - >= 0 @ 0.178769
0.28/0.36	c GLOBAL bounds - >= 0 @ 0.241043
0.37/0.50	c GLOBAL bounds - >= 0 @ 0.365005
0.56/0.64	c GLOBAL bounds - >= 0 @ 0.477618
0.74/0.85	c GLOBAL bounds - >= 0 @ 0.681462
0.96/1.01	c GLOBAL bounds - >= 0 @ 0.815965
1.15/1.26	c GLOBAL bounds - >= 0 @ 1.04659
1.34/1.48	c GLOBAL bounds - >= 0 @ 1.2435
1.65/1.71	c GLOBAL bounds - >= 0 @ 1.4671
2.06/2.17	c GLOBAL bounds - >= 0 @ 1.88434
2.24/2.39	c GLOBAL bounds - >= 0 @ 2.09352
2.54/2.61	c GLOBAL bounds - >= 0 @ 2.30058
2.74/2.83	c GLOBAL bounds - >= 0 @ 2.50843
2.84/2.97	c GLOBAL bounds - >= 0 @ 2.65493
3.14/3.24	c #Conflicts:       1000 | #Constraints:       8228
3.14/3.24	c GLOBAL bounds - >= 0 @ 2.91048
3.53/3.63	c GLOBAL bounds - >= 0 @ 3.25286
4.05/4.16	c GLOBAL bounds - >= 0 @ 3.76529
4.34/4.50	c GLOBAL bounds - >= 0 @ 4.0887
4.64/4.74	c GLOBAL bounds - >= 0 @ 4.32613
5.24/5.33	c GLOBAL bounds - >= 0 @ 4.89721
5.53/5.66	c GLOBAL bounds - >= 0 @ 5.2169
6.13/6.29	c #Conflicts:       2000 | #Constraints:       9242
6.13/6.29	c INPROCESSING
6.13/6.29	c GARBAGE COLLECT
6.13/6.29	c GLOBAL bounds - >= 0 @ 5.83348
7.73/7.85	c GLOBAL bounds - >= 0 @ 7.37147
9.43/9.52	c #Conflicts:       3000 | #Constraints:       9311
9.43/9.52	c GLOBAL bounds - >= 0 @ 8.9496
10.03/10.18	c GLOBAL bounds - >= 0 @ 9.59734
10.62/10.76	c GLOBAL bounds - >= 0 @ 10.1585
11.12/11.22	c GLOBAL bounds - >= 0 @ 10.6143
11.42/11.53	c #Conflicts:       4000 | #Constraints:      10319
11.42/11.53	c GLOBAL bounds - >= 0 @ 10.9152
12.03/12.13	c GLOBAL bounds - >= 0 @ 11.499
12.92/13.04	c INPROCESSING
12.92/13.04	c GARBAGE COLLECT
12.92/13.04	c GLOBAL bounds - >= 0 @ 12.3931
13.31/13.42	c GLOBAL bounds - >= 0 @ 12.767
13.61/13.76	c GLOBAL bounds - >= 0 @ 13.0989
13.92/14.09	c GLOBAL bounds - >= 0 @ 13.4283
14.41/14.54	c GLOBAL bounds - >= 0 @ 13.873
14.92/15.08	c GLOBAL bounds - >= 0 @ 14.3985
15.40/15.59	c #Conflicts:       5000 | #Constraints:       9735
15.40/15.59	c GLOBAL bounds - >= 0 @ 14.8943
15.81/15.92	c GLOBAL bounds - >= 0 @ 15.2239
16.30/16.44	c GLOBAL bounds - >= 0 @ 15.7243
16.91/17.02	c GLOBAL bounds - >= 0 @ 16.293
17.50/17.60	c GLOBAL bounds - >= 0 @ 16.8643
18.10/18.24	c GLOBAL bounds - >= 0 @ 17.4961
18.69/18.81	c #Conflicts:       6000 | #Constraints:      10747
18.69/18.81	c GLOBAL bounds - >= 0 @ 18.0483
19.30/19.49	c GLOBAL bounds - >= 0 @ 18.7156
19.91/20.02	c GLOBAL bounds - >= 0 @ 19.2268
21.90/22.08	c INPROCESSING
21.90/22.08	c GARBAGE COLLECT
21.90/22.08	c #Conflicts:       7000 | #Constraints:       9832
21.90/22.08	c GLOBAL bounds - >= 0 @ 21.2597
28.57/28.74	c #Conflicts:       8000 | #Constraints:      10834
28.57/28.74	c #Conflicts:       9000 | #Constraints:      11834
28.57/28.74	c INPROCESSING
28.57/28.74	c GARBAGE COLLECT
28.57/28.74	c GLOBAL bounds - >= 0 @ 27.7754
69.95/70.20	c #Conflicts:      10000 | #Constraints:      10571
69.95/70.20	c #Conflicts:      11000 | #Constraints:      11571
69.95/70.20	c #Conflicts:      12000 | #Constraints:      12571
69.95/70.20	c INPROCESSING
69.95/70.20	c GARBAGE COLLECT
69.95/70.20	c #Conflicts:      13000 | #Constraints:      11016
69.95/70.20	c #Conflicts:      14000 | #Constraints:      12016
69.95/70.20	c #Conflicts:      15000 | #Constraints:      13016
69.95/70.20	c INPROCESSING
69.95/70.20	c GARBAGE COLLECT
69.95/70.20	c #Conflicts:      16000 | #Constraints:      11237
69.95/70.20	c #Conflicts:      17000 | #Constraints:      12237
69.95/70.20	c #Conflicts:      18000 | #Constraints:      13237
69.95/70.20	c INPROCESSING
69.95/70.20	c GARBAGE COLLECT
69.95/70.20	c #Conflicts:      19000 | #Constraints:      11256
69.95/70.20	c #Conflicts:      20000 | #Constraints:      12256
69.95/70.20	c #Conflicts:      21000 | #Constraints:      13256
69.95/70.20	c INPROCESSING
69.95/70.20	c GARBAGE COLLECT
69.95/70.20	c GLOBAL bounds - >= 0 @ 68.7425
76.34/76.64	c #Conflicts:      22000 | #Constraints:      11062
76.34/76.64	c #Conflicts:      23000 | #Constraints:      12062
76.34/76.64	c GLOBAL bounds - >= 0 @ 75.0543
79.63/79.94	c #Conflicts:      24000 | #Constraints:      13064
79.63/79.94	c GLOBAL bounds - >= 0 @ 78.2889
80.52/80.82	c GLOBAL bounds - >= 0 @ 79.147
81.72/82.06	c #Conflicts:      25000 | #Constraints:      14068
81.72/82.06	c GLOBAL bounds - >= 0 @ 80.3546
93.48/93.88	c INPROCESSING
93.48/93.88	c GARBAGE COLLECT
93.48/93.88	c #Conflicts:      26000 | #Constraints:      11671
93.48/93.88	c #Conflicts:      27000 | #Constraints:      12671
93.48/93.88	c #Conflicts:      28000 | #Constraints:      13671
93.48/93.88	c GLOBAL bounds - >= 0 @ 92.0417
96.87/97.27	c #Conflicts:      29000 | #Constraints:      14673
96.87/97.27	c INPROCESSING
96.87/97.27	c GARBAGE COLLECT
96.87/97.27	c GLOBAL bounds - >= 0 @ 95.4034
99.68/100.04	c #Conflicts:      30000 | #Constraints:      12061
99.68/100.04	c GLOBAL bounds - >= 0 @ 98.1265
104.06/104.44	c #Conflicts:      31000 | #Constraints:      13063
104.06/104.44	c GLOBAL bounds - >= 0 @ 102.491
105.95/106.32	c #Conflicts:      32000 | #Constraints:      14065
105.95/106.32	c GLOBAL bounds - >= 0 @ 104.33
109.24/109.60	c GLOBAL bounds - >= 0 @ 107.536
111.84/112.23	c #Conflicts:      33000 | #Constraints:      15069
111.84/112.23	c INPROCESSING
111.84/112.23	c GARBAGE COLLECT
111.84/112.23	c GLOBAL bounds - >= 0 @ 110.131
122.00/122.40	c #Conflicts:      34000 | #Constraints:      12254
122.00/122.40	c #Conflicts:      35000 | #Constraints:      13254
122.00/122.40	c #Conflicts:      36000 | #Constraints:      14254
122.00/122.40	c GLOBAL bounds - >= 0 @ 120.148
146.93/147.42	c #Conflicts:      37000 | #Constraints:      15256
146.93/147.42	c INPROCESSING
146.93/147.42	c GARBAGE COLLECT
146.93/147.42	c #Conflicts:      38000 | #Constraints:      12283
146.93/147.42	c #Conflicts:      39000 | #Constraints:      13283
146.93/147.42	c #Conflicts:      40000 | #Constraints:      14283
146.93/147.42	c #Conflicts:      41000 | #Constraints:      15283
146.93/147.42	c INPROCESSING
146.93/147.42	c GARBAGE COLLECT
146.93/147.42	c #Conflicts:      42000 | #Constraints:      12102
146.93/147.42	c #Conflicts:      43000 | #Constraints:      13102
146.93/147.42	c #Conflicts:      44000 | #Constraints:      14102
146.93/147.42	c GLOBAL bounds - >= 0 @ 145.004
147.64/148.18	c GLOBAL bounds - >= 0 @ 145.755
150.64/151.11	c #Conflicts:      45000 | #Constraints:      15106
150.64/151.11	c GLOBAL bounds - >= 0 @ 148.662
157.00/157.57	c #Conflicts:      46000 | #Constraints:      16108
157.00/157.57	c INPROCESSING
157.00/157.57	c GARBAGE COLLECT
157.00/157.57	c #Conflicts:      47000 | #Constraints:      12708
157.00/157.57	c GLOBAL bounds - >= 0 @ 155.029
158.90/159.42	c GLOBAL bounds - >= 0 @ 156.852
160.40/160.97	c #Conflicts:      48000 | #Constraints:      13712
160.40/160.97	c GLOBAL bounds - >= 0 @ 158.378
161.19/161.70	c GLOBAL bounds - >= 0 @ 159.104
162.29/162.86	c GLOBAL bounds - >= 0 @ 160.255
167.08/167.63	c #Conflicts:      49000 | #Constraints:      14718
167.08/167.63	c GLOBAL bounds - >= 0 @ 164.973
178.74/179.32	c #Conflicts:      50000 | #Constraints:      15720
178.74/179.32	c #Conflicts:      51000 | #Constraints:      16720
178.74/179.32	c INPROCESSING
178.74/179.32	c GARBAGE COLLECT
178.74/179.32	c #Conflicts:      52000 | #Constraints:      13155
178.74/179.32	c GLOBAL bounds - >= 0 @ 176.49
199.39/200.04	c #Conflicts:      53000 | #Constraints:      14157
199.39/200.04	c #Conflicts:      54000 | #Constraints:      15157
199.39/200.04	c #Conflicts:      55000 | #Constraints:      16157
199.39/200.04	c #Conflicts:      56000 | #Constraints:      17157
199.39/200.04	c INPROCESSING
199.39/200.04	c GARBAGE COLLECT
199.39/200.04	c #Conflicts:      57000 | #Constraints:      13359
199.39/200.04	c GLOBAL bounds - >= 0 @ 197.024
204.27/205.00	c #Conflicts:      58000 | #Constraints:      14361
204.27/205.00	c GLOBAL bounds - >= 0 @ 201.917
207.67/208.36	c #Conflicts:      59000 | #Constraints:      15363
207.67/208.36	c GLOBAL bounds - >= 0 @ 205.226
211.85/212.52	c #Conflicts:      60000 | #Constraints:      16365
211.85/212.52	c GLOBAL bounds - >= 0 @ 209.342
224.81/225.59	c #Conflicts:      61000 | #Constraints:      17367
224.81/225.59	c INPROCESSING
224.81/225.59	c GARBAGE COLLECT
224.81/225.59	c #Conflicts:      62000 | #Constraints:      13371
224.81/225.59	c #Conflicts:      63000 | #Constraints:      14371
224.81/225.59	c #Conflicts:      64000 | #Constraints:      15371
224.81/225.59	c GLOBAL bounds - >= 0 @ 222.285
247.45/248.28	c #Conflicts:      65000 | #Constraints:      16373
247.45/248.28	c #Conflicts:      66000 | #Constraints:      17373
247.45/248.28	c INPROCESSING
247.45/248.28	c GARBAGE COLLECT
247.45/248.28	c #Conflicts:      67000 | #Constraints:      13162
247.45/248.28	c #Conflicts:      68000 | #Constraints:      14162
247.45/248.28	c #Conflicts:      69000 | #Constraints:      15162
247.45/248.28	c GLOBAL bounds - >= 0 @ 244.68
254.43/255.26	c #Conflicts:      70000 | #Constraints:      16164
254.43/255.26	c GLOBAL bounds - >= 0 @ 251.585
255.63/256.41	c #Conflicts:      71000 | #Constraints:      17166
255.63/256.41	c GLOBAL bounds - >= 0 @ 252.719
256.34/257.13	c GLOBAL bounds - >= 0 @ 253.427
257.82/258.61	c GLOBAL bounds - >= 0 @ 254.898
259.02/259.89	c #Conflicts:      72000 | #Constraints:      18172
259.02/259.89	c GLOBAL bounds - >= 0 @ 256.155
261.71/262.51	c INPROCESSING
261.71/262.51	c GARBAGE COLLECT
261.71/262.51	c GLOBAL bounds - >= 0 @ 258.603
269.49/270.35	c #Conflicts:      73000 | #Constraints:      13783
269.49/270.35	c #Conflicts:      74000 | #Constraints:      14783
269.49/270.35	c GLOBAL bounds - >= 0 @ 266.379
270.30/271.12	c #Conflicts:      75000 | #Constraints:      15785
270.30/271.12	c GLOBAL bounds - >= 0 @ 267.145
271.39/272.22	c GLOBAL bounds - >= 0 @ 268.221
272.48/273.36	c GLOBAL bounds - >= 0 @ 269.352
274.87/275.75	c GLOBAL bounds - >= 0 @ 271.712
276.67/277.59	c #Conflicts:      76000 | #Constraints:      16793
276.67/277.59	c GLOBAL bounds - >= 0 @ 273.528
278.56/279.40	c GLOBAL bounds - >= 0 @ 275.319
280.27/281.11	c #Conflicts:      77000 | #Constraints:      17797
280.27/281.11	c GLOBAL bounds - >= 0 @ 276.98
286.95/287.87	c #Conflicts:      78000 | #Constraints:      18799
286.95/287.87	c INPROCESSING
286.95/287.87	c GARBAGE COLLECT
286.95/287.87	c GLOBAL bounds - >= 0 @ 283.611
289.83/290.71	c #Conflicts:      79000 | #Constraints:      14216
289.83/290.71	c GLOBAL bounds - >= 0 @ 286.415
301.60/302.54	c #Conflicts:      80000 | #Constraints:      15218
301.60/302.54	c #Conflicts:      81000 | #Constraints:      16218
301.60/302.54	c #Conflicts:      82000 | #Constraints:      17218
301.60/302.54	c GLOBAL bounds - >= 0 @ 298.148
308.38/309.36	c #Conflicts:      83000 | #Constraints:      18220
308.38/309.36	c #Conflicts:      84000 | #Constraints:      19220
308.38/309.36	c INPROCESSING
308.38/309.36	c GARBAGE COLLECT
308.38/309.36	c GLOBAL bounds - >= 0 @ 304.93
339.11/340.16	c #Conflicts:      85000 | #Constraints:      14445
339.11/340.16	c #Conflicts:      86000 | #Constraints:      15445
339.11/340.16	c #Conflicts:      87000 | #Constraints:      16445
339.11/340.16	c #Conflicts:      88000 | #Constraints:      17445
339.11/340.16	c #Conflicts:      89000 | #Constraints:      18445
339.11/340.16	c #Conflicts:      90000 | #Constraints:      19445
339.11/340.16	c INPROCESSING
339.11/340.16	c GARBAGE COLLECT
339.11/340.16	c #Conflicts:      91000 | #Constraints:      14446
339.11/340.16	c #Conflicts:      92000 | #Constraints:      15446
339.11/340.16	c #Conflicts:      93000 | #Constraints:      16446
339.11/340.16	c GLOBAL bounds - >= 0 @ 335.446
343.18/344.23	c #Conflicts:      94000 | #Constraints:      17448
343.18/344.23	c #Conflicts:      95000 | #Constraints:      18448
343.18/344.23	c GLOBAL bounds - >= 0 @ 339.481
344.78/345.85	c GLOBAL bounds - >= 0 @ 341.088
376.39/377.53	c #Conflicts:      96000 | #Constraints:      19452
376.39/377.53	c INPROCESSING
376.39/377.53	c GARBAGE COLLECT
376.39/377.53	c #Conflicts:      97000 | #Constraints:      14264
376.39/377.53	c #Conflicts:      98000 | #Constraints:      15264
376.39/377.53	c #Conflicts:      99000 | #Constraints:      16264
376.39/377.53	c #Conflicts:     100000 | #Constraints:      17264
376.39/377.53	c #Conflicts:     101000 | #Constraints:      18264
376.39/377.53	c #Conflicts:     102000 | #Constraints:      19264
376.39/377.53	c #Conflicts:     103000 | #Constraints:      20264
376.39/377.53	c INPROCESSING
376.39/377.53	c GARBAGE COLLECT
376.39/377.53	c #Conflicts:     104000 | #Constraints:      14874
376.39/377.53	c GLOBAL bounds - >= 0 @ 372.486
378.08/379.27	c #Conflicts:     105000 | #Constraints:      15876
378.08/379.27	c GLOBAL bounds - >= 0 @ 374.202
395.13/396.39	c #Conflicts:     106000 | #Constraints:      16878
395.13/396.39	c #Conflicts:     107000 | #Constraints:      17878
395.13/396.39	c #Conflicts:     108000 | #Constraints:      18878
395.13/396.39	c GLOBAL bounds - >= 0 @ 391.155
403.70/404.98	c #Conflicts:     109000 | #Constraints:      19880
403.70/404.98	c #Conflicts:     110000 | #Constraints:      20880
403.70/404.98	c INPROCESSING
403.70/404.98	c GARBAGE COLLECT
403.70/404.98	c GLOBAL bounds - >= 0 @ 399.615
417.87/419.11	c #Conflicts:     111000 | #Constraints:      15284
417.87/419.11	c #Conflicts:     112000 | #Constraints:      16284
417.87/419.11	c #Conflicts:     113000 | #Constraints:      17284
417.87/419.11	c GLOBAL bounds - >= 0 @ 413.634
420.87/422.15	c #Conflicts:     114000 | #Constraints:      18286
420.87/422.15	c GLOBAL bounds - >= 0 @ 416.633
423.05/424.35	c GLOBAL bounds - >= 0 @ 418.814
425.64/427.01	c #Conflicts:     115000 | #Constraints:      19290
425.64/427.01	c GLOBAL bounds - >= 0 @ 421.441
432.32/433.60	c #Conflicts:     116000 | #Constraints:      20292
432.32/433.60	c GLOBAL bounds - >= 0 @ 427.98
438.30/439.60	c #Conflicts:     117000 | #Constraints:      21294
438.30/439.60	c INPROCESSING
438.30/439.60	c GARBAGE COLLECT
438.30/439.60	c GLOBAL bounds - >= 0 @ 433.901
442.89/444.26	c #Conflicts:     118000 | #Constraints:      15490
442.89/444.26	c GLOBAL bounds - >= 0 @ 438.509
444.48/445.81	c #Conflicts:     119000 | #Constraints:      16492
444.48/445.81	c GLOBAL bounds - >= 0 @ 440.035
446.38/447.72	c GLOBAL bounds - >= 0 @ 441.936
447.28/448.67	c #Conflicts:     120000 | #Constraints:      17496
447.28/448.67	c GLOBAL bounds - >= 0 @ 442.872
448.68/450.02	c GLOBAL bounds - >= 0 @ 444.207
466.52/467.94	c #Conflicts:     121000 | #Constraints:      18500
466.52/467.94	c #Conflicts:     122000 | #Constraints:      19500
466.52/467.94	c #Conflicts:     123000 | #Constraints:      20500
466.52/467.94	c #Conflicts:     124000 | #Constraints:      21500
466.52/467.94	c INPROCESSING
466.52/467.94	c GARBAGE COLLECT
466.52/467.94	c #Conflicts:     125000 | #Constraints:      15537
466.52/467.94	c GLOBAL bounds - >= 0 @ 462.028
468.12/469.50	c GLOBAL bounds - >= 0 @ 463.563
475.61/477.04	c #Conflicts:     126000 | #Constraints:      16541
475.61/477.04	c #Conflicts:     127000 | #Constraints:      17541
475.61/477.04	c GLOBAL bounds - >= 0 @ 470.978
621.77/623.65	c #Conflicts:     128000 | #Constraints:      18543
621.77/623.65	c #Conflicts:     129000 | #Constraints:      19543
621.77/623.65	c #Conflicts:     130000 | #Constraints:      20543
621.77/623.65	c #Conflicts:     131000 | #Constraints:      21543
621.77/623.65	c INPROCESSING
621.77/623.65	c GARBAGE COLLECT
621.77/623.65	c #Conflicts:     132000 | #Constraints:      15314
621.77/623.65	c #Conflicts:     133000 | #Constraints:      16314
621.77/623.65	c #Conflicts:     134000 | #Constraints:      17314
621.77/623.65	c #Conflicts:     135000 | #Constraints:      18314
621.77/623.65	c #Conflicts:     136000 | #Constraints:      19314
621.77/623.65	c #Conflicts:     137000 | #Constraints:      20314
621.77/623.65	c #Conflicts:     138000 | #Constraints:      21314
621.77/623.65	c #Conflicts:     139000 | #Constraints:      22314
621.77/623.65	c INPROCESSING
621.77/623.65	c GARBAGE COLLECT
621.77/623.65	c #Conflicts:     140000 | #Constraints:      15899
621.77/623.65	c #Conflicts:     141000 | #Constraints:      16899
621.77/623.65	c #Conflicts:     142000 | #Constraints:      17899
621.77/623.65	c #Conflicts:     143000 | #Constraints:      18899
621.77/623.65	c #Conflicts:     144000 | #Constraints:      19899
621.77/623.65	c #Conflicts:     145000 | #Constraints:      20899
621.77/623.65	c #Conflicts:     146000 | #Constraints:      21899
621.77/623.65	c #Conflicts:     147000 | #Constraints:      22899
621.77/623.65	c INPROCESSING
621.77/623.65	c GARBAGE COLLECT
621.77/623.65	c #Conflicts:     148000 | #Constraints:      16312
621.77/623.65	c #Conflicts:     149000 | #Constraints:      17312
621.77/623.65	c #Conflicts:     150000 | #Constraints:      18312
621.77/623.65	c #Conflicts:     151000 | #Constraints:      19312
621.77/623.65	c #Conflicts:     152000 | #Constraints:      20312
621.77/623.65	c #Conflicts:     153000 | #Constraints:      21312
621.77/623.65	c #Conflicts:     154000 | #Constraints:      22312
621.77/623.65	c #Conflicts:     155000 | #Constraints:      23312
621.77/623.65	c INPROCESSING
621.77/623.65	c GARBAGE COLLECT
621.77/623.65	c #Conflicts:     156000 | #Constraints:      16523
621.77/623.65	c #Conflicts:     157000 | #Constraints:      17523
621.77/623.65	c #Conflicts:     158000 | #Constraints:      18523
621.77/623.65	c GLOBAL bounds - >= 0 @ 616.113
627.06/628.97	c #Conflicts:     159000 | #Constraints:      19525
627.06/628.97	c GLOBAL bounds - >= 0 @ 621.387
630.05/631.95	c #Conflicts:     160000 | #Constraints:      20527
630.05/631.95	c GLOBAL bounds - >= 0 @ 624.341
632.35/634.26	c GLOBAL bounds - >= 0 @ 626.627
635.15/637.05	c #Conflicts:     161000 | #Constraints:      21531
635.15/637.05	c GLOBAL bounds - >= 0 @ 629.394
637.73/639.62	c GLOBAL bounds - >= 0 @ 631.935
655.68/657.60	c #Conflicts:     162000 | #Constraints:      22535
655.68/657.60	c #Conflicts:     163000 | #Constraints:      23535
655.68/657.60	c INPROCESSING
655.68/657.60	c GARBAGE COLLECT
655.68/657.60	c #Conflicts:     164000 | #Constraints:      16532
655.68/657.60	c #Conflicts:     165000 | #Constraints:      17532
655.68/657.60	c GLOBAL bounds - >= 0 @ 649.664
658.67/660.67	c #Conflicts:     166000 | #Constraints:      18534
658.67/660.67	c GLOBAL bounds - >= 0 @ 652.713
671.63/673.65	c #Conflicts:     167000 | #Constraints:      19536
671.63/673.65	c #Conflicts:     168000 | #Constraints:      20536
671.63/673.65	c #Conflicts:     169000 | #Constraints:      21536
671.63/673.65	c GLOBAL bounds - >= 0 @ 665.559
687.19/689.20	c #Conflicts:     170000 | #Constraints:      22538
687.19/689.20	c #Conflicts:     171000 | #Constraints:      23538
687.19/689.20	c INPROCESSING
687.19/689.20	c GARBAGE COLLECT
687.19/689.20	c #Conflicts:     172000 | #Constraints:      16321
687.19/689.20	c #Conflicts:     173000 | #Constraints:      17321
687.19/689.20	c GLOBAL bounds - >= 0 @ 680.931
698.16/700.23	c #Conflicts:     174000 | #Constraints:      18323
698.16/700.23	c #Conflicts:     175000 | #Constraints:      19323
698.16/700.23	c GLOBAL bounds - >= 0 @ 691.851
805.44/807.83	c #Conflicts:     176000 | #Constraints:      20325
805.44/807.83	c #Conflicts:     177000 | #Constraints:      21325
805.44/807.83	c #Conflicts:     178000 | #Constraints:      22325
805.44/807.83	c #Conflicts:     179000 | #Constraints:      23325
805.44/807.83	c #Conflicts:     180000 | #Constraints:      24325
805.44/807.83	c INPROCESSING
805.44/807.83	c GARBAGE COLLECT
805.44/807.83	c #Conflicts:     181000 | #Constraints:      16903
805.44/807.83	c #Conflicts:     182000 | #Constraints:      17903
805.44/807.83	c #Conflicts:     183000 | #Constraints:      18903
805.44/807.83	c #Conflicts:     184000 | #Constraints:      19903
805.44/807.83	c #Conflicts:     185000 | #Constraints:      20903
805.44/807.83	c #Conflicts:     186000 | #Constraints:      21903
805.44/807.83	c #Conflicts:     187000 | #Constraints:      22903
805.44/807.83	c #Conflicts:     188000 | #Constraints:      23903
805.44/807.83	c #Conflicts:     189000 | #Constraints:      24903
805.44/807.83	c INPROCESSING
805.44/807.83	c GARBAGE COLLECT
805.44/807.83	c #Conflicts:     190000 | #Constraints:      17299
805.44/807.83	c #Conflicts:     191000 | #Constraints:      18299
805.44/807.83	c #Conflicts:     192000 | #Constraints:      19299
805.44/807.83	c #Conflicts:     193000 | #Constraints:      20299
805.44/807.83	c #Conflicts:     194000 | #Constraints:      21299
805.44/807.83	c #Conflicts:     195000 | #Constraints:      22299
805.44/807.83	c #Conflicts:     196000 | #Constraints:      23299
805.44/807.83	c #Conflicts:     197000 | #Constraints:      24299
805.44/807.83	c GLOBAL bounds - >= 0 @ 798.484
807.23/809.61	c GLOBAL bounds - >= 0 @ 800.252
811.02/813.44	c #Conflicts:     198000 | #Constraints:      25303
811.02/813.44	c INPROCESSING
811.02/813.44	c GARBAGE COLLECT
811.02/813.44	c GLOBAL bounds - >= 0 @ 804.057
811.82/814.29	c GLOBAL bounds - >= 0 @ 804.894
856.89/859.46	c #Conflicts:     199000 | #Constraints:      17516
856.89/859.46	c #Conflicts:     200000 | #Constraints:      18516
856.89/859.46	c #Conflicts:     201000 | #Constraints:      19516
856.89/859.46	c #Conflicts:     202000 | #Constraints:      20516
856.89/859.46	c #Conflicts:     203000 | #Constraints:      21516
856.89/859.46	c #Conflicts:     204000 | #Constraints:      22516
856.89/859.46	c #Conflicts:     205000 | #Constraints:      23516
856.89/859.46	c #Conflicts:     206000 | #Constraints:      24516
856.89/859.46	c #Conflicts:     207000 | #Constraints:      25516
856.89/859.46	c INPROCESSING
856.89/859.46	c GARBAGE COLLECT
856.89/859.46	c #Conflicts:     208000 | #Constraints:      17567
856.89/859.46	c GLOBAL bounds - >= 0 @ 849.868
863.37/865.98	c #Conflicts:     209000 | #Constraints:      18569
863.37/865.98	c #Conflicts:     210000 | #Constraints:      19569
863.37/865.98	c GLOBAL bounds - >= 0 @ 856.338
934.14/936.91	c #Conflicts:     211000 | #Constraints:      20571
934.14/936.91	c #Conflicts:     212000 | #Constraints:      21571
934.14/936.91	c #Conflicts:     213000 | #Constraints:      22571
934.14/936.91	c #Conflicts:     214000 | #Constraints:      23571
934.14/936.91	c #Conflicts:     215000 | #Constraints:      24571
934.14/936.91	c #Conflicts:     216000 | #Constraints:      25571
934.14/936.91	c INPROCESSING
934.14/936.91	c GARBAGE COLLECT
934.14/936.91	c #Conflicts:     217000 | #Constraints:      17359
934.14/936.91	c #Conflicts:     218000 | #Constraints:      18359
934.14/936.91	c #Conflicts:     219000 | #Constraints:      19359
934.14/936.91	c #Conflicts:     220000 | #Constraints:      20359
934.14/936.91	c #Conflicts:     221000 | #Constraints:      21359
934.14/936.91	c #Conflicts:     222000 | #Constraints:      22359
934.14/936.91	c #Conflicts:     223000 | #Constraints:      23359
934.14/936.91	c #Conflicts:     224000 | #Constraints:      24359
934.14/936.91	c #Conflicts:     225000 | #Constraints:      25359
934.14/936.91	c #Conflicts:     226000 | #Constraints:      26359
934.14/936.91	c INPROCESSING
934.14/936.91	c GARBAGE COLLECT
934.14/936.91	c #Conflicts:     227000 | #Constraints:      17956
934.14/936.91	c GLOBAL bounds - >= 0 @ 926.873
1007.61/1010.68	c #Conflicts:     228000 | #Constraints:      18958
1007.61/1010.68	c #Conflicts:     229000 | #Constraints:      19958
1007.61/1010.68	c #Conflicts:     230000 | #Constraints:      20958
1007.61/1010.68	c #Conflicts:     231000 | #Constraints:      21958
1007.61/1010.68	c #Conflicts:     232000 | #Constraints:      22958
1007.61/1010.68	c #Conflicts:     233000 | #Constraints:      23958
1007.61/1010.68	c #Conflicts:     234000 | #Constraints:      24958
1007.61/1010.68	c #Conflicts:     235000 | #Constraints:      25958
1007.61/1010.68	c #Conflicts:     236000 | #Constraints:      26958
1007.61/1010.68	c INPROCESSING
1007.61/1010.68	c GARBAGE COLLECT
1007.61/1010.68	c #Conflicts:     237000 | #Constraints:      18348
1007.61/1010.68	c #Conflicts:     238000 | #Constraints:      19348
1007.61/1010.68	c #Conflicts:     239000 | #Constraints:      20348
1007.61/1010.68	c #Conflicts:     240000 | #Constraints:      21348
1007.61/1010.68	c #Conflicts:     241000 | #Constraints:      22348
1007.61/1010.68	c #Conflicts:     242000 | #Constraints:      23348
1007.61/1010.68	c #Conflicts:     243000 | #Constraints:      24348
1007.61/1010.68	c GLOBAL bounds - >= 0 @ 999.919
1013.00/1016.08	c #Conflicts:     244000 | #Constraints:      25350
1013.00/1016.08	c GLOBAL bounds - >= 0 @ 1005.26
1017.18/1020.25	c #Conflicts:     245000 | #Constraints:      26352
1017.18/1020.25	c GLOBAL bounds - >= 0 @ 1009.37
1021.66/1024.73	c GLOBAL bounds - >= 0 @ 1013.78
1026.05/1029.15	c #Conflicts:     246000 | #Constraints:      27356
1026.05/1029.15	c INPROCESSING
1026.05/1029.15	c GARBAGE COLLECT
1026.05/1029.15	c GLOBAL bounds - >= 0 @ 1018.15
1035.61/1038.71	c #Conflicts:     247000 | #Constraints:      18542
1035.61/1038.71	c #Conflicts:     248000 | #Constraints:      19542
1035.61/1038.71	c GLOBAL bounds - >= 0 @ 1027.58
1094.73/1098.07	c #Conflicts:     249000 | #Constraints:      20544
1094.73/1098.07	c #Conflicts:     250000 | #Constraints:      21544
1094.73/1098.07	c #Conflicts:     251000 | #Constraints:      22544
1094.73/1098.07	c #Conflicts:     252000 | #Constraints:      23544
1094.73/1098.07	c #Conflicts:     253000 | #Constraints:      24544
1094.73/1098.07	c #Conflicts:     254000 | #Constraints:      25544
1094.73/1098.07	c #Conflicts:     255000 | #Constraints:      26544
1094.73/1098.07	c #Conflicts:     256000 | #Constraints:      27544
1094.73/1098.07	c INPROCESSING
1094.73/1098.07	c GARBAGE COLLECT
1094.73/1098.07	c #Conflicts:     257000 | #Constraints:      18560
1094.73/1098.07	c #Conflicts:     258000 | #Constraints:      19560
1094.73/1098.07	c #Conflicts:     259000 | #Constraints:      20560
1094.73/1098.07	c GLOBAL bounds - >= 0 @ 1086.46
1102.59/1105.96	c #Conflicts:     260000 | #Constraints:      21562
1102.59/1105.96	c GLOBAL bounds - >= 0 @ 1094.27
1177.16/1180.70	c #Conflicts:     261000 | #Constraints:      22564
1177.16/1180.70	c #Conflicts:     262000 | #Constraints:      23564
1177.16/1180.70	c #Conflicts:     263000 | #Constraints:      24564
1177.16/1180.70	c #Conflicts:     264000 | #Constraints:      25564
1177.16/1180.70	c #Conflicts:     265000 | #Constraints:      26564
1177.16/1180.70	c #Conflicts:     266000 | #Constraints:      27564
1177.16/1180.70	c INPROCESSING
1177.16/1180.70	c GARBAGE COLLECT
1177.16/1180.70	c #Conflicts:     267000 | #Constraints:      18372
1177.16/1180.70	c #Conflicts:     268000 | #Constraints:      19372
1177.16/1180.70	c #Conflicts:     269000 | #Constraints:      20372
1177.16/1180.70	c #Conflicts:     270000 | #Constraints:      21372
1177.16/1180.70	c #Conflicts:     271000 | #Constraints:      22372
1177.16/1180.70	c #Conflicts:     272000 | #Constraints:      23372
1177.16/1180.70	c #Conflicts:     273000 | #Constraints:      24372
1177.16/1180.70	c #Conflicts:     274000 | #Constraints:      25372
1177.16/1180.70	c #Conflicts:     275000 | #Constraints:      26372
1177.16/1180.70	c GLOBAL bounds - >= 0 @ 1168.24
1263.68/1267.59	c #Conflicts:     276000 | #Constraints:      27374
1263.68/1267.59	c #Conflicts:     277000 | #Constraints:      28374
1263.68/1267.59	c INPROCESSING
1263.68/1267.59	c GARBAGE COLLECT
1263.68/1267.59	c #Conflicts:     278000 | #Constraints:      18976
1263.68/1267.59	c #Conflicts:     279000 | #Constraints:      19976
1263.68/1267.59	c #Conflicts:     280000 | #Constraints:      20976
1263.68/1267.59	c #Conflicts:     281000 | #Constraints:      21976
1263.68/1267.59	c #Conflicts:     282000 | #Constraints:      22976
1263.68/1267.59	c #Conflicts:     283000 | #Constraints:      23976
1263.68/1267.59	c #Conflicts:     284000 | #Constraints:      24976
1263.68/1267.59	c #Conflicts:     285000 | #Constraints:      25976
1263.68/1267.59	c #Conflicts:     286000 | #Constraints:      26976
1263.68/1267.59	c #Conflicts:     287000 | #Constraints:      27976
1263.68/1267.59	c #Conflicts:     288000 | #Constraints:      28976
1263.68/1267.59	c INPROCESSING
1263.68/1267.59	c GARBAGE COLLECT
1263.68/1267.59	c #Conflicts:     289000 | #Constraints:      19374
1263.68/1267.59	c #Conflicts:     290000 | #Constraints:      20374
1263.68/1267.59	c GLOBAL bounds - >= 0 @ 1254.31
1269.77/1273.69	c #Conflicts:     291000 | #Constraints:      21376
1269.77/1273.69	c #Conflicts:     292000 | #Constraints:      22376
1269.77/1273.69	c GLOBAL bounds - >= 0 @ 1260.35
1274.45/1278.30	c #Conflicts:     293000 | #Constraints:      23378
1274.45/1278.30	c GLOBAL bounds - >= 0 @ 1264.92
1277.93/1281.87	c GLOBAL bounds - >= 0 @ 1268.44
1279.72/1283.63	c #Conflicts:     294000 | #Constraints:      24382
1279.72/1283.63	c GLOBAL bounds - >= 0 @ 1270.19
1285.40/1289.36	c #Conflicts:     295000 | #Constraints:      25384
1285.40/1289.36	c GLOBAL bounds - >= 0 @ 1275.85
1296.07/1300.04	c #Conflicts:     296000 | #Constraints:      26386
1296.07/1300.04	c #Conflicts:     297000 | #Constraints:      27386
1296.07/1300.04	c GLOBAL bounds - >= 0 @ 1286.38
1338.42/1342.57	c #Conflicts:     298000 | #Constraints:      28388
1338.42/1342.57	c #Conflicts:     299000 | #Constraints:      29388
1338.42/1342.57	c INPROCESSING
1338.42/1342.57	c GARBAGE COLLECT
1338.42/1342.57	c #Conflicts:     300000 | #Constraints:      19590
1338.42/1342.57	c #Conflicts:     301000 | #Constraints:      20590
1338.42/1342.57	c #Conflicts:     302000 | #Constraints:      21590
1338.42/1342.57	c #Conflicts:     303000 | #Constraints:      22590
1338.42/1342.57	c #Conflicts:     304000 | #Constraints:      23590
1338.42/1342.57	c #Conflicts:     305000 | #Constraints:      24590
1338.42/1342.57	c GLOBAL bounds - >= 0 @ 1328.16
1347.90/1352.07	c #Conflicts:     306000 | #Constraints:      25592
1347.90/1352.07	c #Conflicts:     307000 | #Constraints:      26592
1347.90/1352.07	c GLOBAL bounds - >= 0 @ 1337.56
1350.18/1354.39	c GLOBAL bounds - >= 0 @ 1339.85
1352.78/1356.97	c #Conflicts:     308000 | #Constraints:      27596
1352.78/1356.97	c GLOBAL bounds - >= 0 @ 1342.41
1361.35/1365.54	c #Conflicts:     309000 | #Constraints:      28598
1361.35/1365.54	c #Conflicts:     310000 | #Constraints:      29598
1361.35/1365.54	c GLOBAL bounds - >= 0 @ 1350.92
1393.05/1397.38	c INPROCESSING
1393.05/1397.38	c GARBAGE COLLECT
1393.05/1397.38	c #Conflicts:     311000 | #Constraints:      19541
1393.05/1397.38	c #Conflicts:     312000 | #Constraints:      20541
1393.05/1397.38	c #Conflicts:     313000 | #Constraints:      21541
1393.05/1397.38	c #Conflicts:     314000 | #Constraints:      22541
1393.05/1397.38	c #Conflicts:     315000 | #Constraints:      23541
1393.05/1397.38	c GLOBAL bounds - >= 0 @ 1382.37
1411.28/1415.68	c #Conflicts:     316000 | #Constraints:      24543
1411.28/1415.68	c #Conflicts:     317000 | #Constraints:      25543
1411.28/1415.68	c #Conflicts:     318000 | #Constraints:      26543
1411.28/1415.68	c #Conflicts:     319000 | #Constraints:      27543
1411.28/1415.68	c GLOBAL bounds - >= 0 @ 1400.55
1417.68/1422.04	c #Conflicts:     320000 | #Constraints:      28545
1417.68/1422.04	c #Conflicts:     321000 | #Constraints:      29545
1417.68/1422.04	c GLOBAL bounds - >= 0 @ 1406.86
1419.06/1423.45	c GLOBAL bounds - >= 0 @ 1408.27
1422.85/1427.25	c INPROCESSING
1422.85/1427.25	c GARBAGE COLLECT
1422.85/1427.25	c GLOBAL bounds - >= 0 @ 1412.05
1423.66/1428.07	c #Conflicts:     322000 | #Constraints:      19303
1423.66/1428.07	c GLOBAL bounds - >= 0 @ 1412.86
1427.24/1431.66	c #Conflicts:     323000 | #Constraints:      20305
1427.24/1431.66	c GLOBAL bounds - >= 0 @ 1416.42
1432.22/1436.64	c #Conflicts:     324000 | #Constraints:      21307
1432.22/1436.64	c #Conflicts:     325000 | #Constraints:      22307
1432.22/1436.64	c GLOBAL bounds - >= 0 @ 1421.36
1474.19/1478.74	c #Conflicts:     326000 | #Constraints:      23309
1474.19/1478.74	c #Conflicts:     327000 | #Constraints:      24309
1474.19/1478.74	c #Conflicts:     328000 | #Constraints:      25309
1474.19/1478.74	c #Conflicts:     329000 | #Constraints:      26309
1474.19/1478.74	c #Conflicts:     330000 | #Constraints:      27309
1474.19/1478.74	c #Conflicts:     331000 | #Constraints:      28309
1474.19/1478.74	c #Conflicts:     332000 | #Constraints:      29309
1474.19/1478.74	c #Conflicts:     333000 | #Constraints:      30309
1474.19/1478.74	c INPROCESSING
1474.19/1478.74	c GARBAGE COLLECT
1474.19/1478.74	c #Conflicts:     334000 | #Constraints:      19981
1474.19/1478.74	c #Conflicts:     335000 | #Constraints:      20981
1474.19/1478.74	c GLOBAL bounds - >= 0 @ 1463.2
1536.60/1541.36	c #Conflicts:     336000 | #Constraints:      21983
1536.60/1541.36	c #Conflicts:     337000 | #Constraints:      22983
1536.60/1541.36	c #Conflicts:     338000 | #Constraints:      23983
1536.60/1541.36	c #Conflicts:     339000 | #Constraints:      24983
1536.60/1541.36	c #Conflicts:     340000 | #Constraints:      25983
1536.60/1541.36	c #Conflicts:     341000 | #Constraints:      26983
1536.60/1541.36	c #Conflicts:     342000 | #Constraints:      27983
1536.60/1541.36	c #Conflicts:     343000 | #Constraints:      28983
1536.60/1541.36	c #Conflicts:     344000 | #Constraints:      29983
1536.60/1541.36	c GLOBAL bounds - >= 0 @ 1525.39
1543.17/1547.93	c #Conflicts:     345000 | #Constraints:      30985
1543.17/1547.93	c INPROCESSING
1543.17/1547.93	c GARBAGE COLLECT
1543.17/1547.93	c GLOBAL bounds - >= 0 @ 1531.91
1547.16/1551.93	c #Conflicts:     346000 | #Constraints:      20354
1547.16/1551.93	c GLOBAL bounds - >= 0 @ 1535.88
1548.76/1553.59	c #Conflicts:     347000 | #Constraints:      21356
1548.76/1553.59	c GLOBAL bounds - >= 0 @ 1537.52
1549.86/1554.62	c GLOBAL bounds - >= 0 @ 1538.54
1550.85/1555.65	c GLOBAL bounds - >= 0 @ 1539.57
1551.85/1556.68	c GLOBAL bounds - >= 0 @ 1540.59
1554.84/1559.64	c #Conflicts:     348000 | #Constraints:      22364
1554.84/1559.64	c GLOBAL bounds - >= 0 @ 1543.52
1561.63/1566.49	c #Conflicts:     349000 | #Constraints:      23366
1561.63/1566.49	c GLOBAL bounds - >= 0 @ 1550.32
1580.86/1585.80	c #Conflicts:     350000 | #Constraints:      24368
1580.86/1585.80	c #Conflicts:     351000 | #Constraints:      25368
1580.86/1585.80	c #Conflicts:     352000 | #Constraints:      26368
1580.86/1585.80	c GLOBAL bounds - >= 0 @ 1569.43
1586.16/1591.10	c #Conflicts:     353000 | #Constraints:      27370
1586.16/1591.10	c GLOBAL bounds - >= 0 @ 1574.68
1637.01/1642.04	c #Conflicts:     354000 | #Constraints:      28372
1637.01/1642.04	c #Conflicts:     355000 | #Constraints:      29372
1637.01/1642.04	c #Conflicts:     356000 | #Constraints:      30372
1637.01/1642.04	c #Conflicts:     357000 | #Constraints:      31372
1637.01/1642.04	c INPROCESSING
1637.01/1642.04	c GARBAGE COLLECT
1637.01/1642.04	c #Conflicts:     358000 | #Constraints:      20591
1637.01/1642.04	c #Conflicts:     359000 | #Constraints:      21591
1637.01/1642.04	c #Conflicts:     360000 | #Constraints:      22591
1637.01/1642.04	c #Conflicts:     361000 | #Constraints:      23591
1637.01/1642.04	c GLOBAL bounds - >= 0 @ 1625.04
1642.58/1647.63	c #Conflicts:     362000 | #Constraints:      24593
1642.58/1647.63	c GLOBAL bounds - >= 0 @ 1630.58
1649.36/1654.43	c #Conflicts:     363000 | #Constraints:      25595
1649.36/1654.43	c GLOBAL bounds - >= 0 @ 1637.34
1651.96/1657.10	c #Conflicts:     364000 | #Constraints:      26597
1651.96/1657.10	c GLOBAL bounds - >= 0 @ 1639.98
1656.43/1661.50	c GLOBAL bounds - >= 0 @ 1644.33
1660.52/1665.60	c #Conflicts:     365000 | #Constraints:      27601
1660.52/1665.60	c GLOBAL bounds - >= 0 @ 1648.4
1669.09/1674.21	c #Conflicts:     366000 | #Constraints:      28603
1669.09/1674.21	c #Conflicts:     367000 | #Constraints:      29603
1669.09/1674.21	c GLOBAL bounds - >= 0 @ 1656.95
1687.84/1693.04	c #Conflicts:     368000 | #Constraints:      30605
1687.84/1693.04	c #Conflicts:     369000 | #Constraints:      31605
1687.84/1693.04	c INPROCESSING
1687.84/1693.04	c GARBAGE COLLECT
1687.84/1693.04	c GLOBAL bounds - >= 0 @ 1675.66
1723.22/1728.56	c #Conflicts:     370000 | #Constraints:      20618
1723.22/1728.56	c #Conflicts:     371000 | #Constraints:      21618
1723.22/1728.56	c #Conflicts:     372000 | #Constraints:      22618
1723.22/1728.56	c #Conflicts:     373000 | #Constraints:      23618
1723.22/1728.56	c #Conflicts:     374000 | #Constraints:      24618
1723.22/1728.56	c #Conflicts:     375000 | #Constraints:      25618
1723.22/1728.56	c GLOBAL bounds - >= 0 @ 1710.88
1730.39/1735.73	c #Conflicts:     376000 | #Constraints:      26620
1730.39/1735.73	c #Conflicts:     377000 | #Constraints:      27620
1730.39/1735.73	c GLOBAL bounds - >= 0 @ 1718
1739.96/1745.35	c #Conflicts:     378000 | #Constraints:      28622
1739.96/1745.35	c #Conflicts:     379000 | #Constraints:      29622
1739.96/1745.35	c #Conflicts:     380000 | #Constraints:      30622
1739.96/1745.35	c GLOBAL bounds - >= 0 @ 1727.56
1774.04/1779.51	c #Conflicts:     381000 | #Constraints:      31624
1774.04/1779.51	c INPROCESSING
1774.04/1779.51	c GARBAGE COLLECT
1774.04/1779.51	c #Conflicts:     382000 | #Constraints:      20429
1774.04/1779.51	c #Conflicts:     383000 | #Constraints:      21429
1774.04/1779.51	c #Conflicts:     384000 | #Constraints:      22429
1774.04/1779.51	c #Conflicts:     385000 | #Constraints:      23429
1774.04/1779.51	c #Conflicts:     386000 | #Constraints:      24429
1774.04/1779.51	c #Conflicts:     387000 | #Constraints:      25429
1774.04/1779.51	c GLOBAL bounds - >= 0 @ 1761.43
1788.00/1793.59	c #Conflicts:     388000 | #Constraints:      26431
1788.00/1793.59	c #Conflicts:     389000 | #Constraints:      27431
1788.00/1793.59	c GLOBAL bounds - >= 0 @ 1775.4
1847.80/1853.51	c #Conflicts:     390000 | #Constraints:      28433
1847.80/1853.51	c #Conflicts:     391000 | #Constraints:      29433
1847.80/1853.51	c #Conflicts:     392000 | #Constraints:      30433
1847.80/1853.51	c #Conflicts:     393000 | #Constraints:      31433
1847.80/1853.51	c #Conflicts:     394000 | #Constraints:      32433
1847.80/1853.51	c INPROCESSING
1847.80/1853.51	c GARBAGE COLLECT
1847.80/1853.51	c #Conflicts:     395000 | #Constraints:      21035
1847.80/1853.51	c #Conflicts:     396000 | #Constraints:      22035
1847.80/1853.51	c #Conflicts:     397000 | #Constraints:      23035
1847.80/1853.51	c #Conflicts:     398000 | #Constraints:      24035
1847.80/1853.51	c GLOBAL bounds - >= 0 @ 1834.68
1855.48/1861.25	c #Conflicts:     399000 | #Constraints:      25037
1855.48/1861.25	c GLOBAL bounds - >= 0 @ 1842.35
1859.17/1864.99	c #Conflicts:     400000 | #Constraints:      26039
1859.17/1864.99	c GLOBAL bounds - >= 0 @ 1846.06
1861.76/1867.56	c #Conflicts:     401000 | #Constraints:      27041
1861.76/1867.56	c GLOBAL bounds - >= 0 @ 1848.6
1863.95/1869.70	c GLOBAL bounds - >= 0 @ 1850.73
1910.22/1916.18	c #Conflicts:     402000 | #Constraints:      28045
1910.22/1916.18	c #Conflicts:     403000 | #Constraints:      29045
1910.22/1916.18	c #Conflicts:     404000 | #Constraints:      30045
1910.22/1916.18	c #Conflicts:     405000 | #Constraints:      31045
1910.22/1916.18	c #Conflicts:     406000 | #Constraints:      32045
1910.22/1916.18	c #Conflicts:     407000 | #Constraints:      33045
1910.22/1916.18	c INPROCESSING
1910.22/1916.18	c GARBAGE COLLECT
1910.22/1916.18	c #Conflicts:     408000 | #Constraints:      21442
1910.22/1916.18	c #Conflicts:     409000 | #Constraints:      22442
1910.22/1916.18	c GLOBAL bounds - >= 0 @ 1896.79
1938.71/1944.78	c #Conflicts:     410000 | #Constraints:      23444
1938.71/1944.78	c #Conflicts:     411000 | #Constraints:      24444
1938.71/1944.78	c #Conflicts:     412000 | #Constraints:      25444
1938.71/1944.78	c #Conflicts:     413000 | #Constraints:      26444
1938.71/1944.78	c #Conflicts:     414000 | #Constraints:      27444
1938.71/1944.78	c GLOBAL bounds - >= 0 @ 1925.09
1943.12/1949.16	c #Conflicts:     415000 | #Constraints:      28446
1943.12/1949.16	c GLOBAL bounds - >= 0 @ 1929.43
1944.90/1950.97	c GLOBAL bounds - >= 0 @ 1931.23
1952.09/1958.13	c #Conflicts:     416000 | #Constraints:      29450
1952.09/1958.13	c GLOBAL bounds - >= 0 @ 1938.33
1963.65/1969.70	c #Conflicts:     417000 | #Constraints:      30452
1963.65/1969.70	c #Conflicts:     418000 | #Constraints:      31452
1963.65/1969.70	c GLOBAL bounds - >= 0 @ 1949.8
1988.56/1994.80	c #Conflicts:     419000 | #Constraints:      32454
1988.56/1994.80	c #Conflicts:     420000 | #Constraints:      33454
1988.56/1994.80	c INPROCESSING
1988.56/1994.80	c GARBAGE COLLECT
1988.56/1994.80	c #Conflicts:     421000 | #Constraints:      21640
1988.56/1994.80	c #Conflicts:     422000 | #Constraints:      22640
1988.56/1994.80	c GLOBAL bounds - >= 0 @ 1974.62
1989.75/1995.90	c #Conflicts:     423000 | #Constraints:      23642
1989.75/1995.90	c GLOBAL bounds - >= 0 @ 1975.71
1995.74/2001.92	c #Conflicts:     424000 | #Constraints:      24644
1995.74/2001.92	c GLOBAL bounds - >= 0 @ 1981.7
2000.53/2006.73	c #Conflicts:     425000 | #Constraints:      25646
2000.53/2006.73	c #Conflicts:     426000 | #Constraints:      26646
2000.53/2006.73	c GLOBAL bounds - >= 0 @ 1986.46
2011.59/2017.82	c #Conflicts:     427000 | #Constraints:      27648
2011.59/2017.82	c #Conflicts:     428000 | #Constraints:      28648
2011.59/2017.82	c #Conflicts:     429000 | #Constraints:      29648
2011.59/2017.82	c GLOBAL bounds - >= 0 @ 1997.48
2014.48/2020.78	c #Conflicts:     430000 | #Constraints:      30650
2014.48/2020.78	c GLOBAL bounds - >= 0 @ 2000.42
2016.07/2022.37	c GLOBAL bounds - >= 0 @ 2002
2074.49/2080.95	c #Conflicts:     431000 | #Constraints:      31654
2074.49/2080.95	c #Conflicts:     432000 | #Constraints:      32654
2074.49/2080.95	c #Conflicts:     433000 | #Constraints:      33654
2074.49/2080.95	c INPROCESSING
2074.49/2080.95	c GARBAGE COLLECT
2074.49/2080.95	c #Conflicts:     434000 | #Constraints:      21661
2074.49/2080.95	c #Conflicts:     435000 | #Constraints:      22661
2074.49/2080.95	c #Conflicts:     436000 | #Constraints:      23661
2074.49/2080.95	c #Conflicts:     437000 | #Constraints:      24661
2074.49/2080.95	c #Conflicts:     438000 | #Constraints:      25661
2074.49/2080.95	c #Conflicts:     439000 | #Constraints:      26661
2074.49/2080.95	c #Conflicts:     440000 | #Constraints:      27661
2074.49/2080.95	c #Conflicts:     441000 | #Constraints:      28661
2074.49/2080.95	c GLOBAL bounds - >= 0 @ 2060.23
2091.42/2097.94	c #Conflicts:     442000 | #Constraints:      29663
2091.42/2097.94	c #Conflicts:     443000 | #Constraints:      30663
2091.42/2097.94	c #Conflicts:     444000 | #Constraints:      31663
2091.42/2097.94	c #Conflicts:     445000 | #Constraints:      32663
2091.42/2097.94	c GLOBAL bounds - >= 0 @ 2077.11
2105.28/2111.82	c #Conflicts:     446000 | #Constraints:      33665
2105.28/2111.82	c INPROCESSING
2105.28/2111.82	c GARBAGE COLLECT
2105.28/2111.82	c #Conflicts:     447000 | #Constraints:      21448
2105.28/2111.82	c #Conflicts:     448000 | #Constraints:      22448
2105.28/2111.82	c GLOBAL bounds - >= 0 @ 2090.89
2107.37/2113.99	c #Conflicts:     449000 | #Constraints:      23450
2107.37/2113.99	c GLOBAL bounds - >= 0 @ 2093.04
2116.56/2123.19	c #Conflicts:     450000 | #Constraints:      24452
2116.56/2123.19	c #Conflicts:     451000 | #Constraints:      25452
2116.56/2123.19	c #Conflicts:     452000 | #Constraints:      26452
2116.56/2123.19	c GLOBAL bounds - >= 0 @ 2102.18
2138.78/2145.45	c #Conflicts:     453000 | #Constraints:      27454
2138.78/2145.45	c #Conflicts:     454000 | #Constraints:      28454
2138.78/2145.45	c #Conflicts:     455000 | #Constraints:      29454
2138.78/2145.45	c #Conflicts:     456000 | #Constraints:      30454
2138.78/2145.45	c GLOBAL bounds - >= 0 @ 2124.29
2142.57/2149.21	c #Conflicts:     457000 | #Constraints:      31456
2142.57/2149.21	c GLOBAL bounds - >= 0 @ 2128.03
2160.01/2166.76	c #Conflicts:     458000 | #Constraints:      32458
2160.01/2166.76	c #Conflicts:     459000 | #Constraints:      33458
2160.01/2166.76	c #Conflicts:     460000 | #Constraints:      34458
2160.01/2166.76	c INPROCESSING
2160.01/2166.76	c GARBAGE COLLECT
2160.01/2166.76	c GLOBAL bounds - >= 0 @ 2145.44
2245.85/2252.87	c #Conflicts:     461000 | #Constraints:      22065
2245.85/2252.87	c #Conflicts:     462000 | #Constraints:      23065
2245.85/2252.87	c #Conflicts:     463000 | #Constraints:      24065
2245.85/2252.87	c #Conflicts:     464000 | #Constraints:      25065
2245.85/2252.87	c #Conflicts:     465000 | #Constraints:      26065
2245.85/2252.87	c #Conflicts:     466000 | #Constraints:      27065
2245.85/2252.87	c #Conflicts:     467000 | #Constraints:      28065
2245.85/2252.87	c #Conflicts:     468000 | #Constraints:      29065
2245.85/2252.87	c #Conflicts:     469000 | #Constraints:      30065
2245.85/2252.87	c #Conflicts:     470000 | #Constraints:      31065
2245.85/2252.87	c #Conflicts:     471000 | #Constraints:      32065
2245.85/2252.87	c #Conflicts:     472000 | #Constraints:      33065
2245.85/2252.87	c GLOBAL bounds - >= 0 @ 2231.18
2247.06/2254.10	c #Conflicts:     473000 | #Constraints:      34067
2247.06/2254.10	c GLOBAL bounds - >= 0 @ 2232.39
2248.64/2255.62	c GLOBAL bounds - >= 0 @ 2233.9
2250.24/2257.27	c GLOBAL bounds - >= 0 @ 2235.55
2294.30/2301.42	c #Conflicts:     474000 | #Constraints:      35073
2294.30/2301.42	c INPROCESSING
2294.30/2301.42	c GARBAGE COLLECT
2294.30/2301.42	c #Conflicts:     475000 | #Constraints:      22442
2294.30/2301.42	c #Conflicts:     476000 | #Constraints:      23442
2294.30/2301.42	c #Conflicts:     477000 | #Constraints:      24442
2294.30/2301.42	c #Conflicts:     478000 | #Constraints:      25442
2294.30/2301.42	c #Conflicts:     479000 | #Constraints:      26442
2294.30/2301.42	c #Conflicts:     480000 | #Constraints:      27442
2294.30/2301.42	c #Conflicts:     481000 | #Constraints:      28442
2294.30/2301.42	c #Conflicts:     482000 | #Constraints:      29442
2294.30/2301.42	c #Conflicts:     483000 | #Constraints:      30442
2294.30/2301.42	c GLOBAL bounds - >= 0 @ 2279.48
2346.23/2353.53	c #Conflicts:     484000 | #Constraints:      31444
2346.23/2353.53	c #Conflicts:     485000 | #Constraints:      32444
2346.23/2353.53	c #Conflicts:     486000 | #Constraints:      33444
2346.23/2353.53	c #Conflicts:     487000 | #Constraints:      34444
2346.23/2353.53	c #Conflicts:     488000 | #Constraints:      35444
2346.23/2353.53	c INPROCESSING
2346.23/2353.53	c GARBAGE COLLECT
2346.23/2353.53	c #Conflicts:     489000 | #Constraints:      22640
2346.23/2353.53	c #Conflicts:     490000 | #Constraints:      23640
2346.23/2353.53	c #Conflicts:     491000 | #Constraints:      24640
2346.23/2353.53	c GLOBAL bounds - >= 0 @ 2331.32
2407.95/2415.48	c #Conflicts:     492000 | #Constraints:      25642
2407.95/2415.48	c #Conflicts:     493000 | #Constraints:      26642
2407.95/2415.48	c #Conflicts:     494000 | #Constraints:      27642
2407.95/2415.48	c #Conflicts:     495000 | #Constraints:      28642
2407.95/2415.48	c #Conflicts:     496000 | #Constraints:      29642
2407.95/2415.48	c #Conflicts:     497000 | #Constraints:      30642
2407.95/2415.48	c #Conflicts:     498000 | #Constraints:      31642
2407.95/2415.48	c #Conflicts:     499000 | #Constraints:      32642
2407.95/2415.48	c #Conflicts:     500000 | #Constraints:      33642
2407.95/2415.48	c #Conflicts:     501000 | #Constraints:      34642
2407.95/2415.48	c #Conflicts:     502000 | #Constraints:      35642
2407.95/2415.48	c INPROCESSING
2407.95/2415.48	c GARBAGE COLLECT
2407.95/2415.48	c GLOBAL bounds - >= 0 @ 2392.89
2451.61/2459.24	c #Conflicts:     503000 | #Constraints:      22668
2451.61/2459.24	c #Conflicts:     504000 | #Constraints:      23668
2451.61/2459.24	c #Conflicts:     505000 | #Constraints:      24668
2451.61/2459.24	c #Conflicts:     506000 | #Constraints:      25668
2451.61/2459.24	c #Conflicts:     507000 | #Constraints:      26668
2451.61/2459.24	c #Conflicts:     508000 | #Constraints:      27668
2451.61/2459.24	c #Conflicts:     509000 | #Constraints:      28668
2451.61/2459.24	c #Conflicts:     510000 | #Constraints:      29668
2451.61/2459.24	c GLOBAL bounds - >= 0 @ 2436.4
2541.92/2549.81	c #Conflicts:     511000 | #Constraints:      30670
2541.92/2549.81	c #Conflicts:     512000 | #Constraints:      31670
2541.92/2549.81	c #Conflicts:     513000 | #Constraints:      32670
2541.92/2549.81	c #Conflicts:     514000 | #Constraints:      33670
2541.92/2549.81	c #Conflicts:     515000 | #Constraints:      34670
2541.92/2549.81	c #Conflicts:     516000 | #Constraints:      35670
2541.92/2549.81	c INPROCESSING
2541.92/2549.81	c GARBAGE COLLECT
2541.92/2549.81	c #Conflicts:     517000 | #Constraints:      22473
2541.92/2549.81	c #Conflicts:     518000 | #Constraints:      23473
2541.92/2549.81	c #Conflicts:     519000 | #Constraints:      24473
2541.92/2549.81	c #Conflicts:     520000 | #Constraints:      25473
2541.92/2549.81	c #Conflicts:     521000 | #Constraints:      26473
2541.92/2549.81	c #Conflicts:     522000 | #Constraints:      27473
2541.92/2549.81	c #Conflicts:     523000 | #Constraints:      28473
2541.92/2549.81	c #Conflicts:     524000 | #Constraints:      29473
2541.92/2549.81	c #Conflicts:     525000 | #Constraints:      30473
2541.92/2549.81	c GLOBAL bounds - >= 0 @ 2526.3
2558.86/2566.83	c #Conflicts:     526000 | #Constraints:      31475
2558.86/2566.83	c #Conflicts:     527000 | #Constraints:      32475
2558.86/2566.83	c GLOBAL bounds - >= 0 @ 2543.19
2570.14/2578.17	c #Conflicts:     528000 | #Constraints:      33477
2570.14/2578.17	c #Conflicts:     529000 | #Constraints:      34477
2570.14/2578.17	c GLOBAL bounds - >= 0 @ 2554.45
2576.13/2584.16	c #Conflicts:     530000 | #Constraints:      35479
2576.13/2584.16	c GLOBAL bounds - >= 0 @ 2560.36
2580.39/2588.44	c #Conflicts:     531000 | #Constraints:      36481
2580.39/2588.44	c GLOBAL bounds - >= 0 @ 2564.58
2585.00/2593.07	c INPROCESSING
2585.00/2593.07	c GARBAGE COLLECT
2585.00/2593.07	c GLOBAL bounds - >= 0 @ 2569.17
2588.88/2597.00	c GLOBAL bounds - >= 0 @ 2573.06
2597.55/2605.66	c #Conflicts:     532000 | #Constraints:      23048
2597.55/2605.66	c #Conflicts:     533000 | #Constraints:      24048
2597.55/2605.66	c GLOBAL bounds - >= 0 @ 2581.64
2607.81/2615.99	c #Conflicts:     534000 | #Constraints:      25050
2607.81/2615.99	c #Conflicts:     535000 | #Constraints:      26050
2607.81/2615.99	c GLOBAL bounds - >= 0 @ 2591.87
2610.41/2618.51	c GLOBAL bounds - >= 0 @ 2594.36
2614.49/2622.62	c #Conflicts:     536000 | #Constraints:      27054
2614.49/2622.62	c GLOBAL bounds - >= 0 @ 2598.41
2619.08/2627.20	c #Conflicts:     537000 | #Constraints:      28056
2619.08/2627.20	c GLOBAL bounds - >= 0 @ 2602.96
2623.57/2631.76	c #Conflicts:     538000 | #Constraints:      29058
2623.57/2631.76	c GLOBAL bounds - >= 0 @ 2607.48
2667.85/2676.18	c #Conflicts:     539000 | #Constraints:      30060
2667.85/2676.18	c #Conflicts:     540000 | #Constraints:      31060
2667.85/2676.18	c #Conflicts:     541000 | #Constraints:      32060
2667.85/2676.18	c #Conflicts:     542000 | #Constraints:      33060
2667.85/2676.18	c #Conflicts:     543000 | #Constraints:      34060
2667.85/2676.18	c #Conflicts:     544000 | #Constraints:      35060
2667.85/2676.18	c GLOBAL bounds - >= 0 @ 2651.45
2672.73/2681.08	c #Conflicts:     545000 | #Constraints:      36062
2672.73/2681.08	c GLOBAL bounds - >= 0 @ 2656.32
2675.30/2683.68	c GLOBAL bounds - >= 0 @ 2658.9
2677.71/2686.05	c GLOBAL bounds - >= 0 @ 2661.24
2687.06/2695.40	c #Conflicts:     546000 | #Constraints:      37068
2687.06/2695.40	c INPROCESSING
2687.06/2695.40	c GARBAGE COLLECT
2687.06/2695.40	c GLOBAL bounds - >= 0 @ 2670.51
2689.25/2697.68	c GLOBAL bounds - >= 0 @ 2672.76
2690.85/2699.26	c #Conflicts:     547000 | #Constraints:      23428
2690.85/2699.26	c GLOBAL bounds - >= 0 @ 2674.34
2693.54/2701.96	c GLOBAL bounds - >= 0 @ 2677.02
2695.14/2703.55	c GLOBAL bounds - >= 0 @ 2678.58
2716.07/2724.52	c #Conflicts:     548000 | #Constraints:      24434
2716.07/2724.52	c #Conflicts:     549000 | #Constraints:      25434
2716.07/2724.52	c #Conflicts:     550000 | #Constraints:      26434
2716.07/2724.52	c #Conflicts:     551000 | #Constraints:      27434
2716.07/2724.52	c GLOBAL bounds - >= 0 @ 2699.4
2736.53/2745.06	c #Conflicts:     552000 | #Constraints:      28436
2736.53/2745.06	c #Conflicts:     553000 | #Constraints:      29436
2736.53/2745.06	c GLOBAL bounds - >= 0 @ 2719.77
2751.17/2759.76	c #Conflicts:     554000 | #Constraints:      30438
2751.17/2759.76	c #Conflicts:     555000 | #Constraints:      31438
2751.17/2759.76	c GLOBAL bounds - >= 0 @ 2734.35
2753.37/2761.92	c GLOBAL bounds - >= 0 @ 2736.49
2778.77/2787.48	c #Conflicts:     556000 | #Constraints:      32442
2778.77/2787.48	c #Conflicts:     557000 | #Constraints:      33442
2778.77/2787.48	c #Conflicts:     558000 | #Constraints:      34442
2778.77/2787.48	c #Conflicts:     559000 | #Constraints:      35442
2778.77/2787.48	c #Conflicts:     560000 | #Constraints:      36442
2778.77/2787.48	c GLOBAL bounds - >= 0 @ 2761.84
2781.86/2790.58	c GLOBAL bounds - >= 0 @ 2764.92
2834.08/2842.92	c #Conflicts:     561000 | #Constraints:      37446
2834.08/2842.92	c INPROCESSING
2834.08/2842.92	c GARBAGE COLLECT
2834.08/2842.92	c #Conflicts:     562000 | #Constraints:      23621
2834.08/2842.92	c #Conflicts:     563000 | #Constraints:      24621
2834.08/2842.92	c #Conflicts:     564000 | #Constraints:      25621
2834.08/2842.92	c #Conflicts:     565000 | #Constraints:      26621
2834.08/2842.92	c #Conflicts:     566000 | #Constraints:      27621
2834.08/2842.92	c #Conflicts:     567000 | #Constraints:      28621
2834.08/2842.92	c #Conflicts:     568000 | #Constraints:      29621
2834.08/2842.92	c #Conflicts:     569000 | #Constraints:      30621
2834.08/2842.92	c GLOBAL bounds - >= 0 @ 2816.94
3124.55/3134.36	c #Conflicts:     570000 | #Constraints:      31623
3124.55/3134.36	c #Conflicts:     571000 | #Constraints:      32623
3124.55/3134.36	c #Conflicts:     572000 | #Constraints:      33623
3124.55/3134.36	c #Conflicts:     573000 | #Constraints:      34623
3124.55/3134.36	c #Conflicts:     574000 | #Constraints:      35623
3124.55/3134.36	c #Conflicts:     575000 | #Constraints:      36623
3124.55/3134.36	c #Conflicts:     576000 | #Constraints:      37623
3124.55/3134.36	c INPROCESSING
3124.55/3134.36	c GARBAGE COLLECT
3124.55/3134.36	c #Conflicts:     577000 | #Constraints:      23673
3124.55/3134.36	c #Conflicts:     578000 | #Constraints:      24673
3124.55/3134.36	c #Conflicts:     579000 | #Constraints:      25673
3124.55/3134.36	c #Conflicts:     580000 | #Constraints:      26673
3124.55/3134.36	c #Conflicts:     581000 | #Constraints:      27673
3124.55/3134.36	c #Conflicts:     582000 | #Constraints:      28673
3124.55/3134.36	c #Conflicts:     583000 | #Constraints:      29673
3124.55/3134.36	c #Conflicts:     584000 | #Constraints:      30673
3124.55/3134.36	c #Conflicts:     585000 | #Constraints:      31673
3124.55/3134.36	c #Conflicts:     586000 | #Constraints:      32673
3124.55/3134.36	c #Conflicts:     587000 | #Constraints:      33673
3124.55/3134.36	c #Conflicts:     588000 | #Constraints:      34673
3124.55/3134.36	c #Conflicts:     589000 | #Constraints:      35673
3124.55/3134.36	c #Conflicts:     590000 | #Constraints:      36673
3124.55/3134.36	c #Conflicts:     591000 | #Constraints:      37673
3124.55/3134.36	c INPROCESSING
3124.55/3134.36	c GARBAGE COLLECT
3124.55/3134.36	c #Conflicts:     592000 | #Constraints:      23510
3124.55/3134.36	c #Conflicts:     593000 | #Constraints:      24510
3124.55/3134.36	c #Conflicts:     594000 | #Constraints:      25510
3124.55/3134.36	c #Conflicts:     595000 | #Constraints:      26510
3124.55/3134.36	c #Conflicts:     596000 | #Constraints:      27510
3124.55/3134.36	c #Conflicts:     597000 | #Constraints:      28510
3124.55/3134.36	c #Conflicts:     598000 | #Constraints:      29510
3124.55/3134.36	c #Conflicts:     599000 | #Constraints:      30510
3124.55/3134.36	c #Conflicts:     600000 | #Constraints:      31510
3124.55/3134.36	c #Conflicts:     601000 | #Constraints:      32510
3124.55/3134.36	c #Conflicts:     602000 | #Constraints:      33510
3124.55/3134.36	c #Conflicts:     603000 | #Constraints:      34510
3124.55/3134.36	c #Conflicts:     604000 | #Constraints:      35510
3124.55/3134.36	c GLOBAL bounds - >= 0 @ 3105.99
3265.59/3275.85	c #Conflicts:     605000 | #Constraints:      36512
3265.59/3275.85	c #Conflicts:     606000 | #Constraints:      37512
3265.59/3275.85	c #Conflicts:     607000 | #Constraints:      38512
3265.59/3275.85	c INPROCESSING
3265.59/3275.85	c GARBAGE COLLECT
3265.59/3275.85	c #Conflicts:     608000 | #Constraints:      24116
3265.59/3275.85	c #Conflicts:     609000 | #Constraints:      25116
3265.59/3275.85	c #Conflicts:     610000 | #Constraints:      26116
3265.59/3275.85	c #Conflicts:     611000 | #Constraints:      27116
3265.59/3275.85	c #Conflicts:     612000 | #Constraints:      28116
3265.59/3275.85	c #Conflicts:     613000 | #Constraints:      29116
3265.59/3275.85	c #Conflicts:     614000 | #Constraints:      30116
3265.59/3275.85	c #Conflicts:     615000 | #Constraints:      31116
3265.59/3275.85	c #Conflicts:     616000 | #Constraints:      32116
3265.59/3275.85	c #Conflicts:     617000 | #Constraints:      33116
3265.59/3275.85	c #Conflicts:     618000 | #Constraints:      34116
3265.59/3275.85	c #Conflicts:     619000 | #Constraints:      35116
3265.59/3275.85	c #Conflicts:     620000 | #Constraints:      36116
3265.59/3275.85	c #Conflicts:     621000 | #Constraints:      37116
3265.59/3275.85	c #Conflicts:     622000 | #Constraints:      38116
3265.59/3275.85	c #Conflicts:     623000 | #Constraints:      39116
3265.59/3275.85	c INPROCESSING
3265.59/3275.85	c GARBAGE COLLECT
3265.59/3275.85	c #Conflicts:     624000 | #Constraints:      24522
3265.59/3275.85	c #Conflicts:     625000 | #Constraints:      25522
3265.59/3275.85	c GLOBAL bounds - >= 0 @ 3246.69
3360.09/3370.67	c #Conflicts:     626000 | #Constraints:      26524
3360.09/3370.67	c #Conflicts:     627000 | #Constraints:      27524
3360.09/3370.67	c #Conflicts:     628000 | #Constraints:      28524
3360.09/3370.67	c #Conflicts:     629000 | #Constraints:      29524
3360.09/3370.67	c #Conflicts:     630000 | #Constraints:      30524
3360.09/3370.67	c #Conflicts:     631000 | #Constraints:      31524
3360.09/3370.67	c #Conflicts:     632000 | #Constraints:      32524
3360.09/3370.67	c #Conflicts:     633000 | #Constraints:      33524
3360.09/3370.67	c #Conflicts:     634000 | #Constraints:      34524
3360.09/3370.67	c #Conflicts:     635000 | #Constraints:      35524
3360.09/3370.67	c #Conflicts:     636000 | #Constraints:      36524
3360.09/3370.67	c #Conflicts:     637000 | #Constraints:      37524
3360.09/3370.67	c #Conflicts:     638000 | #Constraints:      38524
3360.09/3370.67	c GLOBAL bounds - >= 0 @ 3340.24
3436.94/3447.70	c #Conflicts:     639000 | #Constraints:      39526
3436.94/3447.70	c INPROCESSING
3436.94/3447.70	c GARBAGE COLLECT
3436.94/3447.70	c #Conflicts:     640000 | #Constraints:      24715
3436.94/3447.70	c #Conflicts:     641000 | #Constraints:      25715
3436.94/3447.70	c #Conflicts:     642000 | #Constraints:      26715
3436.94/3447.70	c #Conflicts:     643000 | #Constraints:      27715
3436.94/3447.70	c #Conflicts:     644000 | #Constraints:      28715
3436.94/3447.70	c #Conflicts:     645000 | #Constraints:      29715
3436.94/3447.70	c #Conflicts:     646000 | #Constraints:      30715
3436.94/3447.70	c #Conflicts:     647000 | #Constraints:      31715
3436.94/3447.70	c #Conflicts:     648000 | #Constraints:      32715
3436.94/3447.70	c #Conflicts:     649000 | #Constraints:      33715
3436.94/3447.70	c GLOBAL bounds - >= 0 @ 3416.59
3520.66/3531.73	c #Conflicts:     650000 | #Constraints:      34717
3520.66/3531.73	c #Conflicts:     651000 | #Constraints:      35717
3520.66/3531.73	c #Conflicts:     652000 | #Constraints:      36717
3520.66/3531.73	c #Conflicts:     653000 | #Constraints:      37717
3520.66/3531.73	c #Conflicts:     654000 | #Constraints:      38717
3520.66/3531.73	c #Conflicts:     655000 | #Constraints:      39717
3520.66/3531.73	c INPROCESSING
3520.66/3531.73	c GARBAGE COLLECT
3520.66/3531.73	c #Conflicts:     656000 | #Constraints:      24727
3520.66/3531.73	c #Conflicts:     657000 | #Constraints:      25727
3520.66/3531.73	c #Conflicts:     658000 | #Constraints:      26727
3520.66/3531.73	c #Conflicts:     659000 | #Constraints:      27727
3520.66/3531.73	c #Conflicts:     660000 | #Constraints:      28727
3520.66/3531.73	c GLOBAL bounds - >= 0 @ 3499.91
3549.26/3560.43	c #Conflicts:     661000 | #Constraints:      29729
3549.26/3560.43	c #Conflicts:     662000 | #Constraints:      30729
3549.26/3560.43	c #Conflicts:     663000 | #Constraints:      31729
3549.26/3560.43	c #Conflicts:     664000 | #Constraints:      32729
3549.26/3560.43	c #Conflicts:     665000 | #Constraints:      33729
3549.26/3560.43	c #Conflicts:     666000 | #Constraints:      34729
3549.26/3560.43	c GLOBAL bounds - >= 0 @ 3528.42
3585.54/3596.84	c #Conflicts:     667000 | #Constraints:      35731
3585.54/3596.84	c #Conflicts:     668000 | #Constraints:      36731
3585.54/3596.84	c #Conflicts:     669000 | #Constraints:      37731
3585.54/3596.84	c #Conflicts:     670000 | #Constraints:      38731
3585.54/3596.84	c #Conflicts:     671000 | #Constraints:      39731
3585.54/3596.84	c INPROCESSING
3585.54/3596.84	c GARBAGE COLLECT
3585.54/3596.84	c #Conflicts:     672000 | #Constraints:      24533
3585.54/3596.84	c GLOBAL bounds - >= 0 @ 3564.58
3600.09/3611.40	c #Conflicts:     673000 | #Constraints:      25535
3600.09/3611.40	c #Conflicts:     674000 | #Constraints:      26535
3600.09/3611.40	c cpu time 3578.97 s
3600.09/3611.40	c deterministic time 1 1.00e+00
3600.09/3611.40	c optimization time 3578.9 s
3600.09/3611.40	c total solve time 0 s
3600.09/3611.40	c core-guided solve time 0 s
3600.09/3611.40	c propagation time 0.006714 s
3600.09/3611.40	c conflict analysis time 0 s
3600.09/3611.40	c propagations 0
3600.09/3611.40	c resolve steps 0
3600.09/3611.40	c decisions 0
3600.09/3611.40	c conflicts 0
3600.09/3611.40	c restarts 0
3600.09/3611.40	c inprocessing phases 0
3600.09/3611.40	c garbage collections 0 ,( -nan )
3600.09/3611.40	c input clauses 7200 ,( 100.00 )
3600.09/3611.40	c input cardinalities 0 ,( 0.00 )
3600.09/3611.40	c input general constraints 0 ,( 0.00 )
3600.09/3611.40	c input average constraint length 4.00
3600.09/3611.40	c input average constraint degree 1.00
3600.09/3611.40	c learned clauses 0 ,( 0.00 )
3600.09/3611.40	c learned cardinalities 0 ,( 0.00 )
3600.09/3611.40	c learned general constraints 0 ,( 0.00 )
3600.09/3611.40	c learned average constraint length 0.00
3600.09/3611.40	c learned average constraint degree 0.00
3600.09/3611.40	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.40	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3611.40	c watched   constraints 0 ,( -nan ) 
3600.09/3611.40	c counting  constraints 0 ,( -nan ) 
3600.09/3611.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3611.40	c gcd simplifications 0
3600.09/3611.40	c detected cardinalities 0
3600.09/3611.40	c weakened non-implied lits 0
3600.09/3611.40	c weakened non-implying lits 0
3600.09/3611.40	c original variables 7200
3600.09/3611.40	c clausal propagations 0
3600.09/3611.40	c cardinality propagations 0
3600.09/3611.40	c watched propagations 0
3600.09/3611.40	c counting propagations 0
3600.09/3611.40	c watch lookups 0
3600.09/3611.40	c watch backjump lookups 0
3600.09/3611.40	c watch checks 0
3600.09/3611.40	c propagation checks 0
3600.09/3611.40	c constraint additions 0
3600.09/3611.40	c trail pops 0
3600.09/3611.40	c formula constraints 7200
3600.09/3611.40	c learned constraints 0
3600.09/3611.40	c bound constraints 0
3600.09/3611.40	c core-guided constraints 0
3600.09/3611.40	c encountered formula constraints 0
3600.09/3611.40	c encountered learned constraints 0
3600.09/3611.40	c encountered bound constraints 0
3600.09/3611.40	c encountered core-guided constraints 0
3600.09/3611.40	c LP total time 0 s
3600.09/3611.40	c LP solve time 0 s
3600.09/3611.40	c LP constraints added 0
3600.09/3611.40	c LP constraints removed 0
3600.09/3611.40	c LP pivots internal 0
3600.09/3611.40	c LP pivots root 0
3600.09/3611.40	c LP calls 0
3600.09/3611.40	c LP optimalities 0
3600.09/3611.40	c LP no pivot count 0
3600.09/3611.40	c LP infeasibilities 0
3600.09/3611.40	c LP valid Farkas constraints 0
3600.09/3611.40	c LP learned Farkas constraints 0
3600.09/3611.40	c LP basis resets 0
3600.09/3611.40	c LP cycling count 0
3600.09/3611.40	c LP singular count 0
3600.09/3611.40	c LP no primal count 0
3600.09/3611.40	c LP no farkas count 0
3600.09/3611.40	c LP other issue count 0
3600.09/3611.40	c LP Gomory cuts 0
3600.09/3611.40	c LP learned cuts 0
3600.09/3611.40	c LP deleted cuts 0
3600.09/3611.40	c LP encountered Gomory constraints 0
3600.09/3611.40	c LP encountered Farkas constraints 0
3600.09/3611.40	c LP encountered learned Farkas constraints 0
3600.09/3611.40	c CG auxiliary variables introduced 0
3600.09/3611.40	c CG solutions found 0
3600.09/3611.40	c CG cores constructed 0
3600.09/3611.40	c CG core cardinality constraints returned 0
3600.09/3611.40	c CG unit cores 0
3600.09/3611.40	c CG single cores 0
3600.09/3611.40	c CG blocks removed during cardinality reduction 0
3600.09/3611.40	c CG first core best 0
3600.09/3611.40	c CG decision core best 0
3600.09/3611.40	c CG core reduction tie 0
3600.09/3611.40	c CG core degree average 0.00
3600.09/3611.40	c CG core slack average 0.00
3600.09/3611.40	c CG core upper bound improvements 0
3600.09/3611.40	c STR number of successful calls 0
3600.09/3611.40	c STR number of unsuccessful calls 0
3600.09/3611.40	c STR number of inconclusive calls 0
3600.09/3611.40	c STR number of successful attempts 0
3600.09/3611.40	c STR number of unsuccessful attempts 0
3600.09/3611.40	c STR number of inconclusive attempts 0
3600.09/3611.40	c STR average degree increase per successful call inf
3600.09/3611.40	c STR average degree increase per successful attempt inf
3600.09/3611.40	c STR total number of conflicts for successful attempts 0
3600.09/3611.40	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.40	c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.40	c STR average number of conflicts per successful attempt inf
3600.09/3611.40	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.40	c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.40	c AVG.sumWPerc -nan 
3600.09/3611.40	c bigint constraints 0 
3600.09/3611.40	s UNKNOWN
3600.09/3611.40	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: 63837 MiB (63122 MiB free)
  memory of node 1: 64465 MiB (63737 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520710-1751578586/watcher-4520710-1751578586 -o /tmp/evaluation-result-4520710-1751578586/solver-4520710-1751578586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81856 --watchdog 3760 run-opt.sh HOME/instance-4520710-1751578586.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=82281, runsolver pid=82275

[startup+0.100073 s]*
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129880212/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=58248 memory=12556 CPUtime=0.06 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 1393 0 0 0 4 2 0 0 20 0 1 0 73537745 59645952 3139 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 14562 3139 2176 1147 0 1989 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62440 KiB
Current children cumulated memory: 15628 KiB

[startup+0.213931 s]*
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129859996/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=73008 memory=23356 CPUtime=0.18 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 4528 0 0 0 11 7 0 0 20 0 1 0 73537745 74760192 5839 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 18252 5839 2304 1147 0 5679 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 77200 KiB
Current children cumulated memory: 26428 KiB

[startup+0.314077 s]*
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129847900/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=74896 memory=26172 CPUtime=0.28 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 5237 0 0 0 20 8 0 0 20 0 1 0 73537745 76693504 6543 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 18724 6543 2304 1147 0 6151 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 79088 KiB
Current children cumulated memory: 29244 KiB

[startup+0.700401 s]
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129802040/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=89140 memory=43148 CPUtime=0.65 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 8440 0 0 0 53 12 0 0 20 0 1 0 73537745 91279360 10787 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 22285 10787 2304 1147 0 9712 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 93332 KiB
Current children cumulated memory: 46220 KiB

[startup+1.50042 s]
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129687692/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=146588 memory=100544 CPUtime=1.45 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 20706 0 0 0 126 19 0 0 20 0 1 0 73537745 150106112 25136 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 36647 25136 2336 1147 0 24074 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 150780 KiB
Current children cumulated memory: 103616 KiB

[startup+3.11316 s]
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129238368/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=269544 memory=196652 CPUtime=3.05 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 37612 0 0 0 278 27 0 0 20 0 1 0 73537745 276013056 49163 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 67386 49163 2336 1147 0 54813 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 273736 KiB
Current children cumulated memory: 199724 KiB

[startup+6.30039 s]
/proc/loadavg: 4.08 4.13 4.16 5/256 82293
/proc/meminfo: memFree=128711640/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=442320 memory=376600 CPUtime=6.23 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 68797 0 0 0 584 39 0 0 20 0 1 0 73537745 452935680 94150 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 110580 94150 2336 1147 0 98007 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 446512 KiB
Current children cumulated memory: 379672 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.13 4.16 5/256 82293
/proc/meminfo: memFree=128278816/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=761592 memory=626924 CPUtime=12.61 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 117615 0 0 0 1205 56 0 0 20 0 1 0 73537745 779870208 156731 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 190398 156731 2336 1147 0 177825 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 765784 KiB
Current children cumulated memory: 629996 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.14 4.16 5/256 82294
/proc/meminfo: memFree=127224184/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=769656 memory=718192 CPUtime=25.37 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 129690 0 0 0 2464 73 0 0 20 0 1 0 73537745 788127744 179548 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 192414 179548 2336 1147 0 179841 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 773848 KiB
Current children cumulated memory: 721264 KiB

[startup+51.113 s]
/proc/loadavg: 4.09 4.12 4.15 5/255 82294
/proc/meminfo: memFree=126246728/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=1346004 memory=1045760 CPUtime=50.92 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 200352 0 0 0 4987 105 0 0 20 0 1 0 73537745 1378308096 261440 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 336501 261440 2336 1147 0 323928 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1350196 KiB
Current children cumulated memory: 1048832 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/255 82296
/proc/meminfo: memFree=125511796/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=1356408 memory=1172404 CPUtime=101.96 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 217247 0 0 0 10036 160 0 0 20 0 1 0 73537745 1388961792 293101 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 339102 293101 2336 1147 0 326529 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1360600 KiB
Current children cumulated memory: 1175476 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/255 82298
/proc/meminfo: memFree=125123356/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=1584900 memory=1260352 CPUtime=161.79 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 229529 0 0 0 15969 210 0 0 20 0 1 0 73537745 1622937600 315088 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 396225 315088 2336 1147 0 383652 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1589092 KiB
Current children cumulated memory: 1263424 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/255 82300
/proc/meminfo: memFree=124416512/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=1595024 memory=1384636 CPUtime=221.63 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 246314 0 0 0 21903 260 0 0 20 0 1 0 73537745 1633304576 346159 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 398756 346159 2336 1147 0 386183 0

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

/proc/82287/statm: 1350272 1211509 2336 1147 0 1337699 0
Current children cumulated CPU time: 3032.84 s
Current children cumulated vsize: 5405280 KiB
Current children cumulated memory: 4849108 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.15 5/255 82462
/proc/meminfo: memFree=114819548/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=5401088 memory=4882260 CPUtime=3092.65 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 794302 0 0 0 307414 1851 0 0 20 0 1 0 73537745 5530714112 1220565 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 1350272 1220565 2336 1147 0 1337699 0
Current children cumulated CPU time: 3092.65 s
Current children cumulated vsize: 5405280 KiB
Current children cumulated memory: 4885332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.11 4.15 5/255 82464
/proc/meminfo: memFree=114713804/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=5468676 memory=4979672 CPUtime=3152.46 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 804705 0 0 0 313374 1872 0 0 20 0 1 0 73537745 5599924224 1244918 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 1367169 1244918 2336 1147 0 1354596 0
Current children cumulated CPU time: 3152.46 s
Current children cumulated vsize: 5472868 KiB
Current children cumulated memory: 4982744 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/255 82466
/proc/meminfo: memFree=114618052/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=5468676 memory=5020632 CPUtime=3212.26 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 804911 0 0 0 319343 1883 0 0 20 0 1 0 73537745 5599924224 1255158 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 1367169 1255158 2336 1147 0 1354596 0
Current children cumulated CPU time: 3212.26 s
Current children cumulated vsize: 5472868 KiB
Current children cumulated memory: 5023704 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/254 82473
/proc/meminfo: memFree=114489412/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=5468676 memory=5064152 CPUtime=3272.08 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 805003 0 0 0 325309 1899 0 0 20 0 1 0 73537745 5599924224 1266038 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 1367169 1266038 2336 1147 0 1354596 0
Current children cumulated CPU time: 3272.08 s
Current children cumulated vsize: 5472868 KiB
Current children cumulated memory: 5067224 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/253 82475
/proc/meminfo: memFree=114439520/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=5468676 memory=5108696 CPUtime=3331.89 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 805217 0 0 0 331239 1950 0 0 20 0 1 0 73537745 5599924224 1277174 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 1367169 1277174 2336 1147 0 1354596 0
Current children cumulated CPU time: 3331.89 s
Current children cumulated vsize: 5472868 KiB
Current children cumulated memory: 5111768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.13 5/253 82476
/proc/meminfo: memFree=114435752/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=5468676 memory=5108696 CPUtime=3391.68 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 805438 0 0 0 337153 2015 0 0 20 0 1 0 73537745 5599924224 1277174 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 1367169 1277174 2336 1147 0 1354596 0
Current children cumulated CPU time: 3391.68 s
Current children cumulated vsize: 5472868 KiB
Current children cumulated memory: 5111768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.13 5/254 82479
/proc/meminfo: memFree=114351388/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=5468676 memory=5108696 CPUtime=3451.5 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 805897 0 0 0 343106 2044 0 0 20 0 1 0 73537745 5599924224 1277174 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 1367169 1277174 2336 1147 0 1354596 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 5472868 KiB
Current children cumulated memory: 5111768 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/254 82481
/proc/meminfo: memFree=114337204/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=5468676 memory=5108696 CPUtime=3511.29 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 805998 0 0 0 349054 2075 0 0 20 0 1 0 73537745 5599924224 1277174 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 1367169 1277174 2336 1147 0 1354596 0
Current children cumulated CPU time: 3511.29 s
Current children cumulated vsize: 5472868 KiB
Current children cumulated memory: 5111768 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.11 5/254 82485
/proc/meminfo: memFree=114322436/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=5468676 memory=5108696 CPUtime=3571.08 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 806461 0 0 0 355014 2094 0 0 20 0 1 0 73537745 5599924224 1277174 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 1367169 1277174 2336 1147 0 1354596 0
Current children cumulated CPU time: 3571.08 s
Current children cumulated vsize: 5472868 KiB
Current children cumulated memory: 5111768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.16 4.10 4.12 4/249 82495
/proc/meminfo: memFree=120107292/131382120 swapFree=33010160/33010684
[pid=82281] ppid=82275 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82281/stat : 82281 (run-opt.sh) S 82275 82281 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537744 4292608 768 18446744073709551615 93877111508992 93877112403525 140723098158096 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877112642576 93877112690320 93877135093760 140723098159469 140723098159592 140723098159592 140723098165194 0
/proc/82281/statm: 1048 768 704 219 0 110 0
[pid=82287] ppid=82281 vsize=5468676 memory=5108696 CPUtime=3600.09 cores=1,3
/proc/82287/stat : 82287 (roundingsat) R 82281 82281 81821 0 -1 4194304 806492 0 0 0 357897 2112 0 0 20 0 1 0 73537745 5599924224 1277174 18446744073709551615 4227072 8923433 140725590313584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33955840 140725590317474 140725590317608 140725590317608 140725590323178 0
/proc/82287/statm: 1367169 1277174 2336 1147 0 1354596 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5472868 KiB
Current children cumulated memory: 5111768 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

Child status: 2

Real time (s): 3611.42
CPU time (s): 3600.13
CPU user time (s): 3578.98
CPU system time (s): 21.1452
CPU usage (%): 99.6873
Max. virtual memory (cumulated for all children) (KiB): 5472868
Max. memory (cumulated for all children) (KiB): 5111768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.98
system time used= 21.1452
maximum resident set size= 5109080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 806719
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= 891
involuntary context switches= 3056


# summary of solver processes directly reported to runsolver:
#   pid: 82281,82287
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3578.98
#   total CPU system time (s): 21.1452

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2221 second user time and 36.5002 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 23:36:26
IDJOB=4520710
IDBENCH=178119
IDSOLVER=3350
FILE ID=nodeC008/4520710-1751578586
RUNJOBID= nodeC008-1751574973-81856
SLURM_JOB_ID= 9598800
Free space on /tmp= 432816 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520710-1751578586/watcher-4520710-1751578586 -o /tmp/evaluation-result-4520710-1751578586/solver-4520710-1751578586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81856 --watchdog 3760  run-opt.sh HOME/instance-4520710-1751578586.opb

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

MD5SUM BENCH= 8e16dee4cd29ebff6657caf88bddd14a
RANDOM SEED=1114294367

nodeC008 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	: 0xb00001f
cpu MHz		: 1197.309
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.209
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.221
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.198
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.365
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.214
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.196
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.341
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129883268 kB
MemAvailable:   129952484 kB
Buffers:            2128 kB
Cached:           863952 kB
SwapCached:           16 kB
Active:           592044 kB
Inactive:         345108 kB
Active(anon):      52584 kB
Inactive(anon):    36408 kB
Active(file):     539460 kB
Inactive(file):   308700 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30284 kB
Writeback:            16 kB
AnonPages:         74192 kB
Mapped:           103540 kB
Shmem:             17920 kB
KReclaimable:     121368 kB
Slab:             206328 kB
SReclaimable:     121368 kB
SUnreclaim:        84960 kB
KernelStack:        3860 kB
PageTables:         2824 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432784 MiB
End job on nodeC008 at 2025-07-04 00:36:38