Trace number 4503605

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat+pbsuma-log 63f22ad? (TO) 3600.39 3611.11

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-147.opb
MD5SUM68b1290c926351b4227086ab823cce81
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42127
Total number of constraints974306
Number of constraints which are clauses875463
Number of constraints which are cardinality constraints (but not clauses)3062
Number of constraints which are nor clauses,nor cardinality constraints95781
Minimum length of a constraint2
Maximum length of a constraint627
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 628
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4503605-1751170426.opb'
0.56/0.64	c 	read 44.07MB  (627.61ms)
0.56/0.64	c	 [cnf: #variables 42127 #clauses 974306 #duplicates 0 #arr 3750680]
0.56/0.64	c output proof to 'PROOFDIR/proof-4503605-1751170426'
0.56/0.64	c 
0.56/0.64	c make graph and approximate orbits
1.06/1.12	c	 [group: #orbits ~= 0] (483.90ms)
1.06/1.12	c 
1.06/1.12	c detect special group actions
1.06/1.12	c 	probe for Johnson action (limit=64)
1.06/1.13	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.06/1.15	c 	probe for row symmetry (limit=64, splits=16.78M)
1.06/1.17	c 	 (49.58ms)
1.06/1.17	c 
1.06/1.17	c detect symmetries on remainder
1.06/1.18	c 	[graph: #vertices 1147795 #edges 7764084]
1.06/1.19	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.15/1.25	c 	 [group: #symmetries 1.00*10^0 #generators 0] (77.09ms)
1.15/1.25	c 
1.15/1.25	c finalize break order and special generators
1.15/1.25	c 
1.15/1.25	c generation finished
1.15/1.25	c 	[sbp: #constraints 0 #add_vars 0]
1.15/1.26	c 
1.15/1.26	c write result to 'HOME/instance-4503605-1751170426.opb.pre'
1.26/1.35	c 	wrote 44.07MB (94.12ms)
1.26/1.35	c ------------------------------------------------------------------
1.26/1.35	c                 627.61ms 46.88% parse
1.26/1.35	c                 483.90ms 36.15% approx_orbits
1.26/1.35	c                  94.12ms  7.03% output
1.26/1.35	c                  77.09ms  5.76% detect_generic
1.26/1.35	c                  49.58ms  3.70% detect_special
1.26/1.35	c                   4.73ms  0.35% other
1.26/1.35	c                   1.64ms  0.12% finalize_order
1.26/1.35	c         ───────────────────────────────────────────────
1.26/1.35	c                1338.67ms   100% total
1.26/1.35	c ------------------------------------------------------------------
1.46/1.51	c RoundingSat 2
1.46/1.51	c branch pb25
1.46/1.51	c commit 63f22ad
7.42/7.59	c #variables 42127 #constraints 975848
479.40/480.98	c #Conflicts:       1000 | #Constraints:     976847
479.40/480.98	c #Conflicts:       2000 | #Constraints:     977847
479.40/480.98	c INPROCESSING
479.40/480.98	c #Conflicts:       3000 | #Constraints:     977855
479.40/480.98	c #Conflicts:       4000 | #Constraints:     978855
479.40/480.98	c INPROCESSING
479.40/480.98	c #Conflicts:       5000 | #Constraints:     978249
479.40/480.98	c #Conflicts:       6000 | #Constraints:     979249
479.40/480.98	c INPROCESSING
479.40/480.98	c #Conflicts:       7000 | #Constraints:     978347
479.40/480.98	c #Conflicts:       8000 | #Constraints:     979347
479.40/480.98	c #Conflicts:       9000 | #Constraints:     980347
479.40/480.98	c INPROCESSING
479.40/480.98	c #Conflicts:      10000 | #Constraints:     979024
479.40/480.98	c #Conflicts:      11000 | #Constraints:     980024
479.40/480.98	c #Conflicts:      12000 | #Constraints:     981024
479.40/480.98	c INPROCESSING
479.40/480.98	c rational objective 1593
1743.41/1748.55	c #Conflicts:      13000 | #Constraints:     979512
1743.41/1748.55	c #Conflicts:      14000 | #Constraints:     980512
1743.41/1748.55	c #Conflicts:      15000 | #Constraints:     981512
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      16000 | #Constraints:     979731
1743.41/1748.55	c #Conflicts:      17000 | #Constraints:     980731
1743.41/1748.55	c #Conflicts:      18000 | #Constraints:     981731
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      19000 | #Constraints:     979774
1743.41/1748.55	c #Conflicts:      20000 | #Constraints:     980774
1743.41/1748.55	c #Conflicts:      21000 | #Constraints:     981774
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      22000 | #Constraints:     979635
1743.41/1748.55	c #Conflicts:      23000 | #Constraints:     980635
1743.41/1748.55	c #Conflicts:      24000 | #Constraints:     981635
1743.41/1748.55	c #Conflicts:      25000 | #Constraints:     982635
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      26000 | #Constraints:     980365
1743.41/1748.55	c #Conflicts:      27000 | #Constraints:     981365
1743.41/1748.55	c #Conflicts:      28000 | #Constraints:     982365
1743.41/1748.55	c #Conflicts:      29000 | #Constraints:     983365
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      30000 | #Constraints:     980930
1743.41/1748.55	c #Conflicts:      31000 | #Constraints:     981930
1743.41/1748.55	c #Conflicts:      32000 | #Constraints:     982930
1743.41/1748.55	c #Conflicts:      33000 | #Constraints:     983930
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      34000 | #Constraints:     981053
1743.41/1748.55	c #Conflicts:      35000 | #Constraints:     982053
1743.41/1748.55	c #Conflicts:      36000 | #Constraints:     983053
1743.41/1748.55	c #Conflicts:      37000 | #Constraints:     984053
1743.41/1748.55	c #Conflicts:      38000 | #Constraints:     985053
1743.41/1748.55	c #Conflicts:      39000 | #Constraints:     986053
1743.41/1748.55	c #Conflicts:      40000 | #Constraints:     987053
1743.41/1748.55	c #Conflicts:      41000 | #Constraints:     988053
1743.41/1748.55	c #Conflicts:      42000 | #Constraints:     989053
1743.41/1748.55	c #Conflicts:      43000 | #Constraints:     990053
1743.41/1748.55	c #Conflicts:      44000 | #Constraints:     991053
1743.41/1748.55	c #Conflicts:      45000 | #Constraints:     992053
1743.41/1748.55	c #Conflicts:      46000 | #Constraints:     993053
1743.41/1748.55	c #Conflicts:      47000 | #Constraints:     994053
1743.41/1748.55	c #Conflicts:      48000 | #Constraints:     995053
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c GARBAGE COLLECT
1743.41/1748.55	c #Conflicts:      49000 | #Constraints:     986687
1743.41/1748.55	c #Conflicts:      50000 | #Constraints:     987687
1743.41/1748.55	c #Conflicts:      51000 | #Constraints:     988687
1743.41/1748.55	c #Conflicts:      52000 | #Constraints:     989687
1743.41/1748.55	c #Conflicts:      53000 | #Constraints:     990687
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      54000 | #Constraints:     984302
1743.41/1748.55	c #Conflicts:      55000 | #Constraints:     985302
1743.41/1748.55	c #Conflicts:      56000 | #Constraints:     986302
1743.41/1748.55	c #Conflicts:      57000 | #Constraints:     987302
1743.41/1748.55	c #Conflicts:      58000 | #Constraints:     988302
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      59000 | #Constraints:     982791
1743.41/1748.55	c #Conflicts:      60000 | #Constraints:     983791
1743.41/1748.55	c #Conflicts:      61000 | #Constraints:     984791
1743.41/1748.55	c #Conflicts:      62000 | #Constraints:     985791
1743.41/1748.55	c #Conflicts:      63000 | #Constraints:     986791
1743.41/1748.55	c #Conflicts:      64000 | #Constraints:     987791
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      65000 | #Constraints:     982763
1743.41/1748.55	c #Conflicts:      66000 | #Constraints:     983763
1743.41/1748.55	c #Conflicts:      67000 | #Constraints:     984763
1743.41/1748.55	c #Conflicts:      68000 | #Constraints:     985763
1743.41/1748.55	c #Conflicts:      69000 | #Constraints:     986763
1743.41/1748.55	c #Conflicts:      70000 | #Constraints:     987763
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      71000 | #Constraints:     982880
1743.41/1748.55	c #Conflicts:      72000 | #Constraints:     983880
1743.41/1748.55	c #Conflicts:      73000 | #Constraints:     984880
1743.41/1748.55	c #Conflicts:      74000 | #Constraints:     985880
1743.41/1748.55	c #Conflicts:      75000 | #Constraints:     986880
1743.41/1748.55	c #Conflicts:      76000 | #Constraints:     987880
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c #Conflicts:      77000 | #Constraints:     982906
1743.41/1748.55	c #Conflicts:      78000 | #Constraints:     983906
1743.41/1748.55	c #Conflicts:      79000 | #Constraints:     984906
1743.41/1748.55	c #Conflicts:      80000 | #Constraints:     985906
1743.41/1748.55	c #Conflicts:      81000 | #Constraints:     986906
1743.41/1748.55	c #Conflicts:      82000 | #Constraints:     987906
1743.41/1748.55	c INPROCESSING
1743.41/1748.55	c GARBAGE COLLECT
1743.41/1748.55	c #Conflicts:      83000 | #Constraints:     982557
1743.41/1748.55	c #Conflicts:      84000 | #Constraints:     983557
1743.41/1748.55	c #Conflicts:      85000 | #Constraints:     984557
1743.41/1748.55	c #Conflicts:      86000 | #Constraints:     985557
1743.41/1748.55	c #Conflicts:      87000 | #Constraints:     986557
2293.00/2299.83	c #Conflicts:      88000 | #Constraints:     987557
2293.00/2299.83	c #Conflicts:      89000 | #Constraints:     988557
2293.00/2299.83	c #Conflicts:      90000 | #Constraints:     989557
2293.00/2299.83	c #Conflicts:      91000 | #Constraints:     990557
2293.00/2299.83	c #Conflicts:      92000 | #Constraints:     991557
2293.00/2299.83	c #Conflicts:      93000 | #Constraints:     992557
2293.00/2299.83	c #Conflicts:      94000 | #Constraints:     993557
2293.00/2299.83	c #Conflicts:      95000 | #Constraints:     994557
2293.00/2299.83	c #Conflicts:      96000 | #Constraints:     995557
2293.00/2299.83	c #Conflicts:      97000 | #Constraints:     996557
2293.00/2299.83	c #Conflicts:      98000 | #Constraints:     997557
2293.00/2299.83	c #Conflicts:      99000 | #Constraints:     998557
2293.00/2299.83	c #Conflicts:     100000 | #Constraints:     999557
2293.00/2299.83	c #Conflicts:     101000 | #Constraints:    1000557
2293.00/2299.83	c #Conflicts:     102000 | #Constraints:    1001557
2293.00/2299.83	c #Conflicts:     103000 | #Constraints:    1002557
2293.00/2299.83	c #Conflicts:     104000 | #Constraints:    1003557
2293.00/2299.83	c #Conflicts:     105000 | #Constraints:    1004557
2293.00/2299.83	c #Conflicts:     106000 | #Constraints:    1005557
2293.00/2299.83	c INPROCESSING
2293.00/2299.83	c #Conflicts:     107000 | #Constraints:     991825
2293.00/2299.83	c #Conflicts:     108000 | #Constraints:     992825
2293.00/2299.83	c #Conflicts:     109000 | #Constraints:     993825
2293.00/2299.83	c #Conflicts:     110000 | #Constraints:     994825
2293.00/2299.83	c #Conflicts:     111000 | #Constraints:     995825
2293.00/2299.83	c #Conflicts:     112000 | #Constraints:     996825
2293.00/2299.83	c #Conflicts:     113000 | #Constraints:     997825
2293.00/2299.83	c #Conflicts:     114000 | #Constraints:     998825
2293.00/2299.83	c INPROCESSING
2293.00/2299.83	c GARBAGE COLLECT
2293.00/2299.83	c #Conflicts:     115000 | #Constraints:     988635
2293.00/2299.83	c #Conflicts:     116000 | #Constraints:     989635
2293.00/2299.83	c #Conflicts:     117000 | #Constraints:     990635
2293.00/2299.83	c #Conflicts:     118000 | #Constraints:     991635
2293.00/2299.83	c #Conflicts:     119000 | #Constraints:     992635
2293.00/2299.83	c #Conflicts:     120000 | #Constraints:     993635
2293.00/2299.83	c #Conflicts:     121000 | #Constraints:     994635
2293.00/2299.83	c INPROCESSING
2293.00/2299.83	c #Conflicts:     122000 | #Constraints:     986303
2293.00/2299.83	c #Conflicts:     123000 | #Constraints:     987303
2293.00/2299.83	c #Conflicts:     124000 | #Constraints:     988303
2293.00/2299.83	c #Conflicts:     125000 | #Constraints:     989303
2293.00/2299.83	c #Conflicts:     126000 | #Constraints:     990303
2293.00/2299.83	c #Conflicts:     127000 | #Constraints:     991303
2293.00/2299.83	c #Conflicts:     128000 | #Constraints:     992303
2293.00/2299.83	c #Conflicts:     129000 | #Constraints:     993303
2293.00/2299.83	c #Conflicts:     130000 | #Constraints:     994303
2293.00/2299.83	c #Conflicts:     131000 | #Constraints:     995303
2293.00/2299.83	c #Conflicts:     132000 | #Constraints:     996303
2293.00/2299.83	c #Conflicts:     133000 | #Constraints:     997303
2293.00/2299.83	c #Conflicts:     134000 | #Constraints:     998303
2293.00/2299.83	c #Conflicts:     135000 | #Constraints:     999303
2293.00/2299.83	c #Conflicts:     136000 | #Constraints:    1000303
2293.00/2299.83	c #Conflicts:     137000 | #Constraints:    1001303
2293.00/2299.83	c #Conflicts:     138000 | #Constraints:    1002303
2293.00/2299.83	c #Conflicts:     139000 | #Constraints:    1003303
2293.00/2299.83	c #Conflicts:     140000 | #Constraints:    1004303
2293.00/2299.83	c #Conflicts:     141000 | #Constraints:    1005303
2293.00/2299.83	c #Conflicts:     142000 | #Constraints:    1006303
2293.00/2299.83	c #Conflicts:     143000 | #Constraints:    1007303
2293.00/2299.83	c #Conflicts:     144000 | #Constraints:    1008303
2293.00/2299.83	c #Conflicts:     145000 | #Constraints:    1009303
2293.00/2299.83	c #Conflicts:     146000 | #Constraints:    1010303
2293.00/2299.83	c #Conflicts:     147000 | #Constraints:    1011303
2293.00/2299.83	c #Conflicts:     148000 | #Constraints:    1012303
2293.00/2299.83	c #Conflicts:     149000 | #Constraints:    1013303
2293.00/2299.83	c INPROCESSING
2293.00/2299.83	c GARBAGE COLLECT
2293.00/2299.83	c #Conflicts:     150000 | #Constraints:     995605
2293.00/2299.83	c #Conflicts:     151000 | #Constraints:     996605
2293.00/2299.83	c #Conflicts:     152000 | #Constraints:     997605
2293.00/2299.83	c #Conflicts:     153000 | #Constraints:     998605
2293.00/2299.83	c #Conflicts:     154000 | #Constraints:     999605
2293.00/2299.83	c #Conflicts:     155000 | #Constraints:    1000605
2293.00/2299.83	c #Conflicts:     156000 | #Constraints:    1001605
2293.00/2299.83	c #Conflicts:     157000 | #Constraints:    1002605
2293.00/2299.83	c #Conflicts:     158000 | #Constraints:    1003605
2293.00/2299.83	c INPROCESSING
2293.00/2299.83	c #Conflicts:     159000 | #Constraints:     990640
2293.00/2299.83	c #Conflicts:     160000 | #Constraints:     991640
2293.00/2299.83	c #Conflicts:     161000 | #Constraints:     992640
2293.00/2299.83	c #Conflicts:     162000 | #Constraints:     993640
2293.00/2299.83	c #Conflicts:     163000 | #Constraints:     994640
2592.89/2600.60	c #Conflicts:     164000 | #Constraints:     995640
2592.89/2600.60	c #Conflicts:     165000 | #Constraints:     996640
2592.89/2600.60	c #Conflicts:     166000 | #Constraints:     997640
2592.89/2600.60	c #Conflicts:     167000 | #Constraints:     998640
2592.89/2600.60	c #Conflicts:     168000 | #Constraints:     999640
2592.89/2600.60	c #Conflicts:     169000 | #Constraints:    1000640
2592.89/2600.60	c #Conflicts:     170000 | #Constraints:    1001640
2592.89/2600.60	c #Conflicts:     171000 | #Constraints:    1002640
2592.89/2600.60	c #Conflicts:     172000 | #Constraints:    1003640
2592.89/2600.60	c #Conflicts:     173000 | #Constraints:    1004640
2592.89/2600.60	c #Conflicts:     174000 | #Constraints:    1005640
2592.89/2600.60	c #Conflicts:     175000 | #Constraints:    1006640
2592.89/2600.60	c #Conflicts:     176000 | #Constraints:    1007640
2592.89/2600.60	c #Conflicts:     177000 | #Constraints:    1008640
2592.89/2600.60	c #Conflicts:     178000 | #Constraints:    1009640
2592.89/2600.60	c #Conflicts:     179000 | #Constraints:    1010640
2592.89/2600.60	c #Conflicts:     180000 | #Constraints:    1011640
2592.89/2600.60	c #Conflicts:     181000 | #Constraints:    1012640
2592.89/2600.60	c #Conflicts:     182000 | #Constraints:    1013640
2592.89/2600.60	c #Conflicts:     183000 | #Constraints:    1014640
2592.89/2600.60	c #Conflicts:     184000 | #Constraints:    1015640
2592.89/2600.60	c #Conflicts:     185000 | #Constraints:    1016640
2592.89/2600.60	c #Conflicts:     186000 | #Constraints:    1017640
2592.89/2600.60	c #Conflicts:     187000 | #Constraints:    1018640
2592.89/2600.60	c #Conflicts:     188000 | #Constraints:    1019640
2592.89/2600.60	c #Conflicts:     189000 | #Constraints:    1020640
2592.89/2600.60	c INPROCESSING
2592.89/2600.60	c GARBAGE COLLECT
2592.89/2600.60	c #Conflicts:     190000 | #Constraints:     999584
2592.89/2600.60	c #Conflicts:     191000 | #Constraints:    1000584
2592.89/2600.60	c #Conflicts:     192000 | #Constraints:    1001584
2592.89/2600.60	c #Conflicts:     193000 | #Constraints:    1002584
2592.89/2600.60	c #Conflicts:     194000 | #Constraints:    1003584
2592.89/2600.60	c #Conflicts:     195000 | #Constraints:    1004584
2592.89/2600.60	c #Conflicts:     196000 | #Constraints:    1005584
2592.89/2600.60	c #Conflicts:     197000 | #Constraints:    1006584
2592.89/2600.60	c #Conflicts:     198000 | #Constraints:    1007584
2592.89/2600.60	c #Conflicts:     199000 | #Constraints:    1008584
2592.89/2600.60	c #Conflicts:     200000 | #Constraints:    1009584
2592.89/2600.60	c INPROCESSING
2592.89/2600.60	c #Conflicts:     201000 | #Constraints:     994085
2592.89/2600.60	c #Conflicts:     202000 | #Constraints:     995085
2592.89/2600.60	c #Conflicts:     203000 | #Constraints:     996085
2592.89/2600.60	c #Conflicts:     204000 | #Constraints:     997085
2592.89/2600.60	c #Conflicts:     205000 | #Constraints:     998085
2592.89/2600.60	c #Conflicts:     206000 | #Constraints:     999085
2592.89/2600.60	c #Conflicts:     207000 | #Constraints:    1000085
2592.89/2600.60	c #Conflicts:     208000 | #Constraints:    1001085
2592.89/2600.60	c #Conflicts:     209000 | #Constraints:    1002085
2592.89/2600.60	c #Conflicts:     210000 | #Constraints:    1003085
2592.89/2600.60	c #Conflicts:     211000 | #Constraints:    1004085
2592.89/2600.60	c #Conflicts:     212000 | #Constraints:    1005085
2592.89/2600.60	c #Conflicts:     213000 | #Constraints:    1006085
2592.89/2600.60	c #Conflicts:     214000 | #Constraints:    1007085
2592.89/2600.60	c #Conflicts:     215000 | #Constraints:    1008085
2592.89/2600.60	c #Conflicts:     216000 | #Constraints:    1009085
2592.89/2600.60	c #Conflicts:     217000 | #Constraints:    1010085
2592.89/2600.60	c #Conflicts:     218000 | #Constraints:    1011085
2592.89/2600.60	c #Conflicts:     219000 | #Constraints:    1012085
2592.89/2600.60	c #Conflicts:     220000 | #Constraints:    1013085
2592.89/2600.60	c #Conflicts:     221000 | #Constraints:    1014085
2592.89/2600.60	c #Conflicts:     222000 | #Constraints:    1015085
2592.89/2600.60	c #Conflicts:     223000 | #Constraints:    1016085
2592.89/2600.60	c #Conflicts:     224000 | #Constraints:    1017085
2592.89/2600.60	c #Conflicts:     225000 | #Constraints:    1018085
2592.89/2600.60	c #Conflicts:     226000 | #Constraints:    1019085
2592.89/2600.60	c #Conflicts:     227000 | #Constraints:    1020085
2592.89/2600.60	c #Conflicts:     228000 | #Constraints:    1021085
2592.89/2600.60	c #Conflicts:     229000 | #Constraints:    1022085
2592.89/2600.60	c #Conflicts:     230000 | #Constraints:    1023085
2592.89/2600.60	c #Conflicts:     231000 | #Constraints:    1024085
2592.89/2600.60	c #Conflicts:     232000 | #Constraints:    1025085
2592.89/2600.60	c #Conflicts:     233000 | #Constraints:    1026085
2592.89/2600.60	c #Conflicts:     234000 | #Constraints:    1027085
2592.89/2600.60	c INPROCESSING
2592.89/2600.60	c GARBAGE COLLECT
2592.89/2600.60	c #Conflicts:     235000 | #Constraints:    1002799
2592.89/2600.60	c #Conflicts:     236000 | #Constraints:    1003799
2592.89/2600.60	c #Conflicts:     237000 | #Constraints:    1004799
2592.89/2600.60	c #Conflicts:     238000 | #Constraints:    1005799
2592.89/2600.60	c #Conflicts:     239000 | #Constraints:    1006799
2592.89/2600.60	c #Conflicts:     240000 | #Constraints:    1007799
2592.89/2600.60	c #Conflicts:     241000 | #Constraints:    1008799
2868.27/2876.89	c #Conflicts:     242000 | #Constraints:    1009799
2868.27/2876.89	c #Conflicts:     243000 | #Constraints:    1010799
2868.27/2876.89	c #Conflicts:     244000 | #Constraints:    1011799
2868.27/2876.89	c #Conflicts:     245000 | #Constraints:    1012799
2868.27/2876.89	c INPROCESSING
2868.27/2876.89	c #Conflicts:     246000 | #Constraints:     995392
2868.27/2876.89	c #Conflicts:     247000 | #Constraints:     996392
2868.27/2876.89	c #Conflicts:     248000 | #Constraints:     997392
2868.27/2876.89	c #Conflicts:     249000 | #Constraints:     998392
2868.27/2876.89	c #Conflicts:     250000 | #Constraints:     999392
2868.27/2876.89	c #Conflicts:     251000 | #Constraints:    1000392
2868.27/2876.89	c #Conflicts:     252000 | #Constraints:    1001392
2868.27/2876.89	c #Conflicts:     253000 | #Constraints:    1002392
2868.27/2876.89	c #Conflicts:     254000 | #Constraints:    1003392
2868.27/2876.89	c #Conflicts:     255000 | #Constraints:    1004392
2868.27/2876.89	c #Conflicts:     256000 | #Constraints:    1005392
2868.27/2876.89	c #Conflicts:     257000 | #Constraints:    1006392
2868.27/2876.89	c #Conflicts:     258000 | #Constraints:    1007392
2868.27/2876.89	c #Conflicts:     259000 | #Constraints:    1008392
2868.27/2876.89	c #Conflicts:     260000 | #Constraints:    1009392
2868.27/2876.89	c #Conflicts:     261000 | #Constraints:    1010392
2868.27/2876.89	c #Conflicts:     262000 | #Constraints:    1011392
2868.27/2876.89	c #Conflicts:     263000 | #Constraints:    1012392
2868.27/2876.89	c #Conflicts:     264000 | #Constraints:    1013392
2868.27/2876.89	c #Conflicts:     265000 | #Constraints:    1014392
2868.27/2876.89	c #Conflicts:     266000 | #Constraints:    1015392
2868.27/2876.89	c #Conflicts:     267000 | #Constraints:    1016392
2868.27/2876.89	c #Conflicts:     268000 | #Constraints:    1017392
2868.27/2876.89	c #Conflicts:     269000 | #Constraints:    1018392
2868.27/2876.89	c #Conflicts:     270000 | #Constraints:    1019392
2868.27/2876.89	c #Conflicts:     271000 | #Constraints:    1020392
2868.27/2876.89	c #Conflicts:     272000 | #Constraints:    1021392
2868.27/2876.89	c #Conflicts:     273000 | #Constraints:    1022392
2868.27/2876.89	c #Conflicts:     274000 | #Constraints:    1023392
2868.27/2876.89	c #Conflicts:     275000 | #Constraints:    1024392
2868.27/2876.89	c #Conflicts:     276000 | #Constraints:    1025392
2868.27/2876.89	c #Conflicts:     277000 | #Constraints:    1026392
2868.27/2876.89	c #Conflicts:     278000 | #Constraints:    1027392
2868.27/2876.89	c #Conflicts:     279000 | #Constraints:    1028392
2868.27/2876.89	c #Conflicts:     280000 | #Constraints:    1029392
2868.27/2876.89	c #Conflicts:     281000 | #Constraints:    1030392
2868.27/2876.89	c #Conflicts:     282000 | #Constraints:    1031392
2868.27/2876.89	c INPROCESSING
2868.27/2876.89	c GARBAGE COLLECT
2868.27/2876.89	c #Conflicts:     283000 | #Constraints:    1005074
2868.27/2876.89	c #Conflicts:     284000 | #Constraints:    1006074
2868.27/2876.89	c #Conflicts:     285000 | #Constraints:    1007074
2868.27/2876.89	c #Conflicts:     286000 | #Constraints:    1008074
2868.27/2876.89	c #Conflicts:     287000 | #Constraints:    1009074
2868.27/2876.89	c #Conflicts:     288000 | #Constraints:    1010074
2868.27/2876.89	c #Conflicts:     289000 | #Constraints:    1011074
2868.27/2876.89	c #Conflicts:     290000 | #Constraints:    1012074
2868.27/2876.89	c #Conflicts:     291000 | #Constraints:    1013074
2868.27/2876.89	c #Conflicts:     292000 | #Constraints:    1014074
2868.27/2876.89	c #Conflicts:     293000 | #Constraints:    1015074
2868.27/2876.89	c #Conflicts:     294000 | #Constraints:    1016074
2868.27/2876.89	c #Conflicts:     295000 | #Constraints:    1017074
2868.27/2876.89	c INPROCESSING
2868.27/2876.89	c #Conflicts:     296000 | #Constraints:     997481
2868.27/2876.89	c #Conflicts:     297000 | #Constraints:     998481
2868.27/2876.89	c #Conflicts:     298000 | #Constraints:     999481
2868.27/2876.89	c #Conflicts:     299000 | #Constraints:    1000481
2868.27/2876.89	c #Conflicts:     300000 | #Constraints:    1001481
2868.27/2876.89	c #Conflicts:     301000 | #Constraints:    1002481
2868.27/2876.89	c #Conflicts:     302000 | #Constraints:    1003481
2868.27/2876.89	c #Conflicts:     303000 | #Constraints:    1004481
2868.27/2876.89	c #Conflicts:     304000 | #Constraints:    1005481
2868.27/2876.89	c #Conflicts:     305000 | #Constraints:    1006481
2868.27/2876.89	c #Conflicts:     306000 | #Constraints:    1007481
2868.27/2876.89	c #Conflicts:     307000 | #Constraints:    1008481
2868.27/2876.89	c #Conflicts:     308000 | #Constraints:    1009481
2868.27/2876.89	c #Conflicts:     309000 | #Constraints:    1010481
2868.27/2876.89	c #Conflicts:     310000 | #Constraints:    1011481
2868.27/2876.89	c #Conflicts:     311000 | #Constraints:    1012481
2868.27/2876.89	c #Conflicts:     312000 | #Constraints:    1013481
2868.27/2876.89	c #Conflicts:     313000 | #Constraints:    1014481
2868.27/2876.89	c #Conflicts:     314000 | #Constraints:    1015481
2868.27/2876.89	c #Conflicts:     315000 | #Constraints:    1016481
2868.27/2876.89	c #Conflicts:     316000 | #Constraints:    1017481
2868.27/2876.89	c #Conflicts:     317000 | #Constraints:    1018481
2868.27/2876.89	c #Conflicts:     318000 | #Constraints:    1019481
3192.01/3201.54	c #Conflicts:     319000 | #Constraints:    1020481
3192.01/3201.54	c #Conflicts:     320000 | #Constraints:    1021481
3192.01/3201.54	c #Conflicts:     321000 | #Constraints:    1022481
3192.01/3201.54	c #Conflicts:     322000 | #Constraints:    1023481
3192.01/3201.54	c #Conflicts:     323000 | #Constraints:    1024481
3192.01/3201.54	c #Conflicts:     324000 | #Constraints:    1025481
3192.01/3201.54	c #Conflicts:     325000 | #Constraints:    1026481
3192.01/3201.54	c #Conflicts:     326000 | #Constraints:    1027481
3192.01/3201.54	c #Conflicts:     327000 | #Constraints:    1028481
3192.01/3201.54	c #Conflicts:     328000 | #Constraints:    1029481
3192.01/3201.54	c #Conflicts:     329000 | #Constraints:    1030481
3192.01/3201.54	c #Conflicts:     330000 | #Constraints:    1031481
3192.01/3201.54	c #Conflicts:     331000 | #Constraints:    1032481
3192.01/3201.54	c #Conflicts:     332000 | #Constraints:    1033481
3192.01/3201.54	c #Conflicts:     333000 | #Constraints:    1034481
3192.01/3201.54	c #Conflicts:     334000 | #Constraints:    1035481
3192.01/3201.54	c #Conflicts:     335000 | #Constraints:    1036481
3192.01/3201.54	c #Conflicts:     336000 | #Constraints:    1037481
3192.01/3201.54	c INPROCESSING
3192.01/3201.54	c GARBAGE COLLECT
3192.01/3201.54	c #Conflicts:     337000 | #Constraints:    1008263
3192.01/3201.54	c #Conflicts:     338000 | #Constraints:    1009263
3192.01/3201.54	c #Conflicts:     339000 | #Constraints:    1010263
3192.01/3201.54	c #Conflicts:     340000 | #Constraints:    1011263
3192.01/3201.54	c #Conflicts:     341000 | #Constraints:    1012263
3192.01/3201.54	c #Conflicts:     342000 | #Constraints:    1013263
3192.01/3201.54	c #Conflicts:     343000 | #Constraints:    1014263
3192.01/3201.54	c #Conflicts:     344000 | #Constraints:    1015263
3192.01/3201.54	c #Conflicts:     345000 | #Constraints:    1016263
3192.01/3201.54	c #Conflicts:     346000 | #Constraints:    1017263
3192.01/3201.54	c #Conflicts:     347000 | #Constraints:    1018263
3192.01/3201.54	c #Conflicts:     348000 | #Constraints:    1019263
3192.01/3201.54	c #Conflicts:     349000 | #Constraints:    1020263
3192.01/3201.54	c #Conflicts:     350000 | #Constraints:    1021263
3192.01/3201.54	c INPROCESSING
3192.01/3201.54	c #Conflicts:     351000 | #Constraints:    1000360
3192.01/3201.54	c #Conflicts:     352000 | #Constraints:    1001360
3192.01/3201.54	c #Conflicts:     353000 | #Constraints:    1002360
3192.01/3201.54	c #Conflicts:     354000 | #Constraints:    1003360
3192.01/3201.54	c #Conflicts:     355000 | #Constraints:    1004360
3192.01/3201.54	c #Conflicts:     356000 | #Constraints:    1005360
3192.01/3201.54	c #Conflicts:     357000 | #Constraints:    1006360
3192.01/3201.54	c #Conflicts:     358000 | #Constraints:    1007360
3192.01/3201.54	c #Conflicts:     359000 | #Constraints:    1008360
3192.01/3201.54	c #Conflicts:     360000 | #Constraints:    1009360
3192.01/3201.54	c #Conflicts:     361000 | #Constraints:    1010360
3192.01/3201.54	c #Conflicts:     362000 | #Constraints:    1011360
3192.01/3201.54	c #Conflicts:     363000 | #Constraints:    1012360
3192.01/3201.54	c #Conflicts:     364000 | #Constraints:    1013360
3192.01/3201.54	c #Conflicts:     365000 | #Constraints:    1014360
3192.01/3201.54	c #Conflicts:     366000 | #Constraints:    1015360
3192.01/3201.54	c #Conflicts:     367000 | #Constraints:    1016360
3192.01/3201.54	c #Conflicts:     368000 | #Constraints:    1017360
3192.01/3201.54	c #Conflicts:     369000 | #Constraints:    1018360
3192.01/3201.54	c #Conflicts:     370000 | #Constraints:    1019360
3192.01/3201.54	c #Conflicts:     371000 | #Constraints:    1020360
3192.01/3201.54	c #Conflicts:     372000 | #Constraints:    1021360
3192.01/3201.54	c #Conflicts:     373000 | #Constraints:    1022360
3192.01/3201.54	c #Conflicts:     374000 | #Constraints:    1023360
3192.01/3201.54	c #Conflicts:     375000 | #Constraints:    1024360
3192.01/3201.54	c #Conflicts:     376000 | #Constraints:    1025360
3192.01/3201.54	c #Conflicts:     377000 | #Constraints:    1026360
3192.01/3201.54	c #Conflicts:     378000 | #Constraints:    1027360
3192.01/3201.54	c #Conflicts:     379000 | #Constraints:    1028360
3192.01/3201.54	c #Conflicts:     380000 | #Constraints:    1029360
3192.01/3201.54	c #Conflicts:     381000 | #Constraints:    1030360
3192.01/3201.54	c #Conflicts:     382000 | #Constraints:    1031360
3192.01/3201.54	c #Conflicts:     383000 | #Constraints:    1032360
3192.01/3201.54	c #Conflicts:     384000 | #Constraints:    1033360
3192.01/3201.54	c #Conflicts:     385000 | #Constraints:    1034360
3192.01/3201.54	c #Conflicts:     386000 | #Constraints:    1035360
3192.01/3201.54	c #Conflicts:     387000 | #Constraints:    1036360
3192.01/3201.54	c #Conflicts:     388000 | #Constraints:    1037360
3192.01/3201.54	c #Conflicts:     389000 | #Constraints:    1038360
3192.01/3201.54	c #Conflicts:     390000 | #Constraints:    1039360
3192.01/3201.54	c #Conflicts:     391000 | #Constraints:    1040360
3192.01/3201.54	c #Conflicts:     392000 | #Constraints:    1041360
3192.01/3201.54	c #Conflicts:     393000 | #Constraints:    1042360
3192.01/3201.54	c INPROCESSING
3192.01/3201.54	c GARBAGE COLLECT
3192.01/3201.54	c #Conflicts:     394000 | #Constraints:    1010357
3192.01/3201.54	c #Conflicts:     395000 | #Constraints:    1011357
3600.06/3610.82	c #Conflicts:     396000 | #Constraints:    1012357
3600.06/3610.82	c #Conflicts:     397000 | #Constraints:    1013357
3600.06/3610.82	c #Conflicts:     398000 | #Constraints:    1014357
3600.06/3610.82	c #Conflicts:     399000 | #Constraints:    1015357
3600.06/3610.82	c #Conflicts:     400000 | #Constraints:    1016357
3600.06/3610.82	c #Conflicts:     401000 | #Constraints:    1017357
3600.06/3610.82	c #Conflicts:     402000 | #Constraints:    1018357
3600.06/3610.82	c #Conflicts:     403000 | #Constraints:    1019357
3600.06/3610.82	c #Conflicts:     404000 | #Constraints:    1020357
3600.06/3610.82	c #Conflicts:     405000 | #Constraints:    1021357
3600.06/3610.82	c #Conflicts:     406000 | #Constraints:    1022357
3600.06/3610.82	c #Conflicts:     407000 | #Constraints:    1023357
3600.06/3610.82	c #Conflicts:     408000 | #Constraints:    1024357
3600.06/3610.82	c #Conflicts:     409000 | #Constraints:    1025357
3600.06/3610.82	c INPROCESSING
3600.06/3610.82	c #Conflicts:     410000 | #Constraints:    1002424
3600.06/3610.82	c #Conflicts:     411000 | #Constraints:    1003424
3600.06/3610.82	c #Conflicts:     412000 | #Constraints:    1004424
3600.06/3610.82	c #Conflicts:     413000 | #Constraints:    1005424
3600.06/3610.82	c #Conflicts:     414000 | #Constraints:    1006424
3600.06/3610.82	c #Conflicts:     415000 | #Constraints:    1007424
3600.06/3610.82	c #Conflicts:     416000 | #Constraints:    1008424
3600.06/3610.82	c #Conflicts:     417000 | #Constraints:    1009424
3600.06/3610.82	c #Conflicts:     418000 | #Constraints:    1010424
3600.06/3610.82	c #Conflicts:     419000 | #Constraints:    1011424
3600.06/3610.82	c #Conflicts:     420000 | #Constraints:    1012424
3600.06/3610.82	c #Conflicts:     421000 | #Constraints:    1013424
3600.06/3610.82	c #Conflicts:     422000 | #Constraints:    1014424
3600.06/3610.82	c #Conflicts:     423000 | #Constraints:    1015424
3600.06/3610.82	c #Conflicts:     424000 | #Constraints:    1016424
3600.06/3610.82	c #Conflicts:     425000 | #Constraints:    1017424
3600.06/3610.82	c #Conflicts:     426000 | #Constraints:    1018424
3600.06/3610.82	c #Conflicts:     427000 | #Constraints:    1019424
3600.06/3610.82	c #Conflicts:     428000 | #Constraints:    1020424
3600.06/3610.82	c #Conflicts:     429000 | #Constraints:    1021424
3600.06/3610.82	c #Conflicts:     430000 | #Constraints:    1022424
3600.06/3610.82	c #Conflicts:     431000 | #Constraints:    1023424
3600.06/3610.82	c #Conflicts:     432000 | #Constraints:    1024424
3600.06/3610.82	c #Conflicts:     433000 | #Constraints:    1025424
3600.06/3610.82	c #Conflicts:     434000 | #Constraints:    1026424
3600.06/3610.82	c #Conflicts:     435000 | #Constraints:    1027424
3600.06/3610.82	c #Conflicts:     436000 | #Constraints:    1028424
3600.06/3610.82	c #Conflicts:     437000 | #Constraints:    1029424
3600.06/3610.82	c #Conflicts:     438000 | #Constraints:    1030424
3600.06/3610.82	c #Conflicts:     439000 | #Constraints:    1031424
3600.06/3610.82	c #Conflicts:     440000 | #Constraints:    1032424
3600.06/3610.82	c #Conflicts:     441000 | #Constraints:    1033424
3600.06/3610.82	c #Conflicts:     442000 | #Constraints:    1034424
3600.06/3610.82	c #Conflicts:     443000 | #Constraints:    1035424
3600.06/3610.82	c #Conflicts:     444000 | #Constraints:    1036424
3600.06/3610.82	c #Conflicts:     445000 | #Constraints:    1037424
3600.06/3610.82	c #Conflicts:     446000 | #Constraints:    1038424
3600.06/3610.82	c #Conflicts:     447000 | #Constraints:    1039424
3600.06/3610.82	c #Conflicts:     448000 | #Constraints:    1040424
3600.06/3610.82	c #Conflicts:     449000 | #Constraints:    1041424
3600.06/3610.82	c #Conflicts:     450000 | #Constraints:    1042424
3600.06/3610.82	c #Conflicts:     451000 | #Constraints:    1043424
3600.06/3610.82	c #Conflicts:     452000 | #Constraints:    1044424
3600.06/3610.82	c #Conflicts:     453000 | #Constraints:    1045424
3600.06/3610.82	c #Conflicts:     454000 | #Constraints:    1046424
3600.06/3610.82	c #Conflicts:     455000 | #Constraints:    1047424
3600.06/3610.82	c INPROCESSING
3600.06/3610.82	c GARBAGE COLLECT
3600.06/3610.82	c Disabling crashed LP
3600.18/3610.97	c cpu time 3591.5 s
3600.18/3610.97	c deterministic time 4647102168 4.65e+09
3600.18/3610.97	c optimization time 0.152185 s
3600.18/3610.97	c total solve time 3586.38 s
3600.18/3610.97	c core-guided solve time 0 s
3600.18/3610.97	c propagation time 124.671 s
3600.18/3610.97	c conflict analysis time 22.5621 s
3600.18/3610.97	c propagations 619569429
3600.18/3610.97	c resolve steps 5586527
3600.18/3610.97	c decisions 5764262
3600.18/3610.97	c conflicts 455600
3600.18/3610.97	c restarts 1021
3600.18/3610.97	c inprocessing phases 34
3600.18/3610.97	c garbage collections 10 ,( 29.41 )
3600.18/3610.97	c input clauses 877004 ,( 89.87 )
3600.18/3610.97	c input cardinalities 3063 ,( 0.31 )
3600.18/3610.97	c input general constraints 95781 ,( 9.82 )
3600.18/3610.97	c input average constraint length 3.86
3600.18/3610.97	c input average constraint degree 1.12
3600.18/3610.97	c learned clauses 455394 ,( 99.95 )
3600.18/3610.97	c learned cardinalities 116 ,( 0.03 )
3600.18/3610.97	c learned general constraints 91 ,( 0.02 )
3600.18/3610.97	c learned average constraint length 115.66
3600.18/3610.97	c learned average constraint degree 32995.16
3600.18/3610.97	c watched  CF 32, 64, 128, Arb: 18 , 0 , 0 , 0
3600.18/3610.97	c counting CF 32, 64, 128, Arb: 95854 , 0 , 0 , 0
3600.18/3610.97	c watched   constraints 18 ,( 0.02 ) 
3600.18/3610.97	c counting  constraints 95854 ,( 99.98 ) 
3600.18/3610.97	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 843603111 , 829462 , 17757286 ,( 2976 , 17754310 )
3600.18/3610.97	c gcd simplifications 189
3600.18/3610.97	c detected cardinalities 9
3600.18/3610.97	c weakened non-implied lits 103187
3600.18/3610.97	c weakened non-implying lits 328
3600.18/3610.97	c original variables 42127
3600.18/3610.97	c clausal propagations 614949492
3600.18/3610.97	c cardinality propagations 768931
3600.18/3610.97	c watched propagations 167
3600.18/3610.97	c counting propagations 3393809
3600.18/3610.97	c watch lookups 1077822036
3600.18/3610.97	c watch backjump lookups 0
3600.18/3610.97	c watch checks 1530669221
3600.18/3610.97	c propagation checks 661942250
3600.18/3610.97	c constraint additions 125445895
3600.18/3610.97	c trail pops 625789276
3600.18/3610.97	c formula constraints 975848
3600.18/3610.97	c learned constraints 455600
3600.18/3610.97	c bound constraints 0
3600.18/3610.97	c core-guided constraints 0
3600.18/3610.97	c encountered formula constraints 4507811
3600.18/3610.97	c encountered learned constraints 1534316
3600.18/3610.97	c encountered bound constraints 0
3600.18/3610.97	c encountered core-guided constraints 0
3600.18/3610.97	c LP total time 174.062 s
3600.18/3610.97	c LP solve time 168.43 s
3600.18/3610.97	c LP constraints added 975852
3600.18/3610.97	c LP constraints removed 0
3600.18/3610.97	c LP pivots internal 55308
3600.18/3610.97	c LP pivots root 44490
3600.18/3610.97	c LP calls 9
3600.18/3610.97	c LP optimalities 3
3600.18/3610.97	c LP no pivot count 0
3600.18/3610.97	c LP infeasibilities 0
3600.18/3610.97	c LP valid Farkas constraints 0
3600.18/3610.97	c LP learned Farkas constraints 0
3600.18/3610.97	c LP basis resets 0
3600.18/3610.97	c LP cycling count 0
3600.18/3610.97	c LP singular count 0
3600.18/3610.97	c LP no primal count 0
3600.18/3610.97	c LP no farkas count 0
3600.18/3610.97	c LP other issue count 0
3600.18/3610.97	c LP Gomory cuts 1
3600.18/3610.97	c LP learned cuts 3
3600.18/3610.97	c LP deleted cuts 0
3600.18/3610.97	c LP encountered Gomory constraints 0
3600.18/3610.97	c LP encountered Farkas constraints 0
3600.18/3610.97	c LP encountered learned Farkas constraints 0
3600.18/3610.97	c CG auxiliary variables introduced 0
3600.18/3610.97	c CG solutions found 0
3600.18/3610.97	c CG cores constructed 0
3600.18/3610.97	c CG core cardinality constraints returned 0
3600.18/3610.97	c CG unit cores 0
3600.18/3610.97	c CG single cores 0
3600.18/3610.97	c CG blocks removed during cardinality reduction 0
3600.18/3610.97	c CG first core best 0
3600.18/3610.97	c CG decision core best 0
3600.18/3610.97	c CG core reduction tie 0
3600.18/3610.97	c CG core degree average 0.00
3600.18/3610.97	c CG core slack average 0.00
3600.18/3610.97	c CG core upper bound improvements 0
3600.18/3610.97	c STR number of successful calls 0
3600.18/3610.97	c STR number of unsuccessful calls 0
3600.18/3610.97	c STR number of inconclusive calls 0
3600.18/3610.97	c STR number of successful attempts 0
3600.18/3610.97	c STR number of unsuccessful attempts 0
3600.18/3610.97	c STR number of inconclusive attempts 0
3600.18/3610.97	c STR average degree increase per successful call inf
3600.18/3610.97	c STR average degree increase per successful attempt inf
3600.18/3610.97	c STR total number of conflicts for successful attempts 0
3600.18/3610.97	c STR total number of conflicts for unsuccessful attempts 0
3600.18/3610.97	c STR total number of conflicts for inconclusive attempts 0
3600.18/3610.97	c STR average number of conflicts per successful attempt inf
3600.18/3610.97	c STR average number of conflicts per unsuccessful attempt inf
3600.18/3610.97	c STR average number of conflicts per inconclusive attempt inf
3600.18/3610.97	c AVG.sumWPerc 60.72 
3600.18/3610.97	c bigint constraints 0 
3600.18/3610.97	s UNKNOWN
3600.18/3610.97	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: 63665 MiB (62938 MiB free)
  memory of node 1: 64507 MiB (64009 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503605-1751170426/watcher-4503605-1751170426 -o /tmp/evaluation-result-4503605-1751170426/solver-4503605-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22589 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4503605-1751170426.opb PROOFDIR/proof-4503605-1751170426 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=22641, runsolver pid=22638

[startup+0.100063 s]*
/proc/loadavg: 1.10 2.51 3.41 5/265 22643
/proc/meminfo: memFree=129838040/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22643] ppid=22641 vsize=171572 memory=148680 CPUtime=0.08 cores=4,6
/proc/22643/stat : 22643 (pbsuma) R 22641 22641 22578 0 -1 4194304 4496 0 0 0 5 3 0 0 20 0 1 0 32722922 175689728 37170 18446744073709551615 4210688 4653049 140724058698896 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 4804608 140724058708195 140724058708530 140724058708530 140724058714095 0
/proc/22643/statm: 42893 37170 960 108 0 40301 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 175764 KiB
Current children cumulated memory: 151752 KiB

[startup+0.205514 s]*
/proc/loadavg: 1.10 2.51 3.41 5/265 22643
/proc/meminfo: memFree=129755328/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22643] ppid=22641 vsize=193612 memory=172000 CPUtime=0.18 cores=4,6
/proc/22643/stat : 22643 (pbsuma) R 22641 22641 22578 0 -1 4194304 8923 0 0 0 14 4 0 0 20 0 1 0 32722922 198258688 43000 18446744073709551615 4210688 4653049 140724058698896 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 4804608 140724058708195 140724058708530 140724058708530 140724058714095 0
/proc/22643/statm: 48403 43000 960 108 0 45811 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 197804 KiB
Current children cumulated memory: 175072 KiB

[startup+0.305424 s]*
/proc/loadavg: 1.10 2.51 3.41 5/265 22643
/proc/meminfo: memFree=129710412/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22643] ppid=22641 vsize=210248 memory=189720 CPUtime=0.27 cores=4,6
/proc/22643/stat : 22643 (pbsuma) R 22641 22641 22578 0 -1 4194304 12336 0 0 0 23 4 0 0 20 0 1 0 32722922 215293952 47430 18446744073709551615 4210688 4653049 140724058698896 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 4804608 140724058708195 140724058708530 140724058708530 140724058714095 0
/proc/22643/statm: 52562 47430 960 108 0 49970 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 214440 KiB
Current children cumulated memory: 192792 KiB

[startup+0.700186 s]
/proc/loadavg: 1.10 2.51 3.41 5/265 22643
/proc/meminfo: memFree=129617736/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22643] ppid=22641 vsize=346392 memory=301184 CPUtime=0.65 cores=4,6
/proc/22643/stat : 22643 (pbsuma) R 22641 22641 22578 0 -1 4194304 27168 0 0 0 56 9 0 0 20 0 1 0 32722922 354705408 75296 18446744073709551615 4210688 4653049 140724058698896 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 4804608 140724058708195 140724058708530 140724058708530 140724058714095 0
/proc/22643/statm: 86598 75296 992 108 0 84006 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 350584 KiB
Current children cumulated memory: 304256 KiB

[startup+1.50022 s]
/proc/loadavg: 1.10 2.51 3.41 5/263 22643
/proc/meminfo: memFree=129410912/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22643] ppid=22641 vsize=159672 memory=151004 CPUtime=1.46 cores=4,6
/proc/22643/stat : 22643 (pbsuma) R 22641 22641 22578 0 -1 4194304 42535 0 0 0 128 18 0 0 20 0 1 0 32722922 163504128 37751 18446744073709551615 4210688 4653049 140724058698896 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 4804608 140724058708195 140724058708530 140724058708530 140724058714095 0
/proc/22643/statm: 39918 37751 1024 108 0 37326 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 163864 KiB
Current children cumulated memory: 154076 KiB

[startup+3.10531 s]
/proc/loadavg: 1.34 2.53 3.42 5/269 22655
/proc/meminfo: memFree=128050580/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=210568 memory=163356 CPUtime=1.58 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 39271 0 0 0 124 34 0 0 20 0 1 0 32723072 215621632 40807 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 52642 40807 2016 1147 0 40069 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 214760 KiB
Current children cumulated memory: 166428 KiB

[startup+6.30019 s]
/proc/loadavg: 1.34 2.53 3.42 5/269 22655
/proc/meminfo: memFree=126561688/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=930068 memory=663420 CPUtime=4.77 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 104505 0 0 0 383 94 0 0 20 0 1 0 32723072 952389632 165855 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 232517 165855 2240 1147 0 219944 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 934260 KiB
Current children cumulated memory: 666492 KiB

[startup+12.7002 s]
/proc/loadavg: 1.83 2.60 3.43 5/269 22655
/proc/meminfo: memFree=126367912/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1456944 memory=1343772 CPUtime=11.14 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 143754 0 0 0 989 125 0 0 20 0 1 0 32723072 1491910656 335943 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 364236 335943 2272 1147 0 351663 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1461136 KiB
Current children cumulated memory: 1346844 KiB

[startup+25.5002 s]
/proc/loadavg: 2.16 2.64 3.44 5/272 22659
/proc/meminfo: memFree=126528364/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1456944 memory=1343772 CPUtime=23.91 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 143758 0 0 0 2266 125 0 0 20 0 1 0 32723072 1491910656 335943 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 364236 335943 2272 1147 0 351663 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1461136 KiB
Current children cumulated memory: 1346844 KiB

[startup+51.1059 s]
/proc/loadavg: 2.94 2.79 3.46 5/273 22661
/proc/meminfo: memFree=125058264/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1456944 memory=1343772 CPUtime=49.43 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 143758 0 0 0 4817 126 0 0 20 0 1 0 32723072 1491910656 335943 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 364236 335943 2272 1147 0 351663 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1461136 KiB
Current children cumulated memory: 1346844 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 3.01 3.50 5/275 22666
/proc/meminfo: memFree=124827876/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1456944 memory=1343772 CPUtime=100.47 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 143769 0 0 0 9921 126 0 0 20 0 1 0 32723072 1491910656 335943 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 364236 335943 2272 1147 0 351663 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1461136 KiB
Current children cumulated memory: 1346844 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 3.19 3.54 5/275 22670
/proc/meminfo: memFree=124453684/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1486264 memory=1369304 CPUtime=160.29 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 149187 0 0 0 15900 129 0 0 20 0 1 0 32723072 1521934336 342326 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 371566 342326 2368 1147 0 358993 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1490456 KiB
Current children cumulated memory: 1372376 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.39 3.58 5/274 22672
/proc/meminfo: memFree=124204492/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1490092 memory=1375916 CPUtime=220.11 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 149830 0 0 0 21880 131 0 0 20 0 1 0 32723072 1525854208 343979 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0

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

[pid=22655] ppid=22641 vsize=1801400 memory=1602808 CPUtime=3091.64 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 161902 0 0 0 308554 610 0 0 20 0 1 0 32723072 1844633600 400702 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 450350 400702 2368 1147 0 437777 0
Current children cumulated CPU time: 3093.1 s
Current children cumulated vsize: 1805592 KiB
Current children cumulated memory: 1605880 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/274 22839
/proc/meminfo: memFree=112763816/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1801400 memory=1602808 CPUtime=3151.47 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 161971 0 0 0 314486 661 0 0 20 0 1 0 32723072 1844633600 400702 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 450350 400702 2368 1147 0 437777 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 1805592 KiB
Current children cumulated memory: 1605880 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/274 22841
/proc/meminfo: memFree=112431372/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1801400 memory=1602808 CPUtime=3211.29 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 161979 0 0 0 320461 668 0 0 20 0 1 0 32723072 1844633600 400702 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 450350 400702 2368 1147 0 437777 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 1805592 KiB
Current children cumulated memory: 1605880 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 22843
/proc/meminfo: memFree=112321076/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1801400 memory=1602808 CPUtime=3271.12 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 161979 0 0 0 326444 668 0 0 20 0 1 0 32723072 1844633600 400702 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 450350 400702 2368 1147 0 437777 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 1805592 KiB
Current children cumulated memory: 1605880 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 22845
/proc/meminfo: memFree=112219712/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1801400 memory=1609012 CPUtime=3330.94 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 162143 0 0 0 332391 703 0 0 20 0 1 0 32723072 1844633600 402253 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 450350 402253 2368 1147 0 437777 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 1805592 KiB
Current children cumulated memory: 1612084 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 22848
/proc/meminfo: memFree=112104016/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1801400 memory=1609012 CPUtime=3390.75 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 162307 0 0 0 338365 710 0 0 20 0 1 0 32723072 1844633600 402253 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 450350 402253 2368 1147 0 437777 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 1805592 KiB
Current children cumulated memory: 1612084 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 22850
/proc/meminfo: memFree=111932652/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1801400 memory=1609012 CPUtime=3450.56 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 162309 0 0 0 344340 716 0 0 20 0 1 0 32723072 1844633600 402253 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 450350 402253 2368 1147 0 437777 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 1805592 KiB
Current children cumulated memory: 1612084 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 22855
/proc/meminfo: memFree=111705712/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1801400 memory=1609012 CPUtime=3510.37 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 162309 0 0 0 350316 721 0 0 20 0 1 0 32723072 1844633600 402253 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 450350 402253 2368 1147 0 437777 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 1805592 KiB
Current children cumulated memory: 1612084 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 22859
/proc/meminfo: memFree=111472728/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1801400 memory=1609012 CPUtime=3570.19 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 162312 0 0 0 356293 726 0 0 20 0 1 0 32723072 1844633600 402253 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 450350 402253 2368 1147 0 437777 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 1805592 KiB
Current children cumulated memory: 1612084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.42 4.17 4.12 5/270 22861
/proc/meminfo: memFree=111358992/131250000 swapFree=33010684/33010684
[pid=22641] ppid=22638 vsize=4192 memory=3072 CPUtime=1.46 cores=4,6
/proc/22641/stat : 22641 (run-dec-break-l) S 22638 22641 22578 0 -1 4194304 240 42538 0 0 0 0 128 18 20 0 1 0 32722921 4292608 768 18446744073709551615 94584916140032 94584917034565 140729338072192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94584917273616 94584917321360 94584926089216 140729338079509 140729338079710 140729338079710 140729338085312 0
/proc/22641/statm: 1048 768 704 219 0 110 0
[pid=22655] ppid=22641 vsize=1801400 memory=1609012 CPUtime=3598.6 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22641 22641 22578 0 -1 4194304 162468 0 0 0 359132 728 0 0 20 0 1 0 32723072 1844633600 402253 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 450350 402253 2368 1147 0 437777 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1805592 KiB
Current children cumulated memory: 1612084 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=1.28495 s, system=0.186299 s
Sleeping 2 seconds

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

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

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

[startup+3611.01 s]*
/proc/loadavg: 4.42 4.17 4.12 5/269 22861
/proc/meminfo: memFree=112061788/131250000 swapFree=33010684/33010684
[pid=22655] ppid=22638 vsize=1009240 memory=879728 CPUtime=3598.82 cores=4,6
/proc/22655/stat : 22655 (roundingsat) R 22638 22641 22578 0 -1 4194304 162686 0 0 0 359153 729 0 0 20 0 1 0 32723072 1033461760 219932 18446744073709551615 4227072 8923433 140733125168832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38113280 140733125171444 140733125171752 140733125171752 140733125177322 0
/proc/22655/statm: 252310 219932 2496 1147 0 239737 0
Current cumulated CPU time of completed processes: 1.47125 s
Current children cumulated CPU time: 3598.82 s
Current children cumulated vsize: 1009240 KiB
Current children cumulated memory: 879728 KiB

Child status: 2

Real time (s): 3611.11
CPU time (s): 3600.39
CPU user time (s): 3592.91
CPU system time (s): 7.48265
CPU usage (%): 99.7032
Max. virtual memory (cumulated for all children) (KiB): 1805592
Max. memory (cumulated for all children) (KiB): 1612084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.91
system time used= 7.48265
maximum resident set size= 1609524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205491
page faults= 0
swaps= 0
block input operations= 0
block output operations= 356280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 263
involuntary context switches= 1954


# summary of solver processes directly reported to runsolver:
#   pid: 22641,22655
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3592.91
#   total CPU system time (s): 7.48265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8306 second user time and 18.2771 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-29 06:13:47
IDJOB=4503605
IDBENCH=155524
IDSOLVER=3358
FILE ID=nodeC013/4503605-1751170426
RUNJOBID= nodeC013-1751170426-22589
SLURM_JOB_ID= 9587527
Free space on /tmp= 432868 MiB

SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-147.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503605-1751170426/watcher-4503605-1751170426 -o /tmp/evaluation-result-4503605-1751170426/solver-4503605-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22589 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4503605-1751170426.opb PROOFDIR/proof-4503605-1751170426

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

MD5SUM BENCH= 68b1290c926351b4227086ab823cce81
RANDOM SEED=1383446850

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.464
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.67
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.67
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.843
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.67
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		: 3598.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.67
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		: 3600.035
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.67
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.705
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.67
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		: 3599.827
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.67
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.975
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129991764 kB
MemAvailable:   129711584 kB
Buffers:            3280 kB
Cached:           525700 kB
SwapCached:            0 kB
Active:           319952 kB
Inactive:         316896 kB
Active(anon):     121152 kB
Inactive(anon):        0 kB
Active(file):     198800 kB
Inactive(file):   316896 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            151964 kB
Writeback:             0 kB
AnonPages:        111280 kB
Mapped:            98900 kB
Shmem:             13284 kB
KReclaimable:      86324 kB
Slab:             169020 kB
SReclaimable:      86324 kB
SUnreclaim:        82696 kB
KernelStack:        4108 kB
PageTables:         2672 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     411468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432424 MiB
End job on nodeC013 at 2025-06-29 07:13:58