Trace number 4490381

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-log 63f22adOPT cert.0 526.354 532.107

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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/3.10	c #variables 120 #constraints 10
0.00/3.10	c objective is ce32 
0.00/3.10	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/3.10	c initial counting CF 32, 64, 128, Arb: 11 , 0 , 0 , 0
0.00/3.10	c GLOBAL bounds - >= 0 @ 0.000765
0.00/3.10	c GLOBAL bounds - >= 0 @ 0.000886
0.00/3.10	c rational objective 0
0.29/3.41	c #Conflicts:       1000 | #Constraints:       1021
0.29/3.41	c #Conflicts:       2000 | #Constraints:       2028
0.29/3.41	c INPROCESSING
0.29/3.41	c GARBAGE COLLECT
0.29/3.41	c rational objective 0
0.69/3.86	c #Conflicts:       3000 | #Constraints:       2028
0.69/3.86	c #Conflicts:       4000 | #Constraints:       3032
0.69/3.86	c INPROCESSING
0.69/3.86	c GARBAGE COLLECT
0.69/3.86	c rational objective 0
1.28/4.42	c #Conflicts:       5000 | #Constraints:       2428
1.28/4.42	c #Conflicts:       6000 | #Constraints:       3429
1.28/4.42	c INPROCESSING
1.28/4.42	c GARBAGE COLLECT
1.28/4.42	c rational objective 0
1.89/5.08	c #Conflicts:       7000 | #Constraints:       2428
1.89/5.08	c #Conflicts:       8000 | #Constraints:       3428
1.89/5.08	c #Conflicts:       9000 | #Constraints:       4429
1.89/5.08	c INPROCESSING
1.89/5.08	c GARBAGE COLLECT
1.89/5.08	c rational objective 0
2.68/5.83	c #Conflicts:      10000 | #Constraints:       3128
2.68/5.83	c #Conflicts:      11000 | #Constraints:       4128
2.68/5.83	c #Conflicts:      12000 | #Constraints:       5128
2.68/5.83	c INPROCESSING
2.68/5.83	c GARBAGE COLLECT
2.68/5.83	c rational objective 0
3.48/6.67	c #Conflicts:      13000 | #Constraints:       3577
3.48/6.67	c #Conflicts:      14000 | #Constraints:       4577
3.48/6.67	c #Conflicts:      15000 | #Constraints:       5577
3.48/6.67	c INPROCESSING
3.48/6.67	c GARBAGE COLLECT
3.48/6.67	c rational objective 0
4.48/7.65	c #Conflicts:      16000 | #Constraints:       3801
4.48/7.65	c #Conflicts:      17000 | #Constraints:       4801
4.48/7.65	c #Conflicts:      18000 | #Constraints:       5802
4.48/7.65	c INPROCESSING
4.48/7.65	c GARBAGE COLLECT
4.48/7.65	c rational objective 0
5.57/8.73	c #Conflicts:      19000 | #Constraints:       3813
5.57/8.73	c #Conflicts:      20000 | #Constraints:       4815
5.57/8.73	c #Conflicts:      21000 | #Constraints:       5815
5.57/8.73	c INPROCESSING
5.57/8.73	c GARBAGE COLLECT
5.57/8.73	c rational objective 0
6.77/9.94	c #Conflicts:      22000 | #Constraints:       3618
6.77/9.94	c #Conflicts:      23000 | #Constraints:       4618
6.77/9.94	c #Conflicts:      24000 | #Constraints:       5619
6.77/9.94	c #Conflicts:      25000 | #Constraints:       6619
6.77/9.94	c INPROCESSING
6.77/9.94	c GARBAGE COLLECT
6.77/9.94	c rational objective 0
8.06/11.27	c #Conflicts:      26000 | #Constraints:       4221
8.06/11.27	c #Conflicts:      27000 | #Constraints:       5223
8.06/11.27	c #Conflicts:      28000 | #Constraints:       6223
8.06/11.27	c #Conflicts:      29000 | #Constraints:       7225
8.06/11.27	c INPROCESSING
8.06/11.27	c GARBAGE COLLECT
8.06/11.27	c rational objective 0
9.56/12.71	c #Conflicts:      30000 | #Constraints:       4625
9.56/12.71	c #Conflicts:      31000 | #Constraints:       5625
9.56/12.71	c #Conflicts:      32000 | #Constraints:       6625
9.56/12.71	c #Conflicts:      33000 | #Constraints:       7625
9.56/12.71	c INPROCESSING
9.56/12.71	c GARBAGE COLLECT
9.56/12.71	c rational objective 0
11.06/14.26	c #Conflicts:      34000 | #Constraints:       4822
11.06/14.26	c #Conflicts:      35000 | #Constraints:       5822
11.06/14.26	c #Conflicts:      36000 | #Constraints:       6822
11.06/14.26	c #Conflicts:      37000 | #Constraints:       7823
11.06/14.26	c INPROCESSING
11.06/14.26	c GARBAGE COLLECT
11.06/14.26	c rational objective 0
12.75/15.96	c #Conflicts:      38000 | #Constraints:       4825
12.75/15.96	c #Conflicts:      39000 | #Constraints:       5825
12.75/15.96	c #Conflicts:      40000 | #Constraints:       6825
12.75/15.96	c #Conflicts:      41000 | #Constraints:       7825
12.75/15.96	c INPROCESSING
12.75/15.96	c GARBAGE COLLECT
12.75/15.96	c rational objective 0
14.65/17.85	c #Conflicts:      42000 | #Constraints:       4629
14.65/17.85	c #Conflicts:      43000 | #Constraints:       5629
14.65/17.85	c #Conflicts:      44000 | #Constraints:       6629
14.65/17.85	c #Conflicts:      45000 | #Constraints:       7630
14.65/17.85	c #Conflicts:      46000 | #Constraints:       8630
14.65/17.85	c INPROCESSING
14.65/17.85	c GARBAGE COLLECT
14.65/17.85	c rational objective 0
16.64/19.89	c #Conflicts:      47000 | #Constraints:       5225
16.64/19.89	c #Conflicts:      48000 | #Constraints:       6225
16.64/19.89	c #Conflicts:      49000 | #Constraints:       7226
16.64/19.89	c #Conflicts:      50000 | #Constraints:       8226
16.64/19.89	c #Conflicts:      51000 | #Constraints:       9227
16.64/19.89	c INPROCESSING
16.64/19.89	c GARBAGE COLLECT
16.64/19.89	c rational objective 0
18.84/22.03	c #Conflicts:      52000 | #Constraints:       5631
18.84/22.03	c #Conflicts:      53000 | #Constraints:       6631
18.84/22.03	c #Conflicts:      54000 | #Constraints:       7631
18.84/22.03	c #Conflicts:      55000 | #Constraints:       8631
18.84/22.03	c #Conflicts:      56000 | #Constraints:       9631
18.84/22.03	c INPROCESSING
18.84/22.03	c GARBAGE COLLECT
18.84/22.03	c rational objective 0
21.13/24.31	c #Conflicts:      57000 | #Constraints:       5826
21.13/24.31	c #Conflicts:      58000 | #Constraints:       6826
21.13/24.31	c #Conflicts:      59000 | #Constraints:       7826
21.13/24.31	c #Conflicts:      60000 | #Constraints:       8827
21.13/24.31	c #Conflicts:      61000 | #Constraints:       9827
21.13/24.31	c INPROCESSING
21.13/24.31	c GARBAGE COLLECT
21.13/24.31	c rational objective 0
23.52/26.73	c #Conflicts:      62000 | #Constraints:       5827
23.52/26.73	c #Conflicts:      63000 | #Constraints:       6827
23.52/26.73	c #Conflicts:      64000 | #Constraints:       7827
23.52/26.73	c #Conflicts:      65000 | #Constraints:       8827
23.52/26.73	c #Conflicts:      66000 | #Constraints:       9827
23.52/26.73	c INPROCESSING
23.52/26.73	c GARBAGE COLLECT
23.52/26.73	c rational objective 0
26.01/29.27	c #Conflicts:      67000 | #Constraints:       5625
26.01/29.27	c #Conflicts:      68000 | #Constraints:       6627
26.01/29.27	c #Conflicts:      69000 | #Constraints:       7627
26.01/29.27	c #Conflicts:      70000 | #Constraints:       8627
26.01/29.27	c #Conflicts:      71000 | #Constraints:       9627
26.01/29.27	c #Conflicts:      72000 | #Constraints:      10627
26.01/29.27	c INPROCESSING
26.01/29.27	c GARBAGE COLLECT
26.01/29.27	c rational objective 0
28.81/32.00	c #Conflicts:      73000 | #Constraints:       6226
28.81/32.00	c #Conflicts:      74000 | #Constraints:       7226
28.81/32.00	c #Conflicts:      75000 | #Constraints:       8226
28.81/32.00	c #Conflicts:      76000 | #Constraints:       9228
28.81/32.00	c #Conflicts:      77000 | #Constraints:      10228
28.81/32.00	c #Conflicts:      78000 | #Constraints:      11228
28.81/32.00	c INPROCESSING
28.81/32.00	c GARBAGE COLLECT
28.81/32.00	c rational objective 0
31.69/34.93	c #Conflicts:      79000 | #Constraints:       6630
31.69/34.93	c #Conflicts:      80000 | #Constraints:       7630
31.69/34.93	c #Conflicts:      81000 | #Constraints:       8630
31.69/34.93	c #Conflicts:      82000 | #Constraints:       9630
31.69/34.93	c #Conflicts:      83000 | #Constraints:      10630
31.69/34.93	c #Conflicts:      84000 | #Constraints:      11631
31.69/34.93	c INPROCESSING
31.69/34.93	c GARBAGE COLLECT
31.69/34.93	c rational objective 0
34.79/38.05	c #Conflicts:      85000 | #Constraints:       6829
34.79/38.05	c #Conflicts:      86000 | #Constraints:       7829
34.79/38.05	c #Conflicts:      87000 | #Constraints:       8829
34.79/38.05	c #Conflicts:      88000 | #Constraints:       9829
34.79/38.05	c #Conflicts:      89000 | #Constraints:      10830
34.79/38.05	c #Conflicts:      90000 | #Constraints:      11830
34.79/38.05	c INPROCESSING
34.79/38.05	c GARBAGE COLLECT
34.79/38.05	c rational objective 0
38.07/41.39	c #Conflicts:      91000 | #Constraints:       6829
38.07/41.39	c #Conflicts:      92000 | #Constraints:       7829
38.07/41.39	c #Conflicts:      93000 | #Constraints:       8829
38.07/41.39	c #Conflicts:      94000 | #Constraints:       9829
38.07/41.39	c #Conflicts:      95000 | #Constraints:      10829
38.07/41.39	c #Conflicts:      96000 | #Constraints:      11829
38.07/41.39	c INPROCESSING
38.07/41.39	c GARBAGE COLLECT
38.07/41.39	c rational objective 0
41.46/44.72	c #Conflicts:      97000 | #Constraints:       6628
41.46/44.72	c #Conflicts:      98000 | #Constraints:       7628
41.46/44.72	c #Conflicts:      99000 | #Constraints:       8629
41.46/44.72	c #Conflicts:     100000 | #Constraints:       9629
41.46/44.72	c #Conflicts:     101000 | #Constraints:      10629
41.46/44.72	c #Conflicts:     102000 | #Constraints:      11632
41.46/44.72	c #Conflicts:     103000 | #Constraints:      12632
41.46/44.72	c INPROCESSING
41.46/44.72	c GARBAGE COLLECT
41.46/44.72	c rational objective 0
44.86/48.19	c #Conflicts:     104000 | #Constraints:       7228
44.86/48.19	c #Conflicts:     105000 | #Constraints:       8228
44.86/48.19	c #Conflicts:     106000 | #Constraints:       9228
44.86/48.19	c #Conflicts:     107000 | #Constraints:      10229
44.86/48.19	c #Conflicts:     108000 | #Constraints:      11229
44.86/48.19	c #Conflicts:     109000 | #Constraints:      12229
44.86/48.19	c #Conflicts:     110000 | #Constraints:      13229
44.86/48.19	c INPROCESSING
44.86/48.19	c GARBAGE COLLECT
44.86/48.19	c rational objective 0
48.45/51.79	c #Conflicts:     111000 | #Constraints:       7629
48.45/51.79	c #Conflicts:     112000 | #Constraints:       8629
48.45/51.79	c #Conflicts:     113000 | #Constraints:       9629
48.45/51.79	c #Conflicts:     114000 | #Constraints:      10629
48.45/51.79	c #Conflicts:     115000 | #Constraints:      11629
48.45/51.79	c #Conflicts:     116000 | #Constraints:      12629
48.45/51.79	c #Conflicts:     117000 | #Constraints:      13629
48.45/51.79	c INPROCESSING
48.45/51.79	c GARBAGE COLLECT
48.45/51.79	c rational objective 0
52.34/55.63	c #Conflicts:     118000 | #Constraints:       7828
52.34/55.63	c #Conflicts:     119000 | #Constraints:       8828
52.34/55.63	c #Conflicts:     120000 | #Constraints:       9828
52.34/55.63	c #Conflicts:     121000 | #Constraints:      10828
52.34/55.63	c #Conflicts:     122000 | #Constraints:      11828
52.34/55.63	c #Conflicts:     123000 | #Constraints:      12828
52.34/55.63	c #Conflicts:     124000 | #Constraints:      13828
52.34/55.63	c INPROCESSING
52.34/55.63	c GARBAGE COLLECT
52.34/55.63	c rational objective 0
56.43/59.73	c #Conflicts:     125000 | #Constraints:       7829
56.43/59.73	c #Conflicts:     126000 | #Constraints:       8829
56.43/59.73	c #Conflicts:     127000 | #Constraints:       9829
56.43/59.73	c #Conflicts:     128000 | #Constraints:      10829
56.43/59.73	c #Conflicts:     129000 | #Constraints:      11829
56.43/59.73	c #Conflicts:     130000 | #Constraints:      12830
56.43/59.73	c #Conflicts:     131000 | #Constraints:      13830
56.43/59.73	c INPROCESSING
56.43/59.73	c GARBAGE COLLECT
56.43/59.73	c rational objective 0
60.62/63.93	c #Conflicts:     132000 | #Constraints:       7627
60.62/63.93	c #Conflicts:     133000 | #Constraints:       8627
60.62/63.93	c #Conflicts:     134000 | #Constraints:       9627
60.62/63.93	c #Conflicts:     135000 | #Constraints:      10627
60.62/63.93	c #Conflicts:     136000 | #Constraints:      11627
60.62/63.93	c #Conflicts:     137000 | #Constraints:      12627
60.62/63.93	c #Conflicts:     138000 | #Constraints:      13627
60.62/63.93	c #Conflicts:     139000 | #Constraints:      14627
60.62/63.93	c INPROCESSING
60.62/63.93	c GARBAGE COLLECT
60.62/63.93	c rational objective 0
65.01/68.30	c #Conflicts:     140000 | #Constraints:       8226
65.01/68.30	c #Conflicts:     141000 | #Constraints:       9226
65.01/68.30	c #Conflicts:     142000 | #Constraints:      10226
65.01/68.30	c #Conflicts:     143000 | #Constraints:      11226
65.01/68.30	c #Conflicts:     144000 | #Constraints:      12226
65.01/68.30	c #Conflicts:     145000 | #Constraints:      13226
65.01/68.30	c #Conflicts:     146000 | #Constraints:      14226
65.01/68.30	c #Conflicts:     147000 | #Constraints:      15226
65.01/68.30	c INPROCESSING
65.01/68.30	c GARBAGE COLLECT
65.01/68.30	c rational objective 0
69.49/72.81	c #Conflicts:     148000 | #Constraints:       8625
69.49/72.81	c #Conflicts:     149000 | #Constraints:       9625
69.49/72.81	c #Conflicts:     150000 | #Constraints:      10625
69.49/72.81	c #Conflicts:     151000 | #Constraints:      11625
69.49/72.81	c #Conflicts:     152000 | #Constraints:      12625
69.49/72.81	c #Conflicts:     153000 | #Constraints:      13625
69.49/72.81	c #Conflicts:     154000 | #Constraints:      14625
69.49/72.81	c #Conflicts:     155000 | #Constraints:      15625
69.49/72.81	c INPROCESSING
69.49/72.81	c GARBAGE COLLECT
69.49/72.81	c rational objective 0
74.18/77.55	c #Conflicts:     156000 | #Constraints:       8827
74.18/77.55	c #Conflicts:     157000 | #Constraints:       9828
74.18/77.55	c #Conflicts:     158000 | #Constraints:      10828
74.18/77.55	c #Conflicts:     159000 | #Constraints:      11828
74.18/77.55	c #Conflicts:     160000 | #Constraints:      12828
74.18/77.55	c #Conflicts:     161000 | #Constraints:      13828
74.18/77.55	c #Conflicts:     162000 | #Constraints:      14828
74.18/77.55	c #Conflicts:     163000 | #Constraints:      15828
74.18/77.55	c INPROCESSING
74.18/77.55	c GARBAGE COLLECT
74.18/77.55	c rational objective 0
79.17/82.52	c #Conflicts:     164000 | #Constraints:       8829
79.17/82.52	c #Conflicts:     165000 | #Constraints:       9829
79.17/82.52	c #Conflicts:     166000 | #Constraints:      10829
79.17/82.52	c #Conflicts:     167000 | #Constraints:      11829
79.17/82.52	c #Conflicts:     168000 | #Constraints:      12829
79.17/82.52	c #Conflicts:     169000 | #Constraints:      13829
79.17/82.52	c #Conflicts:     170000 | #Constraints:      14829
79.17/82.52	c #Conflicts:     171000 | #Constraints:      15829
79.17/82.52	c INPROCESSING
79.17/82.52	c GARBAGE COLLECT
79.17/82.52	c rational objective 0
84.04/87.44	c #Conflicts:     172000 | #Constraints:       8625
84.04/87.44	c #Conflicts:     173000 | #Constraints:       9625
84.04/87.44	c #Conflicts:     174000 | #Constraints:      10625
84.04/87.44	c #Conflicts:     175000 | #Constraints:      11625
84.04/87.44	c #Conflicts:     176000 | #Constraints:      12625
84.04/87.44	c #Conflicts:     177000 | #Constraints:      13625
84.04/87.44	c #Conflicts:     178000 | #Constraints:      14625
84.04/87.44	c #Conflicts:     179000 | #Constraints:      15625
84.04/87.44	c #Conflicts:     180000 | #Constraints:      16625
84.04/87.44	c INPROCESSING
84.04/87.44	c GARBAGE COLLECT
84.04/87.44	c rational objective 0
89.43/92.85	c #Conflicts:     181000 | #Constraints:       9223
89.43/92.85	c #Conflicts:     182000 | #Constraints:      10223
89.43/92.85	c #Conflicts:     183000 | #Constraints:      11223
89.43/92.85	c #Conflicts:     184000 | #Constraints:      12223
89.43/92.85	c #Conflicts:     185000 | #Constraints:      13223
89.43/92.85	c #Conflicts:     186000 | #Constraints:      14223
89.43/92.85	c #Conflicts:     187000 | #Constraints:      15223
89.43/92.85	c #Conflicts:     188000 | #Constraints:      16223
89.43/92.85	c #Conflicts:     189000 | #Constraints:      17223
89.43/92.85	c INPROCESSING
89.43/92.85	c GARBAGE COLLECT
89.43/92.85	c rational objective 0
95.11/98.54	c #Conflicts:     190000 | #Constraints:       9623
95.11/98.54	c #Conflicts:     191000 | #Constraints:      10623
95.11/98.54	c #Conflicts:     192000 | #Constraints:      11623
95.11/98.54	c #Conflicts:     193000 | #Constraints:      12623
95.11/98.54	c #Conflicts:     194000 | #Constraints:      13623
95.11/98.54	c #Conflicts:     195000 | #Constraints:      14623
95.11/98.54	c #Conflicts:     196000 | #Constraints:      15623
95.11/98.54	c #Conflicts:     197000 | #Constraints:      16623
95.11/98.54	c #Conflicts:     198000 | #Constraints:      17623
95.11/98.54	c INPROCESSING
95.11/98.54	c GARBAGE COLLECT
95.11/98.54	c rational objective 0
101.09/104.57	c #Conflicts:     199000 | #Constraints:       9823
101.09/104.57	c #Conflicts:     200000 | #Constraints:      10823
101.09/104.57	c #Conflicts:     201000 | #Constraints:      11823
101.09/104.57	c #Conflicts:     202000 | #Constraints:      12824
101.09/104.57	c #Conflicts:     203000 | #Constraints:      13824
101.09/104.57	c #Conflicts:     204000 | #Constraints:      14824
101.09/104.57	c #Conflicts:     205000 | #Constraints:      15824
101.09/104.57	c #Conflicts:     206000 | #Constraints:      16825
101.09/104.57	c #Conflicts:     207000 | #Constraints:      17825
101.09/104.57	c INPROCESSING
101.09/104.57	c GARBAGE COLLECT
101.09/104.57	c rational objective 0
107.48/110.92	c #Conflicts:     208000 | #Constraints:       9825
107.48/110.92	c #Conflicts:     209000 | #Constraints:      10825
107.48/110.92	c #Conflicts:     210000 | #Constraints:      11825
107.48/110.92	c #Conflicts:     211000 | #Constraints:      12825
107.48/110.92	c #Conflicts:     212000 | #Constraints:      13825
107.48/110.92	c #Conflicts:     213000 | #Constraints:      14825
107.48/110.92	c #Conflicts:     214000 | #Constraints:      15825
107.48/110.92	c #Conflicts:     215000 | #Constraints:      16825
107.48/110.92	c #Conflicts:     216000 | #Constraints:      17825
107.48/110.92	c INPROCESSING
107.48/110.92	c GARBAGE COLLECT
107.48/110.92	c rational objective 0
114.05/117.56	c #Conflicts:     217000 | #Constraints:       9626
114.05/117.56	c #Conflicts:     218000 | #Constraints:      10626
114.05/117.56	c #Conflicts:     219000 | #Constraints:      11626
114.05/117.56	c #Conflicts:     220000 | #Constraints:      12626
114.05/117.56	c #Conflicts:     221000 | #Constraints:      13626
114.05/117.56	c #Conflicts:     222000 | #Constraints:      14626
114.05/117.56	c #Conflicts:     223000 | #Constraints:      15626
114.05/117.56	c #Conflicts:     224000 | #Constraints:      16626
114.05/117.56	c #Conflicts:     225000 | #Constraints:      17626
114.05/117.56	c #Conflicts:     226000 | #Constraints:      18626
114.05/117.56	c INPROCESSING
114.05/117.56	c GARBAGE COLLECT
114.05/117.56	c rational objective 0
120.93/124.41	c #Conflicts:     227000 | #Constraints:      10231
120.93/124.41	c #Conflicts:     228000 | #Constraints:      11231
120.93/124.41	c #Conflicts:     229000 | #Constraints:      12231
120.93/124.41	c #Conflicts:     230000 | #Constraints:      13231
120.93/124.41	c #Conflicts:     231000 | #Constraints:      14231
120.93/124.41	c #Conflicts:     232000 | #Constraints:      15231
120.93/124.41	c #Conflicts:     233000 | #Constraints:      16231
120.93/124.41	c #Conflicts:     234000 | #Constraints:      17231
120.93/124.41	c #Conflicts:     235000 | #Constraints:      18231
120.93/124.41	c #Conflicts:     236000 | #Constraints:      19231
120.93/124.41	c INPROCESSING
120.93/124.41	c GARBAGE COLLECT
120.93/124.41	c rational objective 0
128.11/131.65	c #Conflicts:     237000 | #Constraints:      10627
128.11/131.65	c #Conflicts:     238000 | #Constraints:      11627
128.11/131.65	c #Conflicts:     239000 | #Constraints:      12627
128.11/131.65	c #Conflicts:     240000 | #Constraints:      13627
128.11/131.65	c #Conflicts:     241000 | #Constraints:      14627
128.11/131.65	c #Conflicts:     242000 | #Constraints:      15627
128.11/131.65	c #Conflicts:     243000 | #Constraints:      16627
128.11/131.65	c #Conflicts:     244000 | #Constraints:      17627
128.11/131.65	c #Conflicts:     245000 | #Constraints:      18627
128.11/131.65	c #Conflicts:     246000 | #Constraints:      19627
128.11/131.65	c INPROCESSING
128.11/131.65	c GARBAGE COLLECT
128.11/131.65	c rational objective 0
135.59/139.18	c #Conflicts:     247000 | #Constraints:      10828
135.59/139.18	c #Conflicts:     248000 | #Constraints:      11828
135.59/139.18	c #Conflicts:     249000 | #Constraints:      12829
135.59/139.18	c #Conflicts:     250000 | #Constraints:      13829
135.59/139.18	c #Conflicts:     251000 | #Constraints:      14829
135.59/139.18	c #Conflicts:     252000 | #Constraints:      15829
135.59/139.18	c #Conflicts:     253000 | #Constraints:      16829
135.59/139.18	c #Conflicts:     254000 | #Constraints:      17829
135.59/139.18	c #Conflicts:     255000 | #Constraints:      18829
135.59/139.18	c #Conflicts:     256000 | #Constraints:      19829
135.59/139.18	c INPROCESSING
135.59/139.18	c GARBAGE COLLECT
135.59/139.18	c rational objective 0
143.35/146.99	c #Conflicts:     257000 | #Constraints:      10829
143.35/146.99	c #Conflicts:     258000 | #Constraints:      11829
143.35/146.99	c #Conflicts:     259000 | #Constraints:      12829
143.35/146.99	c #Conflicts:     260000 | #Constraints:      13829
143.35/146.99	c #Conflicts:     261000 | #Constraints:      14829
143.35/146.99	c #Conflicts:     262000 | #Constraints:      15829
143.35/146.99	c #Conflicts:     263000 | #Constraints:      16829
143.35/146.99	c #Conflicts:     264000 | #Constraints:      17829
143.35/146.99	c #Conflicts:     265000 | #Constraints:      18829
143.35/146.99	c #Conflicts:     266000 | #Constraints:      19829
143.35/146.99	c INPROCESSING
143.35/146.99	c GARBAGE COLLECT
143.35/146.99	c rational objective 0
151.63/155.21	c #Conflicts:     267000 | #Constraints:      10626
151.63/155.21	c #Conflicts:     268000 | #Constraints:      11626
151.63/155.21	c #Conflicts:     269000 | #Constraints:      12626
151.63/155.21	c #Conflicts:     270000 | #Constraints:      13626
151.63/155.21	c #Conflicts:     271000 | #Constraints:      14626
151.63/155.21	c #Conflicts:     272000 | #Constraints:      15628
151.63/155.21	c #Conflicts:     273000 | #Constraints:      16628
151.63/155.21	c #Conflicts:     274000 | #Constraints:      17628
151.63/155.21	c #Conflicts:     275000 | #Constraints:      18628
151.63/155.21	c #Conflicts:     276000 | #Constraints:      19628
151.63/155.21	c #Conflicts:     277000 | #Constraints:      20628
151.63/155.21	c INPROCESSING
151.63/155.21	c GARBAGE COLLECT
151.63/155.21	c rational objective 0
159.90/163.56	c #Conflicts:     278000 | #Constraints:      11226
159.90/163.56	c #Conflicts:     279000 | #Constraints:      12226
159.90/163.56	c #Conflicts:     280000 | #Constraints:      13226
159.90/163.56	c #Conflicts:     281000 | #Constraints:      14226
159.90/163.56	c #Conflicts:     282000 | #Constraints:      15226
159.90/163.56	c #Conflicts:     283000 | #Constraints:      16226
159.90/163.56	c #Conflicts:     284000 | #Constraints:      17226
159.90/163.56	c #Conflicts:     285000 | #Constraints:      18226
159.90/163.56	c #Conflicts:     286000 | #Constraints:      19226
159.90/163.56	c #Conflicts:     287000 | #Constraints:      20226
159.90/163.56	c #Conflicts:     288000 | #Constraints:      21226
159.90/163.56	c INPROCESSING
159.90/163.56	c GARBAGE COLLECT
159.90/163.56	c rational objective 0
168.48/172.10	c #Conflicts:     289000 | #Constraints:      11627
168.48/172.10	c #Conflicts:     290000 | #Constraints:      12627
168.48/172.10	c #Conflicts:     291000 | #Constraints:      13627
168.48/172.10	c #Conflicts:     292000 | #Constraints:      14627
168.48/172.10	c #Conflicts:     293000 | #Constraints:      15627
168.48/172.10	c #Conflicts:     294000 | #Constraints:      16627
168.48/172.10	c #Conflicts:     295000 | #Constraints:      17627
168.48/172.10	c #Conflicts:     296000 | #Constraints:      18627
168.48/172.10	c #Conflicts:     297000 | #Constraints:      19627
168.48/172.10	c #Conflicts:     298000 | #Constraints:      20627
168.48/172.10	c #Conflicts:     299000 | #Constraints:      21627
168.48/172.10	c INPROCESSING
168.48/172.10	c GARBAGE COLLECT
168.48/172.10	c rational objective 0
177.35/181.04	c #Conflicts:     300000 | #Constraints:      11824
177.35/181.04	c #Conflicts:     301000 | #Constraints:      12824
177.35/181.04	c #Conflicts:     302000 | #Constraints:      13824
177.35/181.04	c #Conflicts:     303000 | #Constraints:      14824
177.35/181.04	c #Conflicts:     304000 | #Constraints:      15824
177.35/181.04	c #Conflicts:     305000 | #Constraints:      16824
177.35/181.04	c #Conflicts:     306000 | #Constraints:      17824
177.35/181.04	c #Conflicts:     307000 | #Constraints:      18824
177.35/181.04	c #Conflicts:     308000 | #Constraints:      19824
177.35/181.04	c #Conflicts:     309000 | #Constraints:      20824
177.35/181.04	c #Conflicts:     310000 | #Constraints:      21824
177.35/181.04	c INPROCESSING
177.35/181.04	c GARBAGE COLLECT
177.35/181.04	c rational objective 0
186.32/190.06	c #Conflicts:     311000 | #Constraints:      11827
186.32/190.06	c #Conflicts:     312000 | #Constraints:      12827
186.32/190.06	c #Conflicts:     313000 | #Constraints:      13827
186.32/190.06	c #Conflicts:     314000 | #Constraints:      14827
186.32/190.06	c #Conflicts:     315000 | #Constraints:      15827
186.32/190.06	c #Conflicts:     316000 | #Constraints:      16827
186.32/190.06	c #Conflicts:     317000 | #Constraints:      17827
186.32/190.06	c #Conflicts:     318000 | #Constraints:      18827
186.32/190.06	c #Conflicts:     319000 | #Constraints:      19827
186.32/190.06	c #Conflicts:     320000 | #Constraints:      20827
186.32/190.06	c #Conflicts:     321000 | #Constraints:      21827
186.32/190.06	c INPROCESSING
186.32/190.06	c GARBAGE COLLECT
186.32/190.06	c rational objective 0
195.88/199.69	c #Conflicts:     322000 | #Constraints:      11628
195.88/199.69	c #Conflicts:     323000 | #Constraints:      12628
195.88/199.69	c #Conflicts:     324000 | #Constraints:      13628
195.88/199.69	c #Conflicts:     325000 | #Constraints:      14628
195.88/199.69	c #Conflicts:     326000 | #Constraints:      15628
195.88/199.69	c #Conflicts:     327000 | #Constraints:      16628
195.88/199.69	c #Conflicts:     328000 | #Constraints:      17628
195.88/199.69	c #Conflicts:     329000 | #Constraints:      18629
195.88/199.69	c #Conflicts:     330000 | #Constraints:      19629
195.88/199.69	c #Conflicts:     331000 | #Constraints:      20629
195.88/199.69	c #Conflicts:     332000 | #Constraints:      21629
195.88/199.69	c #Conflicts:     333000 | #Constraints:      22629
195.88/199.69	c INPROCESSING
195.88/199.69	c GARBAGE COLLECT
195.88/199.69	c rational objective 0
205.75/209.52	c #Conflicts:     334000 | #Constraints:      12228
205.75/209.52	c #Conflicts:     335000 | #Constraints:      13228
205.75/209.52	c #Conflicts:     336000 | #Constraints:      14228
205.75/209.52	c #Conflicts:     337000 | #Constraints:      15228
205.75/209.52	c #Conflicts:     338000 | #Constraints:      16228
205.75/209.52	c #Conflicts:     339000 | #Constraints:      17228
205.75/209.52	c #Conflicts:     340000 | #Constraints:      18228
205.75/209.52	c #Conflicts:     341000 | #Constraints:      19228
205.75/209.52	c #Conflicts:     342000 | #Constraints:      20228
205.75/209.52	c #Conflicts:     343000 | #Constraints:      21228
205.75/209.52	c #Conflicts:     344000 | #Constraints:      22228
205.75/209.52	c #Conflicts:     345000 | #Constraints:      23228
205.75/209.52	c INPROCESSING
205.75/209.52	c GARBAGE COLLECT
205.75/209.52	c rational objective 0
215.72/219.54	c #Conflicts:     346000 | #Constraints:      12624
215.72/219.54	c #Conflicts:     347000 | #Constraints:      13624
215.72/219.54	c #Conflicts:     348000 | #Constraints:      14624
215.72/219.54	c #Conflicts:     349000 | #Constraints:      15624
215.72/219.54	c #Conflicts:     350000 | #Constraints:      16624
215.72/219.54	c #Conflicts:     351000 | #Constraints:      17624
215.72/219.54	c #Conflicts:     352000 | #Constraints:      18624
215.72/219.54	c #Conflicts:     353000 | #Constraints:      19624
215.72/219.54	c #Conflicts:     354000 | #Constraints:      20624
215.72/219.54	c #Conflicts:     355000 | #Constraints:      21624
215.72/219.54	c #Conflicts:     356000 | #Constraints:      22624
215.72/219.54	c #Conflicts:     357000 | #Constraints:      23624
215.72/219.54	c INPROCESSING
215.72/219.54	c GARBAGE COLLECT
215.72/219.54	c rational objective 0
226.08/229.91	c #Conflicts:     358000 | #Constraints:      12825
226.08/229.91	c #Conflicts:     359000 | #Constraints:      13825
226.08/229.91	c #Conflicts:     360000 | #Constraints:      14825
226.08/229.91	c #Conflicts:     361000 | #Constraints:      15825
226.08/229.91	c #Conflicts:     362000 | #Constraints:      16825
226.08/229.91	c #Conflicts:     363000 | #Constraints:      17825
226.08/229.91	c #Conflicts:     364000 | #Constraints:      18825
226.08/229.91	c #Conflicts:     365000 | #Constraints:      19825
226.08/229.91	c #Conflicts:     366000 | #Constraints:      20825
226.08/229.91	c #Conflicts:     367000 | #Constraints:      21825
226.08/229.91	c #Conflicts:     368000 | #Constraints:      22825
226.08/229.91	c #Conflicts:     369000 | #Constraints:      23825
226.08/229.91	c INPROCESSING
226.08/229.91	c GARBAGE COLLECT
226.08/229.91	c rational objective 0
236.85/240.76	c #Conflicts:     370000 | #Constraints:      12826
236.85/240.76	c #Conflicts:     371000 | #Constraints:      13826
236.85/240.76	c #Conflicts:     372000 | #Constraints:      14826
236.85/240.76	c #Conflicts:     373000 | #Constraints:      15826
236.85/240.76	c #Conflicts:     374000 | #Constraints:      16826
236.85/240.76	c #Conflicts:     375000 | #Constraints:      17826
236.85/240.76	c #Conflicts:     376000 | #Constraints:      18826
236.85/240.76	c #Conflicts:     377000 | #Constraints:      19826
236.85/240.76	c #Conflicts:     378000 | #Constraints:      20826
236.85/240.76	c #Conflicts:     379000 | #Constraints:      21826
236.85/240.76	c #Conflicts:     380000 | #Constraints:      22826
236.85/240.76	c #Conflicts:     381000 | #Constraints:      23826
236.85/240.76	c INPROCESSING
236.85/240.76	c GARBAGE COLLECT
236.85/240.76	c rational objective 0
247.90/251.85	c #Conflicts:     382000 | #Constraints:      12626
247.90/251.85	c #Conflicts:     383000 | #Constraints:      13626
247.90/251.85	c #Conflicts:     384000 | #Constraints:      14626
247.90/251.85	c #Conflicts:     385000 | #Constraints:      15626
247.90/251.85	c #Conflicts:     386000 | #Constraints:      16626
247.90/251.85	c #Conflicts:     387000 | #Constraints:      17626
247.90/251.85	c #Conflicts:     388000 | #Constraints:      18626
247.90/251.85	c #Conflicts:     389000 | #Constraints:      19626
247.90/251.85	c #Conflicts:     390000 | #Constraints:      20626
247.90/251.85	c #Conflicts:     391000 | #Constraints:      21626
247.90/251.85	c #Conflicts:     392000 | #Constraints:      22626
247.90/251.85	c #Conflicts:     393000 | #Constraints:      23626
247.90/251.85	c #Conflicts:     394000 | #Constraints:      24626
247.90/251.85	c INPROCESSING
247.90/251.85	c GARBAGE COLLECT
247.90/251.85	c rational objective 0
259.37/263.32	c #Conflicts:     395000 | #Constraints:      13226
259.37/263.32	c #Conflicts:     396000 | #Constraints:      14226
259.37/263.32	c #Conflicts:     397000 | #Constraints:      15226
259.37/263.32	c #Conflicts:     398000 | #Constraints:      16226
259.37/263.32	c #Conflicts:     399000 | #Constraints:      17226
259.37/263.32	c #Conflicts:     400000 | #Constraints:      18226
259.37/263.32	c #Conflicts:     401000 | #Constraints:      19226
259.37/263.32	c #Conflicts:     402000 | #Constraints:      20226
259.37/263.32	c #Conflicts:     403000 | #Constraints:      21226
259.37/263.32	c #Conflicts:     404000 | #Constraints:      22226
259.37/263.32	c #Conflicts:     405000 | #Constraints:      23226
259.37/263.32	c #Conflicts:     406000 | #Constraints:      24226
259.37/263.32	c #Conflicts:     407000 | #Constraints:      25226
259.37/263.32	c INPROCESSING
259.37/263.32	c GARBAGE COLLECT
259.37/263.32	c rational objective 0
270.84/274.87	c #Conflicts:     408000 | #Constraints:      13625
270.84/274.87	c #Conflicts:     409000 | #Constraints:      14625
270.84/274.87	c #Conflicts:     410000 | #Constraints:      15625
270.84/274.87	c #Conflicts:     411000 | #Constraints:      16626
270.84/274.87	c #Conflicts:     412000 | #Constraints:      17626
270.84/274.87	c #Conflicts:     413000 | #Constraints:      18626
270.84/274.87	c #Conflicts:     414000 | #Constraints:      19626
270.84/274.87	c #Conflicts:     415000 | #Constraints:      20626
270.84/274.87	c #Conflicts:     416000 | #Constraints:      21626
270.84/274.87	c #Conflicts:     417000 | #Constraints:      22626
270.84/274.87	c #Conflicts:     418000 | #Constraints:      23626
270.84/274.87	c #Conflicts:     419000 | #Constraints:      24626
270.84/274.87	c #Conflicts:     420000 | #Constraints:      25627
270.84/274.87	c INPROCESSING
270.84/274.87	c GARBAGE COLLECT
270.84/274.87	c rational objective 0
282.30/286.39	c #Conflicts:     421000 | #Constraints:      13828
282.30/286.39	c #Conflicts:     422000 | #Constraints:      14828
282.30/286.39	c #Conflicts:     423000 | #Constraints:      15828
282.30/286.39	c #Conflicts:     424000 | #Constraints:      16828
282.30/286.39	c #Conflicts:     425000 | #Constraints:      17828
282.30/286.39	c #Conflicts:     426000 | #Constraints:      18828
282.30/286.39	c #Conflicts:     427000 | #Constraints:      19828
282.30/286.39	c #Conflicts:     428000 | #Constraints:      20828
282.30/286.39	c #Conflicts:     429000 | #Constraints:      21828
282.30/286.39	c #Conflicts:     430000 | #Constraints:      22829
282.30/286.39	c #Conflicts:     431000 | #Constraints:      23829
282.30/286.39	c #Conflicts:     432000 | #Constraints:      24829
282.30/286.39	c #Conflicts:     433000 | #Constraints:      25829
282.30/286.39	c INPROCESSING
282.30/286.39	c GARBAGE COLLECT
282.30/286.39	c rational objective 0
294.07/298.17	c #Conflicts:     434000 | #Constraints:      13828
294.07/298.17	c #Conflicts:     435000 | #Constraints:      14828
294.07/298.17	c #Conflicts:     436000 | #Constraints:      15828
294.07/298.17	c #Conflicts:     437000 | #Constraints:      16828
294.07/298.17	c #Conflicts:     438000 | #Constraints:      17828
294.07/298.17	c #Conflicts:     439000 | #Constraints:      18828
294.07/298.17	c #Conflicts:     440000 | #Constraints:      19828
294.07/298.17	c #Conflicts:     441000 | #Constraints:      20828
294.07/298.17	c #Conflicts:     442000 | #Constraints:      21828
294.07/298.17	c #Conflicts:     443000 | #Constraints:      22828
294.07/298.17	c #Conflicts:     444000 | #Constraints:      23828
294.07/298.17	c #Conflicts:     445000 | #Constraints:      24828
294.07/298.17	c #Conflicts:     446000 | #Constraints:      25828
294.07/298.17	c INPROCESSING
294.07/298.17	c GARBAGE COLLECT
294.07/298.17	c rational objective 0
306.64/310.74	c #Conflicts:     447000 | #Constraints:      13629
306.64/310.74	c #Conflicts:     448000 | #Constraints:      14629
306.64/310.74	c #Conflicts:     449000 | #Constraints:      15629
306.64/310.74	c #Conflicts:     450000 | #Constraints:      16629
306.64/310.74	c #Conflicts:     451000 | #Constraints:      17629
306.64/310.74	c #Conflicts:     452000 | #Constraints:      18629
306.64/310.74	c #Conflicts:     453000 | #Constraints:      19629
306.64/310.74	c #Conflicts:     454000 | #Constraints:      20629
306.64/310.74	c #Conflicts:     455000 | #Constraints:      21629
306.64/310.74	c #Conflicts:     456000 | #Constraints:      22629
306.64/310.74	c #Conflicts:     457000 | #Constraints:      23629
306.64/310.74	c #Conflicts:     458000 | #Constraints:      24629
306.64/310.74	c #Conflicts:     459000 | #Constraints:      25629
306.64/310.74	c #Conflicts:     460000 | #Constraints:      26629
306.64/310.74	c INPROCESSING
306.64/310.74	c GARBAGE COLLECT
306.64/310.74	c rational objective 0
319.20/323.33	c #Conflicts:     461000 | #Constraints:      14229
319.20/323.33	c #Conflicts:     462000 | #Constraints:      15229
319.20/323.33	c #Conflicts:     463000 | #Constraints:      16229
319.20/323.33	c #Conflicts:     464000 | #Constraints:      17229
319.20/323.33	c #Conflicts:     465000 | #Constraints:      18229
319.20/323.33	c #Conflicts:     466000 | #Constraints:      19229
319.20/323.33	c #Conflicts:     467000 | #Constraints:      20229
319.20/323.33	c #Conflicts:     468000 | #Constraints:      21229
319.20/323.33	c #Conflicts:     469000 | #Constraints:      22229
319.20/323.33	c #Conflicts:     470000 | #Constraints:      23229
319.20/323.33	c #Conflicts:     471000 | #Constraints:      24229
319.20/323.33	c #Conflicts:     472000 | #Constraints:      25229
319.20/323.33	c #Conflicts:     473000 | #Constraints:      26229
319.20/323.33	c #Conflicts:     474000 | #Constraints:      27229
319.20/323.33	c INPROCESSING
319.20/323.33	c GARBAGE COLLECT
319.20/323.33	c rational objective 0
331.77/335.99	c #Conflicts:     475000 | #Constraints:      14631
331.77/335.99	c #Conflicts:     476000 | #Constraints:      15631
331.77/335.99	c #Conflicts:     477000 | #Constraints:      16631
331.77/335.99	c #Conflicts:     478000 | #Constraints:      17631
331.77/335.99	c #Conflicts:     479000 | #Constraints:      18631
331.77/335.99	c #Conflicts:     480000 | #Constraints:      19631
331.77/335.99	c #Conflicts:     481000 | #Constraints:      20631
331.77/335.99	c #Conflicts:     482000 | #Constraints:      21631
331.77/335.99	c #Conflicts:     483000 | #Constraints:      22631
331.77/335.99	c #Conflicts:     484000 | #Constraints:      23631
331.77/335.99	c #Conflicts:     485000 | #Constraints:      24631
331.77/335.99	c #Conflicts:     486000 | #Constraints:      25631
331.77/335.99	c #Conflicts:     487000 | #Constraints:      26631
331.77/335.99	c #Conflicts:     488000 | #Constraints:      27631
331.77/335.99	c INPROCESSING
331.77/335.99	c GARBAGE COLLECT
331.77/335.99	c rational objective 0
345.13/349.36	c #Conflicts:     489000 | #Constraints:      14831
345.13/349.36	c #Conflicts:     490000 | #Constraints:      15831
345.13/349.36	c #Conflicts:     491000 | #Constraints:      16832
345.13/349.36	c #Conflicts:     492000 | #Constraints:      17832
345.13/349.36	c #Conflicts:     493000 | #Constraints:      18832
345.13/349.36	c #Conflicts:     494000 | #Constraints:      19832
345.13/349.36	c #Conflicts:     495000 | #Constraints:      20832
345.13/349.36	c #Conflicts:     496000 | #Constraints:      21832
345.13/349.36	c #Conflicts:     497000 | #Constraints:      22832
345.13/349.36	c #Conflicts:     498000 | #Constraints:      23832
345.13/349.36	c #Conflicts:     499000 | #Constraints:      24832
345.13/349.36	c #Conflicts:     500000 | #Constraints:      25832
345.13/349.36	c #Conflicts:     501000 | #Constraints:      26832
345.13/349.36	c #Conflicts:     502000 | #Constraints:      27832
345.13/349.36	c INPROCESSING
345.13/349.36	c GARBAGE COLLECT
345.13/349.36	c rational objective 0
358.79/363.04	c #Conflicts:     503000 | #Constraints:      14831
358.79/363.04	c #Conflicts:     504000 | #Constraints:      15831
358.79/363.04	c #Conflicts:     505000 | #Constraints:      16831
358.79/363.04	c #Conflicts:     506000 | #Constraints:      17831
358.79/363.04	c #Conflicts:     507000 | #Constraints:      18831
358.79/363.04	c #Conflicts:     508000 | #Constraints:      19831
358.79/363.04	c #Conflicts:     509000 | #Constraints:      20831
358.79/363.04	c #Conflicts:     510000 | #Constraints:      21831
358.79/363.04	c #Conflicts:     511000 | #Constraints:      22831
358.79/363.04	c #Conflicts:     512000 | #Constraints:      23831
358.79/363.04	c #Conflicts:     513000 | #Constraints:      24831
358.79/363.04	c #Conflicts:     514000 | #Constraints:      25831
358.79/363.04	c #Conflicts:     515000 | #Constraints:      26831
358.79/363.04	c #Conflicts:     516000 | #Constraints:      27831
358.79/363.04	c INPROCESSING
358.79/363.04	c GARBAGE COLLECT
358.79/363.04	c rational objective 0
372.05/376.34	c #Conflicts:     517000 | #Constraints:      14627
372.05/376.34	c #Conflicts:     518000 | #Constraints:      15627
372.05/376.34	c #Conflicts:     519000 | #Constraints:      16627
372.05/376.34	c #Conflicts:     520000 | #Constraints:      17629
372.05/376.34	c #Conflicts:     521000 | #Constraints:      18629
372.05/376.34	c #Conflicts:     522000 | #Constraints:      19629
372.05/376.34	c #Conflicts:     523000 | #Constraints:      20629
372.05/376.34	c #Conflicts:     524000 | #Constraints:      21629
372.05/376.34	c #Conflicts:     525000 | #Constraints:      22629
372.05/376.34	c #Conflicts:     526000 | #Constraints:      23629
372.05/376.34	c #Conflicts:     527000 | #Constraints:      24629
372.05/376.34	c #Conflicts:     528000 | #Constraints:      25629
372.05/376.34	c #Conflicts:     529000 | #Constraints:      26629
372.05/376.34	c #Conflicts:     530000 | #Constraints:      27629
372.05/376.34	c #Conflicts:     531000 | #Constraints:      28629
372.05/376.34	c INPROCESSING
372.05/376.34	c GARBAGE COLLECT
372.05/376.34	c rational objective 0
386.81/391.16	c #Conflicts:     532000 | #Constraints:      15293
386.81/391.16	c #Conflicts:     533000 | #Constraints:      16293
386.81/391.16	c #Conflicts:     534000 | #Constraints:      17307
386.81/391.16	c #Conflicts:     535000 | #Constraints:      18363
386.81/391.16	c #Conflicts:     536000 | #Constraints:      19390
386.81/391.16	c #Conflicts:     537000 | #Constraints:      20423
386.81/391.16	c #Conflicts:     538000 | #Constraints:      21442
386.81/391.16	c #Conflicts:     539000 | #Constraints:      22497
386.81/391.16	c #Conflicts:     540000 | #Constraints:      23513
386.81/391.16	c #Conflicts:     541000 | #Constraints:      24541
386.81/391.16	c #Conflicts:     542000 | #Constraints:      25551
386.81/391.16	c #Conflicts:     543000 | #Constraints:      26551
386.81/391.16	c #Conflicts:     544000 | #Constraints:      27640
386.81/391.16	c #Conflicts:     545000 | #Constraints:      28640
386.81/391.16	c #Conflicts:     546000 | #Constraints:      29640
386.81/391.16	c INPROCESSING
386.81/391.16	c GARBAGE COLLECT
386.81/391.16	c rational objective 0
407.15/411.54	c #Conflicts:     547000 | #Constraints:      16275
407.15/411.54	c #Conflicts:     548000 | #Constraints:      17764
407.15/411.54	c #Conflicts:     549000 | #Constraints:      19267
407.15/411.54	c #Conflicts:     550000 | #Constraints:      20749
407.15/411.54	c #Conflicts:     551000 | #Constraints:      22052
407.15/411.54	c #Conflicts:     552000 | #Constraints:      23154
407.15/411.54	c #Conflicts:     553000 | #Constraints:      24644
407.15/411.54	c #Conflicts:     554000 | #Constraints:      25825
407.15/411.54	c #Conflicts:     555000 | #Constraints:      26976
407.15/411.54	c #Conflicts:     556000 | #Constraints:      28320
407.15/411.54	c #Conflicts:     557000 | #Constraints:      29802
407.15/411.54	c #Conflicts:     558000 | #Constraints:      30844
407.15/411.54	c #Conflicts:     559000 | #Constraints:      32076
407.15/411.54	c #Conflicts:     560000 | #Constraints:      33091
407.15/411.54	c #Conflicts:     561000 | #Constraints:      34572
407.15/411.54	c INPROCESSING
407.15/411.54	c GARBAGE COLLECT
407.15/411.54	c rational objective 0
429.39/433.85	c #Conflicts:     562000 | #Constraints:      18751
429.39/433.85	c #Conflicts:     563000 | #Constraints:      20158
429.39/433.85	c #Conflicts:     564000 | #Constraints:      21358
429.39/433.85	c #Conflicts:     565000 | #Constraints:      22781
429.39/433.85	c #Conflicts:     566000 | #Constraints:      24169
429.39/433.85	c #Conflicts:     567000 | #Constraints:      25225
429.39/433.85	c #Conflicts:     568000 | #Constraints:      26433
429.39/433.85	c #Conflicts:     569000 | #Constraints:      27630
429.39/433.85	c #Conflicts:     570000 | #Constraints:      28791
429.39/433.85	c #Conflicts:     571000 | #Constraints:      29857
429.39/433.85	c #Conflicts:     572000 | #Constraints:      31338
429.39/433.85	c #Conflicts:     573000 | #Constraints:      32462
429.39/433.85	c #Conflicts:     574000 | #Constraints:      33462
429.39/433.85	c #Conflicts:     575000 | #Constraints:      34462
429.39/433.85	c #Conflicts:     576000 | #Constraints:      35567
429.39/433.85	c INPROCESSING
429.39/433.85	c GARBAGE COLLECT
429.39/433.85	c rational objective 0
448.53/453.05	c #Conflicts:     577000 | #Constraints:      18749
448.53/453.05	c #Conflicts:     578000 | #Constraints:      19749
448.53/453.05	c #Conflicts:     579000 | #Constraints:      20749
448.53/453.05	c #Conflicts:     580000 | #Constraints:      21750
448.53/453.05	c #Conflicts:     581000 | #Constraints:      22750
448.53/453.05	c #Conflicts:     582000 | #Constraints:      23750
448.53/453.05	c #Conflicts:     583000 | #Constraints:      24750
448.53/453.05	c #Conflicts:     584000 | #Constraints:      25750
448.53/453.05	c #Conflicts:     585000 | #Constraints:      26750
448.53/453.05	c #Conflicts:     586000 | #Constraints:      27750
448.53/453.05	c #Conflicts:     587000 | #Constraints:      28750
448.53/453.05	c #Conflicts:     588000 | #Constraints:      29750
448.53/453.05	c #Conflicts:     589000 | #Constraints:      30750
448.53/453.05	c #Conflicts:     590000 | #Constraints:      31750
448.53/453.05	c #Conflicts:     591000 | #Constraints:      32750
448.53/453.05	c INPROCESSING
448.53/453.05	c GARBAGE COLLECT
448.53/453.05	c rational objective 0
464.19/468.70	c #Conflicts:     592000 | #Constraints:      17090
464.19/468.70	c #Conflicts:     593000 | #Constraints:      18090
464.19/468.70	c #Conflicts:     594000 | #Constraints:      19090
464.19/468.70	c #Conflicts:     595000 | #Constraints:      20091
464.19/468.70	c #Conflicts:     596000 | #Constraints:      21091
464.19/468.70	c #Conflicts:     597000 | #Constraints:      22091
464.19/468.70	c #Conflicts:     598000 | #Constraints:      23091
464.19/468.70	c #Conflicts:     599000 | #Constraints:      24091
464.19/468.70	c #Conflicts:     600000 | #Constraints:      25091
464.19/468.70	c #Conflicts:     601000 | #Constraints:      26091
464.19/468.70	c #Conflicts:     602000 | #Constraints:      27091
464.19/468.70	c #Conflicts:     603000 | #Constraints:      28092
464.19/468.70	c #Conflicts:     604000 | #Constraints:      29092
464.19/468.70	c #Conflicts:     605000 | #Constraints:      30093
464.19/468.70	c #Conflicts:     606000 | #Constraints:      31093
464.19/468.70	c #Conflicts:     607000 | #Constraints:      32093
464.19/468.70	c INPROCESSING
464.19/468.70	c GARBAGE COLLECT
464.19/468.70	c rational objective 0
486.22/490.89	c #Conflicts:     608000 | #Constraints:      17252
486.22/490.89	c #Conflicts:     609000 | #Constraints:      18744
486.22/490.89	c #Conflicts:     610000 | #Constraints:      19994
486.22/490.89	c #Conflicts:     611000 | #Constraints:      21254
486.22/490.89	c #Conflicts:     612000 | #Constraints:      22530
486.22/490.89	c #Conflicts:     613000 | #Constraints:      23891
486.22/490.89	c #Conflicts:     614000 | #Constraints:      25309
486.22/490.89	c #Conflicts:     615000 | #Constraints:      26751
486.22/490.89	c #Conflicts:     616000 | #Constraints:      28030
486.22/490.89	c #Conflicts:     617000 | #Constraints:      29205
486.22/490.89	c #Conflicts:     618000 | #Constraints:      30361
486.22/490.89	c #Conflicts:     619000 | #Constraints:      31594
486.22/490.89	c #Conflicts:     620000 | #Constraints:      32676
486.22/490.89	c #Conflicts:     621000 | #Constraints:      33759
486.22/490.89	c #Conflicts:     622000 | #Constraints:      35011
486.22/490.89	c #Conflicts:     623000 | #Constraints:      36344
486.22/490.89	c INPROCESSING
486.22/490.89	c GARBAGE COLLECT
486.22/490.89	c rational objective 0
511.46/516.15	c #Conflicts:     624000 | #Constraints:      19581
511.46/516.15	c #Conflicts:     625000 | #Constraints:      20974
511.46/516.15	c #Conflicts:     626000 | #Constraints:      22242
511.46/516.15	c #Conflicts:     627000 | #Constraints:      23618
511.46/516.15	c #Conflicts:     628000 | #Constraints:      24623
511.46/516.15	c #Conflicts:     629000 | #Constraints:      25907
511.46/516.15	c #Conflicts:     630000 | #Constraints:      27164
511.46/516.15	c #Conflicts:     631000 | #Constraints:      28564
511.46/516.15	c #Conflicts:     632000 | #Constraints:      29748
511.46/516.15	c #Conflicts:     633000 | #Constraints:      30860
511.46/516.15	c #Conflicts:     634000 | #Constraints:      32197
511.46/516.15	c #Conflicts:     635000 | #Constraints:      33466
511.46/516.15	c #Conflicts:     636000 | #Constraints:      34690
511.46/516.15	c #Conflicts:     637000 | #Constraints:      35947
511.46/516.15	c #Conflicts:     638000 | #Constraints:      37001
511.46/516.15	c #Conflicts:     639000 | #Constraints:      38065
511.46/516.15	c INPROCESSING
511.46/516.15	c GARBAGE COLLECT
511.46/516.15	c rational objective 0
526.01/530.75	c #Conflicts:     640000 | #Constraints:      20425
526.01/530.75	c #Conflicts:     641000 | #Constraints:      21776
526.01/530.75	c #Conflicts:     642000 | #Constraints:      23195
526.01/530.75	c #Conflicts:     643000 | #Constraints:      24603
526.01/530.75	c #Conflicts:     644000 | #Constraints:      26096
526.01/530.75	c #Conflicts:     645000 | #Constraints:      27575
526.01/530.75	c #Conflicts:     646000 | #Constraints:      29090
526.01/530.75	c #Conflicts:     647000 | #Constraints:      30600
526.01/530.75	c #Conflicts:     648000 | #Constraints:      32103
526.01/530.75	c #Conflicts:     649000 | #Constraints:      33612
526.01/530.75	c #Conflicts:     650000 | #Constraints:      35100
526.01/530.75	c Inconsistent objective-improving constraint
526.01/530.75	c cpu time 518.647 s
526.01/530.75	c deterministic time 59901786399 5.99e+10
526.01/530.75	c optimization time 0.000304 s
526.01/530.75	c total solve time 518.646 s
526.01/530.75	c core-guided solve time 0 s
526.01/530.75	c propagation time 395.422 s
526.01/530.75	c conflict analysis time 106.519 s
526.01/530.75	c propagations 8885480
526.01/530.75	c resolve steps 3862909
526.01/530.75	c decisions 851700
526.01/530.75	c conflicts 650259
526.01/530.75	c restarts 1402
526.01/530.75	c inprocessing phases 71
526.01/530.75	c garbage collections 71 ,( 100.00 )
526.01/530.75	c input clauses 0 ,( 0.00 )
526.01/530.75	c input cardinalities 0 ,( 0.00 )
526.01/530.75	c input general constraints 10 ,( 100.00 )
526.01/530.75	c input average constraint length 55.40
526.01/530.75	c input average constraint degree 1295.70
526.01/530.75	c learned clauses 211994 ,( 31.53 )
526.01/530.75	c learned cardinalities 0 ,( 0.00 )
526.01/530.75	c learned general constraints 460403 ,( 68.47 )
526.01/530.75	c learned average constraint length 90.51
526.01/530.75	c learned average constraint degree 1245069097.65
526.01/530.75	c watched  CF 32, 64, 128, Arb: 180937 , 0 , 0 , 0
526.01/530.75	c counting CF 32, 64, 128, Arb: 279477 , 0 , 0 , 0
526.01/530.75	c watched   constraints 180937 ,( 39.30 ) 
526.01/530.75	c counting  constraints 279476 ,( 60.70 ) 
526.01/530.75	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 16732117 , 0 , 5601010108 ,( 32341120 , 5568668988 )
526.01/530.75	c gcd simplifications 208182
526.01/530.75	c detected cardinalities 0
526.01/530.75	c weakened non-implied lits 12960798
526.01/530.75	c weakened non-implying lits 1152647
526.01/530.75	c original variables 120
526.01/530.75	c clausal propagations 36493
526.01/530.75	c cardinality propagations 0
526.01/530.75	c watched propagations 21858
526.01/530.75	c counting propagations 8171004
526.01/530.75	c watch lookups 13852812810
526.01/530.75	c watch backjump lookups 0
526.01/530.75	c watch checks 1521591704
526.01/530.75	c propagation checks 44025520904
526.01/530.75	c constraint additions 481090907
526.01/530.75	c trail pops 10387345
526.01/530.75	c formula constraints 10
526.01/530.75	c learned constraints 650165
526.01/530.75	c bound constraints 0
526.01/530.75	c core-guided constraints 0
526.01/530.75	c encountered formula constraints 193714
526.01/530.75	c encountered learned constraints 687278
526.01/530.75	c encountered bound constraints 0
526.01/530.75	c encountered core-guided constraints 0
526.01/530.75	c LP total time 14.1137 s
526.01/530.75	c LP solve time 9.82 s
526.01/530.75	c LP constraints added 126
526.01/530.75	c LP constraints removed 115
526.01/530.75	c LP pivots internal 645496
526.01/530.75	c LP pivots root 52
526.01/530.75	c LP calls 129433
526.01/530.75	c LP optimalities 107383
526.01/530.75	c LP no pivot count 7503
526.01/530.75	c LP infeasibilities 22050
526.01/530.75	c LP valid Farkas constraints 22050
526.01/530.75	c LP learned Farkas constraints 94
526.01/530.75	c LP basis resets 0
526.01/530.75	c LP cycling count 0
526.01/530.75	c LP singular count 0
526.01/530.75	c LP no primal count 0
526.01/530.75	c LP no farkas count 0
526.01/530.75	c LP other issue count 0
526.01/530.75	c LP Gomory cuts 88
526.01/530.75	c LP learned cuts 28
526.01/530.75	c LP deleted cuts 115
526.01/530.75	c LP encountered Gomory constraints 10434
526.01/530.75	c LP encountered Farkas constraints 3619578
526.01/530.75	c LP encountered learned Farkas constraints 2070
526.01/530.75	c CG auxiliary variables introduced 1
526.01/530.75	c CG solutions found 1
526.01/530.75	c CG cores constructed 0
526.01/530.75	c CG core cardinality constraints returned 0
526.01/530.75	c CG unit cores 0
526.01/530.75	c CG single cores 0
526.01/530.75	c CG blocks removed during cardinality reduction 0
526.01/530.75	c CG first core best 0
526.01/530.75	c CG decision core best 0
526.01/530.75	c CG core reduction tie 0
526.01/530.75	c CG core degree average 0.00
526.01/530.75	c CG core slack average 0.00
526.01/530.75	c CG core upper bound improvements 0
526.01/530.75	c STR number of successful calls 0
526.01/530.75	c STR number of unsuccessful calls 0
526.01/530.75	c STR number of inconclusive calls 0
526.01/530.75	c STR number of successful attempts 0
526.01/530.75	c STR number of unsuccessful attempts 0
526.01/530.75	c STR number of inconclusive attempts 0
526.01/530.75	c STR average degree increase per successful call inf
526.01/530.75	c STR average degree increase per successful attempt inf
526.01/530.75	c STR total number of conflicts for successful attempts 0
526.01/530.75	c STR total number of conflicts for unsuccessful attempts 0
526.01/530.75	c STR total number of conflicts for inconclusive attempts 0
526.01/530.75	c STR average number of conflicts per successful attempt inf
526.01/530.75	c STR average number of conflicts per unsuccessful attempt inf
526.01/530.75	c STR average number of conflicts per inconclusive attempt inf
526.01/530.75	c AVG.sumWPerc 48.83 
526.01/530.75	c bigint constraints 0 
526.01/530.75	o 0
526.01/530.75	s OPTIMUM FOUND
526.34/532.10	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

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Tue Jul  1 17:45:13 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 0 <= obj <= 0
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 0 <= obj <= 0
--summary--
ALL OK

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: 63665 MiB (10579 MiB free)
  memory of node 1: 64507 MiB (63996 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490381-1751367281/watcher-4490381-1751367281 -o /tmp/evaluation-result-4490381-1751367281/solver-4490381-1751367281 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49686 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490381-1751367281.opb PROOFDIR/proof-4490381-1751367281 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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=50461, runsolver pid=50458
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.10 4.10 4.10 3/267 50463
/proc/meminfo: memFree=76365164/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/50463/stat : 50463 (roundingsat) D 50461 50461 49673 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 52406961 52015104 1920 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+0.205337 s]*
/proc/loadavg: 4.10 4.10 4.10 3/267 50463
/proc/meminfo: memFree=77738848/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/50463/stat : 50463 (roundingsat) D 50461 50461 49673 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 52406961 52015104 1920 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+0.30448 s]*
/proc/loadavg: 4.25 4.13 4.11 3/264 50471
/proc/meminfo: memFree=79167448/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/50463/stat : 50463 (roundingsat) D 50461 50461 49673 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 52406961 52015104 1920 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+0.700197 s]
/proc/loadavg: 4.25 4.13 4.11 2/264 50471
/proc/meminfo: memFree=79272100/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/50463/stat : 50463 (roundingsat) D 50461 50461 49673 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 52406961 52015104 1920 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+1.50023 s]
/proc/loadavg: 4.25 4.13 4.11 1/263 50489
/proc/meminfo: memFree=79303908/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/50463/stat : 50463 (roundingsat) D 50461 50461 49673 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 52406961 52015104 1920 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+3.10432 s]
/proc/loadavg: 4.25 4.13 4.11 1/263 50489
/proc/meminfo: memFree=79307088/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/50463/stat : 50463 (roundingsat) D 50461 50461 49673 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 52406961 52015104 1920 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
heavy processes:

