Trace number 4520572

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.15 3611.24

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb
MD5SUMd7ece7e3292f38d08ee869a6ef2ad2c1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3165
Best CPU time to get the best result obtained on this benchmark3585.69
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12650
Total number of constraints12650
Number of constraints which are clauses12650
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 12650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 12650
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 12650
Number of bits of the biggest sum of numbers14
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.08/0.20	c #variables 12650 #constraints 12650
0.08/0.20	c objective is ce32 
0.19/0.28	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.19/0.28	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.19/0.28	c GLOBAL bounds - >= 0 @ 0.1828
0.19/0.31	c GLOBAL bounds - >= 0 @ 0.197633
0.57/0.70	c GLOBAL bounds - >= 0 @ 0.552133
0.76/0.85	c GLOBAL bounds - >= 0 @ 0.684709
1.07/1.11	c GLOBAL bounds - >= 0 @ 0.927885
1.46/1.52	c GLOBAL bounds - >= 0 @ 1.30254
2.75/2.89	c GLOBAL bounds - >= 0 @ 2.61604
10.73/10.80	c #Conflicts:       1000 | #Constraints:      13660
10.73/10.80	c #Conflicts:       2000 | #Constraints:      14660
10.73/10.80	c INPROCESSING
10.73/10.80	c GARBAGE COLLECT
10.73/10.80	c GLOBAL bounds - >= 0 @ 10.2696
17.92/18.08	c #Conflicts:       3000 | #Constraints:      14727
17.92/18.08	c GLOBAL bounds - >= 0 @ 17.3373
25.58/25.70	c #Conflicts:       4000 | #Constraints:      15729
25.58/25.70	c INPROCESSING
25.58/25.70	c GARBAGE COLLECT
25.58/25.70	c #Conflicts:       5000 | #Constraints:      15150
25.58/25.70	c GLOBAL bounds - >= 0 @ 24.8201
26.78/26.96	c GLOBAL bounds - >= 0 @ 26.0543
27.77/27.92	c GLOBAL bounds - >= 0 @ 26.9738
28.57/28.74	c GLOBAL bounds - >= 0 @ 27.7791
29.36/29.54	c #Conflicts:       6000 | #Constraints:      16158
29.36/29.54	c GLOBAL bounds - >= 0 @ 28.5596
31.16/31.39	c GLOBAL bounds - >= 0 @ 30.3612
53.09/53.33	c INPROCESSING
53.09/53.33	c GARBAGE COLLECT
53.09/53.33	c #Conflicts:       7000 | #Constraints:      15191
53.09/53.33	c #Conflicts:       8000 | #Constraints:      16191
53.09/53.33	c #Conflicts:       9000 | #Constraints:      17191
53.09/53.33	c INPROCESSING
53.09/53.33	c GARBAGE COLLECT
53.09/53.33	c GLOBAL bounds - >= 0 @ 52.0538
115.20/115.61	c #Conflicts:      10000 | #Constraints:      15910
115.20/115.61	c #Conflicts:      11000 | #Constraints:      16910
115.20/115.61	c #Conflicts:      12000 | #Constraints:      17910
115.20/115.61	c INPROCESSING
115.20/115.61	c GARBAGE COLLECT
115.20/115.61	c #Conflicts:      13000 | #Constraints:      16350
115.20/115.61	c #Conflicts:      14000 | #Constraints:      17350
115.20/115.61	c #Conflicts:      15000 | #Constraints:      18350
115.20/115.61	c INPROCESSING
115.20/115.61	c GARBAGE COLLECT
115.20/115.61	c #Conflicts:      16000 | #Constraints:      16587
115.20/115.61	c #Conflicts:      17000 | #Constraints:      17587
115.20/115.61	c #Conflicts:      18000 | #Constraints:      18587
115.20/115.61	c INPROCESSING
115.20/115.61	c GARBAGE COLLECT
115.20/115.61	c #Conflicts:      19000 | #Constraints:      16609
115.20/115.61	c GLOBAL bounds - >= 0 @ 113.349
129.85/130.38	c #Conflicts:      20000 | #Constraints:      17611
129.85/130.38	c #Conflicts:      21000 | #Constraints:      18611
129.85/130.38	c GLOBAL bounds - >= 0 @ 127.719
134.83/135.38	c INPROCESSING
134.83/135.38	c GARBAGE COLLECT
134.83/135.38	c GLOBAL bounds - >= 0 @ 132.634
141.21/141.75	c #Conflicts:      22000 | #Constraints:      16408
141.21/141.75	c #Conflicts:      23000 | #Constraints:      17408
141.21/141.75	c GLOBAL bounds - >= 0 @ 138.923
145.61/146.15	c GLOBAL bounds - >= 0 @ 143.273
146.89/147.45	c GLOBAL bounds - >= 0 @ 144.545
154.27/154.87	c #Conflicts:      24000 | #Constraints:      18414
154.27/154.87	c #Conflicts:      25000 | #Constraints:      19414
154.27/154.87	c GLOBAL bounds - >= 0 @ 151.878
157.57/158.17	c INPROCESSING
157.57/158.17	c GARBAGE COLLECT
157.57/158.17	c GLOBAL bounds - >= 0 @ 155.133
158.75/159.34	c GLOBAL bounds - >= 0 @ 156.285
160.04/160.66	c GLOBAL bounds - >= 0 @ 157.583
168.82/169.48	c #Conflicts:      26000 | #Constraints:      17040
168.82/169.48	c #Conflicts:      27000 | #Constraints:      18040
168.82/169.48	c GLOBAL bounds - >= 0 @ 166.316
177.19/177.88	c #Conflicts:      28000 | #Constraints:      19042
177.19/177.88	c GLOBAL bounds - >= 0 @ 174.577
184.96/185.66	c #Conflicts:      29000 | #Constraints:      20044
184.96/185.66	c INPROCESSING
184.96/185.66	c GARBAGE COLLECT
184.96/185.66	c GLOBAL bounds - >= 0 @ 182.275
242.48/243.33	c #Conflicts:      30000 | #Constraints:      17470
242.48/243.33	c #Conflicts:      31000 | #Constraints:      18470
242.48/243.33	c #Conflicts:      32000 | #Constraints:      19470
242.48/243.33	c #Conflicts:      33000 | #Constraints:      20470
242.48/243.33	c INPROCESSING
242.48/243.33	c GARBAGE COLLECT
242.48/243.33	c #Conflicts:      34000 | #Constraints:      17683
242.48/243.33	c #Conflicts:      35000 | #Constraints:      18683
242.48/243.33	c #Conflicts:      36000 | #Constraints:      19683
242.48/243.33	c #Conflicts:      37000 | #Constraints:      20683
242.48/243.33	c INPROCESSING
242.48/243.33	c GARBAGE COLLECT
242.48/243.33	c #Conflicts:      38000 | #Constraints:      17698
242.48/243.33	c GLOBAL bounds - >= 0 @ 239.318
258.33/259.23	c #Conflicts:      39000 | #Constraints:      18700
258.33/259.23	c #Conflicts:      40000 | #Constraints:      19700
258.33/259.23	c #Conflicts:      41000 | #Constraints:      20700
258.33/259.23	c GLOBAL bounds - >= 0 @ 255.14
262.63/263.52	c INPROCESSING
262.63/263.52	c GARBAGE COLLECT
262.63/263.52	c GLOBAL bounds - >= 0 @ 259.363
279.57/280.54	c #Conflicts:      42000 | #Constraints:      17488
279.57/280.54	c #Conflicts:      43000 | #Constraints:      18488
279.57/280.54	c #Conflicts:      44000 | #Constraints:      19488
279.57/280.54	c #Conflicts:      45000 | #Constraints:      20488
279.57/280.54	c GLOBAL bounds - >= 0 @ 276.269
285.35/286.34	c GLOBAL bounds - >= 0 @ 281.998
288.06/289.06	c #Conflicts:      46000 | #Constraints:      21492
288.06/289.06	c GLOBAL bounds - >= 0 @ 284.649
296.13/297.16	c INPROCESSING
296.13/297.16	c GARBAGE COLLECT
296.13/297.16	c GLOBAL bounds - >= 0 @ 292.649
298.12/299.14	c #Conflicts:      47000 | #Constraints:      18040
298.12/299.14	c GLOBAL bounds - >= 0 @ 294.608
328.82/329.98	c #Conflicts:      48000 | #Constraints:      19042
328.82/329.98	c #Conflicts:      49000 | #Constraints:      20042
328.82/329.98	c #Conflicts:      50000 | #Constraints:      21042
328.82/329.98	c #Conflicts:      51000 | #Constraints:      22042
328.82/329.98	c INPROCESSING
328.82/329.98	c GARBAGE COLLECT
328.82/329.98	c GLOBAL bounds - >= 0 @ 325.051
337.69/338.85	c #Conflicts:      52000 | #Constraints:      18491
337.69/338.85	c GLOBAL bounds - >= 0 @ 333.842
349.15/350.30	c #Conflicts:      53000 | #Constraints:      19493
349.15/350.30	c #Conflicts:      54000 | #Constraints:      20493
349.15/350.30	c GLOBAL bounds - >= 0 @ 345.125
351.96/353.19	c GLOBAL bounds - >= 0 @ 347.984
430.81/432.29	c #Conflicts:      55000 | #Constraints:      21497
430.81/432.29	c #Conflicts:      56000 | #Constraints:      22497
430.81/432.29	c INPROCESSING
430.81/432.29	c GARBAGE COLLECT
430.81/432.29	c #Conflicts:      57000 | #Constraints:      18698
430.81/432.29	c #Conflicts:      58000 | #Constraints:      19698
430.81/432.29	c #Conflicts:      59000 | #Constraints:      20698
430.81/432.29	c #Conflicts:      60000 | #Constraints:      21698
430.81/432.29	c #Conflicts:      61000 | #Constraints:      22698
430.81/432.29	c INPROCESSING
430.81/432.29	c GARBAGE COLLECT
430.81/432.29	c #Conflicts:      62000 | #Constraints:      18720
430.81/432.29	c #Conflicts:      63000 | #Constraints:      19720
430.81/432.29	c #Conflicts:      64000 | #Constraints:      20720
430.81/432.29	c GLOBAL bounds - >= 0 @ 426.225
486.83/488.48	c #Conflicts:      65000 | #Constraints:      21722
486.83/488.48	c #Conflicts:      66000 | #Constraints:      22722
486.83/488.48	c INPROCESSING
486.83/488.48	c GARBAGE COLLECT
486.83/488.48	c #Conflicts:      67000 | #Constraints:      18518
486.83/488.48	c #Conflicts:      68000 | #Constraints:      19518
486.83/488.48	c #Conflicts:      69000 | #Constraints:      20518
486.83/488.48	c #Conflicts:      70000 | #Constraints:      21518
486.83/488.48	c GLOBAL bounds - >= 0 @ 481.508
514.94/516.61	c #Conflicts:      71000 | #Constraints:      22520
514.94/516.61	c #Conflicts:      72000 | #Constraints:      23520
514.94/516.61	c INPROCESSING
514.94/516.61	c GARBAGE COLLECT
514.94/516.61	c #Conflicts:      73000 | #Constraints:      19121
514.94/516.61	c #Conflicts:      74000 | #Constraints:      20121
514.94/516.61	c GLOBAL bounds - >= 0 @ 509.302
516.45/518.19	c GLOBAL bounds - >= 0 @ 510.867
518.72/520.47	c #Conflicts:      75000 | #Constraints:      21125
518.72/520.47	c GLOBAL bounds - >= 0 @ 513.117
528.60/530.33	c #Conflicts:      76000 | #Constraints:      22127
528.60/530.33	c GLOBAL bounds - >= 0 @ 522.88
540.76/542.50	c #Conflicts:      77000 | #Constraints:      23129
540.76/542.50	c GLOBAL bounds - >= 0 @ 534.531
645.34/647.45	c #Conflicts:      78000 | #Constraints:      24131
645.34/647.45	c INPROCESSING
645.34/647.45	c GARBAGE COLLECT
645.34/647.45	c #Conflicts:      79000 | #Constraints:      19545
645.34/647.45	c #Conflicts:      80000 | #Constraints:      20545
645.34/647.45	c #Conflicts:      81000 | #Constraints:      21545
645.34/647.45	c #Conflicts:      82000 | #Constraints:      22545
645.34/647.45	c #Conflicts:      83000 | #Constraints:      23545
645.34/647.45	c #Conflicts:      84000 | #Constraints:      24545
645.34/647.45	c INPROCESSING
645.34/647.45	c GARBAGE COLLECT
645.34/647.45	c #Conflicts:      85000 | #Constraints:      19773
645.34/647.45	c #Conflicts:      86000 | #Constraints:      20773
645.34/647.45	c #Conflicts:      87000 | #Constraints:      21773
645.34/647.45	c #Conflicts:      88000 | #Constraints:      22773
645.34/647.45	c #Conflicts:      89000 | #Constraints:      23773
645.34/647.45	c #Conflicts:      90000 | #Constraints:      24773
645.34/647.45	c INPROCESSING
645.34/647.45	c GARBAGE COLLECT
645.34/647.45	c #Conflicts:      91000 | #Constraints:      19774
645.34/647.45	c #Conflicts:      92000 | #Constraints:      20774
645.34/647.45	c #Conflicts:      93000 | #Constraints:      21774
645.34/647.45	c #Conflicts:      94000 | #Constraints:      22774
645.34/647.45	c #Conflicts:      95000 | #Constraints:      23774
645.34/647.45	c #Conflicts:      96000 | #Constraints:      24774
645.34/647.45	c INPROCESSING
645.34/647.45	c GARBAGE COLLECT
645.34/647.45	c #Conflicts:      97000 | #Constraints:      19555
645.34/647.45	c GLOBAL bounds - >= 0 @ 638.864
1160.21/1163.92	c #Conflicts:      98000 | #Constraints:      20557
1160.21/1163.92	c #Conflicts:      99000 | #Constraints:      21557
1160.21/1163.92	c #Conflicts:     100000 | #Constraints:      22557
1160.21/1163.92	c #Conflicts:     101000 | #Constraints:      23557
1160.21/1163.92	c #Conflicts:     102000 | #Constraints:      24557
1160.21/1163.92	c #Conflicts:     103000 | #Constraints:      25557
1160.21/1163.92	c INPROCESSING
1160.21/1163.92	c GARBAGE COLLECT
1160.21/1163.92	c #Conflicts:     104000 | #Constraints:      20121
1160.21/1163.92	c #Conflicts:     105000 | #Constraints:      21121
1160.21/1163.92	c #Conflicts:     106000 | #Constraints:      22121
1160.21/1163.92	c #Conflicts:     107000 | #Constraints:      23121
1160.21/1163.92	c #Conflicts:     108000 | #Constraints:      24121
1160.21/1163.92	c #Conflicts:     109000 | #Constraints:      25121
1160.21/1163.92	c #Conflicts:     110000 | #Constraints:      26121
1160.21/1163.92	c INPROCESSING
1160.21/1163.92	c GARBAGE COLLECT
1160.21/1163.92	c #Conflicts:     111000 | #Constraints:      20538
1160.21/1163.92	c #Conflicts:     112000 | #Constraints:      21538
1160.21/1163.92	c #Conflicts:     113000 | #Constraints:      22538
1160.21/1163.92	c #Conflicts:     114000 | #Constraints:      23538
1160.21/1163.92	c #Conflicts:     115000 | #Constraints:      24538
1160.21/1163.92	c #Conflicts:     116000 | #Constraints:      25538
1160.21/1163.92	c #Conflicts:     117000 | #Constraints:      26538
1160.21/1163.92	c INPROCESSING
1160.21/1163.92	c GARBAGE COLLECT
1160.21/1163.92	c #Conflicts:     118000 | #Constraints:      20753
1160.21/1163.92	c #Conflicts:     119000 | #Constraints:      21753
1160.21/1163.92	c #Conflicts:     120000 | #Constraints:      22753
1160.21/1163.92	c #Conflicts:     121000 | #Constraints:      23753
1160.21/1163.92	c #Conflicts:     122000 | #Constraints:      24753
1160.21/1163.92	c #Conflicts:     123000 | #Constraints:      25753
1160.21/1163.92	c #Conflicts:     124000 | #Constraints:      26753
1160.21/1163.92	c INPROCESSING
1160.21/1163.92	c GARBAGE COLLECT
1160.21/1163.92	c #Conflicts:     125000 | #Constraints:      20760
1160.21/1163.92	c #Conflicts:     126000 | #Constraints:      21760
1160.21/1163.92	c #Conflicts:     127000 | #Constraints:      22760
1160.21/1163.92	c #Conflicts:     128000 | #Constraints:      23760
1160.21/1163.92	c #Conflicts:     129000 | #Constraints:      24760
1160.21/1163.92	c #Conflicts:     130000 | #Constraints:      25760
1160.21/1163.92	c #Conflicts:     131000 | #Constraints:      26760
1160.21/1163.92	c INPROCESSING
1160.21/1163.92	c GARBAGE COLLECT
1160.21/1163.92	c #Conflicts:     132000 | #Constraints:      20573
1160.21/1163.92	c #Conflicts:     133000 | #Constraints:      21573
1160.21/1163.92	c #Conflicts:     134000 | #Constraints:      22573
1160.21/1163.92	c #Conflicts:     135000 | #Constraints:      23573
1160.21/1163.92	c #Conflicts:     136000 | #Constraints:      24573
1160.21/1163.92	c #Conflicts:     137000 | #Constraints:      25573
1160.21/1163.92	c #Conflicts:     138000 | #Constraints:      26573
1160.21/1163.92	c #Conflicts:     139000 | #Constraints:      27573
1160.21/1163.92	c INPROCESSING
1160.21/1163.92	c GARBAGE COLLECT
1160.21/1163.92	c #Conflicts:     140000 | #Constraints:      21176
1160.21/1163.92	c #Conflicts:     141000 | #Constraints:      22176
1160.21/1163.92	c #Conflicts:     142000 | #Constraints:      23176
1160.21/1163.92	c #Conflicts:     143000 | #Constraints:      24176
1160.21/1163.92	c #Conflicts:     144000 | #Constraints:      25176
1160.21/1163.92	c #Conflicts:     145000 | #Constraints:      26176
1160.21/1163.92	c #Conflicts:     146000 | #Constraints:      27176
1160.21/1163.92	c #Conflicts:     147000 | #Constraints:      28176
1160.21/1163.92	c INPROCESSING
1160.21/1163.92	c GARBAGE COLLECT
1160.21/1163.92	c #Conflicts:     148000 | #Constraints:      21576
1160.21/1163.92	c #Conflicts:     149000 | #Constraints:      22576
1160.21/1163.92	c #Conflicts:     150000 | #Constraints:      23576
1160.21/1163.92	c #Conflicts:     151000 | #Constraints:      24576
1160.21/1163.92	c #Conflicts:     152000 | #Constraints:      25576
1160.21/1163.92	c #Conflicts:     153000 | #Constraints:      26576
1160.21/1163.92	c GLOBAL bounds - >= 0 @ 1151.62
1163.99/1167.70	c #Conflicts:     154000 | #Constraints:      27578
1163.99/1167.70	c GLOBAL bounds - >= 0 @ 1155.36
1168.57/1172.36	c GLOBAL bounds - >= 0 @ 1159.94
1177.36/1181.16	c #Conflicts:     155000 | #Constraints:      28582
1177.36/1181.16	c INPROCESSING
1177.36/1181.16	c GARBAGE COLLECT
1177.36/1181.16	c GLOBAL bounds - >= 0 @ 1168.66
1200.58/1204.50	c #Conflicts:     156000 | #Constraints:      21803
1200.58/1204.50	c #Conflicts:     157000 | #Constraints:      22803
1200.58/1204.50	c #Conflicts:     158000 | #Constraints:      23803
1200.58/1204.50	c GLOBAL bounds - >= 0 @ 1191.78
1204.06/1207.90	c GLOBAL bounds - >= 0 @ 1195.16
1211.15/1215.10	c #Conflicts:     159000 | #Constraints:      24807
1211.15/1215.10	c GLOBAL bounds - >= 0 @ 1202.31
1320.61/1324.85	c #Conflicts:     160000 | #Constraints:      25809
1320.61/1324.85	c #Conflicts:     161000 | #Constraints:      26809
1320.61/1324.85	c #Conflicts:     162000 | #Constraints:      27809
1320.61/1324.85	c #Conflicts:     163000 | #Constraints:      28809
1320.61/1324.85	c INPROCESSING
1320.61/1324.85	c GARBAGE COLLECT
1320.61/1324.85	c #Conflicts:     164000 | #Constraints:      21851
1320.61/1324.85	c #Conflicts:     165000 | #Constraints:      22851
1320.61/1324.85	c #Conflicts:     166000 | #Constraints:      23851
1320.61/1324.85	c #Conflicts:     167000 | #Constraints:      24851
1320.61/1324.85	c #Conflicts:     168000 | #Constraints:      25851
1320.61/1324.85	c #Conflicts:     169000 | #Constraints:      26851
1320.61/1324.85	c #Conflicts:     170000 | #Constraints:      27851
1320.61/1324.85	c GLOBAL bounds - >= 0 @ 1311.05
1337.95/1342.22	c #Conflicts:     171000 | #Constraints:      28853
1337.95/1342.22	c INPROCESSING
1337.95/1342.22	c GARBAGE COLLECT
1337.95/1342.22	c GLOBAL bounds - >= 0 @ 1328.29
1411.83/1416.37	c #Conflicts:     172000 | #Constraints:      21653
1411.83/1416.37	c #Conflicts:     173000 | #Constraints:      22653
1411.83/1416.37	c #Conflicts:     174000 | #Constraints:      23653
1411.83/1416.37	c #Conflicts:     175000 | #Constraints:      24653
1411.83/1416.37	c #Conflicts:     176000 | #Constraints:      25653
1411.83/1416.37	c #Conflicts:     177000 | #Constraints:      26653
1411.83/1416.37	c #Conflicts:     178000 | #Constraints:      27653
1411.83/1416.37	c #Conflicts:     179000 | #Constraints:      28653
1411.83/1416.37	c GLOBAL bounds - >= 0 @ 1401.78
2054.02/2060.52	c #Conflicts:     180000 | #Constraints:      29655
2054.02/2060.52	c INPROCESSING
2054.02/2060.52	c GARBAGE COLLECT
2054.02/2060.52	c #Conflicts:     181000 | #Constraints:      22247
2054.02/2060.52	c #Conflicts:     182000 | #Constraints:      23247
2054.02/2060.52	c #Conflicts:     183000 | #Constraints:      24247
2054.02/2060.52	c #Conflicts:     184000 | #Constraints:      25247
2054.02/2060.52	c #Conflicts:     185000 | #Constraints:      26247
2054.02/2060.52	c #Conflicts:     186000 | #Constraints:      27247
2054.02/2060.52	c #Conflicts:     187000 | #Constraints:      28247
2054.02/2060.52	c #Conflicts:     188000 | #Constraints:      29247
2054.02/2060.52	c #Conflicts:     189000 | #Constraints:      30247
2054.02/2060.52	c INPROCESSING
2054.02/2060.52	c GARBAGE COLLECT
2054.02/2060.52	c #Conflicts:     190000 | #Constraints:      22663
2054.02/2060.52	c #Conflicts:     191000 | #Constraints:      23663
2054.02/2060.52	c #Conflicts:     192000 | #Constraints:      24663
2054.02/2060.52	c #Conflicts:     193000 | #Constraints:      25663
2054.02/2060.52	c #Conflicts:     194000 | #Constraints:      26663
2054.02/2060.52	c #Conflicts:     195000 | #Constraints:      27663
2054.02/2060.52	c #Conflicts:     196000 | #Constraints:      28663
2054.02/2060.52	c #Conflicts:     197000 | #Constraints:      29663
2054.02/2060.52	c #Conflicts:     198000 | #Constraints:      30663
2054.02/2060.52	c INPROCESSING
2054.02/2060.52	c GARBAGE COLLECT
2054.02/2060.52	c #Conflicts:     199000 | #Constraints:      22854
2054.02/2060.52	c #Conflicts:     200000 | #Constraints:      23854
2054.02/2060.52	c #Conflicts:     201000 | #Constraints:      24854
2054.02/2060.52	c #Conflicts:     202000 | #Constraints:      25854
2054.02/2060.52	c #Conflicts:     203000 | #Constraints:      26854
2054.02/2060.52	c #Conflicts:     204000 | #Constraints:      27854
2054.02/2060.52	c #Conflicts:     205000 | #Constraints:      28854
2054.02/2060.52	c #Conflicts:     206000 | #Constraints:      29854
2054.02/2060.52	c #Conflicts:     207000 | #Constraints:      30854
2054.02/2060.52	c INPROCESSING
2054.02/2060.52	c GARBAGE COLLECT
2054.02/2060.52	c #Conflicts:     208000 | #Constraints:      22844
2054.02/2060.52	c #Conflicts:     209000 | #Constraints:      23844
2054.02/2060.52	c #Conflicts:     210000 | #Constraints:      24844
2054.02/2060.52	c #Conflicts:     211000 | #Constraints:      25844
2054.02/2060.52	c #Conflicts:     212000 | #Constraints:      26844
2054.02/2060.52	c #Conflicts:     213000 | #Constraints:      27844
2054.02/2060.52	c #Conflicts:     214000 | #Constraints:      28844
2054.02/2060.52	c #Conflicts:     215000 | #Constraints:      29844
2054.02/2060.52	c #Conflicts:     216000 | #Constraints:      30844
2054.02/2060.52	c INPROCESSING
2054.02/2060.52	c GARBAGE COLLECT
2054.02/2060.52	c #Conflicts:     217000 | #Constraints:      22647
2054.02/2060.52	c #Conflicts:     218000 | #Constraints:      23647
2054.02/2060.52	c #Conflicts:     219000 | #Constraints:      24647
2054.02/2060.52	c #Conflicts:     220000 | #Constraints:      25647
2054.02/2060.52	c #Conflicts:     221000 | #Constraints:      26647
2054.02/2060.52	c #Conflicts:     222000 | #Constraints:      27647
2054.02/2060.52	c #Conflicts:     223000 | #Constraints:      28647
2054.02/2060.52	c #Conflicts:     224000 | #Constraints:      29647
2054.02/2060.52	c #Conflicts:     225000 | #Constraints:      30647
2054.02/2060.52	c #Conflicts:     226000 | #Constraints:      31647
2054.02/2060.52	c INPROCESSING
2054.02/2060.52	c GARBAGE COLLECT
2054.02/2060.52	c #Conflicts:     227000 | #Constraints:      23263
2054.02/2060.52	c #Conflicts:     228000 | #Constraints:      24263
2054.02/2060.52	c #Conflicts:     229000 | #Constraints:      25263
2054.02/2060.52	c #Conflicts:     230000 | #Constraints:      26263
2054.02/2060.52	c #Conflicts:     231000 | #Constraints:      27263
2054.02/2060.52	c #Conflicts:     232000 | #Constraints:      28263
2054.02/2060.52	c #Conflicts:     233000 | #Constraints:      29263
2054.02/2060.52	c #Conflicts:     234000 | #Constraints:      30263
2054.02/2060.52	c #Conflicts:     235000 | #Constraints:      31263
2054.02/2060.52	c #Conflicts:     236000 | #Constraints:      32263
2054.02/2060.52	c INPROCESSING
2054.02/2060.52	c GARBAGE COLLECT
2054.02/2060.52	c #Conflicts:     237000 | #Constraints:      23659
2054.02/2060.52	c #Conflicts:     238000 | #Constraints:      24659
2054.02/2060.52	c #Conflicts:     239000 | #Constraints:      25659
2054.02/2060.52	c #Conflicts:     240000 | #Constraints:      26659
2054.02/2060.52	c #Conflicts:     241000 | #Constraints:      27659
2054.02/2060.52	c #Conflicts:     242000 | #Constraints:      28659
2054.02/2060.52	c #Conflicts:     243000 | #Constraints:      29659
2054.02/2060.52	c #Conflicts:     244000 | #Constraints:      30659
2054.02/2060.52	c #Conflicts:     245000 | #Constraints:      31659
2054.02/2060.52	c #Conflicts:     246000 | #Constraints:      32659
2054.02/2060.52	c INPROCESSING
2054.02/2060.52	c GARBAGE COLLECT
2054.02/2060.52	c GLOBAL bounds - >= 0 @ 2041.74
2088.61/2095.24	c #Conflicts:     247000 | #Constraints:      23850
2088.61/2095.24	c #Conflicts:     248000 | #Constraints:      24850
2088.61/2095.24	c #Conflicts:     249000 | #Constraints:      25850
2088.61/2095.24	c #Conflicts:     250000 | #Constraints:      26850
2088.61/2095.24	c #Conflicts:     251000 | #Constraints:      27850
2088.61/2095.24	c GLOBAL bounds - >= 0 @ 2076.25
2144.04/2150.89	c #Conflicts:     252000 | #Constraints:      28852
2144.04/2150.89	c #Conflicts:     253000 | #Constraints:      29852
2144.04/2150.89	c #Conflicts:     254000 | #Constraints:      30852
2144.04/2150.89	c #Conflicts:     255000 | #Constraints:      31852
2144.04/2150.89	c GLOBAL bounds - >= 0 @ 2131.37
2171.37/2178.26	c #Conflicts:     256000 | #Constraints:      32854
2171.37/2178.26	c INPROCESSING
2171.37/2178.26	c GARBAGE COLLECT
2171.37/2178.26	c #Conflicts:     257000 | #Constraints:      23876
2171.37/2178.26	c #Conflicts:     258000 | #Constraints:      24876
2171.37/2178.26	c GLOBAL bounds - >= 0 @ 2158.53
2275.52/2282.72	c #Conflicts:     259000 | #Constraints:      25878
2275.52/2282.72	c #Conflicts:     260000 | #Constraints:      26878
2275.52/2282.72	c #Conflicts:     261000 | #Constraints:      27878
2275.52/2282.72	c #Conflicts:     262000 | #Constraints:      28878
2275.52/2282.72	c #Conflicts:     263000 | #Constraints:      29878
2275.52/2282.72	c #Conflicts:     264000 | #Constraints:      30878
2275.52/2282.72	c #Conflicts:     265000 | #Constraints:      31878
2275.52/2282.72	c #Conflicts:     266000 | #Constraints:      32878
2275.52/2282.72	c INPROCESSING
2275.52/2282.72	c GARBAGE COLLECT
2275.52/2282.72	c #Conflicts:     267000 | #Constraints:      23683
2275.52/2282.72	c #Conflicts:     268000 | #Constraints:      24683
2275.52/2282.72	c #Conflicts:     269000 | #Constraints:      25683
2275.52/2282.72	c GLOBAL bounds - >= 0 @ 2261.98
2346.98/2354.49	c #Conflicts:     270000 | #Constraints:      26685
2346.98/2354.49	c #Conflicts:     271000 | #Constraints:      27685
2346.98/2354.49	c #Conflicts:     272000 | #Constraints:      28685
2346.98/2354.49	c #Conflicts:     273000 | #Constraints:      29685
2346.98/2354.49	c #Conflicts:     274000 | #Constraints:      30685
2346.98/2354.49	c #Conflicts:     275000 | #Constraints:      31685
2346.98/2354.49	c #Conflicts:     276000 | #Constraints:      32685
2346.98/2354.49	c #Conflicts:     277000 | #Constraints:      33685
2346.98/2354.49	c INPROCESSING
2346.98/2354.49	c GARBAGE COLLECT
2346.98/2354.49	c #Conflicts:     278000 | #Constraints:      24278
2346.98/2354.49	c #Conflicts:     279000 | #Constraints:      25278
2346.98/2354.49	c GLOBAL bounds - >= 0 @ 2333.22
2352.57/2360.02	c #Conflicts:     280000 | #Constraints:      26280
2352.57/2360.02	c GLOBAL bounds - >= 0 @ 2338.71
2444.86/2452.60	c #Conflicts:     281000 | #Constraints:      27282
2444.86/2452.60	c #Conflicts:     282000 | #Constraints:      28282
2444.86/2452.60	c #Conflicts:     283000 | #Constraints:      29282
2444.86/2452.60	c #Conflicts:     284000 | #Constraints:      30282
2444.86/2452.60	c #Conflicts:     285000 | #Constraints:      31282
2444.86/2452.60	c #Conflicts:     286000 | #Constraints:      32282
2444.86/2452.60	c #Conflicts:     287000 | #Constraints:      33282
2444.86/2452.60	c GLOBAL bounds - >= 0 @ 2430.58
2462.51/2470.35	c #Conflicts:     288000 | #Constraints:      34284
2462.51/2470.35	c INPROCESSING
2462.51/2470.35	c GARBAGE COLLECT
2462.51/2470.35	c #Conflicts:     289000 | #Constraints:      24685
2462.51/2470.35	c GLOBAL bounds - >= 0 @ 2447.64
2482.44/2490.38	c #Conflicts:     290000 | #Constraints:      25687
2482.44/2490.38	c GLOBAL bounds - >= 0 @ 2467.47
2486.25/2494.13	c #Conflicts:     291000 | #Constraints:      26689
2486.25/2494.13	c GLOBAL bounds - >= 0 @ 2471.2
2488.83/2496.74	c GLOBAL bounds - >= 0 @ 2473.79
2543.55/2551.62	c #Conflicts:     292000 | #Constraints:      27693
2543.55/2551.62	c #Conflicts:     293000 | #Constraints:      28693
2543.55/2551.62	c #Conflicts:     294000 | #Constraints:      29693
2543.55/2551.62	c #Conflicts:     295000 | #Constraints:      30693
2543.55/2551.62	c #Conflicts:     296000 | #Constraints:      31693
2543.55/2551.62	c #Conflicts:     297000 | #Constraints:      32693
2543.55/2551.62	c GLOBAL bounds - >= 0 @ 2528.3
2639.56/2647.92	c #Conflicts:     298000 | #Constraints:      33695
2639.56/2647.92	c #Conflicts:     299000 | #Constraints:      34695
2639.56/2647.92	c INPROCESSING
2639.56/2647.92	c GARBAGE COLLECT
2639.56/2647.92	c #Conflicts:     300000 | #Constraints:      24877
2639.56/2647.92	c #Conflicts:     301000 | #Constraints:      25877
2639.56/2647.92	c #Conflicts:     302000 | #Constraints:      26877
2639.56/2647.92	c #Conflicts:     303000 | #Constraints:      27877
2639.56/2647.92	c #Conflicts:     304000 | #Constraints:      28877
2639.56/2647.92	c #Conflicts:     305000 | #Constraints:      29877
2639.56/2647.92	c GLOBAL bounds - >= 0 @ 2623.65
2659.19/2667.69	c #Conflicts:     306000 | #Constraints:      30879
2659.19/2667.69	c #Conflicts:     307000 | #Constraints:      31879
2659.19/2667.69	c GLOBAL bounds - >= 0 @ 2643.2
2803.54/2812.40	c #Conflicts:     308000 | #Constraints:      32881
2803.54/2812.40	c #Conflicts:     309000 | #Constraints:      33881
2803.54/2812.40	c #Conflicts:     310000 | #Constraints:      34881
2803.54/2812.40	c INPROCESSING
2803.54/2812.40	c GARBAGE COLLECT
2803.54/2812.40	c #Conflicts:     311000 | #Constraints:      24882
2803.54/2812.40	c #Conflicts:     312000 | #Constraints:      25882
2803.54/2812.40	c #Conflicts:     313000 | #Constraints:      26882
2803.54/2812.40	c #Conflicts:     314000 | #Constraints:      27882
2803.54/2812.40	c #Conflicts:     315000 | #Constraints:      28882
2803.54/2812.40	c #Conflicts:     316000 | #Constraints:      29882
2803.54/2812.40	c #Conflicts:     317000 | #Constraints:      30882
2803.54/2812.40	c #Conflicts:     318000 | #Constraints:      31882
2803.54/2812.40	c #Conflicts:     319000 | #Constraints:      32882
2803.54/2812.40	c #Conflicts:     320000 | #Constraints:      33882
2803.54/2812.40	c #Conflicts:     321000 | #Constraints:      34882
2803.54/2812.40	c INPROCESSING
2803.54/2812.40	c GARBAGE COLLECT
2803.54/2812.40	c #Conflicts:     322000 | #Constraints:      24707
2803.54/2812.40	c #Conflicts:     323000 | #Constraints:      25707
2803.54/2812.40	c GLOBAL bounds - >= 0 @ 2786.89
2997.08/3006.52	c #Conflicts:     324000 | #Constraints:      26709
2997.08/3006.52	c #Conflicts:     325000 | #Constraints:      27709
2997.08/3006.52	c #Conflicts:     326000 | #Constraints:      28709
2997.08/3006.52	c #Conflicts:     327000 | #Constraints:      29709
2997.08/3006.52	c #Conflicts:     328000 | #Constraints:      30709
2997.08/3006.52	c #Conflicts:     329000 | #Constraints:      31709
2997.08/3006.52	c #Conflicts:     330000 | #Constraints:      32709
2997.08/3006.52	c #Conflicts:     331000 | #Constraints:      33709
2997.08/3006.52	c #Conflicts:     332000 | #Constraints:      34709
2997.08/3006.52	c #Conflicts:     333000 | #Constraints:      35709
2997.08/3006.52	c INPROCESSING
2997.08/3006.52	c GARBAGE COLLECT
2997.08/3006.52	c #Conflicts:     334000 | #Constraints:      25296
2997.08/3006.52	c #Conflicts:     335000 | #Constraints:      26296
2997.08/3006.52	c #Conflicts:     336000 | #Constraints:      27296
2997.08/3006.52	c #Conflicts:     337000 | #Constraints:      28296
2997.08/3006.52	c #Conflicts:     338000 | #Constraints:      29296
2997.08/3006.52	c #Conflicts:     339000 | #Constraints:      30296
2997.08/3006.52	c #Conflicts:     340000 | #Constraints:      31296
2997.08/3006.52	c #Conflicts:     341000 | #Constraints:      32296
2997.08/3006.52	c #Conflicts:     342000 | #Constraints:      33296
2997.08/3006.52	c #Conflicts:     343000 | #Constraints:      34296
2997.08/3006.52	c #Conflicts:     344000 | #Constraints:      35296
2997.08/3006.52	c #Conflicts:     345000 | #Constraints:      36296
2997.08/3006.52	c INPROCESSING
2997.08/3006.52	c GARBAGE COLLECT
2997.08/3006.52	c GLOBAL bounds - >= 0 @ 2979.61
3013.65/3023.14	c #Conflicts:     346000 | #Constraints:      25715
3013.65/3023.14	c #Conflicts:     347000 | #Constraints:      26715
3013.65/3023.14	c GLOBAL bounds - >= 0 @ 2996.09
3047.74/3057.35	c #Conflicts:     348000 | #Constraints:      27717
3047.74/3057.35	c #Conflicts:     349000 | #Constraints:      28717
3047.74/3057.35	c #Conflicts:     350000 | #Constraints:      29717
3047.74/3057.35	c #Conflicts:     351000 | #Constraints:      30717
3047.74/3057.35	c #Conflicts:     352000 | #Constraints:      31717
3047.74/3057.35	c GLOBAL bounds - >= 0 @ 3029.98
3158.53/3168.45	c #Conflicts:     353000 | #Constraints:      32719
3158.53/3168.45	c #Conflicts:     354000 | #Constraints:      33719
3158.53/3168.45	c #Conflicts:     355000 | #Constraints:      34719
3158.53/3168.45	c #Conflicts:     356000 | #Constraints:      35719
3158.53/3168.45	c #Conflicts:     357000 | #Constraints:      36719
3158.53/3168.45	c INPROCESSING
3158.53/3168.45	c GARBAGE COLLECT
3158.53/3168.45	c #Conflicts:     358000 | #Constraints:      25939
3158.53/3168.45	c #Conflicts:     359000 | #Constraints:      26939
3158.53/3168.45	c #Conflicts:     360000 | #Constraints:      27939
3158.53/3168.45	c #Conflicts:     361000 | #Constraints:      28939
3158.53/3168.45	c #Conflicts:     362000 | #Constraints:      29939
3158.53/3168.45	c #Conflicts:     363000 | #Constraints:      30939
3158.53/3168.45	c #Conflicts:     364000 | #Constraints:      31939
3158.53/3168.45	c GLOBAL bounds - >= 0 @ 3140.06
3263.34/3273.58	c #Conflicts:     365000 | #Constraints:      32941
3263.34/3273.58	c #Conflicts:     366000 | #Constraints:      33941
3263.34/3273.58	c #Conflicts:     367000 | #Constraints:      34941
3263.34/3273.58	c #Conflicts:     368000 | #Constraints:      35941
3263.34/3273.58	c #Conflicts:     369000 | #Constraints:      36941
3263.34/3273.58	c INPROCESSING
3263.34/3273.58	c GARBAGE COLLECT
3263.34/3273.58	c #Conflicts:     370000 | #Constraints:      25941
3263.34/3273.58	c #Conflicts:     371000 | #Constraints:      26941
3263.34/3273.58	c #Conflicts:     372000 | #Constraints:      27941
3263.34/3273.58	c #Conflicts:     373000 | #Constraints:      28941
3263.34/3273.58	c #Conflicts:     374000 | #Constraints:      29941
3263.34/3273.58	c GLOBAL bounds - >= 0 @ 3244.33
3337.75/3348.12	c #Conflicts:     375000 | #Constraints:      30943
3337.75/3348.12	c #Conflicts:     376000 | #Constraints:      31943
3337.75/3348.12	c #Conflicts:     377000 | #Constraints:      32943
3337.75/3348.12	c #Conflicts:     378000 | #Constraints:      33943
3337.75/3348.12	c #Conflicts:     379000 | #Constraints:      34943
3337.75/3348.12	c #Conflicts:     380000 | #Constraints:      35943
3337.75/3348.12	c #Conflicts:     381000 | #Constraints:      36943
3337.75/3348.12	c INPROCESSING
3337.75/3348.12	c GARBAGE COLLECT
3337.75/3348.12	c #Conflicts:     382000 | #Constraints:      25739
3337.75/3348.12	c GLOBAL bounds - >= 0 @ 3318.47
3342.42/3352.85	c #Conflicts:     383000 | #Constraints:      26741
3342.42/3352.85	c GLOBAL bounds - >= 0 @ 3323.15
3345.42/3355.82	c #Conflicts:     384000 | #Constraints:      27743
3345.42/3355.82	c GLOBAL bounds - >= 0 @ 3326.1
3347.01/3357.47	c GLOBAL bounds - >= 0 @ 3327.73
3354.29/3364.71	c GLOBAL bounds - >= 0 @ 3334.86
3374.03/3384.51	c #Conflicts:     385000 | #Constraints:      28749
3374.03/3384.51	c #Conflicts:     386000 | #Constraints:      29749
3374.03/3384.51	c GLOBAL bounds - >= 0 @ 3354.49
3425.68/3436.33	c #Conflicts:     387000 | #Constraints:      30751
3425.68/3436.33	c #Conflicts:     388000 | #Constraints:      31751
3425.68/3436.33	c #Conflicts:     389000 | #Constraints:      32751
3425.68/3436.33	c #Conflicts:     390000 | #Constraints:      33751
3425.68/3436.33	c #Conflicts:     391000 | #Constraints:      34751
3425.68/3436.33	c GLOBAL bounds - >= 0 @ 3405.83
3432.96/3443.60	c #Conflicts:     392000 | #Constraints:      35753
3432.96/3443.60	c GLOBAL bounds - >= 0 @ 3413
3462.79/3473.52	c #Conflicts:     393000 | #Constraints:      36755
3462.79/3473.52	c #Conflicts:     394000 | #Constraints:      37755
3462.79/3473.52	c INPROCESSING
3462.79/3473.52	c GARBAGE COLLECT
3462.79/3473.52	c GLOBAL bounds - >= 0 @ 3442.61
3555.22/3566.28	c #Conflicts:     395000 | #Constraints:      26262
3555.22/3566.28	c #Conflicts:     396000 | #Constraints:      27262
3555.22/3566.28	c #Conflicts:     397000 | #Constraints:      28262
3555.22/3566.28	c #Conflicts:     398000 | #Constraints:      29262
3555.22/3566.28	c #Conflicts:     399000 | #Constraints:      30262
3555.22/3566.28	c #Conflicts:     400000 | #Constraints:      31262
3555.22/3566.28	c #Conflicts:     401000 | #Constraints:      32262
3555.22/3566.28	c #Conflicts:     402000 | #Constraints:      33262
3555.22/3566.28	c #Conflicts:     403000 | #Constraints:      34262
3555.22/3566.28	c #Conflicts:     404000 | #Constraints:      35262
3555.22/3566.28	c GLOBAL bounds - >= 0 @ 3534.71
3560.71/3571.72	c #Conflicts:     405000 | #Constraints:      36264
3560.71/3571.72	c GLOBAL bounds - >= 0 @ 3540.11
3568.88/3579.94	c #Conflicts:     406000 | #Constraints:      37266
3568.88/3579.94	c GLOBAL bounds - >= 0 @ 3548.28
3600.01/3611.11	c #Conflicts:     407000 | #Constraints:      38268
3600.01/3611.11	c INPROCESSING
3600.01/3611.11	c GARBAGE COLLECT
3600.01/3611.11	c #Conflicts:     408000 | #Constraints:      26730
3600.01/3611.11	c #Conflicts:     409000 | #Constraints:      27730
3600.01/3611.11	c cpu time 3579.27 s
3600.01/3611.11	c deterministic time 1 1.00e+00
3600.01/3611.11	c optimization time 3579.13 s
3600.01/3611.11	c total solve time 0 s
3600.01/3611.11	c core-guided solve time 0 s
3600.01/3611.11	c propagation time 0.012688 s
3600.01/3611.11	c conflict analysis time 0 s
3600.01/3611.11	c propagations 0
3600.01/3611.11	c resolve steps 0
3600.01/3611.11	c decisions 0
3600.01/3611.11	c conflicts 0
3600.01/3611.11	c restarts 0
3600.01/3611.11	c inprocessing phases 0
3600.01/3611.11	c garbage collections 0 ,( -nan )
3600.01/3611.11	c input clauses 12650 ,( 100.00 )
3600.01/3611.11	c input cardinalities 0 ,( 0.00 )
3600.01/3611.11	c input general constraints 0 ,( 0.00 )
3600.01/3611.11	c input average constraint length 4.00
3600.01/3611.11	c input average constraint degree 1.00
3600.01/3611.11	c learned clauses 0 ,( 0.00 )
3600.01/3611.11	c learned cardinalities 0 ,( 0.00 )
3600.01/3611.11	c learned general constraints 0 ,( 0.00 )
3600.01/3611.11	c learned average constraint length 0.00
3600.01/3611.11	c learned average constraint degree 0.00
3600.01/3611.11	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3611.11	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3611.11	c watched   constraints 0 ,( -nan ) 
3600.01/3611.11	c counting  constraints 0 ,( -nan ) 
3600.01/3611.11	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3611.11	c gcd simplifications 0
3600.01/3611.11	c detected cardinalities 0
3600.01/3611.11	c weakened non-implied lits 0
3600.01/3611.11	c weakened non-implying lits 0
3600.01/3611.11	c original variables 12650
3600.01/3611.11	c clausal propagations 0
3600.01/3611.11	c cardinality propagations 0
3600.01/3611.11	c watched propagations 0
3600.01/3611.11	c counting propagations 0
3600.01/3611.11	c watch lookups 0
3600.01/3611.11	c watch backjump lookups 0
3600.01/3611.11	c watch checks 0
3600.01/3611.11	c propagation checks 0
3600.01/3611.11	c constraint additions 0
3600.01/3611.11	c trail pops 0
3600.01/3611.11	c formula constraints 12650
3600.01/3611.11	c learned constraints 0
3600.01/3611.11	c bound constraints 0
3600.01/3611.11	c core-guided constraints 0
3600.01/3611.11	c encountered formula constraints 0
3600.01/3611.11	c encountered learned constraints 0
3600.01/3611.11	c encountered bound constraints 0
3600.01/3611.11	c encountered core-guided constraints 0
3600.01/3611.11	c LP total time 0 s
3600.01/3611.11	c LP solve time 0 s
3600.01/3611.11	c LP constraints added 0
3600.01/3611.11	c LP constraints removed 0
3600.01/3611.11	c LP pivots internal 0
3600.01/3611.11	c LP pivots root 0
3600.01/3611.11	c LP calls 0
3600.01/3611.11	c LP optimalities 0
3600.01/3611.11	c LP no pivot count 0
3600.01/3611.11	c LP infeasibilities 0
3600.01/3611.11	c LP valid Farkas constraints 0
3600.01/3611.11	c LP learned Farkas constraints 0
3600.01/3611.11	c LP basis resets 0
3600.01/3611.11	c LP cycling count 0
3600.01/3611.11	c LP singular count 0
3600.01/3611.11	c LP no primal count 0
3600.01/3611.11	c LP no farkas count 0
3600.01/3611.11	c LP other issue count 0
3600.01/3611.11	c LP Gomory cuts 0
3600.01/3611.11	c LP learned cuts 0
3600.01/3611.11	c LP deleted cuts 0
3600.01/3611.11	c LP encountered Gomory constraints 0
3600.01/3611.11	c LP encountered Farkas constraints 0
3600.01/3611.11	c LP encountered learned Farkas constraints 0
3600.01/3611.11	c CG auxiliary variables introduced 0
3600.01/3611.11	c CG solutions found 0
3600.01/3611.11	c CG cores constructed 0
3600.01/3611.11	c CG core cardinality constraints returned 0
3600.01/3611.11	c CG unit cores 0
3600.01/3611.11	c CG single cores 0
3600.01/3611.11	c CG blocks removed during cardinality reduction 0
3600.01/3611.11	c CG first core best 0
3600.01/3611.11	c CG decision core best 0
3600.01/3611.11	c CG core reduction tie 0
3600.01/3611.11	c CG core degree average 0.00
3600.01/3611.11	c CG core slack average 0.00
3600.01/3611.11	c CG core upper bound improvements 0
3600.01/3611.11	c STR number of successful calls 0
3600.01/3611.11	c STR number of unsuccessful calls 0
3600.01/3611.11	c STR number of inconclusive calls 0
3600.01/3611.11	c STR number of successful attempts 0
3600.01/3611.11	c STR number of unsuccessful attempts 0
3600.01/3611.11	c STR number of inconclusive attempts 0
3600.01/3611.11	c STR average degree increase per successful call inf
3600.01/3611.11	c STR average degree increase per successful attempt inf
3600.01/3611.11	c STR total number of conflicts for successful attempts 0
3600.01/3611.11	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3611.11	c STR total number of conflicts for inconclusive attempts 0
3600.01/3611.11	c STR average number of conflicts per successful attempt inf
3600.01/3611.11	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3611.11	c STR average number of conflicts per inconclusive attempt inf
3600.01/3611.11	c AVG.sumWPerc -nan 
3600.01/3611.11	c bigint constraints 0 
3600.01/3611.11	s UNKNOWN
3600.01/3611.11	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100068 s]*
/proc/loadavg: 0.25 0.87 1.51 7/255 81917
/proc/meminfo: memFree=129847480/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=58228 memory=11244 CPUtime=0.08 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1574 0 0 0 6 2 0 0 20 0 1 0 73176395 59625472 2811 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 14557 2811 1888 1147 0 1984 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62420 KiB
Current children cumulated memory: 14188 KiB

