Trace number 4520342

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.26 3610.79

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb
MD5SUM945af48c280f7236a370d583309b9e8f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8034
Best CPU time to get the best result obtained on this benchmark0.147572
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13390
Total number of constraints2678
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)52
Number of constraints which are nor clauses,nor cardinality constraints2626
Minimum length of a constraint5
Maximum length of a constraint15
Number of terms in the objective function 13390
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 13390
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 13390
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.04	c #variables 13390 #constraints 2678
0.00/0.04	c objective is ce32 
0.00/0.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05	c initial counting CF 32, 64, 128, Arb: 2627 , 0 , 0 , 0
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.026702
0.00/0.06	c GLOBAL bounds - >= 0 @ 0.032174
386.82/388.07	c #Conflicts:       1000 | #Constraints:       3678
386.82/388.07	c #Conflicts:       2000 | #Constraints:       4678
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:       3000 | #Constraints:       4737
386.82/388.07	c #Conflicts:       4000 | #Constraints:       5737
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:       5000 | #Constraints:       5181
386.82/388.07	c #Conflicts:       6000 | #Constraints:       6181
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:       7000 | #Constraints:       5199
386.82/388.07	c #Conflicts:       8000 | #Constraints:       6199
386.82/388.07	c #Conflicts:       9000 | #Constraints:       7199
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      10000 | #Constraints:       5871
386.82/388.07	c #Conflicts:      11000 | #Constraints:       6871
386.82/388.07	c #Conflicts:      12000 | #Constraints:       7871
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      13000 | #Constraints:       6348
386.82/388.07	c #Conflicts:      14000 | #Constraints:       7348
386.82/388.07	c #Conflicts:      15000 | #Constraints:       8348
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      16000 | #Constraints:       6549
386.82/388.07	c #Conflicts:      17000 | #Constraints:       7549
386.82/388.07	c #Conflicts:      18000 | #Constraints:       8549
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      19000 | #Constraints:       6541
386.82/388.07	c #Conflicts:      20000 | #Constraints:       7541
386.82/388.07	c #Conflicts:      21000 | #Constraints:       8541
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      22000 | #Constraints:       6396
386.82/388.07	c #Conflicts:      23000 | #Constraints:       7396
386.82/388.07	c #Conflicts:      24000 | #Constraints:       8396
386.82/388.07	c #Conflicts:      25000 | #Constraints:       9396
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      26000 | #Constraints:       7028
386.82/388.07	c #Conflicts:      27000 | #Constraints:       8028
386.82/388.07	c #Conflicts:      28000 | #Constraints:       9028
386.82/388.07	c #Conflicts:      29000 | #Constraints:      10028
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      30000 | #Constraints:       7447
386.82/388.07	c #Conflicts:      31000 | #Constraints:       8447
386.82/388.07	c #Conflicts:      32000 | #Constraints:       9447
386.82/388.07	c #Conflicts:      33000 | #Constraints:      10447
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      34000 | #Constraints:       7660
386.82/388.07	c #Conflicts:      35000 | #Constraints:       8660
386.82/388.07	c #Conflicts:      36000 | #Constraints:       9660
386.82/388.07	c #Conflicts:      37000 | #Constraints:      10660
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      38000 | #Constraints:       7658
386.82/388.07	c #Conflicts:      39000 | #Constraints:       8658
386.82/388.07	c #Conflicts:      40000 | #Constraints:       9658
386.82/388.07	c #Conflicts:      41000 | #Constraints:      10658
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      42000 | #Constraints:       7467
386.82/388.07	c #Conflicts:      43000 | #Constraints:       8467
386.82/388.07	c #Conflicts:      44000 | #Constraints:       9467
386.82/388.07	c #Conflicts:      45000 | #Constraints:      10467
386.82/388.07	c #Conflicts:      46000 | #Constraints:      11467
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      47000 | #Constraints:       8077
386.82/388.07	c #Conflicts:      48000 | #Constraints:       9077
386.82/388.07	c #Conflicts:      49000 | #Constraints:      10077
386.82/388.07	c #Conflicts:      50000 | #Constraints:      11077
386.82/388.07	c #Conflicts:      51000 | #Constraints:      12077
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      52000 | #Constraints:       8468
386.82/388.07	c #Conflicts:      53000 | #Constraints:       9468
386.82/388.07	c #Conflicts:      54000 | #Constraints:      10468
386.82/388.07	c #Conflicts:      55000 | #Constraints:      11468
386.82/388.07	c #Conflicts:      56000 | #Constraints:      12468
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      57000 | #Constraints:       8629
386.82/388.07	c #Conflicts:      58000 | #Constraints:       9629
386.82/388.07	c #Conflicts:      59000 | #Constraints:      10629
386.82/388.07	c #Conflicts:      60000 | #Constraints:      11629
386.82/388.07	c #Conflicts:      61000 | #Constraints:      12629
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      62000 | #Constraints:       8670
386.82/388.07	c #Conflicts:      63000 | #Constraints:       9670
386.82/388.07	c #Conflicts:      64000 | #Constraints:      10670
386.82/388.07	c #Conflicts:      65000 | #Constraints:      11670
386.82/388.07	c #Conflicts:      66000 | #Constraints:      12670
386.82/388.07	c INPROCESSING
386.82/388.07	c GARBAGE COLLECT
386.82/388.07	c #Conflicts:      67000 | #Constraints:       8458
386.82/388.07	c #Conflicts:      68000 | #Constraints:       9458
849.25/851.84	c #Conflicts:      69000 | #Constraints:      10458
849.25/851.84	c #Conflicts:      70000 | #Constraints:      11458
849.25/851.84	c #Conflicts:      71000 | #Constraints:      12458
849.25/851.84	c #Conflicts:      72000 | #Constraints:      13458
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:      73000 | #Constraints:       9084
849.25/851.84	c #Conflicts:      74000 | #Constraints:      10084
849.25/851.84	c #Conflicts:      75000 | #Constraints:      11084
849.25/851.84	c #Conflicts:      76000 | #Constraints:      12084
849.25/851.84	c #Conflicts:      77000 | #Constraints:      13084
849.25/851.84	c #Conflicts:      78000 | #Constraints:      14084
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:      79000 | #Constraints:       9445
849.25/851.84	c #Conflicts:      80000 | #Constraints:      10445
849.25/851.84	c #Conflicts:      81000 | #Constraints:      11445
849.25/851.84	c #Conflicts:      82000 | #Constraints:      12445
849.25/851.84	c #Conflicts:      83000 | #Constraints:      13445
849.25/851.84	c #Conflicts:      84000 | #Constraints:      14445
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:      85000 | #Constraints:       9649
849.25/851.84	c #Conflicts:      86000 | #Constraints:      10649
849.25/851.84	c #Conflicts:      87000 | #Constraints:      11649
849.25/851.84	c #Conflicts:      88000 | #Constraints:      12649
849.25/851.84	c #Conflicts:      89000 | #Constraints:      13649
849.25/851.84	c #Conflicts:      90000 | #Constraints:      14649
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:      91000 | #Constraints:       9667
849.25/851.84	c #Conflicts:      92000 | #Constraints:      10667
849.25/851.84	c #Conflicts:      93000 | #Constraints:      11667
849.25/851.84	c #Conflicts:      94000 | #Constraints:      12667
849.25/851.84	c #Conflicts:      95000 | #Constraints:      13667
849.25/851.84	c #Conflicts:      96000 | #Constraints:      14667
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:      97000 | #Constraints:       9430
849.25/851.84	c #Conflicts:      98000 | #Constraints:      10430
849.25/851.84	c #Conflicts:      99000 | #Constraints:      11430
849.25/851.84	c #Conflicts:     100000 | #Constraints:      12430
849.25/851.84	c #Conflicts:     101000 | #Constraints:      13430
849.25/851.84	c #Conflicts:     102000 | #Constraints:      14430
849.25/851.84	c #Conflicts:     103000 | #Constraints:      15430
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:     104000 | #Constraints:      10019
849.25/851.84	c #Conflicts:     105000 | #Constraints:      11019
849.25/851.84	c #Conflicts:     106000 | #Constraints:      12019
849.25/851.84	c #Conflicts:     107000 | #Constraints:      13019
849.25/851.84	c #Conflicts:     108000 | #Constraints:      14019
849.25/851.84	c #Conflicts:     109000 | #Constraints:      15019
849.25/851.84	c #Conflicts:     110000 | #Constraints:      16019
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:     111000 | #Constraints:      10453
849.25/851.84	c #Conflicts:     112000 | #Constraints:      11453
849.25/851.84	c #Conflicts:     113000 | #Constraints:      12453
849.25/851.84	c #Conflicts:     114000 | #Constraints:      13453
849.25/851.84	c #Conflicts:     115000 | #Constraints:      14453
849.25/851.84	c #Conflicts:     116000 | #Constraints:      15453
849.25/851.84	c #Conflicts:     117000 | #Constraints:      16453
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:     118000 | #Constraints:      10682
849.25/851.84	c #Conflicts:     119000 | #Constraints:      11682
849.25/851.84	c #Conflicts:     120000 | #Constraints:      12682
849.25/851.84	c #Conflicts:     121000 | #Constraints:      13682
849.25/851.84	c #Conflicts:     122000 | #Constraints:      14682
849.25/851.84	c #Conflicts:     123000 | #Constraints:      15682
849.25/851.84	c #Conflicts:     124000 | #Constraints:      16682
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:     125000 | #Constraints:      10734
849.25/851.84	c #Conflicts:     126000 | #Constraints:      11734
849.25/851.84	c #Conflicts:     127000 | #Constraints:      12734
849.25/851.84	c #Conflicts:     128000 | #Constraints:      13734
849.25/851.84	c #Conflicts:     129000 | #Constraints:      14734
849.25/851.84	c #Conflicts:     130000 | #Constraints:      15734
849.25/851.84	c #Conflicts:     131000 | #Constraints:      16734
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:     132000 | #Constraints:      10541
849.25/851.84	c #Conflicts:     133000 | #Constraints:      11541
849.25/851.84	c #Conflicts:     134000 | #Constraints:      12541
849.25/851.84	c #Conflicts:     135000 | #Constraints:      13541
849.25/851.84	c #Conflicts:     136000 | #Constraints:      14541
849.25/851.84	c #Conflicts:     137000 | #Constraints:      15541
849.25/851.84	c #Conflicts:     138000 | #Constraints:      16541
849.25/851.84	c #Conflicts:     139000 | #Constraints:      17541
849.25/851.84	c INPROCESSING
849.25/851.84	c GARBAGE COLLECT
849.25/851.84	c #Conflicts:     140000 | #Constraints:      11075
1358.64/1362.79	c #Conflicts:     141000 | #Constraints:      12075
1358.64/1362.79	c #Conflicts:     142000 | #Constraints:      13075
1358.64/1362.79	c #Conflicts:     143000 | #Constraints:      14075
1358.64/1362.79	c #Conflicts:     144000 | #Constraints:      15075
1358.64/1362.79	c #Conflicts:     145000 | #Constraints:      16075
1358.64/1362.79	c #Conflicts:     146000 | #Constraints:      17075
1358.64/1362.79	c #Conflicts:     147000 | #Constraints:      18075
1358.64/1362.79	c INPROCESSING
1358.64/1362.79	c GARBAGE COLLECT
1358.64/1362.79	c #Conflicts:     148000 | #Constraints:      11480
1358.64/1362.79	c #Conflicts:     149000 | #Constraints:      12480
1358.64/1362.79	c #Conflicts:     150000 | #Constraints:      13480
1358.64/1362.79	c #Conflicts:     151000 | #Constraints:      14480
1358.64/1362.79	c #Conflicts:     152000 | #Constraints:      15480
1358.64/1362.79	c #Conflicts:     153000 | #Constraints:      16480
1358.64/1362.79	c #Conflicts:     154000 | #Constraints:      17480
1358.64/1362.79	c #Conflicts:     155000 | #Constraints:      18480
1358.64/1362.79	c INPROCESSING
1358.64/1362.79	c GARBAGE COLLECT
1358.64/1362.79	c #Conflicts:     156000 | #Constraints:      11717
1358.64/1362.79	c #Conflicts:     157000 | #Constraints:      12717
1358.64/1362.79	c #Conflicts:     158000 | #Constraints:      13717
1358.64/1362.79	c #Conflicts:     159000 | #Constraints:      14717
1358.64/1362.79	c #Conflicts:     160000 | #Constraints:      15717
1358.64/1362.79	c #Conflicts:     161000 | #Constraints:      16717
1358.64/1362.79	c #Conflicts:     162000 | #Constraints:      17717
1358.64/1362.79	c #Conflicts:     163000 | #Constraints:      18717
1358.64/1362.79	c INPROCESSING
1358.64/1362.79	c GARBAGE COLLECT
1358.64/1362.79	c #Conflicts:     164000 | #Constraints:      11721
1358.64/1362.79	c #Conflicts:     165000 | #Constraints:      12721
1358.64/1362.79	c #Conflicts:     166000 | #Constraints:      13721
1358.64/1362.79	c #Conflicts:     167000 | #Constraints:      14721
1358.64/1362.79	c #Conflicts:     168000 | #Constraints:      15721
1358.64/1362.79	c #Conflicts:     169000 | #Constraints:      16721
1358.64/1362.79	c #Conflicts:     170000 | #Constraints:      17721
1358.64/1362.79	c #Conflicts:     171000 | #Constraints:      18721
1358.64/1362.79	c INPROCESSING
1358.64/1362.79	c GARBAGE COLLECT
1358.64/1362.79	c #Conflicts:     172000 | #Constraints:      11559
1358.64/1362.79	c #Conflicts:     173000 | #Constraints:      12559
1358.64/1362.79	c #Conflicts:     174000 | #Constraints:      13559
1358.64/1362.79	c #Conflicts:     175000 | #Constraints:      14559
1358.64/1362.79	c #Conflicts:     176000 | #Constraints:      15559
1358.64/1362.79	c #Conflicts:     177000 | #Constraints:      16559
1358.64/1362.79	c #Conflicts:     178000 | #Constraints:      17559
1358.64/1362.79	c #Conflicts:     179000 | #Constraints:      18559
1358.64/1362.79	c #Conflicts:     180000 | #Constraints:      19559
1358.64/1362.79	c INPROCESSING
1358.64/1362.79	c GARBAGE COLLECT
1358.64/1362.79	c #Conflicts:     181000 | #Constraints:      12129
1358.64/1362.79	c #Conflicts:     182000 | #Constraints:      13129
1358.64/1362.79	c #Conflicts:     183000 | #Constraints:      14129
1358.64/1362.79	c #Conflicts:     184000 | #Constraints:      15129
1358.64/1362.79	c #Conflicts:     185000 | #Constraints:      16129
1358.64/1362.79	c #Conflicts:     186000 | #Constraints:      17129
1358.64/1362.79	c #Conflicts:     187000 | #Constraints:      18129
1358.64/1362.79	c #Conflicts:     188000 | #Constraints:      19129
1358.64/1362.79	c #Conflicts:     189000 | #Constraints:      20129
1358.64/1362.79	c INPROCESSING
1358.64/1362.79	c GARBAGE COLLECT
1358.64/1362.79	c #Conflicts:     190000 | #Constraints:      12542
1358.64/1362.79	c #Conflicts:     191000 | #Constraints:      13542
1358.64/1362.79	c #Conflicts:     192000 | #Constraints:      14542
1358.64/1362.79	c #Conflicts:     193000 | #Constraints:      15542
1358.64/1362.79	c #Conflicts:     194000 | #Constraints:      16542
1358.64/1362.79	c #Conflicts:     195000 | #Constraints:      17542
1358.64/1362.79	c #Conflicts:     196000 | #Constraints:      18542
1358.64/1362.79	c #Conflicts:     197000 | #Constraints:      19542
1358.64/1362.79	c #Conflicts:     198000 | #Constraints:      20542
1358.64/1362.79	c INPROCESSING
1358.64/1362.79	c GARBAGE COLLECT
1358.64/1362.79	c #Conflicts:     199000 | #Constraints:      12756
1358.64/1362.79	c #Conflicts:     200000 | #Constraints:      13756
1358.64/1362.79	c #Conflicts:     201000 | #Constraints:      14756
1358.64/1362.79	c #Conflicts:     202000 | #Constraints:      15756
1358.64/1362.79	c #Conflicts:     203000 | #Constraints:      16756
1358.64/1362.79	c #Conflicts:     204000 | #Constraints:      17756
1358.64/1362.79	c #Conflicts:     205000 | #Constraints:      18756
1358.64/1362.79	c #Conflicts:     206000 | #Constraints:      19756
1358.64/1362.79	c #Conflicts:     207000 | #Constraints:      20756
1358.64/1362.79	c INPROCESSING
1358.64/1362.79	c GARBAGE COLLECT
1358.64/1362.79	c #Conflicts:     208000 | #Constraints:      12745
1358.64/1362.79	c #Conflicts:     209000 | #Constraints:      13745
1358.64/1362.79	c #Conflicts:     210000 | #Constraints:      14745
1358.64/1362.79	c #Conflicts:     211000 | #Constraints:      15745
1358.64/1362.79	c #Conflicts:     212000 | #Constraints:      16745
1358.64/1362.79	c #Conflicts:     213000 | #Constraints:      17745
1920.16/1925.99	c #Conflicts:     214000 | #Constraints:      18745
1920.16/1925.99	c #Conflicts:     215000 | #Constraints:      19745
1920.16/1925.99	c #Conflicts:     216000 | #Constraints:      20745
1920.16/1925.99	c INPROCESSING
1920.16/1925.99	c GARBAGE COLLECT
1920.16/1925.99	c #Conflicts:     217000 | #Constraints:      12521
1920.16/1925.99	c #Conflicts:     218000 | #Constraints:      13521
1920.16/1925.99	c #Conflicts:     219000 | #Constraints:      14521
1920.16/1925.99	c #Conflicts:     220000 | #Constraints:      15521
1920.16/1925.99	c #Conflicts:     221000 | #Constraints:      16521
1920.16/1925.99	c #Conflicts:     222000 | #Constraints:      17521
1920.16/1925.99	c #Conflicts:     223000 | #Constraints:      18521
1920.16/1925.99	c #Conflicts:     224000 | #Constraints:      19521
1920.16/1925.99	c #Conflicts:     225000 | #Constraints:      20521
1920.16/1925.99	c #Conflicts:     226000 | #Constraints:      21521
1920.16/1925.99	c INPROCESSING
1920.16/1925.99	c GARBAGE COLLECT
1920.16/1925.99	c #Conflicts:     227000 | #Constraints:      13097
1920.16/1925.99	c #Conflicts:     228000 | #Constraints:      14097
1920.16/1925.99	c #Conflicts:     229000 | #Constraints:      15097
1920.16/1925.99	c #Conflicts:     230000 | #Constraints:      16097
1920.16/1925.99	c #Conflicts:     231000 | #Constraints:      17097
1920.16/1925.99	c #Conflicts:     232000 | #Constraints:      18097
1920.16/1925.99	c #Conflicts:     233000 | #Constraints:      19097
1920.16/1925.99	c #Conflicts:     234000 | #Constraints:      20097
1920.16/1925.99	c #Conflicts:     235000 | #Constraints:      21097
1920.16/1925.99	c #Conflicts:     236000 | #Constraints:      22097
1920.16/1925.99	c INPROCESSING
1920.16/1925.99	c GARBAGE COLLECT
1920.16/1925.99	c #Conflicts:     237000 | #Constraints:      13504
1920.16/1925.99	c #Conflicts:     238000 | #Constraints:      14504
1920.16/1925.99	c #Conflicts:     239000 | #Constraints:      15504
1920.16/1925.99	c #Conflicts:     240000 | #Constraints:      16504
1920.16/1925.99	c #Conflicts:     241000 | #Constraints:      17504
1920.16/1925.99	c #Conflicts:     242000 | #Constraints:      18504
1920.16/1925.99	c #Conflicts:     243000 | #Constraints:      19504
1920.16/1925.99	c #Conflicts:     244000 | #Constraints:      20504
1920.16/1925.99	c #Conflicts:     245000 | #Constraints:      21504
1920.16/1925.99	c #Conflicts:     246000 | #Constraints:      22504
1920.16/1925.99	c INPROCESSING
1920.16/1925.99	c GARBAGE COLLECT
1920.16/1925.99	c #Conflicts:     247000 | #Constraints:      13693
1920.16/1925.99	c #Conflicts:     248000 | #Constraints:      14693
1920.16/1925.99	c #Conflicts:     249000 | #Constraints:      15693
1920.16/1925.99	c #Conflicts:     250000 | #Constraints:      16693
1920.16/1925.99	c #Conflicts:     251000 | #Constraints:      17693
1920.16/1925.99	c #Conflicts:     252000 | #Constraints:      18693
1920.16/1925.99	c #Conflicts:     253000 | #Constraints:      19693
1920.16/1925.99	c #Conflicts:     254000 | #Constraints:      20693
1920.16/1925.99	c #Conflicts:     255000 | #Constraints:      21693
1920.16/1925.99	c #Conflicts:     256000 | #Constraints:      22693
1920.16/1925.99	c INPROCESSING
1920.16/1925.99	c GARBAGE COLLECT
1920.16/1925.99	c #Conflicts:     257000 | #Constraints:      13691
1920.16/1925.99	c #Conflicts:     258000 | #Constraints:      14691
1920.16/1925.99	c #Conflicts:     259000 | #Constraints:      15691
1920.16/1925.99	c #Conflicts:     260000 | #Constraints:      16691
1920.16/1925.99	c #Conflicts:     261000 | #Constraints:      17691
1920.16/1925.99	c #Conflicts:     262000 | #Constraints:      18691
1920.16/1925.99	c #Conflicts:     263000 | #Constraints:      19691
1920.16/1925.99	c #Conflicts:     264000 | #Constraints:      20691
1920.16/1925.99	c #Conflicts:     265000 | #Constraints:      21691
1920.16/1925.99	c #Conflicts:     266000 | #Constraints:      22691
1920.16/1925.99	c INPROCESSING
1920.16/1925.99	c GARBAGE COLLECT
1920.16/1925.99	c #Conflicts:     267000 | #Constraints:      13502
1920.16/1925.99	c #Conflicts:     268000 | #Constraints:      14502
1920.16/1925.99	c #Conflicts:     269000 | #Constraints:      15502
1920.16/1925.99	c #Conflicts:     270000 | #Constraints:      16502
1920.16/1925.99	c #Conflicts:     271000 | #Constraints:      17502
1920.16/1925.99	c #Conflicts:     272000 | #Constraints:      18502
1920.16/1925.99	c #Conflicts:     273000 | #Constraints:      19502
1920.16/1925.99	c #Conflicts:     274000 | #Constraints:      20502
1920.16/1925.99	c #Conflicts:     275000 | #Constraints:      21502
1920.16/1925.99	c #Conflicts:     276000 | #Constraints:      22502
1920.16/1925.99	c #Conflicts:     277000 | #Constraints:      23502
1920.16/1925.99	c INPROCESSING
1920.16/1925.99	c GARBAGE COLLECT
1920.16/1925.99	c #Conflicts:     278000 | #Constraints:      14179
1920.16/1925.99	c #Conflicts:     279000 | #Constraints:      15179
1920.16/1925.99	c #Conflicts:     280000 | #Constraints:      16179
1920.16/1925.99	c #Conflicts:     281000 | #Constraints:      17179
1920.16/1925.99	c #Conflicts:     282000 | #Constraints:      18179
1920.16/1925.99	c #Conflicts:     283000 | #Constraints:      19179
1920.16/1925.99	c #Conflicts:     284000 | #Constraints:      20179
1920.16/1925.99	c #Conflicts:     285000 | #Constraints:      21179
1920.16/1925.99	c #Conflicts:     286000 | #Constraints:      22179
1920.16/1925.99	c #Conflicts:     287000 | #Constraints:      23179
1920.16/1925.99	c #Conflicts:     288000 | #Constraints:      24179
2527.57/2535.15	c INPROCESSING
2527.57/2535.15	c GARBAGE COLLECT
2527.57/2535.15	c #Conflicts:     289000 | #Constraints:      14614
2527.57/2535.15	c #Conflicts:     290000 | #Constraints:      15614
2527.57/2535.15	c #Conflicts:     291000 | #Constraints:      16614
2527.57/2535.15	c #Conflicts:     292000 | #Constraints:      17614
2527.57/2535.15	c #Conflicts:     293000 | #Constraints:      18614
2527.57/2535.15	c #Conflicts:     294000 | #Constraints:      19614
2527.57/2535.15	c #Conflicts:     295000 | #Constraints:      20614
2527.57/2535.15	c #Conflicts:     296000 | #Constraints:      21614
2527.57/2535.15	c #Conflicts:     297000 | #Constraints:      22614
2527.57/2535.15	c #Conflicts:     298000 | #Constraints:      23614
2527.57/2535.15	c #Conflicts:     299000 | #Constraints:      24614
2527.57/2535.15	c INPROCESSING
2527.57/2535.15	c GARBAGE COLLECT
2527.57/2535.15	c #Conflicts:     300000 | #Constraints:      14789
2527.57/2535.15	c #Conflicts:     301000 | #Constraints:      15789
2527.57/2535.15	c #Conflicts:     302000 | #Constraints:      16789
2527.57/2535.15	c #Conflicts:     303000 | #Constraints:      17789
2527.57/2535.15	c #Conflicts:     304000 | #Constraints:      18789
2527.57/2535.15	c #Conflicts:     305000 | #Constraints:      19789
2527.57/2535.15	c #Conflicts:     306000 | #Constraints:      20789
2527.57/2535.15	c #Conflicts:     307000 | #Constraints:      21789
2527.57/2535.15	c #Conflicts:     308000 | #Constraints:      22789
2527.57/2535.15	c #Conflicts:     309000 | #Constraints:      23789
2527.57/2535.15	c #Conflicts:     310000 | #Constraints:      24789
2527.57/2535.15	c INPROCESSING
2527.57/2535.15	c GARBAGE COLLECT
2527.57/2535.15	c #Conflicts:     311000 | #Constraints:      14850
2527.57/2535.15	c #Conflicts:     312000 | #Constraints:      15850
2527.57/2535.15	c #Conflicts:     313000 | #Constraints:      16850
2527.57/2535.15	c #Conflicts:     314000 | #Constraints:      17850
2527.57/2535.15	c #Conflicts:     315000 | #Constraints:      18850
2527.57/2535.15	c #Conflicts:     316000 | #Constraints:      19850
2527.57/2535.15	c #Conflicts:     317000 | #Constraints:      20850
2527.57/2535.15	c #Conflicts:     318000 | #Constraints:      21850
2527.57/2535.15	c #Conflicts:     319000 | #Constraints:      22850
2527.57/2535.15	c #Conflicts:     320000 | #Constraints:      23850
2527.57/2535.15	c #Conflicts:     321000 | #Constraints:      24850
2527.57/2535.15	c INPROCESSING
2527.57/2535.15	c GARBAGE COLLECT
2527.57/2535.15	c #Conflicts:     322000 | #Constraints:      14618
2527.57/2535.15	c #Conflicts:     323000 | #Constraints:      15618
2527.57/2535.15	c #Conflicts:     324000 | #Constraints:      16618
2527.57/2535.15	c #Conflicts:     325000 | #Constraints:      17618
2527.57/2535.15	c #Conflicts:     326000 | #Constraints:      18618
2527.57/2535.15	c #Conflicts:     327000 | #Constraints:      19618
2527.57/2535.15	c #Conflicts:     328000 | #Constraints:      20618
2527.57/2535.15	c #Conflicts:     329000 | #Constraints:      21618
2527.57/2535.15	c #Conflicts:     330000 | #Constraints:      22618
2527.57/2535.15	c #Conflicts:     331000 | #Constraints:      23618
2527.57/2535.15	c #Conflicts:     332000 | #Constraints:      24618
2527.57/2535.15	c #Conflicts:     333000 | #Constraints:      25618
2527.57/2535.15	c INPROCESSING
2527.57/2535.15	c GARBAGE COLLECT
2527.57/2535.15	c #Conflicts:     334000 | #Constraints:      15189
2527.57/2535.15	c #Conflicts:     335000 | #Constraints:      16189
2527.57/2535.15	c #Conflicts:     336000 | #Constraints:      17189
2527.57/2535.15	c #Conflicts:     337000 | #Constraints:      18189
2527.57/2535.15	c #Conflicts:     338000 | #Constraints:      19189
2527.57/2535.15	c #Conflicts:     339000 | #Constraints:      20189
2527.57/2535.15	c #Conflicts:     340000 | #Constraints:      21189
2527.57/2535.15	c #Conflicts:     341000 | #Constraints:      22189
2527.57/2535.15	c #Conflicts:     342000 | #Constraints:      23189
2527.57/2535.15	c #Conflicts:     343000 | #Constraints:      24189
2527.57/2535.15	c #Conflicts:     344000 | #Constraints:      25189
2527.57/2535.15	c #Conflicts:     345000 | #Constraints:      26189
2527.57/2535.15	c INPROCESSING
2527.57/2535.15	c GARBAGE COLLECT
2527.57/2535.15	c #Conflicts:     346000 | #Constraints:      15571
2527.57/2535.15	c #Conflicts:     347000 | #Constraints:      16571
2527.57/2535.15	c #Conflicts:     348000 | #Constraints:      17571
2527.57/2535.15	c #Conflicts:     349000 | #Constraints:      18571
2527.57/2535.15	c #Conflicts:     350000 | #Constraints:      19571
2527.57/2535.15	c #Conflicts:     351000 | #Constraints:      20571
2527.57/2535.15	c #Conflicts:     352000 | #Constraints:      21571
2527.57/2535.15	c #Conflicts:     353000 | #Constraints:      22571
2527.57/2535.15	c #Conflicts:     354000 | #Constraints:      23571
2527.57/2535.15	c #Conflicts:     355000 | #Constraints:      24571
2527.57/2535.15	c #Conflicts:     356000 | #Constraints:      25571
2527.57/2535.15	c #Conflicts:     357000 | #Constraints:      26571
2527.57/2535.15	c INPROCESSING
2527.57/2535.15	c GARBAGE COLLECT
2527.57/2535.15	c #Conflicts:     358000 | #Constraints:      15743
2527.57/2535.15	c #Conflicts:     359000 | #Constraints:      16743
2527.57/2535.15	c #Conflicts:     360000 | #Constraints:      17743
2527.57/2535.15	c #Conflicts:     361000 | #Constraints:      18743
2527.57/2535.15	c #Conflicts:     362000 | #Constraints:      19743
3287.06/3296.77	c #Conflicts:     363000 | #Constraints:      20743
3287.06/3296.77	c #Conflicts:     364000 | #Constraints:      21743
3287.06/3296.77	c #Conflicts:     365000 | #Constraints:      22743
3287.06/3296.77	c #Conflicts:     366000 | #Constraints:      23743
3287.06/3296.77	c #Conflicts:     367000 | #Constraints:      24743
3287.06/3296.77	c #Conflicts:     368000 | #Constraints:      25743
3287.06/3296.77	c #Conflicts:     369000 | #Constraints:      26743
3287.06/3296.77	c INPROCESSING
3287.06/3296.77	c GARBAGE COLLECT
3287.06/3296.77	c #Conflicts:     370000 | #Constraints:      15752
3287.06/3296.77	c #Conflicts:     371000 | #Constraints:      16752
3287.06/3296.77	c #Conflicts:     372000 | #Constraints:      17752
3287.06/3296.77	c #Conflicts:     373000 | #Constraints:      18752
3287.06/3296.77	c #Conflicts:     374000 | #Constraints:      19752
3287.06/3296.77	c #Conflicts:     375000 | #Constraints:      20752
3287.06/3296.77	c #Conflicts:     376000 | #Constraints:      21752
3287.06/3296.77	c #Conflicts:     377000 | #Constraints:      22752
3287.06/3296.77	c #Conflicts:     378000 | #Constraints:      23752
3287.06/3296.77	c #Conflicts:     379000 | #Constraints:      24752
3287.06/3296.77	c #Conflicts:     380000 | #Constraints:      25752
3287.06/3296.77	c #Conflicts:     381000 | #Constraints:      26752
3287.06/3296.77	c INPROCESSING
3287.06/3296.77	c GARBAGE COLLECT
3287.06/3296.77	c #Conflicts:     382000 | #Constraints:      15583
3287.06/3296.77	c #Conflicts:     383000 | #Constraints:      16583
3287.06/3296.77	c #Conflicts:     384000 | #Constraints:      17583
3287.06/3296.77	c #Conflicts:     385000 | #Constraints:      18583
3287.06/3296.77	c #Conflicts:     386000 | #Constraints:      19583
3287.06/3296.77	c #Conflicts:     387000 | #Constraints:      20583
3287.06/3296.77	c #Conflicts:     388000 | #Constraints:      21583
3287.06/3296.77	c #Conflicts:     389000 | #Constraints:      22583
3287.06/3296.77	c #Conflicts:     390000 | #Constraints:      23583
3287.06/3296.77	c #Conflicts:     391000 | #Constraints:      24583
3287.06/3296.77	c #Conflicts:     392000 | #Constraints:      25583
3287.06/3296.77	c #Conflicts:     393000 | #Constraints:      26583
3287.06/3296.77	c #Conflicts:     394000 | #Constraints:      27583
3287.06/3296.77	c INPROCESSING
3287.06/3296.77	c GARBAGE COLLECT
3287.06/3296.77	c #Conflicts:     395000 | #Constraints:      16207
3287.06/3296.77	c #Conflicts:     396000 | #Constraints:      17207
3287.06/3296.77	c #Conflicts:     397000 | #Constraints:      18207
3287.06/3296.77	c #Conflicts:     398000 | #Constraints:      19207
3287.06/3296.77	c #Conflicts:     399000 | #Constraints:      20207
3287.06/3296.77	c #Conflicts:     400000 | #Constraints:      21207
3287.06/3296.77	c #Conflicts:     401000 | #Constraints:      22207
3287.06/3296.77	c #Conflicts:     402000 | #Constraints:      23207
3287.06/3296.77	c #Conflicts:     403000 | #Constraints:      24207
3287.06/3296.77	c #Conflicts:     404000 | #Constraints:      25207
3287.06/3296.77	c #Conflicts:     405000 | #Constraints:      26207
3287.06/3296.77	c #Conflicts:     406000 | #Constraints:      27207
3287.06/3296.77	c #Conflicts:     407000 | #Constraints:      28207
3287.06/3296.77	c INPROCESSING
3287.06/3296.77	c GARBAGE COLLECT
3287.06/3296.77	c #Conflicts:     408000 | #Constraints:      16649
3287.06/3296.77	c #Conflicts:     409000 | #Constraints:      17649
3287.06/3296.77	c #Conflicts:     410000 | #Constraints:      18649
3287.06/3296.77	c #Conflicts:     411000 | #Constraints:      19649
3287.06/3296.77	c #Conflicts:     412000 | #Constraints:      20649
3287.06/3296.77	c #Conflicts:     413000 | #Constraints:      21649
3287.06/3296.77	c #Conflicts:     414000 | #Constraints:      22649
3287.06/3296.77	c #Conflicts:     415000 | #Constraints:      23649
3287.06/3296.77	c #Conflicts:     416000 | #Constraints:      24649
3287.06/3296.77	c #Conflicts:     417000 | #Constraints:      25649
3287.06/3296.77	c #Conflicts:     418000 | #Constraints:      26649
3287.06/3296.77	c #Conflicts:     419000 | #Constraints:      27649
3287.06/3296.77	c #Conflicts:     420000 | #Constraints:      28649
3287.06/3296.77	c INPROCESSING
3287.06/3296.77	c GARBAGE COLLECT
3287.06/3296.77	c #Conflicts:     421000 | #Constraints:      16865
3287.06/3296.77	c #Conflicts:     422000 | #Constraints:      17865
3287.06/3296.77	c #Conflicts:     423000 | #Constraints:      18865
3287.06/3296.77	c #Conflicts:     424000 | #Constraints:      19865
3287.06/3296.77	c #Conflicts:     425000 | #Constraints:      20865
3287.06/3296.77	c #Conflicts:     426000 | #Constraints:      21865
3287.06/3296.77	c #Conflicts:     427000 | #Constraints:      22865
3287.06/3296.77	c #Conflicts:     428000 | #Constraints:      23865
3287.06/3296.77	c #Conflicts:     429000 | #Constraints:      24865
3287.06/3296.77	c #Conflicts:     430000 | #Constraints:      25865
3287.06/3296.77	c #Conflicts:     431000 | #Constraints:      26865
3287.06/3296.77	c #Conflicts:     432000 | #Constraints:      27865
3287.06/3296.77	c #Conflicts:     433000 | #Constraints:      28865
3287.06/3296.77	c INPROCESSING
3287.06/3296.77	c GARBAGE COLLECT
3287.06/3296.77	c #Conflicts:     434000 | #Constraints:      16811
3287.06/3296.77	c #Conflicts:     435000 | #Constraints:      17811
3287.06/3296.77	c #Conflicts:     436000 | #Constraints:      18811
3287.06/3296.77	c #Conflicts:     437000 | #Constraints:      19811
3600.07/3610.60	c #Conflicts:     438000 | #Constraints:      20811
3600.07/3610.60	c #Conflicts:     439000 | #Constraints:      21811
3600.07/3610.60	c #Conflicts:     440000 | #Constraints:      22811
3600.07/3610.60	c #Conflicts:     441000 | #Constraints:      23811
3600.07/3610.60	c #Conflicts:     442000 | #Constraints:      24811
3600.07/3610.60	c #Conflicts:     443000 | #Constraints:      25811
3600.07/3610.60	c #Conflicts:     444000 | #Constraints:      26811
3600.07/3610.60	c #Conflicts:     445000 | #Constraints:      27811
3600.07/3610.60	c #Conflicts:     446000 | #Constraints:      28811
3600.07/3610.60	c INPROCESSING
3600.07/3610.60	c GARBAGE COLLECT
3600.07/3610.60	c #Conflicts:     447000 | #Constraints:      16635
3600.07/3610.60	c #Conflicts:     448000 | #Constraints:      17635
3600.07/3610.60	c #Conflicts:     449000 | #Constraints:      18635
3600.07/3610.60	c #Conflicts:     450000 | #Constraints:      19635
3600.07/3610.60	c #Conflicts:     451000 | #Constraints:      20635
3600.07/3610.60	c #Conflicts:     452000 | #Constraints:      21635
3600.07/3610.60	c #Conflicts:     453000 | #Constraints:      22635
3600.07/3610.60	c #Conflicts:     454000 | #Constraints:      23635
3600.07/3610.60	c #Conflicts:     455000 | #Constraints:      24635
3600.07/3610.60	c #Conflicts:     456000 | #Constraints:      25635
3600.07/3610.60	c #Conflicts:     457000 | #Constraints:      26635
3600.07/3610.60	c #Conflicts:     458000 | #Constraints:      27635
3600.07/3610.60	c #Conflicts:     459000 | #Constraints:      28635
3600.07/3610.60	c #Conflicts:     460000 | #Constraints:      29635
3600.07/3610.60	c INPROCESSING
3600.07/3610.60	c GARBAGE COLLECT
3600.07/3610.60	c #Conflicts:     461000 | #Constraints:      17179
3600.07/3610.60	c #Conflicts:     462000 | #Constraints:      18179
3600.07/3610.60	c #Conflicts:     463000 | #Constraints:      19179
3600.07/3610.60	c #Conflicts:     464000 | #Constraints:      20179
3600.07/3610.60	c #Conflicts:     465000 | #Constraints:      21179
3600.07/3610.60	c #Conflicts:     466000 | #Constraints:      22179
3600.07/3610.60	c #Conflicts:     467000 | #Constraints:      23179
3600.07/3610.60	c #Conflicts:     468000 | #Constraints:      24179
3600.07/3610.60	c #Conflicts:     469000 | #Constraints:      25179
3600.07/3610.60	c #Conflicts:     470000 | #Constraints:      26179
3600.07/3610.60	c #Conflicts:     471000 | #Constraints:      27179
3600.07/3610.60	c #Conflicts:     472000 | #Constraints:      28179
3600.07/3610.60	c #Conflicts:     473000 | #Constraints:      29179
3600.07/3610.60	c #Conflicts:     474000 | #Constraints:      30179
3600.07/3610.60	c INPROCESSING
3600.07/3610.60	c GARBAGE COLLECT
3600.07/3610.60	c #Conflicts:     475000 | #Constraints:      17613
3600.07/3610.60	c #Conflicts:     476000 | #Constraints:      18613
3600.07/3610.60	c #Conflicts:     477000 | #Constraints:      19613
3600.07/3610.60	c #Conflicts:     478000 | #Constraints:      20613
3600.07/3610.60	c #Conflicts:     479000 | #Constraints:      21613
3600.07/3610.60	c #Conflicts:     480000 | #Constraints:      22613
3600.07/3610.60	c #Conflicts:     481000 | #Constraints:      23613
3600.07/3610.60	c #Conflicts:     482000 | #Constraints:      24613
3600.07/3610.60	c #Conflicts:     483000 | #Constraints:      25613
3600.07/3610.60	c #Conflicts:     484000 | #Constraints:      26613
3600.07/3610.60	c #Conflicts:     485000 | #Constraints:      27613
3600.07/3610.60	c #Conflicts:     486000 | #Constraints:      28613
3600.07/3610.60	c #Conflicts:     487000 | #Constraints:      29613
3600.07/3610.60	c #Conflicts:     488000 | #Constraints:      30613
3600.07/3610.60	c INPROCESSING
3600.07/3610.60	c GARBAGE COLLECT
3600.07/3610.60	c #Conflicts:     489000 | #Constraints:      17820
3600.07/3610.60	c #Conflicts:     490000 | #Constraints:      18820
3600.07/3610.60	c #Conflicts:     491000 | #Constraints:      19820
3600.07/3610.60	c cpu time 3582.45 s
3600.07/3610.60	c deterministic time 1 1.00e+00
3600.07/3610.60	c optimization time 3582.43 s
3600.07/3610.60	c total solve time 0 s
3600.07/3610.60	c core-guided solve time 0 s
3600.07/3610.60	c propagation time 0.000646 s
3600.07/3610.60	c conflict analysis time 0 s
3600.07/3610.60	c propagations 0
3600.07/3610.60	c resolve steps 0
3600.07/3610.60	c decisions 0
3600.07/3610.60	c conflicts 0
3600.07/3610.60	c restarts 0
3600.07/3610.60	c inprocessing phases 0
3600.07/3610.60	c garbage collections 0 ,( -nan )
3600.07/3610.60	c input clauses 0 ,( 0.00 )
3600.07/3610.60	c input cardinalities 52 ,( 1.94 )
3600.07/3610.60	c input general constraints 2626 ,( 98.06 )
3600.07/3610.60	c input average constraint length 14.81
3600.07/3610.60	c input average constraint degree 9.86
3600.07/3610.60	c learned clauses 0 ,( 0.00 )
3600.07/3610.60	c learned cardinalities 0 ,( 0.00 )
3600.07/3610.60	c learned general constraints 0 ,( 0.00 )
3600.07/3610.60	c learned average constraint length 0.00
3600.07/3610.60	c learned average constraint degree 0.00
3600.07/3610.60	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3610.60	c counting CF 32, 64, 128, Arb: 2627 , 0 , 0 , 0
3600.07/3610.60	c watched   constraints 0 ,( 0.00 ) 
3600.07/3610.60	c counting  constraints 2626 ,( 100.00 ) 
3600.07/3610.60	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3610.60	c gcd simplifications 52
3600.07/3610.60	c detected cardinalities 0
3600.07/3610.60	c weakened non-implied lits 0
3600.07/3610.60	c weakened non-implying lits 0
3600.07/3610.60	c original variables 13390
3600.07/3610.60	c clausal propagations 0
3600.07/3610.60	c cardinality propagations 0
3600.07/3610.60	c watched propagations 0
3600.07/3610.60	c counting propagations 0
3600.07/3610.60	c watch lookups 0
3600.07/3610.60	c watch backjump lookups 0
3600.07/3610.60	c watch checks 0
3600.07/3610.60	c propagation checks 0
3600.07/3610.60	c constraint additions 0
3600.07/3610.60	c trail pops 0
3600.07/3610.60	c formula constraints 2678
3600.07/3610.60	c learned constraints 0
3600.07/3610.60	c bound constraints 0
3600.07/3610.60	c core-guided constraints 0
3600.07/3610.60	c encountered formula constraints 0
3600.07/3610.60	c encountered learned constraints 0
3600.07/3610.60	c encountered bound constraints 0
3600.07/3610.60	c encountered core-guided constraints 0
3600.07/3610.60	c LP total time 0 s
3600.07/3610.60	c LP solve time 0 s
3600.07/3610.60	c LP constraints added 0
3600.07/3610.60	c LP constraints removed 0
3600.07/3610.60	c LP pivots internal 0
3600.07/3610.60	c LP pivots root 0
3600.07/3610.60	c LP calls 0
3600.07/3610.60	c LP optimalities 0
3600.07/3610.60	c LP no pivot count 0
3600.07/3610.60	c LP infeasibilities 0
3600.07/3610.60	c LP valid Farkas constraints 0
3600.07/3610.60	c LP learned Farkas constraints 0
3600.07/3610.60	c LP basis resets 0
3600.07/3610.60	c LP cycling count 0
3600.07/3610.60	c LP singular count 0
3600.07/3610.60	c LP no primal count 0
3600.07/3610.60	c LP no farkas count 0
3600.07/3610.60	c LP other issue count 0
3600.07/3610.60	c LP Gomory cuts 0
3600.07/3610.60	c LP learned cuts 0
3600.07/3610.60	c LP deleted cuts 0
3600.07/3610.60	c LP encountered Gomory constraints 0
3600.07/3610.60	c LP encountered Farkas constraints 0
3600.07/3610.60	c LP encountered learned Farkas constraints 0
3600.07/3610.60	c CG auxiliary variables introduced 0
3600.07/3610.60	c CG solutions found 0
3600.07/3610.60	c CG cores constructed 0
3600.07/3610.60	c CG core cardinality constraints returned 0
3600.07/3610.60	c CG unit cores 0
3600.07/3610.60	c CG single cores 0
3600.07/3610.60	c CG blocks removed during cardinality reduction 0
3600.07/3610.60	c CG first core best 0
3600.07/3610.60	c CG decision core best 0
3600.07/3610.60	c CG core reduction tie 0
3600.07/3610.60	c CG core degree average 0.00
3600.07/3610.60	c CG core slack average 0.00
3600.07/3610.60	c CG core upper bound improvements 0
3600.07/3610.60	c STR number of successful calls 0
3600.07/3610.60	c STR number of unsuccessful calls 0
3600.07/3610.60	c STR number of inconclusive calls 0
3600.07/3610.60	c STR number of successful attempts 0
3600.07/3610.60	c STR number of unsuccessful attempts 0
3600.07/3610.60	c STR number of inconclusive attempts 0
3600.07/3610.60	c STR average degree increase per successful call inf
3600.07/3610.60	c STR average degree increase per successful attempt inf
3600.07/3610.60	c STR total number of conflicts for successful attempts 0
3600.07/3610.60	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.60	c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.60	c STR average number of conflicts per successful attempt inf
3600.07/3610.60	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.60	c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.60	c AVG.sumWPerc 73.33 
3600.07/3610.60	c bigint constraints 0 
3600.07/3610.60	s UNKNOWN
3600.07/3610.60	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 (62494 MiB free)
  memory of node 1: 64465 MiB (57033 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520342-1751571455/watcher-4520342-1751571455 -o /tmp/evaluation-result-4520342-1751571455/solver-4520342-1751571455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751564231-79811 --watchdog 3760 run-opt.sh HOME/instance-4520342-1751571455.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
Current StackSize limit: 8192 KiB

solver pid=80537, runsolver pid=80534

[startup+0.100063 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 80539
/proc/meminfo: memFree=122353112/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=76388 memory=31380 CPUtime=0.08 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 5548 0 0 0 6 2 0 0 20 0 1 0 72820080 78221312 7845 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 19097 7845 2336 1147 0 6524 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 80580 KiB
Current children cumulated memory: 34452 KiB

[startup+0.20555 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 80539
/proc/meminfo: memFree=122322872/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=89832 memory=43668 CPUtime=0.19 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 8639 0 0 0 16 3 0 0 20 0 1 0 72820080 91987968 10917 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 22458 10917 2336 1147 0 9885 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94024 KiB
Current children cumulated memory: 46740 KiB

[startup+0.305747 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 80539
/proc/meminfo: memFree=122306996/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=108696 memory=60180 CPUtime=0.28 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 12789 0 0 0 25 3 0 0 20 0 1 0 72820080 111304704 15045 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 27174 15045 2336 1147 0 14601 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 112888 KiB
Current children cumulated memory: 63252 KiB

[startup+0.700158 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 80539
/proc/meminfo: memFree=122302144/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=115876 memory=66864 CPUtime=0.67 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 13418 0 0 0 63 4 0 0 20 0 1 0 72820080 118657024 16716 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 28969 16716 2336 1147 0 16396 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 120068 KiB
Current children cumulated memory: 69936 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 80539
/proc/meminfo: memFree=122273100/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=155732 memory=111056 CPUtime=1.47 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 20887 0 0 0 140 7 0 0 20 0 1 0 72820080 159469568 27764 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 38933 27764 2336 1147 0 26360 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 159924 KiB
Current children cumulated memory: 114128 KiB

[startup+3.10568 s]
/proc/loadavg: 4.08 4.10 4.09 4/265 80562
/proc/meminfo: memFree=122642220/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=261396 memory=199996 CPUtime=3.05 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 35977 0 0 0 293 12 0 0 20 0 1 0 72820080 267669504 49999 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 65349 49999 2336 1147 0 52776 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 265588 KiB
Current children cumulated memory: 203068 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 80585
/proc/meminfo: memFree=122276188/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=422652 memory=372620 CPUtime=6.23 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 64348 0 0 0 602 21 0 0 20 0 1 0 72820080 432795648 93155 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 105663 93155 2336 1147 0 93090 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 426844 KiB
Current children cumulated memory: 375692 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 80586
/proc/meminfo: memFree=121885376/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=717444 memory=541928 CPUtime=12.62 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 100570 0 0 0 1230 32 0 0 20 0 1 0 72820080 734662656 135482 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 179361 135482 2336 1147 0 166788 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 721636 KiB
Current children cumulated memory: 545000 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 80637
/proc/meminfo: memFree=125834680/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=854212 memory=709300 CPUtime=25.37 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 119412 0 0 0 2489 48 0 0 20 0 1 0 72820080 874713088 177325 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 213553 177325 2336 1147 0 200980 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 858404 KiB
Current children cumulated memory: 712372 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 80637
/proc/meminfo: memFree=124950016/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=1261772 memory=1036584 CPUtime=50.9 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 186410 0 0 0 5009 81 0 0 20 0 1 0 72820080 1292054528 259146 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 315443 259146 2336 1147 0 302870 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1265964 KiB
Current children cumulated memory: 1039656 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 80639
/proc/meminfo: memFree=124043680/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=1501944 memory=1344672 CPUtime=101.95 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 227187 0 0 0 10062 133 0 0 20 0 1 0 72820080 1537990656 336168 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 375486 336168 2336 1147 0 362913 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1506136 KiB
Current children cumulated memory: 1347744 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 80641
/proc/meminfo: memFree=123578676/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=1503992 memory=1360092 CPUtime=161.78 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 227466 0 0 0 16000 178 0 0 20 0 1 0 72820080 1540087808 340023 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 375998 340023 2336 1147 0 363425 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1508184 KiB
Current children cumulated memory: 1363164 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 80643
/proc/meminfo: memFree=122830792/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=2293468 memory=1926532 CPUtime=221.6 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 351744 0 0 0 21937 223 0 0 20 0 1 0 72820080 2348511232 481633 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 573367 481633 2336 1147 0 560794 0
Current children cumulated CPU time: 221.6 s

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

[pid=80539] ppid=80537 vsize=8258740 memory=6131688 CPUtime=3093.2 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 1157239 0 0 0 307717 1603 0 0 20 0 1 0 72820080 8456949760 1532922 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 2064685 1532922 2336 1147 0 2052112 0
Current children cumulated CPU time: 3093.2 s
Current children cumulated vsize: 8262932 KiB
Current children cumulated memory: 6134760 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 80795
/proc/meminfo: memFree=113468540/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=8258740 memory=6131944 CPUtime=3153.03 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 1157892 0 0 0 313679 1624 0 0 20 0 1 0 72820080 8456949760 1532986 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 2064685 1532986 2336 1147 0 2052112 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 8262932 KiB
Current children cumulated memory: 6135016 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 80798
/proc/meminfo: memFree=113440544/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=8301748 memory=6154984 CPUtime=3212.87 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 1163579 0 0 0 319643 1644 0 0 20 0 1 0 72820080 8500989952 1538746 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 2075437 1538746 2336 1147 0 2062864 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 8305940 KiB
Current children cumulated memory: 6158056 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 80801
/proc/meminfo: memFree=113109864/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=8490168 memory=6478440 CPUtime=3272.7 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 1217039 0 0 0 325589 1681 0 0 20 0 1 0 72820080 8693932032 1619610 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 2122542 1619610 2336 1147 0 2109969 0
Current children cumulated CPU time: 3272.7 s
Current children cumulated vsize: 8494360 KiB
Current children cumulated memory: 6481512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 80804
/proc/meminfo: memFree=113103580/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=8490168 memory=6478440 CPUtime=3332.54 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 1217770 0 0 0 331554 1700 0 0 20 0 1 0 72820080 8693932032 1619610 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 2122542 1619610 2336 1147 0 2109969 0
Current children cumulated CPU time: 3332.54 s
Current children cumulated vsize: 8494360 KiB
Current children cumulated memory: 6481512 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/268 80806
/proc/meminfo: memFree=112878196/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=8490168 memory=6479336 CPUtime=3392.36 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 1218115 0 0 0 337523 1713 0 0 20 0 1 0 72820080 8693932032 1619834 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 2122542 1619834 2336 1147 0 2109969 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 8494360 KiB
Current children cumulated memory: 6482408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 80808
/proc/meminfo: memFree=112876204/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=8493752 memory=6490712 CPUtime=3452.2 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 1219781 0 0 0 343491 1729 0 0 20 0 1 0 72820080 8697602048 1622678 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 2123438 1622678 2336 1147 0 2110865 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 8497944 KiB
Current children cumulated memory: 6493784 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 80813
/proc/meminfo: memFree=112783672/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=8493752 memory=6493656 CPUtime=3512.02 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 1220630 0 0 0 349461 1741 0 0 20 0 1 0 72820080 8697602048 1623414 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 2123438 1623414 2336 1147 0 2110865 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 8497944 KiB
Current children cumulated memory: 6496728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 80815
/proc/meminfo: memFree=112784084/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=8493752 memory=6493656 CPUtime=3571.87 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 1221505 0 0 0 355433 1754 0 0 20 0 1 0 72820080 8697602048 1623414 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 2123438 1623414 2336 1147 0 2110865 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 8497944 KiB
Current children cumulated memory: 6496728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 80823
/proc/meminfo: memFree=118192044/131249992 swapFree=33009392/33010684
[pid=80537] ppid=80534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80537/stat : 80537 (run-opt.sh) S 80534 80537 79801 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72820079 4292608 768 18446744073709551615 94744221048832 94744221943365 140722988134608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94744222182416 94744222230160 94744247652352 140722988140909 140722988141032 140722988141032 140722988146634 0
/proc/80537/statm: 1048 768 704 219 0 110 0
[pid=80539] ppid=80537 vsize=8493752 memory=6494552 CPUtime=3600.07 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80537 80537 79801 0 -1 4194304 1221552 0 0 0 358245 1762 0 0 20 0 1 0 72820080 8697602048 1623638 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 2123438 1623638 2336 1147 0 2110865 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 8497944 KiB
Current children cumulated memory: 6497624 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.6 s]
# the end of solver process 80537 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.002177 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3582.46 s, system=17.8069 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+3610.7 s]*
/proc/loadavg: 4.08 4.11 4.09 4/264 80829
/proc/meminfo: memFree=120340632/131249992 swapFree=33009392/33010684
[pid=80539] ppid=80534 vsize=5653600 memory=4227796 CPUtime=3600.18 cores=0,2
/proc/80539/stat : 80539 (roundingsat) R 80534 80537 79801 0 -1 4194304 1221556 0 0 0 358245 1773 0 0 20 0 1 0 72820080 5789286400 1056949 18446744073709551615 4227072 8923433 140730118632592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23146496 140730118637986 140730118638120 140730118638120 140730118643690 0
/proc/80539/statm: 1413400 1056949 2400 1147 0 1400827 0
Current cumulated CPU time of completed processes: 0.002177 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 5653600 KiB
Current children cumulated memory: 4227796 KiB

Child status: 2

Real time (s): 3610.79
CPU time (s): 3600.26
CPU user time (s): 3582.46
CPU system time (s): 17.8069
CPU usage (%): 99.7086
Max. virtual memory (cumulated for all children) (KiB): 8497944
Max. memory (cumulated for all children) (KiB): 6497624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.46
system time used= 17.8069
maximum resident set size= 6494808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1221777
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= 306
involuntary context switches= 8582


# summary of solver processes directly reported to runsolver:
#   pid: 80537,80539
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3582.46
#   total CPU system time (s): 17.8069

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61932 second user time and 17.1205 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-03 21:37:35
IDJOB=4520342
IDBENCH=177924
IDSOLVER=3350
FILE ID=nodeC035/4520342-1751571455
RUNJOBID= nodeC035-1751564231-79811
SLURM_JOB_ID= 9598770
Free space on /tmp= 432792 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520342-1751571455/watcher-4520342-1751571455 -o /tmp/evaluation-result-4520342-1751571455/solver-4520342-1751571455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751564231-79811 --watchdog 3760  run-opt.sh HOME/instance-4520342-1751571455.opb

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

MD5SUM BENCH= 945af48c280f7236a370d583309b9e8f
RANDOM SEED=1484053265

nodeC035 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		: 3528.114
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.51
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.752
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.51
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.714
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        122398396 kB
MemAvailable:   124839032 kB
Buffers:             664 kB
Cached:          3191560 kB
SwapCached:          332 kB
Active:          5267412 kB
Inactive:        2891140 kB
Active(anon):    4962996 kB
Inactive(anon):    21060 kB
Active(file):     304416 kB
Inactive(file):  2870080 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14932 kB
Writeback:            84 kB
AnonPages:       4969144 kB
Mapped:           113228 kB
Shmem:             17700 kB
KReclaimable:     210760 kB
Slab:             301896 kB
SReclaimable:     210760 kB
SUnreclaim:        91136 kB
KernelStack:        4320 kB
PageTables:        13732 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5877332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    800768 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432784 MiB
End job on nodeC035 at 2025-07-03 22:37:46