[startup+6.30017 s]
/proc/loadavg: 4.23 4.13 4.11 3/269 50509
/proc/meminfo: memFree=102436584/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=66896 memory=20844 CPUtime=3.18 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 2032 0 0 0 306 12 0 0 20 0 1 0 52406961 68501504 5211 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 16724 5211 2432 1147 0 4151 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 71088 KiB
Current children cumulated memory: 23788 KiB
heavy processes:

[startup+12.7001 s]
/proc/loadavg: 4.21 4.13 4.11 5/275 50529
/proc/meminfo: memFree=129186272/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=73648 memory=24556 CPUtime=9.56 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 2959 0 0 0 925 31 0 0 20 0 1 0 52406961 75415552 6139 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 18412 6139 2432 1147 0 5839 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 77840 KiB
Current children cumulated memory: 27500 KiB
heavy processes:

[startup+25.5002 s]
/proc/loadavg: 4.18 4.12 4.11 5/275 50529
/proc/meminfo: memFree=128349476/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=74808 memory=28012 CPUtime=22.32 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 3806 0 0 0 2168 64 0 0 20 0 1 0 52406961 76603392 7003 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 18702 7003 2432 1147 0 6129 0
Current children cumulated CPU time: 22.32 s
Current children cumulated vsize: 79000 KiB
Current children cumulated memory: 30956 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.13 4.11 5/275 50577
/proc/meminfo: memFree=126962592/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=88096 memory=38072 CPUtime=47.85 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 5556 0 0 0 4670 115 0 0 20 0 1 0 52406961 90210304 9518 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 22024 9518 2432 1147 0 9451 0
Current children cumulated CPU time: 47.85 s
Current children cumulated vsize: 92288 KiB
Current children cumulated memory: 41016 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/274 50579
/proc/meminfo: memFree=124395848/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=90580 memory=41912 CPUtime=98.9 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 6599 0 0 0 9686 204 0 0 20 0 1 0 52406961 92753920 10478 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 22645 10478 2432 1147 0 10072 0
Current children cumulated CPU time: 98.9 s
Current children cumulated vsize: 94772 KiB
Current children cumulated memory: 44856 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/274 50581
/proc/meminfo: memFree=121808272/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=99984 memory=47572 CPUtime=158.7 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 8002 0 0 0 15572 298 0 0 20 0 1 0 52406961 102383616 11893 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 24996 11893 2432 1147 0 12423 0
Current children cumulated CPU time: 158.7 s
Current children cumulated vsize: 104176 KiB
Current children cumulated memory: 50516 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/275 50587
/proc/meminfo: memFree=119346688/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0

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