[startup+0.212881 s]*
/proc/loadavg: 0.25 0.87 1.51 7/255 81917
/proc/meminfo: memFree=129829144/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=80260 memory=29116 CPUtime=0.19 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 5625 0 0 0 15 4 0 0 20 0 1 0 73176395 82186240 7279 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 20065 7279 2272 1147 0 7492 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84452 KiB
Current children cumulated memory: 32060 KiB

[startup+0.313035 s]*
/proc/loadavg: 0.25 0.87 1.51 6/255 81917
/proc/meminfo: memFree=129813268/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=84540 memory=35912 CPUtime=0.29 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 6827 0 0 0 20 9 0 0 20 0 1 0 73176395 86568960 8978 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 21135 8978 2304 1147 0 8562 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 88732 KiB
Current children cumulated memory: 38856 KiB

[startup+0.700379 s]
/proc/loadavg: 0.25 0.87 1.51 6/255 81917
/proc/meminfo: memFree=129787060/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=97456 memory=48072 CPUtime=0.66 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 9853 0 0 0 55 11 0 0 20 0 1 0 73176395 99794944 12018 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 24364 12018 2304 1147 0 11791 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 101648 KiB
Current children cumulated memory: 51016 KiB

[startup+1.50033 s]
/proc/loadavg: 0.25 0.87 1.51 6/255 81917
/proc/meminfo: memFree=129744648/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=149528 memory=101472 CPUtime=1.46 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 21625 0 0 0 128 18 0 0 20 0 1 0 73176395 153116672 25368 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 37382 25368 2336 1147 0 24809 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 153720 KiB
Current children cumulated memory: 104416 KiB

