Trace number 4455526

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 NameAnswerCPU timeWall clock time
RoundingSat nolog (2)SAT 274.678 275.51

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
MD5SUM577423e4c806b19b8b5f6a5daee1c614
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.011666
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370
Total number of constraints557
Number of constraints which are clauses313
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints242
Minimum length of a constraint2
Maximum length of a constraint121
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 138
Number of bits of the biggest sum of numbers8
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 370 #constraints 557
0.00/0.01	c rational objective 46.3636
0.20/0.28	c #Conflicts:       1000 | #Constraints:       1566
0.20/0.28	c #Conflicts:       2000 | #Constraints:       2567
0.20/0.28	c INPROCESSING
0.20/0.28	c GARBAGE COLLECT
0.20/0.28	c rational objective 46.3636
0.58/0.64	c #Conflicts:       3000 | #Constraints:       2582
0.58/0.64	c #Conflicts:       4000 | #Constraints:       3584
0.58/0.64	c INPROCESSING
0.58/0.64	c GARBAGE COLLECT
0.58/0.64	c rational objective 46.3636
0.98/1.04	c #Conflicts:       5000 | #Constraints:       2986
0.98/1.04	c #Conflicts:       6000 | #Constraints:       3990
0.98/1.04	c INPROCESSING
0.98/1.04	c GARBAGE COLLECT
0.98/1.04	c rational objective 46.3636
1.48/1.54	c #Conflicts:       7000 | #Constraints:       2987
1.48/1.54	c #Conflicts:       8000 | #Constraints:       3991
1.48/1.54	c #Conflicts:       9000 | #Constraints:       4992
1.48/1.54	c INPROCESSING
1.48/1.54	c GARBAGE COLLECT
1.48/1.54	c rational objective 46.7143
1.99/2.07	c #Conflicts:      10000 | #Constraints:       3683
1.99/2.07	c #Conflicts:      11000 | #Constraints:       4684
1.99/2.07	c #Conflicts:      12000 | #Constraints:       5684
1.99/2.07	c INPROCESSING
1.99/2.07	c GARBAGE COLLECT
1.99/2.07	c rational objective 47.0282
2.58/2.63	c #Conflicts:      13000 | #Constraints:       4128
2.58/2.63	c #Conflicts:      14000 | #Constraints:       5129
2.58/2.63	c #Conflicts:      15000 | #Constraints:       6131
2.58/2.63	c INPROCESSING
2.58/2.63	c GARBAGE COLLECT
2.58/2.63	c rational objective 47.2197
3.17/3.21	c #Conflicts:      16000 | #Constraints:       4355
3.17/3.21	c #Conflicts:      17000 | #Constraints:       5355
3.17/3.21	c #Conflicts:      18000 | #Constraints:       6355
3.17/3.21	c INPROCESSING
3.17/3.21	c GARBAGE COLLECT
3.17/3.21	c rational objective 47.3443
3.77/3.89	c #Conflicts:      19000 | #Constraints:       4368
3.77/3.89	c #Conflicts:      20000 | #Constraints:       5369
3.77/3.89	c #Conflicts:      21000 | #Constraints:       6369
3.77/3.89	c INPROCESSING
3.77/3.89	c GARBAGE COLLECT
3.77/3.89	c rational objective 47.4
4.47/4.58	c #Conflicts:      22000 | #Constraints:       4170
4.47/4.58	c #Conflicts:      23000 | #Constraints:       5172
4.47/4.58	c #Conflicts:      24000 | #Constraints:       6172
4.47/4.58	c #Conflicts:      25000 | #Constraints:       7172
4.47/4.58	c INPROCESSING
4.47/4.58	c GARBAGE COLLECT
4.47/4.58	c rational objective 47.55
5.27/5.30	c #Conflicts:      26000 | #Constraints:       4774
5.27/5.30	c #Conflicts:      27000 | #Constraints:       5776
5.27/5.30	c #Conflicts:      28000 | #Constraints:       6777
5.27/5.30	c #Conflicts:      29000 | #Constraints:       7778
5.27/5.30	c INPROCESSING
5.27/5.30	c GARBAGE COLLECT
5.27/5.30	c rational objective 47.58
5.97/6.09	c #Conflicts:      30000 | #Constraints:       5179
5.97/6.09	c #Conflicts:      31000 | #Constraints:       6180
5.97/6.09	c #Conflicts:      32000 | #Constraints:       7180
5.97/6.09	c #Conflicts:      33000 | #Constraints:       8181
5.97/6.09	c INPROCESSING
5.97/6.09	c GARBAGE COLLECT
5.97/6.09	c rational objective 47.6
6.86/6.92	c #Conflicts:      34000 | #Constraints:       5385
6.86/6.92	c #Conflicts:      35000 | #Constraints:       6387
6.86/6.92	c #Conflicts:      36000 | #Constraints:       7389
6.86/6.92	c #Conflicts:      37000 | #Constraints:       8391
6.86/6.92	c INPROCESSING
6.86/6.92	c GARBAGE COLLECT
6.86/6.92	c rational objective 47.6497
7.67/7.79	c #Conflicts:      38000 | #Constraints:       5384
7.67/7.79	c #Conflicts:      39000 | #Constraints:       6385
7.67/7.79	c #Conflicts:      40000 | #Constraints:       7390
7.67/7.79	c #Conflicts:      41000 | #Constraints:       8394
7.67/7.79	c INPROCESSING
7.67/7.79	c GARBAGE COLLECT
7.67/7.79	c rational objective 47.7288
8.66/8.77	c #Conflicts:      42000 | #Constraints:       5188
8.66/8.77	c #Conflicts:      43000 | #Constraints:       6188
8.66/8.77	c #Conflicts:      44000 | #Constraints:       7191
8.66/8.77	c #Conflicts:      45000 | #Constraints:       8197
8.66/8.77	c #Conflicts:      46000 | #Constraints:       9197
8.66/8.77	c INPROCESSING
8.66/8.77	c GARBAGE COLLECT
8.66/8.77	c rational objective 47.8405
9.76/9.80	c #Conflicts:      47000 | #Constraints:       5780
9.76/9.80	c #Conflicts:      48000 | #Constraints:       6782
9.76/9.80	c #Conflicts:      49000 | #Constraints:       7783
9.76/9.80	c #Conflicts:      50000 | #Constraints:       8784
9.76/9.80	c #Conflicts:      51000 | #Constraints:       9785
9.76/9.80	c INPROCESSING
9.76/9.80	c GARBAGE COLLECT
9.76/9.80	c rational objective 47.9039
10.86/10.90	c #Conflicts:      52000 | #Constraints:       6179
10.86/10.90	c #Conflicts:      53000 | #Constraints:       7182
10.86/10.90	c #Conflicts:      54000 | #Constraints:       8183
10.86/10.90	c #Conflicts:      55000 | #Constraints:       9184
10.86/10.90	c #Conflicts:      56000 | #Constraints:      10186
10.86/10.90	c INPROCESSING
10.86/10.90	c GARBAGE COLLECT
10.86/10.90	c rational objective 47.9308
11.96/12.08	c #Conflicts:      57000 | #Constraints:       6380
11.96/12.08	c #Conflicts:      58000 | #Constraints:       7384
11.96/12.08	c #Conflicts:      59000 | #Constraints:       8384
11.96/12.08	c #Conflicts:      60000 | #Constraints:       9386
11.96/12.08	c #Conflicts:      61000 | #Constraints:      10389
11.96/12.08	c INPROCESSING
11.96/12.08	c GARBAGE COLLECT
11.96/12.08	c rational objective 47.932
13.24/13.35	c #Conflicts:      62000 | #Constraints:       6383
13.24/13.35	c #Conflicts:      63000 | #Constraints:       7390
13.24/13.35	c #Conflicts:      64000 | #Constraints:       8391
13.24/13.35	c #Conflicts:      65000 | #Constraints:       9391
13.24/13.35	c #Conflicts:      66000 | #Constraints:      10391
13.24/13.35	c INPROCESSING
13.24/13.35	c GARBAGE COLLECT
13.24/13.35	c rational objective 47.9321
14.45/14.58	c #Conflicts:      67000 | #Constraints:       6188
14.45/14.58	c #Conflicts:      68000 | #Constraints:       7188
14.45/14.58	c #Conflicts:      69000 | #Constraints:       8189
14.45/14.58	c #Conflicts:      70000 | #Constraints:       9190
14.45/14.58	c #Conflicts:      71000 | #Constraints:      10194
14.45/14.58	c #Conflicts:      72000 | #Constraints:      11197
14.45/14.58	c INPROCESSING
14.45/14.58	c GARBAGE COLLECT
14.45/14.58	c rational objective 47.9321
15.84/15.90	c #Conflicts:      73000 | #Constraints:       6784
15.84/15.90	c #Conflicts:      74000 | #Constraints:       7786
15.84/15.90	c #Conflicts:      75000 | #Constraints:       8787
15.84/15.90	c #Conflicts:      76000 | #Constraints:       9787
15.84/15.90	c #Conflicts:      77000 | #Constraints:      10788
15.84/15.90	c #Conflicts:      78000 | #Constraints:      11792
15.84/15.90	c INPROCESSING
15.84/15.90	c GARBAGE COLLECT
15.84/15.90	c rational objective 47.9321
18.43/18.55	c #Conflicts:      79000 | #Constraints:       7241
18.43/18.55	c #Conflicts:      80000 | #Constraints:       8457
18.43/18.55	c #Conflicts:      81000 | #Constraints:       9782
18.43/18.55	c #Conflicts:      82000 | #Constraints:      11235
18.43/18.55	c #Conflicts:      83000 | #Constraints:      12747
18.43/18.55	c #Conflicts:      84000 | #Constraints:      14285
18.43/18.55	c INPROCESSING
18.43/18.55	c GARBAGE COLLECT
18.43/18.55	c rational objective 47.9321
22.32/22.42	c #Conflicts:      85000 | #Constraints:       8927
22.32/22.42	c #Conflicts:      86000 | #Constraints:      10417
22.32/22.42	c #Conflicts:      87000 | #Constraints:      11901
22.32/22.42	c #Conflicts:      88000 | #Constraints:      13374
22.32/22.42	c #Conflicts:      89000 | #Constraints:      14870
22.32/22.42	c #Conflicts:      90000 | #Constraints:      16265
22.32/22.42	c INPROCESSING
22.32/22.42	c GARBAGE COLLECT
22.32/22.42	c rational objective 47.9325
26.40/26.58	c #Conflicts:      91000 | #Constraints:       9495
26.40/26.58	c #Conflicts:      92000 | #Constraints:      10836
26.40/26.58	c #Conflicts:      93000 | #Constraints:      12241
26.40/26.58	c #Conflicts:      94000 | #Constraints:      13592
26.40/26.58	c #Conflicts:      95000 | #Constraints:      15075
26.40/26.58	c #Conflicts:      96000 | #Constraints:      16584
26.40/26.58	c INPROCESSING
26.40/26.58	c GARBAGE COLLECT
26.40/26.58	c rational objective 47.9325
30.00/30.19	c #Conflicts:      97000 | #Constraints:       9469
30.00/30.19	c #Conflicts:      98000 | #Constraints:      10603
30.00/30.19	c #Conflicts:      99000 | #Constraints:      11879
30.00/30.19	c #Conflicts:     100000 | #Constraints:      13054
30.00/30.19	c #Conflicts:     101000 | #Constraints:      14221
30.00/30.19	c #Conflicts:     102000 | #Constraints:      15601
30.00/30.19	c #Conflicts:     103000 | #Constraints:      16699
30.00/30.19	c INPROCESSING
30.00/30.19	c GARBAGE COLLECT
30.00/30.19	c rational objective 47.9854
32.49/32.66	c #Conflicts:     104000 | #Constraints:       9599
32.49/32.66	c #Conflicts:     105000 | #Constraints:      10617
32.49/32.66	c #Conflicts:     106000 | #Constraints:      11659
32.49/32.66	c #Conflicts:     107000 | #Constraints:      12707
32.49/32.66	c #Conflicts:     108000 | #Constraints:      13730
32.49/32.66	c #Conflicts:     109000 | #Constraints:      14932
32.49/32.66	c #Conflicts:     110000 | #Constraints:      16043
32.49/32.66	c INPROCESSING
32.49/32.66	c GARBAGE COLLECT
32.49/32.66	c rational objective 47.9878
34.98/35.15	c #Conflicts:     111000 | #Constraints:       9348
34.98/35.15	c #Conflicts:     112000 | #Constraints:      10412
34.98/35.15	c #Conflicts:     113000 | #Constraints:      11455
34.98/35.15	c #Conflicts:     114000 | #Constraints:      12497
34.98/35.15	c #Conflicts:     115000 | #Constraints:      13536
34.98/35.15	c #Conflicts:     116000 | #Constraints:      14552
34.98/35.15	c #Conflicts:     117000 | #Constraints:      15626
34.98/35.15	c INPROCESSING
34.98/35.15	c GARBAGE COLLECT
34.98/35.15	c rational objective 47.9932
36.08/36.21	c #Conflicts:     118000 | #Constraints:       9161
36.08/36.21	c #Conflicts:     119000 | #Constraints:      10248
36.08/36.21	WSVECS04 Frhs2[253]: 6 0 0.997612 shouldn't be
36.08/36.21	WSVECS04 Frhs2[358]: 6 -8.2497 0 shouldn't be
38.17/38.35	c #Conflicts:     120000 | #Constraints:      11300
38.17/38.35	c #Conflicts:     121000 | #Constraints:      12419
38.17/38.35	c #Conflicts:     122000 | #Constraints:      13622
38.17/38.35	c #Conflicts:     123000 | #Constraints:      14717
38.17/38.35	c #Conflicts:     124000 | #Constraints:      15752
38.17/38.35	c INPROCESSING
38.17/38.35	c GARBAGE COLLECT
38.17/38.35	c rational objective 47.9966
41.16/41.30	c #Conflicts:     125000 | #Constraints:       9100
41.16/41.30	c #Conflicts:     126000 | #Constraints:      10134
41.16/41.30	c #Conflicts:     127000 | #Constraints:      11149
41.16/41.30	c #Conflicts:     128000 | #Constraints:      12205
41.16/41.30	c #Conflicts:     129000 | #Constraints:      13280
41.16/41.30	c #Conflicts:     130000 | #Constraints:      14352
41.16/41.30	c #Conflicts:     131000 | #Constraints:      15368
41.16/41.30	c INPROCESSING
41.16/41.30	c GARBAGE COLLECT
41.16/41.30	c rational objective 47.9968
44.35/44.52	c #Conflicts:     132000 | #Constraints:       8687
44.35/44.52	c #Conflicts:     133000 | #Constraints:       9711
44.35/44.52	c #Conflicts:     134000 | #Constraints:      10724
44.35/44.52	c #Conflicts:     135000 | #Constraints:      11737
44.35/44.52	c #Conflicts:     136000 | #Constraints:      12790
44.35/44.52	c #Conflicts:     137000 | #Constraints:      13932
44.35/44.52	c #Conflicts:     138000 | #Constraints:      15131
44.35/44.52	c #Conflicts:     139000 | #Constraints:      16214
44.35/44.52	c INPROCESSING
44.35/44.52	c GARBAGE COLLECT
44.35/44.52	c rational objective 48.0229
48.64/48.82	c #Conflicts:     140000 | #Constraints:       9328
48.64/48.82	c #Conflicts:     141000 | #Constraints:      10377
48.64/48.82	c #Conflicts:     142000 | #Constraints:      11422
48.64/48.82	c #Conflicts:     143000 | #Constraints:      12539
48.64/48.82	c #Conflicts:     144000 | #Constraints:      13681
48.64/48.82	c #Conflicts:     145000 | #Constraints:      14798
48.64/48.82	c #Conflicts:     146000 | #Constraints:      16003
48.64/48.82	c #Conflicts:     147000 | #Constraints:      17161
48.64/48.82	c INPROCESSING
48.64/48.82	c GARBAGE COLLECT
48.64/48.82	c rational objective 48.0266
51.63/51.82	c #Conflicts:     148000 | #Constraints:       9904
51.63/51.82	c #Conflicts:     149000 | #Constraints:      10911
51.63/51.82	c #Conflicts:     150000 | #Constraints:      11927
51.63/51.82	c #Conflicts:     151000 | #Constraints:      12964
51.63/51.82	c #Conflicts:     152000 | #Constraints:      13977
51.63/51.82	c #Conflicts:     153000 | #Constraints:      15014
51.63/51.82	c #Conflicts:     154000 | #Constraints:      16072
51.63/51.82	c #Conflicts:     155000 | #Constraints:      17130
51.63/51.82	c INPROCESSING
51.63/51.82	c GARBAGE COLLECT
51.63/51.82	c rational objective 48.0457
54.92/55.11	c #Conflicts:     156000 | #Constraints:       9873
54.92/55.11	c #Conflicts:     157000 | #Constraints:      10884
54.92/55.11	c #Conflicts:     158000 | #Constraints:      11901
54.92/55.11	c #Conflicts:     159000 | #Constraints:      12917
54.92/55.11	c #Conflicts:     160000 | #Constraints:      13921
54.92/55.11	c #Conflicts:     161000 | #Constraints:      14929
54.92/55.11	c #Conflicts:     162000 | #Constraints:      15961
54.92/55.11	c #Conflicts:     163000 | #Constraints:      17027
54.92/55.11	c INPROCESSING
54.92/55.11	c GARBAGE COLLECT
54.92/55.11	c rational objective 48.0217
58.61/58.87	c #Conflicts:     164000 | #Constraints:       9763
58.61/58.87	c #Conflicts:     165000 | #Constraints:      10780
58.61/58.87	c #Conflicts:     166000 | #Constraints:      11982
58.61/58.87	c #Conflicts:     167000 | #Constraints:      13113
58.61/58.87	c #Conflicts:     168000 | #Constraints:      14131
58.61/58.87	c #Conflicts:     169000 | #Constraints:      15157
58.61/58.87	c #Conflicts:     170000 | #Constraints:      16252
58.61/58.87	c #Conflicts:     171000 | #Constraints:      17264
58.61/58.87	c INPROCESSING
58.61/58.87	c GARBAGE COLLECT
58.61/58.87	c rational objective 48.0225
62.10/62.32	c #Conflicts:     172000 | #Constraints:       9621
62.10/62.32	c #Conflicts:     173000 | #Constraints:      10633
62.10/62.32	c #Conflicts:     174000 | #Constraints:      11680
62.10/62.32	c #Conflicts:     175000 | #Constraints:      12720
62.10/62.32	c #Conflicts:     176000 | #Constraints:      13745
62.10/62.32	c #Conflicts:     177000 | #Constraints:      14752
62.10/62.32	c #Conflicts:     178000 | #Constraints:      15823
62.10/62.32	c #Conflicts:     179000 | #Constraints:      16831
62.10/62.32	c #Conflicts:     180000 | #Constraints:      17845
62.10/62.32	c INPROCESSING
62.10/62.32	c GARBAGE COLLECT
62.10/62.32	c rational objective 48.0281
66.19/66.50	c #Conflicts:     181000 | #Constraints:      10151
66.19/66.50	c #Conflicts:     182000 | #Constraints:      11167
66.19/66.50	c #Conflicts:     183000 | #Constraints:      12193
66.19/66.50	c #Conflicts:     184000 | #Constraints:      13266
66.19/66.50	c #Conflicts:     185000 | #Constraints:      14434
66.19/66.50	c #Conflicts:     186000 | #Constraints:      15604
66.19/66.50	c #Conflicts:     187000 | #Constraints:      16634
66.19/66.50	c #Conflicts:     188000 | #Constraints:      17677
66.19/66.50	c #Conflicts:     189000 | #Constraints:      18685
66.19/66.50	c INPROCESSING
66.19/66.50	c GARBAGE COLLECT
66.19/66.50	c rational objective 48.1028
70.28/70.54	c #Conflicts:     190000 | #Constraints:      10642
70.28/70.54	c #Conflicts:     191000 | #Constraints:      11651
70.28/70.54	c #Conflicts:     192000 | #Constraints:      12657
70.28/70.54	c #Conflicts:     193000 | #Constraints:      13663
70.28/70.54	c #Conflicts:     194000 | #Constraints:      14669
70.28/70.54	c #Conflicts:     195000 | #Constraints:      15679
70.28/70.54	c #Conflicts:     196000 | #Constraints:      16695
70.28/70.54	c #Conflicts:     197000 | #Constraints:      17708
70.28/70.54	c #Conflicts:     198000 | #Constraints:      18727
70.28/70.54	c INPROCESSING
70.28/70.54	c GARBAGE COLLECT
70.28/70.54	c rational objective 48.0101
74.96/75.25	c #Conflicts:     199000 | #Constraints:      10660
74.96/75.25	c #Conflicts:     200000 | #Constraints:      11668
74.96/75.25	c #Conflicts:     201000 | #Constraints:      12673
74.96/75.25	c #Conflicts:     202000 | #Constraints:      13684
74.96/75.25	c #Conflicts:     203000 | #Constraints:      14695
74.96/75.25	c #Conflicts:     204000 | #Constraints:      15732
74.96/75.25	c #Conflicts:     205000 | #Constraints:      16745
74.96/75.25	c #Conflicts:     206000 | #Constraints:      17756
74.96/75.25	c #Conflicts:     207000 | #Constraints:      18777
74.96/75.25	c INPROCESSING
74.96/75.25	c GARBAGE COLLECT
74.96/75.25	c rational objective 48.0034
78.45/78.76	c #Conflicts:     208000 | #Constraints:      10583
78.45/78.76	c #Conflicts:     209000 | #Constraints:      11587
78.45/78.76	c #Conflicts:     210000 | #Constraints:      12588
78.45/78.76	c #Conflicts:     211000 | #Constraints:      13592
78.45/78.76	c #Conflicts:     212000 | #Constraints:      14595
78.45/78.76	c #Conflicts:     213000 | #Constraints:      15600
78.45/78.76	c #Conflicts:     214000 | #Constraints:      16606
78.45/78.76	c #Conflicts:     215000 | #Constraints:      17609
78.45/78.76	c #Conflicts:     216000 | #Constraints:      18618
78.45/78.76	c INPROCESSING
78.45/78.76	c GARBAGE COLLECT
78.45/78.76	c rational objective 47.7778
81.74/82.07	c #Conflicts:     217000 | #Constraints:      10304
81.74/82.07	c #Conflicts:     218000 | #Constraints:      11307
81.74/82.07	c #Conflicts:     219000 | #Constraints:      12311
81.74/82.07	c #Conflicts:     220000 | #Constraints:      13316
81.74/82.07	c #Conflicts:     221000 | #Constraints:      14324
81.74/82.07	c #Conflicts:     222000 | #Constraints:      15327
81.74/82.07	c #Conflicts:     223000 | #Constraints:      16334
81.74/82.07	c #Conflicts:     224000 | #Constraints:      17338
81.74/82.07	c #Conflicts:     225000 | #Constraints:      18339
81.74/82.07	c #Conflicts:     226000 | #Constraints:      19342
81.74/82.07	c INPROCESSING
81.74/82.07	c GARBAGE COLLECT
81.74/82.07	c rational objective 47.9284
84.43/84.78	c #Conflicts:     227000 | #Constraints:      10865
84.43/84.78	c #Conflicts:     228000 | #Constraints:      11868
84.43/84.78	c #Conflicts:     229000 | #Constraints:      12870
84.43/84.78	c #Conflicts:     230000 | #Constraints:      13876
84.43/84.78	c #Conflicts:     231000 | #Constraints:      14879
84.43/84.78	c #Conflicts:     232000 | #Constraints:      15880
84.43/84.78	c #Conflicts:     233000 | #Constraints:      16880
84.43/84.78	c #Conflicts:     234000 | #Constraints:      17882
84.43/84.78	c #Conflicts:     235000 | #Constraints:      18883
84.43/84.78	c #Conflicts:     236000 | #Constraints:      19885
84.43/84.78	c INPROCESSING
84.43/84.78	c GARBAGE COLLECT
84.43/84.78	c rational objective 47.9398
87.33/87.62	c #Conflicts:     237000 | #Constraints:      11228
87.33/87.62	c #Conflicts:     238000 | #Constraints:      12228
87.33/87.62	c #Conflicts:     239000 | #Constraints:      13230
87.33/87.62	c #Conflicts:     240000 | #Constraints:      14231
87.33/87.62	c #Conflicts:     241000 | #Constraints:      15232
87.33/87.62	c #Conflicts:     242000 | #Constraints:      16234
87.33/87.62	c #Conflicts:     243000 | #Constraints:      17235
87.33/87.62	c #Conflicts:     244000 | #Constraints:      18236
87.33/87.62	c #Conflicts:     245000 | #Constraints:      19238
87.33/87.62	c #Conflicts:     246000 | #Constraints:      20238
87.33/87.62	c INPROCESSING
87.33/87.62	c GARBAGE COLLECT
87.33/87.62	c rational objective 47.959
91.21/91.53	c #Conflicts:     247000 | #Constraints:      11405
91.21/91.53	c #Conflicts:     248000 | #Constraints:      12410
91.21/91.53	c #Conflicts:     249000 | #Constraints:      13413
91.21/91.53	c #Conflicts:     250000 | #Constraints:      14755
91.21/91.53	c #Conflicts:     251000 | #Constraints:      15976
91.21/91.53	c #Conflicts:     252000 | #Constraints:      17084
91.21/91.53	c #Conflicts:     253000 | #Constraints:      18173
91.21/91.53	c #Conflicts:     254000 | #Constraints:      19285
91.21/91.53	c #Conflicts:     255000 | #Constraints:      20449
91.21/91.53	c #Conflicts:     256000 | #Constraints:      21656
91.21/91.53	c INPROCESSING
91.21/91.53	c GARBAGE COLLECT
91.21/91.53	c rational objective 47.9673
96.99/97.37	c #Conflicts:     257000 | #Constraints:      12235
96.99/97.37	c #Conflicts:     258000 | #Constraints:      13758
96.99/97.37	c #Conflicts:     259000 | #Constraints:      14942
96.99/97.37	c #Conflicts:     260000 | #Constraints:      16091
96.99/97.37	c #Conflicts:     261000 | #Constraints:      17402
96.99/97.37	c #Conflicts:     262000 | #Constraints:      18631
96.99/97.37	c #Conflicts:     263000 | #Constraints:      20016
96.99/97.37	c #Conflicts:     264000 | #Constraints:      21202
96.99/97.37	c #Conflicts:     265000 | #Constraints:      22429
96.99/97.37	c #Conflicts:     266000 | #Constraints:      23928
96.99/97.37	c INPROCESSING
96.99/97.37	c GARBAGE COLLECT
96.99/97.37	c rational objective 47.9866
103.77/104.15	c #Conflicts:     267000 | #Constraints:      13280
103.77/104.15	c #Conflicts:     268000 | #Constraints:      14557
103.77/104.15	c #Conflicts:     269000 | #Constraints:      15930
103.77/104.15	c #Conflicts:     270000 | #Constraints:      17144
103.77/104.15	c #Conflicts:     271000 | #Constraints:      18682
103.77/104.15	c #Conflicts:     272000 | #Constraints:      20176
103.77/104.15	c #Conflicts:     273000 | #Constraints:      21667
103.77/104.15	c #Conflicts:     274000 | #Constraints:      23174
103.77/104.15	c #Conflicts:     275000 | #Constraints:      24635
103.77/104.15	c #Conflicts:     276000 | #Constraints:      26112
103.77/104.15	c #Conflicts:     277000 | #Constraints:      27600
103.77/104.15	c INPROCESSING
103.77/104.15	c GARBAGE COLLECT
103.77/104.15	c rational objective 48.1404
129.89/130.39	c #Conflicts:     278000 | #Constraints:      15151
129.89/130.39	c #Conflicts:     279000 | #Constraints:      16605
129.89/130.39	c #Conflicts:     280000 | #Constraints:      17739
129.89/130.39	c #Conflicts:     281000 | #Constraints:      18773
129.89/130.39	c #Conflicts:     282000 | #Constraints:      20198
129.89/130.39	c #Conflicts:     283000 | #Constraints:      21633
129.89/130.39	c #Conflicts:     284000 | #Constraints:      23103
129.89/130.39	c #Conflicts:     285000 | #Constraints:      24293
129.89/130.39	c #Conflicts:     286000 | #Constraints:      25404
129.89/130.39	c #Conflicts:     287000 | #Constraints:      26775
129.89/130.39	c #Conflicts:     288000 | #Constraints:      27838
129.89/130.39	c INPROCESSING
129.89/130.39	c GARBAGE COLLECT
129.89/130.39	c #Conflicts:     289000 | #Constraints:      15359
129.89/130.39	c #Conflicts:     290000 | #Constraints:      16678
129.89/130.39	c #Conflicts:     291000 | #Constraints:      17898
129.89/130.39	c #Conflicts:     292000 | #Constraints:      19310
129.89/130.39	c #Conflicts:     293000 | #Constraints:      20566
129.89/130.39	c #Conflicts:     294000 | #Constraints:      21969
129.89/130.39	c #Conflicts:     295000 | #Constraints:      23354
129.89/130.39	c #Conflicts:     296000 | #Constraints:      24473
129.89/130.39	c #Conflicts:     297000 | #Constraints:      25554
129.89/130.39	c #Conflicts:     298000 | #Constraints:      26811
129.89/130.39	c #Conflicts:     299000 | #Constraints:      27874
129.89/130.39	c INPROCESSING
129.89/130.39	c GARBAGE COLLECT
129.89/130.39	c #Conflicts:     300000 | #Constraints:      15308
129.89/130.39	c #Conflicts:     301000 | #Constraints:      16495
129.89/130.39	c #Conflicts:     302000 | #Constraints:      17823
129.89/130.39	c #Conflicts:     303000 | #Constraints:      19286
129.89/130.39	c #Conflicts:     304000 | #Constraints:      20363
129.89/130.39	c #Conflicts:     305000 | #Constraints:      21450
129.89/130.39	c #Conflicts:     306000 | #Constraints:      22675
129.89/130.39	c #Conflicts:     307000 | #Constraints:      23781
129.89/130.39	c #Conflicts:     308000 | #Constraints:      24835
129.89/130.39	c #Conflicts:     309000 | #Constraints:      25904
129.89/130.39	c #Conflicts:     310000 | #Constraints:      27072
129.89/130.39	c INPROCESSING
129.89/130.39	c GARBAGE COLLECT
129.89/130.39	c #Conflicts:     311000 | #Constraints:      14850
129.89/130.39	c #Conflicts:     312000 | #Constraints:      16193
129.89/130.39	c #Conflicts:     313000 | #Constraints:      17700
129.89/130.39	c #Conflicts:     314000 | #Constraints:      19198
129.89/130.39	c #Conflicts:     315000 | #Constraints:      20674
129.89/130.39	c #Conflicts:     316000 | #Constraints:      22118
129.89/130.39	c #Conflicts:     317000 | #Constraints:      23631
129.89/130.39	c #Conflicts:     318000 | #Constraints:      25044
129.89/130.39	c #Conflicts:     319000 | #Constraints:      26513
129.89/130.39	c #Conflicts:     320000 | #Constraints:      28038
129.89/130.39	c #Conflicts:     321000 | #Constraints:      29511
129.89/130.39	c INPROCESSING
129.89/130.39	c GARBAGE COLLECT
129.89/130.39	c rational objective 48.0481
153.00/153.50	c #Conflicts:     322000 | #Constraints:      15840
153.00/153.50	c #Conflicts:     323000 | #Constraints:      17080
153.00/153.50	c #Conflicts:     324000 | #Constraints:      18413
153.00/153.50	c #Conflicts:     325000 | #Constraints:      19916
153.00/153.50	c #Conflicts:     326000 | #Constraints:      21413
153.00/153.50	c #Conflicts:     327000 | #Constraints:      22928
153.00/153.50	c #Conflicts:     328000 | #Constraints:      24400
153.00/153.50	c #Conflicts:     329000 | #Constraints:      25907
153.00/153.50	c #Conflicts:     330000 | #Constraints:      27381
153.00/153.50	c #Conflicts:     331000 | #Constraints:      28905
153.00/153.50	c #Conflicts:     332000 | #Constraints:      30437
153.00/153.50	c #Conflicts:     333000 | #Constraints:      31949
153.00/153.50	c INPROCESSING
153.00/153.50	c GARBAGE COLLECT
153.00/153.50	c #Conflicts:     334000 | #Constraints:      17609
153.00/153.50	c #Conflicts:     335000 | #Constraints:      19110
153.00/153.50	c #Conflicts:     336000 | #Constraints:      20310
153.00/153.50	c #Conflicts:     337000 | #Constraints:      21546
153.00/153.50	c #Conflicts:     338000 | #Constraints:      22665
153.00/153.50	c #Conflicts:     339000 | #Constraints:      23785
153.00/153.50	c #Conflicts:     340000 | #Constraints:      25061
153.00/153.50	c #Conflicts:     341000 | #Constraints:      26564
153.00/153.50	c #Conflicts:     342000 | #Constraints:      27957
153.00/153.50	c #Conflicts:     343000 | #Constraints:      29137
153.00/153.50	c #Conflicts:     344000 | #Constraints:      30311
153.00/153.50	c #Conflicts:     345000 | #Constraints:      31524
153.00/153.50	c INPROCESSING
153.00/153.50	c GARBAGE COLLECT
153.00/153.50	c #Conflicts:     346000 | #Constraints:      17156
153.00/153.50	c #Conflicts:     347000 | #Constraints:      18234
153.00/153.50	c #Conflicts:     348000 | #Constraints:      19706
153.00/153.50	c #Conflicts:     349000 | #Constraints:      21284
153.00/153.50	c #Conflicts:     350000 | #Constraints:      22764
153.00/153.50	c #Conflicts:     351000 | #Constraints:      24233
153.00/153.50	c #Conflicts:     352000 | #Constraints:      25733
153.00/153.50	c #Conflicts:     353000 | #Constraints:      27216
153.00/153.50	c #Conflicts:     354000 | #Constraints:      28453
153.00/153.50	c #Conflicts:     355000 | #Constraints:      29547
153.00/153.50	c #Conflicts:     356000 | #Constraints:      30875
153.00/153.50	c #Conflicts:     357000 | #Constraints:      31961
153.00/153.50	c INPROCESSING
153.00/153.50	c GARBAGE COLLECT
153.00/153.50	c rational objective 48.0726
160.38/160.98	c #Conflicts:     358000 | #Constraints:      17352
160.38/160.98	c #Conflicts:     359000 | #Constraints:      18528
160.38/160.98	c #Conflicts:     360000 | #Constraints:      19991
160.38/160.98	c #Conflicts:     361000 | #Constraints:      21306
160.38/160.98	c #Conflicts:     362000 | #Constraints:      22369
160.38/160.98	c #Conflicts:     363000 | #Constraints:      23554
160.38/160.98	c #Conflicts:     364000 | #Constraints:      25031
160.38/160.98	c #Conflicts:     365000 | #Constraints:      26114
160.38/160.98	c #Conflicts:     366000 | #Constraints:      27217
160.38/160.98	c #Conflicts:     367000 | #Constraints:      28529
160.38/160.98	c #Conflicts:     368000 | #Constraints:      30034
160.38/160.98	c #Conflicts:     369000 | #Constraints:      31546
160.38/160.98	c INPROCESSING
160.38/160.98	c GARBAGE COLLECT
160.38/160.98	c rational objective 48.2708
171.35/171.90	c #Conflicts:     370000 | #Constraints:      17253
171.35/171.90	c #Conflicts:     371000 | #Constraints:      18599
171.35/171.90	c #Conflicts:     372000 | #Constraints:      20115
171.35/171.90	c #Conflicts:     373000 | #Constraints:      21639
171.35/171.90	c #Conflicts:     374000 | #Constraints:      23165
171.35/171.90	c #Conflicts:     375000 | #Constraints:      24664
171.35/171.90	c #Conflicts:     376000 | #Constraints:      26168
171.35/171.90	c #Conflicts:     377000 | #Constraints:      27712
171.35/171.90	c #Conflicts:     378000 | #Constraints:      29205
171.35/171.90	c #Conflicts:     379000 | #Constraints:      30701
171.35/171.90	c #Conflicts:     380000 | #Constraints:      32187
171.35/171.90	c #Conflicts:     381000 | #Constraints:      33702
171.35/171.90	c INPROCESSING
171.35/171.90	c GARBAGE COLLECT
171.35/171.90	c rational objective 48.3525
179.22/179.88	c #Conflicts:     382000 | #Constraints:      18058
179.22/179.88	c #Conflicts:     383000 | #Constraints:      19093
179.22/179.88	c #Conflicts:     384000 | #Constraints:      20324
179.22/179.88	c #Conflicts:     385000 | #Constraints:      21587
179.22/179.88	c #Conflicts:     386000 | #Constraints:      23115
179.22/179.88	c #Conflicts:     387000 | #Constraints:      24380
179.22/179.88	c #Conflicts:     388000 | #Constraints:      25518
179.22/179.88	c #Conflicts:     389000 | #Constraints:      26642
179.22/179.88	c #Conflicts:     390000 | #Constraints:      27833
179.22/179.88	c #Conflicts:     391000 | #Constraints:      28968
179.22/179.88	c #Conflicts:     392000 | #Constraints:      30039
179.22/179.88	c #Conflicts:     393000 | #Constraints:      31286
179.22/179.88	c #Conflicts:     394000 | #Constraints:      32418
179.22/179.88	c INPROCESSING
179.22/179.88	c GARBAGE COLLECT
179.22/179.88	c rational objective 48.3645
188.50/189.15	c #Conflicts:     395000 | #Constraints:      17721
188.50/189.15	c #Conflicts:     396000 | #Constraints:      19209
188.50/189.15	c #Conflicts:     397000 | #Constraints:      20713
188.50/189.15	c #Conflicts:     398000 | #Constraints:      22208
188.50/189.15	c #Conflicts:     399000 | #Constraints:      23327
188.50/189.15	c #Conflicts:     400000 | #Constraints:      24375
188.50/189.15	c #Conflicts:     401000 | #Constraints:      25648
188.50/189.15	c #Conflicts:     402000 | #Constraints:      26730
188.50/189.15	c #Conflicts:     403000 | #Constraints:      27772
188.50/189.15	c #Conflicts:     404000 | #Constraints:      29154
188.50/189.15	c #Conflicts:     405000 | #Constraints:      30313
188.50/189.15	c #Conflicts:     406000 | #Constraints:      31610
188.50/189.15	c #Conflicts:     407000 | #Constraints:      32657
188.50/189.15	c INPROCESSING
188.50/189.15	c GARBAGE COLLECT
188.50/189.15	c rational objective 48.3679
198.86/199.50	c #Conflicts:     408000 | #Constraints:      17736
198.86/199.50	c #Conflicts:     409000 | #Constraints:      18903
198.86/199.50	c #Conflicts:     410000 | #Constraints:      20008
198.86/199.50	c #Conflicts:     411000 | #Constraints:      21062
198.86/199.50	c #Conflicts:     412000 | #Constraints:      22456
198.86/199.50	c #Conflicts:     413000 | #Constraints:      23940
198.86/199.50	c #Conflicts:     414000 | #Constraints:      25333
198.86/199.50	c #Conflicts:     415000 | #Constraints:      26837
198.86/199.50	c #Conflicts:     416000 | #Constraints:      28343
198.86/199.50	c #Conflicts:     417000 | #Constraints:      29859
198.86/199.50	c #Conflicts:     418000 | #Constraints:      31373
198.86/199.50	c #Conflicts:     419000 | #Constraints:      32866
198.86/199.50	c #Conflicts:     420000 | #Constraints:      34372
198.86/199.50	c INPROCESSING
198.86/199.50	c GARBAGE COLLECT
198.86/199.50	c rational objective 48.3729
211.32/212.07	c #Conflicts:     421000 | #Constraints:      18990
211.32/212.07	c #Conflicts:     422000 | #Constraints:      20486
211.32/212.07	c #Conflicts:     423000 | #Constraints:      21984
211.32/212.07	c #Conflicts:     424000 | #Constraints:      23345
211.32/212.07	c #Conflicts:     425000 | #Constraints:      24704
211.32/212.07	c #Conflicts:     426000 | #Constraints:      26221
211.32/212.07	c #Conflicts:     427000 | #Constraints:      27723
211.32/212.07	c #Conflicts:     428000 | #Constraints:      29213
211.32/212.07	c #Conflicts:     429000 | #Constraints:      30715
211.32/212.07	c #Conflicts:     430000 | #Constraints:      32206
211.32/212.07	c #Conflicts:     431000 | #Constraints:      33712
211.32/212.07	c #Conflicts:     432000 | #Constraints:      35210
211.32/212.07	c #Conflicts:     433000 | #Constraints:      36699
211.32/212.07	c INPROCESSING
211.32/212.07	c GARBAGE COLLECT
211.32/212.07	c rational objective 48.4389
218.80/219.50	c #Conflicts:     434000 | #Constraints:      20024
218.80/219.50	c #Conflicts:     435000 | #Constraints:      21527
218.80/219.50	c #Conflicts:     436000 | #Constraints:      22529
218.80/219.50	c #Conflicts:     437000 | #Constraints:      23535
218.80/219.50	c #Conflicts:     438000 | #Constraints:      24541
218.80/219.50	c #Conflicts:     439000 | #Constraints:      25545
218.80/219.50	c #Conflicts:     440000 | #Constraints:      26547
218.80/219.50	c #Conflicts:     441000 | #Constraints:      27551
218.80/219.50	c #Conflicts:     442000 | #Constraints:      28555
218.80/219.50	c #Conflicts:     443000 | #Constraints:      29557
218.80/219.50	c #Conflicts:     444000 | #Constraints:      30562
218.80/219.50	c #Conflicts:     445000 | #Constraints:      31567
218.80/219.50	c #Conflicts:     446000 | #Constraints:      32572
218.80/219.50	c INPROCESSING
218.80/219.50	c GARBAGE COLLECT
218.80/219.50	c rational objective 47.891
227.28/228.02	c #Conflicts:     447000 | #Constraints:      17285
227.28/228.02	c #Conflicts:     448000 | #Constraints:      18466
227.28/228.02	c #Conflicts:     449000 | #Constraints:      19780
227.28/228.02	c #Conflicts:     450000 | #Constraints:      21047
227.28/228.02	c #Conflicts:     451000 | #Constraints:      22430
227.28/228.02	c #Conflicts:     452000 | #Constraints:      23772
227.28/228.02	c #Conflicts:     453000 | #Constraints:      25265
227.28/228.02	c #Conflicts:     454000 | #Constraints:      26769
227.28/228.02	c #Conflicts:     455000 | #Constraints:      28295
227.28/228.02	c #Conflicts:     456000 | #Constraints:      29686
227.28/228.02	c #Conflicts:     457000 | #Constraints:      31075
227.28/228.02	c #Conflicts:     458000 | #Constraints:      32366
227.28/228.02	c #Conflicts:     459000 | #Constraints:      33673
227.28/228.02	c #Conflicts:     460000 | #Constraints:      34821
227.28/228.02	c INPROCESSING
227.28/228.02	c GARBAGE COLLECT
227.28/228.02	c rational objective 48.0412
232.46/233.29	c #Conflicts:     461000 | #Constraints:      18602
232.46/233.29	c #Conflicts:     462000 | #Constraints:      19605
232.46/233.29	c #Conflicts:     463000 | #Constraints:      20607
232.46/233.29	c #Conflicts:     464000 | #Constraints:      21609
232.46/233.29	c #Conflicts:     465000 | #Constraints:      22610
232.46/233.29	c #Conflicts:     466000 | #Constraints:      23610
232.46/233.29	c #Conflicts:     467000 | #Constraints:      24613
232.46/233.29	c #Conflicts:     468000 | #Constraints:      25619
232.46/233.29	c #Conflicts:     469000 | #Constraints:      26620
232.46/233.29	c #Conflicts:     470000 | #Constraints:      27623
232.46/233.29	c #Conflicts:     471000 | #Constraints:      28625
232.46/233.29	c #Conflicts:     472000 | #Constraints:      29629
232.46/233.29	c #Conflicts:     473000 | #Constraints:      30629
232.46/233.29	c #Conflicts:     474000 | #Constraints:      31633
232.46/233.29	c INPROCESSING
232.46/233.29	c GARBAGE COLLECT
232.46/233.29	c rational objective 48.0691
239.74/240.56	c #Conflicts:     475000 | #Constraints:      17244
239.74/240.56	c #Conflicts:     476000 | #Constraints:      18584
239.74/240.56	c #Conflicts:     477000 | #Constraints:      19965
239.74/240.56	c #Conflicts:     478000 | #Constraints:      21109
239.74/240.56	c #Conflicts:     479000 | #Constraints:      22385
239.74/240.56	c #Conflicts:     480000 | #Constraints:      23386
239.74/240.56	c #Conflicts:     481000 | #Constraints:      24390
239.74/240.56	c #Conflicts:     482000 | #Constraints:      25390
239.74/240.56	c #Conflicts:     483000 | #Constraints:      26395
239.74/240.56	c #Conflicts:     484000 | #Constraints:      27398
239.74/240.56	c #Conflicts:     485000 | #Constraints:      28398
239.74/240.56	c #Conflicts:     486000 | #Constraints:      29401
239.74/240.56	c #Conflicts:     487000 | #Constraints:      30403
239.74/240.56	c #Conflicts:     488000 | #Constraints:      31404
239.74/240.56	c INPROCESSING
239.74/240.56	c GARBAGE COLLECT
239.74/240.56	c rational objective 48.072
252.11/252.95	c #Conflicts:     489000 | #Constraints:      17170
252.11/252.95	c #Conflicts:     490000 | #Constraints:      18530
252.11/252.95	c #Conflicts:     491000 | #Constraints:      20043
252.11/252.95	c #Conflicts:     492000 | #Constraints:      21562
252.11/252.95	c #Conflicts:     493000 | #Constraints:      23072
252.11/252.95	c #Conflicts:     494000 | #Constraints:      24610
252.11/252.95	c #Conflicts:     495000 | #Constraints:      26152
252.11/252.95	c #Conflicts:     496000 | #Constraints:      27670
252.11/252.95	c #Conflicts:     497000 | #Constraints:      29206
252.11/252.95	c #Conflicts:     498000 | #Constraints:      30714
252.11/252.95	c #Conflicts:     499000 | #Constraints:      32249
252.11/252.95	c #Conflicts:     500000 | #Constraints:      33780
252.11/252.95	c #Conflicts:     501000 | #Constraints:      35300
252.11/252.95	c #Conflicts:     502000 | #Constraints:      36835
252.11/252.95	c INPROCESSING
252.11/252.95	c GARBAGE COLLECT
252.11/252.95	c rational objective 48.0723
264.78/265.61	c #Conflicts:     503000 | #Constraints:      20046
264.78/265.61	c #Conflicts:     504000 | #Constraints:      21548
264.78/265.61	c #Conflicts:     505000 | #Constraints:      23048
264.78/265.61	c #Conflicts:     506000 | #Constraints:      24554
264.78/265.61	c #Conflicts:     507000 | #Constraints:      26069
264.78/265.61	c #Conflicts:     508000 | #Constraints:      27585
264.78/265.61	c #Conflicts:     509000 | #Constraints:      29095
264.78/265.61	c #Conflicts:     510000 | #Constraints:      30623
264.78/265.61	c #Conflicts:     511000 | #Constraints:      32144
264.78/265.61	c #Conflicts:     512000 | #Constraints:      33669
264.78/265.61	c #Conflicts:     513000 | #Constraints:      35208
264.78/265.61	c #Conflicts:     514000 | #Constraints:      36538
264.78/265.61	c #Conflicts:     515000 | #Constraints:      37706
264.78/265.61	c #Conflicts:     516000 | #Constraints:      38953
264.78/265.61	c INPROCESSING
264.78/265.61	c GARBAGE COLLECT
264.78/265.61	c rational objective 48.0725
272.96/273.80	c #Conflicts:     517000 | #Constraints:      20499
272.96/273.80	c #Conflicts:     518000 | #Constraints:      21528
272.96/273.80	c #Conflicts:     519000 | #Constraints:      22734
272.96/273.80	c #Conflicts:     520000 | #Constraints:      23918
272.96/273.80	c #Conflicts:     521000 | #Constraints:      25314
272.96/273.80	c #Conflicts:     522000 | #Constraints:      26418
272.96/273.80	c #Conflicts:     523000 | #Constraints:      27475
272.96/273.80	c #Conflicts:     524000 | #Constraints:      28644
272.96/273.80	c #Conflicts:     525000 | #Constraints:      29676
272.96/273.80	c #Conflicts:     526000 | #Constraints:      30775
272.96/273.80	c #Conflicts:     527000 | #Constraints:      31905
272.96/273.80	c #Conflicts:     528000 | #Constraints:      33120
272.96/273.80	c #Conflicts:     529000 | #Constraints:      34626
272.96/273.80	c #Conflicts:     530000 | #Constraints:      35973
272.96/273.80	c #Conflicts:     531000 | #Constraints:      37474
272.96/273.80	c INPROCESSING
272.96/273.80	c GARBAGE COLLECT
272.96/273.80	c rational objective 48.0725
274.65/275.50	c #Conflicts:     532000 | #Constraints:      20117
274.65/275.50	c #Conflicts:     533000 | #Constraints:      21145
274.65/275.50	c #Conflicts:     534000 | #Constraints:      22169
274.65/275.50	c #Conflicts:     535000 | #Constraints:      23419
274.65/275.50	c cpu time 269.296 s
274.65/275.50	c deterministic time 34135331485 3.41e+10
274.65/275.50	c optimization time 9.9e-05 s
274.65/275.50	c total solve time 269.294 s
274.65/275.50	c core-guided solve time 0 s
274.65/275.50	c propagation time 228.802 s
274.65/275.50	c conflict analysis time 27.9583 s
274.65/275.50	c propagations 29265441
274.65/275.50	c resolve steps 12753101
274.65/275.50	c decisions 901643
274.65/275.50	c conflicts 535472
274.65/275.50	c restarts 1103
274.65/275.50	c inprocessing phases 64
274.65/275.50	c input clauses 313
274.65/275.50	c input cardinalities 2
274.65/275.50	c input general constraints 242
274.65/275.50	c input average constraint length 5.24
274.65/275.50	c input average constraint degree 2.36
274.65/275.50	c learned clauses 412682
274.65/275.50	c learned cardinalities 14880
274.65/275.50	c learned general constraints 206219
274.65/275.50	c learned average constraint length 195.43
274.65/275.50	c learned average constraint degree 1044424765.57
274.65/275.50	c watched constraints 205173
274.65/275.50	c counting constraints 1288
274.65/275.50	c gcd simplifications 98001
274.65/275.50	c detected cardinalities 916
274.65/275.50	c weakened non-implied lits 10731477
274.65/275.50	c weakened non-implying lits 265253
274.65/275.50	c original variables 370
274.65/275.50	c clausal propagations 7429110
274.65/275.50	c cardinality propagations 1786330
274.65/275.50	c watched propagations 3342416
274.65/275.50	c counting propagations 15575876
274.65/275.50	c watch lookups 2332753973
274.65/275.50	c watch backjump lookups 138245363
274.65/275.50	c watch checks 30932152439
274.65/275.50	c propagation checks 379633830
274.65/275.50	c constraint additions 291108969
274.65/275.50	c trail pops 30702211
274.65/275.50	c formula constraints 557
274.65/275.50	c learned constraints 535127
274.65/275.50	c bound constraints 0
274.65/275.50	c core-guided constraints 0
274.65/275.50	c encountered formula constraints 11716147
274.65/275.50	c encountered learned constraints 1532437
274.65/275.50	c encountered bound constraints 0
274.65/275.50	c encountered core-guided constraints 0
274.65/275.50	c LP total time 69.0897 s
274.65/275.50	c LP solve time 47.9 s
274.65/275.50	c LP constraints added 833
274.65/275.50	c LP constraints removed 211
274.65/275.50	c LP pivots internal 535572
274.65/275.50	c LP pivots root 32043
274.65/275.50	c LP calls 99727
274.65/275.50	c LP optimalities 1300
274.65/275.50	c LP no pivot count 1
274.65/275.50	c LP infeasibilities 98406
274.65/275.50	c LP valid Farkas constraints 98160
274.65/275.50	c LP learned Farkas constraints 345
274.65/275.50	c LP basis resets 24
274.65/275.50	c LP cycling count 8
274.65/275.50	c LP singular count 8
274.65/275.50	c LP no primal count 0
274.65/275.50	c LP no farkas count 4
274.65/275.50	c LP other issue count 4
274.65/275.50	c LP Gomory cuts 149
274.65/275.50	c LP learned cuts 127
274.65/275.50	c LP deleted cuts 211
274.65/275.50	c LP encountered Gomory constraints 26681
274.65/275.50	c LP encountered Farkas constraints 12576
274.65/275.50	c LP encountered learned Farkas constraints 387
274.65/275.50	c CG auxiliary variables introduced 0
274.65/275.50	c CG solutions found 0
274.65/275.50	c CG cores constructed 0
274.65/275.50	c CG core cardinality constraints returned 0
274.65/275.50	c CG unit cores 0
274.65/275.50	c CG single cores 0
274.65/275.50	c CG blocks removed during cardinality reduction 0
274.65/275.50	c CG first core best 0
274.65/275.50	c CG decision core best 0
274.65/275.50	c CG core reduction tie 0
274.65/275.50	c CG core degree average 0.00
274.65/275.50	c CG core slack average 0.00
274.65/275.50	s SATISFIABLE
274.65/275.50	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 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 x133 -x134 x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 x238 -x239 x240 -x241 -x242 -x243 x244 -x245 x246 -x247 x248 x249 -x250 x251 -x252 x253 -x254 -x255 x256 -x257 x258 x259 -x260 x261 -x262 x263 -x264 -x265 x266 -x267 x268 -x269 x270 -x271 x272 -x273 x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 -x287 x288 x289 -x290 x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 -x325 x326 -x327 -x328 -x329 x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 -x365 x366 -x367 x368 -x369 x370

