Trace number 4485458

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.19 3609.84

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
MD5SUM55b762fd6bb408eb2777c16ed585e3a1
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 benchmark1078264320
Best CPU time to get the best result obtained on this benchmark72000.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11503
Total number of constraints971
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)835
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint4
Maximum length of a constraint9784
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 83886080000000
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 508832629179091
Number of bits of the biggest sum of numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.08	c #variables 11503 #constraints 936
0.00/0.08	c objective is ce64 
0.00/0.08	c initial watched  CF 32, 64, 128, Arb: 48 , 0 , 0 , 0
0.00/0.08	c initial counting CF 32, 64, 128, Arb: 174 , 3 , 0 , 0
0.00/0.08	c GLOBAL bounds - >= 0 @ 0.058961
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.059948
0.00/0.10	c GLOBAL bounds - >= 0 @ 0.06177
0.00/0.10	c GLOBAL bounds - >= 1073740800 @ 0.06177
0.39/0.41	c GLOBAL bounds - >= 1073740800 @ 0.354915
0.39/0.41	c GLOBAL bounds - >= 1073740800 @ 0.358718
0.39/0.42	c GLOBAL bounds - >= 1073740800 @ 0.360398
7.86/7.94	c #Conflicts:       1000 | #Constraints:       1939
7.86/7.94	c #Conflicts:       2000 | #Constraints:       2939
7.86/7.94	c INPROCESSING
7.86/7.94	c GARBAGE COLLECT
7.86/7.94	c rational objective 1.07768e+09
400.65/401.79	c #Conflicts:       3000 | #Constraints:       2965
400.65/401.79	c #Conflicts:       4000 | #Constraints:       3966
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:       5000 | #Constraints:       3368
400.65/401.79	c #Conflicts:       6000 | #Constraints:       4368
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:       7000 | #Constraints:       3365
400.65/401.79	c #Conflicts:       8000 | #Constraints:       4377
400.65/401.79	c #Conflicts:       9000 | #Constraints:       5395
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      10000 | #Constraints:       4105
400.65/401.79	c #Conflicts:      11000 | #Constraints:       5121
400.65/401.79	c #Conflicts:      12000 | #Constraints:       6132
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      13000 | #Constraints:       4666
400.65/401.79	c #Conflicts:      14000 | #Constraints:       5666
400.65/401.79	c #Conflicts:      15000 | #Constraints:       6666
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      16000 | #Constraints:       4823
400.65/401.79	c #Conflicts:      17000 | #Constraints:       5849
400.65/401.79	c #Conflicts:      18000 | #Constraints:       6853
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      19000 | #Constraints:       4816
400.65/401.79	c #Conflicts:      20000 | #Constraints:       5822
400.65/401.79	c #Conflicts:      21000 | #Constraints:       6822
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      22000 | #Constraints:       4593
400.65/401.79	c #Conflicts:      23000 | #Constraints:       5593
400.65/401.79	c #Conflicts:      24000 | #Constraints:       6593
400.65/401.79	c #Conflicts:      25000 | #Constraints:       7593
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      26000 | #Constraints:       5189
400.65/401.79	c #Conflicts:      27000 | #Constraints:       6309
400.65/401.79	c #Conflicts:      28000 | #Constraints:       7507
400.65/401.79	c #Conflicts:      29000 | #Constraints:       8697
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      30000 | #Constraints:       5930
400.65/401.79	c #Conflicts:      31000 | #Constraints:       7147
400.65/401.79	c #Conflicts:      32000 | #Constraints:       8206
400.65/401.79	c #Conflicts:      33000 | #Constraints:       9479
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      34000 | #Constraints:       6232
400.65/401.79	c #Conflicts:      35000 | #Constraints:       7244
400.65/401.79	c #Conflicts:      36000 | #Constraints:       8266
400.65/401.79	c #Conflicts:      37000 | #Constraints:       9456
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      38000 | #Constraints:       6597
400.65/401.79	c #Conflicts:      39000 | #Constraints:       8093
400.65/401.79	c #Conflicts:      40000 | #Constraints:       9221
400.65/401.79	c #Conflicts:      41000 | #Constraints:      10767
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      42000 | #Constraints:       6735
400.65/401.79	c #Conflicts:      43000 | #Constraints:       7735
400.65/401.79	c #Conflicts:      44000 | #Constraints:       8735
400.65/401.79	c #Conflicts:      45000 | #Constraints:       9735
400.65/401.79	c #Conflicts:      46000 | #Constraints:      10753
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      47000 | #Constraints:       6760
400.65/401.79	c #Conflicts:      48000 | #Constraints:       7784
400.65/401.79	c #Conflicts:      49000 | #Constraints:       8784
400.65/401.79	c #Conflicts:      50000 | #Constraints:       9805
400.65/401.79	c #Conflicts:      51000 | #Constraints:      10816
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      52000 | #Constraints:       6919
400.65/401.79	c #Conflicts:      53000 | #Constraints:       7929
400.65/401.79	c #Conflicts:      54000 | #Constraints:       8932
400.65/401.79	c #Conflicts:      55000 | #Constraints:       9946
400.65/401.79	c #Conflicts:      56000 | #Constraints:      10964
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      57000 | #Constraints:       7043
400.65/401.79	c #Conflicts:      58000 | #Constraints:       8070
400.65/401.79	c #Conflicts:      59000 | #Constraints:       9071
400.65/401.79	c #Conflicts:      60000 | #Constraints:      10403
400.65/401.79	c #Conflicts:      61000 | #Constraints:      11415
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      62000 | #Constraints:       7154
400.65/401.79	c #Conflicts:      63000 | #Constraints:       8227
400.65/401.79	c #Conflicts:      64000 | #Constraints:       9277
400.65/401.79	c #Conflicts:      65000 | #Constraints:      10291
400.65/401.79	c #Conflicts:      66000 | #Constraints:      11351
400.65/401.79	c INPROCESSING
400.65/401.79	c GARBAGE COLLECT
400.65/401.79	c #Conflicts:      67000 | #Constraints:       6986
400.65/401.79	c #Conflicts:      68000 | #Constraints:       7994
400.65/401.79	c #Conflicts:      69000 | #Constraints:       8999
400.65/401.79	c #Conflicts:      70000 | #Constraints:      10143
743.44/745.41	c #Conflicts:      71000 | #Constraints:      11296
743.44/745.41	c #Conflicts:      72000 | #Constraints:      12357
743.44/745.41	c INPROCESSING
743.44/745.41	c GARBAGE COLLECT
743.44/745.41	c #Conflicts:      73000 | #Constraints:       8073
743.44/745.41	c #Conflicts:      74000 | #Constraints:       9263
743.44/745.41	c #Conflicts:      75000 | #Constraints:      10529
743.44/745.41	c #Conflicts:      76000 | #Constraints:      11981
743.44/745.41	c #Conflicts:      77000 | #Constraints:      13278
743.44/745.41	c #Conflicts:      78000 | #Constraints:      14811
743.44/745.41	c INPROCESSING
743.44/745.41	c GARBAGE COLLECT
743.44/745.41	c #Conflicts:      79000 | #Constraints:       9128
743.44/745.41	c #Conflicts:      80000 | #Constraints:      10128
743.44/745.41	c #Conflicts:      81000 | #Constraints:      11129
743.44/745.41	c #Conflicts:      82000 | #Constraints:      12171
743.44/745.41	c #Conflicts:      83000 | #Constraints:      13336
743.44/745.41	c #Conflicts:      84000 | #Constraints:      14356
743.44/745.41	c INPROCESSING
743.44/745.41	c GARBAGE COLLECT
743.44/745.41	c #Conflicts:      85000 | #Constraints:       8671
743.44/745.41	c #Conflicts:      86000 | #Constraints:       9688
743.44/745.41	c #Conflicts:      87000 | #Constraints:      10719
743.44/745.41	c #Conflicts:      88000 | #Constraints:      11920
743.44/745.41	c #Conflicts:      89000 | #Constraints:      13473
743.44/745.41	c #Conflicts:      90000 | #Constraints:      15035
743.44/745.41	c INPROCESSING
743.44/745.41	c GARBAGE COLLECT
743.44/745.41	c #Conflicts:      91000 | #Constraints:       9179
743.44/745.41	c #Conflicts:      92000 | #Constraints:      10179
743.44/745.41	c #Conflicts:      93000 | #Constraints:      11179
743.44/745.41	c #Conflicts:      94000 | #Constraints:      12179
743.44/745.41	c #Conflicts:      95000 | #Constraints:      13181
743.44/745.41	c #Conflicts:      96000 | #Constraints:      14221
743.44/745.41	c INPROCESSING
743.44/745.41	c GARBAGE COLLECT
743.44/745.41	c #Conflicts:      97000 | #Constraints:       8509
743.44/745.41	c #Conflicts:      98000 | #Constraints:       9730
743.44/745.41	c #Conflicts:      99000 | #Constraints:      10730
743.44/745.41	c #Conflicts:     100000 | #Constraints:      11730
743.44/745.41	c #Conflicts:     101000 | #Constraints:      12920
743.44/745.41	c #Conflicts:     102000 | #Constraints:      14460
743.44/745.41	c #Conflicts:     103000 | #Constraints:      15834
743.44/745.41	c INPROCESSING
743.44/745.41	c GARBAGE COLLECT
743.44/745.41	c #Conflicts:     104000 | #Constraints:       9314
743.44/745.41	c #Conflicts:     105000 | #Constraints:      10324
743.44/745.41	c #Conflicts:     106000 | #Constraints:      11361
743.44/745.41	c #Conflicts:     107000 | #Constraints:      12621
743.44/745.41	c #Conflicts:     108000 | #Constraints:      14130
743.44/745.41	c #Conflicts:     109000 | #Constraints:      15130
743.44/745.41	c #Conflicts:     110000 | #Constraints:      16130
743.44/745.41	c INPROCESSING
743.44/745.41	c GARBAGE COLLECT
743.44/745.41	c rational objective 1.07768e+09
1286.05/1289.54	c #Conflicts:     111000 | #Constraints:       9717
1286.05/1289.54	c #Conflicts:     112000 | #Constraints:      10959
1286.05/1289.54	c #Conflicts:     113000 | #Constraints:      11990
1286.05/1289.54	c #Conflicts:     114000 | #Constraints:      13014
1286.05/1289.54	c #Conflicts:     115000 | #Constraints:      14155
1286.05/1289.54	c #Conflicts:     116000 | #Constraints:      15163
1286.05/1289.54	c #Conflicts:     117000 | #Constraints:      16198
1286.05/1289.54	c INPROCESSING
1286.05/1289.54	c GARBAGE COLLECT
1286.05/1289.54	c #Conflicts:     118000 | #Constraints:       9603
1286.05/1289.54	c #Conflicts:     119000 | #Constraints:      10630
1286.05/1289.54	c #Conflicts:     120000 | #Constraints:      11723
1286.05/1289.54	c #Conflicts:     121000 | #Constraints:      12771
1286.05/1289.54	c #Conflicts:     122000 | #Constraints:      13824
1286.05/1289.54	c #Conflicts:     123000 | #Constraints:      14857
1286.05/1289.54	c #Conflicts:     124000 | #Constraints:      16114
1286.05/1289.54	c INPROCESSING
1286.05/1289.54	c GARBAGE COLLECT
1286.05/1289.54	c #Conflicts:     125000 | #Constraints:       9490
1286.05/1289.54	c #Conflicts:     126000 | #Constraints:      10520
1286.05/1289.54	c #Conflicts:     127000 | #Constraints:      11554
1286.05/1289.54	c #Conflicts:     128000 | #Constraints:      12597
1286.05/1289.54	c #Conflicts:     129000 | #Constraints:      13671
1286.05/1289.54	c #Conflicts:     130000 | #Constraints:      14810
1286.05/1289.54	c #Conflicts:     131000 | #Constraints:      15842
1286.05/1289.54	c INPROCESSING
1286.05/1289.54	c GARBAGE COLLECT
1286.05/1289.54	c #Conflicts:     132000 | #Constraints:       9125
1286.05/1289.54	c #Conflicts:     133000 | #Constraints:      10151
1286.05/1289.54	c #Conflicts:     134000 | #Constraints:      11209
1286.05/1289.54	c #Conflicts:     135000 | #Constraints:      12300
1286.05/1289.54	c #Conflicts:     136000 | #Constraints:      13321
1286.05/1289.54	c #Conflicts:     137000 | #Constraints:      14327
1286.05/1289.54	c #Conflicts:     138000 | #Constraints:      15327
1286.05/1289.54	c #Conflicts:     139000 | #Constraints:      16327
1286.05/1289.54	c INPROCESSING
1286.05/1289.54	c GARBAGE COLLECT
1286.05/1289.54	c #Conflicts:     140000 | #Constraints:       9552
1286.05/1289.54	c #Conflicts:     141000 | #Constraints:      10552
1286.05/1289.54	c #Conflicts:     142000 | #Constraints:      11552
1286.05/1289.54	c #Conflicts:     143000 | #Constraints:      12552
1286.05/1289.54	c #Conflicts:     144000 | #Constraints:      13552
1286.05/1289.54	c #Conflicts:     145000 | #Constraints:      14552
1286.05/1289.54	c #Conflicts:     146000 | #Constraints:      15552
1286.05/1289.54	c #Conflicts:     147000 | #Constraints:      16594
1286.05/1289.54	c INPROCESSING
1286.05/1289.54	c GARBAGE COLLECT
1286.05/1289.54	c #Conflicts:     148000 | #Constraints:      10137
1286.05/1289.54	c #Conflicts:     149000 | #Constraints:      11691
1286.05/1289.54	c #Conflicts:     150000 | #Constraints:      13223
1286.05/1289.54	c #Conflicts:     151000 | #Constraints:      14766
1286.05/1289.54	c #Conflicts:     152000 | #Constraints:      16322
1286.05/1289.54	c #Conflicts:     153000 | #Constraints:      17889
1286.05/1289.54	c #Conflicts:     154000 | #Constraints:      19455
1286.05/1289.54	c #Conflicts:     155000 | #Constraints:      20589
1286.05/1289.54	c INPROCESSING
1286.05/1289.54	c GARBAGE COLLECT
1286.05/1289.54	c #Conflicts:     156000 | #Constraints:      11784
1286.05/1289.54	c #Conflicts:     157000 | #Constraints:      12796
1286.05/1289.54	c #Conflicts:     158000 | #Constraints:      13917
1286.05/1289.54	c #Conflicts:     159000 | #Constraints:      15229
1286.05/1289.54	c #Conflicts:     160000 | #Constraints:      16748
1286.05/1289.54	c #Conflicts:     161000 | #Constraints:      17784
1286.05/1289.54	c #Conflicts:     162000 | #Constraints:      19279
1286.05/1289.54	c #Conflicts:     163000 | #Constraints:      20369
1286.05/1289.54	c INPROCESSING
1286.05/1289.54	c GARBAGE COLLECT
1286.05/1289.54	c #Conflicts:     164000 | #Constraints:      11802
1286.05/1289.54	c #Conflicts:     165000 | #Constraints:      13315
1286.05/1289.54	c #Conflicts:     166000 | #Constraints:      14844
1286.05/1289.54	c #Conflicts:     167000 | #Constraints:      16169
1286.05/1289.54	c #Conflicts:     168000 | #Constraints:      17176
1286.05/1289.54	c #Conflicts:     169000 | #Constraints:      18290
1286.05/1289.54	c #Conflicts:     170000 | #Constraints:      19307
1286.05/1289.54	c #Conflicts:     171000 | #Constraints:      20322
1286.05/1289.54	c INPROCESSING
1286.05/1289.54	c GARBAGE COLLECT
1286.05/1289.54	c #Conflicts:     172000 | #Constraints:      11361
1286.05/1289.54	c #Conflicts:     173000 | #Constraints:      12389
1286.05/1289.54	c #Conflicts:     174000 | #Constraints:      13408
1286.05/1289.54	c #Conflicts:     175000 | #Constraints:      14425
1286.05/1289.54	c #Conflicts:     176000 | #Constraints:      15441
1286.05/1289.54	c #Conflicts:     177000 | #Constraints:      16461
1286.05/1289.54	c #Conflicts:     178000 | #Constraints:      17462
1286.05/1289.54	c #Conflicts:     179000 | #Constraints:      18536
1286.05/1289.54	c #Conflicts:     180000 | #Constraints:      19735
1286.05/1289.54	c INPROCESSING
1286.05/1289.54	c GARBAGE COLLECT
1286.05/1289.54	c #Conflicts:     181000 | #Constraints:      11320
1286.05/1289.54	c #Conflicts:     182000 | #Constraints:      12320
1286.05/1289.54	c #Conflicts:     183000 | #Constraints:      13320
1286.05/1289.54	c #Conflicts:     184000 | #Constraints:      14320
1317.37/1320.94	c #Conflicts:     185000 | #Constraints:      15320
1317.37/1320.94	c #Conflicts:     186000 | #Constraints:      16320
1317.37/1320.94	c #Conflicts:     187000 | #Constraints:      17320
1317.37/1320.94	c #Conflicts:     188000 | #Constraints:      18320
1317.37/1320.94	c #Conflicts:     189000 | #Constraints:      19320
1317.37/1320.94	c INPROCESSING
1317.37/1320.94	c GARBAGE COLLECT
1317.37/1320.94	c rational objective 1.0777e+09
1933.37/1938.60	c #Conflicts:     190000 | #Constraints:      11161
1933.37/1938.60	c #Conflicts:     191000 | #Constraints:      12401
1933.37/1938.60	c #Conflicts:     192000 | #Constraints:      13955
1933.37/1938.60	c #Conflicts:     193000 | #Constraints:      15085
1933.37/1938.60	c #Conflicts:     194000 | #Constraints:      16261
1933.37/1938.60	c #Conflicts:     195000 | #Constraints:      17801
1933.37/1938.60	c #Conflicts:     196000 | #Constraints:      19339
1933.37/1938.60	c #Conflicts:     197000 | #Constraints:      20896
1933.37/1938.60	c #Conflicts:     198000 | #Constraints:      22448
1933.37/1938.60	c INPROCESSING
1933.37/1938.60	c GARBAGE COLLECT
1933.37/1938.60	c #Conflicts:     199000 | #Constraints:      13152
1933.37/1938.60	c #Conflicts:     200000 | #Constraints:      14333
1933.37/1938.60	c #Conflicts:     201000 | #Constraints:      15386
1933.37/1938.60	c #Conflicts:     202000 | #Constraints:      16411
1933.37/1938.60	c #Conflicts:     203000 | #Constraints:      17431
1933.37/1938.60	c #Conflicts:     204000 | #Constraints:      18448
1933.37/1938.60	c #Conflicts:     205000 | #Constraints:      19904
1933.37/1938.60	c #Conflicts:     206000 | #Constraints:      20944
1933.37/1938.60	c #Conflicts:     207000 | #Constraints:      21949
1933.37/1938.60	c INPROCESSING
1933.37/1938.60	c GARBAGE COLLECT
1933.37/1938.60	c #Conflicts:     208000 | #Constraints:      12815
1933.37/1938.60	c #Conflicts:     209000 | #Constraints:      14434
1933.37/1938.60	c #Conflicts:     210000 | #Constraints:      15933
1933.37/1938.60	c #Conflicts:     211000 | #Constraints:      17531
1933.37/1938.60	c #Conflicts:     212000 | #Constraints:      19118
1933.37/1938.60	c #Conflicts:     213000 | #Constraints:      20700
1933.37/1938.60	c #Conflicts:     214000 | #Constraints:      22242
1933.37/1938.60	c #Conflicts:     215000 | #Constraints:      23787
1933.37/1938.60	c #Conflicts:     216000 | #Constraints:      25341
1933.37/1938.60	c INPROCESSING
1933.37/1938.60	c GARBAGE COLLECT
1933.37/1938.60	c #Conflicts:     217000 | #Constraints:      14058
1933.37/1938.60	c #Conflicts:     218000 | #Constraints:      15058
1933.37/1938.60	c #Conflicts:     219000 | #Constraints:      16058
1933.37/1938.60	c #Conflicts:     220000 | #Constraints:      17058
1933.37/1938.60	c #Conflicts:     221000 | #Constraints:      18069
1933.37/1938.60	c #Conflicts:     222000 | #Constraints:      19070
1933.37/1938.60	c #Conflicts:     223000 | #Constraints:      20071
1933.37/1938.60	c #Conflicts:     224000 | #Constraints:      21071
1933.37/1938.60	c #Conflicts:     225000 | #Constraints:      22143
1933.37/1938.60	c #Conflicts:     226000 | #Constraints:      23231
1933.37/1938.60	c INPROCESSING
1933.37/1938.60	c GARBAGE COLLECT
1933.37/1938.60	c #Conflicts:     227000 | #Constraints:      13021
1933.37/1938.60	c #Conflicts:     228000 | #Constraints:      14021
1933.37/1938.60	c #Conflicts:     229000 | #Constraints:      15171
1933.37/1938.60	c #Conflicts:     230000 | #Constraints:      16618
1933.37/1938.60	c #Conflicts:     231000 | #Constraints:      17961
1933.37/1938.60	c #Conflicts:     232000 | #Constraints:      18992
1933.37/1938.60	c #Conflicts:     233000 | #Constraints:      20000
1933.37/1938.60	c #Conflicts:     234000 | #Constraints:      21007
1933.37/1938.60	c #Conflicts:     235000 | #Constraints:      22029
1933.37/1938.60	c #Conflicts:     236000 | #Constraints:      23262
1933.37/1938.60	c INPROCESSING
1933.37/1938.60	c GARBAGE COLLECT
1933.37/1938.60	c #Conflicts:     237000 | #Constraints:      13124
1933.37/1938.60	c #Conflicts:     238000 | #Constraints:      14124
1933.37/1938.60	c #Conflicts:     239000 | #Constraints:      15124
1933.37/1938.60	c #Conflicts:     240000 | #Constraints:      16124
1933.37/1938.60	c #Conflicts:     241000 | #Constraints:      17124
1933.37/1938.60	c #Conflicts:     242000 | #Constraints:      18124
1933.37/1938.60	c #Conflicts:     243000 | #Constraints:      19124
1933.37/1938.60	c #Conflicts:     244000 | #Constraints:      20124
1933.37/1938.60	c #Conflicts:     245000 | #Constraints:      21124
1933.37/1938.60	c #Conflicts:     246000 | #Constraints:      22148
1933.37/1938.60	c INPROCESSING
1933.37/1938.60	c GARBAGE COLLECT
1933.37/1938.60	c #Conflicts:     247000 | #Constraints:      12579
1933.37/1938.60	c #Conflicts:     248000 | #Constraints:      13579
1933.37/1938.60	c #Conflicts:     249000 | #Constraints:      14601
1933.37/1938.60	c #Conflicts:     250000 | #Constraints:      16000
1933.37/1938.60	c #Conflicts:     251000 | #Constraints:      17028
1933.37/1938.60	c #Conflicts:     252000 | #Constraints:      18047
1933.37/1938.60	c #Conflicts:     253000 | #Constraints:      19206
1933.37/1938.60	c #Conflicts:     254000 | #Constraints:      20319
1933.37/1938.60	c #Conflicts:     255000 | #Constraints:      21505
1933.37/1938.60	c #Conflicts:     256000 | #Constraints:      22585
1933.37/1938.60	c INPROCESSING
1933.37/1938.60	c GARBAGE COLLECT
1933.37/1938.60	c #Conflicts:     257000 | #Constraints:      12746
1933.37/1938.60	c #Conflicts:     258000 | #Constraints:      13746
1933.37/1938.60	c #Conflicts:     259000 | #Constraints:      14746
1933.37/1938.60	c #Conflicts:     260000 | #Constraints:      15746
1933.37/1938.60	c #Conflicts:     261000 | #Constraints:      16746
1933.37/1938.60	c #Conflicts:     262000 | #Constraints:      17746
1933.37/1938.60	c #Conflicts:     263000 | #Constraints:      18746
1933.37/1938.60	c #Conflicts:     264000 | #Constraints:      19746
2582.03/2589.09	c #Conflicts:     265000 | #Constraints:      20746
2582.03/2589.09	c #Conflicts:     266000 | #Constraints:      21746
2582.03/2589.09	c INPROCESSING
2582.03/2589.09	c GARBAGE COLLECT
2582.03/2589.09	c #Conflicts:     267000 | #Constraints:      12078
2582.03/2589.09	c #Conflicts:     268000 | #Constraints:      13196
2582.03/2589.09	c #Conflicts:     269000 | #Constraints:      14726
2582.03/2589.09	c #Conflicts:     270000 | #Constraints:      15964
2582.03/2589.09	c #Conflicts:     271000 | #Constraints:      17567
2582.03/2589.09	c #Conflicts:     272000 | #Constraints:      19077
2582.03/2589.09	c #Conflicts:     273000 | #Constraints:      20652
2582.03/2589.09	c #Conflicts:     274000 | #Constraints:      22110
2582.03/2589.09	c #Conflicts:     275000 | #Constraints:      23703
2582.03/2589.09	c #Conflicts:     276000 | #Constraints:      25294
2582.03/2589.09	c #Conflicts:     277000 | #Constraints:      26751
2582.03/2589.09	c INPROCESSING
2582.03/2589.09	c GARBAGE COLLECT
2582.03/2589.09	c #Conflicts:     278000 | #Constraints:      14776
2582.03/2589.09	c #Conflicts:     279000 | #Constraints:      15804
2582.03/2589.09	c #Conflicts:     280000 | #Constraints:      16826
2582.03/2589.09	c #Conflicts:     281000 | #Constraints:      17883
2582.03/2589.09	c #Conflicts:     282000 | #Constraints:      18905
2582.03/2589.09	c #Conflicts:     283000 | #Constraints:      19905
2582.03/2589.09	c #Conflicts:     284000 | #Constraints:      20905
2582.03/2589.09	c #Conflicts:     285000 | #Constraints:      21905
2582.03/2589.09	c #Conflicts:     286000 | #Constraints:      22905
2582.03/2589.09	c #Conflicts:     287000 | #Constraints:      23905
2582.03/2589.09	c #Conflicts:     288000 | #Constraints:      24905
2582.03/2589.09	c INPROCESSING
2582.03/2589.09	c GARBAGE COLLECT
2582.03/2589.09	c #Conflicts:     289000 | #Constraints:      13989
2582.03/2589.09	c #Conflicts:     290000 | #Constraints:      15038
2582.03/2589.09	c #Conflicts:     291000 | #Constraints:      16078
2582.03/2589.09	c #Conflicts:     292000 | #Constraints:      17198
2582.03/2589.09	c #Conflicts:     293000 | #Constraints:      18687
2582.03/2589.09	c #Conflicts:     294000 | #Constraints:      20246
2582.03/2589.09	c #Conflicts:     295000 | #Constraints:      21597
2582.03/2589.09	c #Conflicts:     296000 | #Constraints:      22733
2582.03/2589.09	c #Conflicts:     297000 | #Constraints:      23733
2582.03/2589.09	c #Conflicts:     298000 | #Constraints:      24733
2582.03/2589.09	c #Conflicts:     299000 | #Constraints:      25733
2582.03/2589.09	c INPROCESSING
2582.03/2589.09	c GARBAGE COLLECT
2582.03/2589.09	c #Conflicts:     300000 | #Constraints:      14384
2582.03/2589.09	c #Conflicts:     301000 | #Constraints:      15397
2582.03/2589.09	c #Conflicts:     302000 | #Constraints:      16402
2582.03/2589.09	c #Conflicts:     303000 | #Constraints:      17407
2582.03/2589.09	c #Conflicts:     304000 | #Constraints:      18440
2582.03/2589.09	c #Conflicts:     305000 | #Constraints:      19461
2582.03/2589.09	c #Conflicts:     306000 | #Constraints:      20461
2582.03/2589.09	c #Conflicts:     307000 | #Constraints:      21470
2582.03/2589.09	c #Conflicts:     308000 | #Constraints:      22499
2582.03/2589.09	c #Conflicts:     309000 | #Constraints:      23524
2582.03/2589.09	c #Conflicts:     310000 | #Constraints:      24550
2582.03/2589.09	c INPROCESSING
2582.03/2589.09	c GARBAGE COLLECT
2582.03/2589.09	c #Conflicts:     311000 | #Constraints:      13704
2582.03/2589.09	c #Conflicts:     312000 | #Constraints:      14716
2582.03/2589.09	c #Conflicts:     313000 | #Constraints:      15773
2582.03/2589.09	c #Conflicts:     314000 | #Constraints:      17343
2582.03/2589.09	c #Conflicts:     315000 | #Constraints:      18915
2582.03/2589.09	c #Conflicts:     316000 | #Constraints:      20475
2582.03/2589.09	c #Conflicts:     317000 | #Constraints:      22016
2582.03/2589.09	c #Conflicts:     318000 | #Constraints:      23544
2582.03/2589.09	c #Conflicts:     319000 | #Constraints:      25066
2582.03/2589.09	c #Conflicts:     320000 | #Constraints:      26632
2582.03/2589.09	c #Conflicts:     321000 | #Constraints:      27845
2582.03/2589.09	c INPROCESSING
2582.03/2589.09	c GARBAGE COLLECT
2582.03/2589.09	c #Conflicts:     322000 | #Constraints:      15119
2582.03/2589.09	c #Conflicts:     323000 | #Constraints:      16142
2582.03/2589.09	c #Conflicts:     324000 | #Constraints:      17163
2582.03/2589.09	c #Conflicts:     325000 | #Constraints:      18198
2582.03/2589.09	c #Conflicts:     326000 | #Constraints:      19240
2582.03/2589.09	c #Conflicts:     327000 | #Constraints:      20456
2582.03/2589.09	c #Conflicts:     328000 | #Constraints:      21555
2582.03/2589.09	c #Conflicts:     329000 | #Constraints:      22555
2582.03/2589.09	c #Conflicts:     330000 | #Constraints:      23555
2582.03/2589.09	c #Conflicts:     331000 | #Constraints:      24581
2582.03/2589.09	c #Conflicts:     332000 | #Constraints:      25640
2582.03/2589.09	c #Conflicts:     333000 | #Constraints:      26640
2582.03/2589.09	c INPROCESSING
2582.03/2589.09	c GARBAGE COLLECT
2582.03/2589.09	c #Conflicts:     334000 | #Constraints:      14739
2582.03/2589.09	c #Conflicts:     335000 | #Constraints:      15852
2582.03/2589.09	c #Conflicts:     336000 | #Constraints:      16852
2582.03/2589.09	c #Conflicts:     337000 | #Constraints:      17861
2582.03/2589.09	c #Conflicts:     338000 | #Constraints:      18873
3288.26/3297.19	c #Conflicts:     339000 | #Constraints:      19880
3288.26/3297.19	c #Conflicts:     340000 | #Constraints:      20911
3288.26/3297.19	c #Conflicts:     341000 | #Constraints:      21911
3288.26/3297.19	c #Conflicts:     342000 | #Constraints:      22911
3288.26/3297.19	c #Conflicts:     343000 | #Constraints:      23919
3288.26/3297.19	c #Conflicts:     344000 | #Constraints:      24944
3288.26/3297.19	c #Conflicts:     345000 | #Constraints:      26103
3288.26/3297.19	c INPROCESSING
3288.26/3297.19	c GARBAGE COLLECT
3288.26/3297.19	c #Conflicts:     346000 | #Constraints:      14617
3288.26/3297.19	c #Conflicts:     347000 | #Constraints:      15629
3288.26/3297.19	c #Conflicts:     348000 | #Constraints:      16734
3288.26/3297.19	c #Conflicts:     349000 | #Constraints:      17740
3288.26/3297.19	c #Conflicts:     350000 | #Constraints:      18754
3288.26/3297.19	c #Conflicts:     351000 | #Constraints:      19788
3288.26/3297.19	c #Conflicts:     352000 | #Constraints:      21092
3288.26/3297.19	c #Conflicts:     353000 | #Constraints:      22383
3288.26/3297.19	c #Conflicts:     354000 | #Constraints:      23424
3288.26/3297.19	c #Conflicts:     355000 | #Constraints:      24424
3288.26/3297.19	c #Conflicts:     356000 | #Constraints:      25426
3288.26/3297.19	c #Conflicts:     357000 | #Constraints:      26443
3288.26/3297.19	c INPROCESSING
3288.26/3297.19	c GARBAGE COLLECT
3288.26/3297.19	c #Conflicts:     358000 | #Constraints:      14733
3288.26/3297.19	c #Conflicts:     359000 | #Constraints:      15746
3288.26/3297.19	c #Conflicts:     360000 | #Constraints:      17263
3288.26/3297.19	c #Conflicts:     361000 | #Constraints:      18596
3288.26/3297.19	c #Conflicts:     362000 | #Constraints:      19614
3288.26/3297.19	c #Conflicts:     363000 | #Constraints:      20719
3288.26/3297.19	c #Conflicts:     364000 | #Constraints:      21809
3288.26/3297.19	c #Conflicts:     365000 | #Constraints:      22829
3288.26/3297.19	c #Conflicts:     366000 | #Constraints:      23954
3288.26/3297.19	c #Conflicts:     367000 | #Constraints:      25020
3288.26/3297.19	c #Conflicts:     368000 | #Constraints:      26252
3288.26/3297.19	c #Conflicts:     369000 | #Constraints:      27565
3288.26/3297.19	c INPROCESSING
3288.26/3297.19	c GARBAGE COLLECT
3288.26/3297.19	c #Conflicts:     370000 | #Constraints:      15223
3288.26/3297.19	c #Conflicts:     371000 | #Constraints:      16284
3288.26/3297.19	c #Conflicts:     372000 | #Constraints:      17652
3288.26/3297.19	c #Conflicts:     373000 | #Constraints:      19209
3288.26/3297.19	c #Conflicts:     374000 | #Constraints:      20741
3288.26/3297.19	c #Conflicts:     375000 | #Constraints:      22304
3288.26/3297.19	c #Conflicts:     376000 | #Constraints:      23845
3288.26/3297.19	c #Conflicts:     377000 | #Constraints:      25379
3288.26/3297.19	c #Conflicts:     378000 | #Constraints:      26937
3288.26/3297.19	c #Conflicts:     379000 | #Constraints:      28361
3288.26/3297.19	c #Conflicts:     380000 | #Constraints:      29917
3288.26/3297.19	c #Conflicts:     381000 | #Constraints:      30919
3288.26/3297.19	c INPROCESSING
3288.26/3297.19	c GARBAGE COLLECT
3288.26/3297.19	c #Conflicts:     382000 | #Constraints:      16664
3288.26/3297.19	c #Conflicts:     383000 | #Constraints:      17676
3288.26/3297.19	c #Conflicts:     384000 | #Constraints:      18682
3288.26/3297.19	c #Conflicts:     385000 | #Constraints:      19696
3288.26/3297.19	c #Conflicts:     386000 | #Constraints:      20869
3288.26/3297.19	c #Conflicts:     387000 | #Constraints:      22421
3288.26/3297.19	c #Conflicts:     388000 | #Constraints:      23663
3288.26/3297.19	c #Conflicts:     389000 | #Constraints:      24782
3288.26/3297.19	c #Conflicts:     390000 | #Constraints:      26310
3288.26/3297.19	c #Conflicts:     391000 | #Constraints:      27310
3288.26/3297.19	c #Conflicts:     392000 | #Constraints:      28310
3288.26/3297.19	c #Conflicts:     393000 | #Constraints:      29310
3288.26/3297.19	c #Conflicts:     394000 | #Constraints:      30310
3288.26/3297.19	c INPROCESSING
3288.26/3297.19	c GARBAGE COLLECT
3288.26/3297.19	c #Conflicts:     395000 | #Constraints:      16561
3288.26/3297.19	c #Conflicts:     396000 | #Constraints:      17587
3288.26/3297.19	c #Conflicts:     397000 | #Constraints:      18604
3288.26/3297.19	c #Conflicts:     398000 | #Constraints:      19612
3288.26/3297.19	c #Conflicts:     399000 | #Constraints:      20773
3288.26/3297.19	c #Conflicts:     400000 | #Constraints:      22372
3288.26/3297.19	c #Conflicts:     401000 | #Constraints:      23657
3288.26/3297.19	c #Conflicts:     402000 | #Constraints:      24658
3288.26/3297.19	c #Conflicts:     403000 | #Constraints:      25688
3288.26/3297.19	c #Conflicts:     404000 | #Constraints:      26703
3288.26/3297.19	c #Conflicts:     405000 | #Constraints:      27703
3288.26/3297.19	c #Conflicts:     406000 | #Constraints:      28835
3288.26/3297.19	c #Conflicts:     407000 | #Constraints:      29841
3288.26/3297.19	c INPROCESSING
3288.26/3297.19	c GARBAGE COLLECT
3288.26/3297.19	c #Conflicts:     408000 | #Constraints:      16416
3288.26/3297.19	c #Conflicts:     409000 | #Constraints:      17416
3288.26/3297.19	c #Conflicts:     410000 | #Constraints:      18416
3288.26/3297.19	c #Conflicts:     411000 | #Constraints:      19416
3288.26/3297.19	c #Conflicts:     412000 | #Constraints:      20416
3288.26/3297.19	c #Conflicts:     413000 | #Constraints:      21432
3600.04/3609.70	c #Conflicts:     414000 | #Constraints:      22445
3600.04/3609.70	c #Conflicts:     415000 | #Constraints:      23455
3600.04/3609.70	c #Conflicts:     416000 | #Constraints:      24479
3600.04/3609.70	c #Conflicts:     417000 | #Constraints:      25523
3600.04/3609.70	c #Conflicts:     418000 | #Constraints:      26716
3600.04/3609.70	c #Conflicts:     419000 | #Constraints:      27716
3600.04/3609.70	c #Conflicts:     420000 | #Constraints:      28716
3600.04/3609.70	c INPROCESSING
3600.04/3609.70	c GARBAGE COLLECT
3600.04/3609.70	c #Conflicts:     421000 | #Constraints:      15904
3600.04/3609.70	c #Conflicts:     422000 | #Constraints:      16904
3600.04/3609.70	c #Conflicts:     423000 | #Constraints:      17904
3600.04/3609.70	c #Conflicts:     424000 | #Constraints:      18904
3600.04/3609.70	c #Conflicts:     425000 | #Constraints:      19904
3600.04/3609.70	c #Conflicts:     426000 | #Constraints:      20935
3600.04/3609.70	c #Conflicts:     427000 | #Constraints:      21966
3600.04/3609.70	c #Conflicts:     428000 | #Constraints:      23038
3600.04/3609.70	c #Conflicts:     429000 | #Constraints:      24510
3600.04/3609.70	c #Conflicts:     430000 | #Constraints:      25742
3600.04/3609.70	c #Conflicts:     431000 | #Constraints:      26813
3600.04/3609.70	c #Conflicts:     432000 | #Constraints:      27813
3600.04/3609.70	c #Conflicts:     433000 | #Constraints:      28813
3600.04/3609.70	c INPROCESSING
3600.04/3609.70	c GARBAGE COLLECT
3600.04/3609.70	c #Conflicts:     434000 | #Constraints:      15910
3600.04/3609.70	c #Conflicts:     435000 | #Constraints:      16910
3600.04/3609.70	c #Conflicts:     436000 | #Constraints:      17946
3600.04/3609.70	c #Conflicts:     437000 | #Constraints:      19455
3600.04/3609.70	c #Conflicts:     438000 | #Constraints:      20567
3600.04/3609.70	c #Conflicts:     439000 | #Constraints:      21567
3600.04/3609.70	c #Conflicts:     440000 | #Constraints:      22567
3600.04/3609.70	c #Conflicts:     441000 | #Constraints:      23576
3600.04/3609.70	c #Conflicts:     442000 | #Constraints:      24597
3600.04/3609.70	c #Conflicts:     443000 | #Constraints:      25612
3600.04/3609.70	c #Conflicts:     444000 | #Constraints:      26625
3600.04/3609.70	c #Conflicts:     445000 | #Constraints:      27654
3600.04/3609.70	c #Conflicts:     446000 | #Constraints:      28678
3600.04/3609.70	c INPROCESSING
3600.04/3609.70	c GARBAGE COLLECT
3600.04/3609.70	c #Conflicts:     447000 | #Constraints:      15612
3600.04/3609.70	c cpu time 3584.28 s
3600.04/3609.70	c deterministic time 467840012316 4.68e+11
3600.04/3609.70	c optimization time 7.16725 s
3600.04/3609.70	c total solve time 3577.05 s
3600.04/3609.70	c core-guided solve time 0 s
3600.04/3609.70	c propagation time 2424.27 s
3600.04/3609.70	c conflict analysis time 841.628 s
3600.04/3609.70	c propagations 49950673
3600.04/3609.70	c resolve steps 1395558
3600.04/3609.70	c decisions 8391520
3600.04/3609.70	c conflicts 447633
3600.04/3609.70	c restarts 1021
3600.04/3609.70	c inprocessing phases 58
3600.04/3609.70	c garbage collections 58 ,( 100.00 )
3600.04/3609.70	c input clauses 2 ,( 0.21 )
3600.04/3609.70	c input cardinalities 712 ,( 75.74 )
3600.04/3609.70	c input general constraints 226 ,( 24.04 )
3600.04/3609.70	c input average constraint length 223.75
3600.04/3609.70	c input average constraint degree 410775706686.68
3600.04/3609.70	c learned clauses 255743 ,( 50.52 )
3600.04/3609.70	c learned cardinalities 182 ,( 0.04 )
3600.04/3609.70	c learned general constraints 250297 ,( 49.44 )
3600.04/3609.70	c learned average constraint length 7243.81
3600.04/3609.70	c learned average constraint degree 732571624.57
3600.04/3609.70	c watched  CF 32, 64, 128, Arb: 170033 , 0 , 0 , 0
3600.04/3609.70	c counting CF 32, 64, 128, Arb: 80486 , 5 , 0 , 0
3600.04/3609.70	c watched   constraints 170033 ,( 67.87 ) 
3600.04/3609.70	c counting  constraints 80490 ,( 32.13 ) 
3600.04/3609.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 7698299 , 848323 , 11039178316 ,( 1798479619 , 9240698697 )
3600.04/3609.70	c gcd simplifications 293680
3600.04/3609.70	c detected cardinalities 42
3600.04/3609.70	c weakened non-implied lits 118315901
3600.04/3609.70	c weakened non-implying lits 9510216
3600.04/3609.70	c original variables 11503
3600.04/3609.70	c clausal propagations 60578
3600.04/3609.70	c cardinality propagations 424306
3600.04/3609.70	c watched propagations 7222250
3600.04/3609.70	c counting propagations 41679157
3600.04/3609.70	c watch lookups 16301145117
3600.04/3609.70	c watch backjump lookups 0
3600.04/3609.70	c watch checks 119423584628
3600.04/3609.70	c propagation checks 319283549787
3600.04/3609.70	c constraint additions 12713990560
3600.04/3609.70	c trail pops 58778471
3600.04/3609.70	c formula constraints 936
3600.04/3609.70	c learned constraints 447624
3600.04/3609.70	c bound constraints 0
3600.04/3609.70	c core-guided constraints 0
3600.04/3609.70	c encountered formula constraints 1205581
3600.04/3609.70	c encountered learned constraints 590577
3600.04/3609.70	c encountered bound constraints 0
3600.04/3609.70	c encountered core-guided constraints 0
3600.04/3609.70	c LP total time 448.6 s
3600.04/3609.70	c LP solve time 395.38 s
3600.04/3609.70	c LP constraints added 961
3600.04/3609.70	c LP constraints removed 7
3600.04/3609.70	c LP pivots internal 447635
3600.04/3609.70	c LP pivots root 173924
3600.04/3609.70	c LP calls 79698
3600.04/3609.70	c LP optimalities 20598
3600.04/3609.70	c LP no pivot count 7984
3600.04/3609.70	c LP infeasibilities 59029
3600.04/3609.70	c LP valid Farkas constraints 58571
3600.04/3609.70	c LP learned Farkas constraints 9
3600.04/3609.70	c LP basis resets 67
3600.04/3609.70	c LP cycling count 3
3600.04/3609.70	c LP singular count 64
3600.04/3609.70	c LP no primal count 0
3600.04/3609.70	c LP no farkas count 0
3600.04/3609.70	c LP other issue count 0
3600.04/3609.70	c LP Gomory cuts 18
3600.04/3609.70	c LP learned cuts 7
3600.04/3609.70	c LP deleted cuts 7
3600.04/3609.70	c LP encountered Gomory constraints 6371
3600.04/3609.70	c LP encountered Farkas constraints 40651
3600.04/3609.70	c LP encountered learned Farkas constraints 2
3600.04/3609.70	c CG auxiliary variables introduced 3
3600.04/3609.70	c CG solutions found 0
3600.04/3609.70	c CG cores constructed 2
3600.04/3609.70	c CG core cardinality constraints returned 0
3600.04/3609.70	c CG unit cores 1
3600.04/3609.70	c CG single cores 0
3600.04/3609.70	c CG blocks removed during cardinality reduction 0
3600.04/3609.70	c CG first core best 0
3600.04/3609.70	c CG decision core best 0
3600.04/3609.70	c CG core reduction tie 0
3600.04/3609.70	c CG core degree average 0.00
3600.04/3609.70	c CG core slack average 0.00
3600.04/3609.70	c CG core upper bound improvements 0
3600.04/3609.70	c STR number of successful calls 0
3600.04/3609.70	c STR number of unsuccessful calls 0
3600.04/3609.70	c STR number of inconclusive calls 0
3600.04/3609.70	c STR number of successful attempts 0
3600.04/3609.70	c STR number of unsuccessful attempts 0
3600.04/3609.70	c STR number of inconclusive attempts 0
3600.04/3609.70	c STR average degree increase per successful call inf
3600.04/3609.70	c STR average degree increase per successful attempt inf
3600.04/3609.70	c STR total number of conflicts for successful attempts 0
3600.04/3609.70	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.70	c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.70	c STR average number of conflicts per successful attempt inf
3600.04/3609.70	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.70	c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.70	c AVG.sumWPerc 29.70 
3600.04/3609.70	c bigint constraints 5 
3600.04/3609.70	s UNKNOWN
3600.04/3609.70	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: 63708 MiB (63087 MiB free)
  memory of node 1: 64465 MiB (63530 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100058 s]*