[startup+3.11239 s]
/proc/loadavg: 0.55 0.92 1.52 6/255 81917
/proc/meminfo: memFree=129472052/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=263028 memory=185584 CPUtime=3.07 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 36028 0 0 0 282 25 0 0 20 0 1 0 73176395 269340672 46396 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 65757 46396 2336 1147 0 53184 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 267220 KiB
Current children cumulated memory: 188528 KiB

[startup+6.30034 s]
/proc/loadavg: 0.55 0.92 1.52 6/255 81917
/proc/meminfo: memFree=128988224/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=631592 memory=504736 CPUtime=6.24 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 99986 0 0 0 585 39 0 0 20 0 1 0 73176395 646750208 126184 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 157898 126184 2336 1147 0 145325 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 635784 KiB
Current children cumulated memory: 507680 KiB

[startup+12.7003 s]
/proc/loadavg: 0.83 0.97 1.53 6/255 81917
/proc/meminfo: memFree=128650688/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=715136 memory=601228 CPUtime=12.62 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 112887 0 0 0 1214 48 0 0 20 0 1 0 73176395 732299264 150307 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 178784 150307 2336 1147 0 166211 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 719328 KiB
Current children cumulated memory: 604172 KiB

[startup+25.5004 s]
/proc/loadavg: 1.60 1.14 1.58 6/255 81918
/proc/meminfo: memFree=128215696/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=1272964 memory=999636 CPUtime=25.37 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 190010 0 0 0 2461 76 0 0 20 0 1 0 73176395 1303515136 249909 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 318241 249909 2336 1147 0 305668 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1277156 KiB
Current children cumulated memory: 1002580 KiB