/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 11586 0 0 0 27369 463 0 0 20 0 1 0 52406961 117460992 15028 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 28677 15028 2432 1147 0 16104 0
Current children cumulated CPU time: 278.32 s
Current children cumulated vsize: 118900 KiB
Current children cumulated memory: 63056 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 8/275 50591
/proc/meminfo: memFree=115063328/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=116776 memory=62160 CPUtime=338.15 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 12317 0 0 0 33285 530 0 0 20 0 1 0 52406961 119578624 15540 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 29194 15540 2432 1147 0 16621 0
Current children cumulated CPU time: 338.15 s
Current children cumulated vsize: 120968 KiB
Current children cumulated memory: 65104 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/275 50604
/proc/meminfo: memFree=113057820/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=119060 memory=65872 CPUtime=397.98 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 13413 0 0 0 39200 598 0 0 20 0 1 0 52406961 121917440 16468 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 29765 16468 2432 1147 0 17192 0
Current children cumulated CPU time: 397.98 s
Current children cumulated vsize: 123252 KiB
Current children cumulated memory: 68816 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/274 50610
/proc/meminfo: memFree=111335936/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=142540 memory=78188 CPUtime=457.8 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 17032 0 0 0 45111 669 0 0 20 0 1 0 52406961 145960960 19547 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 35635 19547 2432 1147 0 23062 0
Current children cumulated CPU time: 457.8 s
Current children cumulated vsize: 146732 KiB
Current children cumulated memory: 81132 KiB

