Trace number 4485274

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.24 3610.84

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
MD5SUM5a39ac8f1a01f5c3e570fe1132d30af4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark951
Best CPU time to get the best result obtained on this benchmark72001.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13215
Total number of constraints2587
Number of constraints which are clauses2586
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10632
Number of terms in the objective function 13215
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 23847
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 23847
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.06	c #variables 13215 #constraints 2545
0.00/0.06	c objective is ce32 
0.00/0.07	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.045297
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.051153
0.07/0.13	c GLOBAL bounds - >= 0 @ 0.077199
0.07/0.16	c GLOBAL bounds - >= 0 @ 0.100365
0.07/0.19	c GLOBAL bounds - >= 0 @ 0.12196
0.17/0.26	c GLOBAL bounds - >= 0 @ 0.179282
0.17/0.29	c GLOBAL bounds - >= 0 @ 0.20366
0.27/0.33	c GLOBAL bounds - >= 0 @ 0.232843
0.27/0.38	c GLOBAL bounds - >= 0 @ 0.264964
0.37/0.41	c GLOBAL bounds - >= 0 @ 0.293952
0.37/0.46	c GLOBAL bounds - >= 0 @ 0.334887
0.37/0.50	c GLOBAL bounds - >= 0 @ 0.360742
0.47/0.55	c GLOBAL bounds - >= 0 @ 0.398135
0.57/0.60	c GLOBAL bounds - >= 0 @ 0.438298
0.57/0.68	c GLOBAL bounds - >= 0 @ 0.499427
0.66/0.71	c GLOBAL bounds - >= 0 @ 0.522277
1.06/1.13	c GLOBAL bounds - >= 0 @ 0.91203
1.16/1.26	c GLOBAL bounds - >= 0 @ 1.02513
1.36/1.40	c GLOBAL bounds - >= 0 @ 1.15695
1.36/1.46	c GLOBAL bounds - >= 0 @ 1.20754
1.46/1.53	c GLOBAL bounds - >= 0 @ 1.2734
1.56/1.62	c GLOBAL bounds - >= 0 @ 1.35088
1.56/1.69	c GLOBAL bounds - >= 0 @ 1.41289
1.66/1.79	c GLOBAL bounds - >= 0 @ 1.50038
1.86/1.98	c GLOBAL bounds - >= 0 @ 1.64823
2.06/2.13	c GLOBAL bounds - >= 0 @ 1.7793
2.26/2.32	c GLOBAL bounds - >= 0 @ 1.95371
2.85/2.90	c GLOBAL bounds - >= 0 @ 2.49717
3.06/3.13	c GLOBAL bounds - >= 0 @ 2.7138
3.06/3.18	c GLOBAL bounds - >= 0 @ 2.76728
3.26/3.35	c GLOBAL bounds - >= 0 @ 2.92049
3.36/3.47	c GLOBAL bounds - >= 0 @ 3.02698
3.55/3.68	c #Conflicts:       1000 | #Constraints:       3605
3.55/3.68	c GLOBAL bounds - >= 0 @ 3.1922
3.66/3.79	c GLOBAL bounds - >= 0 @ 3.2914
3.85/3.91	c GLOBAL bounds - >= 0 @ 3.40117
4.15/4.26	c GLOBAL bounds - >= 0 @ 3.7187
4.45/4.54	c GLOBAL bounds - >= 0 @ 3.97499
4.65/4.78	c GLOBAL bounds - >= 0 @ 4.19187
4.96/5.09	c GLOBAL bounds - >= 0 @ 4.49182
5.25/5.34	c GLOBAL bounds - >= 0 @ 4.72735
5.54/5.66	c GLOBAL bounds - >= 0 @ 5.02074
6.14/6.22	c GLOBAL bounds - >= 0 @ 5.54208
9.63/9.74	c #Conflicts:       2000 | #Constraints:       4625
9.63/9.74	c INPROCESSING
9.63/9.74	c GARBAGE COLLECT
9.63/9.74	c GLOBAL bounds - >= 0 @ 9.0095
10.94/11.07	c GLOBAL bounds - >= 0 @ 10.3198
11.94/12.01	c #Conflicts:       3000 | #Constraints:       4651
11.94/12.01	c GLOBAL bounds - >= 0 @ 11.2199
12.53/12.61	c GLOBAL bounds - >= 0 @ 11.7351
12.53/12.66	c GLOBAL bounds - >= 0 @ 11.7805
12.93/13.09	c GLOBAL bounds - >= 0 @ 12.1935
13.43/13.59	c GLOBAL bounds - >= 0 @ 12.6709
13.63/13.73	c GLOBAL bounds - >= 0 @ 12.7995
13.93/14.01	c GLOBAL bounds - >= 0 @ 13.0637
14.03/14.16	c GLOBAL bounds - >= 0 @ 13.2081
14.22/14.31	c GLOBAL bounds - >= 0 @ 13.343
14.42/14.55	c GLOBAL bounds - >= 0 @ 13.5646
15.43/15.59	c #Conflicts:       4000 | #Constraints:       5671
15.43/15.59	c GLOBAL bounds - >= 0 @ 14.5593
16.72/16.82	c INPROCESSING
16.72/16.82	c GARBAGE COLLECT
16.72/16.82	c GLOBAL bounds - >= 0 @ 15.762
17.81/17.95	c GLOBAL bounds - >= 0 @ 16.8523
20.11/20.20	c #Conflicts:       5000 | #Constraints:       5099
20.11/20.20	c GLOBAL bounds - >= 0 @ 19.043
22.60/22.76	c #Conflicts:       6000 | #Constraints:       6101
22.60/22.76	c GLOBAL bounds - >= 0 @ 21.5508
23.50/23.63	c GLOBAL bounds - >= 0 @ 22.3858
30.29/30.41	c INPROCESSING
30.29/30.41	c GARBAGE COLLECT
30.29/30.41	c #Conflicts:       7000 | #Constraints:       5132
30.29/30.41	c #Conflicts:       8000 | #Constraints:       6132
30.29/30.41	c GLOBAL bounds - >= 0 @ 29.0756
31.57/31.75	c GLOBAL bounds - >= 0 @ 30.3811
32.18/32.36	c GLOBAL bounds - >= 0 @ 30.9634
33.17/33.35	c GLOBAL bounds - >= 0 @ 31.7929
35.07/35.22	c #Conflicts:       9000 | #Constraints:       7140
35.07/35.22	c INPROCESSING
35.07/35.22	c GARBAGE COLLECT
35.07/35.22	c GLOBAL bounds - >= 0 @ 33.6134
37.16/37.39	c GLOBAL bounds - >= 0 @ 35.7271
37.76/37.95	c #Conflicts:      10000 | #Constraints:       5861
37.76/37.95	c GLOBAL bounds - >= 0 @ 36.2721
38.55/38.78	c GLOBAL bounds - >= 0 @ 37.0975
39.26/39.46	c GLOBAL bounds - >= 0 @ 37.7675
39.65/39.84	c GLOBAL bounds - >= 0 @ 38.1458
39.96/40.18	c GLOBAL bounds - >= 0 @ 38.4728
40.35/40.53	c GLOBAL bounds - >= 0 @ 38.8206
42.15/42.39	c #Conflicts:      11000 | #Constraints:       6873
42.15/42.39	c GLOBAL bounds - >= 0 @ 40.6547
43.34/43.58	c GLOBAL bounds - >= 0 @ 41.8152
44.54/44.71	c GLOBAL bounds - >= 0 @ 42.9033
44.65/44.88	c GLOBAL bounds - >= 0 @ 43.0628
52.42/52.66	c #Conflicts:      12000 | #Constraints:       7881
52.42/52.66	c INPROCESSING
52.42/52.66	c GARBAGE COLLECT
52.42/52.66	c #Conflicts:      13000 | #Constraints:       6310
52.42/52.66	c GLOBAL bounds - >= 0 @ 50.6881
59.11/59.35	c #Conflicts:      14000 | #Constraints:       7312
59.11/59.35	c #Conflicts:      15000 | #Constraints:       8312
59.11/59.35	c INPROCESSING
59.11/59.35	c GARBAGE COLLECT
59.11/59.35	c GLOBAL bounds - >= 0 @ 57.32
61.70/61.95	c GLOBAL bounds - >= 0 @ 59.8938
71.97/72.29	c #Conflicts:      16000 | #Constraints:       6563
71.97/72.29	c #Conflicts:      17000 | #Constraints:       7563
71.97/72.29	c #Conflicts:      18000 | #Constraints:       8563
71.97/72.29	c INPROCESSING
71.97/72.29	c GARBAGE COLLECT
71.97/72.29	c GLOBAL bounds - >= 0 @ 70.1533
78.65/78.91	c #Conflicts:      19000 | #Constraints:       6595
78.65/78.91	c GLOBAL bounds - >= 0 @ 76.7118
79.04/79.31	c GLOBAL bounds - >= 0 @ 77.1004
79.34/79.68	c #Conflicts:      20000 | #Constraints:       7599
79.34/79.68	c GLOBAL bounds - >= 0 @ 77.4672
79.65/79.99	c GLOBAL bounds - >= 0 @ 77.7758
79.94/80.23	c GLOBAL bounds - >= 0 @ 78.0109
86.13/86.48	c #Conflicts:      21000 | #Constraints:       8605
86.13/86.48	c INPROCESSING
86.13/86.48	c GARBAGE COLLECT
86.13/86.48	c GLOBAL bounds - >= 0 @ 84.1717
87.73/88.06	c #Conflicts:      22000 | #Constraints:       6414
87.73/88.06	c GLOBAL bounds - >= 0 @ 85.7301
88.62/88.90	c GLOBAL bounds - >= 0 @ 86.5562
89.62/89.97	c GLOBAL bounds - >= 0 @ 87.5763
90.02/90.35	c GLOBAL bounds - >= 0 @ 87.9454
91.12/91.49	c #Conflicts:      23000 | #Constraints:       7422
91.12/91.49	c GLOBAL bounds - >= 0 @ 89.0466
91.61/91.97	c GLOBAL bounds - >= 0 @ 89.5253
92.11/92.47	c GLOBAL bounds - >= 0 @ 89.9975
92.61/92.96	c GLOBAL bounds - >= 0 @ 90.4683
93.21/93.52	c GLOBAL bounds - >= 0 @ 91.0093
94.31/94.63	c GLOBAL bounds - >= 0 @ 92.0927
94.40/94.74	c GLOBAL bounds - >= 0 @ 92.1873
96.10/96.45	c #Conflicts:      24000 | #Constraints:       8436
96.10/96.45	c GLOBAL bounds - >= 0 @ 93.8562
97.20/97.58	c GLOBAL bounds - >= 0 @ 94.9477
98.20/98.54	c GLOBAL bounds - >= 0 @ 95.8718
101.28/101.69	c #Conflicts:      25000 | #Constraints:       9442
101.28/101.69	c INPROCESSING
101.28/101.69	c GARBAGE COLLECT
101.28/101.69	c GLOBAL bounds - >= 0 @ 98.9671
108.37/108.77	c #Conflicts:      26000 | #Constraints:       7030
108.37/108.77	c #Conflicts:      27000 | #Constraints:       8030
108.37/108.77	c GLOBAL bounds - >= 0 @ 105.958
110.67/111.05	c #Conflicts:      28000 | #Constraints:       9032
110.67/111.05	c GLOBAL bounds - >= 0 @ 108.174
112.45/112.80	c GLOBAL bounds - >= 0 @ 109.893
116.35/116.71	c #Conflicts:      29000 | #Constraints:      10036
116.35/116.71	c INPROCESSING
116.35/116.71	c GARBAGE COLLECT
116.35/116.71	c GLOBAL bounds - >= 0 @ 113.715
116.65/117.06	c GLOBAL bounds - >= 0 @ 114.059
127.52/127.92	c #Conflicts:      30000 | #Constraints:       7454
127.52/127.92	c #Conflicts:      31000 | #Constraints:       8454
127.52/127.92	c #Conflicts:      32000 | #Constraints:       9454
127.52/127.92	c GLOBAL bounds - >= 0 @ 124.755
174.98/175.59	c #Conflicts:      33000 | #Constraints:      10456
174.98/175.59	c INPROCESSING
174.98/175.59	c GARBAGE COLLECT
174.98/175.59	c #Conflicts:      34000 | #Constraints:       7652
174.98/175.59	c #Conflicts:      35000 | #Constraints:       8652
174.98/175.59	c #Conflicts:      36000 | #Constraints:       9652
174.98/175.59	c #Conflicts:      37000 | #Constraints:      10652
174.98/175.59	c INPROCESSING
174.98/175.59	c GARBAGE COLLECT
174.98/175.59	c #Conflicts:      38000 | #Constraints:       7679
174.98/175.59	c #Conflicts:      39000 | #Constraints:       8679
174.98/175.59	c #Conflicts:      40000 | #Constraints:       9679
174.98/175.59	c #Conflicts:      41000 | #Constraints:      10679
174.98/175.59	c INPROCESSING
174.98/175.59	c GARBAGE COLLECT
174.98/175.59	c GLOBAL bounds - >= 0 @ 172.041
175.88/176.48	c #Conflicts:      42000 | #Constraints:       7491
175.88/176.48	c GLOBAL bounds - >= 0 @ 172.918
177.77/178.33	c GLOBAL bounds - >= 0 @ 174.745
178.58/179.18	c GLOBAL bounds - >= 0 @ 175.581
179.17/179.73	c #Conflicts:      43000 | #Constraints:       8497
179.17/179.73	c GLOBAL bounds - >= 0 @ 176.115
184.56/185.15	c #Conflicts:      44000 | #Constraints:       9499
184.56/185.15	c GLOBAL bounds - >= 0 @ 181.483
193.73/194.34	c #Conflicts:      45000 | #Constraints:      10501
193.73/194.34	c #Conflicts:      46000 | #Constraints:      11501
193.73/194.34	c INPROCESSING
193.73/194.34	c GARBAGE COLLECT
193.73/194.34	c GLOBAL bounds - >= 0 @ 190.525
194.33/194.92	c GLOBAL bounds - >= 0 @ 191.09
195.62/196.29	c #Conflicts:      47000 | #Constraints:       8101
195.62/196.29	c GLOBAL bounds - >= 0 @ 192.424
196.72/197.39	c GLOBAL bounds - >= 0 @ 193.501
197.62/198.25	c GLOBAL bounds - >= 0 @ 194.349
202.11/202.70	c #Conflicts:      48000 | #Constraints:       9107
202.11/202.70	c #Conflicts:      49000 | #Constraints:      10107
202.11/202.70	c GLOBAL bounds - >= 0 @ 198.67
209.09/209.78	c #Conflicts:      50000 | #Constraints:      11109
209.09/209.78	c GLOBAL bounds - >= 0 @ 205.625
209.79/210.44	c GLOBAL bounds - >= 0 @ 206.266
212.98/213.66	c #Conflicts:      51000 | #Constraints:      12113
212.98/213.66	c INPROCESSING
212.98/213.66	c GARBAGE COLLECT
212.98/213.66	c GLOBAL bounds - >= 0 @ 209.443
214.77/215.40	c GLOBAL bounds - >= 0 @ 211.151
216.07/216.77	c #Conflicts:      52000 | #Constraints:       8493
216.07/216.77	c GLOBAL bounds - >= 0 @ 212.51
220.15/220.85	c #Conflicts:      53000 | #Constraints:       9495
220.15/220.85	c GLOBAL bounds - >= 0 @ 216.527
226.13/226.83	c #Conflicts:      54000 | #Constraints:      10497
226.13/226.83	c GLOBAL bounds - >= 0 @ 222.418
227.34/228.07	c #Conflicts:      55000 | #Constraints:      11499
227.34/228.07	c GLOBAL bounds - >= 0 @ 223.642
229.62/230.31	c GLOBAL bounds - >= 0 @ 225.822
241.40/242.12	c #Conflicts:      56000 | #Constraints:      12503
241.40/242.12	c INPROCESSING
241.40/242.12	c GARBAGE COLLECT
241.40/242.12	c #Conflicts:      57000 | #Constraints:       8709
241.40/242.12	c #Conflicts:      58000 | #Constraints:       9709
241.40/242.12	c GLOBAL bounds - >= 0 @ 237.316
278.79/279.65	c #Conflicts:      59000 | #Constraints:      10711
278.79/279.65	c #Conflicts:      60000 | #Constraints:      11711
278.79/279.65	c #Conflicts:      61000 | #Constraints:      12711
278.79/279.65	c INPROCESSING
278.79/279.65	c GARBAGE COLLECT
278.79/279.65	c #Conflicts:      62000 | #Constraints:       8714
278.79/279.65	c #Conflicts:      63000 | #Constraints:       9714
278.79/279.65	c #Conflicts:      64000 | #Constraints:      10714
278.79/279.65	c #Conflicts:      65000 | #Constraints:      11714
278.79/279.65	c GLOBAL bounds - >= 0 @ 274.526
281.49/282.36	c GLOBAL bounds - >= 0 @ 277.17
321.27/322.25	c #Conflicts:      66000 | #Constraints:      12718
321.27/322.25	c INPROCESSING
321.27/322.25	c GARBAGE COLLECT
321.27/322.25	c #Conflicts:      67000 | #Constraints:       8516
321.27/322.25	c #Conflicts:      68000 | #Constraints:       9516
321.27/322.25	c #Conflicts:      69000 | #Constraints:      10516
321.27/322.25	c #Conflicts:      70000 | #Constraints:      11516
321.27/322.25	c #Conflicts:      71000 | #Constraints:      12516
321.27/322.25	c #Conflicts:      72000 | #Constraints:      13516
321.27/322.25	c INPROCESSING
321.27/322.25	c GARBAGE COLLECT
321.27/322.25	c GLOBAL bounds - >= 0 @ 316.53
338.82/339.81	c #Conflicts:      73000 | #Constraints:       9130
338.82/339.81	c #Conflicts:      74000 | #Constraints:      10130
338.82/339.81	c #Conflicts:      75000 | #Constraints:      11130
338.82/339.81	c GLOBAL bounds - >= 0 @ 333.902
339.62/340.60	c GLOBAL bounds - >= 0 @ 334.662
342.01/343.05	c #Conflicts:      76000 | #Constraints:      12134
342.01/343.05	c GLOBAL bounds - >= 0 @ 337.059
343.31/344.39	c GLOBAL bounds - >= 0 @ 338.379
355.67/356.71	c #Conflicts:      77000 | #Constraints:      13138
355.67/356.71	c #Conflicts:      78000 | #Constraints:      14138
355.67/356.71	c INPROCESSING
355.67/356.71	c GARBAGE COLLECT
355.67/356.71	c #Conflicts:      79000 | #Constraints:       9521
355.67/356.71	c GLOBAL bounds - >= 0 @ 350.494
359.97/361.02	c #Conflicts:      80000 | #Constraints:      10523
359.97/361.02	c GLOBAL bounds - >= 0 @ 354.762
502.06/503.53	c #Conflicts:      81000 | #Constraints:      11525
502.06/503.53	c #Conflicts:      82000 | #Constraints:      12525
502.06/503.53	c #Conflicts:      83000 | #Constraints:      13525
502.06/503.53	c #Conflicts:      84000 | #Constraints:      14525
502.06/503.53	c INPROCESSING
502.06/503.53	c GARBAGE COLLECT
502.06/503.53	c #Conflicts:      85000 | #Constraints:       9734
502.06/503.53	c #Conflicts:      86000 | #Constraints:      10734
502.06/503.53	c #Conflicts:      87000 | #Constraints:      11734
502.06/503.53	c #Conflicts:      88000 | #Constraints:      12734
502.06/503.53	c #Conflicts:      89000 | #Constraints:      13734
502.06/503.53	c #Conflicts:      90000 | #Constraints:      14734
502.06/503.53	c INPROCESSING
502.06/503.53	c GARBAGE COLLECT
502.06/503.53	c #Conflicts:      91000 | #Constraints:       9727
502.06/503.53	c #Conflicts:      92000 | #Constraints:      10727
502.06/503.53	c #Conflicts:      93000 | #Constraints:      11727
502.06/503.53	c #Conflicts:      94000 | #Constraints:      12727
502.06/503.53	c #Conflicts:      95000 | #Constraints:      13727
502.06/503.53	c #Conflicts:      96000 | #Constraints:      14727
502.06/503.53	c INPROCESSING
502.06/503.53	c GARBAGE COLLECT
502.06/503.53	c #Conflicts:      97000 | #Constraints:       9536
502.06/503.53	c #Conflicts:      98000 | #Constraints:      10536
502.06/503.53	c #Conflicts:      99000 | #Constraints:      11536
502.06/503.53	c GLOBAL bounds - >= 0 @ 496.647
554.61/556.29	c #Conflicts:     100000 | #Constraints:      12538
554.61/556.29	c #Conflicts:     101000 | #Constraints:      13538
554.61/556.29	c #Conflicts:     102000 | #Constraints:      14538
554.61/556.29	c #Conflicts:     103000 | #Constraints:      15538
554.61/556.29	c INPROCESSING
554.61/556.29	c GARBAGE COLLECT
554.61/556.29	c #Conflicts:     104000 | #Constraints:      10130
554.61/556.29	c #Conflicts:     105000 | #Constraints:      11130
554.61/556.29	c #Conflicts:     106000 | #Constraints:      12130
554.61/556.29	c #Conflicts:     107000 | #Constraints:      13130
554.61/556.29	c GLOBAL bounds - >= 0 @ 549.015
555.80/557.44	c GLOBAL bounds - >= 0 @ 550.152
557.70/559.36	c GLOBAL bounds - >= 0 @ 552.04
558.20/559.82	c #Conflicts:     108000 | #Constraints:      14136
558.20/559.82	c GLOBAL bounds - >= 0 @ 552.491
558.50/560.13	c GLOBAL bounds - >= 0 @ 552.781
559.40/561.03	c GLOBAL bounds - >= 0 @ 553.667
560.00/561.69	c GLOBAL bounds - >= 0 @ 554.307
560.59/562.27	c GLOBAL bounds - >= 0 @ 554.881
572.26/573.95	c #Conflicts:     109000 | #Constraints:      15146
572.26/573.95	c #Conflicts:     110000 | #Constraints:      16146
572.26/573.95	c INPROCESSING
572.26/573.95	c GARBAGE COLLECT
572.26/573.95	c GLOBAL bounds - >= 0 @ 566.401
572.47/574.17	c GLOBAL bounds - >= 0 @ 566.607
575.55/577.26	c #Conflicts:     111000 | #Constraints:      10548
575.55/577.26	c GLOBAL bounds - >= 0 @ 569.666
582.44/584.19	c #Conflicts:     112000 | #Constraints:      11550
582.44/584.19	c #Conflicts:     113000 | #Constraints:      12550
582.44/584.19	c GLOBAL bounds - >= 0 @ 576.485
590.01/591.77	c #Conflicts:     114000 | #Constraints:      13552
590.01/591.77	c GLOBAL bounds - >= 0 @ 583.963
594.10/595.82	c #Conflicts:     115000 | #Constraints:      14554
594.10/595.82	c GLOBAL bounds - >= 0 @ 587.971
595.80/597.56	c GLOBAL bounds - >= 0 @ 589.663
603.77/605.50	c #Conflicts:     116000 | #Constraints:      15558
603.77/605.50	c #Conflicts:     117000 | #Constraints:      16558
603.77/605.50	c INPROCESSING
603.77/605.50	c GARBAGE COLLECT
603.77/605.50	c GLOBAL bounds - >= 0 @ 597.471
633.88/635.77	c #Conflicts:     118000 | #Constraints:      10769
633.88/635.77	c #Conflicts:     119000 | #Constraints:      11769
633.88/635.77	c #Conflicts:     120000 | #Constraints:      12769
633.88/635.77	c #Conflicts:     121000 | #Constraints:      13769
633.88/635.77	c #Conflicts:     122000 | #Constraints:      14769
633.88/635.77	c GLOBAL bounds - >= 0 @ 627.53
636.58/638.47	c #Conflicts:     123000 | #Constraints:      15771
636.58/638.47	c GLOBAL bounds - >= 0 @ 630.177
641.27/643.16	c #Conflicts:     124000 | #Constraints:      16773
641.27/643.16	c GLOBAL bounds - >= 0 @ 634.774
645.05/646.99	c INPROCESSING
645.05/646.99	c GARBAGE COLLECT
645.05/646.99	c GLOBAL bounds - >= 0 @ 638.566
653.43/655.38	c #Conflicts:     125000 | #Constraints:      10756
653.43/655.38	c #Conflicts:     126000 | #Constraints:      11756
653.43/655.38	c GLOBAL bounds - >= 0 @ 646.854
658.52/660.41	c #Conflicts:     127000 | #Constraints:      12758
658.52/660.41	c GLOBAL bounds - >= 0 @ 651.802
673.57/675.58	c #Conflicts:     128000 | #Constraints:      13760
673.57/675.58	c #Conflicts:     129000 | #Constraints:      14760
673.57/675.58	c #Conflicts:     130000 | #Constraints:      15760
673.57/675.58	c GLOBAL bounds - >= 0 @ 666.805
674.77/676.73	c GLOBAL bounds - >= 0 @ 667.926
686.43/688.40	c #Conflicts:     131000 | #Constraints:      16764
686.43/688.40	c INPROCESSING
686.43/688.40	c GARBAGE COLLECT
686.43/688.40	c #Conflicts:     132000 | #Constraints:      10567
686.43/688.40	c GLOBAL bounds - >= 0 @ 679.386
702.00/704.03	c #Conflicts:     133000 | #Constraints:      11569
702.00/704.03	c #Conflicts:     134000 | #Constraints:      12569
702.00/704.03	c #Conflicts:     135000 | #Constraints:      13569
702.00/704.03	c GLOBAL bounds - >= 0 @ 694.845
703.39/705.48	c GLOBAL bounds - >= 0 @ 696.266
709.27/711.36	c #Conflicts:     136000 | #Constraints:      14573
709.27/711.36	c GLOBAL bounds - >= 0 @ 702.079
767.41/769.62	c #Conflicts:     137000 | #Constraints:      15575
767.41/769.62	c #Conflicts:     138000 | #Constraints:      16575
767.41/769.62	c #Conflicts:     139000 | #Constraints:      17575
767.41/769.62	c INPROCESSING
767.41/769.62	c GARBAGE COLLECT
767.41/769.62	c #Conflicts:     140000 | #Constraints:      11188
767.41/769.62	c #Conflicts:     141000 | #Constraints:      12188
767.41/769.62	c #Conflicts:     142000 | #Constraints:      13188
767.41/769.62	c #Conflicts:     143000 | #Constraints:      14188
767.41/769.62	c #Conflicts:     144000 | #Constraints:      15188
767.41/769.62	c #Conflicts:     145000 | #Constraints:      16188
767.41/769.62	c #Conflicts:     146000 | #Constraints:      17188
767.41/769.62	c #Conflicts:     147000 | #Constraints:      18188
767.41/769.62	c INPROCESSING
767.41/769.62	c GARBAGE COLLECT
767.41/769.62	c GLOBAL bounds - >= 0 @ 760.016
835.72/838.13	c #Conflicts:     148000 | #Constraints:      11603
835.72/838.13	c #Conflicts:     149000 | #Constraints:      12603
835.72/838.13	c #Conflicts:     150000 | #Constraints:      13603
835.72/838.13	c #Conflicts:     151000 | #Constraints:      14603
835.72/838.13	c #Conflicts:     152000 | #Constraints:      15603
835.72/838.13	c #Conflicts:     153000 | #Constraints:      16603
835.72/838.13	c #Conflicts:     154000 | #Constraints:      17603
835.72/838.13	c #Conflicts:     155000 | #Constraints:      18603
835.72/838.13	c INPROCESSING
835.72/838.13	c GARBAGE COLLECT
835.72/838.13	c #Conflicts:     156000 | #Constraints:      11812
835.72/838.13	c #Conflicts:     157000 | #Constraints:      12812
835.72/838.13	c GLOBAL bounds - >= 0 @ 827.744
852.67/855.12	c #Conflicts:     158000 | #Constraints:      13814
852.67/855.12	c #Conflicts:     159000 | #Constraints:      14814
852.67/855.12	c GLOBAL bounds - >= 0 @ 844.618
857.16/859.69	c #Conflicts:     160000 | #Constraints:      15816
857.16/859.69	c GLOBAL bounds - >= 0 @ 849.126
858.25/860.75	c GLOBAL bounds - >= 0 @ 850.172
908.01/910.64	c #Conflicts:     161000 | #Constraints:      16820
908.01/910.64	c #Conflicts:     162000 | #Constraints:      17820
908.01/910.64	c #Conflicts:     163000 | #Constraints:      18820
908.01/910.64	c INPROCESSING
908.01/910.64	c GARBAGE COLLECT
908.01/910.64	c #Conflicts:     164000 | #Constraints:      11814
908.01/910.64	c #Conflicts:     165000 | #Constraints:      12814
908.01/910.64	c #Conflicts:     166000 | #Constraints:      13814
908.01/910.64	c #Conflicts:     167000 | #Constraints:      14814
908.01/910.64	c #Conflicts:     168000 | #Constraints:      15814
908.01/910.64	c GLOBAL bounds - >= 0 @ 899.669
950.49/953.21	c #Conflicts:     169000 | #Constraints:      16816
950.49/953.21	c #Conflicts:     170000 | #Constraints:      17816
950.49/953.21	c #Conflicts:     171000 | #Constraints:      18816
950.49/953.21	c INPROCESSING
950.49/953.21	c GARBAGE COLLECT
950.49/953.21	c #Conflicts:     172000 | #Constraints:      11611
950.49/953.21	c #Conflicts:     173000 | #Constraints:      12611
950.49/953.21	c #Conflicts:     174000 | #Constraints:      13611
950.49/953.21	c #Conflicts:     175000 | #Constraints:      14611
950.49/953.21	c GLOBAL bounds - >= 0 @ 941.768
998.45/1001.36	c #Conflicts:     176000 | #Constraints:      15613
998.45/1001.36	c #Conflicts:     177000 | #Constraints:      16613
998.45/1001.36	c #Conflicts:     178000 | #Constraints:      17613
998.45/1001.36	c #Conflicts:     179000 | #Constraints:      18613
998.45/1001.36	c #Conflicts:     180000 | #Constraints:      19613
998.45/1001.36	c INPROCESSING
998.45/1001.36	c GARBAGE COLLECT
998.45/1001.36	c #Conflicts:     181000 | #Constraints:      12220
998.45/1001.36	c GLOBAL bounds - >= 0 @ 989.45
1050.60/1053.68	c #Conflicts:     182000 | #Constraints:      13222
1050.60/1053.68	c #Conflicts:     183000 | #Constraints:      14222
1050.60/1053.68	c #Conflicts:     184000 | #Constraints:      15222
1050.60/1053.68	c #Conflicts:     185000 | #Constraints:      16222
1050.60/1053.68	c #Conflicts:     186000 | #Constraints:      17222
1050.60/1053.68	c #Conflicts:     187000 | #Constraints:      18222
1050.60/1053.68	c #Conflicts:     188000 | #Constraints:      19222
1050.60/1053.68	c GLOBAL bounds - >= 0 @ 1041.41
1051.30/1054.33	c GLOBAL bounds - >= 0 @ 1042.05
1363.82/1367.75	c #Conflicts:     189000 | #Constraints:      20226
1363.82/1367.75	c INPROCESSING
1363.82/1367.75	c GARBAGE COLLECT
1363.82/1367.75	c #Conflicts:     190000 | #Constraints:      12604
1363.82/1367.75	c #Conflicts:     191000 | #Constraints:      13604
1363.82/1367.75	c #Conflicts:     192000 | #Constraints:      14604
1363.82/1367.75	c #Conflicts:     193000 | #Constraints:      15604
1363.82/1367.75	c #Conflicts:     194000 | #Constraints:      16604
1363.82/1367.75	c #Conflicts:     195000 | #Constraints:      17604
1363.82/1367.75	c #Conflicts:     196000 | #Constraints:      18604
1363.82/1367.75	c #Conflicts:     197000 | #Constraints:      19604
1363.82/1367.75	c #Conflicts:     198000 | #Constraints:      20604
1363.82/1367.75	c INPROCESSING
1363.82/1367.75	c GARBAGE COLLECT
1363.82/1367.75	c #Conflicts:     199000 | #Constraints:      12810
1363.82/1367.75	c #Conflicts:     200000 | #Constraints:      13810
1363.82/1367.75	c #Conflicts:     201000 | #Constraints:      14810
1363.82/1367.75	c #Conflicts:     202000 | #Constraints:      15810
1363.82/1367.75	c #Conflicts:     203000 | #Constraints:      16810
1363.82/1367.75	c #Conflicts:     204000 | #Constraints:      17810
1363.82/1367.75	c #Conflicts:     205000 | #Constraints:      18810
1363.82/1367.75	c #Conflicts:     206000 | #Constraints:      19810
1363.82/1367.75	c #Conflicts:     207000 | #Constraints:      20810
1363.82/1367.75	c INPROCESSING
1363.82/1367.75	c GARBAGE COLLECT
1363.82/1367.75	c #Conflicts:     208000 | #Constraints:      12818
1363.82/1367.75	c #Conflicts:     209000 | #Constraints:      13818
1363.82/1367.75	c #Conflicts:     210000 | #Constraints:      14818
1363.82/1367.75	c #Conflicts:     211000 | #Constraints:      15818
1363.82/1367.75	c #Conflicts:     212000 | #Constraints:      16818
1363.82/1367.75	c #Conflicts:     213000 | #Constraints:      17818
1363.82/1367.75	c #Conflicts:     214000 | #Constraints:      18818
1363.82/1367.75	c #Conflicts:     215000 | #Constraints:      19818
1363.82/1367.75	c #Conflicts:     216000 | #Constraints:      20818
1363.82/1367.75	c INPROCESSING
1363.82/1367.75	c GARBAGE COLLECT
1363.82/1367.75	c #Conflicts:     217000 | #Constraints:      12623
1363.82/1367.75	c #Conflicts:     218000 | #Constraints:      13623
1363.82/1367.75	c #Conflicts:     219000 | #Constraints:      14623
1363.82/1367.75	c #Conflicts:     220000 | #Constraints:      15623
1363.82/1367.75	c #Conflicts:     221000 | #Constraints:      16623
1363.82/1367.75	c #Conflicts:     222000 | #Constraints:      17623
1363.82/1367.75	c #Conflicts:     223000 | #Constraints:      18623
1363.82/1367.75	c #Conflicts:     224000 | #Constraints:      19623
1363.82/1367.75	c #Conflicts:     225000 | #Constraints:      20623
1363.82/1367.75	c #Conflicts:     226000 | #Constraints:      21623
1363.82/1367.75	c INPROCESSING
1363.82/1367.75	c GARBAGE COLLECT
1363.82/1367.75	c #Conflicts:     227000 | #Constraints:      13230
1363.82/1367.75	c #Conflicts:     228000 | #Constraints:      14230
1363.82/1367.75	c #Conflicts:     229000 | #Constraints:      15230
1363.82/1367.75	c #Conflicts:     230000 | #Constraints:      16230
1363.82/1367.75	c #Conflicts:     231000 | #Constraints:      17230
1363.82/1367.75	c #Conflicts:     232000 | #Constraints:      18230
1363.82/1367.75	c GLOBAL bounds - >= 0 @ 1353.28
1365.91/1369.85	c GLOBAL bounds - >= 0 @ 1355.36
1397.03/1401.05	c #Conflicts:     233000 | #Constraints:      19234
1397.03/1401.05	c #Conflicts:     234000 | #Constraints:      20234
1397.03/1401.05	c #Conflicts:     235000 | #Constraints:      21234
1397.03/1401.05	c #Conflicts:     236000 | #Constraints:      22234
1397.03/1401.05	c INPROCESSING
1397.03/1401.05	c GARBAGE COLLECT
1397.03/1401.05	c #Conflicts:     237000 | #Constraints:      13621
1397.03/1401.05	c GLOBAL bounds - >= 0 @ 1386.18
1402.20/1406.28	c #Conflicts:     238000 | #Constraints:      14623
1402.20/1406.28	c GLOBAL bounds - >= 0 @ 1391.33
1409.19/1413.21	c #Conflicts:     239000 | #Constraints:      15625
1409.19/1413.21	c GLOBAL bounds - >= 0 @ 1398.17
1414.98/1419.07	c #Conflicts:     240000 | #Constraints:      16627
1414.98/1419.07	c GLOBAL bounds - >= 0 @ 1403.95
1430.33/1434.41	c #Conflicts:     241000 | #Constraints:      17629
1430.33/1434.41	c #Conflicts:     242000 | #Constraints:      18629
1430.33/1434.41	c GLOBAL bounds - >= 0 @ 1419.14
1463.83/1468.01	c #Conflicts:     243000 | #Constraints:      19631
1463.83/1468.01	c #Conflicts:     244000 | #Constraints:      20631
1463.83/1468.01	c #Conflicts:     245000 | #Constraints:      21631
1463.83/1468.01	c #Conflicts:     246000 | #Constraints:      22631
1463.83/1468.01	c INPROCESSING
1463.83/1468.01	c GARBAGE COLLECT
1463.83/1468.01	c #Conflicts:     247000 | #Constraints:      13850
1463.83/1468.01	c GLOBAL bounds - >= 0 @ 1452.36
1466.22/1470.46	c GLOBAL bounds - >= 0 @ 1454.78
1466.93/1471.11	c #Conflicts:     248000 | #Constraints:      14854
1466.93/1471.11	c GLOBAL bounds - >= 0 @ 1455.42
1543.60/1548.03	c #Conflicts:     249000 | #Constraints:      15856
1543.60/1548.03	c #Conflicts:     250000 | #Constraints:      16856
1543.60/1548.03	c #Conflicts:     251000 | #Constraints:      17856
1543.60/1548.03	c #Conflicts:     252000 | #Constraints:      18856
1543.60/1548.03	c #Conflicts:     253000 | #Constraints:      19856
1543.60/1548.03	c #Conflicts:     254000 | #Constraints:      20856
1543.60/1548.03	c #Conflicts:     255000 | #Constraints:      21856
1543.60/1548.03	c #Conflicts:     256000 | #Constraints:      22856
1543.60/1548.03	c INPROCESSING
1543.60/1548.03	c GARBAGE COLLECT
1543.60/1548.03	c #Conflicts:     257000 | #Constraints:      13854
1543.60/1548.03	c #Conflicts:     258000 | #Constraints:      14854
1543.60/1548.03	c GLOBAL bounds - >= 0 @ 1531.67
1892.74/1898.29	c #Conflicts:     259000 | #Constraints:      15856
1892.74/1898.29	c #Conflicts:     260000 | #Constraints:      16856
1892.74/1898.29	c #Conflicts:     261000 | #Constraints:      17856
1892.74/1898.29	c #Conflicts:     262000 | #Constraints:      18856
1892.74/1898.29	c #Conflicts:     263000 | #Constraints:      19856
1892.74/1898.29	c #Conflicts:     264000 | #Constraints:      20856
1892.74/1898.29	c #Conflicts:     265000 | #Constraints:      21856
1892.74/1898.29	c #Conflicts:     266000 | #Constraints:      22856
1892.74/1898.29	c INPROCESSING
1892.74/1898.29	c GARBAGE COLLECT
1892.74/1898.29	c #Conflicts:     267000 | #Constraints:      13644
1892.74/1898.29	c #Conflicts:     268000 | #Constraints:      14644
1892.74/1898.29	c #Conflicts:     269000 | #Constraints:      15644
1892.74/1898.29	c #Conflicts:     270000 | #Constraints:      16644
1892.74/1898.29	c #Conflicts:     271000 | #Constraints:      17644
1892.74/1898.29	c #Conflicts:     272000 | #Constraints:      18644
1892.74/1898.29	c #Conflicts:     273000 | #Constraints:      19644
1892.74/1898.29	c #Conflicts:     274000 | #Constraints:      20644
1892.74/1898.29	c #Conflicts:     275000 | #Constraints:      21644
1892.74/1898.29	c #Conflicts:     276000 | #Constraints:      22644
1892.74/1898.29	c #Conflicts:     277000 | #Constraints:      23644
1892.74/1898.29	c INPROCESSING
1892.74/1898.29	c GARBAGE COLLECT
1892.74/1898.29	c #Conflicts:     278000 | #Constraints:      14244
1892.74/1898.29	c #Conflicts:     279000 | #Constraints:      15244
1892.74/1898.29	c #Conflicts:     280000 | #Constraints:      16244
1892.74/1898.29	c #Conflicts:     281000 | #Constraints:      17244
1892.74/1898.29	c #Conflicts:     282000 | #Constraints:      18244
1892.74/1898.29	c #Conflicts:     283000 | #Constraints:      19244
1892.74/1898.29	c #Conflicts:     284000 | #Constraints:      20244
1892.74/1898.29	c #Conflicts:     285000 | #Constraints:      21244
1892.74/1898.29	c #Conflicts:     286000 | #Constraints:      22244
1892.74/1898.29	c #Conflicts:     287000 | #Constraints:      23244
1892.74/1898.29	c #Conflicts:     288000 | #Constraints:      24244
1892.74/1898.29	c INPROCESSING
1892.74/1898.29	c GARBAGE COLLECT
1892.74/1898.29	c #Conflicts:     289000 | #Constraints:      14645
1892.74/1898.29	c #Conflicts:     290000 | #Constraints:      15645
1892.74/1898.29	c GLOBAL bounds - >= 0 @ 1879.46
1964.23/1969.93	c #Conflicts:     291000 | #Constraints:      16647
1964.23/1969.93	c #Conflicts:     292000 | #Constraints:      17647
1964.23/1969.93	c #Conflicts:     293000 | #Constraints:      18647
1964.23/1969.93	c #Conflicts:     294000 | #Constraints:      19647
1964.23/1969.93	c #Conflicts:     295000 | #Constraints:      20647
1964.23/1969.93	c #Conflicts:     296000 | #Constraints:      21647
1964.23/1969.93	c #Conflicts:     297000 | #Constraints:      22647
1964.23/1969.93	c #Conflicts:     298000 | #Constraints:      23647
1964.23/1969.93	c #Conflicts:     299000 | #Constraints:      24647
1964.23/1969.93	c INPROCESSING
1964.23/1969.93	c GARBAGE COLLECT
1964.23/1969.93	c GLOBAL bounds - >= 0 @ 1950.54
1968.22/1973.96	c #Conflicts:     300000 | #Constraints:      14851
1968.22/1973.96	c GLOBAL bounds - >= 0 @ 1954.48
1979.58/1985.31	c #Conflicts:     301000 | #Constraints:      15853
1979.58/1985.31	c #Conflicts:     302000 | #Constraints:      16853
1979.58/1985.31	c GLOBAL bounds - >= 0 @ 1965.71
1988.86/1994.69	c #Conflicts:     303000 | #Constraints:      17855
1988.86/1994.69	c #Conflicts:     304000 | #Constraints:      18855
1988.86/1994.69	c GLOBAL bounds - >= 0 @ 1974.99
1995.54/2001.34	c #Conflicts:     305000 | #Constraints:      19857
1995.54/2001.34	c GLOBAL bounds - >= 0 @ 1981.55
1996.34/2002.15	c GLOBAL bounds - >= 0 @ 1982.33
2004.51/2010.38	c #Conflicts:     306000 | #Constraints:      20861
2004.51/2010.38	c GLOBAL bounds - >= 0 @ 1990.44
2304.73/2311.48	c #Conflicts:     307000 | #Constraints:      21863
2304.73/2311.48	c #Conflicts:     308000 | #Constraints:      22863
2304.73/2311.48	c #Conflicts:     309000 | #Constraints:      23863
2304.73/2311.48	c #Conflicts:     310000 | #Constraints:      24863
2304.73/2311.48	c INPROCESSING
2304.73/2311.48	c GARBAGE COLLECT
2304.73/2311.48	c #Conflicts:     311000 | #Constraints:      14865
2304.73/2311.48	c #Conflicts:     312000 | #Constraints:      15865
2304.73/2311.48	c #Conflicts:     313000 | #Constraints:      16865
2304.73/2311.48	c #Conflicts:     314000 | #Constraints:      17865
2304.73/2311.48	c #Conflicts:     315000 | #Constraints:      18865
2304.73/2311.48	c #Conflicts:     316000 | #Constraints:      19865
2304.73/2311.48	c #Conflicts:     317000 | #Constraints:      20865
2304.73/2311.48	c #Conflicts:     318000 | #Constraints:      21865
2304.73/2311.48	c #Conflicts:     319000 | #Constraints:      22865
2304.73/2311.48	c #Conflicts:     320000 | #Constraints:      23865
2304.73/2311.48	c #Conflicts:     321000 | #Constraints:      24865
2304.73/2311.48	c INPROCESSING
2304.73/2311.48	c GARBAGE COLLECT
2304.73/2311.48	c #Conflicts:     322000 | #Constraints:      14667
2304.73/2311.48	c #Conflicts:     323000 | #Constraints:      15667
2304.73/2311.48	c #Conflicts:     324000 | #Constraints:      16667
2304.73/2311.48	c #Conflicts:     325000 | #Constraints:      17667
2304.73/2311.48	c #Conflicts:     326000 | #Constraints:      18667
2304.73/2311.48	c #Conflicts:     327000 | #Constraints:      19667
2304.73/2311.48	c #Conflicts:     328000 | #Constraints:      20667
2304.73/2311.48	c #Conflicts:     329000 | #Constraints:      21667
2304.73/2311.48	c #Conflicts:     330000 | #Constraints:      22667
2304.73/2311.48	c #Conflicts:     331000 | #Constraints:      23667
2304.73/2311.48	c #Conflicts:     332000 | #Constraints:      24667
2304.73/2311.48	c #Conflicts:     333000 | #Constraints:      25667
2304.73/2311.48	c INPROCESSING
2304.73/2311.48	c GARBAGE COLLECT
2304.73/2311.48	c #Conflicts:     334000 | #Constraints:      15286
2304.73/2311.48	c #Conflicts:     335000 | #Constraints:      16286
2304.73/2311.48	c #Conflicts:     336000 | #Constraints:      17286
2304.73/2311.48	c #Conflicts:     337000 | #Constraints:      18286
2304.73/2311.48	c #Conflicts:     338000 | #Constraints:      19286
2304.73/2311.48	c #Conflicts:     339000 | #Constraints:      20286
2304.73/2311.48	c #Conflicts:     340000 | #Constraints:      21286
2304.73/2311.48	c #Conflicts:     341000 | #Constraints:      22286
2304.73/2311.48	c #Conflicts:     342000 | #Constraints:      23286
2304.73/2311.48	c GLOBAL bounds - >= 0 @ 2289.74
2305.23/2311.93	c GLOBAL bounds - >= 0 @ 2290.19
2347.20/2354.02	c #Conflicts:     343000 | #Constraints:      24290
2347.20/2354.02	c #Conflicts:     344000 | #Constraints:      25290
2347.20/2354.02	c #Conflicts:     345000 | #Constraints:      26290
2347.20/2354.02	c INPROCESSING
2347.20/2354.02	c GARBAGE COLLECT
2347.20/2354.02	c #Conflicts:     346000 | #Constraints:      15679
2347.20/2354.02	c GLOBAL bounds - >= 0 @ 2331.87
2444.40/2451.54	c #Conflicts:     347000 | #Constraints:      16681
2444.40/2451.54	c #Conflicts:     348000 | #Constraints:      17681
2444.40/2451.54	c #Conflicts:     349000 | #Constraints:      18681
2444.40/2451.54	c #Conflicts:     350000 | #Constraints:      19681
2444.40/2451.54	c #Conflicts:     351000 | #Constraints:      20681
2444.40/2451.54	c #Conflicts:     352000 | #Constraints:      21681
2444.40/2451.54	c #Conflicts:     353000 | #Constraints:      22681
2444.40/2451.54	c #Conflicts:     354000 | #Constraints:      23681
2444.40/2451.54	c #Conflicts:     355000 | #Constraints:      24681
2444.40/2451.54	c #Conflicts:     356000 | #Constraints:      25681
2444.40/2451.54	c GLOBAL bounds - >= 0 @ 2428.81
2634.03/2641.70	c #Conflicts:     357000 | #Constraints:      26683
2634.03/2641.70	c INPROCESSING
2634.03/2641.70	c GARBAGE COLLECT
2634.03/2641.70	c #Conflicts:     358000 | #Constraints:      15870
2634.03/2641.70	c #Conflicts:     359000 | #Constraints:      16870
2634.03/2641.70	c #Conflicts:     360000 | #Constraints:      17870
2634.03/2641.70	c #Conflicts:     361000 | #Constraints:      18870
2634.03/2641.70	c #Conflicts:     362000 | #Constraints:      19870
2634.03/2641.70	c #Conflicts:     363000 | #Constraints:      20870
2634.03/2641.70	c #Conflicts:     364000 | #Constraints:      21870
2634.03/2641.70	c #Conflicts:     365000 | #Constraints:      22870
2634.03/2641.70	c #Conflicts:     366000 | #Constraints:      23870
2634.03/2641.70	c #Conflicts:     367000 | #Constraints:      24870
2634.03/2641.70	c #Conflicts:     368000 | #Constraints:      25870
2634.03/2641.70	c #Conflicts:     369000 | #Constraints:      26870
2634.03/2641.70	c INPROCESSING
2634.03/2641.70	c GARBAGE COLLECT
2634.03/2641.70	c #Conflicts:     370000 | #Constraints:      15872
2634.03/2641.70	c #Conflicts:     371000 | #Constraints:      16872
2634.03/2641.70	c #Conflicts:     372000 | #Constraints:      17872
2634.03/2641.70	c #Conflicts:     373000 | #Constraints:      18872
2634.03/2641.70	c #Conflicts:     374000 | #Constraints:      19872
2634.03/2641.70	c #Conflicts:     375000 | #Constraints:      20872
2634.03/2641.70	c #Conflicts:     376000 | #Constraints:      21872
2634.03/2641.70	c #Conflicts:     377000 | #Constraints:      22872
2634.03/2641.70	c #Conflicts:     378000 | #Constraints:      23872
2634.03/2641.70	c #Conflicts:     379000 | #Constraints:      24872
2634.03/2641.70	c GLOBAL bounds - >= 0 @ 2617.42
2737.11/2745.14	c #Conflicts:     380000 | #Constraints:      25874
2737.11/2745.14	c #Conflicts:     381000 | #Constraints:      26874
2737.11/2745.14	c INPROCESSING
2737.11/2745.14	c GARBAGE COLLECT
2737.11/2745.14	c #Conflicts:     382000 | #Constraints:      15668
2737.11/2745.14	c #Conflicts:     383000 | #Constraints:      16668
2737.11/2745.14	c #Conflicts:     384000 | #Constraints:      17668
2737.11/2745.14	c #Conflicts:     385000 | #Constraints:      18668
2737.11/2745.14	c #Conflicts:     386000 | #Constraints:      19668
2737.11/2745.14	c #Conflicts:     387000 | #Constraints:      20668
2737.11/2745.14	c #Conflicts:     388000 | #Constraints:      21668
2737.11/2745.14	c #Conflicts:     389000 | #Constraints:      22668
2737.11/2745.14	c #Conflicts:     390000 | #Constraints:      23668
2737.11/2745.14	c GLOBAL bounds - >= 0 @ 2720.11
2775.90/2784.06	c #Conflicts:     391000 | #Constraints:      24670
2775.90/2784.06	c #Conflicts:     392000 | #Constraints:      25670
2775.90/2784.06	c #Conflicts:     393000 | #Constraints:      26670
2775.90/2784.06	c #Conflicts:     394000 | #Constraints:      27670
2775.90/2784.06	c INPROCESSING
2775.90/2784.06	c GARBAGE COLLECT
2775.90/2784.06	c GLOBAL bounds - >= 0 @ 2758.76
3461.11/3471.31	c #Conflicts:     395000 | #Constraints:      16284
3461.11/3471.31	c #Conflicts:     396000 | #Constraints:      17284
3461.11/3471.31	c #Conflicts:     397000 | #Constraints:      18284
3461.11/3471.31	c #Conflicts:     398000 | #Constraints:      19284
3461.11/3471.31	c #Conflicts:     399000 | #Constraints:      20284
3461.11/3471.31	c #Conflicts:     400000 | #Constraints:      21284
3461.11/3471.31	c #Conflicts:     401000 | #Constraints:      22284
3461.11/3471.31	c #Conflicts:     402000 | #Constraints:      23284
3461.11/3471.31	c #Conflicts:     403000 | #Constraints:      24284
3461.11/3471.31	c #Conflicts:     404000 | #Constraints:      25284
3461.11/3471.31	c #Conflicts:     405000 | #Constraints:      26284
3461.11/3471.31	c #Conflicts:     406000 | #Constraints:      27284
3461.11/3471.31	c #Conflicts:     407000 | #Constraints:      28284
3461.11/3471.31	c INPROCESSING
3461.11/3471.31	c GARBAGE COLLECT
3461.11/3471.31	c #Conflicts:     408000 | #Constraints:      16688
3461.11/3471.31	c #Conflicts:     409000 | #Constraints:      17688
3461.11/3471.31	c #Conflicts:     410000 | #Constraints:      18688
3461.11/3471.31	c #Conflicts:     411000 | #Constraints:      19688
3461.11/3471.31	c #Conflicts:     412000 | #Constraints:      20688
3461.11/3471.31	c #Conflicts:     413000 | #Constraints:      21688
3461.11/3471.31	c #Conflicts:     414000 | #Constraints:      22688
3461.11/3471.31	c #Conflicts:     415000 | #Constraints:      23688
3461.11/3471.31	c #Conflicts:     416000 | #Constraints:      24688
3461.11/3471.31	c #Conflicts:     417000 | #Constraints:      25688
3461.11/3471.31	c #Conflicts:     418000 | #Constraints:      26688
3461.11/3471.31	c #Conflicts:     419000 | #Constraints:      27688
3461.11/3471.31	c #Conflicts:     420000 | #Constraints:      28688
3461.11/3471.31	c INPROCESSING
3461.11/3471.31	c GARBAGE COLLECT
3461.11/3471.31	c #Conflicts:     421000 | #Constraints:      16887
3461.11/3471.31	c #Conflicts:     422000 | #Constraints:      17887
3461.11/3471.31	c #Conflicts:     423000 | #Constraints:      18887
3461.11/3471.31	c #Conflicts:     424000 | #Constraints:      19887
3461.11/3471.31	c #Conflicts:     425000 | #Constraints:      20887
3461.11/3471.31	c #Conflicts:     426000 | #Constraints:      21887
3461.11/3471.31	c #Conflicts:     427000 | #Constraints:      22887
3461.11/3471.31	c #Conflicts:     428000 | #Constraints:      23887
3461.11/3471.31	c #Conflicts:     429000 | #Constraints:      24887
3461.11/3471.31	c #Conflicts:     430000 | #Constraints:      25887
3461.11/3471.31	c #Conflicts:     431000 | #Constraints:      26887
3461.11/3471.31	c #Conflicts:     432000 | #Constraints:      27887
3461.11/3471.31	c #Conflicts:     433000 | #Constraints:      28887
3461.11/3471.31	c INPROCESSING
3461.11/3471.31	c GARBAGE COLLECT
3461.11/3471.31	c #Conflicts:     434000 | #Constraints:      16892
3461.11/3471.31	c #Conflicts:     435000 | #Constraints:      17892
3461.11/3471.31	c #Conflicts:     436000 | #Constraints:      18892
3461.11/3471.31	c #Conflicts:     437000 | #Constraints:      19892
3461.11/3471.31	c #Conflicts:     438000 | #Constraints:      20892
3461.11/3471.31	c #Conflicts:     439000 | #Constraints:      21892
3461.11/3471.31	c #Conflicts:     440000 | #Constraints:      22892
3461.11/3471.31	c #Conflicts:     441000 | #Constraints:      23892
3461.11/3471.31	c #Conflicts:     442000 | #Constraints:      24892
3461.11/3471.31	c #Conflicts:     443000 | #Constraints:      25892
3461.11/3471.31	c #Conflicts:     444000 | #Constraints:      26892
3461.11/3471.31	c #Conflicts:     445000 | #Constraints:      27892
3461.11/3471.31	c #Conflicts:     446000 | #Constraints:      28892
3461.11/3471.31	c INPROCESSING
3461.11/3471.31	c GARBAGE COLLECT
3461.11/3471.31	c #Conflicts:     447000 | #Constraints:      16699
3461.11/3471.31	c #Conflicts:     448000 | #Constraints:      17699
3461.11/3471.31	c #Conflicts:     449000 | #Constraints:      18699
3461.11/3471.31	c #Conflicts:     450000 | #Constraints:      19699
3461.11/3471.31	c #Conflicts:     451000 | #Constraints:      20699
3461.11/3471.31	c #Conflicts:     452000 | #Constraints:      21699
3461.11/3471.31	c #Conflicts:     453000 | #Constraints:      22699
3461.11/3471.31	c #Conflicts:     454000 | #Constraints:      23699
3461.11/3471.31	c #Conflicts:     455000 | #Constraints:      24699
3461.11/3471.31	c #Conflicts:     456000 | #Constraints:      25699
3461.11/3471.31	c #Conflicts:     457000 | #Constraints:      26699
3461.11/3471.31	c #Conflicts:     458000 | #Constraints:      27699
3461.11/3471.31	c #Conflicts:     459000 | #Constraints:      28699
3461.11/3471.31	c GLOBAL bounds - >= 0 @ 3442.25
3600.09/3610.70	c #Conflicts:     460000 | #Constraints:      29701
3600.09/3610.70	c INPROCESSING
3600.09/3610.70	c GARBAGE COLLECT
3600.09/3610.70	c #Conflicts:     461000 | #Constraints:      17286
3600.09/3610.70	c #Conflicts:     462000 | #Constraints:      18286
3600.09/3610.70	c #Conflicts:     463000 | #Constraints:      19286
3600.09/3610.70	c #Conflicts:     464000 | #Constraints:      20286
3600.09/3610.70	c #Conflicts:     465000 | #Constraints:      21286
3600.09/3610.70	c #Conflicts:     466000 | #Constraints:      22286
3600.09/3610.70	c #Conflicts:     467000 | #Constraints:      23286
3600.09/3610.70	c #Conflicts:     468000 | #Constraints:      24286
3600.09/3610.70	c #Conflicts:     469000 | #Constraints:      25286
3600.09/3610.70	c #Conflicts:     470000 | #Constraints:      26286
3600.09/3610.70	c #Conflicts:     471000 | #Constraints:      27286
3600.09/3610.70	c #Conflicts:     472000 | #Constraints:      28286
3600.09/3610.70	c #Conflicts:     473000 | #Constraints:      29286
3600.09/3610.70	c #Conflicts:     474000 | #Constraints:      30286
3600.09/3610.70	c INPROCESSING
3600.09/3610.70	c GARBAGE COLLECT
3600.09/3610.70	c #Conflicts:     475000 | #Constraints:      17698
3600.09/3610.70	c cpu time 3580.99 s
3600.09/3610.70	c deterministic time 33 3.30e+01
3600.09/3610.70	c optimization time 3580.95 s
3600.09/3610.70	c total solve time 0 s
3600.09/3610.70	c core-guided solve time 0 s
3600.09/3610.70	c propagation time 0.001057 s
3600.09/3610.70	c conflict analysis time 0 s
3600.09/3610.70	c propagations 32
3600.09/3610.70	c resolve steps 0
3600.09/3610.70	c decisions 0
3600.09/3610.70	c conflicts 0
3600.09/3610.70	c restarts 0
3600.09/3610.70	c inprocessing phases 0
3600.09/3610.70	c garbage collections 0 ,( -nan )
3600.09/3610.70	c input clauses 2544 ,( 99.96 )
3600.09/3610.70	c input cardinalities 1 ,( 0.04 )
3600.09/3610.70	c input general constraints 0 ,( 0.00 )
3600.09/3610.70	c input average constraint length 35.51
3600.09/3610.70	c input average constraint degree 1.54
3600.09/3610.70	c learned clauses 0 ,( 0.00 )
3600.09/3610.70	c learned cardinalities 0 ,( 0.00 )
3600.09/3610.70	c learned general constraints 0 ,( 0.00 )
3600.09/3610.70	c learned average constraint length 0.00
3600.09/3610.70	c learned average constraint degree 0.00
3600.09/3610.70	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3610.70	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3610.70	c watched   constraints 0 ,( -nan ) 
3600.09/3610.70	c counting  constraints 0 ,( -nan ) 
3600.09/3610.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3610.70	c gcd simplifications 0
3600.09/3610.70	c detected cardinalities 0
3600.09/3610.70	c weakened non-implied lits 0
3600.09/3610.70	c weakened non-implying lits 0
3600.09/3610.70	c original variables 13215
3600.09/3610.70	c clausal propagations 0
3600.09/3610.70	c cardinality propagations 0
3600.09/3610.70	c watched propagations 0
3600.09/3610.70	c counting propagations 0
3600.09/3610.70	c watch lookups 0
3600.09/3610.70	c watch backjump lookups 0
3600.09/3610.70	c watch checks 0
3600.09/3610.70	c propagation checks 0
3600.09/3610.70	c constraint additions 0
3600.09/3610.70	c trail pops 0
3600.09/3610.70	c formula constraints 2545
3600.09/3610.70	c learned constraints 0
3600.09/3610.70	c bound constraints 0
3600.09/3610.70	c core-guided constraints 0
3600.09/3610.70	c encountered formula constraints 0
3600.09/3610.70	c encountered learned constraints 0
3600.09/3610.70	c encountered bound constraints 0
3600.09/3610.70	c encountered core-guided constraints 0
3600.09/3610.70	c LP total time 0 s
3600.09/3610.70	c LP solve time 0 s
3600.09/3610.70	c LP constraints added 0
3600.09/3610.70	c LP constraints removed 0
3600.09/3610.70	c LP pivots internal 0
3600.09/3610.70	c LP pivots root 0
3600.09/3610.70	c LP calls 0
3600.09/3610.70	c LP optimalities 0
3600.09/3610.70	c LP no pivot count 0
3600.09/3610.70	c LP infeasibilities 0
3600.09/3610.70	c LP valid Farkas constraints 0
3600.09/3610.70	c LP learned Farkas constraints 0
3600.09/3610.70	c LP basis resets 0
3600.09/3610.70	c LP cycling count 0
3600.09/3610.70	c LP singular count 0
3600.09/3610.70	c LP no primal count 0
3600.09/3610.70	c LP no farkas count 0
3600.09/3610.70	c LP other issue count 0
3600.09/3610.70	c LP Gomory cuts 0
3600.09/3610.70	c LP learned cuts 0
3600.09/3610.70	c LP deleted cuts 0
3600.09/3610.70	c LP encountered Gomory constraints 0
3600.09/3610.70	c LP encountered Farkas constraints 0
3600.09/3610.70	c LP encountered learned Farkas constraints 0
3600.09/3610.70	c CG auxiliary variables introduced 0
3600.09/3610.70	c CG solutions found 0
3600.09/3610.70	c CG cores constructed 0
3600.09/3610.70	c CG core cardinality constraints returned 0
3600.09/3610.70	c CG unit cores 0
3600.09/3610.70	c CG single cores 0
3600.09/3610.70	c CG blocks removed during cardinality reduction 0
3600.09/3610.70	c CG first core best 0
3600.09/3610.70	c CG decision core best 0
3600.09/3610.70	c CG core reduction tie 0
3600.09/3610.70	c CG core degree average 0.00
3600.09/3610.70	c CG core slack average 0.00
3600.09/3610.70	c CG core upper bound improvements 0
3600.09/3610.70	c STR number of successful calls 0
3600.09/3610.70	c STR number of unsuccessful calls 0
3600.09/3610.70	c STR number of inconclusive calls 0
3600.09/3610.70	c STR number of successful attempts 0
3600.09/3610.70	c STR number of unsuccessful attempts 0
3600.09/3610.70	c STR number of inconclusive attempts 0
3600.09/3610.70	c STR average degree increase per successful call inf
3600.09/3610.70	c STR average degree increase per successful attempt inf
3600.09/3610.70	c STR total number of conflicts for successful attempts 0
3600.09/3610.70	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.70	c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.70	c STR average number of conflicts per successful attempt inf
3600.09/3610.70	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.70	c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.70	c AVG.sumWPerc -nan 
3600.09/3610.70	c bigint constraints 0 
3600.09/3610.70	s UNKNOWN
3600.09/3610.70	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=41659, runsolver pid=41647
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.80 1.13 2.22 6/270 41668
/proc/meminfo: memFree=129947344/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=73108 memory=27108 CPUtime=0.07 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 4811 0 0 0 5 2 0 0 20 0 1 0 46090103 74862592 6777 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 18277 6777 2368 1147 0 5704 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 77300 KiB
Current children cumulated memory: 30052 KiB