[startup+51.1123 s]
/proc/loadavg: 2.42 1.37 1.65 6/255 81918
/proc/meminfo: memFree=127596668/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=1493848 memory=1224676 CPUtime=50.91 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 219680 0 0 0 4986 105 0 0 20 0 1 0 73176395 1529700352 306169 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 373462 306169 2336 1147 0 360889 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1498040 KiB
Current children cumulated memory: 1227620 KiB

[startup+102.3 s]
/proc/loadavg: 3.36 1.79 1.78 6/256 81921
/proc/meminfo: memFree=126844344/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=2324904 memory=1756316 CPUtime=101.93 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 338397 0 0 0 10015 178 0 0 20 0 1 0 73176395 2380701696 439079 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 581226 439079 2336 1147 0 568653 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2329096 KiB
Current children cumulated memory: 1759260 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.24 1.93 6/256 81923
/proc/meminfo: memFree=126488580/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=2352844 memory=2022988 CPUtime=161.74 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 374918 0 0 0 15920 254 0 0 20 0 1 0 73176395 2409312256 505747 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 588211 505747 2336 1147 0 575638 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2357036 KiB
Current children cumulated memory: 2025932 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.56 2.07 6/255 81925
/proc/meminfo: memFree=126286128/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=2711600 memory=2105464 CPUtime=221.54 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 387338 0 0 0 21842 312 0 0 20 0 1 0 73176395 2776678400 526366 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 677900 526366 2336 1147 0 665327 0

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

