Trace number 4488030

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
pb-oll-rs-2024 2025-05-06SAT (TO)53 3600.03 3611.4

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
MD5SUM83e8c133f6310d52aedf789f310352e0
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 benchmark53
Best CPU time to get the best result obtained on this benchmark8.60126
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 225
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 225
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
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 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.02	c [STEP] solving
0.00/0.02	c #variables 225 #constraints 225
0.00/0.02	c SMALL=int, LARGE=long long
0.00/0.02	c bounds - >= 0 @ 7.1e-05
0.00/0.02	c stratification level: 0
0.00/0.02	c bounds - >= 1 @ 0.000626
0.00/0.02	c bounds - >= 2 @ 0.000667
0.00/0.02	c bounds - >= 3 @ 0.000706
0.00/0.02	c bounds - >= 4 @ 0.000741
0.00/0.02	c bounds - >= 5 @ 0.000775
0.00/0.02	c bounds - >= 6 @ 0.000822
0.00/0.02	c bounds - >= 7 @ 0.000865
0.00/0.02	c bounds - >= 8 @ 0.000906
0.00/0.02	c bounds - >= 9 @ 0.000946
0.00/0.02	c bounds - >= 10 @ 0.000975
0.00/0.02	c bounds - >= 11 @ 0.001017
0.00/0.02	c bounds - >= 12 @ 0.001062
0.00/0.02	c bounds - >= 13 @ 0.001106
0.00/0.02	c bounds - >= 14 @ 0.001153
0.00/0.02	c bounds - >= 15 @ 0.001195
0.00/0.02	c bounds - >= 16 @ 0.001236
0.00/0.02	c bounds - >= 17 @ 0.001283
0.00/0.02	c bounds - >= 18 @ 0.001331
0.00/0.02	c bounds - >= 19 @ 0.001381
0.00/0.02	c bounds - >= 20 @ 0.001424
0.00/0.02	c bounds - >= 21 @ 0.001468
0.00/0.02	c bounds - >= 22 @ 0.001516
0.00/0.02	c bounds - >= 23 @ 0.001567
0.00/0.02	c bounds - >= 24 @ 0.001615
0.00/0.02	c bounds - >= 25 @ 0.001662
0.00/0.02	c bounds - >= 26 @ 0.001708
0.00/0.02	c bounds - >= 27 @ 0.001753
0.00/0.02	c bounds - >= 28 @ 0.001804
0.00/0.02	c bounds - >= 29 @ 0.001854
0.00/0.02	c bounds - >= 30 @ 0.001903
0.00/0.02	c bounds - >= 31 @ 0.001952
0.00/0.02	c bounds - >= 32 @ 0.001991
0.00/0.02	c bounds - >= 33 @ 0.002045
0.00/0.02	c bounds - >= 34 @ 0.002097
0.00/0.02	c bounds - >= 35 @ 0.002151
0.00/0.02	c bounds - >= 36 @ 0.002203
0.00/0.02	c bounds - >= 37 @ 0.002253
0.00/0.02	c bounds - >= 38 @ 0.0023
0.00/0.02	c bounds - >= 39 @ 0.00235
0.00/0.02	c bounds - >= 40 @ 0.002403
0.00/0.02	c bounds - >= 41 @ 0.002456
0.00/0.02	c bounds - >= 42 @ 0.002506
0.00/0.02	c bounds - >= 43 @ 0.002556
0.00/0.02	c finalizing WCE round: reformulating cores
6.84/6.95	c #Conflicts:       1000 | #Constraints:       1281
6.84/6.95	c #Conflicts:       2000 | #Constraints:       2283
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:       3000 | #Constraints:       2255
6.84/6.95	c #Conflicts:       4000 | #Constraints:       3257
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:       5000 | #Constraints:       2667
6.84/6.95	c #Conflicts:       6000 | #Constraints:       3669
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:       7000 | #Constraints:       2670
6.84/6.95	c #Conflicts:       8000 | #Constraints:       3672
6.84/6.95	c #Conflicts:       9000 | #Constraints:       4676
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:      10000 | #Constraints:       3380
6.84/6.95	c #Conflicts:      11000 | #Constraints:       4382
6.84/6.95	c #Conflicts:      12000 | #Constraints:       5384
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:      13000 | #Constraints:       3837
6.84/6.95	c #Conflicts:      14000 | #Constraints:       4839
6.84/6.95	c #Conflicts:      15000 | #Constraints:       5841
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:      16000 | #Constraints:       4069
6.84/6.95	c #Conflicts:      17000 | #Constraints:       5071
6.84/6.95	c #Conflicts:      18000 | #Constraints:       6073
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:      19000 | #Constraints:       4094
6.84/6.95	c #Conflicts:      20000 | #Constraints:       5096
6.84/6.95	c #Conflicts:      21000 | #Constraints:       6098
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:      22000 | #Constraints:       3906
6.84/6.95	c #Conflicts:      23000 | #Constraints:       4908
6.84/6.95	c #Conflicts:      24000 | #Constraints:       5912
6.84/6.95	c #Conflicts:      25000 | #Constraints:       6914
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:      26000 | #Constraints:       4525
6.84/6.95	c #Conflicts:      27000 | #Constraints:       5527
6.84/6.95	c #Conflicts:      28000 | #Constraints:       6529
6.84/6.95	c #Conflicts:      29000 | #Constraints:       7533
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:      30000 | #Constraints:       4933
6.84/6.95	c #Conflicts:      31000 | #Constraints:       5935
6.84/6.95	c #Conflicts:      32000 | #Constraints:       6937
6.84/6.95	c #Conflicts:      33000 | #Constraints:       7941
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c bounds 61 >= 43 @ 4.26019
6.84/6.95	c bounds 61 >= 44 @ 4.26464
6.84/6.95	c bounds 61 >= 45 @ 4.27332
6.84/6.95	c #Conflicts:      34000 | #Constraints:       5234
6.84/6.95	c #Conflicts:      35000 | #Constraints:       6234
6.84/6.95	c #Conflicts:      36000 | #Constraints:       7234
6.84/6.95	c #Conflicts:      37000 | #Constraints:       8234
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:      38000 | #Constraints:       5215
6.84/6.95	c #Conflicts:      39000 | #Constraints:       6215
6.84/6.95	c #Conflicts:      40000 | #Constraints:       7215
6.84/6.95	c #Conflicts:      41000 | #Constraints:       8215
6.84/6.95	c INPROCESSING
6.84/6.95	c GARBAGE COLLECT
6.84/6.95	c #Conflicts:      42000 | #Constraints:       5006
6.84/6.95	c #Conflicts:      43000 | #Constraints:       6006
6.84/6.95	c #Conflicts:      44000 | #Constraints:       7006
6.84/6.95	c #Conflicts:      45000 | #Constraints:       8006
6.84/6.95	c finalizing WCE round: reformulating cores
7.44/7.59	c #Conflicts:      46000 | #Constraints:       9009
7.44/7.59	c INPROCESSING
7.44/7.59	c GARBAGE COLLECT
7.44/7.59	c #Conflicts:      47000 | #Constraints:       5606
7.44/7.59	c bounds 60 >= 45 @ 7.10973
7.44/7.59	c bounds 60 >= 46 @ 7.12915
7.44/7.59	c #Conflicts:      48000 | #Constraints:       6679
7.44/7.59	c bounds 60 >= 47 @ 7.31723
7.44/7.59	c finalizing WCE round: reformulating cores
29.57/29.77	c #Conflicts:      49000 | #Constraints:       7764
29.57/29.77	c bounds 59 >= 47 @ 7.75078
29.57/29.77	c #Conflicts:      50000 | #Constraints:       8766
29.57/29.77	c bounds 59 >= 48 @ 7.89592
29.57/29.77	c #Conflicts:      51000 | #Constraints:       9791
29.57/29.77	c INPROCESSING
29.57/29.77	c GARBAGE COLLECT
29.57/29.77	c #Conflicts:      52000 | #Constraints:       6161
29.57/29.77	c #Conflicts:      53000 | #Constraints:       7161
29.57/29.77	c #Conflicts:      54000 | #Constraints:       8161
29.57/29.77	c #Conflicts:      55000 | #Constraints:       9161
29.57/29.77	c #Conflicts:      56000 | #Constraints:      10161
29.57/29.77	c INPROCESSING
29.57/29.77	c GARBAGE COLLECT
29.57/29.77	c #Conflicts:      57000 | #Constraints:       6353
29.57/29.77	c #Conflicts:      58000 | #Constraints:       7353
29.57/29.77	c #Conflicts:      59000 | #Constraints:       8353
29.57/29.77	c #Conflicts:      60000 | #Constraints:       9353
29.57/29.77	c #Conflicts:      61000 | #Constraints:      10353
29.57/29.77	c INPROCESSING
29.57/29.77	c GARBAGE COLLECT
29.57/29.77	c #Conflicts:      62000 | #Constraints:       6347
29.57/29.77	c #Conflicts:      63000 | #Constraints:       7347
29.57/29.77	c #Conflicts:      64000 | #Constraints:       8347
29.57/29.77	c #Conflicts:      65000 | #Constraints:       9347
29.57/29.77	c #Conflicts:      66000 | #Constraints:      10347
29.57/29.77	c INPROCESSING
29.57/29.77	c GARBAGE COLLECT
29.57/29.77	c #Conflicts:      67000 | #Constraints:       6153
29.57/29.77	c #Conflicts:      68000 | #Constraints:       7153
29.57/29.77	c #Conflicts:      69000 | #Constraints:       8153
29.57/29.77	c bounds 59 >= 49 @ 28.5874
29.57/29.77	c #Conflicts:      70000 | #Constraints:       9244
29.57/29.77	c #Conflicts:      71000 | #Constraints:      10244
29.57/29.77	c finalizing WCE round: reformulating cores
145.26/145.73	c #Conflicts:      72000 | #Constraints:      11250
145.26/145.73	c bounds 56 >= 49 @ 29.9065
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:      73000 | #Constraints:       6813
145.26/145.73	c bounds 56 >= 50 @ 31.123
145.26/145.73	c #Conflicts:      74000 | #Constraints:       7841
145.26/145.73	c #Conflicts:      75000 | #Constraints:       8841
145.26/145.73	c #Conflicts:      76000 | #Constraints:       9841
145.26/145.73	c #Conflicts:      77000 | #Constraints:      10841
145.26/145.73	c #Conflicts:      78000 | #Constraints:      11841
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:      79000 | #Constraints:       7215
145.26/145.73	c #Conflicts:      80000 | #Constraints:       8215
145.26/145.73	c #Conflicts:      81000 | #Constraints:       9215
145.26/145.73	c #Conflicts:      82000 | #Constraints:      10215
145.26/145.73	c #Conflicts:      83000 | #Constraints:      11215
145.26/145.73	c #Conflicts:      84000 | #Constraints:      12215
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:      85000 | #Constraints:       7410
145.26/145.73	c #Conflicts:      86000 | #Constraints:       8410
145.26/145.73	c #Conflicts:      87000 | #Constraints:       9410
145.26/145.73	c #Conflicts:      88000 | #Constraints:      10410
145.26/145.73	c #Conflicts:      89000 | #Constraints:      11410
145.26/145.73	c #Conflicts:      90000 | #Constraints:      12410
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:      91000 | #Constraints:       7415
145.26/145.73	c #Conflicts:      92000 | #Constraints:       8415
145.26/145.73	c #Conflicts:      93000 | #Constraints:       9415
145.26/145.73	c #Conflicts:      94000 | #Constraints:      10415
145.26/145.73	c #Conflicts:      95000 | #Constraints:      11415
145.26/145.73	c #Conflicts:      96000 | #Constraints:      12415
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:      97000 | #Constraints:       7214
145.26/145.73	c #Conflicts:      98000 | #Constraints:       8214
145.26/145.73	c #Conflicts:      99000 | #Constraints:       9214
145.26/145.73	c #Conflicts:     100000 | #Constraints:      10214
145.26/145.73	c #Conflicts:     101000 | #Constraints:      11214
145.26/145.73	c #Conflicts:     102000 | #Constraints:      12214
145.26/145.73	c #Conflicts:     103000 | #Constraints:      13214
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:     104000 | #Constraints:       7815
145.26/145.73	c #Conflicts:     105000 | #Constraints:       8815
145.26/145.73	c #Conflicts:     106000 | #Constraints:       9815
145.26/145.73	c #Conflicts:     107000 | #Constraints:      10815
145.26/145.73	c #Conflicts:     108000 | #Constraints:      11815
145.26/145.73	c #Conflicts:     109000 | #Constraints:      12815
145.26/145.73	c #Conflicts:     110000 | #Constraints:      13815
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:     111000 | #Constraints:       8216
145.26/145.73	c #Conflicts:     112000 | #Constraints:       9216
145.26/145.73	c #Conflicts:     113000 | #Constraints:      10216
145.26/145.73	c #Conflicts:     114000 | #Constraints:      11216
145.26/145.73	c #Conflicts:     115000 | #Constraints:      12216
145.26/145.73	c #Conflicts:     116000 | #Constraints:      13216
145.26/145.73	c #Conflicts:     117000 | #Constraints:      14216
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:     118000 | #Constraints:       8418
145.26/145.73	c #Conflicts:     119000 | #Constraints:       9418
145.26/145.73	c #Conflicts:     120000 | #Constraints:      10418
145.26/145.73	c #Conflicts:     121000 | #Constraints:      11418
145.26/145.73	c #Conflicts:     122000 | #Constraints:      12418
145.26/145.73	c #Conflicts:     123000 | #Constraints:      13418
145.26/145.73	c #Conflicts:     124000 | #Constraints:      14418
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:     125000 | #Constraints:       8419
145.26/145.73	c #Conflicts:     126000 | #Constraints:       9419
145.26/145.73	c #Conflicts:     127000 | #Constraints:      10419
145.26/145.73	c #Conflicts:     128000 | #Constraints:      11419
145.26/145.73	c #Conflicts:     129000 | #Constraints:      12419
145.26/145.73	c #Conflicts:     130000 | #Constraints:      13419
145.26/145.73	c #Conflicts:     131000 | #Constraints:      14419
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:     132000 | #Constraints:       8215
145.26/145.73	c #Conflicts:     133000 | #Constraints:       9215
145.26/145.73	c #Conflicts:     134000 | #Constraints:      10215
145.26/145.73	c #Conflicts:     135000 | #Constraints:      11215
145.26/145.73	c #Conflicts:     136000 | #Constraints:      12215
145.26/145.73	c #Conflicts:     137000 | #Constraints:      13215
145.26/145.73	c #Conflicts:     138000 | #Constraints:      14215
145.26/145.73	c #Conflicts:     139000 | #Constraints:      15215
145.26/145.73	c INPROCESSING
145.26/145.73	c GARBAGE COLLECT
145.26/145.73	c #Conflicts:     140000 | #Constraints:       8815
145.26/145.73	c #Conflicts:     141000 | #Constraints:       9815
145.26/145.73	c #Conflicts:     142000 | #Constraints:      10815
307.34/308.35	c #Conflicts:     143000 | #Constraints:      11815
307.34/308.35	c #Conflicts:     144000 | #Constraints:      12815
307.34/308.35	c #Conflicts:     145000 | #Constraints:      13815
307.34/308.35	c #Conflicts:     146000 | #Constraints:      14815
307.34/308.35	c #Conflicts:     147000 | #Constraints:      15815
307.34/308.35	c INPROCESSING
307.34/308.35	c GARBAGE COLLECT
307.34/308.35	c #Conflicts:     148000 | #Constraints:       9225
307.34/308.35	c #Conflicts:     149000 | #Constraints:      10225
307.34/308.35	c #Conflicts:     150000 | #Constraints:      11225
307.34/308.35	c #Conflicts:     151000 | #Constraints:      12225
307.34/308.35	c #Conflicts:     152000 | #Constraints:      13225
307.34/308.35	c #Conflicts:     153000 | #Constraints:      14225
307.34/308.35	c #Conflicts:     154000 | #Constraints:      15225
307.34/308.35	c #Conflicts:     155000 | #Constraints:      16225
307.34/308.35	c #Conflicts:     156000 | #Constraints:      17225
307.34/308.35	c #Conflicts:     157000 | #Constraints:      18225
307.34/308.35	c #Conflicts:     158000 | #Constraints:      19225
307.34/308.35	c #Conflicts:     159000 | #Constraints:      20225
307.34/308.35	c #Conflicts:     160000 | #Constraints:      21225
307.34/308.35	c #Conflicts:     161000 | #Constraints:      22225
307.34/308.35	c #Conflicts:     162000 | #Constraints:      23225
307.34/308.35	c #Conflicts:     163000 | #Constraints:      24225
307.34/308.35	c #Conflicts:     164000 | #Constraints:      25225
307.34/308.35	c #Conflicts:     165000 | #Constraints:      26225
307.34/308.35	c #Conflicts:     166000 | #Constraints:      27225
307.34/308.35	c #Conflicts:     167000 | #Constraints:      28225
307.34/308.35	c #Conflicts:     168000 | #Constraints:      29225
307.34/308.35	c #Conflicts:     169000 | #Constraints:      30225
307.34/308.35	c #Conflicts:     170000 | #Constraints:      31225
307.34/308.35	c #Conflicts:     171000 | #Constraints:      32225
307.34/308.35	c #Conflicts:     172000 | #Constraints:      33225
307.34/308.35	c #Conflicts:     173000 | #Constraints:      34225
307.34/308.35	c #Conflicts:     174000 | #Constraints:      35225
307.34/308.35	c #Conflicts:     175000 | #Constraints:      36225
307.34/308.35	c finalizing WCE round: reformulating cores
836.03/838.89	c #Conflicts:     176000 | #Constraints:      37228
836.03/838.89	c bounds 53 >= 50 @ 310.698
836.03/838.89	c #Conflicts:     177000 | #Constraints:      38228
836.03/838.89	c #Conflicts:     178000 | #Constraints:      39228
836.03/838.89	c #Conflicts:     179000 | #Constraints:      40228
836.03/838.89	c #Conflicts:     180000 | #Constraints:      41228
836.03/838.89	c #Conflicts:     181000 | #Constraints:      42228
836.03/838.89	c #Conflicts:     182000 | #Constraints:      43228
836.03/838.89	c INPROCESSING
836.03/838.89	c GARBAGE COLLECT
836.03/838.89	c #Conflicts:     183000 | #Constraints:      22471
836.03/838.89	c #Conflicts:     184000 | #Constraints:      23471
836.03/838.89	c #Conflicts:     185000 | #Constraints:      24471
836.03/838.89	c #Conflicts:     186000 | #Constraints:      25471
836.03/838.89	c #Conflicts:     187000 | #Constraints:      26471
836.03/838.89	c #Conflicts:     188000 | #Constraints:      27471
836.03/838.89	c #Conflicts:     189000 | #Constraints:      28471
836.03/838.89	c #Conflicts:     190000 | #Constraints:      29471
836.03/838.89	c #Conflicts:     191000 | #Constraints:      30471
836.03/838.89	c #Conflicts:     192000 | #Constraints:      31471
836.03/838.89	c INPROCESSING
836.03/838.89	c GARBAGE COLLECT
836.03/838.89	c #Conflicts:     193000 | #Constraints:      17046
836.03/838.89	c #Conflicts:     194000 | #Constraints:      18046
836.03/838.89	c #Conflicts:     195000 | #Constraints:      19046
836.03/838.89	c #Conflicts:     196000 | #Constraints:      20046
836.03/838.89	c #Conflicts:     197000 | #Constraints:      21046
836.03/838.89	c #Conflicts:     198000 | #Constraints:      22046
836.03/838.89	c #Conflicts:     199000 | #Constraints:      23046
836.03/838.89	c #Conflicts:     200000 | #Constraints:      24046
836.03/838.89	c #Conflicts:     201000 | #Constraints:      25046
836.03/838.89	c INPROCESSING
836.03/838.89	c GARBAGE COLLECT
836.03/838.89	c #Conflicts:     202000 | #Constraints:      13696
836.03/838.89	c #Conflicts:     203000 | #Constraints:      14696
836.03/838.89	c #Conflicts:     204000 | #Constraints:      15696
836.03/838.89	c #Conflicts:     205000 | #Constraints:      16696
836.03/838.89	c #Conflicts:     206000 | #Constraints:      17696
836.03/838.89	c #Conflicts:     207000 | #Constraints:      18696
836.03/838.89	c #Conflicts:     208000 | #Constraints:      19696
836.03/838.89	c #Conflicts:     209000 | #Constraints:      20696
836.03/838.89	c #Conflicts:     210000 | #Constraints:      21696
836.03/838.89	c INPROCESSING
836.03/838.89	c GARBAGE COLLECT
836.03/838.89	c #Conflicts:     211000 | #Constraints:      11755
836.03/838.89	c #Conflicts:     212000 | #Constraints:      12755
836.03/838.89	c #Conflicts:     213000 | #Constraints:      13755
836.03/838.89	c #Conflicts:     214000 | #Constraints:      14755
836.03/838.89	c #Conflicts:     215000 | #Constraints:      15755
836.03/838.89	c #Conflicts:     216000 | #Constraints:      16755
836.03/838.89	c #Conflicts:     217000 | #Constraints:      17755
836.03/838.89	c #Conflicts:     218000 | #Constraints:      18755
836.03/838.89	c #Conflicts:     219000 | #Constraints:      19755
836.03/838.89	c #Conflicts:     220000 | #Constraints:      20755
836.03/838.89	c INPROCESSING
836.03/838.89	c GARBAGE COLLECT
836.03/838.89	c #Conflicts:     221000 | #Constraints:      11448
836.03/838.89	c #Conflicts:     222000 | #Constraints:      12448
836.03/838.89	c #Conflicts:     223000 | #Constraints:      13448
836.03/838.89	c #Conflicts:     224000 | #Constraints:      14448
836.03/838.89	c #Conflicts:     225000 | #Constraints:      15448
836.03/838.89	c #Conflicts:     226000 | #Constraints:      16448
836.03/838.89	c #Conflicts:     227000 | #Constraints:      17448
836.03/838.89	c #Conflicts:     228000 | #Constraints:      18448
836.03/838.89	c #Conflicts:     229000 | #Constraints:      19448
836.03/838.89	c #Conflicts:     230000 | #Constraints:      20448
836.03/838.89	c #Conflicts:     231000 | #Constraints:      21448
836.03/838.89	c #Conflicts:     232000 | #Constraints:      22448
836.03/838.89	c #Conflicts:     233000 | #Constraints:      23448
836.03/838.89	c #Conflicts:     234000 | #Constraints:      24448
836.03/838.89	c #Conflicts:     235000 | #Constraints:      25448
836.03/838.89	c #Conflicts:     236000 | #Constraints:      26448
836.03/838.89	c #Conflicts:     237000 | #Constraints:      27448
836.03/838.89	c #Conflicts:     238000 | #Constraints:      28448
836.03/838.89	c #Conflicts:     239000 | #Constraints:      29448
836.03/838.89	c #Conflicts:     240000 | #Constraints:      30448
836.03/838.89	c #Conflicts:     241000 | #Constraints:      31448
836.03/838.89	c bounds 53 >= 51 @ 796.88
836.03/838.89	c #Conflicts:     242000 | #Constraints:      32473
836.03/838.89	c #Conflicts:     243000 | #Constraints:      33473
836.03/838.89	c #Conflicts:     244000 | #Constraints:      34473
836.03/838.89	c #Conflicts:     245000 | #Constraints:      35473
836.03/838.89	c #Conflicts:     246000 | #Constraints:      36473
836.03/838.89	c #Conflicts:     247000 | #Constraints:      37473
836.03/838.89	c #Conflicts:     248000 | #Constraints:      38473
836.03/838.89	c #Conflicts:     249000 | #Constraints:      39473
836.03/838.89	c #Conflicts:     250000 | #Constraints:      40473
1399.97/1404.59	c #Conflicts:     251000 | #Constraints:      41473
1399.97/1404.59	c #Conflicts:     252000 | #Constraints:      42473
1399.97/1404.59	c #Conflicts:     253000 | #Constraints:      43473
1399.97/1404.59	c #Conflicts:     254000 | #Constraints:      44473
1399.97/1404.59	c #Conflicts:     255000 | #Constraints:      45473
1399.97/1404.59	c #Conflicts:     256000 | #Constraints:      46473
1399.97/1404.59	c #Conflicts:     257000 | #Constraints:      47473
1399.97/1404.59	c #Conflicts:     258000 | #Constraints:      48473
1399.97/1404.59	c #Conflicts:     259000 | #Constraints:      49473
1399.97/1404.59	c #Conflicts:     260000 | #Constraints:      50473
1399.97/1404.59	c #Conflicts:     261000 | #Constraints:      51473
1399.97/1404.59	c #Conflicts:     262000 | #Constraints:      52473
1399.97/1404.59	c INPROCESSING
1399.97/1404.59	c GARBAGE COLLECT
1399.97/1404.59	c #Conflicts:     263000 | #Constraints:      27148
1399.97/1404.59	c #Conflicts:     264000 | #Constraints:      28148
1399.97/1404.59	c #Conflicts:     265000 | #Constraints:      29148
1399.97/1404.59	c #Conflicts:     266000 | #Constraints:      30148
1399.97/1404.59	c #Conflicts:     267000 | #Constraints:      31148
1399.97/1404.59	c #Conflicts:     268000 | #Constraints:      32148
1399.97/1404.59	c #Conflicts:     269000 | #Constraints:      33148
1399.97/1404.59	c #Conflicts:     270000 | #Constraints:      34148
1399.97/1404.59	c #Conflicts:     271000 | #Constraints:      35148
1399.97/1404.59	c #Conflicts:     272000 | #Constraints:      36148
1399.97/1404.59	c #Conflicts:     273000 | #Constraints:      37148
1399.97/1404.59	c INPROCESSING
1399.97/1404.59	c GARBAGE COLLECT
1399.97/1404.59	c #Conflicts:     274000 | #Constraints:      19494
1399.97/1404.59	c #Conflicts:     275000 | #Constraints:      20494
1399.97/1404.59	c #Conflicts:     276000 | #Constraints:      21494
1399.97/1404.59	c #Conflicts:     277000 | #Constraints:      22494
1399.97/1404.59	c #Conflicts:     278000 | #Constraints:      23494
1399.97/1404.59	c #Conflicts:     279000 | #Constraints:      24494
1399.97/1404.59	c #Conflicts:     280000 | #Constraints:      25494
1399.97/1404.59	c #Conflicts:     281000 | #Constraints:      26494
1399.97/1404.59	c #Conflicts:     282000 | #Constraints:      27494
1399.97/1404.59	c #Conflicts:     283000 | #Constraints:      28494
1399.97/1404.59	c #Conflicts:     284000 | #Constraints:      29494
1399.97/1404.59	c #Conflicts:     285000 | #Constraints:      30494
1399.97/1404.59	c INPROCESSING
1399.97/1404.59	c GARBAGE COLLECT
1399.97/1404.59	c #Conflicts:     286000 | #Constraints:      16561
1399.97/1404.59	c #Conflicts:     287000 | #Constraints:      17561
1399.97/1404.59	c #Conflicts:     288000 | #Constraints:      18561
1399.97/1404.59	c #Conflicts:     289000 | #Constraints:      19561
1399.97/1404.59	c #Conflicts:     290000 | #Constraints:      20561
1399.97/1404.59	c #Conflicts:     291000 | #Constraints:      21561
1399.97/1404.59	c #Conflicts:     292000 | #Constraints:      22561
1399.97/1404.59	c #Conflicts:     293000 | #Constraints:      23561
1399.97/1404.59	c #Conflicts:     294000 | #Constraints:      24561
1399.97/1404.59	c #Conflicts:     295000 | #Constraints:      25561
1399.97/1404.59	c #Conflicts:     296000 | #Constraints:      26561
1399.97/1404.59	c INPROCESSING
1399.97/1404.59	c GARBAGE COLLECT
1399.97/1404.59	c #Conflicts:     297000 | #Constraints:      14394
1399.97/1404.59	c #Conflicts:     298000 | #Constraints:      15394
1399.97/1404.59	c #Conflicts:     299000 | #Constraints:      16394
1399.97/1404.59	c #Conflicts:     300000 | #Constraints:      17394
1399.97/1404.59	c #Conflicts:     301000 | #Constraints:      18394
1399.97/1404.59	c #Conflicts:     302000 | #Constraints:      19394
1399.97/1404.59	c #Conflicts:     303000 | #Constraints:      20394
1399.97/1404.59	c #Conflicts:     304000 | #Constraints:      21394
1399.97/1404.59	c #Conflicts:     305000 | #Constraints:      22394
1399.97/1404.59	c #Conflicts:     306000 | #Constraints:      23394
1399.97/1404.59	c #Conflicts:     307000 | #Constraints:      24394
1399.97/1404.59	c #Conflicts:     308000 | #Constraints:      25394
1399.97/1404.59	c #Conflicts:     309000 | #Constraints:      26394
1399.97/1404.59	c #Conflicts:     310000 | #Constraints:      27394
1399.97/1404.59	c #Conflicts:     311000 | #Constraints:      28394
1399.97/1404.59	c #Conflicts:     312000 | #Constraints:      29394
1399.97/1404.59	c #Conflicts:     313000 | #Constraints:      30394
1399.97/1404.59	c #Conflicts:     314000 | #Constraints:      31394
1399.97/1404.59	c #Conflicts:     315000 | #Constraints:      32394
1399.97/1404.59	c #Conflicts:     316000 | #Constraints:      33394
1399.97/1404.59	c #Conflicts:     317000 | #Constraints:      34394
1399.97/1404.59	c #Conflicts:     318000 | #Constraints:      35394
1399.97/1404.59	c #Conflicts:     319000 | #Constraints:      36394
1399.97/1404.59	c #Conflicts:     320000 | #Constraints:      37394
1399.97/1404.59	c #Conflicts:     321000 | #Constraints:      38394
1399.97/1404.59	c #Conflicts:     322000 | #Constraints:      39394
1399.97/1404.59	c #Conflicts:     323000 | #Constraints:      40394
1399.97/1404.59	c #Conflicts:     324000 | #Constraints:      41394
1399.97/1404.59	c #Conflicts:     325000 | #Constraints:      42394
1399.97/1404.59	c #Conflicts:     326000 | #Constraints:      43394
2320.23/2327.56	c #Conflicts:     327000 | #Constraints:      44394
2320.23/2327.56	c #Conflicts:     328000 | #Constraints:      45394
2320.23/2327.56	c #Conflicts:     329000 | #Constraints:      46394
2320.23/2327.56	c #Conflicts:     330000 | #Constraints:      47394
2320.23/2327.56	c #Conflicts:     331000 | #Constraints:      48394
2320.23/2327.56	c #Conflicts:     332000 | #Constraints:      49394
2320.23/2327.56	c #Conflicts:     333000 | #Constraints:      50394
2320.23/2327.56	c #Conflicts:     334000 | #Constraints:      51394
2320.23/2327.56	c #Conflicts:     335000 | #Constraints:      52394
2320.23/2327.56	c #Conflicts:     336000 | #Constraints:      53394
2320.23/2327.56	c #Conflicts:     337000 | #Constraints:      54394
2320.23/2327.56	c #Conflicts:     338000 | #Constraints:      55394
2320.23/2327.56	c #Conflicts:     339000 | #Constraints:      56394
2320.23/2327.56	c #Conflicts:     340000 | #Constraints:      57394
2320.23/2327.56	c #Conflicts:     341000 | #Constraints:      58394
2320.23/2327.56	c #Conflicts:     342000 | #Constraints:      59394
2320.23/2327.56	c #Conflicts:     343000 | #Constraints:      60394
2320.23/2327.56	c #Conflicts:     344000 | #Constraints:      61394
2320.23/2327.56	c INPROCESSING
2320.23/2327.56	c GARBAGE COLLECT
2320.23/2327.56	c #Conflicts:     345000 | #Constraints:      32012
2320.23/2327.56	c #Conflicts:     346000 | #Constraints:      33012
2320.23/2327.56	c #Conflicts:     347000 | #Constraints:      34012
2320.23/2327.56	c #Conflicts:     348000 | #Constraints:      35012
2320.23/2327.56	c #Conflicts:     349000 | #Constraints:      36012
2320.23/2327.56	c #Conflicts:     350000 | #Constraints:      37012
2320.23/2327.56	c #Conflicts:     351000 | #Constraints:      38012
2320.23/2327.56	c #Conflicts:     352000 | #Constraints:      39012
2320.23/2327.56	c #Conflicts:     353000 | #Constraints:      40012
2320.23/2327.56	c #Conflicts:     354000 | #Constraints:      41012
2320.23/2327.56	c #Conflicts:     355000 | #Constraints:      42012
2320.23/2327.56	c #Conflicts:     356000 | #Constraints:      43012
2320.23/2327.56	c INPROCESSING
2320.23/2327.56	c GARBAGE COLLECT
2320.23/2327.56	c #Conflicts:     357000 | #Constraints:      22481
2320.23/2327.56	c #Conflicts:     358000 | #Constraints:      23481
2320.23/2327.56	c #Conflicts:     359000 | #Constraints:      24481
2320.23/2327.56	c #Conflicts:     360000 | #Constraints:      25481
2320.23/2327.56	c #Conflicts:     361000 | #Constraints:      26481
2320.23/2327.56	c #Conflicts:     362000 | #Constraints:      27481
2320.23/2327.56	c #Conflicts:     363000 | #Constraints:      28481
2320.23/2327.56	c #Conflicts:     364000 | #Constraints:      29481
2320.23/2327.56	c #Conflicts:     365000 | #Constraints:      30481
2320.23/2327.56	c #Conflicts:     366000 | #Constraints:      31481
2320.23/2327.56	c #Conflicts:     367000 | #Constraints:      32481
2320.23/2327.56	c #Conflicts:     368000 | #Constraints:      33481
2320.23/2327.56	c #Conflicts:     369000 | #Constraints:      34481
2320.23/2327.56	c INPROCESSING
2320.23/2327.56	c GARBAGE COLLECT
2320.23/2327.56	c #Conflicts:     370000 | #Constraints:      18255
2320.23/2327.56	c #Conflicts:     371000 | #Constraints:      19255
2320.23/2327.56	c #Conflicts:     372000 | #Constraints:      20255
2320.23/2327.56	c #Conflicts:     373000 | #Constraints:      21255
2320.23/2327.56	c #Conflicts:     374000 | #Constraints:      22255
2320.23/2327.56	c #Conflicts:     375000 | #Constraints:      23255
2320.23/2327.56	c #Conflicts:     376000 | #Constraints:      24255
2320.23/2327.56	c #Conflicts:     377000 | #Constraints:      25255
2320.23/2327.56	c #Conflicts:     378000 | #Constraints:      26255
2320.23/2327.56	c #Conflicts:     379000 | #Constraints:      27255
2320.23/2327.56	c #Conflicts:     380000 | #Constraints:      28255
2320.23/2327.56	c #Conflicts:     381000 | #Constraints:      29255
2320.23/2327.56	c #Conflicts:     382000 | #Constraints:      30255
2320.23/2327.56	c INPROCESSING
2320.23/2327.56	c GARBAGE COLLECT
2320.23/2327.56	c #Conflicts:     383000 | #Constraints:      16100
2320.23/2327.56	c #Conflicts:     384000 | #Constraints:      17100
2320.23/2327.56	c #Conflicts:     385000 | #Constraints:      18100
2320.23/2327.56	c #Conflicts:     386000 | #Constraints:      19100
2320.23/2327.56	c #Conflicts:     387000 | #Constraints:      20100
2320.23/2327.56	c #Conflicts:     388000 | #Constraints:      21100
2320.23/2327.56	c #Conflicts:     389000 | #Constraints:      22100
2320.23/2327.56	c #Conflicts:     390000 | #Constraints:      23100
2320.23/2327.56	c #Conflicts:     391000 | #Constraints:      24100
2320.23/2327.56	c #Conflicts:     392000 | #Constraints:      25100
2320.23/2327.56	c #Conflicts:     393000 | #Constraints:      26100
2320.23/2327.56	c #Conflicts:     394000 | #Constraints:      27100
2320.23/2327.56	c #Conflicts:     395000 | #Constraints:      28100
2320.23/2327.56	c #Conflicts:     396000 | #Constraints:      29100
2320.23/2327.56	c #Conflicts:     397000 | #Constraints:      30100
2320.23/2327.56	c #Conflicts:     398000 | #Constraints:      31100
2320.23/2327.56	c #Conflicts:     399000 | #Constraints:      32100
2320.23/2327.56	c #Conflicts:     400000 | #Constraints:      33100
2320.23/2327.56	c #Conflicts:     401000 | #Constraints:      34100
2320.23/2327.56	c #Conflicts:     402000 | #Constraints:      35100
3600.01/3611.40	c #Conflicts:     403000 | #Constraints:      36100
3600.01/3611.40	c #Conflicts:     404000 | #Constraints:      37100
3600.01/3611.40	c #Conflicts:     405000 | #Constraints:      38100
3600.01/3611.40	c #Conflicts:     406000 | #Constraints:      39100
3600.01/3611.40	c #Conflicts:     407000 | #Constraints:      40100
3600.01/3611.40	c #Conflicts:     408000 | #Constraints:      41100
3600.01/3611.40	c #Conflicts:     409000 | #Constraints:      42100
3600.01/3611.40	c #Conflicts:     410000 | #Constraints:      43100
3600.01/3611.40	c #Conflicts:     411000 | #Constraints:      44100
3600.01/3611.40	c #Conflicts:     412000 | #Constraints:      45100
3600.01/3611.40	c #Conflicts:     413000 | #Constraints:      46100
3600.01/3611.40	c #Conflicts:     414000 | #Constraints:      47100
3600.01/3611.40	c #Conflicts:     415000 | #Constraints:      48100
3600.01/3611.40	c #Conflicts:     416000 | #Constraints:      49100
3600.01/3611.40	c #Conflicts:     417000 | #Constraints:      50100
3600.01/3611.40	c #Conflicts:     418000 | #Constraints:      51100
3600.01/3611.40	c #Conflicts:     419000 | #Constraints:      52100
3600.01/3611.40	c #Conflicts:     420000 | #Constraints:      53100
3600.01/3611.40	c #Conflicts:     421000 | #Constraints:      54100
3600.01/3611.40	c #Conflicts:     422000 | #Constraints:      55100
3600.01/3611.40	c #Conflicts:     423000 | #Constraints:      56100
3600.01/3611.40	c #Conflicts:     424000 | #Constraints:      57100
3600.01/3611.40	c #Conflicts:     425000 | #Constraints:      58100
3600.01/3611.40	c #Conflicts:     426000 | #Constraints:      59100
3600.01/3611.40	c #Conflicts:     427000 | #Constraints:      60100
3600.01/3611.40	c #Conflicts:     428000 | #Constraints:      61100
3600.01/3611.40	c #Conflicts:     429000 | #Constraints:      62100
3600.01/3611.40	c #Conflicts:     430000 | #Constraints:      63100
3600.01/3611.40	c #Conflicts:     431000 | #Constraints:      64100
3600.01/3611.40	c #Conflicts:     432000 | #Constraints:      65100
3600.01/3611.40	c #Conflicts:     433000 | #Constraints:      66100
3600.01/3611.40	c #Conflicts:     434000 | #Constraints:      67100
3600.01/3611.40	c #Conflicts:     435000 | #Constraints:      68100
3600.01/3611.40	c INPROCESSING
3600.01/3611.40	c GARBAGE COLLECT
3600.01/3611.40	c #Conflicts:     436000 | #Constraints:      35074
3600.01/3611.40	c #Conflicts:     437000 | #Constraints:      36074
3600.01/3611.40	c #Conflicts:     438000 | #Constraints:      37074
3600.01/3611.40	c #Conflicts:     439000 | #Constraints:      38074
3600.01/3611.40	c #Conflicts:     440000 | #Constraints:      39074
3600.01/3611.40	c #Conflicts:     441000 | #Constraints:      40074
3600.01/3611.40	c #Conflicts:     442000 | #Constraints:      41074
3600.01/3611.40	c #Conflicts:     443000 | #Constraints:      42074
3600.01/3611.40	c #Conflicts:     444000 | #Constraints:      43074
3600.01/3611.40	c #Conflicts:     445000 | #Constraints:      44074
3600.01/3611.40	c #Conflicts:     446000 | #Constraints:      45074
3600.01/3611.40	c #Conflicts:     447000 | #Constraints:      46074
3600.01/3611.40	c #Conflicts:     448000 | #Constraints:      47074
3600.01/3611.40	c #Conflicts:     449000 | #Constraints:      48074
3600.01/3611.40	c #Conflicts:     450000 | #Constraints:      49074
3600.01/3611.40	c INPROCESSING
3600.01/3611.40	c GARBAGE COLLECT
3600.01/3611.40	c #Conflicts:     451000 | #Constraints:      25857
3600.01/3611.40	c #Conflicts:     452000 | #Constraints:      26857
3600.01/3611.40	c #Conflicts:     453000 | #Constraints:      27857
3600.01/3611.40	c #Conflicts:     454000 | #Constraints:      28857
3600.01/3611.40	c #Conflicts:     455000 | #Constraints:      29857
3600.01/3611.40	c #Conflicts:     456000 | #Constraints:      30857
3600.01/3611.40	c #Conflicts:     457000 | #Constraints:      31857
3600.01/3611.40	c #Conflicts:     458000 | #Constraints:      32857
3600.01/3611.40	c #Conflicts:     459000 | #Constraints:      33857
3600.01/3611.40	c #Conflicts:     460000 | #Constraints:      34857
3600.01/3611.40	c #Conflicts:     461000 | #Constraints:      35857
3600.01/3611.40	c #Conflicts:     462000 | #Constraints:      36857
3600.01/3611.40	c #Conflicts:     463000 | #Constraints:      37857
3600.01/3611.40	c #Conflicts:     464000 | #Constraints:      38857
3600.01/3611.40	c INPROCESSING
3600.01/3611.40	c GARBAGE COLLECT
3600.01/3611.40	c #Conflicts:     465000 | #Constraints:      20443
3600.01/3611.40	c #Conflicts:     466000 | #Constraints:      21443
3600.01/3611.40	c #Conflicts:     467000 | #Constraints:      22443
3600.01/3611.40	c #Conflicts:     468000 | #Constraints:      23443
3600.01/3611.40	c #Conflicts:     469000 | #Constraints:      24443
3600.01/3611.40	c #Conflicts:     470000 | #Constraints:      25443
3600.01/3611.40	c #Conflicts:     471000 | #Constraints:      26443
3600.01/3611.40	c #Conflicts:     472000 | #Constraints:      27443
3600.01/3611.40	c #Conflicts:     473000 | #Constraints:      28443
3600.01/3611.40	c Program interrupted by user.
3600.01/3611.40	c cpu time 3591.52 s
3600.01/3611.40	c deterministic time 321773685787 3.22e+11
3600.01/3611.40	c optimization time 113.118 s
3600.01/3611.40	c total solve time 3478.4 s
3600.01/3611.40	c core-guided solve time 3478.4 s
3600.01/3611.40	c propagation time 3305.58 s
3600.01/3611.40	c conflict analysis time 272.701 s
3600.01/3611.40	c propagations 45335901
3600.01/3611.40	c resolve steps 5007745
3600.01/3611.40	c decisions 5777928
3600.01/3611.40	c conflicts 473446
3600.01/3611.40	c restarts 1022
3600.01/3611.40	c inprocessing phases 46
3600.01/3611.40	c input clauses 362
3600.01/3611.40	c input cardinalities 288
3600.01/3611.40	c input general constraints 143
3600.01/3611.40	c input average constraint length 23.84
3600.01/3611.40	c input average constraint degree 6.59
3600.01/3611.40	c learned clauses 114738
3600.01/3611.40	c learned cardinalities 6024
3600.01/3611.40	c learned general constraints 352684
3600.01/3611.40	c learned average constraint length 116.07
3600.01/3611.40	c learned average constraint degree 3520998.99
3600.01/3611.40	c watched constraints 313101
3600.01/3611.40	c counting constraints 39726
3600.01/3611.40	c gcd simplifications 9388
3600.01/3611.40	c detected cardinalities 171
3600.01/3611.40	c weakened non-implied lits 5204252
3600.01/3611.40	c weakened non-implying lits 14820
3600.01/3611.40	c original variables 225
3600.01/3611.40	c clausal propagations 10194722
3600.01/3611.40	c cardinality propagations 1120607
3600.01/3611.40	c watched propagations 13079638
3600.01/3611.40	c counting propagations 20599933
3600.01/3611.40	c watch lookups 68581614852
3600.01/3611.40	c watch backjump lookups 64520787699
3600.01/3611.40	c watch checks 165275903229
3600.01/3611.40	c propagation checks 23051631309
3600.01/3611.40	c constraint additions 241047707
3600.01/3611.40	c trail pops 51587161
3600.01/3611.40	c formula constraints 225
3600.01/3611.40	c learned constraints 473446
3600.01/3611.40	c bound constraints 60
3600.01/3611.40	c core-guided constraints 508
3600.01/3611.40	c encountered formula constraints 244898
3600.01/3611.40	c encountered learned constraints 4255439
3600.01/3611.40	c encountered bound constraints 52
3600.01/3611.40	c encountered core-guided constraints 980802
3600.01/3611.40	c LP total time 0 s
3600.01/3611.40	c LP solve time 0 s
3600.01/3611.40	c LP constraints added 0
3600.01/3611.40	c LP constraints removed 0
3600.01/3611.40	c LP pivots internal 0
3600.01/3611.40	c LP pivots root 0
3600.01/3611.40	c LP calls 0
3600.01/3611.40	c LP optimalities 0
3600.01/3611.40	c LP no pivot count 0
3600.01/3611.40	c LP infeasibilities 0
3600.01/3611.40	c LP valid Farkas constraints 0
3600.01/3611.40	c LP learned Farkas constraints 0
3600.01/3611.40	c LP basis resets 0
3600.01/3611.40	c LP cycling count 0
3600.01/3611.40	c LP singular count 0
3600.01/3611.40	c LP no primal count 0
3600.01/3611.40	c LP no farkas count 0
3600.01/3611.40	c LP other issue count 0
3600.01/3611.40	c LP Gomory cuts 0
3600.01/3611.40	c LP learned cuts 0
3600.01/3611.40	c LP deleted cuts 0
3600.01/3611.40	c LP encountered Gomory constraints 0
3600.01/3611.40	c LP encountered Farkas constraints 0
3600.01/3611.40	c LP encountered learned Farkas constraints 0
3600.01/3611.40	c CG auxiliary variables introduced 186
3600.01/3611.40	c CG solutions found 5
3600.01/3611.40	c CG cores constructed 51
3600.01/3611.40	c CG core cardinality constraints returned 0
3600.01/3611.40	c CG unit cores 0
3600.01/3611.40	c CG single cores 51
3600.01/3611.40	c CG blocks removed during cardinality reduction 0
3600.01/3611.40	c CG first core best 0
3600.01/3611.40	c CG decision core best 0
3600.01/3611.40	c CG core reduction tie 0
3600.01/3611.40	c CG core degree average 1.00
3600.01/3611.40	c CG core slack average 6.88
3600.01/3611.40	c CG exhausted 0
3600.01/3611.40	c CG exhaust time 11.0245 s
3600.01/3611.40	c CG trimmed 1
3600.01/3611.40	c CG trim time 0.008574 s
3600.01/3611.40	c CG minimized 0
3600.01/3611.40	c CG minimize time 0 s
3600.01/3611.40	c CG am1 prop time 0.00493 s
3600.01/3611.40	c CG # am1s reformulated 0
3600.01/3611.40	c CG lower bound derived from am1s 0
3600.01/3611.40	c CG # clausal cores 51
3600.01/3611.40	c CG # cardinality cores 0
3600.01/3611.40	c CG # pb cores 0
3600.01/3611.40	c CG # pb reforms 0
3600.01/3611.40	c CG # cores discarded because of pb reform 0
3600.01/3611.40	d LOWERBOUND 51
3600.01/3611.40	d NCORES 51
3600.01/3611.40	d NPBCORES 0
3600.01/3611.40	d NPBREFORM 0
3600.01/3611.40	d NTRIMMED 1
3600.01/3611.40	d NEXHAUSTED 0
3600.01/3611.40	d NAM1S 0
3600.01/3611.40	d AM1LB 0
3600.01/3611.40	o 53
3600.01/3611.40	s SATISFIABLE
3600.01/3611.40	v -x1 -x2 x3 -x4 -x5 x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 x89 x90 x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 x135 -x136 x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 x164 -x165 x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 x220 -x221 -x222 x223 -x224 -x225