[startup+0.204674 s]*
/proc/loadavg: 0.80 1.13 2.22 6/270 41668
/proc/meminfo: memFree=129902548/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=79848 memory=33764 CPUtime=0.17 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 6514 0 0 0 13 4 0 0 20 0 1 0 46090103 81764352 8441 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 19962 8441 2368 1147 0 7389 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 84040 KiB
Current children cumulated memory: 36708 KiB

[startup+0.304623 s]*
/proc/loadavg: 0.80 1.13 2.22 6/270 41668
/proc/meminfo: memFree=129882060/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=88796 memory=42468 CPUtime=0.27 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 8688 0 0 0 20 7 0 0 20 0 1 0 46090103 90927104 10617 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 22199 10617 2368 1147 0 9626 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 92988 KiB
Current children cumulated memory: 45412 KiB

[startup+0.700163 s]
/proc/loadavg: 0.80 1.13 2.22 6/270 41668
/proc/meminfo: memFree=129844768/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=139692 memory=93492 CPUtime=0.66 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 19895 0 0 0 51 15 0 0 20 0 1 0 46090103 143044608 23373 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 34923 23373 2368 1147 0 22350 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 143884 KiB
Current children cumulated memory: 96436 KiB

[startup+1.50018 s]
/proc/loadavg: 0.80 1.13 2.22 6/270 41668
/proc/meminfo: memFree=129717932/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=217524 memory=160740 CPUtime=1.46 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 32640 0 0 0 123 23 0 0 20 0 1 0 46090103 222744576 40185 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 54381 40185 2368 1147 0 41808 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 221716 KiB
Current children cumulated memory: 163684 KiB