[pid=81917] ppid=81914 vsize=9029948 memory=6873624 CPUtime=3092.62 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1248016 0 0 0 307453 1809 0 0 20 0 1 0 73176395 9246666752 1718406 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2257487 1718406 2336 1147 0 2244914 0
Current children cumulated CPU time: 3092.62 s
Current children cumulated vsize: 9034140 KiB
Current children cumulated memory: 6876568 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.29 4.21 6/253 82084
/proc/meminfo: memFree=118693428/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=9029948 memory=6873624 CPUtime=3152.45 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1248655 0 0 0 313395 1850 0 0 20 0 1 0 73176395 9246666752 1718406 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2257487 1718406 2336 1147 0 2244914 0
Current children cumulated CPU time: 3152.45 s
Current children cumulated vsize: 9034140 KiB
Current children cumulated memory: 6876568 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.25 4.20 6/253 82086
/proc/meminfo: memFree=118661364/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=9030460 memory=6873880 CPUtime=3212.28 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1249612 0 0 0 319337 1891 0 0 20 0 1 0 73176395 9247191040 1718470 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2257615 1718470 2336 1147 0 2245042 0
Current children cumulated CPU time: 3212.28 s
Current children cumulated vsize: 9034652 KiB
Current children cumulated memory: 6876824 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.22 4.19 6/254 82093
/proc/meminfo: memFree=118657428/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=9031484 memory=6874520 CPUtime=3272.11 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1250403 0 0 0 325301 1910 0 0 20 0 1 0 73176395 9248239616 1718630 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2257871 1718630 2336 1147 0 2245298 0
Current children cumulated CPU time: 3272.11 s
Current children cumulated vsize: 9035676 KiB
Current children cumulated memory: 6877464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.20 4.18 6/255 82096
/proc/meminfo: memFree=118612264/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=9031484 memory=6874520 CPUtime=3331.94 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1251015 0 0 0 331269 1925 0 0 20 0 1 0 73176395 9248239616 1718630 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2257871 1718630 2336 1147 0 2245298 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 9035676 KiB
Current children cumulated memory: 6877464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.18 4.18 6/255 82098
/proc/meminfo: memFree=118611224/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=9031484 memory=6874520 CPUtime=3391.79 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1251284 0 0 0 337213 1966 0 0 20 0 1 0 73176395 9248239616 1718630 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2257871 1718630 2336 1147 0 2245298 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 9035676 KiB
Current children cumulated memory: 6877464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.17 6/255 82100
/proc/meminfo: memFree=118087728/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=9101628 memory=7286268 CPUtime=3451.61 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1312677 0 0 0 343146 2015 0 0 20 0 1 0 73176395 9320067072 1821567 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2275407 1821567 2336 1147 0 2262834 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 9105820 KiB
Current children cumulated memory: 7289212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.16 6/255 82102
/proc/meminfo: memFree=118087984/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=9101628 memory=7286268 CPUtime=3511.45 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1313368 0 0 0 349110 2035 0 0 20 0 1 0 73176395 9320067072 1821567 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2275407 1821567 2336 1147 0 2262834 0
Current children cumulated CPU time: 3511.45 s
Current children cumulated vsize: 9105820 KiB
Current children cumulated memory: 7289212 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.13 4.16 6/254 82106
/proc/meminfo: memFree=118089220/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=9101628 memory=7286652 CPUtime=3571.28 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1314441 0 0 0 355061 2067 0 0 20 0 1 0 73176395 9320067072 1821663 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2275407 1821663 2336 1147 0 2262834 0
Current children cumulated CPU time: 3571.28 s
Current children cumulated vsize: 9105820 KiB
Current children cumulated memory: 7289596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.10 4.13 4.16 8/254 82107
/proc/meminfo: memFree=118096472/131382120 swapFree=33010160/33010684
[pid=81914] ppid=81897 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81914/stat : 81914 (run-opt.sh) S 81897 81914 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73176393 4292608 736 18446744073709551615 93926570786816 93926571681349 140723368991072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93926571920400 93926571968144 93926575087616 140723368995181 140723368995304 140723368995304 140723369000906 0
/proc/81914/statm: 1048 736 672 219 0 110 0
[pid=81917] ppid=81914 vsize=9102140 memory=7287420 CPUtime=3600.01 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81914 81914 81821 0 -1 4194304 1314683 0 0 0 357926 2075 0 0 20 0 1 0 73176395 9320591360 1821855 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2275535 1821855 2336 1147 0 2262962 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 9106332 KiB
Current children cumulated memory: 7290364 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.12 s]
# the end of solver process 81914 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.006326 s