[startup+522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 50612
/proc/meminfo: memFree=109663768/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=152664 memory=85420 CPUtime=517.64 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 20075 0 0 0 51029 735 0 0 20 0 1 0 52406961 156327936 21355 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 38166 21355 2432 1147 0 25593 0
Current children cumulated CPU time: 517.64 s
Current children cumulated vsize: 156856 KiB
Current children cumulated memory: 88364 KiB

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

# cumulated CPU time of all completed processes:  user=518.656 s, system=7.69819 s

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

[startup+524.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 50612
/proc/meminfo: memFree=109615384/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=152664 memory=85548 CPUtime=520.12 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 20092 0 0 0 51276 736 0 0 20 0 1 0 52406961 156327936 21387 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 38166 21387 2432 1147 0 25593 0
Current children cumulated CPU time: 520.12 s
Current children cumulated vsize: 156856 KiB
Current children cumulated memory: 88492 KiB

[startup+528 s]*
/proc/loadavg: 4.09 4.09 4.09 5/273 50613
/proc/meminfo: memFree=109482116/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=152664 memory=85676 CPUtime=523.32 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 20128 0 0 0 51592 740 0 0 20 0 1 0 52406961 156327936 21419 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 38166 21419 2432 1147 0 25593 0
Current children cumulated CPU time: 523.32 s
Current children cumulated vsize: 156856 KiB
Current children cumulated memory: 88620 KiB

[startup+529.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 50613
/proc/meminfo: memFree=109441708/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=152664 memory=85804 CPUtime=524.91 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 20164 0 0 0 51750 741 0 0 20 0 1 0 52406961 156327936 21451 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 38166 21451 2432 1147 0 25593 0
Current children cumulated CPU time: 524.91 s
Current children cumulated vsize: 156856 KiB
Current children cumulated memory: 88748 KiB

[startup+531.2 s]
/proc/loadavg: 4.08 4.09 4.09 4/273 50613
/proc/meminfo: memFree=109404760/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=153176 memory=86240 CPUtime=526.23 cores=5,7
/proc/50463/stat : 50463 (roundingsat) D 50461 50461 49673 0 -1 4194304 20324 0 0 0 51865 758 0 0 20 0 1 0 52406961 156852224 21560 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 38294 21560 2432 1147 0 25721 0
Current children cumulated CPU time: 526.23 s
Current children cumulated vsize: 157368 KiB
Current children cumulated memory: 89184 KiB

[startup+531.6 s]
/proc/loadavg: 4.08 4.09 4.09 4/273 50613
/proc/meminfo: memFree=109404760/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=153176 memory=86240 CPUtime=526.26 cores=5,7
/proc/50463/stat : 50463 (roundingsat) D 50461 50461 49673 0 -1 4194304 20324 0 0 0 51865 761 0 0 20 0 1 0 52406961 156852224 21560 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 38294 21560 2432 1147 0 25721 0
Current children cumulated CPU time: 526.26 s
Current children cumulated vsize: 157368 KiB
Current children cumulated memory: 89184 KiB

[startup+532 s]*
/proc/loadavg: 4.08 4.09 4.09 6/273 50613
/proc/meminfo: memFree=109399792/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=153176 memory=86240 CPUtime=526.32 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 20324 0 0 0 51865 767 0 0 20 0 1 0 52406961 156852224 21560 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 38294 21560 2432 1147 0 25721 0
Current children cumulated CPU time: 526.32 s
Current children cumulated vsize: 157368 KiB
Current children cumulated memory: 89184 KiB

[startup+532.105 s]
/proc/loadavg: 4.08 4.09 4.09 6/273 50613
/proc/meminfo: memFree=109399792/131249988 swapFree=33010160/33010684
[pid=50461] ppid=50458 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50461/stat : 50461 (run-opt-log.sh) S 50458 50461 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52406960 4292608 736 18446744073709551615 94293733126144 94293734020677 140720972469184 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293734259728 94293734307472 94293739655168 140720972470561 140720972470756 140720972470756 140720972476358 0
/proc/50461/statm: 1048 736 672 219 0 110 0
[pid=50463] ppid=50461 vsize=71636 memory=29156 CPUtime=526.34 cores=5,7
/proc/50463/stat : 50463 (roundingsat) R 50461 50461 49673 0 -1 4194304 20324 0 0 0 51865 769 0 0 20 0 1 0 52406961 73355264 7289 18446744073709551615 4227072 8923433 140729203273376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14995456 140729203276114 140729203276328 140729203276328 140729203281898 0
/proc/50463/statm: 17909 7289 2432 1147 0 5336 0
Current children cumulated CPU time: 526.34 s
Current children cumulated vsize: 75828 KiB
Current children cumulated memory: 32100 KiB

Child status: 0

Real time (s): 532.107
CPU time (s): 526.354
CPU user time (s): 518.656
CPU system time (s): 7.69819
CPU usage (%): 98.9187
Max. virtual memory (cumulated for all children) (KiB): 157368
Max. memory (cumulated for all children) (KiB): 89184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 518.656
system time used= 7.69819
maximum resident set size= 86444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20556
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6236976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36475
involuntary context switches= 805


# summary of solver processes directly reported to runsolver:
#   pid: 50461
#   total CPU time (s): 526.354
#   total CPU user time (s): 518.656
#   total CPU system time (s): 7.69819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08352 second user time and 2.44238 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-01 12:54:41
IDJOB=4490381
IDBENCH=147585
IDSOLVER=3351
FILE ID=nodeC034/4490381-1751367281
RUNJOBID= nodeC034-1751360042-49686
SLURM_JOB_ID= 9598159
Free space on /tmp= 433000 MiB

SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490381-1751367281/watcher-4490381-1751367281 -o /tmp/evaluation-result-4490381-1751367281/solver-4490381-1751367281 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49686 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490381-1751367281.opb PROOFDIR/proof-4490381-1751367281

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

MD5SUM BENCH= a8470a83b0b0d2a815a3f0ab26202dcb
RANDOM SEED=1746680275

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        76364808 kB
MemAvailable:   126669412 kB
Buffers:            2128 kB
Cached:         51030772 kB
SwapCached:           36 kB
Active:          3329680 kB
Inactive:       50591340 kB
Active(anon):    2901984 kB
Inactive(anon):     4208 kB
Active(file):     427696 kB
Inactive(file): 50587132 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7148 kB
Writeback:       7036012 kB
AnonPages:       2891204 kB
Mapped:           111636 kB
Shmem:             18068 kB
KReclaimable:     257632 kB
Slab:             572432 kB
SReclaimable:     257632 kB
SUnreclaim:       314800 kB
KernelStack:        4288 kB
PageTables:         8980 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    3833360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    649216 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC034 at 2025-07-01 13:03:33