Trace number 4443220

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 (1)SAT 275.115 276.116

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.00	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.59/0.63	c #Conflicts:       3000 | #Constraints:       2582
0.59/0.63	c #Conflicts:       4000 | #Constraints:       3584
0.59/0.63	c INPROCESSING
0.59/0.63	c GARBAGE COLLECT
0.59/0.63	c rational objective 46.3636
0.99/1.03	c #Conflicts:       5000 | #Constraints:       2986
0.99/1.03	c #Conflicts:       6000 | #Constraints:       3990
0.99/1.03	c INPROCESSING
0.99/1.03	c GARBAGE COLLECT
0.99/1.03	c rational objective 46.3636
1.49/1.54	c #Conflicts:       7000 | #Constraints:       2987
1.49/1.54	c #Conflicts:       8000 | #Constraints:       3991
1.49/1.54	c #Conflicts:       9000 | #Constraints:       4992
1.49/1.54	c INPROCESSING
1.49/1.54	c GARBAGE COLLECT
1.49/1.54	c rational objective 46.7143
1.98/2.07	c #Conflicts:      10000 | #Constraints:       3683
1.98/2.07	c #Conflicts:      11000 | #Constraints:       4684
1.98/2.07	c #Conflicts:      12000 | #Constraints:       5684
1.98/2.07	c INPROCESSING
1.98/2.07	c GARBAGE COLLECT
1.98/2.07	c rational objective 47.0282
2.58/2.62	c #Conflicts:      13000 | #Constraints:       4128
2.58/2.62	c #Conflicts:      14000 | #Constraints:       5129
2.58/2.62	c #Conflicts:      15000 | #Constraints:       6131
2.58/2.62	c INPROCESSING
2.58/2.62	c GARBAGE COLLECT
2.58/2.62	c rational objective 47.2197
3.18/3.20	c #Conflicts:      16000 | #Constraints:       4355
3.18/3.20	c #Conflicts:      17000 | #Constraints:       5355
3.18/3.20	c #Conflicts:      18000 | #Constraints:       6355
3.18/3.20	c INPROCESSING
3.18/3.20	c GARBAGE COLLECT
3.18/3.20	c rational objective 47.3443
3.77/3.87	c #Conflicts:      19000 | #Constraints:       4368
3.77/3.87	c #Conflicts:      20000 | #Constraints:       5369
3.77/3.87	c #Conflicts:      21000 | #Constraints:       6369
3.77/3.87	c INPROCESSING
3.77/3.87	c GARBAGE COLLECT
3.77/3.87	c rational objective 47.4
4.47/4.56	c #Conflicts:      22000 | #Constraints:       4170
4.47/4.56	c #Conflicts:      23000 | #Constraints:       5172
4.47/4.56	c #Conflicts:      24000 | #Constraints:       6172
4.47/4.56	c #Conflicts:      25000 | #Constraints:       7172
4.47/4.56	c INPROCESSING
4.47/4.56	c GARBAGE COLLECT
4.47/4.56	c rational objective 47.55
5.17/5.28	c #Conflicts:      26000 | #Constraints:       4774
5.17/5.28	c #Conflicts:      27000 | #Constraints:       5776
5.17/5.28	c #Conflicts:      28000 | #Constraints:       6777
5.17/5.28	c #Conflicts:      29000 | #Constraints:       7778
5.17/5.28	c INPROCESSING
5.17/5.28	c GARBAGE COLLECT
5.17/5.28	c rational objective 47.58
5.98/6.06	c #Conflicts:      30000 | #Constraints:       5179
5.98/6.06	c #Conflicts:      31000 | #Constraints:       6180
5.98/6.06	c #Conflicts:      32000 | #Constraints:       7180
5.98/6.06	c #Conflicts:      33000 | #Constraints:       8181
5.98/6.06	c INPROCESSING
5.98/6.06	c GARBAGE COLLECT
5.98/6.06	c rational objective 47.6
6.76/6.88	c #Conflicts:      34000 | #Constraints:       5385
6.76/6.88	c #Conflicts:      35000 | #Constraints:       6387
6.76/6.88	c #Conflicts:      36000 | #Constraints:       7389
6.76/6.88	c #Conflicts:      37000 | #Constraints:       8391
6.76/6.88	c INPROCESSING
6.76/6.88	c GARBAGE COLLECT
6.76/6.88	c rational objective 47.6497
7.67/7.75	c #Conflicts:      38000 | #Constraints:       5384
7.67/7.75	c #Conflicts:      39000 | #Constraints:       6385
7.67/7.75	c #Conflicts:      40000 | #Constraints:       7390
7.67/7.75	c #Conflicts:      41000 | #Constraints:       8394
7.67/7.75	c INPROCESSING
7.67/7.75	c GARBAGE COLLECT
7.67/7.75	c rational objective 47.7288
8.66/8.72	c #Conflicts:      42000 | #Constraints:       5188
8.66/8.72	c #Conflicts:      43000 | #Constraints:       6188
8.66/8.72	c #Conflicts:      44000 | #Constraints:       7191
8.66/8.72	c #Conflicts:      45000 | #Constraints:       8197
8.66/8.72	c #Conflicts:      46000 | #Constraints:       9197
8.66/8.72	c INPROCESSING
8.66/8.72	c GARBAGE COLLECT
8.66/8.72	c rational objective 47.8405
9.66/9.75	c #Conflicts:      47000 | #Constraints:       5780
9.66/9.75	c #Conflicts:      48000 | #Constraints:       6782
9.66/9.75	c #Conflicts:      49000 | #Constraints:       7783
9.66/9.75	c #Conflicts:      50000 | #Constraints:       8784
9.66/9.75	c #Conflicts:      51000 | #Constraints:       9785
9.66/9.75	c INPROCESSING
9.66/9.75	c GARBAGE COLLECT
9.66/9.75	c rational objective 47.9039
10.75/10.86	c #Conflicts:      52000 | #Constraints:       6179
10.75/10.86	c #Conflicts:      53000 | #Constraints:       7182
10.75/10.86	c #Conflicts:      54000 | #Constraints:       8183
10.75/10.86	c #Conflicts:      55000 | #Constraints:       9184
10.75/10.86	c #Conflicts:      56000 | #Constraints:      10186
10.75/10.86	c INPROCESSING
10.75/10.86	c GARBAGE COLLECT
10.75/10.86	c rational objective 47.9308
11.95/12.03	c #Conflicts:      57000 | #Constraints:       6380
11.95/12.03	c #Conflicts:      58000 | #Constraints:       7384
11.95/12.03	c #Conflicts:      59000 | #Constraints:       8384
11.95/12.03	c #Conflicts:      60000 | #Constraints:       9386
11.95/12.03	c #Conflicts:      61000 | #Constraints:      10389
11.95/12.03	c INPROCESSING
11.95/12.03	c GARBAGE COLLECT
11.95/12.03	c rational objective 47.932
13.15/13.28	c #Conflicts:      62000 | #Constraints:       6383
13.15/13.28	c #Conflicts:      63000 | #Constraints:       7390
13.15/13.28	c #Conflicts:      64000 | #Constraints:       8391
13.15/13.28	c #Conflicts:      65000 | #Constraints:       9391
13.15/13.28	c #Conflicts:      66000 | #Constraints:      10391
13.15/13.28	c INPROCESSING
13.15/13.28	c GARBAGE COLLECT
13.15/13.28	c rational objective 47.9321
14.34/14.50	c #Conflicts:      67000 | #Constraints:       6188
14.34/14.50	c #Conflicts:      68000 | #Constraints:       7188
14.34/14.50	c #Conflicts:      69000 | #Constraints:       8189
14.34/14.50	c #Conflicts:      70000 | #Constraints:       9190
14.34/14.50	c #Conflicts:      71000 | #Constraints:      10194
14.34/14.50	c #Conflicts:      72000 | #Constraints:      11197
14.34/14.50	c INPROCESSING
14.34/14.50	c GARBAGE COLLECT
14.34/14.50	c rational objective 47.9321
15.64/15.77	c #Conflicts:      73000 | #Constraints:       6784
15.64/15.77	c #Conflicts:      74000 | #Constraints:       7786
15.64/15.77	c #Conflicts:      75000 | #Constraints:       8787
15.64/15.77	c #Conflicts:      76000 | #Constraints:       9787
15.64/15.77	c #Conflicts:      77000 | #Constraints:      10788
15.64/15.77	c #Conflicts:      78000 | #Constraints:      11792
15.64/15.77	c INPROCESSING
15.64/15.77	c GARBAGE COLLECT
15.64/15.77	c rational objective 47.9321
18.23/18.33	c #Conflicts:      79000 | #Constraints:       7241
18.23/18.33	c #Conflicts:      80000 | #Constraints:       8457
18.23/18.33	c #Conflicts:      81000 | #Constraints:       9782
18.23/18.33	c #Conflicts:      82000 | #Constraints:      11235
18.23/18.33	c #Conflicts:      83000 | #Constraints:      12747
18.23/18.33	c #Conflicts:      84000 | #Constraints:      14285
18.23/18.33	c INPROCESSING
18.23/18.33	c GARBAGE COLLECT
18.23/18.33	c rational objective 47.9321
21.92/22.01	c #Conflicts:      85000 | #Constraints:       8927
21.92/22.01	c #Conflicts:      86000 | #Constraints:      10417
21.92/22.01	c #Conflicts:      87000 | #Constraints:      11901
21.92/22.01	c #Conflicts:      88000 | #Constraints:      13374
21.92/22.01	c #Conflicts:      89000 | #Constraints:      14870
21.92/22.01	c #Conflicts:      90000 | #Constraints:      16265
21.92/22.01	c INPROCESSING
21.92/22.01	c GARBAGE COLLECT
21.92/22.01	c rational objective 47.9325
25.81/25.92	c #Conflicts:      91000 | #Constraints:       9495
25.81/25.92	c #Conflicts:      92000 | #Constraints:      10836
25.81/25.92	c #Conflicts:      93000 | #Constraints:      12241
25.81/25.92	c #Conflicts:      94000 | #Constraints:      13592
25.81/25.92	c #Conflicts:      95000 | #Constraints:      15075
25.81/25.92	c #Conflicts:      96000 | #Constraints:      16584
25.81/25.92	c INPROCESSING
25.81/25.92	c GARBAGE COLLECT
25.81/25.92	c rational objective 47.9325
29.19/29.37	c #Conflicts:      97000 | #Constraints:       9469
29.19/29.37	c #Conflicts:      98000 | #Constraints:      10603
29.19/29.37	c #Conflicts:      99000 | #Constraints:      11879
29.19/29.37	c #Conflicts:     100000 | #Constraints:      13054
29.19/29.37	c #Conflicts:     101000 | #Constraints:      14221
29.19/29.37	c #Conflicts:     102000 | #Constraints:      15601
29.19/29.37	c #Conflicts:     103000 | #Constraints:      16699
29.19/29.37	c INPROCESSING
29.19/29.37	c GARBAGE COLLECT
29.19/29.37	c rational objective 47.9854
31.59/31.73	c #Conflicts:     104000 | #Constraints:       9599
31.59/31.73	c #Conflicts:     105000 | #Constraints:      10617
31.59/31.73	c #Conflicts:     106000 | #Constraints:      11659
31.59/31.73	c #Conflicts:     107000 | #Constraints:      12707
31.59/31.73	c #Conflicts:     108000 | #Constraints:      13730
31.59/31.73	c #Conflicts:     109000 | #Constraints:      14932
31.59/31.73	c #Conflicts:     110000 | #Constraints:      16043
31.59/31.73	c INPROCESSING
31.59/31.73	c GARBAGE COLLECT
31.59/31.73	c rational objective 47.9878
33.99/34.12	c #Conflicts:     111000 | #Constraints:       9348
33.99/34.12	c #Conflicts:     112000 | #Constraints:      10412
33.99/34.12	c #Conflicts:     113000 | #Constraints:      11455
33.99/34.12	c #Conflicts:     114000 | #Constraints:      12497
33.99/34.12	c #Conflicts:     115000 | #Constraints:      13536
33.99/34.12	c #Conflicts:     116000 | #Constraints:      14552
33.99/34.12	c #Conflicts:     117000 | #Constraints:      15626
33.99/34.12	c INPROCESSING
33.99/34.12	c GARBAGE COLLECT
33.99/34.12	c rational objective 47.9932
34.98/35.16	c #Conflicts:     118000 | #Constraints:       9161
34.98/35.16	c #Conflicts:     119000 | #Constraints:      10248
34.98/35.16	WSVECS04 Frhs2[253]: 6 0 0.997612 shouldn't be
34.98/35.16	WSVECS04 Frhs2[358]: 6 -8.2497 0 shouldn't be
37.07/37.21	c #Conflicts:     120000 | #Constraints:      11300
37.07/37.21	c #Conflicts:     121000 | #Constraints:      12419
37.07/37.21	c #Conflicts:     122000 | #Constraints:      13622
37.07/37.21	c #Conflicts:     123000 | #Constraints:      14717
37.07/37.21	c #Conflicts:     124000 | #Constraints:      15752
37.07/37.21	c INPROCESSING
37.07/37.21	c GARBAGE COLLECT
37.07/37.21	c rational objective 47.9966
39.87/40.07	c #Conflicts:     125000 | #Constraints:       9100
39.87/40.07	c #Conflicts:     126000 | #Constraints:      10134
39.87/40.07	c #Conflicts:     127000 | #Constraints:      11149
39.87/40.07	c #Conflicts:     128000 | #Constraints:      12205
39.87/40.07	c #Conflicts:     129000 | #Constraints:      13280
39.87/40.07	c #Conflicts:     130000 | #Constraints:      14352
39.87/40.07	c #Conflicts:     131000 | #Constraints:      15368
39.87/40.07	c INPROCESSING
39.87/40.07	c GARBAGE COLLECT
39.87/40.07	c rational objective 47.9968
42.95/43.15	c #Conflicts:     132000 | #Constraints:       8687
42.95/43.15	c #Conflicts:     133000 | #Constraints:       9711
42.95/43.15	c #Conflicts:     134000 | #Constraints:      10724
42.95/43.15	c #Conflicts:     135000 | #Constraints:      11737
42.95/43.15	c #Conflicts:     136000 | #Constraints:      12790
42.95/43.15	c #Conflicts:     137000 | #Constraints:      13932
42.95/43.15	c #Conflicts:     138000 | #Constraints:      15131
42.95/43.15	c #Conflicts:     139000 | #Constraints:      16214
42.95/43.15	c INPROCESSING
42.95/43.15	c GARBAGE COLLECT
42.95/43.15	c rational objective 48.0229
47.03/47.22	c #Conflicts:     140000 | #Constraints:       9328
47.03/47.22	c #Conflicts:     141000 | #Constraints:      10377
47.03/47.22	c #Conflicts:     142000 | #Constraints:      11422
47.03/47.22	c #Conflicts:     143000 | #Constraints:      12539
47.03/47.22	c #Conflicts:     144000 | #Constraints:      13681
47.03/47.22	c #Conflicts:     145000 | #Constraints:      14798
47.03/47.22	c #Conflicts:     146000 | #Constraints:      16003
47.03/47.22	c #Conflicts:     147000 | #Constraints:      17161
47.03/47.22	c INPROCESSING
47.03/47.22	c GARBAGE COLLECT
47.03/47.22	c rational objective 48.0266
49.93/50.14	c #Conflicts:     148000 | #Constraints:       9904
49.93/50.14	c #Conflicts:     149000 | #Constraints:      10911
49.93/50.14	c #Conflicts:     150000 | #Constraints:      11927
49.93/50.14	c #Conflicts:     151000 | #Constraints:      12964
49.93/50.14	c #Conflicts:     152000 | #Constraints:      13977
49.93/50.14	c #Conflicts:     153000 | #Constraints:      15014
49.93/50.14	c #Conflicts:     154000 | #Constraints:      16072
49.93/50.14	c #Conflicts:     155000 | #Constraints:      17130
49.93/50.14	c INPROCESSING
49.93/50.14	c GARBAGE COLLECT
49.93/50.14	c rational objective 48.0457
53.01/53.29	c #Conflicts:     156000 | #Constraints:       9873
53.01/53.29	c #Conflicts:     157000 | #Constraints:      10884
53.01/53.29	c #Conflicts:     158000 | #Constraints:      11901
53.01/53.29	c #Conflicts:     159000 | #Constraints:      12917
53.01/53.29	c #Conflicts:     160000 | #Constraints:      13921
53.01/53.29	c #Conflicts:     161000 | #Constraints:      14929
53.01/53.29	c #Conflicts:     162000 | #Constraints:      15961
53.01/53.29	c #Conflicts:     163000 | #Constraints:      17027
53.01/53.29	c INPROCESSING
53.01/53.29	c GARBAGE COLLECT
53.01/53.29	c rational objective 48.0217
56.61/56.88	c #Conflicts:     164000 | #Constraints:       9763
56.61/56.88	c #Conflicts:     165000 | #Constraints:      10780
56.61/56.88	c #Conflicts:     166000 | #Constraints:      11982
56.61/56.88	c #Conflicts:     167000 | #Constraints:      13113
56.61/56.88	c #Conflicts:     168000 | #Constraints:      14131
56.61/56.88	c #Conflicts:     169000 | #Constraints:      15157
56.61/56.88	c #Conflicts:     170000 | #Constraints:      16252
56.61/56.88	c #Conflicts:     171000 | #Constraints:      17264
56.61/56.88	c INPROCESSING
56.61/56.88	c GARBAGE COLLECT
56.61/56.88	c rational objective 48.0225
59.90/60.18	c #Conflicts:     172000 | #Constraints:       9621
59.90/60.18	c #Conflicts:     173000 | #Constraints:      10633
59.90/60.18	c #Conflicts:     174000 | #Constraints:      11680
59.90/60.18	c #Conflicts:     175000 | #Constraints:      12720
59.90/60.18	c #Conflicts:     176000 | #Constraints:      13745
59.90/60.18	c #Conflicts:     177000 | #Constraints:      14752
59.90/60.18	c #Conflicts:     178000 | #Constraints:      15823
59.90/60.18	c #Conflicts:     179000 | #Constraints:      16831
59.90/60.18	c #Conflicts:     180000 | #Constraints:      17845
59.90/60.18	c INPROCESSING
59.90/60.18	c GARBAGE COLLECT
59.90/60.18	c rational objective 48.0281
63.88/64.17	c #Conflicts:     181000 | #Constraints:      10151
63.88/64.17	c #Conflicts:     182000 | #Constraints:      11167
63.88/64.17	c #Conflicts:     183000 | #Constraints:      12193
63.88/64.17	c #Conflicts:     184000 | #Constraints:      13266
63.88/64.17	c #Conflicts:     185000 | #Constraints:      14434
63.88/64.17	c #Conflicts:     186000 | #Constraints:      15604
63.88/64.17	c #Conflicts:     187000 | #Constraints:      16634
63.88/64.17	c #Conflicts:     188000 | #Constraints:      17677
63.88/64.17	c #Conflicts:     189000 | #Constraints:      18685
63.88/64.17	c INPROCESSING
63.88/64.17	c GARBAGE COLLECT
63.88/64.17	c rational objective 48.1028
67.67/67.99	c #Conflicts:     190000 | #Constraints:      10642
67.67/67.99	c #Conflicts:     191000 | #Constraints:      11651
67.67/67.99	c #Conflicts:     192000 | #Constraints:      12657
67.67/67.99	c #Conflicts:     193000 | #Constraints:      13663
67.67/67.99	c #Conflicts:     194000 | #Constraints:      14669
67.67/67.99	c #Conflicts:     195000 | #Constraints:      15679
67.67/67.99	c #Conflicts:     196000 | #Constraints:      16695
67.67/67.99	c #Conflicts:     197000 | #Constraints:      17708
67.67/67.99	c #Conflicts:     198000 | #Constraints:      18727
67.67/67.99	c INPROCESSING
67.67/67.99	c GARBAGE COLLECT
67.67/67.99	c rational objective 48.0101
72.25/72.52	c #Conflicts:     199000 | #Constraints:      10660
72.25/72.52	c #Conflicts:     200000 | #Constraints:      11668
72.25/72.52	c #Conflicts:     201000 | #Constraints:      12673
72.25/72.52	c #Conflicts:     202000 | #Constraints:      13684
72.25/72.52	c #Conflicts:     203000 | #Constraints:      14695
72.25/72.52	c #Conflicts:     204000 | #Constraints:      15732
72.25/72.52	c #Conflicts:     205000 | #Constraints:      16745
72.25/72.52	c #Conflicts:     206000 | #Constraints:      17756
72.25/72.52	c #Conflicts:     207000 | #Constraints:      18777
72.25/72.52	c INPROCESSING
72.25/72.52	c GARBAGE COLLECT
72.25/72.52	c rational objective 48.0034
75.54/75.87	c #Conflicts:     208000 | #Constraints:      10583
75.54/75.87	c #Conflicts:     209000 | #Constraints:      11587
75.54/75.87	c #Conflicts:     210000 | #Constraints:      12588
75.54/75.87	c #Conflicts:     211000 | #Constraints:      13592
75.54/75.87	c #Conflicts:     212000 | #Constraints:      14595
75.54/75.87	c #Conflicts:     213000 | #Constraints:      15600
75.54/75.87	c #Conflicts:     214000 | #Constraints:      16606
75.54/75.87	c #Conflicts:     215000 | #Constraints:      17609
75.54/75.87	c #Conflicts:     216000 | #Constraints:      18618
75.54/75.87	c INPROCESSING
75.54/75.87	c GARBAGE COLLECT
75.54/75.87	c rational objective 47.7778
78.74/79.02	c #Conflicts:     217000 | #Constraints:      10304
78.74/79.02	c #Conflicts:     218000 | #Constraints:      11307
78.74/79.02	c #Conflicts:     219000 | #Constraints:      12311
78.74/79.02	c #Conflicts:     220000 | #Constraints:      13316
78.74/79.02	c #Conflicts:     221000 | #Constraints:      14324
78.74/79.02	c #Conflicts:     222000 | #Constraints:      15327
78.74/79.02	c #Conflicts:     223000 | #Constraints:      16334
78.74/79.02	c #Conflicts:     224000 | #Constraints:      17338
78.74/79.02	c #Conflicts:     225000 | #Constraints:      18339
78.74/79.02	c #Conflicts:     226000 | #Constraints:      19342
78.74/79.02	c INPROCESSING
78.74/79.02	c GARBAGE COLLECT
78.74/79.02	c rational objective 47.9284
81.22/81.58	c #Conflicts:     227000 | #Constraints:      10865
81.22/81.58	c #Conflicts:     228000 | #Constraints:      11868
81.22/81.58	c #Conflicts:     229000 | #Constraints:      12870
81.22/81.58	c #Conflicts:     230000 | #Constraints:      13876
81.22/81.58	c #Conflicts:     231000 | #Constraints:      14879
81.22/81.58	c #Conflicts:     232000 | #Constraints:      15880
81.22/81.58	c #Conflicts:     233000 | #Constraints:      16880
81.22/81.58	c #Conflicts:     234000 | #Constraints:      17882
81.22/81.58	c #Conflicts:     235000 | #Constraints:      18883
81.22/81.58	c #Conflicts:     236000 | #Constraints:      19885
81.22/81.58	c INPROCESSING
81.22/81.58	c GARBAGE COLLECT
81.22/81.58	c rational objective 47.9398
83.91/84.26	c #Conflicts:     237000 | #Constraints:      11228
83.91/84.26	c #Conflicts:     238000 | #Constraints:      12228
83.91/84.26	c #Conflicts:     239000 | #Constraints:      13230
83.91/84.26	c #Conflicts:     240000 | #Constraints:      14231
83.91/84.26	c #Conflicts:     241000 | #Constraints:      15232
83.91/84.26	c #Conflicts:     242000 | #Constraints:      16234
83.91/84.26	c #Conflicts:     243000 | #Constraints:      17235
83.91/84.26	c #Conflicts:     244000 | #Constraints:      18236
83.91/84.26	c #Conflicts:     245000 | #Constraints:      19238
83.91/84.26	c #Conflicts:     246000 | #Constraints:      20238
83.91/84.26	c INPROCESSING
83.91/84.26	c GARBAGE COLLECT
83.91/84.26	c rational objective 47.959
87.70/88.04	c #Conflicts:     247000 | #Constraints:      11405
87.70/88.04	c #Conflicts:     248000 | #Constraints:      12410
87.70/88.04	c #Conflicts:     249000 | #Constraints:      13413
87.70/88.04	c #Conflicts:     250000 | #Constraints:      14755
87.70/88.04	c #Conflicts:     251000 | #Constraints:      15976
87.70/88.04	c #Conflicts:     252000 | #Constraints:      17084
87.70/88.04	c #Conflicts:     253000 | #Constraints:      18173
87.70/88.04	c #Conflicts:     254000 | #Constraints:      19285
87.70/88.04	c #Conflicts:     255000 | #Constraints:      20449
87.70/88.04	c #Conflicts:     256000 | #Constraints:      21656
87.70/88.04	c INPROCESSING
87.70/88.04	c GARBAGE COLLECT
87.70/88.04	c rational objective 47.9673
93.38/93.76	c #Conflicts:     257000 | #Constraints:      12235
93.38/93.76	c #Conflicts:     258000 | #Constraints:      13758
93.38/93.76	c #Conflicts:     259000 | #Constraints:      14942
93.38/93.76	c #Conflicts:     260000 | #Constraints:      16091
93.38/93.76	c #Conflicts:     261000 | #Constraints:      17402
93.38/93.76	c #Conflicts:     262000 | #Constraints:      18631
93.38/93.76	c #Conflicts:     263000 | #Constraints:      20016
93.38/93.76	c #Conflicts:     264000 | #Constraints:      21202
93.38/93.76	c #Conflicts:     265000 | #Constraints:      22429
93.38/93.76	c #Conflicts:     266000 | #Constraints:      23928
93.38/93.76	c INPROCESSING
93.38/93.76	c GARBAGE COLLECT
93.38/93.76	c rational objective 47.9866
99.95/100.38	c #Conflicts:     267000 | #Constraints:      13280
99.95/100.38	c #Conflicts:     268000 | #Constraints:      14557
99.95/100.38	c #Conflicts:     269000 | #Constraints:      15930
99.95/100.38	c #Conflicts:     270000 | #Constraints:      17144
99.95/100.38	c #Conflicts:     271000 | #Constraints:      18682
99.95/100.38	c #Conflicts:     272000 | #Constraints:      20176
99.95/100.38	c #Conflicts:     273000 | #Constraints:      21667
99.95/100.38	c #Conflicts:     274000 | #Constraints:      23174
99.95/100.38	c #Conflicts:     275000 | #Constraints:      24635
99.95/100.38	c #Conflicts:     276000 | #Constraints:      26112
99.95/100.38	c #Conflicts:     277000 | #Constraints:      27600
99.95/100.38	c INPROCESSING
99.95/100.38	c GARBAGE COLLECT
99.95/100.38	c rational objective 48.1404
125.95/126.40	c #Conflicts:     278000 | #Constraints:      15151
125.95/126.40	c #Conflicts:     279000 | #Constraints:      16605
125.95/126.40	c #Conflicts:     280000 | #Constraints:      17739
125.95/126.40	c #Conflicts:     281000 | #Constraints:      18773
125.95/126.40	c #Conflicts:     282000 | #Constraints:      20198
125.95/126.40	c #Conflicts:     283000 | #Constraints:      21633
125.95/126.40	c #Conflicts:     284000 | #Constraints:      23103
125.95/126.40	c #Conflicts:     285000 | #Constraints:      24293
125.95/126.40	c #Conflicts:     286000 | #Constraints:      25404
125.95/126.40	c #Conflicts:     287000 | #Constraints:      26775
125.95/126.40	c #Conflicts:     288000 | #Constraints:      27838
125.95/126.40	c INPROCESSING
125.95/126.40	c GARBAGE COLLECT
125.95/126.40	c #Conflicts:     289000 | #Constraints:      15359
125.95/126.40	c #Conflicts:     290000 | #Constraints:      16678
125.95/126.40	c #Conflicts:     291000 | #Constraints:      17898
125.95/126.40	c #Conflicts:     292000 | #Constraints:      19310
125.95/126.40	c #Conflicts:     293000 | #Constraints:      20566
125.95/126.40	c #Conflicts:     294000 | #Constraints:      21969
125.95/126.40	c #Conflicts:     295000 | #Constraints:      23354
125.95/126.40	c #Conflicts:     296000 | #Constraints:      24473
125.95/126.40	c #Conflicts:     297000 | #Constraints:      25554
125.95/126.40	c #Conflicts:     298000 | #Constraints:      26811
125.95/126.40	c #Conflicts:     299000 | #Constraints:      27874
125.95/126.40	c INPROCESSING
125.95/126.40	c GARBAGE COLLECT
125.95/126.40	c #Conflicts:     300000 | #Constraints:      15308
125.95/126.40	c #Conflicts:     301000 | #Constraints:      16495
125.95/126.40	c #Conflicts:     302000 | #Constraints:      17823
125.95/126.40	c #Conflicts:     303000 | #Constraints:      19286
125.95/126.40	c #Conflicts:     304000 | #Constraints:      20363
125.95/126.40	c #Conflicts:     305000 | #Constraints:      21450
125.95/126.40	c #Conflicts:     306000 | #Constraints:      22675
125.95/126.40	c #Conflicts:     307000 | #Constraints:      23781
125.95/126.40	c #Conflicts:     308000 | #Constraints:      24835
125.95/126.40	c #Conflicts:     309000 | #Constraints:      25904
125.95/126.40	c #Conflicts:     310000 | #Constraints:      27072
125.95/126.40	c INPROCESSING
125.95/126.40	c GARBAGE COLLECT
125.95/126.40	c #Conflicts:     311000 | #Constraints:      14850
125.95/126.40	c #Conflicts:     312000 | #Constraints:      16193
125.95/126.40	c #Conflicts:     313000 | #Constraints:      17700
125.95/126.40	c #Conflicts:     314000 | #Constraints:      19198
125.95/126.40	c #Conflicts:     315000 | #Constraints:      20674
125.95/126.40	c #Conflicts:     316000 | #Constraints:      22118
125.95/126.40	c #Conflicts:     317000 | #Constraints:      23631
125.95/126.40	c #Conflicts:     318000 | #Constraints:      25044
125.95/126.40	c #Conflicts:     319000 | #Constraints:      26513
125.95/126.40	c #Conflicts:     320000 | #Constraints:      28038
125.95/126.40	c #Conflicts:     321000 | #Constraints:      29511
125.95/126.40	c INPROCESSING
125.95/126.40	c GARBAGE COLLECT
125.95/126.40	c rational objective 48.0481
148.87/149.45	c #Conflicts:     322000 | #Constraints:      15840
148.87/149.45	c #Conflicts:     323000 | #Constraints:      17080
148.87/149.45	c #Conflicts:     324000 | #Constraints:      18413
148.87/149.45	c #Conflicts:     325000 | #Constraints:      19916
148.87/149.45	c #Conflicts:     326000 | #Constraints:      21413
148.87/149.45	c #Conflicts:     327000 | #Constraints:      22928
148.87/149.45	c #Conflicts:     328000 | #Constraints:      24400
148.87/149.45	c #Conflicts:     329000 | #Constraints:      25907
148.87/149.45	c #Conflicts:     330000 | #Constraints:      27381
148.87/149.45	c #Conflicts:     331000 | #Constraints:      28905
148.87/149.45	c #Conflicts:     332000 | #Constraints:      30437
148.87/149.45	c #Conflicts:     333000 | #Constraints:      31949
148.87/149.45	c INPROCESSING
148.87/149.45	c GARBAGE COLLECT
148.87/149.45	c #Conflicts:     334000 | #Constraints:      17609
148.87/149.45	c #Conflicts:     335000 | #Constraints:      19110
148.87/149.45	c #Conflicts:     336000 | #Constraints:      20310
148.87/149.45	c #Conflicts:     337000 | #Constraints:      21546
148.87/149.45	c #Conflicts:     338000 | #Constraints:      22665
148.87/149.45	c #Conflicts:     339000 | #Constraints:      23785
148.87/149.45	c #Conflicts:     340000 | #Constraints:      25061
148.87/149.45	c #Conflicts:     341000 | #Constraints:      26564
148.87/149.45	c #Conflicts:     342000 | #Constraints:      27957
148.87/149.45	c #Conflicts:     343000 | #Constraints:      29137
148.87/149.45	c #Conflicts:     344000 | #Constraints:      30311
148.87/149.45	c #Conflicts:     345000 | #Constraints:      31524
148.87/149.45	c INPROCESSING
148.87/149.45	c GARBAGE COLLECT
148.87/149.45	c #Conflicts:     346000 | #Constraints:      17156
148.87/149.45	c #Conflicts:     347000 | #Constraints:      18234
148.87/149.45	c #Conflicts:     348000 | #Constraints:      19706
148.87/149.45	c #Conflicts:     349000 | #Constraints:      21284
148.87/149.45	c #Conflicts:     350000 | #Constraints:      22764
148.87/149.45	c #Conflicts:     351000 | #Constraints:      24233
148.87/149.45	c #Conflicts:     352000 | #Constraints:      25733
148.87/149.45	c #Conflicts:     353000 | #Constraints:      27216
148.87/149.45	c #Conflicts:     354000 | #Constraints:      28453
148.87/149.45	c #Conflicts:     355000 | #Constraints:      29547
148.87/149.45	c #Conflicts:     356000 | #Constraints:      30875
148.87/149.45	c #Conflicts:     357000 | #Constraints:      31961
148.87/149.45	c INPROCESSING
148.87/149.45	c GARBAGE COLLECT
148.87/149.45	c rational objective 48.0726
156.24/156.86	c #Conflicts:     358000 | #Constraints:      17352
156.24/156.86	c #Conflicts:     359000 | #Constraints:      18528
156.24/156.86	c #Conflicts:     360000 | #Constraints:      19991
156.24/156.86	c #Conflicts:     361000 | #Constraints:      21306
156.24/156.86	c #Conflicts:     362000 | #Constraints:      22369
156.24/156.86	c #Conflicts:     363000 | #Constraints:      23554
156.24/156.86	c #Conflicts:     364000 | #Constraints:      25031
156.24/156.86	c #Conflicts:     365000 | #Constraints:      26114
156.24/156.86	c #Conflicts:     366000 | #Constraints:      27217
156.24/156.86	c #Conflicts:     367000 | #Constraints:      28529
156.24/156.86	c #Conflicts:     368000 | #Constraints:      30034
156.24/156.86	c #Conflicts:     369000 | #Constraints:      31546
156.24/156.86	c INPROCESSING
156.24/156.86	c GARBAGE COLLECT
156.24/156.86	c rational objective 48.2708
167.60/168.23	c #Conflicts:     370000 | #Constraints:      17253
167.60/168.23	c #Conflicts:     371000 | #Constraints:      18599
167.60/168.23	c #Conflicts:     372000 | #Constraints:      20115
167.60/168.23	c #Conflicts:     373000 | #Constraints:      21639
167.60/168.23	c #Conflicts:     374000 | #Constraints:      23165
167.60/168.23	c #Conflicts:     375000 | #Constraints:      24664
167.60/168.23	c #Conflicts:     376000 | #Constraints:      26168
167.60/168.23	c #Conflicts:     377000 | #Constraints:      27712
167.60/168.23	c #Conflicts:     378000 | #Constraints:      29205
167.60/168.23	c #Conflicts:     379000 | #Constraints:      30701
167.60/168.23	c #Conflicts:     380000 | #Constraints:      32187
167.60/168.23	c #Conflicts:     381000 | #Constraints:      33702
167.60/168.23	c INPROCESSING
167.60/168.23	c GARBAGE COLLECT
167.60/168.23	c rational objective 48.3525
175.47/176.14	c #Conflicts:     382000 | #Constraints:      18058
175.47/176.14	c #Conflicts:     383000 | #Constraints:      19093
175.47/176.14	c #Conflicts:     384000 | #Constraints:      20324
175.47/176.14	c #Conflicts:     385000 | #Constraints:      21587
175.47/176.14	c #Conflicts:     386000 | #Constraints:      23115
175.47/176.14	c #Conflicts:     387000 | #Constraints:      24380
175.47/176.14	c #Conflicts:     388000 | #Constraints:      25518
175.47/176.14	c #Conflicts:     389000 | #Constraints:      26642
175.47/176.14	c #Conflicts:     390000 | #Constraints:      27833
175.47/176.14	c #Conflicts:     391000 | #Constraints:      28968
175.47/176.14	c #Conflicts:     392000 | #Constraints:      30039
175.47/176.14	c #Conflicts:     393000 | #Constraints:      31286
175.47/176.14	c #Conflicts:     394000 | #Constraints:      32418
175.47/176.14	c INPROCESSING
175.47/176.14	c GARBAGE COLLECT
175.47/176.14	c rational objective 48.3645
184.53/185.26	c #Conflicts:     395000 | #Constraints:      17721
184.53/185.26	c #Conflicts:     396000 | #Constraints:      19209
184.53/185.26	c #Conflicts:     397000 | #Constraints:      20713
184.53/185.26	c #Conflicts:     398000 | #Constraints:      22208
184.53/185.26	c #Conflicts:     399000 | #Constraints:      23327
184.53/185.26	c #Conflicts:     400000 | #Constraints:      24375
184.53/185.26	c #Conflicts:     401000 | #Constraints:      25648
184.53/185.26	c #Conflicts:     402000 | #Constraints:      26730
184.53/185.26	c #Conflicts:     403000 | #Constraints:      27772
184.53/185.26	c #Conflicts:     404000 | #Constraints:      29154
184.53/185.26	c #Conflicts:     405000 | #Constraints:      30313
184.53/185.26	c #Conflicts:     406000 | #Constraints:      31610
184.53/185.26	c #Conflicts:     407000 | #Constraints:      32657
184.53/185.26	c INPROCESSING
184.53/185.26	c GARBAGE COLLECT
184.53/185.26	c rational objective 48.3679
194.89/195.63	c #Conflicts:     408000 | #Constraints:      17736
194.89/195.63	c #Conflicts:     409000 | #Constraints:      18903
194.89/195.63	c #Conflicts:     410000 | #Constraints:      20008
194.89/195.63	c #Conflicts:     411000 | #Constraints:      21062
194.89/195.63	c #Conflicts:     412000 | #Constraints:      22456
194.89/195.63	c #Conflicts:     413000 | #Constraints:      23940
194.89/195.63	c #Conflicts:     414000 | #Constraints:      25333
194.89/195.63	c #Conflicts:     415000 | #Constraints:      26837
194.89/195.63	c #Conflicts:     416000 | #Constraints:      28343
194.89/195.63	c #Conflicts:     417000 | #Constraints:      29859
194.89/195.63	c #Conflicts:     418000 | #Constraints:      31373
194.89/195.63	c #Conflicts:     419000 | #Constraints:      32866
194.89/195.63	c #Conflicts:     420000 | #Constraints:      34372
194.89/195.63	c INPROCESSING
194.89/195.63	c GARBAGE COLLECT
194.89/195.63	c rational objective 48.3729
207.44/208.28	c #Conflicts:     421000 | #Constraints:      18990
207.44/208.28	c #Conflicts:     422000 | #Constraints:      20486
207.44/208.28	c #Conflicts:     423000 | #Constraints:      21984
207.44/208.28	c #Conflicts:     424000 | #Constraints:      23345
207.44/208.28	c #Conflicts:     425000 | #Constraints:      24704
207.44/208.28	c #Conflicts:     426000 | #Constraints:      26221
207.44/208.28	c #Conflicts:     427000 | #Constraints:      27723
207.44/208.28	c #Conflicts:     428000 | #Constraints:      29213
207.44/208.28	c #Conflicts:     429000 | #Constraints:      30715
207.44/208.28	c #Conflicts:     430000 | #Constraints:      32206
207.44/208.28	c #Conflicts:     431000 | #Constraints:      33712
207.44/208.28	c #Conflicts:     432000 | #Constraints:      35210
207.44/208.28	c #Conflicts:     433000 | #Constraints:      36699
207.44/208.28	c INPROCESSING
207.44/208.28	c GARBAGE COLLECT
207.44/208.28	c rational objective 48.4389
215.02/215.88	c #Conflicts:     434000 | #Constraints:      20024
215.02/215.88	c #Conflicts:     435000 | #Constraints:      21527
215.02/215.88	c #Conflicts:     436000 | #Constraints:      22529
215.02/215.88	c #Conflicts:     437000 | #Constraints:      23535
215.02/215.88	c #Conflicts:     438000 | #Constraints:      24541
215.02/215.88	c #Conflicts:     439000 | #Constraints:      25545
215.02/215.88	c #Conflicts:     440000 | #Constraints:      26547
215.02/215.88	c #Conflicts:     441000 | #Constraints:      27551
215.02/215.88	c #Conflicts:     442000 | #Constraints:      28555
215.02/215.88	c #Conflicts:     443000 | #Constraints:      29557
215.02/215.88	c #Conflicts:     444000 | #Constraints:      30562
215.02/215.88	c #Conflicts:     445000 | #Constraints:      31567
215.02/215.88	c #Conflicts:     446000 | #Constraints:      32572
215.02/215.88	c INPROCESSING
215.02/215.88	c GARBAGE COLLECT
215.02/215.88	c rational objective 47.891
223.79/224.65	c #Conflicts:     447000 | #Constraints:      17285
223.79/224.65	c #Conflicts:     448000 | #Constraints:      18466
223.79/224.65	c #Conflicts:     449000 | #Constraints:      19780
223.79/224.65	c #Conflicts:     450000 | #Constraints:      21047
223.79/224.65	c #Conflicts:     451000 | #Constraints:      22430
223.79/224.65	c #Conflicts:     452000 | #Constraints:      23772
223.79/224.65	c #Conflicts:     453000 | #Constraints:      25265
223.79/224.65	c #Conflicts:     454000 | #Constraints:      26769
223.79/224.65	c #Conflicts:     455000 | #Constraints:      28295
223.79/224.65	c #Conflicts:     456000 | #Constraints:      29686
223.79/224.65	c #Conflicts:     457000 | #Constraints:      31075
223.79/224.65	c #Conflicts:     458000 | #Constraints:      32366
223.79/224.65	c #Conflicts:     459000 | #Constraints:      33673
223.79/224.65	c #Conflicts:     460000 | #Constraints:      34821
223.79/224.65	c INPROCESSING
223.79/224.65	c GARBAGE COLLECT
223.79/224.65	c rational objective 48.0412
229.36/230.27	c #Conflicts:     461000 | #Constraints:      18602
229.36/230.27	c #Conflicts:     462000 | #Constraints:      19605
229.36/230.27	c #Conflicts:     463000 | #Constraints:      20607
229.36/230.27	c #Conflicts:     464000 | #Constraints:      21609
229.36/230.27	c #Conflicts:     465000 | #Constraints:      22610
229.36/230.27	c #Conflicts:     466000 | #Constraints:      23610
229.36/230.27	c #Conflicts:     467000 | #Constraints:      24613
229.36/230.27	c #Conflicts:     468000 | #Constraints:      25619
229.36/230.27	c #Conflicts:     469000 | #Constraints:      26620
229.36/230.27	c #Conflicts:     470000 | #Constraints:      27623
229.36/230.27	c #Conflicts:     471000 | #Constraints:      28625
229.36/230.27	c #Conflicts:     472000 | #Constraints:      29629
229.36/230.27	c #Conflicts:     473000 | #Constraints:      30629
229.36/230.27	c #Conflicts:     474000 | #Constraints:      31633
229.36/230.27	c INPROCESSING
229.36/230.27	c GARBAGE COLLECT
229.36/230.27	c rational objective 48.0691
236.93/237.82	c #Conflicts:     475000 | #Constraints:      17244
236.93/237.82	c #Conflicts:     476000 | #Constraints:      18584
236.93/237.82	c #Conflicts:     477000 | #Constraints:      19965
236.93/237.82	c #Conflicts:     478000 | #Constraints:      21109
236.93/237.82	c #Conflicts:     479000 | #Constraints:      22385
236.93/237.82	c #Conflicts:     480000 | #Constraints:      23386
236.93/237.82	c #Conflicts:     481000 | #Constraints:      24390
236.93/237.82	c #Conflicts:     482000 | #Constraints:      25390
236.93/237.82	c #Conflicts:     483000 | #Constraints:      26395
236.93/237.82	c #Conflicts:     484000 | #Constraints:      27398
236.93/237.82	c #Conflicts:     485000 | #Constraints:      28398
236.93/237.82	c #Conflicts:     486000 | #Constraints:      29401
236.93/237.82	c #Conflicts:     487000 | #Constraints:      30403
236.93/237.82	c #Conflicts:     488000 | #Constraints:      31404
236.93/237.82	c INPROCESSING
236.93/237.82	c GARBAGE COLLECT
236.93/237.82	c rational objective 48.072
249.89/250.89	c #Conflicts:     489000 | #Constraints:      17170
249.89/250.89	c #Conflicts:     490000 | #Constraints:      18530
249.89/250.89	c #Conflicts:     491000 | #Constraints:      20043
249.89/250.89	c #Conflicts:     492000 | #Constraints:      21562
249.89/250.89	c #Conflicts:     493000 | #Constraints:      23072
249.89/250.89	c #Conflicts:     494000 | #Constraints:      24610
249.89/250.89	c #Conflicts:     495000 | #Constraints:      26152
249.89/250.89	c #Conflicts:     496000 | #Constraints:      27670
249.89/250.89	c #Conflicts:     497000 | #Constraints:      29206
249.89/250.89	c #Conflicts:     498000 | #Constraints:      30714
249.89/250.89	c #Conflicts:     499000 | #Constraints:      32249
249.89/250.89	c #Conflicts:     500000 | #Constraints:      33780
249.89/250.89	c #Conflicts:     501000 | #Constraints:      35300
249.89/250.89	c #Conflicts:     502000 | #Constraints:      36835
249.89/250.89	c INPROCESSING
249.89/250.89	c GARBAGE COLLECT
249.89/250.89	c rational objective 48.0723
264.14/265.17	c #Conflicts:     503000 | #Constraints:      20046
264.14/265.17	c #Conflicts:     504000 | #Constraints:      21548
264.14/265.17	c #Conflicts:     505000 | #Constraints:      23048
264.14/265.17	c #Conflicts:     506000 | #Constraints:      24554
264.14/265.17	c #Conflicts:     507000 | #Constraints:      26069
264.14/265.17	c #Conflicts:     508000 | #Constraints:      27585
264.14/265.17	c #Conflicts:     509000 | #Constraints:      29095
264.14/265.17	c #Conflicts:     510000 | #Constraints:      30623
264.14/265.17	c #Conflicts:     511000 | #Constraints:      32144
264.14/265.17	c #Conflicts:     512000 | #Constraints:      33669
264.14/265.17	c #Conflicts:     513000 | #Constraints:      35208
264.14/265.17	c #Conflicts:     514000 | #Constraints:      36538
264.14/265.17	c #Conflicts:     515000 | #Constraints:      37706
264.14/265.17	c #Conflicts:     516000 | #Constraints:      38953
264.14/265.17	c INPROCESSING
264.14/265.17	c GARBAGE COLLECT
264.14/265.17	c rational objective 48.0725
273.29/274.32	c #Conflicts:     517000 | #Constraints:      20499
273.29/274.32	c #Conflicts:     518000 | #Constraints:      21528
273.29/274.32	c #Conflicts:     519000 | #Constraints:      22734
273.29/274.32	c #Conflicts:     520000 | #Constraints:      23918
273.29/274.32	c #Conflicts:     521000 | #Constraints:      25314
273.29/274.32	c #Conflicts:     522000 | #Constraints:      26418
273.29/274.32	c #Conflicts:     523000 | #Constraints:      27475
273.29/274.32	c #Conflicts:     524000 | #Constraints:      28644
273.29/274.32	c #Conflicts:     525000 | #Constraints:      29676
273.29/274.32	c #Conflicts:     526000 | #Constraints:      30775
273.29/274.32	c #Conflicts:     527000 | #Constraints:      31905
273.29/274.32	c #Conflicts:     528000 | #Constraints:      33120
273.29/274.32	c #Conflicts:     529000 | #Constraints:      34626
273.29/274.32	c #Conflicts:     530000 | #Constraints:      35973
273.29/274.32	c #Conflicts:     531000 | #Constraints:      37474
273.29/274.32	c INPROCESSING
273.29/274.32	c GARBAGE COLLECT
273.29/274.32	c rational objective 48.0725
275.09/276.11	c #Conflicts:     532000 | #Constraints:      20117
275.09/276.11	c #Conflicts:     533000 | #Constraints:      21145
275.09/276.11	c #Conflicts:     534000 | #Constraints:      22169
275.09/276.11	c #Conflicts:     535000 | #Constraints:      23419
275.09/276.11	c cpu time 269.716 s
275.09/276.11	c deterministic time 34135331485 3.41e+10
275.09/276.11	c optimization time 8.1e-05 s
275.09/276.11	c total solve time 269.714 s
275.09/276.11	c core-guided solve time 0 s
275.09/276.11	c propagation time 229.264 s
275.09/276.11	c conflict analysis time 27.8684 s
275.09/276.11	c propagations 29265441
275.09/276.11	c resolve steps 12753101
275.09/276.11	c decisions 901643
275.09/276.11	c conflicts 535472
275.09/276.11	c restarts 1103
275.09/276.11	c inprocessing phases 64
275.09/276.11	c input clauses 313
275.09/276.11	c input cardinalities 2
275.09/276.11	c input general constraints 242
275.09/276.11	c input average constraint length 5.24
275.09/276.11	c input average constraint degree 2.36
275.09/276.11	c learned clauses 412682
275.09/276.11	c learned cardinalities 14880
275.09/276.11	c learned general constraints 206219
275.09/276.11	c learned average constraint length 195.43
275.09/276.11	c learned average constraint degree 1044424765.57
275.09/276.11	c watched constraints 205173
275.09/276.11	c counting constraints 1288
275.09/276.11	c gcd simplifications 98001
275.09/276.11	c detected cardinalities 916
275.09/276.11	c weakened non-implied lits 10731477
275.09/276.11	c weakened non-implying lits 265253
275.09/276.11	c original variables 370
275.09/276.11	c clausal propagations 7429110
275.09/276.11	c cardinality propagations 1786330
275.09/276.11	c watched propagations 3342416
275.09/276.11	c counting propagations 15575876
275.09/276.11	c watch lookups 2332753973
275.09/276.11	c watch backjump lookups 138245363
275.09/276.11	c watch checks 30932152439
275.09/276.11	c propagation checks 379633830
275.09/276.11	c constraint additions 291108969
275.09/276.11	c trail pops 30702211
275.09/276.11	c formula constraints 557
275.09/276.11	c learned constraints 535127
275.09/276.11	c bound constraints 0
275.09/276.11	c core-guided constraints 0
275.09/276.11	c encountered formula constraints 11716147
275.09/276.11	c encountered learned constraints 1532437
275.09/276.11	c encountered bound constraints 0
275.09/276.11	c encountered core-guided constraints 0
275.09/276.11	c LP total time 68.1568 s
275.09/276.11	c LP solve time 48.01 s
275.09/276.11	c LP constraints added 833
275.09/276.11	c LP constraints removed 211
275.09/276.11	c LP pivots internal 535572
275.09/276.11	c LP pivots root 32043
275.09/276.11	c LP calls 99727
275.09/276.11	c LP optimalities 1300
275.09/276.11	c LP no pivot count 1
275.09/276.11	c LP infeasibilities 98406
275.09/276.11	c LP valid Farkas constraints 98160
275.09/276.11	c LP learned Farkas constraints 345
275.09/276.11	c LP basis resets 24
275.09/276.11	c LP cycling count 8
275.09/276.11	c LP singular count 8
275.09/276.11	c LP no primal count 0
275.09/276.11	c LP no farkas count 4
275.09/276.11	c LP other issue count 4
275.09/276.11	c LP Gomory cuts 149
275.09/276.11	c LP learned cuts 127
275.09/276.11	c LP deleted cuts 211
275.09/276.11	c LP encountered Gomory constraints 26681
275.09/276.11	c LP encountered Farkas constraints 12576
275.09/276.11	c LP encountered learned Farkas constraints 387
275.09/276.11	c CG auxiliary variables introduced 0
275.09/276.11	c CG solutions found 0
275.09/276.11	c CG cores constructed 0
275.09/276.11	c CG core cardinality constraints returned 0
275.09/276.11	c CG unit cores 0
275.09/276.11	c CG single cores 0
275.09/276.11	c CG blocks removed during cardinality reduction 0
275.09/276.11	c CG first core best 0
275.09/276.11	c CG decision core best 0
275.09/276.11	c CG core reduction tie 0
275.09/276.11	c CG core degree average 0.00
275.09/276.11	c CG core slack average 0.00
275.09/276.11	s SATISFIABLE
275.09/276.11	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: 63968 MiB (62777 MiB free)
  memory of node 1: 64473 MiB (63328 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=968268, runsolver pid=968265

[startup+0.100553 s]*
/proc/loadavg: 1.76 3.30 3.81 5/259 968269
/proc/meminfo: memFree=129122148/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=38380 memory=11196 CPUtime=0.09 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 688 0 0 0 8 1 0 0 20 0 1 0 183717639 39301120 2799 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 9595 2799 1833 922 0 1547 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38380 KiB
Current children cumulated memory: 11196 KiB

[startup+0.204853 s]*
/proc/loadavg: 1.76 3.30 3.81 5/259 968269
/proc/meminfo: memFree=129116924/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=38656 memory=11536 CPUtime=0.2 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 763 0 0 0 19 1 0 0 20 0 1 0 183717639 39583744 2884 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 9664 2884 1833 922 0 1616 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38656 KiB
Current children cumulated memory: 11536 KiB

[startup+0.30468 s]*
/proc/loadavg: 1.76 3.30 3.81 5/259 968269
/proc/meminfo: memFree=129113924/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=38868 memory=11852 CPUtime=0.29 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 818 0 0 0 28 1 0 0 20 0 1 0 183717639 39800832 2963 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 9717 2963 1833 922 0 1669 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38868 KiB
Current children cumulated memory: 11852 KiB

[startup+0.70015 s]
/proc/loadavg: 1.76 3.30 3.81 5/259 968269
/proc/meminfo: memFree=129109264/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=39584 memory=12888 CPUtime=0.69 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 1063 0 0 0 66 3 0 0 20 0 1 0 183717639 40534016 3222 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 9896 3222 1849 922 0 1848 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12888 KiB

[startup+1.50015 s]
/proc/loadavg: 1.86 3.29 3.80 4/257 968269
/proc/meminfo: memFree=129111808/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=40060 memory=14312 CPUtime=1.49 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 1420 0 0 0 143 6 0 0 20 0 1 0 183717639 41021440 3578 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 10015 3578 1849 922 0 1967 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40060 KiB
Current children cumulated memory: 14312 KiB

[startup+3.10478 s]
/proc/loadavg: 1.86 3.29 3.80 5/259 968315
/proc/meminfo: memFree=129096992/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=43552 memory=15956 CPUtime=3.09 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 1816 0 0 0 297 12 0 0 20 0 1 0 183717639 44597248 3989 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 10888 3989 1849 922 0 2840 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43552 KiB
Current children cumulated memory: 15956 KiB

[startup+6.30014 s]
/proc/loadavg: 2.03 3.31 3.80 5/259 968315
/proc/meminfo: memFree=129086256/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=44532 memory=17888 CPUtime=6.27 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 2347 0 0 0 604 23 0 0 20 0 1 0 183717639 45600768 4472 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 11133 4472 1849 922 0 3085 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44532 KiB
Current children cumulated memory: 17888 KiB

[startup+12.7001 s]
/proc/loadavg: 2.19 3.32 3.81 5/259 968363
/proc/meminfo: memFree=129085788/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=50400 memory=20936 CPUtime=12.65 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 3104 0 0 0 1223 42 0 0 20 0 1 0 183717639 51609600 5234 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 12600 5234 1849 922 0 4552 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 20936 KiB

[startup+25.5002 s]
/proc/loadavg: 2.47 3.34 3.81 5/259 968364
/proc/meminfo: memFree=129048916/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=62724 memory=35244 CPUtime=25.4 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 4893 0 0 0 2471 69 0 0 20 0 1 0 183717639 64229376 8811 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 15681 8811 1849 922 0 7633 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 62724 KiB
Current children cumulated memory: 35244 KiB

[startup+51.1047 s]
/proc/loadavg: 3.14 3.42 3.82 5/259 968415
/proc/meminfo: memFree=129015692/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=66040 memory=38428 CPUtime=50.92 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 5767 0 0 0 4958 134 0 0 20 0 1 0 183717639 67624960 9607 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 16510 9607 1982 922 0 8462 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 66040 KiB
Current children cumulated memory: 38428 KiB

[startup+102.3 s]
/proc/loadavg: 3.68 3.53 3.84 5/259 968424
/proc/meminfo: memFree=128955984/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=90820 memory=61340 CPUtime=101.95 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 10307 0 0 0 9937 258 0 0 20 0 1 0 183717639 92999680 15335 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 22705 15335 1982 922 0 14657 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 90820 KiB
Current children cumulated memory: 61340 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 3.71 3.88 5/259 968435
/proc/meminfo: memFree=128922172/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=113696 memory=66736 CPUtime=161.72 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 11991 0 0 0 15807 365 0 0 20 0 1 0 183717639 116424704 16684 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 28424 16684 1982 922 0 20376 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 66736 KiB

[startup+222.3 s]
/proc/loadavg: 4.45 3.88 3.93 5/256 968445
/proc/meminfo: memFree=128901756/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=115572 memory=75072 CPUtime=221.49 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 13064 0 0 0 21684 465 0 0 20 0 1 0 183717639 118345728 18768 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 28893 18768 1982 922 0 20845 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 115572 KiB
Current children cumulated memory: 75072 KiB

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

# cumulated CPU time of all completed processes:  user=269.717 s, system=5.39782 s

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

[startup+230.4 s]
/proc/loadavg: 4.42 3.89 3.93 5/256 968447
/proc/meminfo: memFree=128900688/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=116556 memory=76124 CPUtime=229.56 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 13290 0 0 0 22480 476 0 0 20 0 1 0 183717639 119353344 19031 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 29139 19031 1982 922 0 21091 0
Current children cumulated CPU time: 229.56 s
Current children cumulated vsize: 116556 KiB
Current children cumulated memory: 76124 KiB

[startup+256 s]*
/proc/loadavg: 4.35 3.91 3.94 5/256 968450
/proc/meminfo: memFree=128898524/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=116904 memory=76684 CPUtime=255.07 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 13683 0 0 0 24995 512 0 0 20 0 1 0 183717639 119709696 19171 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 29226 19171 1982 922 0 21178 0
Current children cumulated CPU time: 255.07 s
Current children cumulated vsize: 116904 KiB
Current children cumulated memory: 76684 KiB

[startup+268.8 s]
/proc/loadavg: 4.27 3.92 3.94 5/256 968451
/proc/meminfo: memFree=128890368/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=118428 memory=77832 CPUtime=267.81 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 14100 0 0 0 26254 527 0 0 20 0 1 0 183717639 121270272 19458 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 29607 19458 1982 922 0 21559 0
Current children cumulated CPU time: 267.81 s
Current children cumulated vsize: 118428 KiB
Current children cumulated memory: 77832 KiB

[startup+272 s]*
/proc/loadavg: 4.25 3.92 3.94 5/256 968454
/proc/meminfo: memFree=128889804/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=118428 memory=77832 CPUtime=271.01 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 14102 0 0 0 26570 531 0 0 20 0 1 0 183717639 121270272 19458 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 29607 19458 1982 922 0 21559 0
Current children cumulated CPU time: 271.01 s
Current children cumulated vsize: 118428 KiB
Current children cumulated memory: 77832 KiB

[startup+273.6 s]
/proc/loadavg: 4.25 3.92 3.94 5/256 968454
/proc/meminfo: memFree=128888432/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=118428 memory=77832 CPUtime=272.6 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 14105 0 0 0 26726 534 0 0 20 0 1 0 183717639 121270272 19458 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 29607 19458 1982 922 0 21559 0
Current children cumulated CPU time: 272.6 s
Current children cumulated vsize: 118428 KiB
Current children cumulated memory: 77832 KiB

[startup+275.2 s]
/proc/loadavg: 4.25 3.92 3.94 5/256 968454
/proc/meminfo: memFree=128887704/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=118488 memory=78200 CPUtime=274.19 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 14221 0 0 0 26882 537 0 0 20 0 1 0 183717639 121331712 19550 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 29622 19550 1982 922 0 21574 0
Current children cumulated CPU time: 274.19 s
Current children cumulated vsize: 118488 KiB
Current children cumulated memory: 78200 KiB

[startup+275.6 s]
/proc/loadavg: 4.25 3.92 3.94 5/256 968454
/proc/meminfo: memFree=128887704/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=118488 memory=78200 CPUtime=274.59 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 14221 0 0 0 26921 538 0 0 20 0 1 0 183717639 121331712 19550 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 29622 19550 1982 922 0 21574 0
Current children cumulated CPU time: 274.59 s
Current children cumulated vsize: 118488 KiB
Current children cumulated memory: 78200 KiB

[startup+276 s]*
/proc/loadavg: 4.25 3.92 3.94 5/256 968454
/proc/meminfo: memFree=128887732/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=118488 memory=78200 CPUtime=275 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 14221 0 0 0 26961 539 0 0 20 0 1 0 183717639 121331712 19550 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 29622 19550 1982 922 0 21574 0
Current children cumulated CPU time: 275 s
Current children cumulated vsize: 118488 KiB
Current children cumulated memory: 78200 KiB

[startup+276.105 s]
/proc/loadavg: 4.25 3.92 3.94 5/256 968454
/proc/meminfo: memFree=128887732/131524600 swapFree=131071996/131071996
[pid=968268] ppid=968265 vsize=118488 memory=78200 CPUtime=275.09 cores=0,2
/proc/968268/stat : 968268 (roundingsat) R 968265 968268 968194 0 -1 4194304 14221 0 0 0 26970 539 0 0 20 0 1 0 183717639 121331712 19550 134679101440 4194304 7968869 140726777066080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 21291008 140726777070525 140726777070689 140726777070689 140726777077705 0
/proc/968268/statm: 29622 19550 1982 922 0 21574 0
Current children cumulated CPU time: 275.09 s
Current children cumulated vsize: 118488 KiB
Current children cumulated memory: 78200 KiB

Child status: 0

Real time (s): 276.116
CPU time (s): 275.115
CPU user time (s): 269.717
CPU system time (s): 5.39782
CPU usage (%): 99.6372
Max. virtual memory (cumulated for all children) (KiB): 118712
Max. memory (cumulated for all children) (KiB): 78200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.717
system time used= 5.39782
maximum resident set size= 78336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14229
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= 10
involuntary context switches= 1929


# summary of solver processes directly reported to runsolver:
#   pid: 968268
#   total CPU time (s): 275.115
#   total CPU user time (s): 269.717
#   total CPU system time (s): 5.39782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.504941 second user time and 1.14137 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-18 17:12:07
IDJOB=4443220
IDBENCH=147867
IDSOLVER=3051
FILE ID=nodeC026/4443220-1721315515
RUNJOBID= nodeC026-1721315527-968204
SLURM_JOB_ID= 7542650
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-4443220-1721315515/watcher-4443220-1721315515 -o /tmp/evaluation-result-4443220-1721315515/solver-4443220-1721315515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721315527-968204 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4443220-1721315515.opb

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

MD5SUM BENCH= 577423e4c806b19b8b5f6a5daee1c614
RANDOM SEED=1618023879

nodeC026.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		: 3650.605
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.74
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		: 3640.950
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	: 7005.45
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		: 3641.020
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.74
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		: 3663.539
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	: 7005.45
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		: 3650.376
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.74
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		: 3629.876
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	: 7005.45
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		: 3639.830
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.74
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		: 3661.511
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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129130020 kB
MemAvailable:   129738640 kB
Buffers:          516944 kB
Cached:           928844 kB
SwapCached:            0 kB
Active:          1018740 kB
Inactive:         764628 kB
Active(anon):       1492 kB
Inactive(anon):   373800 kB
Active(file):    1017248 kB
Inactive(file):   390828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             20760 kB
Writeback:             0 kB
AnonPages:        334836 kB
Mapped:           106124 kB
Shmem:             37720 kB
KReclaimable:      80736 kB
Slab:             191308 kB
SReclaimable:      80736 kB
SUnreclaim:       110572 kB
KernelStack:        4004 kB
PageTables:         9992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     678232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    358400 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC026 at 2024-07-18 17:16:44