[startup+3.10467 s]
/proc/loadavg: 1.05 1.18 2.23 6/270 41668
/proc/meminfo: memFree=129272824/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=406344 memory=313668 CPUtime=3.06 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 60633 0 0 0 269 37 0 0 20 0 1 0 46090103 416096256 78417 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 101586 78417 2368 1147 0 89013 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 410536 KiB
Current children cumulated memory: 316612 KiB

[startup+6.30016 s]
/proc/loadavg: 1.05 1.18 2.23 6/270 41668
/proc/meminfo: memFree=128737336/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=693356 memory=599964 CPUtime=6.24 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 111806 0 0 0 560 64 0 0 20 0 1 0 46090103 709996544 149991 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 173339 149991 2368 1147 0 160766 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 697548 KiB
Current children cumulated memory: 602908 KiB

[startup+12.7002 s]
/proc/loadavg: 1.59 1.29 2.26 6/270 41668
/proc/meminfo: memFree=128182460/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=1020568 memory=804572 CPUtime=12.63 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 159402 0 0 0 1181 82 0 0 20 0 1 0 46090103 1045061632 201143 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 255142 201143 2368 1147 0 242569 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1024760 KiB
Current children cumulated memory: 807516 KiB

[startup+25.5002 s]
/proc/loadavg: 1.96 1.38 2.28 6/268 41668
/proc/meminfo: memFree=126709692/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=1182884 memory=1074488 CPUtime=25.39 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 196232 0 0 0 2421 118 0 0 20 0 1 0 46090103 1211273216 268622 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 295721 268622 2368 1147 0 283148 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1187076 KiB
Current children cumulated memory: 1077432 KiB