Verifier Data 

OK	0

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60753 MiB free)
  memory of node 1: 64510 MiB (61379 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455526-1721460147/watcher-4455526-1721460147 -o /tmp/evaluation-result-4455526-1721460147/solver-4455526-1721460147 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067954 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455526-1721460147.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1070166, runsolver pid=1070163

[startup+0.100837 s]*
/proc/loadavg: 4.05 4.10 4.09 5/257 1070167
/proc/meminfo: memFree=125061684/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=38376 memory=9160 CPUtime=0.09 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 732 0 0 0 9 0 0 0 20 0 1 0 198184456 39297024 2290 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 9594 2290 1786 922 0 1546 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38376 KiB
Current children cumulated memory: 9160 KiB

[startup+0.205535 s]*
/proc/loadavg: 4.05 4.10 4.09 5/257 1070167
/proc/meminfo: memFree=125058828/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=38652 memory=11776 CPUtime=0.2 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 818 0 0 0 19 1 0 0 20 0 1 0 198184456 39579648 2944 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 9663 2944 1802 922 0 1615 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38652 KiB
Current children cumulated memory: 11776 KiB

[startup+0.305427 s]*
/proc/loadavg: 4.05 4.10 4.09 5/257 1070167
/proc/meminfo: memFree=125058128/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=38864 memory=11988 CPUtime=0.29 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 878 0 0 0 28 1 0 0 20 0 1 0 198184456 39796736 2997 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 9716 2997 1802 922 0 1668 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 11988 KiB

[startup+0.700151 s]
/proc/loadavg: 4.05 4.10 4.09 4/254 1070181
/proc/meminfo: memFree=125113224/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=39580 memory=12760 CPUtime=0.68 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 1057 0 0 0 66 2 0 0 20 0 1 0 198184456 40529920 3190 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 9895 3190 1818 922 0 1847 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12760 KiB

[startup+1.50015 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 1070213
/proc/meminfo: memFree=125109264/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=40056 memory=14184 CPUtime=1.48 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 1413 0 0 0 143 5 0 0 20 0 1 0 198184456 41017344 3546 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 10014 3546 1818 922 0 1966 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40056 KiB
Current children cumulated memory: 14184 KiB

[startup+3.10558 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 1070213
/proc/meminfo: memFree=125089792/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=43548 memory=15828 CPUtime=3.08 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 1810 0 0 0 297 11 0 0 20 0 1 0 198184456 44593152 3957 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 10887 3957 1818 922 0 2839 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43548 KiB
Current children cumulated memory: 15828 KiB

[startup+6.30015 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 1070214
/proc/meminfo: memFree=125077808/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=44528 memory=17760 CPUtime=6.27 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 2341 0 0 0 605 22 0 0 20 0 1 0 198184456 45596672 4440 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 11132 4440 1818 922 0 3084 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44528 KiB
Current children cumulated memory: 17760 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 1070214
/proc/meminfo: memFree=125031112/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=50396 memory=20808 CPUtime=12.65 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 3098 0 0 0 1224 41 0 0 20 0 1 0 198184456 51605504 5202 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 12599 5202 1818 922 0 4551 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50396 KiB
Current children cumulated memory: 20808 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 1070216
/proc/meminfo: memFree=124951336/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=62560 memory=35060 CPUtime=25.41 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 5224 0 0 0 2470 71 0 0 20 0 1 0 198184456 64061440 8765 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 15640 8765 1818 922 0 7592 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 35060 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1070267
/proc/meminfo: memFree=124933736/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=65876 memory=37812 CPUtime=50.94 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 6094 0 0 0 4955 139 0 0 20 0 1 0 198184456 67457024 9453 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 16469 9453 1818 922 0 8421 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 65876 KiB
Current children cumulated memory: 37812 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1070277
/proc/meminfo: memFree=124840816/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=83840 memory=51924 CPUtime=101.98 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 8795 0 0 0 9935 263 0 0 20 0 1 0 198184456 85852160 12981 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 20960 12981 1949 922 0 12912 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 83840 KiB
Current children cumulated memory: 51924 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1070287
/proc/meminfo: memFree=124803592/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=113692 memory=66592 CPUtime=161.77 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 11765 0 0 0 15809 368 0 0 20 0 1 0 198184456 116420608 16648 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 28423 16648 1949 922 0 20375 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 113692 KiB
Current children cumulated memory: 66592 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/257 1070683
/proc/meminfo: memFree=124826980/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=115568 memory=78508 CPUtime=221.59 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 12874 0 0 0 21697 462 0 0 20 0 1 0 198184456 118341632 19627 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 28892 19627 1949 922 0 20844 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 115568 KiB
Current children cumulated memory: 78508 KiB

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

# cumulated CPU time of all completed processes:  user=269.298 s, system=5.38013 s

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

[startup+230.4 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1070685
/proc/meminfo: memFree=124797056/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=116552 memory=79284 CPUtime=229.67 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 13097 0 0 0 22491 476 0 0 20 0 1 0 198184456 119349248 19821 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 29138 19821 1949 922 0 21090 0
Current children cumulated CPU time: 229.67 s
Current children cumulated vsize: 116552 KiB
Current children cumulated memory: 79284 KiB

[startup+256 s]*
/proc/loadavg: 4.09 4.10 4.09 5/257 1070689
/proc/meminfo: memFree=124771364/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=116900 memory=79668 CPUtime=255.21 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 13448 0 0 0 25008 513 0 0 20 0 1 0 198184456 119705600 19917 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 29225 19917 1949 922 0 21177 0
Current children cumulated CPU time: 255.21 s
Current children cumulated vsize: 116900 KiB
Current children cumulated memory: 79668 KiB

[startup+268.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1070691
/proc/meminfo: memFree=124769692/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=118424 memory=80748 CPUtime=267.97 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 13848 0 0 0 26270 527 0 0 20 0 1 0 198184456 121266176 20187 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 29606 20187 1949 922 0 21558 0
Current children cumulated CPU time: 267.97 s
Current children cumulated vsize: 118424 KiB
Current children cumulated memory: 80748 KiB

[startup+272 s]*
/proc/loadavg: 4.13 4.11 4.09 5/257 1070692
/proc/meminfo: memFree=124769712/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=118424 memory=80748 CPUtime=271.18 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 13848 0 0 0 26586 532 0 0 20 0 1 0 198184456 121266176 20187 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 29606 20187 1949 922 0 21558 0
Current children cumulated CPU time: 271.18 s
Current children cumulated vsize: 118424 KiB
Current children cumulated memory: 80748 KiB

[startup+273.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1070692
/proc/meminfo: memFree=124769712/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=118424 memory=80984 CPUtime=272.76 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 13877 0 0 0 26742 534 0 0 20 0 1 0 198184456 121266176 20246 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 29606 20246 1949 922 0 21558 0
Current children cumulated CPU time: 272.76 s
Current children cumulated vsize: 118424 KiB
Current children cumulated memory: 80984 KiB

[startup+274.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1070692
/proc/meminfo: memFree=124769040/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=118484 memory=81112 CPUtime=273.56 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 13993 0 0 0 26821 535 0 0 20 0 1 0 198184456 121327616 20278 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 29621 20278 1949 922 0 21573 0
Current children cumulated CPU time: 273.56 s
Current children cumulated vsize: 118484 KiB
Current children cumulated memory: 81112 KiB

[startup+275.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1070692
/proc/meminfo: memFree=124769040/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=118484 memory=81112 CPUtime=274.36 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 13993 0 0 0 26899 537 0 0 20 0 1 0 198184456 121327616 20278 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 29621 20278 1949 922 0 21573 0
Current children cumulated CPU time: 274.36 s
Current children cumulated vsize: 118484 KiB
Current children cumulated memory: 81112 KiB

[startup+275.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1070692
/proc/meminfo: memFree=124769040/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=118484 memory=81112 CPUtime=274.56 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 13993 0 0 0 26919 537 0 0 20 0 1 0 198184456 121327616 20278 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 29621 20278 1949 922 0 21573 0
Current children cumulated CPU time: 274.56 s
Current children cumulated vsize: 118484 KiB
Current children cumulated memory: 81112 KiB

[startup+275.5 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1070692
/proc/meminfo: memFree=124769040/131524600 swapFree=131071996/131071996
[pid=1070166] ppid=1070163 vsize=118484 memory=81112 CPUtime=274.65 cores=1,3
/proc/1070166/stat : 1070166 (roundingsat) R 1070163 1070166 1067942 0 -1 4194304 13993 0 0 0 26928 537 0 0 20 0 1 0 198184456 121327616 20278 134679101440 4194304 7968373 140733956833168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38985728 140733956842428 140733956842592 140733956842592 140733956849609 0
/proc/1070166/statm: 29621 20278 1949 922 0 21573 0
Current children cumulated CPU time: 274.65 s
Current children cumulated vsize: 118484 KiB
Current children cumulated memory: 81112 KiB

Child status: 0

Real time (s): 275.51
CPU time (s): 274.678
CPU user time (s): 269.298
CPU system time (s): 5.38013
CPU usage (%): 99.6982
Max. virtual memory (cumulated for all children) (KiB): 118484
Max. memory (cumulated for all children) (KiB): 81112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.298
system time used= 5.38013
maximum resident set size= 81424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 291


# summary of solver processes directly reported to runsolver:
#   pid: 1070166
#   total CPU time (s): 274.678
#   total CPU user time (s): 269.298
#   total CPU system time (s): 5.38013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.545095 second user time and 1.28167 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-20 09:22:40
IDJOB=4455526
IDBENCH=147867
IDSOLVER=3084
FILE ID=nodeC033/4455526-1721460147
RUNJOBID= nodeC033-1721456537-1067954
SLURM_JOB_ID= 7545693
Free space on /tmp= 890068 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455526-1721460147/watcher-4455526-1721460147 -o /tmp/evaluation-result-4455526-1721460147/solver-4455526-1721460147 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067954 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455526-1721460147.opb

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

MD5SUM BENCH= 577423e4c806b19b8b5f6a5daee1c614
RANDOM SEED=922952343

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3670.032
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3661.247
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.116
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3651.946
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
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		: 3670.102
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3666.007
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
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		: 3600.014
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.004
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125064352 kB
MemAvailable:   129499332 kB
Buffers:          603656 kB
Cached:          4623084 kB
SwapCached:            0 kB
Active:          1092292 kB
Inactive:        4637732 kB
Active(anon):       1588 kB
Inactive(anon):   547304 kB
Active(file):    1090704 kB
Inactive(file):  4090428 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             23308 kB
Writeback:            12 kB
AnonPages:        500428 kB
Mapped:           117360 kB
Shmem:             45908 kB
KReclaimable:     186988 kB
Slab:             310808 kB
SReclaimable:     186988 kB
SUnreclaim:       123820 kB
KernelStack:        4140 kB
PageTables:        10092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     751536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC033 at 2024-07-20 09:27:15