/proc/loadavg: 4.04 4.08 4.05 6/270 42054
/proc/meminfo: memFree=129607576/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=78960 memory=29432 CPUtime=0.08 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 6069 0 0 0 6 2 0 0 20 0 1 0 46451446 80855040 7358 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 19740 7358 2336 1147 0 7167 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83152 KiB
Current children cumulated memory: 32504 KiB

[startup+0.20568 s]*
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129589052/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=87108 memory=37680 CPUtime=0.18 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 10234 0 0 0 15 3 0 0 20 0 1 0 46451446 89198592 9420 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 21777 9420 2336 1147 0 9204 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 91300 KiB
Current children cumulated memory: 40752 KiB

[startup+0.305592 s]*
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129589052/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=87644 memory=38064 CPUtime=0.28 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 10307 0 0 0 25 3 0 0 20 0 1 0 46451446 89747456 9516 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 21911 9516 2368 1147 0 9338 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 91836 KiB
Current children cumulated memory: 41136 KiB

[startup+0.700192 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129528776/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=94824 memory=45072 CPUtime=0.67 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 11550 0 0 0 62 5 0 0 20 0 1 0 46451446 97099776 11268 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 23706 11268 2368 1147 0 11133 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99016 KiB
Current children cumulated memory: 48144 KiB

[startup+1.5002 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129482972/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=123936 memory=72460 CPUtime=1.47 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 17366 0 0 0 131 16 0 0 20 0 1 0 46451446 126910464 18115 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 30984 18115 2368 1147 0 18411 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 128128 KiB
Current children cumulated memory: 75532 KiB

[startup+3.10547 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129110712/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=158880 memory=93060 CPUtime=3.07 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 19456 0 0 0 289 18 0 0 20 0 1 0 46451446 162693120 23265 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 39720 23265 2368 1147 0 27147 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 163072 KiB
Current children cumulated memory: 96132 KiB

[startup+6.3002 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=128787964/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=198956 memory=139492 CPUtime=6.26 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 22376 0 0 0 603 23 0 0 20 0 1 0 46451446 203730944 34873 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 49739 34873 2368 1147 0 37166 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 203148 KiB
Current children cumulated memory: 142564 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.05 5/269 42054
/proc/meminfo: memFree=128048504/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=227684 memory=178296 CPUtime=12.64 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 29330 0 0 0 1234 30 0 0 20 0 1 0 46451446 233148416 44574 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 56921 44574 2400 1147 0 44348 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 231876 KiB
Current children cumulated memory: 181368 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.05 5/269 42054
/proc/meminfo: memFree=126865116/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=411472 memory=284400 CPUtime=25.41 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 43492 0 0 0 2495 46 0 0 20 0 1 0 46451446 421347328 71100 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 102868 71100 2496 1147 0 90295 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 415664 KiB
Current children cumulated memory: 287472 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.10 4.06 5/269 42054
/proc/meminfo: memFree=125455560/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=465268 memory=391656 CPUtime=50.96 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 56993 0 0 0 5030 66 0 0 20 0 1 0 46451446 476434432 97914 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 116317 97914 2496 1147 0 103744 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 469460 KiB
Current children cumulated memory: 394728 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.13 4.07 5/269 42056
/proc/meminfo: memFree=123458108/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=671780 memory=532580 CPUtime=102.01 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 75170 0 0 0 10099 102 0 0 20 0 1 0 46451446 687902720 133145 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 167945 133145 2496 1147 0 155372 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 675972 KiB
Current children cumulated memory: 535652 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/270 42060
/proc/meminfo: memFree=122541184/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=827448 memory=728612 CPUtime=161.87 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 109909 0 0 0 16035 152 0 0 20 0 1 0 46451446 847306752 182153 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 206862 182153 2496 1147 0 194289 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 831640 KiB
Current children cumulated memory: 731684 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/269 42062
/proc/meminfo: memFree=121873704/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=857412 memory=791240 CPUtime=221.72 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 118957 0 0 0 21985 187 0 0 20 0 1 0 46451446 877989888 197810 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 214353 197810 2496 1147 0 201780 0
Current children cumulated CPU time: 221.72 s

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

[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=4174392 memory=3594960 CPUtime=3093.97 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 564653 0 0 0 307978 1419 0 0 20 0 1 0 46451446 4274577408 898740 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 1043598 898740 2496 1147 0 1031025 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 4178584 KiB
Current children cumulated memory: 3598032 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/268 42232
/proc/meminfo: memFree=103521464/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=4187092 memory=3634056 CPUtime=3153.82 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 567274 0 0 0 313941 1441 0 0 20 0 1 0 46451446 4287582208 908514 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 1046773 908514 2496 1147 0 1034200 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 4191284 KiB
Current children cumulated memory: 3637128 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/268 42234
/proc/meminfo: memFree=103372124/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=4187092 memory=3652232 CPUtime=3213.66 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 572229 0 0 0 319903 1463 0 0 20 0 1 0 46451446 4287582208 913058 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 1046773 913058 2496 1147 0 1034200 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 4191284 KiB
Current children cumulated memory: 3655304 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/268 42238
/proc/meminfo: memFree=103050640/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=4188216 memory=3713796 CPUtime=3273.5 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 575391 0 0 0 325862 1488 0 0 20 0 1 0 46451446 4288733184 928449 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 1047054 928449 2496 1147 0 1034481 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 4192408 KiB
Current children cumulated memory: 3716868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/269 42245
/proc/meminfo: memFree=102861164/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=4214488 memory=3769028 CPUtime=3333.34 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 587222 0 0 0 331828 1506 0 0 20 0 1 0 46451446 4315635712 942257 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 1053622 942257 2496 1147 0 1041049 0
Current children cumulated CPU time: 3333.34 s
Current children cumulated vsize: 4218680 KiB
Current children cumulated memory: 3772100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/269 42248
/proc/meminfo: memFree=102672696/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=4215280 memory=3770820 CPUtime=3393.19 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 587875 0 0 0 337792 1527 0 0 20 0 1 0 46451446 4316446720 942705 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 1053820 942705 2496 1147 0 1041247 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 4219472 KiB
Current children cumulated memory: 3773892 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/269 42251
/proc/meminfo: memFree=102641096/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=4215280 memory=3770820 CPUtime=3453.02 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 588024 0 0 0 343762 1540 0 0 20 0 1 0 46451446 4316446720 942705 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 1053820 942705 2496 1147 0 1041247 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 4219472 KiB
Current children cumulated memory: 3773892 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/270 42254
/proc/meminfo: memFree=102632624/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=4215280 memory=3770820 CPUtime=3512.87 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 588325 0 0 0 349726 1561 0 0 20 0 1 0 46451446 4316446720 942705 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 1053820 942705 2496 1147 0 1041247 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 4219472 KiB
Current children cumulated memory: 3773892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/270 42256
/proc/meminfo: memFree=102437932/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=4215280 memory=3770820 CPUtime=3572.71 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 588478 0 0 0 355701 1570 0 0 20 0 1 0 46451446 4316446720 942705 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 1053820 942705 2496 1147 0 1041247 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 4219472 KiB
Current children cumulated memory: 3773892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.20 4.15 4.11 4/259 42273
/proc/meminfo: memFree=120240840/131249996 swapFree=33010684/33010684
[pid=42052] ppid=42049 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/42052/stat : 42052 (run-opt.sh) S 42049 42052 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451446 4292608 768 18446744073709551615 94229315272704 94229316167237 140735877656528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94229316406288 94229316454032 94229321560064 140735877658989 140735877659112 140735877659112 140735877664714 0
/proc/42052/statm: 1048 768 704 219 0 110 0
[pid=42054] ppid=42052 vsize=4215280 memory=3770820 CPUtime=3600.04 cores=0,2
/proc/42054/stat : 42054 (roundingsat) R 42052 42052 41594 0 -1 4194304 588521 0 0 0 358427 1577 0 0 20 0 1 0 46451446 4316446720 942705 18446744073709551615 4227072 8923433 140724649131776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38850560 140724649138594 140724649138728 140724649138728 140724649144298 0
/proc/42054/statm: 1053820 942705 2496 1147 0 1041247 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4219472 KiB
Current children cumulated memory: 3773892 KiB

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

[startup+3609.7 s]
# the end of solver process 42052 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.002304 s

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

# cumulated CPU time of all completed processes:  user=3584.28 s, system=15.9095 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+3609.8 s]*
/proc/loadavg: 4.18 4.14 4.11 2/256 42324
/proc/meminfo: memFree=129378668/131249996 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.002304 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3609.84
CPU time (s): 3600.19
CPU user time (s): 3584.28
CPU system time (s): 15.9095
CPU usage (%): 99.7327
Max. virtual memory (cumulated for all children) (KiB): 4219472
Max. memory (cumulated for all children) (KiB): 3773892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.28
system time used= 15.9095
maximum resident set size= 3771076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588743
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= 145
involuntary context switches= 8087


# summary of solver processes directly reported to runsolver:
#   pid: 42052,42054
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3584.28
#   total CPU system time (s): 15.9095

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28292 second user time and 16.689 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-30 20:22:08
IDJOB=4485458
IDBENCH=146795
IDSOLVER=3350
FILE ID=nodeC032/4485458-1751307728
RUNJOBID= nodeC032-1751304114-41604
SLURM_JOB_ID= 9594298
Free space on /tmp= 432032 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485458-1751307728/watcher-4485458-1751307728 -o /tmp/evaluation-result-4485458-1751307728/solver-4485458-1751307728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41604 --watchdog 3760  run-opt.sh HOME/instance-4485458-1751307728.opb

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

MD5SUM BENCH= 55b762fd6bb408eb2777c16ed585e3a1
RANDOM SEED=338912485

nodeC032 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		: 3599.843
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.69
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.830
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.69
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		: 3599.636
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.69
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		: 3597.898
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.69
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.847
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.69
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.861
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.69
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		: 3575.674
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.215
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129665660 kB
MemAvailable:   129451860 kB
Buffers:            3280 kB
Cached:           594376 kB
SwapCached:            0 kB
Active:           684248 kB
Inactive:         340976 kB
Active(anon):     445640 kB
Inactive(anon):        0 kB
Active(file):     238608 kB
Inactive(file):   340976 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             43804 kB
Writeback:             0 kB
AnonPages:        430692 kB
Mapped:           116172 kB
Shmem:             18068 kB
KReclaimable:      91708 kB
Slab:             176660 kB
SReclaimable:      91708 kB
SUnreclaim:        84952 kB
KernelStack:        4352 kB
PageTables:         3948 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     805272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432052 MiB
End job on nodeC032 at 2025-06-30 21:22:18