[startup+51.105 s]
/proc/loadavg: 2.66 1.59 2.32 6/269 41670
/proc/meminfo: memFree=124452292/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=2114816 memory=1657636 CPUtime=50.93 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 314406 0 0 0 4914 179 0 0 20 0 1 0 46090103 2165571584 414409 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 528704 414409 2368 1147 0 516131 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2119008 KiB
Current children cumulated memory: 1660580 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.01 2.43 6/269 41671
/proc/meminfo: memFree=122460664/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=2156804 memory=1824180 CPUtime=101.99 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 339212 0 0 0 9956 243 0 0 20 0 1 0 46090103 2208567296 456045 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 539201 456045 2368 1147 0 526628 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2160996 KiB
Current children cumulated memory: 1827124 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 2.39 2.53 6/271 41676
/proc/meminfo: memFree=121285516/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=2192136 memory=1942528 CPUtime=161.82 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 360649 0 0 0 15880 302 0 0 20 0 1 0 46090103 2244747264 485632 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 548034 485632 2368 1147 0 535461 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2196328 KiB
Current children cumulated memory: 1945472 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.70 2.63 6/271 41679
/proc/meminfo: memFree=119983964/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=2550296 memory=2066452 CPUtime=221.65 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 379428 0 0 0 21794 371 0 0 20 0 1 0 46090103 2611503104 516613 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 637574 516613 2368 1147 0 625001 0

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

