Trace number 4490380

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 63f22adOPT0 485.082 486.641

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
MD5SUMa8470a83b0b0d2a815a3f0ab26202dcb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark318.517
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables120
Total number of constraints10
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3997
Number of bits of the biggest sum of numbers12
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.03	c #variables 120 #constraints 10
0.00/0.03	c objective is ce32 
0.00/0.03	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03	c initial counting CF 32, 64, 128, Arb: 11 , 0 , 0 , 0
0.00/0.03	c GLOBAL bounds - >= 0 @ 0.001078
0.00/0.03	c GLOBAL bounds - >= 0 @ 0.001547
0.00/0.03	c rational objective 0
0.57/0.64	c #Conflicts:       1000 | #Constraints:       1021
0.57/0.64	c #Conflicts:       2000 | #Constraints:       2028
0.57/0.64	c INPROCESSING
0.57/0.64	c GARBAGE COLLECT
0.57/0.64	c rational objective 0
1.16/1.30	c #Conflicts:       3000 | #Constraints:       2028
1.16/1.30	c #Conflicts:       4000 | #Constraints:       3032
1.16/1.30	c INPROCESSING
1.16/1.30	c GARBAGE COLLECT
1.16/1.30	c rational objective 0
1.75/1.88	c #Conflicts:       5000 | #Constraints:       2428
1.75/1.88	c #Conflicts:       6000 | #Constraints:       3429
1.75/1.88	c INPROCESSING
1.75/1.88	c GARBAGE COLLECT
1.75/1.88	c rational objective 0
2.36/2.45	c #Conflicts:       7000 | #Constraints:       2428
2.36/2.45	c #Conflicts:       8000 | #Constraints:       3428
2.36/2.45	c #Conflicts:       9000 | #Constraints:       4429
2.36/2.45	c INPROCESSING
2.36/2.45	c GARBAGE COLLECT
2.36/2.45	c rational objective 0
2.96/3.05	c #Conflicts:      10000 | #Constraints:       3128
2.96/3.05	c #Conflicts:      11000 | #Constraints:       4128
2.96/3.05	c #Conflicts:      12000 | #Constraints:       5128
2.96/3.05	c INPROCESSING
2.96/3.05	c GARBAGE COLLECT
2.96/3.05	c rational objective 0
3.65/3.71	c #Conflicts:      13000 | #Constraints:       3577
3.65/3.71	c #Conflicts:      14000 | #Constraints:       4577
3.65/3.71	c #Conflicts:      15000 | #Constraints:       5577
3.65/3.71	c INPROCESSING
3.65/3.71	c GARBAGE COLLECT
3.65/3.71	c rational objective 0
4.34/4.47	c #Conflicts:      16000 | #Constraints:       3801
4.34/4.47	c #Conflicts:      17000 | #Constraints:       4801
4.34/4.47	c #Conflicts:      18000 | #Constraints:       5802
4.34/4.47	c INPROCESSING
4.34/4.47	c GARBAGE COLLECT
4.34/4.47	c rational objective 0
5.25/5.32	c #Conflicts:      19000 | #Constraints:       3813
5.25/5.32	c #Conflicts:      20000 | #Constraints:       4815
5.25/5.32	c #Conflicts:      21000 | #Constraints:       5815
5.25/5.32	c INPROCESSING
5.25/5.32	c GARBAGE COLLECT
5.25/5.32	c rational objective 0
6.14/6.28	c #Conflicts:      22000 | #Constraints:       3618
6.14/6.28	c #Conflicts:      23000 | #Constraints:       4618
6.14/6.28	c #Conflicts:      24000 | #Constraints:       5619
6.14/6.28	c #Conflicts:      25000 | #Constraints:       6619
6.14/6.28	c INPROCESSING
6.14/6.28	c GARBAGE COLLECT
6.14/6.28	c rational objective 0
7.24/7.36	c #Conflicts:      26000 | #Constraints:       4221
7.24/7.36	c #Conflicts:      27000 | #Constraints:       5223
7.24/7.36	c #Conflicts:      28000 | #Constraints:       6223
7.24/7.36	c #Conflicts:      29000 | #Constraints:       7225
7.24/7.36	c INPROCESSING
7.24/7.36	c GARBAGE COLLECT
7.24/7.36	c rational objective 0
8.44/8.53	c #Conflicts:      30000 | #Constraints:       4625
8.44/8.53	c #Conflicts:      31000 | #Constraints:       5625
8.44/8.53	c #Conflicts:      32000 | #Constraints:       6625
8.44/8.53	c #Conflicts:      33000 | #Constraints:       7625
8.44/8.53	c INPROCESSING
8.44/8.53	c GARBAGE COLLECT
8.44/8.53	c rational objective 0
9.63/9.80	c #Conflicts:      34000 | #Constraints:       4822
9.63/9.80	c #Conflicts:      35000 | #Constraints:       5822
9.63/9.80	c #Conflicts:      36000 | #Constraints:       6822
9.63/9.80	c #Conflicts:      37000 | #Constraints:       7823
9.63/9.80	c INPROCESSING
9.63/9.80	c GARBAGE COLLECT
9.63/9.80	c rational objective 0
11.03/11.19	c #Conflicts:      38000 | #Constraints:       4825
11.03/11.19	c #Conflicts:      39000 | #Constraints:       5825
11.03/11.19	c #Conflicts:      40000 | #Constraints:       6825
11.03/11.19	c #Conflicts:      41000 | #Constraints:       7825
11.03/11.19	c INPROCESSING
11.03/11.19	c GARBAGE COLLECT
11.03/11.19	c rational objective 0
12.62/12.75	c #Conflicts:      42000 | #Constraints:       4629
12.62/12.75	c #Conflicts:      43000 | #Constraints:       5629
12.62/12.75	c #Conflicts:      44000 | #Constraints:       6629
12.62/12.75	c #Conflicts:      45000 | #Constraints:       7630
12.62/12.75	c #Conflicts:      46000 | #Constraints:       8630
12.62/12.75	c INPROCESSING
12.62/12.75	c GARBAGE COLLECT
12.62/12.75	c rational objective 0
14.31/14.46	c #Conflicts:      47000 | #Constraints:       5225
14.31/14.46	c #Conflicts:      48000 | #Constraints:       6225
14.31/14.46	c #Conflicts:      49000 | #Constraints:       7226
14.31/14.46	c #Conflicts:      50000 | #Constraints:       8226
14.31/14.46	c #Conflicts:      51000 | #Constraints:       9227
14.31/14.46	c INPROCESSING
14.31/14.46	c GARBAGE COLLECT
14.31/14.46	c rational objective 0
16.10/16.25	c #Conflicts:      52000 | #Constraints:       5631
16.10/16.25	c #Conflicts:      53000 | #Constraints:       6631
16.10/16.25	c #Conflicts:      54000 | #Constraints:       7631
16.10/16.25	c #Conflicts:      55000 | #Constraints:       8631
16.10/16.25	c #Conflicts:      56000 | #Constraints:       9631
16.10/16.25	c INPROCESSING
16.10/16.25	c GARBAGE COLLECT
16.10/16.25	c rational objective 0
18.01/18.18	c #Conflicts:      57000 | #Constraints:       5826
18.01/18.18	c #Conflicts:      58000 | #Constraints:       6826
18.01/18.18	c #Conflicts:      59000 | #Constraints:       7826
18.01/18.18	c #Conflicts:      60000 | #Constraints:       8827
18.01/18.18	c #Conflicts:      61000 | #Constraints:       9827
18.01/18.18	c INPROCESSING
18.01/18.18	c GARBAGE COLLECT
18.01/18.18	c rational objective 0
20.10/20.22	c #Conflicts:      62000 | #Constraints:       5827
20.10/20.22	c #Conflicts:      63000 | #Constraints:       6827
20.10/20.22	c #Conflicts:      64000 | #Constraints:       7827
20.10/20.22	c #Conflicts:      65000 | #Constraints:       8827
20.10/20.22	c #Conflicts:      66000 | #Constraints:       9827
20.10/20.22	c INPROCESSING
20.10/20.22	c GARBAGE COLLECT
20.10/20.22	c rational objective 0
22.19/22.36	c #Conflicts:      67000 | #Constraints:       5625
22.19/22.36	c #Conflicts:      68000 | #Constraints:       6627
22.19/22.36	c #Conflicts:      69000 | #Constraints:       7627
22.19/22.36	c #Conflicts:      70000 | #Constraints:       8627
22.19/22.36	c #Conflicts:      71000 | #Constraints:       9627
22.19/22.36	c #Conflicts:      72000 | #Constraints:      10627
22.19/22.36	c INPROCESSING
22.19/22.36	c GARBAGE COLLECT
22.19/22.36	c rational objective 0
24.58/24.70	c #Conflicts:      73000 | #Constraints:       6226
24.58/24.70	c #Conflicts:      74000 | #Constraints:       7226
24.58/24.70	c #Conflicts:      75000 | #Constraints:       8226
24.58/24.70	c #Conflicts:      76000 | #Constraints:       9228
24.58/24.70	c #Conflicts:      77000 | #Constraints:      10228
24.58/24.70	c #Conflicts:      78000 | #Constraints:      11228
24.58/24.70	c INPROCESSING
24.58/24.70	c GARBAGE COLLECT
24.58/24.70	c rational objective 0
27.07/27.21	c #Conflicts:      79000 | #Constraints:       6630
27.07/27.21	c #Conflicts:      80000 | #Constraints:       7630
27.07/27.21	c #Conflicts:      81000 | #Constraints:       8630
27.07/27.21	c #Conflicts:      82000 | #Constraints:       9630
27.07/27.21	c #Conflicts:      83000 | #Constraints:      10630
27.07/27.21	c #Conflicts:      84000 | #Constraints:      11631
27.07/27.21	c INPROCESSING
27.07/27.21	c GARBAGE COLLECT
27.07/27.21	c rational objective 0
29.76/29.94	c #Conflicts:      85000 | #Constraints:       6829
29.76/29.94	c #Conflicts:      86000 | #Constraints:       7829
29.76/29.94	c #Conflicts:      87000 | #Constraints:       8829
29.76/29.94	c #Conflicts:      88000 | #Constraints:       9829
29.76/29.94	c #Conflicts:      89000 | #Constraints:      10830
29.76/29.94	c #Conflicts:      90000 | #Constraints:      11830
29.76/29.94	c INPROCESSING
29.76/29.94	c GARBAGE COLLECT
29.76/29.94	c rational objective 0
32.65/32.86	c #Conflicts:      91000 | #Constraints:       6829
32.65/32.86	c #Conflicts:      92000 | #Constraints:       7829
32.65/32.86	c #Conflicts:      93000 | #Constraints:       8829
32.65/32.86	c #Conflicts:      94000 | #Constraints:       9829
32.65/32.86	c #Conflicts:      95000 | #Constraints:      10829
32.65/32.86	c #Conflicts:      96000 | #Constraints:      11829
32.65/32.86	c INPROCESSING
32.65/32.86	c GARBAGE COLLECT
32.65/32.86	c rational objective 0
35.54/35.78	c #Conflicts:      97000 | #Constraints:       6628
35.54/35.78	c #Conflicts:      98000 | #Constraints:       7628
35.54/35.78	c #Conflicts:      99000 | #Constraints:       8629
35.54/35.78	c #Conflicts:     100000 | #Constraints:       9629
35.54/35.78	c #Conflicts:     101000 | #Constraints:      10629
35.54/35.78	c #Conflicts:     102000 | #Constraints:      11632
35.54/35.78	c #Conflicts:     103000 | #Constraints:      12632
35.54/35.78	c INPROCESSING
35.54/35.78	c GARBAGE COLLECT
35.54/35.78	c rational objective 0
38.63/38.83	c #Conflicts:     104000 | #Constraints:       7228
38.63/38.83	c #Conflicts:     105000 | #Constraints:       8228
38.63/38.83	c #Conflicts:     106000 | #Constraints:       9228
38.63/38.83	c #Conflicts:     107000 | #Constraints:      10229
38.63/38.83	c #Conflicts:     108000 | #Constraints:      11229
38.63/38.83	c #Conflicts:     109000 | #Constraints:      12229
38.63/38.83	c #Conflicts:     110000 | #Constraints:      13229
38.63/38.83	c INPROCESSING
38.63/38.83	c GARBAGE COLLECT
38.63/38.83	c rational objective 0
41.83/42.01	c #Conflicts:     111000 | #Constraints:       7629
41.83/42.01	c #Conflicts:     112000 | #Constraints:       8629
41.83/42.01	c #Conflicts:     113000 | #Constraints:       9629
41.83/42.01	c #Conflicts:     114000 | #Constraints:      10629
41.83/42.01	c #Conflicts:     115000 | #Constraints:      11629
41.83/42.01	c #Conflicts:     116000 | #Constraints:      12629
41.83/42.01	c #Conflicts:     117000 | #Constraints:      13629
41.83/42.01	c INPROCESSING
41.83/42.01	c GARBAGE COLLECT
41.83/42.01	c rational objective 0
45.21/45.42	c #Conflicts:     118000 | #Constraints:       7828
45.21/45.42	c #Conflicts:     119000 | #Constraints:       8828
45.21/45.42	c #Conflicts:     120000 | #Constraints:       9828
45.21/45.42	c #Conflicts:     121000 | #Constraints:      10828
45.21/45.42	c #Conflicts:     122000 | #Constraints:      11828
45.21/45.42	c #Conflicts:     123000 | #Constraints:      12828
45.21/45.42	c #Conflicts:     124000 | #Constraints:      13828
45.21/45.42	c INPROCESSING
45.21/45.42	c GARBAGE COLLECT
45.21/45.42	c rational objective 0
48.81/49.07	c #Conflicts:     125000 | #Constraints:       7829
48.81/49.07	c #Conflicts:     126000 | #Constraints:       8829
48.81/49.07	c #Conflicts:     127000 | #Constraints:       9829
48.81/49.07	c #Conflicts:     128000 | #Constraints:      10829
48.81/49.07	c #Conflicts:     129000 | #Constraints:      11829
48.81/49.07	c #Conflicts:     130000 | #Constraints:      12830
48.81/49.07	c #Conflicts:     131000 | #Constraints:      13830
48.81/49.07	c INPROCESSING
48.81/49.07	c GARBAGE COLLECT
48.81/49.07	c rational objective 0
52.59/52.81	c #Conflicts:     132000 | #Constraints:       7627
52.59/52.81	c #Conflicts:     133000 | #Constraints:       8627
52.59/52.81	c #Conflicts:     134000 | #Constraints:       9627
52.59/52.81	c #Conflicts:     135000 | #Constraints:      10627
52.59/52.81	c #Conflicts:     136000 | #Constraints:      11627
52.59/52.81	c #Conflicts:     137000 | #Constraints:      12627
52.59/52.81	c #Conflicts:     138000 | #Constraints:      13627
52.59/52.81	c #Conflicts:     139000 | #Constraints:      14627
52.59/52.81	c INPROCESSING
52.59/52.81	c GARBAGE COLLECT
52.59/52.81	c rational objective 0
56.47/56.72	c #Conflicts:     140000 | #Constraints:       8226
56.47/56.72	c #Conflicts:     141000 | #Constraints:       9226
56.47/56.72	c #Conflicts:     142000 | #Constraints:      10226
56.47/56.72	c #Conflicts:     143000 | #Constraints:      11226
56.47/56.72	c #Conflicts:     144000 | #Constraints:      12226
56.47/56.72	c #Conflicts:     145000 | #Constraints:      13226
56.47/56.72	c #Conflicts:     146000 | #Constraints:      14226
56.47/56.72	c #Conflicts:     147000 | #Constraints:      15226
56.47/56.72	c INPROCESSING
56.47/56.72	c GARBAGE COLLECT
56.47/56.72	c rational objective 0
60.35/60.68	c #Conflicts:     148000 | #Constraints:       8625
60.35/60.68	c #Conflicts:     149000 | #Constraints:       9625
60.35/60.68	c #Conflicts:     150000 | #Constraints:      10625
60.35/60.68	c #Conflicts:     151000 | #Constraints:      11625
60.35/60.68	c #Conflicts:     152000 | #Constraints:      12625
60.35/60.68	c #Conflicts:     153000 | #Constraints:      13625
60.35/60.68	c #Conflicts:     154000 | #Constraints:      14625
60.35/60.68	c #Conflicts:     155000 | #Constraints:      15625
60.35/60.68	c INPROCESSING
60.35/60.68	c GARBAGE COLLECT
60.35/60.68	c rational objective 0
64.54/64.83	c #Conflicts:     156000 | #Constraints:       8827
64.54/64.83	c #Conflicts:     157000 | #Constraints:       9828
64.54/64.83	c #Conflicts:     158000 | #Constraints:      10828
64.54/64.83	c #Conflicts:     159000 | #Constraints:      11828
64.54/64.83	c #Conflicts:     160000 | #Constraints:      12828
64.54/64.83	c #Conflicts:     161000 | #Constraints:      13828
64.54/64.83	c #Conflicts:     162000 | #Constraints:      14828
64.54/64.83	c #Conflicts:     163000 | #Constraints:      15828
64.54/64.83	c INPROCESSING
64.54/64.83	c GARBAGE COLLECT
64.54/64.83	c rational objective 0
68.93/69.20	c #Conflicts:     164000 | #Constraints:       8829
68.93/69.20	c #Conflicts:     165000 | #Constraints:       9829
68.93/69.20	c #Conflicts:     166000 | #Constraints:      10829
68.93/69.20	c #Conflicts:     167000 | #Constraints:      11829
68.93/69.20	c #Conflicts:     168000 | #Constraints:      12829
68.93/69.20	c #Conflicts:     169000 | #Constraints:      13829
68.93/69.20	c #Conflicts:     170000 | #Constraints:      14829
68.93/69.20	c #Conflicts:     171000 | #Constraints:      15829
68.93/69.20	c INPROCESSING
68.93/69.20	c GARBAGE COLLECT
68.93/69.20	c rational objective 0
73.12/73.49	c #Conflicts:     172000 | #Constraints:       8625
73.12/73.49	c #Conflicts:     173000 | #Constraints:       9625
73.12/73.49	c #Conflicts:     174000 | #Constraints:      10625
73.12/73.49	c #Conflicts:     175000 | #Constraints:      11625
73.12/73.49	c #Conflicts:     176000 | #Constraints:      12625
73.12/73.49	c #Conflicts:     177000 | #Constraints:      13625
73.12/73.49	c #Conflicts:     178000 | #Constraints:      14625
73.12/73.49	c #Conflicts:     179000 | #Constraints:      15625
73.12/73.49	c #Conflicts:     180000 | #Constraints:      16625
73.12/73.49	c INPROCESSING
73.12/73.49	c GARBAGE COLLECT
73.12/73.49	c rational objective 0
77.91/78.25	c #Conflicts:     181000 | #Constraints:       9223
77.91/78.25	c #Conflicts:     182000 | #Constraints:      10223
77.91/78.25	c #Conflicts:     183000 | #Constraints:      11223
77.91/78.25	c #Conflicts:     184000 | #Constraints:      12223
77.91/78.25	c #Conflicts:     185000 | #Constraints:      13223
77.91/78.25	c #Conflicts:     186000 | #Constraints:      14223
77.91/78.25	c #Conflicts:     187000 | #Constraints:      15223
77.91/78.25	c #Conflicts:     188000 | #Constraints:      16223
77.91/78.25	c #Conflicts:     189000 | #Constraints:      17223
77.91/78.25	c INPROCESSING
77.91/78.25	c GARBAGE COLLECT
77.91/78.25	c rational objective 0
82.90/83.28	c #Conflicts:     190000 | #Constraints:       9623
82.90/83.28	c #Conflicts:     191000 | #Constraints:      10623
82.90/83.28	c #Conflicts:     192000 | #Constraints:      11623
82.90/83.28	c #Conflicts:     193000 | #Constraints:      12623
82.90/83.28	c #Conflicts:     194000 | #Constraints:      13623
82.90/83.28	c #Conflicts:     195000 | #Constraints:      14623
82.90/83.28	c #Conflicts:     196000 | #Constraints:      15623
82.90/83.28	c #Conflicts:     197000 | #Constraints:      16623
82.90/83.28	c #Conflicts:     198000 | #Constraints:      17623
82.90/83.28	c INPROCESSING
82.90/83.28	c GARBAGE COLLECT
82.90/83.28	c rational objective 0
88.27/88.63	c #Conflicts:     199000 | #Constraints:       9823
88.27/88.63	c #Conflicts:     200000 | #Constraints:      10823
88.27/88.63	c #Conflicts:     201000 | #Constraints:      11823
88.27/88.63	c #Conflicts:     202000 | #Constraints:      12824
88.27/88.63	c #Conflicts:     203000 | #Constraints:      13824
88.27/88.63	c #Conflicts:     204000 | #Constraints:      14824
88.27/88.63	c #Conflicts:     205000 | #Constraints:      15824
88.27/88.63	c #Conflicts:     206000 | #Constraints:      16825
88.27/88.63	c #Conflicts:     207000 | #Constraints:      17825
88.27/88.63	c INPROCESSING
88.27/88.63	c GARBAGE COLLECT
88.27/88.63	c rational objective 0
93.87/94.25	c #Conflicts:     208000 | #Constraints:       9825
93.87/94.25	c #Conflicts:     209000 | #Constraints:      10825
93.87/94.25	c #Conflicts:     210000 | #Constraints:      11825
93.87/94.25	c #Conflicts:     211000 | #Constraints:      12825
93.87/94.25	c #Conflicts:     212000 | #Constraints:      13825
93.87/94.25	c #Conflicts:     213000 | #Constraints:      14825
93.87/94.25	c #Conflicts:     214000 | #Constraints:      15825
93.87/94.25	c #Conflicts:     215000 | #Constraints:      16825
93.87/94.25	c #Conflicts:     216000 | #Constraints:      17825
93.87/94.25	c INPROCESSING
93.87/94.25	c GARBAGE COLLECT
93.87/94.25	c rational objective 0
99.76/100.16	c #Conflicts:     217000 | #Constraints:       9626
99.76/100.16	c #Conflicts:     218000 | #Constraints:      10626
99.76/100.16	c #Conflicts:     219000 | #Constraints:      11626
99.76/100.16	c #Conflicts:     220000 | #Constraints:      12626
99.76/100.16	c #Conflicts:     221000 | #Constraints:      13626
99.76/100.16	c #Conflicts:     222000 | #Constraints:      14626
99.76/100.16	c #Conflicts:     223000 | #Constraints:      15626
99.76/100.16	c #Conflicts:     224000 | #Constraints:      16626
99.76/100.16	c #Conflicts:     225000 | #Constraints:      17626
99.76/100.16	c #Conflicts:     226000 | #Constraints:      18626
99.76/100.16	c INPROCESSING
99.76/100.16	c GARBAGE COLLECT
99.76/100.16	c rational objective 0
105.83/106.26	c #Conflicts:     227000 | #Constraints:      10231
105.83/106.26	c #Conflicts:     228000 | #Constraints:      11231
105.83/106.26	c #Conflicts:     229000 | #Constraints:      12231
105.83/106.26	c #Conflicts:     230000 | #Constraints:      13231
105.83/106.26	c #Conflicts:     231000 | #Constraints:      14231
105.83/106.26	c #Conflicts:     232000 | #Constraints:      15231
105.83/106.26	c #Conflicts:     233000 | #Constraints:      16231
105.83/106.26	c #Conflicts:     234000 | #Constraints:      17231
105.83/106.26	c #Conflicts:     235000 | #Constraints:      18231
105.83/106.26	c #Conflicts:     236000 | #Constraints:      19231
105.83/106.26	c INPROCESSING
105.83/106.26	c GARBAGE COLLECT
105.83/106.26	c rational objective 0
112.31/112.77	c #Conflicts:     237000 | #Constraints:      10627
112.31/112.77	c #Conflicts:     238000 | #Constraints:      11627
112.31/112.77	c #Conflicts:     239000 | #Constraints:      12627
112.31/112.77	c #Conflicts:     240000 | #Constraints:      13627
112.31/112.77	c #Conflicts:     241000 | #Constraints:      14627
112.31/112.77	c #Conflicts:     242000 | #Constraints:      15627
112.31/112.77	c #Conflicts:     243000 | #Constraints:      16627
112.31/112.77	c #Conflicts:     244000 | #Constraints:      17627
112.31/112.77	c #Conflicts:     245000 | #Constraints:      18627
112.31/112.77	c #Conflicts:     246000 | #Constraints:      19627
112.31/112.77	c INPROCESSING
112.31/112.77	c GARBAGE COLLECT
112.31/112.77	c rational objective 0
119.09/119.54	c #Conflicts:     247000 | #Constraints:      10828
119.09/119.54	c #Conflicts:     248000 | #Constraints:      11828
119.09/119.54	c #Conflicts:     249000 | #Constraints:      12829
119.09/119.54	c #Conflicts:     250000 | #Constraints:      13829
119.09/119.54	c #Conflicts:     251000 | #Constraints:      14829
119.09/119.54	c #Conflicts:     252000 | #Constraints:      15829
119.09/119.54	c #Conflicts:     253000 | #Constraints:      16829
119.09/119.54	c #Conflicts:     254000 | #Constraints:      17829
119.09/119.54	c #Conflicts:     255000 | #Constraints:      18829
119.09/119.54	c #Conflicts:     256000 | #Constraints:      19829
119.09/119.54	c INPROCESSING
119.09/119.54	c GARBAGE COLLECT
119.09/119.54	c rational objective 0
126.06/126.57	c #Conflicts:     257000 | #Constraints:      10829
126.06/126.57	c #Conflicts:     258000 | #Constraints:      11829
126.06/126.57	c #Conflicts:     259000 | #Constraints:      12829
126.06/126.57	c #Conflicts:     260000 | #Constraints:      13829
126.06/126.57	c #Conflicts:     261000 | #Constraints:      14829
126.06/126.57	c #Conflicts:     262000 | #Constraints:      15829
126.06/126.57	c #Conflicts:     263000 | #Constraints:      16829
126.06/126.57	c #Conflicts:     264000 | #Constraints:      17829
126.06/126.57	c #Conflicts:     265000 | #Constraints:      18829
126.06/126.57	c #Conflicts:     266000 | #Constraints:      19829
126.06/126.57	c INPROCESSING
126.06/126.57	c GARBAGE COLLECT
126.06/126.57	c rational objective 0
133.44/133.96	c #Conflicts:     267000 | #Constraints:      10626
133.44/133.96	c #Conflicts:     268000 | #Constraints:      11626
133.44/133.96	c #Conflicts:     269000 | #Constraints:      12626
133.44/133.96	c #Conflicts:     270000 | #Constraints:      13626
133.44/133.96	c #Conflicts:     271000 | #Constraints:      14626
133.44/133.96	c #Conflicts:     272000 | #Constraints:      15628
133.44/133.96	c #Conflicts:     273000 | #Constraints:      16628
133.44/133.96	c #Conflicts:     274000 | #Constraints:      17628
133.44/133.96	c #Conflicts:     275000 | #Constraints:      18628
133.44/133.96	c #Conflicts:     276000 | #Constraints:      19628
133.44/133.96	c #Conflicts:     277000 | #Constraints:      20628
133.44/133.96	c INPROCESSING
133.44/133.96	c GARBAGE COLLECT
133.44/133.96	c rational objective 0
141.02/141.51	c #Conflicts:     278000 | #Constraints:      11226
141.02/141.51	c #Conflicts:     279000 | #Constraints:      12226
141.02/141.51	c #Conflicts:     280000 | #Constraints:      13226
141.02/141.51	c #Conflicts:     281000 | #Constraints:      14226
141.02/141.51	c #Conflicts:     282000 | #Constraints:      15226
141.02/141.51	c #Conflicts:     283000 | #Constraints:      16226
141.02/141.51	c #Conflicts:     284000 | #Constraints:      17226
141.02/141.51	c #Conflicts:     285000 | #Constraints:      18226
141.02/141.51	c #Conflicts:     286000 | #Constraints:      19226
141.02/141.51	c #Conflicts:     287000 | #Constraints:      20226
141.02/141.51	c #Conflicts:     288000 | #Constraints:      21226
141.02/141.51	c INPROCESSING
141.02/141.51	c GARBAGE COLLECT
141.02/141.51	c rational objective 0
148.70/149.23	c #Conflicts:     289000 | #Constraints:      11627
148.70/149.23	c #Conflicts:     290000 | #Constraints:      12627
148.70/149.23	c #Conflicts:     291000 | #Constraints:      13627
148.70/149.23	c #Conflicts:     292000 | #Constraints:      14627
148.70/149.23	c #Conflicts:     293000 | #Constraints:      15627
148.70/149.23	c #Conflicts:     294000 | #Constraints:      16627
148.70/149.23	c #Conflicts:     295000 | #Constraints:      17627
148.70/149.23	c #Conflicts:     296000 | #Constraints:      18627
148.70/149.23	c #Conflicts:     297000 | #Constraints:      19627
148.70/149.23	c #Conflicts:     298000 | #Constraints:      20627
148.70/149.23	c #Conflicts:     299000 | #Constraints:      21627
148.70/149.23	c INPROCESSING
148.70/149.23	c GARBAGE COLLECT
148.70/149.23	c rational objective 0
156.77/157.32	c #Conflicts:     300000 | #Constraints:      11824
156.77/157.32	c #Conflicts:     301000 | #Constraints:      12824
156.77/157.32	c #Conflicts:     302000 | #Constraints:      13824
156.77/157.32	c #Conflicts:     303000 | #Constraints:      14824
156.77/157.32	c #Conflicts:     304000 | #Constraints:      15824
156.77/157.32	c #Conflicts:     305000 | #Constraints:      16824
156.77/157.32	c #Conflicts:     306000 | #Constraints:      17824
156.77/157.32	c #Conflicts:     307000 | #Constraints:      18824
156.77/157.32	c #Conflicts:     308000 | #Constraints:      19824
156.77/157.32	c #Conflicts:     309000 | #Constraints:      20824
156.77/157.32	c #Conflicts:     310000 | #Constraints:      21824
156.77/157.32	c INPROCESSING
156.77/157.32	c GARBAGE COLLECT
156.77/157.32	c rational objective 0
164.85/165.48	c #Conflicts:     311000 | #Constraints:      11827
164.85/165.48	c #Conflicts:     312000 | #Constraints:      12827
164.85/165.48	c #Conflicts:     313000 | #Constraints:      13827
164.85/165.48	c #Conflicts:     314000 | #Constraints:      14827
164.85/165.48	c #Conflicts:     315000 | #Constraints:      15827
164.85/165.48	c #Conflicts:     316000 | #Constraints:      16827
164.85/165.48	c #Conflicts:     317000 | #Constraints:      17827
164.85/165.48	c #Conflicts:     318000 | #Constraints:      18827
164.85/165.48	c #Conflicts:     319000 | #Constraints:      19827
164.85/165.48	c #Conflicts:     320000 | #Constraints:      20827
164.85/165.48	c #Conflicts:     321000 | #Constraints:      21827
164.85/165.48	c INPROCESSING
164.85/165.48	c GARBAGE COLLECT
164.85/165.48	c rational objective 0
173.62/174.20	c #Conflicts:     322000 | #Constraints:      11628
173.62/174.20	c #Conflicts:     323000 | #Constraints:      12628
173.62/174.20	c #Conflicts:     324000 | #Constraints:      13628
173.62/174.20	c #Conflicts:     325000 | #Constraints:      14628
173.62/174.20	c #Conflicts:     326000 | #Constraints:      15628
173.62/174.20	c #Conflicts:     327000 | #Constraints:      16628
173.62/174.20	c #Conflicts:     328000 | #Constraints:      17628
173.62/174.20	c #Conflicts:     329000 | #Constraints:      18629
173.62/174.20	c #Conflicts:     330000 | #Constraints:      19629
173.62/174.20	c #Conflicts:     331000 | #Constraints:      20629
173.62/174.20	c #Conflicts:     332000 | #Constraints:      21629
173.62/174.20	c #Conflicts:     333000 | #Constraints:      22629
173.62/174.20	c INPROCESSING
173.62/174.20	c GARBAGE COLLECT
173.62/174.20	c rational objective 0
182.51/183.14	c #Conflicts:     334000 | #Constraints:      12228
182.51/183.14	c #Conflicts:     335000 | #Constraints:      13228
182.51/183.14	c #Conflicts:     336000 | #Constraints:      14228
182.51/183.14	c #Conflicts:     337000 | #Constraints:      15228
182.51/183.14	c #Conflicts:     338000 | #Constraints:      16228
182.51/183.14	c #Conflicts:     339000 | #Constraints:      17228
182.51/183.14	c #Conflicts:     340000 | #Constraints:      18228
182.51/183.14	c #Conflicts:     341000 | #Constraints:      19228
182.51/183.14	c #Conflicts:     342000 | #Constraints:      20228
182.51/183.14	c #Conflicts:     343000 | #Constraints:      21228
182.51/183.14	c #Conflicts:     344000 | #Constraints:      22228
182.51/183.14	c #Conflicts:     345000 | #Constraints:      23228
182.51/183.14	c INPROCESSING
182.51/183.14	c GARBAGE COLLECT
182.51/183.14	c rational objective 0
191.57/192.23	c #Conflicts:     346000 | #Constraints:      12624
191.57/192.23	c #Conflicts:     347000 | #Constraints:      13624
191.57/192.23	c #Conflicts:     348000 | #Constraints:      14624
191.57/192.23	c #Conflicts:     349000 | #Constraints:      15624
191.57/192.23	c #Conflicts:     350000 | #Constraints:      16624
191.57/192.23	c #Conflicts:     351000 | #Constraints:      17624
191.57/192.23	c #Conflicts:     352000 | #Constraints:      18624
191.57/192.23	c #Conflicts:     353000 | #Constraints:      19624
191.57/192.23	c #Conflicts:     354000 | #Constraints:      20624
191.57/192.23	c #Conflicts:     355000 | #Constraints:      21624
191.57/192.23	c #Conflicts:     356000 | #Constraints:      22624
191.57/192.23	c #Conflicts:     357000 | #Constraints:      23624
191.57/192.23	c INPROCESSING
191.57/192.23	c GARBAGE COLLECT
191.57/192.23	c rational objective 0
201.04/201.70	c #Conflicts:     358000 | #Constraints:      12825
201.04/201.70	c #Conflicts:     359000 | #Constraints:      13825
201.04/201.70	c #Conflicts:     360000 | #Constraints:      14825
201.04/201.70	c #Conflicts:     361000 | #Constraints:      15825
201.04/201.70	c #Conflicts:     362000 | #Constraints:      16825
201.04/201.70	c #Conflicts:     363000 | #Constraints:      17825
201.04/201.70	c #Conflicts:     364000 | #Constraints:      18825
201.04/201.70	c #Conflicts:     365000 | #Constraints:      19825
201.04/201.70	c #Conflicts:     366000 | #Constraints:      20825
201.04/201.70	c #Conflicts:     367000 | #Constraints:      21825
201.04/201.70	c #Conflicts:     368000 | #Constraints:      22825
201.04/201.70	c #Conflicts:     369000 | #Constraints:      23825
201.04/201.70	c INPROCESSING
201.04/201.70	c GARBAGE COLLECT
201.04/201.70	c rational objective 0
210.91/211.62	c #Conflicts:     370000 | #Constraints:      12826
210.91/211.62	c #Conflicts:     371000 | #Constraints:      13826
210.91/211.62	c #Conflicts:     372000 | #Constraints:      14826
210.91/211.62	c #Conflicts:     373000 | #Constraints:      15826
210.91/211.62	c #Conflicts:     374000 | #Constraints:      16826
210.91/211.62	c #Conflicts:     375000 | #Constraints:      17826
210.91/211.62	c #Conflicts:     376000 | #Constraints:      18826
210.91/211.62	c #Conflicts:     377000 | #Constraints:      19826
210.91/211.62	c #Conflicts:     378000 | #Constraints:      20826
210.91/211.62	c #Conflicts:     379000 | #Constraints:      21826
210.91/211.62	c #Conflicts:     380000 | #Constraints:      22826
210.91/211.62	c #Conflicts:     381000 | #Constraints:      23826
210.91/211.62	c INPROCESSING
210.91/211.62	c GARBAGE COLLECT
210.91/211.62	c rational objective 0
220.98/221.77	c #Conflicts:     382000 | #Constraints:      12626
220.98/221.77	c #Conflicts:     383000 | #Constraints:      13626
220.98/221.77	c #Conflicts:     384000 | #Constraints:      14626
220.98/221.77	c #Conflicts:     385000 | #Constraints:      15626
220.98/221.77	c #Conflicts:     386000 | #Constraints:      16626
220.98/221.77	c #Conflicts:     387000 | #Constraints:      17626
220.98/221.77	c #Conflicts:     388000 | #Constraints:      18626
220.98/221.77	c #Conflicts:     389000 | #Constraints:      19626
220.98/221.77	c #Conflicts:     390000 | #Constraints:      20626
220.98/221.77	c #Conflicts:     391000 | #Constraints:      21626
220.98/221.77	c #Conflicts:     392000 | #Constraints:      22626
220.98/221.77	c #Conflicts:     393000 | #Constraints:      23626
220.98/221.77	c #Conflicts:     394000 | #Constraints:      24626
220.98/221.77	c INPROCESSING
220.98/221.77	c GARBAGE COLLECT
220.98/221.77	c rational objective 0
231.55/232.31	c #Conflicts:     395000 | #Constraints:      13226
231.55/232.31	c #Conflicts:     396000 | #Constraints:      14226
231.55/232.31	c #Conflicts:     397000 | #Constraints:      15226
231.55/232.31	c #Conflicts:     398000 | #Constraints:      16226
231.55/232.31	c #Conflicts:     399000 | #Constraints:      17226
231.55/232.31	c #Conflicts:     400000 | #Constraints:      18226
231.55/232.31	c #Conflicts:     401000 | #Constraints:      19226
231.55/232.31	c #Conflicts:     402000 | #Constraints:      20226
231.55/232.31	c #Conflicts:     403000 | #Constraints:      21226
231.55/232.31	c #Conflicts:     404000 | #Constraints:      22226
231.55/232.31	c #Conflicts:     405000 | #Constraints:      23226
231.55/232.31	c #Conflicts:     406000 | #Constraints:      24226
231.55/232.31	c #Conflicts:     407000 | #Constraints:      25226
231.55/232.31	c INPROCESSING
231.55/232.31	c GARBAGE COLLECT
231.55/232.31	c rational objective 0
242.33/243.18	c #Conflicts:     408000 | #Constraints:      13625
242.33/243.18	c #Conflicts:     409000 | #Constraints:      14625
242.33/243.18	c #Conflicts:     410000 | #Constraints:      15625
242.33/243.18	c #Conflicts:     411000 | #Constraints:      16626
242.33/243.18	c #Conflicts:     412000 | #Constraints:      17626
242.33/243.18	c #Conflicts:     413000 | #Constraints:      18626
242.33/243.18	c #Conflicts:     414000 | #Constraints:      19626
242.33/243.18	c #Conflicts:     415000 | #Constraints:      20626
242.33/243.18	c #Conflicts:     416000 | #Constraints:      21626
242.33/243.18	c #Conflicts:     417000 | #Constraints:      22626
242.33/243.18	c #Conflicts:     418000 | #Constraints:      23626
242.33/243.18	c #Conflicts:     419000 | #Constraints:      24626
242.33/243.18	c #Conflicts:     420000 | #Constraints:      25627
242.33/243.18	c INPROCESSING
242.33/243.18	c GARBAGE COLLECT
242.33/243.18	c rational objective 0
253.39/254.26	c #Conflicts:     421000 | #Constraints:      13828
253.39/254.26	c #Conflicts:     422000 | #Constraints:      14828
253.39/254.26	c #Conflicts:     423000 | #Constraints:      15828
253.39/254.26	c #Conflicts:     424000 | #Constraints:      16828
253.39/254.26	c #Conflicts:     425000 | #Constraints:      17828
253.39/254.26	c #Conflicts:     426000 | #Constraints:      18828
253.39/254.26	c #Conflicts:     427000 | #Constraints:      19828
253.39/254.26	c #Conflicts:     428000 | #Constraints:      20828
253.39/254.26	c #Conflicts:     429000 | #Constraints:      21828
253.39/254.26	c #Conflicts:     430000 | #Constraints:      22829
253.39/254.26	c #Conflicts:     431000 | #Constraints:      23829
253.39/254.26	c #Conflicts:     432000 | #Constraints:      24829
253.39/254.26	c #Conflicts:     433000 | #Constraints:      25829
253.39/254.26	c INPROCESSING
253.39/254.26	c GARBAGE COLLECT
253.39/254.26	c rational objective 0
264.74/265.65	c #Conflicts:     434000 | #Constraints:      13828
264.74/265.65	c #Conflicts:     435000 | #Constraints:      14828
264.74/265.65	c #Conflicts:     436000 | #Constraints:      15828
264.74/265.65	c #Conflicts:     437000 | #Constraints:      16828
264.74/265.65	c #Conflicts:     438000 | #Constraints:      17828
264.74/265.65	c #Conflicts:     439000 | #Constraints:      18828
264.74/265.65	c #Conflicts:     440000 | #Constraints:      19828
264.74/265.65	c #Conflicts:     441000 | #Constraints:      20828
264.74/265.65	c #Conflicts:     442000 | #Constraints:      21828
264.74/265.65	c #Conflicts:     443000 | #Constraints:      22828
264.74/265.65	c #Conflicts:     444000 | #Constraints:      23828
264.74/265.65	c #Conflicts:     445000 | #Constraints:      24828
264.74/265.65	c #Conflicts:     446000 | #Constraints:      25828
264.74/265.65	c INPROCESSING
264.74/265.65	c GARBAGE COLLECT
264.74/265.65	c rational objective 0
276.90/277.81	c #Conflicts:     447000 | #Constraints:      13629
276.90/277.81	c #Conflicts:     448000 | #Constraints:      14629
276.90/277.81	c #Conflicts:     449000 | #Constraints:      15629
276.90/277.81	c #Conflicts:     450000 | #Constraints:      16629
276.90/277.81	c #Conflicts:     451000 | #Constraints:      17629
276.90/277.81	c #Conflicts:     452000 | #Constraints:      18629
276.90/277.81	c #Conflicts:     453000 | #Constraints:      19629
276.90/277.81	c #Conflicts:     454000 | #Constraints:      20629
276.90/277.81	c #Conflicts:     455000 | #Constraints:      21629
276.90/277.81	c #Conflicts:     456000 | #Constraints:      22629
276.90/277.81	c #Conflicts:     457000 | #Constraints:      23629
276.90/277.81	c #Conflicts:     458000 | #Constraints:      24629
276.90/277.81	c #Conflicts:     459000 | #Constraints:      25629
276.90/277.81	c #Conflicts:     460000 | #Constraints:      26629
276.90/277.81	c INPROCESSING
276.90/277.81	c GARBAGE COLLECT
276.90/277.81	c rational objective 0
288.95/289.99	c #Conflicts:     461000 | #Constraints:      14229
288.95/289.99	c #Conflicts:     462000 | #Constraints:      15229
288.95/289.99	c #Conflicts:     463000 | #Constraints:      16229
288.95/289.99	c #Conflicts:     464000 | #Constraints:      17229
288.95/289.99	c #Conflicts:     465000 | #Constraints:      18229
288.95/289.99	c #Conflicts:     466000 | #Constraints:      19229
288.95/289.99	c #Conflicts:     467000 | #Constraints:      20229
288.95/289.99	c #Conflicts:     468000 | #Constraints:      21229
288.95/289.99	c #Conflicts:     469000 | #Constraints:      22229
288.95/289.99	c #Conflicts:     470000 | #Constraints:      23229
288.95/289.99	c #Conflicts:     471000 | #Constraints:      24229
288.95/289.99	c #Conflicts:     472000 | #Constraints:      25229
288.95/289.99	c #Conflicts:     473000 | #Constraints:      26229
288.95/289.99	c #Conflicts:     474000 | #Constraints:      27229
288.95/289.99	c INPROCESSING
288.95/289.99	c GARBAGE COLLECT
288.95/289.99	c rational objective 0
301.21/302.29	c #Conflicts:     475000 | #Constraints:      14631
301.21/302.29	c #Conflicts:     476000 | #Constraints:      15631
301.21/302.29	c #Conflicts:     477000 | #Constraints:      16631
301.21/302.29	c #Conflicts:     478000 | #Constraints:      17631
301.21/302.29	c #Conflicts:     479000 | #Constraints:      18631
301.21/302.29	c #Conflicts:     480000 | #Constraints:      19631
301.21/302.29	c #Conflicts:     481000 | #Constraints:      20631
301.21/302.29	c #Conflicts:     482000 | #Constraints:      21631
301.21/302.29	c #Conflicts:     483000 | #Constraints:      22631
301.21/302.29	c #Conflicts:     484000 | #Constraints:      23631
301.21/302.29	c #Conflicts:     485000 | #Constraints:      24631
301.21/302.29	c #Conflicts:     486000 | #Constraints:      25631
301.21/302.29	c #Conflicts:     487000 | #Constraints:      26631
301.21/302.29	c #Conflicts:     488000 | #Constraints:      27631
301.21/302.29	c INPROCESSING
301.21/302.29	c GARBAGE COLLECT
301.21/302.29	c rational objective 0
314.17/315.25	c #Conflicts:     489000 | #Constraints:      14831
314.17/315.25	c #Conflicts:     490000 | #Constraints:      15831
314.17/315.25	c #Conflicts:     491000 | #Constraints:      16832
314.17/315.25	c #Conflicts:     492000 | #Constraints:      17832
314.17/315.25	c #Conflicts:     493000 | #Constraints:      18832
314.17/315.25	c #Conflicts:     494000 | #Constraints:      19832
314.17/315.25	c #Conflicts:     495000 | #Constraints:      20832
314.17/315.25	c #Conflicts:     496000 | #Constraints:      21832
314.17/315.25	c #Conflicts:     497000 | #Constraints:      22832
314.17/315.25	c #Conflicts:     498000 | #Constraints:      23832
314.17/315.25	c #Conflicts:     499000 | #Constraints:      24832
314.17/315.25	c #Conflicts:     500000 | #Constraints:      25832
314.17/315.25	c #Conflicts:     501000 | #Constraints:      26832
314.17/315.25	c #Conflicts:     502000 | #Constraints:      27832
314.17/315.25	c INPROCESSING
314.17/315.25	c GARBAGE COLLECT
314.17/315.25	c rational objective 0
327.22/328.38	c #Conflicts:     503000 | #Constraints:      14831
327.22/328.38	c #Conflicts:     504000 | #Constraints:      15831
327.22/328.38	c #Conflicts:     505000 | #Constraints:      16831
327.22/328.38	c #Conflicts:     506000 | #Constraints:      17831
327.22/328.38	c #Conflicts:     507000 | #Constraints:      18831
327.22/328.38	c #Conflicts:     508000 | #Constraints:      19831
327.22/328.38	c #Conflicts:     509000 | #Constraints:      20831
327.22/328.38	c #Conflicts:     510000 | #Constraints:      21831
327.22/328.38	c #Conflicts:     511000 | #Constraints:      22831
327.22/328.38	c #Conflicts:     512000 | #Constraints:      23831
327.22/328.38	c #Conflicts:     513000 | #Constraints:      24831
327.22/328.38	c #Conflicts:     514000 | #Constraints:      25831
327.22/328.38	c #Conflicts:     515000 | #Constraints:      26831
327.22/328.38	c #Conflicts:     516000 | #Constraints:      27831
327.22/328.38	c INPROCESSING
327.22/328.38	c GARBAGE COLLECT
327.22/328.38	c rational objective 0
339.69/340.80	c #Conflicts:     517000 | #Constraints:      14627
339.69/340.80	c #Conflicts:     518000 | #Constraints:      15627
339.69/340.80	c #Conflicts:     519000 | #Constraints:      16627
339.69/340.80	c #Conflicts:     520000 | #Constraints:      17629
339.69/340.80	c #Conflicts:     521000 | #Constraints:      18629
339.69/340.80	c #Conflicts:     522000 | #Constraints:      19629
339.69/340.80	c #Conflicts:     523000 | #Constraints:      20629
339.69/340.80	c #Conflicts:     524000 | #Constraints:      21629
339.69/340.80	c #Conflicts:     525000 | #Constraints:      22629
339.69/340.80	c #Conflicts:     526000 | #Constraints:      23629
339.69/340.80	c #Conflicts:     527000 | #Constraints:      24629
339.69/340.80	c #Conflicts:     528000 | #Constraints:      25629
339.69/340.80	c #Conflicts:     529000 | #Constraints:      26629
339.69/340.80	c #Conflicts:     530000 | #Constraints:      27629
339.69/340.80	c #Conflicts:     531000 | #Constraints:      28629
339.69/340.80	c INPROCESSING
339.69/340.80	c GARBAGE COLLECT
339.69/340.80	c rational objective 0
353.44/354.63	c #Conflicts:     532000 | #Constraints:      15293
353.44/354.63	c #Conflicts:     533000 | #Constraints:      16293
353.44/354.63	c #Conflicts:     534000 | #Constraints:      17307
353.44/354.63	c #Conflicts:     535000 | #Constraints:      18363
353.44/354.63	c #Conflicts:     536000 | #Constraints:      19390
353.44/354.63	c #Conflicts:     537000 | #Constraints:      20423
353.44/354.63	c #Conflicts:     538000 | #Constraints:      21442
353.44/354.63	c #Conflicts:     539000 | #Constraints:      22497
353.44/354.63	c #Conflicts:     540000 | #Constraints:      23513
353.44/354.63	c #Conflicts:     541000 | #Constraints:      24541
353.44/354.63	c #Conflicts:     542000 | #Constraints:      25551
353.44/354.63	c #Conflicts:     543000 | #Constraints:      26551
353.44/354.63	c #Conflicts:     544000 | #Constraints:      27640
353.44/354.63	c #Conflicts:     545000 | #Constraints:      28640
353.44/354.63	c #Conflicts:     546000 | #Constraints:      29640
353.44/354.63	c INPROCESSING
353.44/354.63	c GARBAGE COLLECT
353.44/354.63	c rational objective 0
372.90/374.18	c #Conflicts:     547000 | #Constraints:      16275
372.90/374.18	c #Conflicts:     548000 | #Constraints:      17764
372.90/374.18	c #Conflicts:     549000 | #Constraints:      19267
372.90/374.18	c #Conflicts:     550000 | #Constraints:      20749
372.90/374.18	c #Conflicts:     551000 | #Constraints:      22052
372.90/374.18	c #Conflicts:     552000 | #Constraints:      23154
372.90/374.18	c #Conflicts:     553000 | #Constraints:      24644
372.90/374.18	c #Conflicts:     554000 | #Constraints:      25825
372.90/374.18	c #Conflicts:     555000 | #Constraints:      26976
372.90/374.18	c #Conflicts:     556000 | #Constraints:      28320
372.90/374.18	c #Conflicts:     557000 | #Constraints:      29802
372.90/374.18	c #Conflicts:     558000 | #Constraints:      30844
372.90/374.18	c #Conflicts:     559000 | #Constraints:      32076
372.90/374.18	c #Conflicts:     560000 | #Constraints:      33091
372.90/374.18	c #Conflicts:     561000 | #Constraints:      34572
372.90/374.18	c INPROCESSING
372.90/374.18	c GARBAGE COLLECT
372.90/374.18	c rational objective 0
394.11/395.47	c #Conflicts:     562000 | #Constraints:      18751
394.11/395.47	c #Conflicts:     563000 | #Constraints:      20158
394.11/395.47	c #Conflicts:     564000 | #Constraints:      21358
394.11/395.47	c #Conflicts:     565000 | #Constraints:      22781
394.11/395.47	c #Conflicts:     566000 | #Constraints:      24169
394.11/395.47	c #Conflicts:     567000 | #Constraints:      25225
394.11/395.47	c #Conflicts:     568000 | #Constraints:      26433
394.11/395.47	c #Conflicts:     569000 | #Constraints:      27630
394.11/395.47	c #Conflicts:     570000 | #Constraints:      28791
394.11/395.47	c #Conflicts:     571000 | #Constraints:      29857
394.11/395.47	c #Conflicts:     572000 | #Constraints:      31338
394.11/395.47	c #Conflicts:     573000 | #Constraints:      32462
394.11/395.47	c #Conflicts:     574000 | #Constraints:      33462
394.11/395.47	c #Conflicts:     575000 | #Constraints:      34462
394.11/395.47	c #Conflicts:     576000 | #Constraints:      35567
394.11/395.47	c INPROCESSING
394.11/395.47	c GARBAGE COLLECT
394.11/395.47	c rational objective 0
412.26/413.61	c #Conflicts:     577000 | #Constraints:      18749
412.26/413.61	c #Conflicts:     578000 | #Constraints:      19749
412.26/413.61	c #Conflicts:     579000 | #Constraints:      20749
412.26/413.61	c #Conflicts:     580000 | #Constraints:      21750
412.26/413.61	c #Conflicts:     581000 | #Constraints:      22750
412.26/413.61	c #Conflicts:     582000 | #Constraints:      23750
412.26/413.61	c #Conflicts:     583000 | #Constraints:      24750
412.26/413.61	c #Conflicts:     584000 | #Constraints:      25750
412.26/413.61	c #Conflicts:     585000 | #Constraints:      26750
412.26/413.61	c #Conflicts:     586000 | #Constraints:      27750
412.26/413.61	c #Conflicts:     587000 | #Constraints:      28750
412.26/413.61	c #Conflicts:     588000 | #Constraints:      29750
412.26/413.61	c #Conflicts:     589000 | #Constraints:      30750
412.26/413.61	c #Conflicts:     590000 | #Constraints:      31750
412.26/413.61	c #Conflicts:     591000 | #Constraints:      32750
412.26/413.61	c INPROCESSING
412.26/413.61	c GARBAGE COLLECT
412.26/413.61	c rational objective 0
426.81/428.24	c #Conflicts:     592000 | #Constraints:      17090
426.81/428.24	c #Conflicts:     593000 | #Constraints:      18090
426.81/428.24	c #Conflicts:     594000 | #Constraints:      19090
426.81/428.24	c #Conflicts:     595000 | #Constraints:      20091
426.81/428.24	c #Conflicts:     596000 | #Constraints:      21091
426.81/428.24	c #Conflicts:     597000 | #Constraints:      22091
426.81/428.24	c #Conflicts:     598000 | #Constraints:      23091
426.81/428.24	c #Conflicts:     599000 | #Constraints:      24091
426.81/428.24	c #Conflicts:     600000 | #Constraints:      25091
426.81/428.24	c #Conflicts:     601000 | #Constraints:      26091
426.81/428.24	c #Conflicts:     602000 | #Constraints:      27091
426.81/428.24	c #Conflicts:     603000 | #Constraints:      28092
426.81/428.24	c #Conflicts:     604000 | #Constraints:      29092
426.81/428.24	c #Conflicts:     605000 | #Constraints:      30093
426.81/428.24	c #Conflicts:     606000 | #Constraints:      31093
426.81/428.24	c #Conflicts:     607000 | #Constraints:      32093
426.81/428.24	c INPROCESSING
426.81/428.24	c GARBAGE COLLECT
426.81/428.24	c rational objective 0
447.85/449.34	c #Conflicts:     608000 | #Constraints:      17252
447.85/449.34	c #Conflicts:     609000 | #Constraints:      18744
447.85/449.34	c #Conflicts:     610000 | #Constraints:      19994
447.85/449.34	c #Conflicts:     611000 | #Constraints:      21254
447.85/449.34	c #Conflicts:     612000 | #Constraints:      22530
447.85/449.34	c #Conflicts:     613000 | #Constraints:      23891
447.85/449.34	c #Conflicts:     614000 | #Constraints:      25309
447.85/449.34	c #Conflicts:     615000 | #Constraints:      26751
447.85/449.34	c #Conflicts:     616000 | #Constraints:      28030
447.85/449.34	c #Conflicts:     617000 | #Constraints:      29205
447.85/449.34	c #Conflicts:     618000 | #Constraints:      30361
447.85/449.34	c #Conflicts:     619000 | #Constraints:      31594
447.85/449.34	c #Conflicts:     620000 | #Constraints:      32676
447.85/449.34	c #Conflicts:     621000 | #Constraints:      33759
447.85/449.34	c #Conflicts:     622000 | #Constraints:      35011
447.85/449.34	c #Conflicts:     623000 | #Constraints:      36344
447.85/449.34	c INPROCESSING
447.85/449.34	c GARBAGE COLLECT
447.85/449.34	c rational objective 0
471.58/473.12	c #Conflicts:     624000 | #Constraints:      19581
471.58/473.12	c #Conflicts:     625000 | #Constraints:      20974
471.58/473.12	c #Conflicts:     626000 | #Constraints:      22242
471.58/473.12	c #Conflicts:     627000 | #Constraints:      23618
471.58/473.12	c #Conflicts:     628000 | #Constraints:      24623
471.58/473.12	c #Conflicts:     629000 | #Constraints:      25907
471.58/473.12	c #Conflicts:     630000 | #Constraints:      27164
471.58/473.12	c #Conflicts:     631000 | #Constraints:      28564
471.58/473.12	c #Conflicts:     632000 | #Constraints:      29748
471.58/473.12	c #Conflicts:     633000 | #Constraints:      30860
471.58/473.12	c #Conflicts:     634000 | #Constraints:      32197
471.58/473.12	c #Conflicts:     635000 | #Constraints:      33466
471.58/473.12	c #Conflicts:     636000 | #Constraints:      34690
471.58/473.12	c #Conflicts:     637000 | #Constraints:      35947
471.58/473.12	c #Conflicts:     638000 | #Constraints:      37001
471.58/473.12	c #Conflicts:     639000 | #Constraints:      38065
471.58/473.12	c INPROCESSING
471.58/473.12	c GARBAGE COLLECT
471.58/473.12	c rational objective 0
485.03/486.63	c #Conflicts:     640000 | #Constraints:      20425
485.03/486.63	c #Conflicts:     641000 | #Constraints:      21776
485.03/486.63	c #Conflicts:     642000 | #Constraints:      23195
485.03/486.63	c #Conflicts:     643000 | #Constraints:      24603
485.03/486.63	c #Conflicts:     644000 | #Constraints:      26096
485.03/486.63	c #Conflicts:     645000 | #Constraints:      27575
485.03/486.63	c #Conflicts:     646000 | #Constraints:      29090
485.03/486.63	c #Conflicts:     647000 | #Constraints:      30600
485.03/486.63	c #Conflicts:     648000 | #Constraints:      32103
485.03/486.63	c #Conflicts:     649000 | #Constraints:      33612
485.03/486.63	c #Conflicts:     650000 | #Constraints:      35100
485.03/486.63	c Inconsistent objective-improving constraint
485.03/486.63	c cpu time 480.048 s
485.03/486.63	c deterministic time 59901786399 5.99e+10
485.03/486.63	c optimization time 0.000817 s
485.03/486.63	c total solve time 480.046 s
485.03/486.63	c core-guided solve time 0 s
485.03/486.63	c propagation time 396.223 s
485.03/486.63	c conflict analysis time 70.3478 s
485.03/486.63	c propagations 8885480
485.03/486.63	c resolve steps 3862909
485.03/486.63	c decisions 851700
485.03/486.63	c conflicts 650259
485.03/486.63	c restarts 1402
485.03/486.63	c inprocessing phases 71
485.03/486.63	c garbage collections 71 ,( 100.00 )
485.03/486.63	c input clauses 0 ,( 0.00 )
485.03/486.63	c input cardinalities 0 ,( 0.00 )
485.03/486.63	c input general constraints 10 ,( 100.00 )
485.03/486.63	c input average constraint length 55.40
485.03/486.63	c input average constraint degree 1295.70
485.03/486.63	c learned clauses 211994 ,( 31.53 )
485.03/486.63	c learned cardinalities 0 ,( 0.00 )
485.03/486.63	c learned general constraints 460403 ,( 68.47 )
485.03/486.63	c learned average constraint length 90.51
485.03/486.63	c learned average constraint degree 1245069097.65
485.03/486.63	c watched  CF 32, 64, 128, Arb: 180937 , 0 , 0 , 0
485.03/486.63	c counting CF 32, 64, 128, Arb: 279477 , 0 , 0 , 0
485.03/486.63	c watched   constraints 180937 ,( 39.30 ) 
485.03/486.63	c counting  constraints 279476 ,( 60.70 ) 
485.03/486.63	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 16732117 , 0 , 5601010108 ,( 32341120 , 5568668988 )
485.03/486.63	c gcd simplifications 208182
485.03/486.63	c detected cardinalities 0
485.03/486.63	c weakened non-implied lits 12960798
485.03/486.63	c weakened non-implying lits 1152647
485.03/486.63	c original variables 120
485.03/486.63	c clausal propagations 36493
485.03/486.63	c cardinality propagations 0
485.03/486.63	c watched propagations 21858
485.03/486.63	c counting propagations 8171004
485.03/486.63	c watch lookups 13852812810
485.03/486.63	c watch backjump lookups 0
485.03/486.63	c watch checks 1521591704
485.03/486.63	c propagation checks 44025520904
485.03/486.63	c constraint additions 481090907
485.03/486.63	c trail pops 10387345
485.03/486.63	c formula constraints 10
485.03/486.63	c learned constraints 650165
485.03/486.63	c bound constraints 0
485.03/486.63	c core-guided constraints 0
485.03/486.63	c encountered formula constraints 193714
485.03/486.63	c encountered learned constraints 687278
485.03/486.63	c encountered bound constraints 0
485.03/486.63	c encountered core-guided constraints 0
485.03/486.63	c LP total time 13.6173 s
485.03/486.63	c LP solve time 9.85 s
485.03/486.63	c LP constraints added 126
485.03/486.63	c LP constraints removed 115
485.03/486.63	c LP pivots internal 645496
485.03/486.63	c LP pivots root 52
485.03/486.63	c LP calls 129433
485.03/486.63	c LP optimalities 107383
485.03/486.63	c LP no pivot count 7503
485.03/486.63	c LP infeasibilities 22050
485.03/486.63	c LP valid Farkas constraints 22050
485.03/486.63	c LP learned Farkas constraints 94
485.03/486.63	c LP basis resets 0
485.03/486.63	c LP cycling count 0
485.03/486.63	c LP singular count 0
485.03/486.63	c LP no primal count 0
485.03/486.63	c LP no farkas count 0
485.03/486.63	c LP other issue count 0
485.03/486.63	c LP Gomory cuts 88
485.03/486.63	c LP learned cuts 28
485.03/486.63	c LP deleted cuts 115
485.03/486.63	c LP encountered Gomory constraints 10434
485.03/486.63	c LP encountered Farkas constraints 3619578
485.03/486.63	c LP encountered learned Farkas constraints 2070
485.03/486.63	c CG auxiliary variables introduced 1
485.03/486.63	c CG solutions found 1
485.03/486.63	c CG cores constructed 0
485.03/486.63	c CG core cardinality constraints returned 0
485.03/486.63	c CG unit cores 0
485.03/486.63	c CG single cores 0
485.03/486.63	c CG blocks removed during cardinality reduction 0
485.03/486.63	c CG first core best 0
485.03/486.63	c CG decision core best 0
485.03/486.63	c CG core reduction tie 0
485.03/486.63	c CG core degree average 0.00
485.03/486.63	c CG core slack average 0.00
485.03/486.63	c CG core upper bound improvements 0
485.03/486.63	c STR number of successful calls 0
485.03/486.63	c STR number of unsuccessful calls 0
485.03/486.63	c STR number of inconclusive calls 0
485.03/486.63	c STR number of successful attempts 0
485.03/486.63	c STR number of unsuccessful attempts 0
485.03/486.63	c STR number of inconclusive attempts 0
485.03/486.63	c STR average degree increase per successful call inf
485.03/486.63	c STR average degree increase per successful attempt inf
485.03/486.63	c STR total number of conflicts for successful attempts 0
485.03/486.63	c STR total number of conflicts for unsuccessful attempts 0
485.03/486.63	c STR total number of conflicts for inconclusive attempts 0
485.03/486.63	c STR average number of conflicts per successful attempt inf
485.03/486.63	c STR average number of conflicts per unsuccessful attempt inf
485.03/486.63	c STR average number of conflicts per inconclusive attempt inf
485.03/486.63	c AVG.sumWPerc 48.83 
485.03/486.63	c bigint constraints 0 
485.03/486.63	o 0
485.03/486.63	s OPTIMUM FOUND
485.03/486.64	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 x90 x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 x101 -x102 x103 x104 -x105 x106 x107 -x108 x109 -x110 x111 x112 -x113 x114 -x115 x116 x117 x118 x119 x120