[startup+3611.24 s]
# the end of solver process 81917 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3579.27 s, system=20.8791 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.2 s]*
/proc/loadavg: 4.10 4.13 4.16 4/250 82107
/proc/meminfo: memFree=123767148/131382120 swapFree=33010160/33010684
[pid=81917] ppid=81897 vsize=9090876 memory=5336300 CPUtime=3600.12 cores=1,3
/proc/81917/stat : 81917 (roundingsat) R 81897 81914 81821 0 -1 4194304 1314689 0 0 0 357927 2085 0 0 20 0 1 0 73176395 9309057024 1334075 18446744073709551615 4227072 8923433 140731212286336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34328576 140731212290466 140731212290600 140731212290600 140731212296170 0
/proc/81917/statm: 2272719 1334075 2400 1147 0 2260146 0
Current cumulated CPU time of completed processes: 0.006326 s
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 9090876 KiB
Current children cumulated memory: 5336300 KiB

Child status: 2

Real time (s): 3611.24
CPU time (s): 3600.15
CPU user time (s): 3579.27
CPU system time (s): 20.8791
CPU usage (%): 99.693
Max. virtual memory (cumulated for all children) (KiB): 9106332
Max. memory (cumulated for all children) (KiB): 7290364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.27
system time used= 20.8791
maximum resident set size= 7287676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1314912
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 970
involuntary context switches= 2861