[pid=41663] ppid=41659 vsize=8478516 memory=6713932 CPUtime=3093.23 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 1270432 0 0 0 307490 1833 0 0 20 0 1 0 46090103 8682000384 1678483 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 2119629 1678483 2368 1147 0 2107056 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 8482708 KiB
Current children cumulated memory: 6716876 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.04 6/268 41843
/proc/meminfo: memFree=95688788/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=8478516 memory=6884068 CPUtime=3153.05 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 1291715 0 0 0 313457 1848 0 0 20 0 1 0 46090103 8682000384 1721017 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 2119629 1721017 2368 1147 0 2107056 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 8482708 KiB
Current children cumulated memory: 6887012 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.05 6/269 41846
/proc/meminfo: memFree=95213760/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=8478516 memory=6887012 CPUtime=3212.87 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 1291734 0 0 0 319430 1857 0 0 20 0 1 0 46090103 8682000384 1721753 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 2119629 1721753 2368 1147 0 2107056 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 8482708 KiB
Current children cumulated memory: 6889956 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.05 6/269 41850
/proc/meminfo: memFree=94709360/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=8478516 memory=7006036 CPUtime=3272.68 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 1304839 0 0 0 325398 1870 0 0 20 0 1 0 46090103 8682000384 1751509 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 2119629 1751509 2368 1147 0 2107056 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 8482708 KiB
Current children cumulated memory: 7008980 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.05 6/269 41857
/proc/meminfo: memFree=94665392/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=8478516 memory=7008980 CPUtime=3332.5 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 1304846 0 0 0 331374 1876 0 0 20 0 1 0 46090103 8682000384 1752245 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 2119629 1752245 2368 1147 0 2107056 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 8482708 KiB
Current children cumulated memory: 7011924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.05 6/269 41859
/proc/meminfo: memFree=94186824/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=8478516 memory=7012948 CPUtime=3392.32 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 1306298 0 0 0 337350 1882 0 0 20 0 1 0 46090103 8682000384 1753237 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 2119629 1753237 2368 1147 0 2107056 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 8482708 KiB
Current children cumulated memory: 7015892 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.05 6/269 41862
/proc/meminfo: memFree=94093824/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=8478516 memory=7016020 CPUtime=3452.14 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 1306387 0 0 0 343328 1886 0 0 20 0 1 0 46090103 8682000384 1754005 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 2119629 1754005 2368 1147 0 2107056 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 8482708 KiB
Current children cumulated memory: 7018964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.05 6/269 41865
/proc/meminfo: memFree=93882292/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=8478516 memory=7033940 CPUtime=3511.96 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 1306422 0 0 0 349295 1901 0 0 20 0 1 0 46090103 8682000384 1758485 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 2119629 1758485 2368 1147 0 2107056 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 8482708 KiB
Current children cumulated memory: 7036884 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.05 6/269 41867
/proc/meminfo: memFree=93719640/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=8478516 memory=7060692 CPUtime=3571.78 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 1306738 0 0 0 355272 1906 0 0 20 0 1 0 46090103 8682000384 1765173 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 2119629 1765173 2368 1147 0 2107056 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 8482708 KiB
Current children cumulated memory: 7063636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.05 4.08 4.05 4/264 41876
/proc/meminfo: memFree=93859760/131249996 swapFree=33010684/33010684
[pid=41659] ppid=41647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41659/stat : 41659 (run-opt.sh) S 41647 41659 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 736 18446744073709551615 94369647132672 94369648027205 140723380624496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94369648266256 94369648314000 94369652109312 140723380631917 140723380632040 140723380632040 140723380637642 0
/proc/41659/statm: 1048 736 672 219 0 110 0
[pid=41663] ppid=41659 vsize=8478516 memory=7099388 CPUtime=3600.09 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41659 41659 41594 0 -1 4194304 1312245 0 0 0 358098 1911 0 0 20 0 1 0 46090103 8682000384 1774847 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 2119629 1774847 2368 1147 0 2107056 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 8482708 KiB
Current children cumulated memory: 7102332 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=0.00101 s, system=0.002033 s

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

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

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