Verifier Data 

OK	0

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63175 MiB free)
  memory of node 1: 64465 MiB (60046 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490380-1751367028/watcher-4490380-1751367028 -o /tmp/evaluation-result-4490380-1751367028/solver-4490380-1751367028 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47566 --watchdog 3760 run-opt.sh HOME/instance-4490380-1751367028.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=48307, runsolver pid=48302
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.11 4.11 4.10 5/251 48316
/proc/meminfo: memFree=126174552/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=60152 memory=10880 CPUtime=0.07 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 540 0 0 0 7 0 0 0 20 0 1 0 52382226 61595648 2720 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 15038 2720 2400 1147 0 2465 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64344 KiB
Current children cumulated memory: 13952 KiB

[startup+0.212818 s]*
/proc/loadavg: 4.11 4.11 4.10 4/251 48323
/proc/meminfo: memFree=126190428/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=60548 memory=13340 CPUtime=0.19 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 647 0 0 0 18 1 0 0 20 0 1 0 52382226 62001152 3335 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 15137 3335 2400 1147 0 2564 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64740 KiB
Current children cumulated memory: 16412 KiB

[startup+0.312632 s]*
/proc/loadavg: 4.11 4.11 4.10 5/251 48328
/proc/meminfo: memFree=126189672/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=60816 memory=13596 CPUtime=0.29 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 715 0 0 0 27 2 0 0 20 0 1 0 52382226 62275584 3399 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 15204 3399 2400 1147 0 2631 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65008 KiB
Current children cumulated memory: 16668 KiB

[startup+0.700332 s]
/proc/loadavg: 4.11 4.11 4.10 5/256 48338
/proc/meminfo: memFree=126188112/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=62072 memory=14620 CPUtime=0.66 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 988 0 0 0 63 3 0 0 20 0 1 0 52382226 63561728 3655 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 15518 3655 2400 1147 0 2945 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 66264 KiB
Current children cumulated memory: 17692 KiB

[startup+1.50037 s]
/proc/loadavg: 4.11 4.11 4.10 5/256 48338
/proc/meminfo: memFree=126183452/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=64396 memory=16540 CPUtime=1.45 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 1446 0 0 0 139 6 0 0 20 0 1 0 52382226 65941504 4135 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 16099 4135 2400 1147 0 3526 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 68588 KiB
Current children cumulated memory: 19612 KiB

[startup+3.11278 s]
/proc/loadavg: 4.10 4.11 4.10 4/251 48346
/proc/meminfo: memFree=129389420/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=66316 memory=20448 CPUtime=3.06 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 1936 0 0 0 295 11 0 0 20 0 1 0 52382226 67907584 5112 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 16579 5112 2400 1147 0 4006 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 70508 KiB
Current children cumulated memory: 23520 KiB

[startup+6.30035 s]
/proc/loadavg: 4.10 4.11 4.10 5/256 48384
/proc/meminfo: memFree=129400992/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=69964 memory=23264 CPUtime=6.24 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 2618 0 0 0 604 20 0 0 20 0 1 0 52382226 71643136 5816 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 17491 5816 2400 1147 0 4918 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 26336 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.10 4.10 5/256 48384
/proc/meminfo: memFree=129373776/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=73712 memory=25696 CPUtime=12.62 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 3242 0 0 0 1230 32 0 0 20 0 1 0 52382226 75481088 6424 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 18428 6424 2400 1147 0 5855 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 77904 KiB
Current children cumulated memory: 28768 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.12 4.11 5/256 48430
/proc/meminfo: memFree=129344372/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=79116 memory=30944 CPUtime=25.38 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 4552 0 0 0 2485 53 0 0 20 0 1 0 52382226 81014784 7736 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 19779 7736 2400 1147 0 7206 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 83308 KiB
Current children cumulated memory: 34016 KiB

[startup+51.1133 s]
/proc/loadavg: 4.10 4.11 4.10 5/257 48432
/proc/meminfo: memFree=129296932/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=87824 memory=37312 CPUtime=50.9 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 5637 0 0 0 4998 92 0 0 20 0 1 0 52382226 89931776 9328 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 21956 9328 2400 1147 0 9383 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 92016 KiB
Current children cumulated memory: 40384 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/257 48440
/proc/meminfo: memFree=129218676/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=89652 memory=43904 CPUtime=101.94 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 6433 0 0 0 10041 153 0 0 20 0 1 0 52382226 91803648 10976 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 22413 10976 2400 1147 0 9840 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 93844 KiB
Current children cumulated memory: 46976 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/256 48442
/proc/meminfo: memFree=129187704/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=104448 memory=48520 CPUtime=161.76 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 8399 0 0 0 15953 223 0 0 20 0 1 0 52382226 106954752 12130 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 26112 12130 2400 1147 0 13539 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 108640 KiB
Current children cumulated memory: 51592 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 48445
/proc/meminfo: memFree=129159888/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=110116 memory=53004 CPUtime=221.58 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 9874 0 0 0 21879 279 0 0 20 0 1 0 52382226 112758784 13251 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 27529 13251 2400 1147 0 14956 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 114308 KiB
Current children cumulated memory: 56076 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 48447
/proc/meminfo: memFree=129098576/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=113216 memory=57224 CPUtime=281.38 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 10777 0 0 0 27803 335 0 0 20 0 1 0 52382226 115933184 14306 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 28304 14306 2400 1147 0 15731 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 117408 KiB
Current children cumulated memory: 60296 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 48449
/proc/meminfo: memFree=129042504/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=114900 memory=63160 CPUtime=341.18 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 11408 0 0 0 33733 385 0 0 20 0 1 0 52382226 117657600 15790 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 28725 15790 2400 1147 0 16152 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 119092 KiB
Current children cumulated memory: 66232 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 48451
/proc/meminfo: memFree=129012252/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=139840 memory=77060 CPUtime=400.99 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 15115 0 0 0 39665 434 0 0 20 0 1 0 52382226 143196160 19265 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 34960 19265 2400 1147 0 22387 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 144032 KiB
Current children cumulated memory: 80132 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 48453
/proc/meminfo: memFree=128961488/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=148812 memory=82884 CPUtime=460.8 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 17567 0 0 0 45595 485 0 0 20 0 1 0 52382226 152383488 20721 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 37203 20721 2400 1147 0 24630 0
Current children cumulated CPU time: 460.8 s
Current children cumulated vsize: 153004 KiB
Current children cumulated memory: 85956 KiB

[startup+486.641 s]
# the end of solver process 48307 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=480.054 s, system=5.02834 s

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

[startup+473.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 48454
/proc/meminfo: memFree=128959472/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=150984 memory=84540 CPUtime=472.07 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 18405 0 0 0 46716 491 0 0 20 0 1 0 52382226 154607616 21135 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 37746 21135 2400 1147 0 25173 0
Current children cumulated CPU time: 472.07 s
Current children cumulated vsize: 155176 KiB
Current children cumulated memory: 87612 KiB

[startup+480 s]*
/proc/loadavg: 4.10 4.09 4.09 5/255 48454
/proc/meminfo: memFree=128950256/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=150984 memory=84540 CPUtime=478.46 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 18418 0 0 0 47349 497 0 0 20 0 1 0 52382226 154607616 21135 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 37746 21135 2400 1147 0 25173 0
Current children cumulated CPU time: 478.46 s
Current children cumulated vsize: 155176 KiB
Current children cumulated memory: 87612 KiB

[startup+483.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 48454
/proc/meminfo: memFree=128950508/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=150984 memory=84668 CPUtime=481.64 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 18451 0 0 0 47665 499 0 0 20 0 1 0 52382226 154607616 21167 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 37746 21167 2400 1147 0 25173 0
Current children cumulated CPU time: 481.64 s
Current children cumulated vsize: 155176 KiB
Current children cumulated memory: 87740 KiB

[startup+484.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 48454
/proc/meminfo: memFree=128950508/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=150984 memory=84796 CPUtime=483.23 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 18475 0 0 0 47823 500 0 0 20 0 1 0 52382226 154607616 21199 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 37746 21199 2400 1147 0 25173 0
Current children cumulated CPU time: 483.23 s
Current children cumulated vsize: 155176 KiB
Current children cumulated memory: 87868 KiB

[startup+485.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 48454
/proc/meminfo: memFree=128950508/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=150984 memory=84796 CPUtime=484.03 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 18496 0 0 0 47902 501 0 0 20 0 1 0 52382226 154607616 21199 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 37746 21199 2400 1147 0 25173 0
Current children cumulated CPU time: 484.03 s
Current children cumulated vsize: 155176 KiB
Current children cumulated memory: 87868 KiB

[startup+486.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 48454
/proc/meminfo: memFree=128950508/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=151496 memory=85308 CPUtime=484.82 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 18608 0 0 0 47981 501 0 0 20 0 1 0 52382226 155131904 21327 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 37874 21327 2400 1147 0 25301 0
Current children cumulated CPU time: 484.82 s
Current children cumulated vsize: 155688 KiB
Current children cumulated memory: 88380 KiB

[startup+486.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 48454
/proc/meminfo: memFree=128950508/131382116 swapFree=33010684/33010684
[pid=48307] ppid=48302 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48307/stat : 48307 (run-opt.sh) S 48302 48307 47556 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52382225 4292608 768 18446744073709551615 94706292170752 94706293065285 140732582014816 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706293304336 94706293352080 94706307829760 140732582021485 140732582021608 140732582021608 140732582027210 0
/proc/48307/statm: 1048 768 704 219 0 110 0
[pid=48309] ppid=48307 vsize=152008 memory=85500 CPUtime=485.03 cores=0,2
/proc/48309/stat : 48309 (roundingsat) R 48307 48307 47556 0 -1 4194304 18715 0 0 0 48001 502 0 0 20 0 1 0 52382226 155656192 21375 18446744073709551615 4227072 8923433 140732480800304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20434944 140732480805282 140732480805416 140732480805416 140732480810986 0
/proc/48309/statm: 38002 21375 2400 1147 0 25429 0
Current children cumulated CPU time: 485.03 s
Current children cumulated vsize: 156200 KiB
Current children cumulated memory: 88572 KiB

Child status: 0

Real time (s): 486.641
CPU time (s): 485.082
CPU user time (s): 480.054
CPU system time (s): 5.02834
CPU usage (%): 99.6797
Max. virtual memory (cumulated for all children) (KiB): 156200
Max. memory (cumulated for all children) (KiB): 88572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 480.054
system time used= 5.02834
maximum resident set size= 85692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18948
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= 170
involuntary context switches= 1135


# summary of solver processes directly reported to runsolver:
#   pid: 48307
#   total CPU time (s): 485.082
#   total CPU user time (s): 480.054
#   total CPU system time (s): 5.02834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.47092 second user time and 5.16654 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-01 12:50:28
IDJOB=4490380
IDBENCH=147585
IDSOLVER=3350
FILE ID=nodeC010/4490380-1751367028
RUNJOBID= nodeC010-1751359802-47566
SLURM_JOB_ID= 9598157
Free space on /tmp= 432636 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490380-1751367028/watcher-4490380-1751367028 -o /tmp/evaluation-result-4490380-1751367028/solver-4490380-1751367028 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47566 --watchdog 3760  run-opt.sh HOME/instance-4490380-1751367028.opb

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

MD5SUM BENCH= a8470a83b0b0d2a815a3f0ab26202dcb
RANDOM SEED=382976884

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126179132 kB
MemAvailable:   126678988 kB
Buffers:            3280 kB
Cached:          1306984 kB
SwapCached:            0 kB
Active:          3600896 kB
Inactive:        1001336 kB
Active(anon):    3309928 kB
Inactive(anon):        0 kB
Active(file):     290968 kB
Inactive(file):  1001336 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14820 kB
Writeback:             8 kB
AnonPages:       3295056 kB
Mapped:           109712 kB
Shmem:             17960 kB
KReclaimable:      94356 kB
Slab:             178524 kB
SReclaimable:      94356 kB
SUnreclaim:        84168 kB
KernelStack:        3984 kB
PageTables:        10120 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4284976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    718848 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432664 MiB
End job on nodeC010 at 2025-07-01 12:58:35