# summary of solver processes directly reported to runsolver:
#   pid: 81914,81917
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3579.27
#   total CPU system time (s): 20.8791

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7233 second user time and 34.1604 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 22:36:13
IDJOB=4520572
IDBENCH=178105
IDSOLVER=3350
FILE ID=nodeC008/4520572-1751574973
RUNJOBID= nodeC008-1751574973-81856
SLURM_JOB_ID= 9598800
Free space on /tmp= 432812 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520572-1751574973/watcher-4520572-1751574973 -o /tmp/evaluation-result-4520572-1751574973/solver-4520572-1751574973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81856 --watchdog 3760  run-opt.sh HOME/instance-4520572-1751574973.opb

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

MD5SUM BENCH= d7ece7e3292f38d08ee869a6ef2ad2c1
RANDOM SEED=172682768

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129853128 kB
MemAvailable:   129920004 kB
Buffers:            2128 kB
Cached:           861668 kB
SwapCached:           16 kB
Active:           591956 kB
Inactive:         342840 kB
Active(anon):      52512 kB
Inactive(anon):    36408 kB
Active(file):     539444 kB
Inactive(file):   306432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29484 kB
Writeback:             0 kB
AnonPages:         74072 kB
Mapped:           103728 kB
Shmem:             17920 kB
KReclaimable:     121252 kB
Slab:             206004 kB
SReclaimable:     121252 kB
SUnreclaim:        84752 kB
KernelStack:        3744 kB
PageTables:         2504 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432784 MiB
End job on nodeC008 at 2025-07-03 23:36:24