[startup+3610.8 s]*
/proc/loadavg: 4.05 4.08 4.05 4/263 41886
/proc/meminfo: memFree=96480168/131249996 swapFree=33010684/33010684
[pid=41663] ppid=41647 vsize=4032892 memory=3321572 CPUtime=3600.2 cores=5,7
/proc/41663/stat : 41663 (roundingsat) R 41647 41659 41594 0 -1 4194304 1312250 0 0 0 358099 1921 0 0 20 0 1 0 46090103 4129681408 830393 18446744073709551615 4227072 8923433 140726550210624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13836288 140726550219170 140726550219304 140726550219304 140726550224874 0
/proc/41663/statm: 1008223 830393 2432 1147 0 995650 0
Current cumulated CPU time of completed processes: 0.003043 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 4032892 KiB
Current children cumulated memory: 3321572 KiB

Child status: 2

Real time (s): 3610.84
CPU time (s): 3600.24
CPU user time (s): 3580.99
CPU system time (s): 19.2476
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 8482708
Max. memory (cumulated for all children) (KiB): 7102332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.99
system time used= 19.2476
maximum resident set size= 7099644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1312471
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= 549
involuntary context switches= 19879


# summary of solver processes directly reported to runsolver:
#   pid: 41659,41663
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3580.99
#   total CPU system time (s): 19.2476

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46531 second user time and 15.4088 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-30 19:21:55
IDJOB=4485274
IDBENCH=146778
IDSOLVER=3350
FILE ID=nodeC032/4485274-1751304115
RUNJOBID= nodeC032-1751304114-41607
SLURM_JOB_ID= 9594298
Free space on /tmp= 432068 MiB

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

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

MD5SUM BENCH= 5a39ac8f1a01f5c3e570fe1132d30af4
RANDOM SEED=157430855

nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130008832 kB
MemAvailable:   129776824 kB
Buffers:            3280 kB
Cached:           576192 kB
SwapCached:            0 kB
Active:           319464 kB
Inactive:         322812 kB
Active(anon):      80872 kB
Inactive(anon):        0 kB
Active(file):     238592 kB
Inactive(file):   322812 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28528 kB
Writeback:             0 kB
AnonPages:         65912 kB
Mapped:           102764 kB
Shmem:             18068 kB
KReclaimable:      91656 kB
Slab:             176612 kB
SReclaimable:      91656 kB
SUnreclaim:        84956 kB
KernelStack:        4112 kB
PageTables:         2836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     330040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

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