Trace number 4495932

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+pbsuma 63f22adSAT 456.047 457.189

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
MD5SUM13439fe0222d33319b9169d149c100b9
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.005377
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables82
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint82
Maximum length of a constraint82
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 104723596
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 1078440737
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4495932-1751157373.opb'
0.00/0.01	c 	read 0.00MB  (0.11ms)
0.00/0.01	c	 [cnf: #variables 82 #clauses 2 #duplicates 0 #arr 164]
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.01	c	 [group: #orbits ~= 22] (0.08ms)
0.00/0.01	c 
0.00/0.01	c detect special group actions
0.00/0.01	c 	probe for Johnson action (limit=64)
0.00/0.01	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01	c 	 (0.05ms)
0.00/0.01	c 
0.00/0.01	c detect symmetries on remainder
0.00/0.01	c 	[graph: #vertices 330 #edges 820]
0.00/0.01	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01	c 	 [group: #symmetries 2.05*10^3 #generators 11] (0.11ms)
0.00/0.01	c 
0.00/0.01	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01	c 	ran it=0, +gens=1 
0.00/0.01	c 	con best_support=4, best_gens=11, +gens=0
0.00/0.01	c 	(0.15ms)
0.00/0.01	c 
0.00/0.01	c finalize break order and special generators
0.00/0.01	c 
0.00/0.01	c add generic predicates (break_depth=10)
0.00/0.01	c 	added predicates for 12 generators (0.01ms)
0.00/0.01	c 
0.00/0.01	c generation finished
0.00/0.01	c 	[sbp: #constraints 12 #add_vars 0]
0.00/0.01	c 
0.00/0.01	c write result to 'HOME/instance-4495932-1751157373.opb.pre'
0.00/0.01	c 	wrote 0.00MB (0.06ms)
0.00/0.01	c ------------------------------------------------------------------
0.00/0.01	c                   0.15ms 24.64% optimize_gens
0.00/0.01	c                   0.11ms 17.67% parse
0.00/0.01	c                   0.11ms 17.32% detect_generic
0.00/0.01	c                   0.08ms 12.84% approx_orbits
0.00/0.01	c                   0.06ms  9.64% output
0.00/0.01	c                   0.05ms  8.40% other
0.00/0.01	c                   0.05ms  7.53% detect_special
0.00/0.01	c                   0.01ms  1.06% finalize_order
0.00/0.01	c                   0.01ms  0.90% break_generic
0.00/0.01	c         ───────────────────────────────────────────────
0.00/0.01	c                   0.61ms   100% total
0.00/0.01	c ------------------------------------------------------------------
0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.02	c #variables 82 #constraints 14
0.00/0.02	c rational objective 1.12346
0.07/0.17	c #Conflicts:       1000 | #Constraints:       1014
0.07/0.17	c #Conflicts:       2000 | #Constraints:       2014
0.07/0.17	c INPROCESSING
0.07/0.17	c GARBAGE COLLECT
0.07/0.17	c rational objective 2
0.38/0.43	c #Conflicts:       3000 | #Constraints:       2019
0.38/0.43	c #Conflicts:       4000 | #Constraints:       3019
0.38/0.43	c INPROCESSING
0.38/0.43	c GARBAGE COLLECT
0.38/0.43	c rational objective 2
0.77/0.80	c #Conflicts:       5000 | #Constraints:       2423
0.77/0.80	c #Conflicts:       6000 | #Constraints:       3423
0.77/0.80	c INPROCESSING
0.77/0.80	c GARBAGE COLLECT
0.77/0.80	c rational objective 2
1.27/1.36	c #Conflicts:       7000 | #Constraints:       2425
1.27/1.36	c #Conflicts:       8000 | #Constraints:       3425
1.27/1.36	c #Conflicts:       9000 | #Constraints:       4425
1.27/1.36	c INPROCESSING
1.27/1.36	c GARBAGE COLLECT
1.27/1.36	c rational objective 2
2.17/2.24	c #Conflicts:      10000 | #Constraints:       3165
2.17/2.24	c #Conflicts:      11000 | #Constraints:       4230
2.17/2.24	c #Conflicts:      12000 | #Constraints:       5247
2.17/2.24	c INPROCESSING
2.17/2.24	c GARBAGE COLLECT
2.17/2.24	c rational objective 2
2.86/2.98	c #Conflicts:      13000 | #Constraints:       3650
2.86/2.98	c #Conflicts:      14000 | #Constraints:       4759
2.86/2.98	c #Conflicts:      15000 | #Constraints:       5842
2.86/2.98	c INPROCESSING
2.86/2.98	c GARBAGE COLLECT
2.86/2.98	c rational objective 2
3.76/3.83	c #Conflicts:      16000 | #Constraints:       3946
3.76/3.83	c #Conflicts:      17000 | #Constraints:       4996
3.76/3.83	c #Conflicts:      18000 | #Constraints:       5996
3.76/3.83	c INPROCESSING
3.76/3.83	c GARBAGE COLLECT
3.76/3.83	c rational objective 2
4.96/5.00	c #Conflicts:      19000 | #Constraints:       3912
4.96/5.00	c #Conflicts:      20000 | #Constraints:       4948
4.96/5.00	c #Conflicts:      21000 | #Constraints:       6034
4.96/5.00	c INPROCESSING
4.96/5.00	c GARBAGE COLLECT
4.96/5.00	c rational objective 2
6.26/6.30	c #Conflicts:      22000 | #Constraints:       3740
6.26/6.30	c #Conflicts:      23000 | #Constraints:       4785
6.26/6.30	c #Conflicts:      24000 | #Constraints:       5870
6.26/6.30	c #Conflicts:      25000 | #Constraints:       6927
6.26/6.30	c INPROCESSING
6.26/6.30	c GARBAGE COLLECT
6.26/6.30	c rational objective 2
7.75/7.80	c #Conflicts:      26000 | #Constraints:       4417
7.75/7.80	c #Conflicts:      27000 | #Constraints:       5476
7.75/7.80	c #Conflicts:      28000 | #Constraints:       6535
7.75/7.80	c #Conflicts:      29000 | #Constraints:       7622
7.75/7.80	c INPROCESSING
7.75/7.80	c GARBAGE COLLECT
7.75/7.80	c rational objective 2
9.05/9.16	c #Conflicts:      30000 | #Constraints:       4831
9.05/9.16	c #Conflicts:      31000 | #Constraints:       5831
9.05/9.16	c #Conflicts:      32000 | #Constraints:       6866
9.05/9.16	c #Conflicts:      33000 | #Constraints:       7943
9.05/9.16	c INPROCESSING
9.05/9.16	c GARBAGE COLLECT
9.05/9.16	c rational objective 2
11.44/11.57	c #Conflicts:      34000 | #Constraints:       4985
11.44/11.57	c #Conflicts:      35000 | #Constraints:       5997
11.44/11.57	c #Conflicts:      36000 | #Constraints:       7122
11.44/11.57	c #Conflicts:      37000 | #Constraints:       8434
11.44/11.57	c INPROCESSING
11.44/11.57	c GARBAGE COLLECT
11.44/11.57	c rational objective 2
14.13/14.22	c #Conflicts:      38000 | #Constraints:       5183
14.13/14.22	c #Conflicts:      39000 | #Constraints:       6229
14.13/14.22	c #Conflicts:      40000 | #Constraints:       7278
14.13/14.22	c #Conflicts:      41000 | #Constraints:       8338
14.13/14.22	c INPROCESSING
14.13/14.22	c GARBAGE COLLECT
14.13/14.22	c rational objective 2
17.04/17.19	c #Conflicts:      42000 | #Constraints:       4900
17.04/17.19	c #Conflicts:      43000 | #Constraints:       5919
17.04/17.19	c #Conflicts:      44000 | #Constraints:       6953
17.04/17.19	c #Conflicts:      45000 | #Constraints:       8036
17.04/17.19	c #Conflicts:      46000 | #Constraints:       9079
17.04/17.19	c INPROCESSING
17.04/17.19	c GARBAGE COLLECT
17.04/17.19	c rational objective 2
19.63/19.79	c #Conflicts:      47000 | #Constraints:       5472
19.63/19.79	c #Conflicts:      48000 | #Constraints:       6551
19.63/19.79	c #Conflicts:      49000 | #Constraints:       7591
19.63/19.79	c #Conflicts:      50000 | #Constraints:       8630
19.63/19.79	c #Conflicts:      51000 | #Constraints:       9630
19.63/19.79	c INPROCESSING
19.63/19.79	c GARBAGE COLLECT
19.63/19.79	c rational objective 2
21.93/22.01	c #Conflicts:      52000 | #Constraints:       5830
21.93/22.01	c #Conflicts:      53000 | #Constraints:       6830
21.93/22.01	c #Conflicts:      54000 | #Constraints:       7830
21.93/22.01	c #Conflicts:      55000 | #Constraints:       8830
21.93/22.01	c #Conflicts:      56000 | #Constraints:       9830
21.93/22.01	c INPROCESSING
21.93/22.01	c GARBAGE COLLECT
21.93/22.01	c rational objective 2
23.92/24.03	c #Conflicts:      57000 | #Constraints:       5963
23.92/24.03	c #Conflicts:      58000 | #Constraints:       7003
23.92/24.03	c #Conflicts:      59000 | #Constraints:       8050
23.92/24.03	c #Conflicts:      60000 | #Constraints:       9052
23.92/24.03	c #Conflicts:      61000 | #Constraints:      10058
23.92/24.03	c INPROCESSING
23.92/24.03	c GARBAGE COLLECT
23.92/24.03	c rational objective 2
26.51/26.68	c #Conflicts:      62000 | #Constraints:       5993
26.51/26.68	c #Conflicts:      63000 | #Constraints:       7039
26.51/26.68	c #Conflicts:      64000 | #Constraints:       8081
26.51/26.68	c #Conflicts:      65000 | #Constraints:       9143
26.51/26.68	c #Conflicts:      66000 | #Constraints:      10201
26.51/26.68	c INPROCESSING
26.51/26.68	c GARBAGE COLLECT
26.51/26.68	c rational objective 2
29.80/29.91	c #Conflicts:      67000 | #Constraints:       5830
29.80/29.91	c #Conflicts:      68000 | #Constraints:       6860
29.80/29.91	c #Conflicts:      69000 | #Constraints:       7919
29.80/29.91	c #Conflicts:      70000 | #Constraints:       8978
29.80/29.91	c #Conflicts:      71000 | #Constraints:      10114
29.80/29.91	c #Conflicts:      72000 | #Constraints:      11229
29.80/29.91	c INPROCESSING
29.80/29.91	c GARBAGE COLLECT
29.80/29.91	c rational objective 2
32.90/33.10	c #Conflicts:      73000 | #Constraints:       6600
32.90/33.10	c #Conflicts:      74000 | #Constraints:       7649
32.90/33.10	c #Conflicts:      75000 | #Constraints:       8750
32.90/33.10	c #Conflicts:      76000 | #Constraints:       9806
32.90/33.10	c #Conflicts:      77000 | #Constraints:      10840
32.90/33.10	c #Conflicts:      78000 | #Constraints:      11903
32.90/33.10	c INPROCESSING
32.90/33.10	c GARBAGE COLLECT
32.90/33.10	c rational objective 2
37.28/37.46	c #Conflicts:      79000 | #Constraints:       6985
37.28/37.46	c #Conflicts:      80000 | #Constraints:       8038
37.28/37.46	c #Conflicts:      81000 | #Constraints:       9073
37.28/37.46	c #Conflicts:      82000 | #Constraints:      10118
37.28/37.46	c #Conflicts:      83000 | #Constraints:      11162
37.28/37.46	c #Conflicts:      84000 | #Constraints:      12176
37.28/37.46	c INPROCESSING
37.28/37.46	c GARBAGE COLLECT
37.28/37.46	c rational objective 2
40.48/40.66	c #Conflicts:      85000 | #Constraints:       7173
40.48/40.66	c #Conflicts:      86000 | #Constraints:       8259
40.48/40.66	c #Conflicts:      87000 | #Constraints:       9304
40.48/40.66	c #Conflicts:      88000 | #Constraints:      10411
40.48/40.66	c #Conflicts:      89000 | #Constraints:      11533
40.48/40.66	c #Conflicts:      90000 | #Constraints:      12591
40.48/40.66	c INPROCESSING
40.48/40.66	c GARBAGE COLLECT
40.48/40.66	c rational objective 2
45.97/46.16	c #Conflicts:      91000 | #Constraints:       7259
45.97/46.16	c #Conflicts:      92000 | #Constraints:       8304
45.97/46.16	c #Conflicts:      93000 | #Constraints:       9640
45.97/46.16	c #Conflicts:      94000 | #Constraints:      10748
45.97/46.16	c #Conflicts:      95000 | #Constraints:      11816
45.97/46.16	c #Conflicts:      96000 | #Constraints:      12871
45.97/46.16	c INPROCESSING
45.97/46.16	c GARBAGE COLLECT
45.97/46.16	c rational objective 2
49.85/50.07	c #Conflicts:      97000 | #Constraints:       7182
49.85/50.07	c #Conflicts:      98000 | #Constraints:       8254
49.85/50.07	c #Conflicts:      99000 | #Constraints:       9313
49.85/50.07	c #Conflicts:     100000 | #Constraints:      10403
49.85/50.07	c #Conflicts:     101000 | #Constraints:      11487
49.85/50.07	c #Conflicts:     102000 | #Constraints:      12572
49.85/50.07	c #Conflicts:     103000 | #Constraints:      13631
49.85/50.07	c INPROCESSING
49.85/50.07	c GARBAGE COLLECT
49.85/50.07	c rational objective 2
54.94/55.19	c #Conflicts:     104000 | #Constraints:       7742
54.94/55.19	c #Conflicts:     105000 | #Constraints:       8801
54.94/55.19	c #Conflicts:     106000 | #Constraints:       9842
54.94/55.19	c #Conflicts:     107000 | #Constraints:      10900
54.94/55.19	c #Conflicts:     108000 | #Constraints:      11969
54.94/55.19	c #Conflicts:     109000 | #Constraints:      13028
54.94/55.19	c #Conflicts:     110000 | #Constraints:      14115
54.94/55.19	c INPROCESSING
54.94/55.19	c GARBAGE COLLECT
54.94/55.19	c rational objective 2
59.84/60.01	c #Conflicts:     111000 | #Constraints:       8093
59.84/60.01	c #Conflicts:     112000 | #Constraints:       9173
59.84/60.01	c #Conflicts:     113000 | #Constraints:      10247
59.84/60.01	c #Conflicts:     114000 | #Constraints:      11306
59.84/60.01	c #Conflicts:     115000 | #Constraints:      12343
59.84/60.01	c #Conflicts:     116000 | #Constraints:      13384
59.84/60.01	c #Conflicts:     117000 | #Constraints:      14435
59.84/60.01	c INPROCESSING
59.84/60.01	c GARBAGE COLLECT
59.84/60.01	c rational objective 2
65.92/66.13	c #Conflicts:     118000 | #Constraints:       8241
65.92/66.13	c #Conflicts:     119000 | #Constraints:       9293
65.92/66.13	c #Conflicts:     120000 | #Constraints:      10344
65.92/66.13	c #Conflicts:     121000 | #Constraints:      11403
65.92/66.13	c #Conflicts:     122000 | #Constraints:      12487
65.92/66.13	c #Conflicts:     123000 | #Constraints:      13540
65.92/66.13	c #Conflicts:     124000 | #Constraints:      14597
65.92/66.13	c INPROCESSING
65.92/66.13	c GARBAGE COLLECT
65.92/66.13	c rational objective 2
71.99/72.24	c #Conflicts:     125000 | #Constraints:       8244
71.99/72.24	c #Conflicts:     126000 | #Constraints:       9302
71.99/72.24	c #Conflicts:     127000 | #Constraints:      10342
71.99/72.24	c #Conflicts:     128000 | #Constraints:      11419
71.99/72.24	c #Conflicts:     129000 | #Constraints:      12459
71.99/72.24	c #Conflicts:     130000 | #Constraints:      13526
71.99/72.24	c #Conflicts:     131000 | #Constraints:      14582
71.99/72.24	c INPROCESSING
71.99/72.24	c GARBAGE COLLECT
71.99/72.24	c rational objective 2
76.89/77.11	c #Conflicts:     132000 | #Constraints:       8021
76.89/77.11	c #Conflicts:     133000 | #Constraints:       9021
76.89/77.11	c #Conflicts:     134000 | #Constraints:      10049
76.89/77.11	c #Conflicts:     135000 | #Constraints:      11129
76.89/77.11	c #Conflicts:     136000 | #Constraints:      12250
76.89/77.11	c #Conflicts:     137000 | #Constraints:      13300
76.89/77.11	c #Conflicts:     138000 | #Constraints:      14372
76.89/77.11	c #Conflicts:     139000 | #Constraints:      15489
76.89/77.11	c INPROCESSING
76.89/77.11	c GARBAGE COLLECT
76.89/77.11	c rational objective 2
81.28/81.56	c #Conflicts:     140000 | #Constraints:       8673
81.28/81.56	c #Conflicts:     141000 | #Constraints:       9673
81.28/81.56	c #Conflicts:     142000 | #Constraints:      10673
81.28/81.56	c #Conflicts:     143000 | #Constraints:      11673
81.28/81.56	c #Conflicts:     144000 | #Constraints:      12673
81.28/81.56	c #Conflicts:     145000 | #Constraints:      13673
81.28/81.56	c #Conflicts:     146000 | #Constraints:      14673
81.28/81.56	c #Conflicts:     147000 | #Constraints:      15673
81.28/81.56	c INPROCESSING
81.28/81.56	c GARBAGE COLLECT
81.28/81.56	c rational objective 2
87.26/87.58	c #Conflicts:     148000 | #Constraints:       8860
87.26/87.58	c #Conflicts:     149000 | #Constraints:       9891
87.26/87.58	c #Conflicts:     150000 | #Constraints:      10950
87.26/87.58	c #Conflicts:     151000 | #Constraints:      12003
87.26/87.58	c #Conflicts:     152000 | #Constraints:      13213
87.26/87.58	c #Conflicts:     153000 | #Constraints:      14306
87.26/87.58	c #Conflicts:     154000 | #Constraints:      15385
87.26/87.58	c #Conflicts:     155000 | #Constraints:      16474
87.26/87.58	c INPROCESSING
87.26/87.58	c GARBAGE COLLECT
87.26/87.58	c rational objective 2
94.35/94.63	c #Conflicts:     156000 | #Constraints:       9327
94.35/94.63	c #Conflicts:     157000 | #Constraints:      10383
94.35/94.63	c #Conflicts:     158000 | #Constraints:      11453
94.35/94.63	c #Conflicts:     159000 | #Constraints:      12514
94.35/94.63	c #Conflicts:     160000 | #Constraints:      13603
94.35/94.63	c #Conflicts:     161000 | #Constraints:      14659
94.35/94.63	c #Conflicts:     162000 | #Constraints:      15703
94.35/94.63	c #Conflicts:     163000 | #Constraints:      16730
94.35/94.63	c INPROCESSING
94.35/94.63	c GARBAGE COLLECT
94.35/94.63	c rational objective 2
100.93/101.23	c #Conflicts:     164000 | #Constraints:       9331
100.93/101.23	c #Conflicts:     165000 | #Constraints:      10389
100.93/101.23	c #Conflicts:     166000 | #Constraints:      11437
100.93/101.23	c #Conflicts:     167000 | #Constraints:      12468
100.93/101.23	c #Conflicts:     168000 | #Constraints:      13491
100.93/101.23	c #Conflicts:     169000 | #Constraints:      14497
100.93/101.23	c #Conflicts:     170000 | #Constraints:      15588
100.93/101.23	c #Conflicts:     171000 | #Constraints:      16653
100.93/101.23	c INPROCESSING
100.93/101.23	c GARBAGE COLLECT
100.93/101.23	c rational objective 2
107.42/107.73	c #Conflicts:     172000 | #Constraints:       9059
107.42/107.73	c #Conflicts:     173000 | #Constraints:      10059
107.42/107.73	c #Conflicts:     174000 | #Constraints:      11059
107.42/107.73	c #Conflicts:     175000 | #Constraints:      12069
107.42/107.73	c #Conflicts:     176000 | #Constraints:      13117
107.42/107.73	c #Conflicts:     177000 | #Constraints:      14136
107.42/107.73	c #Conflicts:     178000 | #Constraints:      15136
107.42/107.73	c #Conflicts:     179000 | #Constraints:      16136
107.42/107.73	c #Conflicts:     180000 | #Constraints:      17204
107.42/107.73	c INPROCESSING
107.42/107.73	c GARBAGE COLLECT
107.42/107.73	c rational objective 2
113.20/113.53	c #Conflicts:     181000 | #Constraints:       9521
113.20/113.53	c #Conflicts:     182000 | #Constraints:      10521
113.20/113.53	c #Conflicts:     183000 | #Constraints:      11521
113.20/113.53	c #Conflicts:     184000 | #Constraints:      12521
113.20/113.53	c #Conflicts:     185000 | #Constraints:      13521
113.20/113.53	c #Conflicts:     186000 | #Constraints:      14521
113.20/113.53	c #Conflicts:     187000 | #Constraints:      15521
113.20/113.53	c #Conflicts:     188000 | #Constraints:      16521
113.20/113.53	c #Conflicts:     189000 | #Constraints:      17521
113.20/113.53	c INPROCESSING
113.20/113.53	c GARBAGE COLLECT
113.20/113.53	c rational objective 2
121.79/122.14	c #Conflicts:     190000 | #Constraints:       9776
121.79/122.14	c #Conflicts:     191000 | #Constraints:      10776
121.79/122.14	c #Conflicts:     192000 | #Constraints:      11776
121.79/122.14	c #Conflicts:     193000 | #Constraints:      12792
121.79/122.14	c #Conflicts:     194000 | #Constraints:      13809
121.79/122.14	c #Conflicts:     195000 | #Constraints:      14840
121.79/122.14	c #Conflicts:     196000 | #Constraints:      15872
121.79/122.14	c #Conflicts:     197000 | #Constraints:      16884
121.79/122.14	c #Conflicts:     198000 | #Constraints:      17925
121.79/122.14	c INPROCESSING
121.79/122.14	c GARBAGE COLLECT
121.79/122.14	c rational objective 2
128.27/128.69	c #Conflicts:     199000 | #Constraints:       9976
128.27/128.69	c #Conflicts:     200000 | #Constraints:      10976
128.27/128.69	c #Conflicts:     201000 | #Constraints:      11976
128.27/128.69	c #Conflicts:     202000 | #Constraints:      12976
128.27/128.69	c #Conflicts:     203000 | #Constraints:      13976
128.27/128.69	c #Conflicts:     204000 | #Constraints:      14976
128.27/128.69	c #Conflicts:     205000 | #Constraints:      15976
128.27/128.69	c #Conflicts:     206000 | #Constraints:      16976
128.27/128.69	c #Conflicts:     207000 | #Constraints:      17976
128.27/128.69	c INPROCESSING
128.27/128.69	c GARBAGE COLLECT
128.27/128.69	c rational objective 2
140.54/140.92	c #Conflicts:     208000 | #Constraints:       9948
140.54/140.92	c #Conflicts:     209000 | #Constraints:      11003
140.54/140.92	c #Conflicts:     210000 | #Constraints:      12061
140.54/140.92	c #Conflicts:     211000 | #Constraints:      13145
140.54/140.92	c #Conflicts:     212000 | #Constraints:      14221
140.54/140.92	c #Conflicts:     213000 | #Constraints:      15287
140.54/140.92	c #Conflicts:     214000 | #Constraints:      16333
140.54/140.92	c #Conflicts:     215000 | #Constraints:      17415
140.54/140.92	c #Conflicts:     216000 | #Constraints:      18440
140.54/140.92	c INPROCESSING
140.54/140.92	c GARBAGE COLLECT
140.54/140.92	c rational objective 2
149.72/150.14	c #Conflicts:     217000 | #Constraints:       9953
149.72/150.14	c #Conflicts:     218000 | #Constraints:      11017
149.72/150.14	c #Conflicts:     219000 | #Constraints:      12083
149.72/150.14	c #Conflicts:     220000 | #Constraints:      13157
149.72/150.14	c #Conflicts:     221000 | #Constraints:      14228
149.72/150.14	c #Conflicts:     222000 | #Constraints:      15331
149.72/150.14	c #Conflicts:     223000 | #Constraints:      16408
149.72/150.14	c #Conflicts:     224000 | #Constraints:      17463
149.72/150.14	c #Conflicts:     225000 | #Constraints:      18522
149.72/150.14	c #Conflicts:     226000 | #Constraints:      19621
149.72/150.14	c INPROCESSING
149.72/150.14	c GARBAGE COLLECT
149.72/150.14	c rational objective 2
161.78/162.24	c #Conflicts:     227000 | #Constraints:      10761
161.78/162.24	c #Conflicts:     228000 | #Constraints:      12006
161.78/162.24	c #Conflicts:     229000 | #Constraints:      13130
161.78/162.24	c #Conflicts:     230000 | #Constraints:      14340
161.78/162.24	c #Conflicts:     231000 | #Constraints:      15435
161.78/162.24	c #Conflicts:     232000 | #Constraints:      16574
161.78/162.24	c #Conflicts:     233000 | #Constraints:      17647
161.78/162.24	c #Conflicts:     234000 | #Constraints:      18797
161.78/162.24	c #Conflicts:     235000 | #Constraints:      19867
161.78/162.24	c #Conflicts:     236000 | #Constraints:      20963
161.78/162.24	c INPROCESSING
161.78/162.24	c GARBAGE COLLECT
161.78/162.24	c rational objective 2
174.76/175.21	c #Conflicts:     237000 | #Constraints:      11529
174.76/175.21	c #Conflicts:     238000 | #Constraints:      12571
174.76/175.21	c #Conflicts:     239000 | #Constraints:      13648
174.76/175.21	c #Conflicts:     240000 | #Constraints:      14693
174.76/175.21	c #Conflicts:     241000 | #Constraints:      15761
174.76/175.21	c #Conflicts:     242000 | #Constraints:      16836
174.76/175.21	c #Conflicts:     243000 | #Constraints:      17885
174.76/175.21	c #Conflicts:     244000 | #Constraints:      18948
174.76/175.21	c #Conflicts:     245000 | #Constraints:      20008
174.76/175.21	c #Conflicts:     246000 | #Constraints:      21090
174.76/175.21	c INPROCESSING
174.76/175.21	c GARBAGE COLLECT
174.76/175.21	c rational objective 2
187.23/187.74	c #Conflicts:     247000 | #Constraints:      11736
187.23/187.74	c #Conflicts:     248000 | #Constraints:      12954
187.23/187.74	c #Conflicts:     249000 | #Constraints:      14133
187.23/187.74	c #Conflicts:     250000 | #Constraints:      15343
187.23/187.74	c #Conflicts:     251000 | #Constraints:      16427
187.23/187.74	c #Conflicts:     252000 | #Constraints:      17495
187.23/187.74	c #Conflicts:     253000 | #Constraints:      18555
187.23/187.74	c #Conflicts:     254000 | #Constraints:      19654
187.23/187.74	c #Conflicts:     255000 | #Constraints:      20726
187.23/187.74	c #Conflicts:     256000 | #Constraints:      21817
187.23/187.74	c INPROCESSING
187.23/187.74	c GARBAGE COLLECT
187.23/187.74	c rational objective 2
200.80/201.34	c #Conflicts:     257000 | #Constraints:      11844
200.80/201.34	c #Conflicts:     258000 | #Constraints:      12920
200.80/201.34	c #Conflicts:     259000 | #Constraints:      13966
200.80/201.34	c #Conflicts:     260000 | #Constraints:      15050
200.80/201.34	c #Conflicts:     261000 | #Constraints:      16121
200.80/201.34	c #Conflicts:     262000 | #Constraints:      17170
200.80/201.34	c #Conflicts:     263000 | #Constraints:      18242
200.80/201.34	c #Conflicts:     264000 | #Constraints:      19301
200.80/201.34	c #Conflicts:     265000 | #Constraints:      20357
200.80/201.34	c #Conflicts:     266000 | #Constraints:      21410
200.80/201.34	c INPROCESSING
200.80/201.34	c GARBAGE COLLECT
200.80/201.34	c rational objective 2
215.16/215.72	c #Conflicts:     267000 | #Constraints:      11446
215.16/215.72	c #Conflicts:     268000 | #Constraints:      12446
215.16/215.72	c #Conflicts:     269000 | #Constraints:      13446
215.16/215.72	c #Conflicts:     270000 | #Constraints:      14446
215.16/215.72	c #Conflicts:     271000 | #Constraints:      15597
215.16/215.72	c #Conflicts:     272000 | #Constraints:      16812
215.16/215.72	c #Conflicts:     273000 | #Constraints:      17895
215.16/215.72	c #Conflicts:     274000 | #Constraints:      18993
215.16/215.72	c #Conflicts:     275000 | #Constraints:      20063
215.16/215.72	c #Conflicts:     276000 | #Constraints:      21116
215.16/215.72	c #Conflicts:     277000 | #Constraints:      22214
215.16/215.72	c INPROCESSING
215.16/215.72	c GARBAGE COLLECT
215.16/215.72	c rational objective 2
229.03/229.67	c #Conflicts:     278000 | #Constraints:      12047
229.03/229.67	c #Conflicts:     279000 | #Constraints:      13115
229.03/229.67	c #Conflicts:     280000 | #Constraints:      14176
229.03/229.67	c #Conflicts:     281000 | #Constraints:      15178
229.03/229.67	c #Conflicts:     282000 | #Constraints:      16180
229.03/229.67	c #Conflicts:     283000 | #Constraints:      17180
229.03/229.67	c #Conflicts:     284000 | #Constraints:      18221
229.03/229.67	c #Conflicts:     285000 | #Constraints:      19281
229.03/229.67	c #Conflicts:     286000 | #Constraints:      20281
229.03/229.67	c #Conflicts:     287000 | #Constraints:      21365
229.03/229.67	c #Conflicts:     288000 | #Constraints:      22431
229.03/229.67	c INPROCESSING
229.03/229.67	c GARBAGE COLLECT
229.03/229.67	c rational objective 2
242.40/243.00	c #Conflicts:     289000 | #Constraints:      12252
242.40/243.00	c #Conflicts:     290000 | #Constraints:      13252
242.40/243.00	c #Conflicts:     291000 | #Constraints:      14259
242.40/243.00	c #Conflicts:     292000 | #Constraints:      15259
242.40/243.00	c #Conflicts:     293000 | #Constraints:      16289
242.40/243.00	c #Conflicts:     294000 | #Constraints:      17336
242.40/243.00	c #Conflicts:     295000 | #Constraints:      18422
242.40/243.00	c #Conflicts:     296000 | #Constraints:      19524
242.40/243.00	c #Conflicts:     297000 | #Constraints:      20668
242.40/243.00	c #Conflicts:     298000 | #Constraints:      21758
242.40/243.00	c #Conflicts:     299000 | #Constraints:      22875
242.40/243.00	c INPROCESSING
242.40/243.00	c GARBAGE COLLECT
242.40/243.00	c rational objective 2
256.96/257.66	c #Conflicts:     300000 | #Constraints:      12489
256.96/257.66	c #Conflicts:     301000 | #Constraints:      13525
256.96/257.66	c #Conflicts:     302000 | #Constraints:      14578
256.96/257.66	c #Conflicts:     303000 | #Constraints:      15629
256.96/257.66	c #Conflicts:     304000 | #Constraints:      16699
256.96/257.66	c #Conflicts:     305000 | #Constraints:      17753
256.96/257.66	c #Conflicts:     306000 | #Constraints:      18812
256.96/257.66	c #Conflicts:     307000 | #Constraints:      19898
256.96/257.66	c #Conflicts:     308000 | #Constraints:      20954
256.96/257.66	c #Conflicts:     309000 | #Constraints:      22006
256.96/257.66	c #Conflicts:     310000 | #Constraints:      23033
256.96/257.66	c INPROCESSING
256.96/257.66	c GARBAGE COLLECT
256.96/257.66	c rational objective 2
273.82/274.55	c #Conflicts:     311000 | #Constraints:      12438
273.82/274.55	c #Conflicts:     312000 | #Constraints:      13502
273.82/274.55	c #Conflicts:     313000 | #Constraints:      14582
273.82/274.55	c #Conflicts:     314000 | #Constraints:      15653
273.82/274.55	c #Conflicts:     315000 | #Constraints:      16708
273.82/274.55	c #Conflicts:     316000 | #Constraints:      17762
273.82/274.55	c #Conflicts:     317000 | #Constraints:      18829
273.82/274.55	c #Conflicts:     318000 | #Constraints:      19883
273.82/274.55	c #Conflicts:     319000 | #Constraints:      20916
273.82/274.55	c #Conflicts:     320000 | #Constraints:      21990
273.82/274.55	c #Conflicts:     321000 | #Constraints:      23027
273.82/274.55	c INPROCESSING
273.82/274.55	c GARBAGE COLLECT
273.82/274.55	c rational objective 2
292.87/293.61	c #Conflicts:     322000 | #Constraints:      12241
292.87/293.61	c #Conflicts:     323000 | #Constraints:      13291
292.87/293.61	c #Conflicts:     324000 | #Constraints:      14343
292.87/293.61	c #Conflicts:     325000 | #Constraints:      15404
292.87/293.61	c #Conflicts:     326000 | #Constraints:      16455
292.87/293.61	c #Conflicts:     327000 | #Constraints:      17509
292.87/293.61	c #Conflicts:     328000 | #Constraints:      18572
292.87/293.61	c #Conflicts:     329000 | #Constraints:      19635
292.87/293.61	c #Conflicts:     330000 | #Constraints:      20673
292.87/293.61	c #Conflicts:     331000 | #Constraints:      21730
292.87/293.61	c #Conflicts:     332000 | #Constraints:      22781
292.87/293.61	c #Conflicts:     333000 | #Constraints:      23882
292.87/293.61	c INPROCESSING
292.87/293.61	c GARBAGE COLLECT
292.87/293.61	c rational objective 2
306.35/307.15	c #Conflicts:     334000 | #Constraints:      12907
306.35/307.15	c #Conflicts:     335000 | #Constraints:      13994
306.35/307.15	c #Conflicts:     336000 | #Constraints:      15100
306.35/307.15	c #Conflicts:     337000 | #Constraints:      16154
306.35/307.15	c #Conflicts:     338000 | #Constraints:      17220
306.35/307.15	c #Conflicts:     339000 | #Constraints:      18236
306.35/307.15	c #Conflicts:     340000 | #Constraints:      19236
306.35/307.15	c #Conflicts:     341000 | #Constraints:      20236
306.35/307.15	c #Conflicts:     342000 | #Constraints:      21236
306.35/307.15	c #Conflicts:     343000 | #Constraints:      22236
306.35/307.15	c #Conflicts:     344000 | #Constraints:      23236
306.35/307.15	c #Conflicts:     345000 | #Constraints:      24239
306.35/307.15	c INPROCESSING
306.35/307.15	c GARBAGE COLLECT
306.35/307.15	c rational objective 2
321.10/322.00	c #Conflicts:     346000 | #Constraints:      13195
321.10/322.00	c #Conflicts:     347000 | #Constraints:      14243
321.10/322.00	c #Conflicts:     348000 | #Constraints:      15302
321.10/322.00	c #Conflicts:     349000 | #Constraints:      16373
321.10/322.00	c #Conflicts:     350000 | #Constraints:      17431
321.10/322.00	c #Conflicts:     351000 | #Constraints:      18491
321.10/322.00	c #Conflicts:     352000 | #Constraints:      19555
321.10/322.00	c #Conflicts:     353000 | #Constraints:      20614
321.10/322.00	c #Conflicts:     354000 | #Constraints:      21693
321.10/322.00	c #Conflicts:     355000 | #Constraints:      22793
321.10/322.00	c #Conflicts:     356000 | #Constraints:      23872
321.10/322.00	c #Conflicts:     357000 | #Constraints:      24967
321.10/322.00	c INPROCESSING
321.10/322.00	c GARBAGE COLLECT
321.10/322.00	c rational objective 2
339.85/340.73	c #Conflicts:     358000 | #Constraints:      13518
339.85/340.73	c #Conflicts:     359000 | #Constraints:      14911
339.85/340.73	c #Conflicts:     360000 | #Constraints:      15989
339.85/340.73	c #Conflicts:     361000 | #Constraints:      16989
339.85/340.73	c #Conflicts:     362000 | #Constraints:      17990
339.85/340.73	c #Conflicts:     363000 | #Constraints:      19030
339.85/340.73	c #Conflicts:     364000 | #Constraints:      20108
339.85/340.73	c #Conflicts:     365000 | #Constraints:      21167
339.85/340.73	c #Conflicts:     366000 | #Constraints:      22167
339.85/340.73	c #Conflicts:     367000 | #Constraints:      23172
339.85/340.73	c #Conflicts:     368000 | #Constraints:      24591
339.85/340.73	c #Conflicts:     369000 | #Constraints:      25635
339.85/340.73	c INPROCESSING
339.85/340.73	c GARBAGE COLLECT
339.85/340.73	c rational objective 2.74071
362.29/363.21	c #Conflicts:     370000 | #Constraints:      13800
362.29/363.21	c #Conflicts:     371000 | #Constraints:      15184
362.29/363.21	c #Conflicts:     372000 | #Constraints:      16906
362.29/363.21	c #Conflicts:     373000 | #Constraints:      18699
362.29/363.21	c #Conflicts:     374000 | #Constraints:      20545
362.29/363.21	c #Conflicts:     375000 | #Constraints:      22349
362.29/363.21	c #Conflicts:     376000 | #Constraints:      24179
362.29/363.21	c #Conflicts:     377000 | #Constraints:      26030
362.29/363.21	c #Conflicts:     378000 | #Constraints:      27744
362.29/363.21	c #Conflicts:     379000 | #Constraints:      29563
362.29/363.21	c #Conflicts:     380000 | #Constraints:      31293
362.29/363.21	c #Conflicts:     381000 | #Constraints:      32909
362.29/363.21	c INPROCESSING
362.29/363.21	c GARBAGE COLLECT
362.29/363.21	c rational objective 2.772
380.25/381.21	c #Conflicts:     382000 | #Constraints:      17477
380.25/381.21	c #Conflicts:     383000 | #Constraints:      18524
380.25/381.21	c #Conflicts:     384000 | #Constraints:      19561
380.25/381.21	c #Conflicts:     385000 | #Constraints:      20586
380.25/381.21	c #Conflicts:     386000 | #Constraints:      21640
380.25/381.21	c #Conflicts:     387000 | #Constraints:      22665
380.25/381.21	c #Conflicts:     388000 | #Constraints:      23701
380.25/381.21	c #Conflicts:     389000 | #Constraints:      24765
380.25/381.21	c #Conflicts:     390000 | #Constraints:      25765
380.25/381.21	c #Conflicts:     391000 | #Constraints:      26765
380.25/381.21	c #Conflicts:     392000 | #Constraints:      27765
380.25/381.21	c #Conflicts:     393000 | #Constraints:      28765
380.25/381.21	c #Conflicts:     394000 | #Constraints:      29765
380.25/381.21	c INPROCESSING
380.25/381.21	c GARBAGE COLLECT
380.25/381.21	c rational objective 2.77231
404.29/405.34	c #Conflicts:     395000 | #Constraints:      15945
404.29/405.34	c #Conflicts:     396000 | #Constraints:      16967
404.29/405.34	c #Conflicts:     397000 | #Constraints:      17988
404.29/405.34	c #Conflicts:     398000 | #Constraints:      18988
404.29/405.34	c #Conflicts:     399000 | #Constraints:      20082
404.29/405.34	c #Conflicts:     400000 | #Constraints:      21323
404.29/405.34	c #Conflicts:     401000 | #Constraints:      22323
404.29/405.34	c #Conflicts:     402000 | #Constraints:      23339
404.29/405.34	c #Conflicts:     403000 | #Constraints:      24358
404.29/405.34	c #Conflicts:     404000 | #Constraints:      25359
404.29/405.34	c #Conflicts:     405000 | #Constraints:      26364
404.29/405.34	c #Conflicts:     406000 | #Constraints:      27373
404.29/405.34	c #Conflicts:     407000 | #Constraints:      28377
404.29/405.34	c INPROCESSING
404.29/405.34	c GARBAGE COLLECT
404.29/405.34	c rational objective 2.77875
423.34/424.42	c #Conflicts:     408000 | #Constraints:      15231
423.34/424.42	c #Conflicts:     409000 | #Constraints:      16255
423.34/424.42	c #Conflicts:     410000 | #Constraints:      17285
423.34/424.42	c #Conflicts:     411000 | #Constraints:      18306
423.34/424.42	c #Conflicts:     412000 | #Constraints:      19319
423.34/424.42	c #Conflicts:     413000 | #Constraints:      20323
423.34/424.42	c #Conflicts:     414000 | #Constraints:      21323
423.34/424.42	c #Conflicts:     415000 | #Constraints:      22336
423.34/424.42	c #Conflicts:     416000 | #Constraints:      23336
423.34/424.42	c #Conflicts:     417000 | #Constraints:      24530
423.34/424.42	c #Conflicts:     418000 | #Constraints:      25541
423.34/424.42	c #Conflicts:     419000 | #Constraints:      26545
423.34/424.42	c #Conflicts:     420000 | #Constraints:      27545
423.34/424.42	c INPROCESSING
423.34/424.42	c GARBAGE COLLECT
423.34/424.42	c rational objective 2.78145
437.80/438.93	c #Conflicts:     421000 | #Constraints:      14860
437.80/438.93	c #Conflicts:     422000 | #Constraints:      15914
437.80/438.93	c #Conflicts:     423000 | #Constraints:      16920
437.80/438.93	c #Conflicts:     424000 | #Constraints:      17920
437.80/438.93	c #Conflicts:     425000 | #Constraints:      18920
437.80/438.93	c #Conflicts:     426000 | #Constraints:      19920
437.80/438.93	c #Conflicts:     427000 | #Constraints:      20920
437.80/438.93	c #Conflicts:     428000 | #Constraints:      21920
437.80/438.93	c #Conflicts:     429000 | #Constraints:      22920
437.80/438.93	c #Conflicts:     430000 | #Constraints:      23920
437.80/438.93	c #Conflicts:     431000 | #Constraints:      24920
437.80/438.93	c #Conflicts:     432000 | #Constraints:      25920
437.80/438.93	c #Conflicts:     433000 | #Constraints:      26920
437.80/438.93	c INPROCESSING
437.80/438.93	c GARBAGE COLLECT
437.80/438.93	c rational objective 2.62856
455.95/457.15	c #Conflicts:     434000 | #Constraints:      14385
455.95/457.15	c #Conflicts:     435000 | #Constraints:      15400
455.95/457.15	c #Conflicts:     436000 | #Constraints:      16419
455.95/457.15	c #Conflicts:     437000 | #Constraints:      17419
455.95/457.15	c #Conflicts:     438000 | #Constraints:      18425
455.95/457.15	c #Conflicts:     439000 | #Constraints:      19425
455.95/457.15	c #Conflicts:     440000 | #Constraints:      20425
455.95/457.15	c #Conflicts:     441000 | #Constraints:      21441
455.95/457.15	c #Conflicts:     442000 | #Constraints:      22444
455.95/457.15	c #Conflicts:     443000 | #Constraints:      23444
455.95/457.15	c #Conflicts:     444000 | #Constraints:      24454
455.95/457.15	c #Conflicts:     445000 | #Constraints:      25469
455.95/457.15	c #Conflicts:     446000 | #Constraints:      26485
455.95/457.15	c INPROCESSING
455.95/457.15	c GARBAGE COLLECT
455.95/457.15	c rational objective 2.75793
455.95/457.18	c cpu time 452.099 s
455.95/457.18	c deterministic time 98061033679 9.81e+10
455.95/457.18	c optimization time 5.1e-05 s
455.95/457.18	c total solve time 452.098 s
455.95/457.18	c core-guided solve time 0 s
455.95/457.18	c propagation time 406.502 s
455.95/457.18	c conflict analysis time 39.7513 s
455.95/457.18	c propagations 5153718
455.95/457.18	c resolve steps 1310209
455.95/457.18	c decisions 2256824
455.95/457.18	c conflicts 446601
455.95/457.18	c restarts 1021
455.95/457.18	c inprocessing phases 58
455.95/457.18	c garbage collections 58 ,( 100.00 )
455.95/457.18	c input clauses 12 ,( 85.71 )
455.95/457.18	c input cardinalities 0 ,( 0.00 )
455.95/457.18	c input general constraints 2 ,( 14.29 )
455.95/457.18	c input average constraint length 13.43
455.95/457.18	c input average constraint degree 69551225.21
455.95/457.18	c learned clauses 338855 ,( 71.05 )
455.95/457.18	c learned cardinalities 0 ,( 0.00 )
455.95/457.18	c learned general constraints 138053 ,( 28.95 )
455.95/457.18	c learned average constraint length 47.84
455.95/457.18	c learned average constraint degree 60937456.43
455.95/457.18	c watched  CF 32, 64, 128, Arb: 8826 , 0 , 0 , 0
455.95/457.18	c counting CF 32, 64, 128, Arb: 129229 , 0 , 0 , 0
455.95/457.18	c watched   constraints 8826 ,( 6.39 ) 
455.95/457.18	c counting  constraints 129229 ,( 93.61 ) 
455.95/457.18	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 31961135 , 0 , 11120957239 ,( 17679396 , 11103277843 )
455.95/457.18	c gcd simplifications 235927
455.95/457.18	c detected cardinalities 0
455.95/457.18	c weakened non-implied lits 1963787
455.95/457.18	c weakened non-implying lits 4130397
455.95/457.18	c original variables 82
455.95/457.18	c clausal propagations 650878
455.95/457.18	c cardinality propagations 0
455.95/457.18	c watched propagations 5472
455.95/457.18	c counting propagations 4043963
455.95/457.18	c watch lookups 12711311026
455.95/457.18	c watch backjump lookups 0
455.95/457.18	c watch checks 296039511
455.95/457.18	c propagation checks 84929873159
455.95/457.18	c constraint additions 108496395
455.95/457.18	c trail pops 7857141
455.95/457.18	c formula constraints 14
455.95/457.18	c learned constraints 446601
455.95/457.18	c bound constraints 0
455.95/457.18	c core-guided constraints 0
455.95/457.18	c encountered formula constraints 1019137
455.95/457.18	c encountered learned constraints 721045
455.95/457.18	c encountered bound constraints 0
455.95/457.18	c encountered core-guided constraints 0
455.95/457.18	c LP total time 4.50291 s
455.95/457.18	c LP solve time 2.29 s
455.95/457.18	c LP constraints added 126
455.95/457.18	c LP constraints removed 107
455.95/457.18	c LP pivots internal 44661
455.95/457.18	c LP pivots root 1243
455.95/457.18	c LP calls 42211
455.95/457.18	c LP optimalities 11916
455.95/457.18	c LP no pivot count 7183
455.95/457.18	c LP infeasibilities 30274
455.95/457.18	c LP valid Farkas constraints 30253
455.95/457.18	c LP learned Farkas constraints 0
455.95/457.18	c LP basis resets 21
455.95/457.18	c LP cycling count 15
455.95/457.18	c LP singular count 6
455.95/457.18	c LP no primal count 0
455.95/457.18	c LP no farkas count 0
455.95/457.18	c LP other issue count 0
455.95/457.18	c LP Gomory cuts 54
455.95/457.18	c LP learned cuts 59
455.95/457.18	c LP deleted cuts 108
455.95/457.18	c LP encountered Gomory constraints 0
455.95/457.18	c LP encountered Farkas constraints 16628
455.95/457.18	c LP encountered learned Farkas constraints 0
455.95/457.18	c CG auxiliary variables introduced 0
455.95/457.18	c CG solutions found 0
455.95/457.18	c CG cores constructed 0
455.95/457.18	c CG core cardinality constraints returned 0
455.95/457.18	c CG unit cores 0
455.95/457.18	c CG single cores 0
455.95/457.18	c CG blocks removed during cardinality reduction 0
455.95/457.18	c CG first core best 0
455.95/457.18	c CG decision core best 0
455.95/457.18	c CG core reduction tie 0
455.95/457.18	c CG core degree average 0.00
455.95/457.18	c CG core slack average 0.00
455.95/457.18	c CG core upper bound improvements 0
455.95/457.18	c STR number of successful calls 0
455.95/457.18	c STR number of unsuccessful calls 0
455.95/457.18	c STR number of inconclusive calls 0
455.95/457.18	c STR number of successful attempts 0
455.95/457.18	c STR number of unsuccessful attempts 0
455.95/457.18	c STR number of inconclusive attempts 0
455.95/457.18	c STR average degree increase per successful call inf
455.95/457.18	c STR average degree increase per successful attempt inf
455.95/457.18	c STR total number of conflicts for successful attempts 0
455.95/457.18	c STR total number of conflicts for unsuccessful attempts 0
455.95/457.18	c STR total number of conflicts for inconclusive attempts 0
455.95/457.18	c STR average number of conflicts per successful attempt inf
455.95/457.18	c STR average number of conflicts per unsuccessful attempt inf
455.95/457.18	c STR average number of conflicts per inconclusive attempt inf
455.95/457.18	c AVG.sumWPerc 77.62 
455.95/457.18	c bigint constraints 0 
455.95/457.18	s SATISFIABLE
455.95/457.18	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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495932-1751157373/watcher-4495932-1751157373 -o /tmp/evaluation-result-4495932-1751157373/solver-4495932-1751157373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4495932-1751157373.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21228, runsolver pid=21225
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.11 4.09 4.01 5/272 21231
/proc/meminfo: memFree=129047512/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=56468 memory=13332 CPUtime=0.07 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 688 0 0 0 7 0 0 0 20 0 1 0 31415158 57823232 3333 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 14117 3333 2368 1147 0 1544 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60660 KiB
Current children cumulated memory: 16404 KiB

[startup+0.205638 s]*
/proc/loadavg: 4.11 4.09 4.01 5/272 21231
/proc/meminfo: memFree=129047512/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=56868 memory=13716 CPUtime=0.18 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 789 0 0 0 17 1 0 0 20 0 1 0 31415158 58232832 3429 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 14217 3429 2368 1147 0 1644 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61060 KiB
Current children cumulated memory: 16788 KiB

[startup+0.305259 s]*
/proc/loadavg: 4.11 4.09 4.01 5/272 21231
/proc/meminfo: memFree=129048008/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=57300 memory=14100 CPUtime=0.28 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 896 0 0 0 27 1 0 0 20 0 1 0 31415158 58675200 3525 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 14325 3525 2368 1147 0 1752 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61492 KiB
Current children cumulated memory: 17172 KiB

[startup+0.700134 s]
/proc/loadavg: 4.11 4.09 4.01 5/272 21231
/proc/meminfo: memFree=129048008/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=58364 memory=14996 CPUtime=0.67 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 1107 0 0 0 64 3 0 0 20 0 1 0 31415158 59764736 3749 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 14591 3749 2368 1147 0 2018 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62556 KiB
Current children cumulated memory: 18068 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.09 4.01 5/272 21231
/proc/meminfo: memFree=129048008/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=59232 memory=15764 CPUtime=1.47 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 1304 0 0 0 142 5 0 0 20 0 1 0 31415158 60653568 3941 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 14808 3941 2368 1147 0 2235 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63424 KiB
Current children cumulated memory: 18836 KiB

[startup+3.10536 s]
/proc/loadavg: 4.10 4.09 4.01 5/272 21231
/proc/meminfo: memFree=129048024/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=59776 memory=16404 CPUtime=3.07 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 1477 0 0 0 298 9 0 0 20 0 1 0 31415158 61210624 4101 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 14944 4101 2368 1147 0 2371 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 63968 KiB
Current children cumulated memory: 19476 KiB

[startup+6.30014 s]
/proc/loadavg: 4.10 4.09 4.01 5/272 21231
/proc/meminfo: memFree=129047544/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=61976 memory=20048 CPUtime=6.26 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 1855 0 0 0 610 16 0 0 20 0 1 0 31415158 63463424 5012 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 15494 5012 2368 1147 0 2921 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66168 KiB
Current children cumulated memory: 23120 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.01 5/272 21231
/proc/meminfo: memFree=129047544/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=62848 memory=21072 CPUtime=12.64 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 2113 0 0 0 1238 26 0 0 20 0 1 0 31415158 64356352 5268 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 15712 5268 2368 1147 0 3139 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67040 KiB
Current children cumulated memory: 24144 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.01 5/272 21232
/proc/meminfo: memFree=129034084/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=63200 memory=21968 CPUtime=25.41 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 2306 0 0 0 2497 44 0 0 20 0 1 0 31415158 64716800 5492 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 15800 5492 2432 1147 0 3227 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 67392 KiB
Current children cumulated memory: 25040 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.09 4.01 5/271 21232
/proc/meminfo: memFree=128982492/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=71860 memory=27472 CPUtime=50.95 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 3532 0 0 0 5024 71 0 0 20 0 1 0 31415158 73584640 6868 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 17965 6868 2432 1147 0 5392 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 76052 KiB
Current children cumulated memory: 30544 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.10 4.02 5/271 21238
/proc/meminfo: memFree=128989456/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=73700 memory=29648 CPUtime=102.03 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 4089 0 0 0 10078 125 0 0 20 0 1 0 31415158 75468800 7412 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 18425 7412 2432 1147 0 5852 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 77892 KiB
Current children cumulated memory: 32720 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/271 21240
/proc/meminfo: memFree=128970880/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=74596 memory=32240 CPUtime=161.89 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 4939 0 0 0 16009 180 0 0 20 0 1 0 31415158 76386304 8060 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 18649 8060 2464 1147 0 6076 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 78788 KiB
Current children cumulated memory: 35312 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/270 21242
/proc/meminfo: memFree=128966972/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=80168 memory=33796 CPUtime=221.74 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 5621 0 0 0 21950 224 0 0 20 0 1 0 31415158 82092032 8449 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 20042 8449 2464 1147 0 7469 0
Current children cumulated CPU time: 221.74 s

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

/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 5978 0 0 0 27890 270 0 0 20 0 1 0 31415158 83443712 8609 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 20372 8609 2464 1147 0 7799 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 85680 KiB
Current children cumulated memory: 37508 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/270 21246
/proc/meminfo: memFree=128950608/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=85480 memory=36840 CPUtime=341.45 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 7305 0 0 0 33831 314 0 0 20 0 1 0 31415158 87531520 9210 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 21370 9210 2464 1147 0 8797 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 89672 KiB
Current children cumulated memory: 39912 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/271 21249
/proc/meminfo: memFree=128915560/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=112772 memory=59044 CPUtime=401.3 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 12270 0 0 0 39775 355 0 0 20 0 1 0 31415158 115478528 14761 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 28193 14761 2464 1147 0 15620 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 116964 KiB
Current children cumulated memory: 62116 KiB

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

# cumulated CPU time of all completed processes:  user=452.103 s, system=3.94363 s

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

[startup+409.6 s]
/proc/loadavg: 4.15 4.11 4.03 5/271 21249
/proc/meminfo: memFree=128915560/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=112772 memory=59044 CPUtime=408.58 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 12270 0 0 0 40498 360 0 0 20 0 1 0 31415158 115478528 14761 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 28193 14761 2464 1147 0 15620 0
Current children cumulated CPU time: 408.58 s
Current children cumulated vsize: 116964 KiB
Current children cumulated memory: 62116 KiB

[startup+435.2 s]
/proc/loadavg: 4.16 4.11 4.03 5/271 21251
/proc/meminfo: memFree=128899528/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=112772 memory=59044 CPUtime=434.11 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 12272 0 0 0 43034 377 0 0 20 0 1 0 31415158 115478528 14761 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 28193 14761 2464 1147 0 15620 0
Current children cumulated CPU time: 434.11 s
Current children cumulated vsize: 116964 KiB
Current children cumulated memory: 62116 KiB

[startup+448 s]*
/proc/loadavg: 4.12 4.11 4.03 5/272 21253
/proc/meminfo: memFree=128881160/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=112772 memory=59044 CPUtime=446.87 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 12275 0 0 0 44300 387 0 0 20 0 1 0 31415158 115478528 14761 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 28193 14761 2464 1147 0 15620 0
Current children cumulated CPU time: 446.87 s
Current children cumulated vsize: 116964 KiB
Current children cumulated memory: 62116 KiB

[startup+451.2 s]
/proc/loadavg: 4.12 4.11 4.03 5/272 21253
/proc/meminfo: memFree=128881412/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=112772 memory=59044 CPUtime=450.06 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 12275 0 0 0 44617 389 0 0 20 0 1 0 31415158 115478528 14761 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 28193 14761 2464 1147 0 15620 0
Current children cumulated CPU time: 450.06 s
Current children cumulated vsize: 116964 KiB
Current children cumulated memory: 62116 KiB

[startup+454.4 s]
/proc/loadavg: 4.19 4.12 4.04 5/272 21253
/proc/meminfo: memFree=128870148/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=112772 memory=59044 CPUtime=453.25 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 12275 0 0 0 44934 391 0 0 20 0 1 0 31415158 115478528 14761 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 28193 14761 2464 1147 0 15620 0
Current children cumulated CPU time: 453.25 s
Current children cumulated vsize: 116964 KiB
Current children cumulated memory: 62116 KiB

[startup+456 s]*
/proc/loadavg: 4.19 4.12 4.04 5/272 21253
/proc/meminfo: memFree=128870148/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=112772 memory=59044 CPUtime=454.86 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 12275 0 0 0 45093 393 0 0 20 0 1 0 31415158 115478528 14761 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 28193 14761 2464 1147 0 15620 0
Current children cumulated CPU time: 454.86 s
Current children cumulated vsize: 116964 KiB
Current children cumulated memory: 62116 KiB

[startup+456.8 s]
/proc/loadavg: 4.19 4.12 4.04 5/272 21253
/proc/meminfo: memFree=128870148/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=112772 memory=59044 CPUtime=455.64 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 12275 0 0 0 45171 393 0 0 20 0 1 0 31415158 115478528 14761 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 28193 14761 2464 1147 0 15620 0
Current children cumulated CPU time: 455.64 s
Current children cumulated vsize: 116964 KiB
Current children cumulated memory: 62116 KiB

[startup+457 s]*
/proc/loadavg: 4.18 4.12 4.04 5/272 21253
/proc/meminfo: memFree=128870148/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=112772 memory=59044 CPUtime=455.85 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 12275 0 0 0 45192 393 0 0 20 0 1 0 31415158 115478528 14761 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 28193 14761 2464 1147 0 15620 0
Current children cumulated CPU time: 455.85 s
Current children cumulated vsize: 116964 KiB
Current children cumulated memory: 62116 KiB

[startup+457.106 s]
/proc/loadavg: 4.18 4.12 4.04 5/272 21253
/proc/meminfo: memFree=128870148/131249996 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21228/stat : 21228 (run-dec-break.s) S 21225 21228 17835 0 -1 4194304 237 219 0 0 0 0 0 0 20 0 1 0 31415156 4292608 768 18446744073709551615 94872406544384 94872407438917 140730030770080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872407677968 94872407725712 94872413736960 140730030774625 140730030774754 140730030774754 140730030780356 0
/proc/21228/statm: 1048 768 704 219 0 110 0
[pid=21231] ppid=21228 vsize=112772 memory=59044 CPUtime=455.95 cores=5,7
/proc/21231/stat : 21231 (roundingsat) R 21228 21228 17835 0 -1 4194304 12275 0 0 0 45202 393 0 0 20 0 1 0 31415158 115478528 14761 18446744073709551615 4227072 8923433 140736715090592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30101504 140736715094340 140736715094568 140736715094568 140736715100138 0
/proc/21231/statm: 28193 14761 2464 1147 0 15620 0
Current children cumulated CPU time: 455.95 s
Current children cumulated vsize: 116964 KiB
Current children cumulated memory: 62116 KiB

Child status: 0

Real time (s): 457.189
CPU time (s): 456.047
CPU user time (s): 452.103
CPU system time (s): 3.94363
CPU usage (%): 99.7502
Max. virtual memory (cumulated for all children) (KiB): 116964
Max. memory (cumulated for all children) (KiB): 62116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 452.103
system time used= 3.94364
maximum resident set size= 59044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214
involuntary context switches= 399


# summary of solver processes directly reported to runsolver:
#   pid: 21228
#   total CPU time (s): 456.047
#   total CPU user time (s): 452.103
#   total CPU system time (s): 3.94363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43163 second user time and 1.60015 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 02:36:13
IDJOB=4495932
IDBENCH=148102
IDSOLVER=3357
FILE ID=nodeC024/4495932-1751157373
RUNJOBID= nodeC024-1751155906-17848
SLURM_JOB_ID= 9587473
Free space on /tmp= 433032 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495932-1751157373/watcher-4495932-1751157373 -o /tmp/evaluation-result-4495932-1751157373/solver-4495932-1751157373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760  run-dec-break.sh HOME/instance-4495932-1751157373.opb

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

MD5SUM BENCH= 13439fe0222d33319b9169d149c100b9
RANDOM SEED=235534051

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129051928 kB
MemAvailable:   128683700 kB
Buffers:            3280 kB
Cached:           427056 kB
SwapCached:            0 kB
Active:          1398800 kB
Inactive:         207048 kB
Active(anon):    1193580 kB
Inactive(anon):        0 kB
Active(file):     205220 kB
Inactive(file):   207048 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7152 kB
Writeback:            48 kB
AnonPages:       1178100 kB
Mapped:           116944 kB
Shmem:             18064 kB
KReclaimable:      86228 kB
Slab:             169764 kB
SReclaimable:      86228 kB
SUnreclaim:        83536 kB
KernelStack:        4352 kB
PageTables:         5592 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1758012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    970752 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC024 at 2025-06-29 02:43:50