Verifier Data 

OK	53

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62978 MiB free)
  memory of node 1: 64507 MiB (60912 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488030-1751338917/watcher-4488030-1751338917 -o /tmp/evaluation-result-4488030-1751338917/solver-4488030-1751338917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751338915-50528 --watchdog 3760 pb-oll-rs HOME/instance-4488030-1751338917.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=50715, runsolver pid=50707

[startup+0.100057 s]*
/proc/loadavg: 1.15 1.31 2.04 4/261 50720
/proc/meminfo: memFree=126861188/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=22292 memory=9088 CPUtime=0.08 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 1080 0 0 0 7 1 0 0 20 0 1 0 49569497 22827008 2272 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 5573 2272 1376 243 0 1822 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22292 KiB
Current children cumulated memory: 9088 KiB

[startup+0.204766 s]*
/proc/loadavg: 1.15 1.31 2.04 3/260 50733
/proc/meminfo: memFree=126861188/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=22868 memory=11704 CPUtime=0.17 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 1232 0 0 0 16 1 0 0 20 0 1 0 49569497 23416832 2926 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 5717 2926 1376 243 0 1966 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 22868 KiB
Current children cumulated memory: 11704 KiB

[startup+0.30507 s]*
/proc/loadavg: 1.15 1.31 2.04 3/261 50748
/proc/meminfo: memFree=126859172/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=23780 memory=12472 CPUtime=0.27 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 1420 0 0 0 25 2 0 0 20 0 1 0 49569497 24350720 3118 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 5945 3118 1376 243 0 2194 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 23780 KiB
Current children cumulated memory: 12472 KiB

[startup+0.700146 s]
/proc/loadavg: 1.15 1.31 2.04 2/259 50769
/proc/meminfo: memFree=126869256/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=25380 memory=13752 CPUtime=0.66 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 1758 0 0 0 63 3 0 0 20 0 1 0 49569497 25989120 3438 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 6345 3438 1376 243 0 2594 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 25380 KiB
Current children cumulated memory: 13752 KiB

[startup+1.50017 s]
/proc/loadavg: 1.15 1.31 2.04 2/254 50842
/proc/meminfo: memFree=126864104/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=25828 memory=15160 CPUtime=1.46 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 2091 0 0 0 140 6 0 0 20 0 1 0 49569497 26447872 3790 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 6457 3790 1376 243 0 2706 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 25828 KiB
Current children cumulated memory: 15160 KiB

[startup+3.10536 s]
/proc/loadavg: 1.15 1.31 2.04 4/263 51055
/proc/meminfo: memFree=126698720/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=36484 memory=22712 CPUtime=3.05 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 3985 0 0 0 296 9 0 0 20 0 1 0 49569497 37359616 5678 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 9121 5678 1376 243 0 5370 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 36484 KiB
Current children cumulated memory: 22712 KiB

[startup+6.30011 s]
/proc/loadavg: 1.38 1.35 2.05 5/265 51080
/proc/meminfo: memFree=126532608/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=39164 memory=26424 CPUtime=6.25 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 4913 0 0 0 608 17 0 0 20 0 1 0 49569497 40103936 6606 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 9791 6606 1376 243 0 6040 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 26424 KiB

[startup+12.7001 s]
/proc/loadavg: 1.59 1.40 2.06 5/265 51080
/proc/meminfo: memFree=126536300/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=42564 memory=30264 CPUtime=12.63 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 5869 0 0 0 1235 28 0 0 20 0 1 0 49569497 43585536 7566 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 10641 7566 1376 243 0 6890 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 42564 KiB
Current children cumulated memory: 30264 KiB

[startup+25.5001 s]
/proc/loadavg: 2.19 1.54 2.10 5/265 51171
/proc/meminfo: memFree=126465328/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=44708 memory=32184 CPUtime=25.38 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 6336 0 0 0 2500 38 0 0 20 0 1 0 49569497 45780992 8046 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 11177 8046 1376 243 0 7426 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 44708 KiB
Current children cumulated memory: 32184 KiB

[startup+51.1052 s]
/proc/loadavg: 2.81 1.74 2.15 5/265 51171
/proc/meminfo: memFree=126392112/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=50760 memory=38572 CPUtime=50.92 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 6844 0 0 0 5023 69 0 0 20 0 1 0 49569497 51978240 9643 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 12690 9643 1376 243 0 8939 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38572 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.11 2.25 5/265 51173
/proc/meminfo: memFree=126273604/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=52204 memory=39980 CPUtime=101.99 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 7272 0 0 0 10083 116 0 0 20 0 1 0 49569497 53456896 9995 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 13051 9995 1376 243 0 9300 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 52204 KiB
Current children cumulated memory: 39980 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.48 2.37 4/263 51175
/proc/meminfo: memFree=126341396/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=54264 memory=43308 CPUtime=161.81 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 8119 0 0 0 16029 152 0 0 20 0 1 0 49569497 55566336 10827 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 13566 10827 1376 243 0 9815 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 54264 KiB
Current children cumulated memory: 43308 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.76 2.48 5/265 51271
/proc/meminfo: memFree=126197296/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=81244 memory=59964 CPUtime=221.63 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 10254 0 0 0 21985 178 0 0 20 0 1 0 49569497 83193856 14991 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 20311 14991 1376 243 0 16560 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 81244 KiB
Current children cumulated memory: 59964 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.02 2.59 5/265 51273
/proc/meminfo: memFree=125984448/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=86528 memory=70364 CPUtime=281.43 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 11319 0 0 0 27951 192 0 0 20 0 1 0 49569497 88604672 17591 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 21632 17591 1376 243 0 17881 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 86528 KiB
Current children cumulated memory: 70364 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.22 2.68 5/264 51276
/proc/meminfo: memFree=125876592/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=111784 memory=78892 CPUtime=341.22 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 13038 0 0 0 33915 207 0 0 20 0 1 0 49569497 114466816 19723 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 27946 19723 1376 243 0 24195 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 111784 KiB
Current children cumulated memory: 78892 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.38 2.77 5/265 51279
/proc/meminfo: memFree=125810924/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=114484 memory=85572 CPUtime=401.02 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 13859 0 0 0 39882 220 0 0 20 0 1 0 49569497 117231616 21393 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 28621 21393 1376 243 0 24870 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 114484 KiB
Current children cumulated memory: 85572 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.51 2.86 5/265 51281
/proc/meminfo: memFree=125746444/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=114484 memory=85572 CPUtime=460.81 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 13859 0 0 0 45847 234 0 0 20 0 1 0 49569497 117231616 21393 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 28621 21393 1376 243 0 24870 0
Current children cumulated CPU time: 460.81 s

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

Current children cumulated memory: 131652 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.02 5/262 51399
/proc/meminfo: memFree=124766088/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=172152 memory=136512 CPUtime=2853.36 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 20096 0 0 0 284605 731 0 0 20 0 1 0 49569497 176283648 34128 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 43038 34128 1376 243 0 39287 0
Current children cumulated CPU time: 2853.36 s
Current children cumulated vsize: 172152 KiB
Current children cumulated memory: 136512 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/263 51402
/proc/meminfo: memFree=124760536/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=175556 memory=140384 CPUtime=2913.16 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 20659 0 0 0 290578 738 0 0 20 0 1 0 49569497 179769344 35096 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 43889 35096 1376 243 0 40138 0
Current children cumulated CPU time: 2913.16 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 140384 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/263 51404
/proc/meminfo: memFree=124749472/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=177796 memory=143752 CPUtime=2972.95 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21001 0 0 0 296551 744 0 0 20 0 1 0 49569497 182063104 35938 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44449 35938 1376 243 0 40698 0
Current children cumulated CPU time: 2972.95 s
Current children cumulated vsize: 177796 KiB
Current children cumulated memory: 143752 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 51409
/proc/meminfo: memFree=124695744/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178308 memory=144300 CPUtime=3032.75 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21213 0 0 0 302522 753 0 0 20 0 1 0 49569497 182587392 36075 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44577 36075 1376 243 0 40826 0
Current children cumulated CPU time: 3032.75 s
Current children cumulated vsize: 178308 KiB
Current children cumulated memory: 144300 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/264 51411
/proc/meminfo: memFree=124699832/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178308 memory=144300 CPUtime=3092.56 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21213 0 0 0 308494 762 0 0 20 0 1 0 49569497 182587392 36075 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44577 36075 1376 243 0 40826 0
Current children cumulated CPU time: 3092.56 s
Current children cumulated vsize: 178308 KiB
Current children cumulated memory: 144300 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.03 5/264 51413
/proc/meminfo: memFree=124704548/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178308 memory=144300 CPUtime=3152.36 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21213 0 0 0 314466 770 0 0 20 0 1 0 49569497 182587392 36075 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44577 36075 1376 243 0 40826 0
Current children cumulated CPU time: 3152.36 s
Current children cumulated vsize: 178308 KiB
Current children cumulated memory: 144300 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.12 4.04 5/263 51419
/proc/meminfo: memFree=124708728/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178308 memory=144300 CPUtime=3212.17 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21213 0 0 0 320439 778 0 0 20 0 1 0 49569497 182587392 36075 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44577 36075 1376 243 0 40826 0
Current children cumulated CPU time: 3212.17 s
Current children cumulated vsize: 178308 KiB
Current children cumulated memory: 144300 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.17 4.06 5/263 51421
/proc/meminfo: memFree=124713508/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178800 memory=144556 CPUtime=3271.98 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21304 0 0 0 326411 787 0 0 20 0 1 0 49569497 183091200 36139 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44700 36139 1376 243 0 40949 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 178800 KiB
Current children cumulated memory: 144556 KiB

[startup+3342.3 s]
/proc/loadavg: 4.54 4.25 4.10 5/264 51424
/proc/meminfo: memFree=124718604/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178800 memory=144556 CPUtime=3331.78 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21346 0 0 0 332380 798 0 0 20 0 1 0 49569497 183091200 36139 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44700 36139 1376 243 0 40949 0
Current children cumulated CPU time: 3331.78 s
Current children cumulated vsize: 178800 KiB
Current children cumulated memory: 144556 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.22 4.09 5/264 51426
/proc/meminfo: memFree=124719416/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178800 memory=144556 CPUtime=3391.59 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21348 0 0 0 338350 809 0 0 20 0 1 0 49569497 183091200 36139 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44700 36139 1376 243 0 40949 0
Current children cumulated CPU time: 3391.59 s
Current children cumulated vsize: 178800 KiB
Current children cumulated memory: 144556 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.19 4.09 5/265 51429
/proc/meminfo: memFree=124718288/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178800 memory=144556 CPUtime=3451.39 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21350 0 0 0 344321 818 0 0 20 0 1 0 49569497 183091200 36139 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44700 36139 1376 243 0 40949 0
Current children cumulated CPU time: 3451.39 s
Current children cumulated vsize: 178800 KiB
Current children cumulated memory: 144556 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.09 5/265 51431
/proc/meminfo: memFree=124714652/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178800 memory=144556 CPUtime=3511.19 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21351 0 0 0 350291 828 0 0 20 0 1 0 49569497 183091200 36139 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44700 36139 1376 243 0 40949 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 178800 KiB
Current children cumulated memory: 144556 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.15 4.09 5/265 51444
/proc/meminfo: memFree=124708564/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178800 memory=144556 CPUtime=3571.01 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21351 0 0 0 356257 844 0 0 20 0 1 0 49569497 183091200 36139 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44700 36139 1376 243 0 40949 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 178800 KiB
Current children cumulated memory: 144556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.10 4.15 4.09 5/265 51444
/proc/meminfo: memFree=124700508/131249996 swapFree=33010684/33010684
[pid=50715] ppid=50707 vsize=178800 memory=144556 CPUtime=3600.01 cores=5,7
/proc/50715/stat : 50715 (pb-oll-rs) R 50707 50715 50515 0 -1 4194304 21351 0 0 0 359151 850 0 0 20 0 1 0 49569497 183091200 36139 18446744073709551615 4218880 5211445 140727499920608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10928128 140727499921820 140727499921897 140727499921897 140727499927499 0
/proc/50715/statm: 44700 36139 1376 243 0 40949 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 178800 KiB
Current children cumulated memory: 144556 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.52 s, system=8.50852 s

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

Child status: 0

Real time (s): 3611.4
CPU time (s): 3600.03
CPU user time (s): 3591.52
CPU system time (s): 8.50852
CPU usage (%): 99.685
Max. virtual memory (cumulated for all children) (KiB): 178904
Max. memory (cumulated for all children) (KiB): 144648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.52
system time used= 8.50852
maximum resident set size= 144812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21366
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= 139
involuntary context switches= 19516


# summary of solver processes directly reported to runsolver:
#   pid: 50715
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3591.52
#   total CPU system time (s): 8.50852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51812 second user time and 16.4113 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-01 05:01:57
IDJOB=4488030
IDBENCH=147228
IDSOLVER=3345
FILE ID=nodeC017/4488030-1751338917
RUNJOBID= nodeC017-1751338915-50528
SLURM_JOB_ID= 9594401
Free space on /tmp= 433016 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488030-1751338917/watcher-4488030-1751338917 -o /tmp/evaluation-result-4488030-1751338917/solver-4488030-1751338917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751338915-50528 --watchdog 3760  pb-oll-rs HOME/instance-4488030-1751338917.opb

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

MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0
RANDOM SEED=1483230073

nodeC017 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.582
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	: 7000.12
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		: 3600.054
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	: 7000.12
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		: 3600.378
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	: 7000.12
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		: 3600.477
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	: 7000.12
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		: 3601.583
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	: 7000.12
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		: 3602.832
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	: 7000.12
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		: 3600.247
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	: 7000.12
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		: 3600.065
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126873020 kB
MemAvailable:   129724660 kB
Buffers:            2380 kB
Cached:          3622276 kB
SwapCached:            0 kB
Active:           383216 kB
Inactive:        3316612 kB
Active(anon):      93244 kB
Inactive(anon):       12 kB
Active(file):     289972 kB
Inactive(file):  3316600 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5144 kB
Writeback:             0 kB
AnonPages:         78380 kB
Mapped:           104876 kB
Shmem:             18080 kB
KReclaimable:     168212 kB
Slab:             257992 kB
SReclaimable:     168212 kB
SUnreclaim:        89780 kB
KernelStack:        4208 kB
PageTables:         3024 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     362308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC017 at 2025-07-01 06:02:09