Trace number 4454287

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-07-19SAT (TO)53 3600.07 3609.02

DiagnosticValue
AM1LB0
LOWERBOUND51
NAM1S0
NCORES51
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED1

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 benchmark26.7007
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 225 #constraints 225
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 0 @ 0.000389
0.00/0.00	c stratification level: 0
0.00/0.00	c bounds - >= 1 @ 0.000389
0.00/0.00	c bounds - >= 2 @ 0.000389
0.00/0.00	c bounds - >= 3 @ 0.000389
0.00/0.00	c bounds - >= 4 @ 0.000389
0.00/0.00	c bounds - >= 5 @ 0.000389
0.00/0.00	c bounds - >= 6 @ 0.000389
0.00/0.00	c bounds - >= 7 @ 0.000389
0.00/0.00	c bounds - >= 8 @ 0.000418
0.00/0.00	c bounds - >= 9 @ 0.000459
0.00/0.00	c bounds - >= 10 @ 0.000501
0.00/0.00	c bounds - >= 11 @ 0.000548
0.00/0.00	c bounds - >= 12 @ 0.000592
0.00/0.00	c bounds - >= 13 @ 0.000637
0.00/0.00	c bounds - >= 14 @ 0.0007
0.00/0.00	c bounds - >= 15 @ 0.000742
0.00/0.00	c bounds - >= 16 @ 0.000782
0.00/0.00	c bounds - >= 17 @ 0.000828
0.00/0.00	c bounds - >= 18 @ 0.000874
0.00/0.00	c bounds - >= 19 @ 0.00092
0.00/0.00	c bounds - >= 20 @ 0.000962
0.00/0.00	c bounds - >= 21 @ 0.001006
0.00/0.00	c bounds - >= 22 @ 0.001052
0.00/0.00	c bounds - >= 23 @ 0.001102
0.00/0.00	c bounds - >= 24 @ 0.001149
0.00/0.00	c bounds - >= 25 @ 0.001195
0.00/0.00	c bounds - >= 26 @ 0.001241
0.00/0.00	c bounds - >= 27 @ 0.001285
0.00/0.00	c bounds - >= 28 @ 0.001333
0.00/0.00	c bounds - >= 29 @ 0.001384
0.00/0.00	c bounds - >= 30 @ 0.001433
0.00/0.00	c bounds - >= 31 @ 0.001483
0.00/0.00	c bounds - >= 32 @ 0.001534
0.00/0.00	c bounds - >= 33 @ 0.001587
0.00/0.00	c bounds - >= 34 @ 0.001654
0.00/0.00	c bounds - >= 35 @ 0.001707
0.00/0.00	c bounds - >= 36 @ 0.001759
0.00/0.00	c bounds - >= 37 @ 0.001808
0.00/0.00	c bounds - >= 38 @ 0.001854
0.00/0.00	c bounds - >= 39 @ 0.001903
0.00/0.00	c bounds - >= 40 @ 0.001955
0.00/0.00	c bounds - >= 41 @ 0.002006
0.00/0.00	c bounds - >= 42 @ 0.002055
0.00/0.00	c bounds - >= 43 @ 0.002106
0.00/0.00	c finalizing WCE round: reformulating cores
6.57/6.64	c #Conflicts:       1000 | #Constraints:       1281
6.57/6.64	c #Conflicts:       2000 | #Constraints:       2283
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:       3000 | #Constraints:       2255
6.57/6.64	c #Conflicts:       4000 | #Constraints:       3257
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:       5000 | #Constraints:       2667
6.57/6.64	c #Conflicts:       6000 | #Constraints:       3669
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:       7000 | #Constraints:       2670
6.57/6.64	c #Conflicts:       8000 | #Constraints:       3672
6.57/6.64	c #Conflicts:       9000 | #Constraints:       4676
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:      10000 | #Constraints:       3380
6.57/6.64	c #Conflicts:      11000 | #Constraints:       4382
6.57/6.64	c #Conflicts:      12000 | #Constraints:       5384
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:      13000 | #Constraints:       3837
6.57/6.64	c #Conflicts:      14000 | #Constraints:       4839
6.57/6.64	c #Conflicts:      15000 | #Constraints:       5841
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:      16000 | #Constraints:       4069
6.57/6.64	c #Conflicts:      17000 | #Constraints:       5071
6.57/6.64	c #Conflicts:      18000 | #Constraints:       6073
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:      19000 | #Constraints:       4094
6.57/6.64	c #Conflicts:      20000 | #Constraints:       5096
6.57/6.64	c #Conflicts:      21000 | #Constraints:       6098
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:      22000 | #Constraints:       3906
6.57/6.64	c #Conflicts:      23000 | #Constraints:       4908
6.57/6.64	c #Conflicts:      24000 | #Constraints:       5912
6.57/6.64	c #Conflicts:      25000 | #Constraints:       6914
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:      26000 | #Constraints:       4525
6.57/6.64	c #Conflicts:      27000 | #Constraints:       5527
6.57/6.64	c #Conflicts:      28000 | #Constraints:       6529
6.57/6.64	c #Conflicts:      29000 | #Constraints:       7533
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:      30000 | #Constraints:       4933
6.57/6.64	c #Conflicts:      31000 | #Constraints:       5935
6.57/6.64	c #Conflicts:      32000 | #Constraints:       6937
6.57/6.64	c #Conflicts:      33000 | #Constraints:       7941
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c bounds 61 >= 43 @ 4.07888
6.57/6.64	c bounds 61 >= 44 @ 4.08236
6.57/6.64	c bounds 61 >= 45 @ 4.09106
6.57/6.64	c #Conflicts:      34000 | #Constraints:       5234
6.57/6.64	c #Conflicts:      35000 | #Constraints:       6234
6.57/6.64	c #Conflicts:      36000 | #Constraints:       7234
6.57/6.64	c #Conflicts:      37000 | #Constraints:       8234
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:      38000 | #Constraints:       5215
6.57/6.64	c #Conflicts:      39000 | #Constraints:       6215
6.57/6.64	c #Conflicts:      40000 | #Constraints:       7215
6.57/6.64	c #Conflicts:      41000 | #Constraints:       8215
6.57/6.64	c INPROCESSING
6.57/6.64	c GARBAGE COLLECT
6.57/6.64	c #Conflicts:      42000 | #Constraints:       5006
6.57/6.64	c #Conflicts:      43000 | #Constraints:       6006
6.57/6.64	c #Conflicts:      44000 | #Constraints:       7006
6.57/6.64	c #Conflicts:      45000 | #Constraints:       8006
6.57/6.64	c finalizing WCE round: reformulating cores
7.18/7.25	c #Conflicts:      46000 | #Constraints:       9009
7.18/7.25	c INPROCESSING
7.18/7.25	c GARBAGE COLLECT
7.18/7.25	c #Conflicts:      47000 | #Constraints:       5606
7.18/7.25	c bounds 60 >= 45 @ 6.79382
7.18/7.25	c bounds 60 >= 46 @ 6.81269
7.18/7.25	c #Conflicts:      48000 | #Constraints:       6679
7.18/7.25	c bounds 60 >= 47 @ 6.99132
7.18/7.25	c finalizing WCE round: reformulating cores
28.82/28.93	c #Conflicts:      49000 | #Constraints:       7764
28.82/28.93	c bounds 59 >= 47 @ 7.39976
28.82/28.93	c #Conflicts:      50000 | #Constraints:       8766
28.82/28.93	c bounds 59 >= 48 @ 7.52552
28.82/28.93	c #Conflicts:      51000 | #Constraints:       9791
28.82/28.93	c INPROCESSING
28.82/28.93	c GARBAGE COLLECT
28.82/28.93	c #Conflicts:      52000 | #Constraints:       6161
28.82/28.93	c #Conflicts:      53000 | #Constraints:       7161
28.82/28.93	c #Conflicts:      54000 | #Constraints:       8161
28.82/28.93	c #Conflicts:      55000 | #Constraints:       9161
28.82/28.93	c #Conflicts:      56000 | #Constraints:      10161
28.82/28.93	c INPROCESSING
28.82/28.93	c GARBAGE COLLECT
28.82/28.93	c #Conflicts:      57000 | #Constraints:       6353
28.82/28.93	c #Conflicts:      58000 | #Constraints:       7353
28.82/28.93	c #Conflicts:      59000 | #Constraints:       8353
28.82/28.93	c #Conflicts:      60000 | #Constraints:       9353
28.82/28.93	c #Conflicts:      61000 | #Constraints:      10353
28.82/28.93	c INPROCESSING
28.82/28.93	c GARBAGE COLLECT
28.82/28.93	c #Conflicts:      62000 | #Constraints:       6347
28.82/28.93	c #Conflicts:      63000 | #Constraints:       7347
28.82/28.93	c #Conflicts:      64000 | #Constraints:       8347
28.82/28.93	c #Conflicts:      65000 | #Constraints:       9347
28.82/28.95	c #Conflicts:      66000 | #Constraints:      10347
28.82/28.95	c INPROCESSING
28.82/28.95	c GARBAGE COLLECT
28.82/28.95	c #Conflicts:      67000 | #Constraints:       6153
28.82/28.95	c #Conflicts:      68000 | #Constraints:       7153
28.82/28.95	c #Conflicts:      69000 | #Constraints:       8153
28.82/28.95	c bounds 59 >= 49 @ 27.7854
28.82/28.95	c #Conflicts:      70000 | #Constraints:       9244
28.82/28.95	c #Conflicts:      71000 | #Constraints:      10244
28.82/28.95	c finalizing WCE round: reformulating cores
146.84/147.22	c #Conflicts:      72000 | #Constraints:      11250
146.84/147.22	c bounds 56 >= 49 @ 29.0688
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:      73000 | #Constraints:       6813
146.84/147.22	c bounds 56 >= 50 @ 30.2671
146.84/147.22	c #Conflicts:      74000 | #Constraints:       7841
146.84/147.22	c #Conflicts:      75000 | #Constraints:       8841
146.84/147.22	c #Conflicts:      76000 | #Constraints:       9841
146.84/147.22	c #Conflicts:      77000 | #Constraints:      10841
146.84/147.22	c #Conflicts:      78000 | #Constraints:      11841
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:      79000 | #Constraints:       7215
146.84/147.22	c #Conflicts:      80000 | #Constraints:       8215
146.84/147.22	c #Conflicts:      81000 | #Constraints:       9215
146.84/147.22	c #Conflicts:      82000 | #Constraints:      10215
146.84/147.22	c #Conflicts:      83000 | #Constraints:      11215
146.84/147.22	c #Conflicts:      84000 | #Constraints:      12215
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:      85000 | #Constraints:       7410
146.84/147.22	c #Conflicts:      86000 | #Constraints:       8410
146.84/147.22	c #Conflicts:      87000 | #Constraints:       9410
146.84/147.22	c #Conflicts:      88000 | #Constraints:      10410
146.84/147.22	c #Conflicts:      89000 | #Constraints:      11410
146.84/147.22	c #Conflicts:      90000 | #Constraints:      12410
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:      91000 | #Constraints:       7415
146.84/147.22	c #Conflicts:      92000 | #Constraints:       8415
146.84/147.22	c #Conflicts:      93000 | #Constraints:       9415
146.84/147.22	c #Conflicts:      94000 | #Constraints:      10415
146.84/147.22	c #Conflicts:      95000 | #Constraints:      11415
146.84/147.22	c #Conflicts:      96000 | #Constraints:      12415
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:      97000 | #Constraints:       7214
146.84/147.22	c #Conflicts:      98000 | #Constraints:       8214
146.84/147.22	c #Conflicts:      99000 | #Constraints:       9214
146.84/147.22	c #Conflicts:     100000 | #Constraints:      10214
146.84/147.22	c #Conflicts:     101000 | #Constraints:      11214
146.84/147.22	c #Conflicts:     102000 | #Constraints:      12214
146.84/147.22	c #Conflicts:     103000 | #Constraints:      13214
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:     104000 | #Constraints:       7815
146.84/147.22	c #Conflicts:     105000 | #Constraints:       8815
146.84/147.22	c #Conflicts:     106000 | #Constraints:       9815
146.84/147.22	c #Conflicts:     107000 | #Constraints:      10815
146.84/147.22	c #Conflicts:     108000 | #Constraints:      11815
146.84/147.22	c #Conflicts:     109000 | #Constraints:      12815
146.84/147.22	c #Conflicts:     110000 | #Constraints:      13815
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:     111000 | #Constraints:       8216
146.84/147.22	c #Conflicts:     112000 | #Constraints:       9216
146.84/147.22	c #Conflicts:     113000 | #Constraints:      10216
146.84/147.22	c #Conflicts:     114000 | #Constraints:      11216
146.84/147.22	c #Conflicts:     115000 | #Constraints:      12216
146.84/147.22	c #Conflicts:     116000 | #Constraints:      13216
146.84/147.22	c #Conflicts:     117000 | #Constraints:      14216
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:     118000 | #Constraints:       8418
146.84/147.22	c #Conflicts:     119000 | #Constraints:       9418
146.84/147.22	c #Conflicts:     120000 | #Constraints:      10418
146.84/147.22	c #Conflicts:     121000 | #Constraints:      11418
146.84/147.22	c #Conflicts:     122000 | #Constraints:      12418
146.84/147.22	c #Conflicts:     123000 | #Constraints:      13418
146.84/147.22	c #Conflicts:     124000 | #Constraints:      14418
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:     125000 | #Constraints:       8419
146.84/147.22	c #Conflicts:     126000 | #Constraints:       9419
146.84/147.22	c #Conflicts:     127000 | #Constraints:      10419
146.84/147.22	c #Conflicts:     128000 | #Constraints:      11419
146.84/147.22	c #Conflicts:     129000 | #Constraints:      12419
146.84/147.22	c #Conflicts:     130000 | #Constraints:      13419
146.84/147.22	c #Conflicts:     131000 | #Constraints:      14419
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:     132000 | #Constraints:       8215
146.84/147.22	c #Conflicts:     133000 | #Constraints:       9215
146.84/147.22	c #Conflicts:     134000 | #Constraints:      10215
146.84/147.22	c #Conflicts:     135000 | #Constraints:      11215
146.84/147.22	c #Conflicts:     136000 | #Constraints:      12215
146.84/147.22	c #Conflicts:     137000 | #Constraints:      13215
146.84/147.22	c #Conflicts:     138000 | #Constraints:      14215
146.84/147.22	c #Conflicts:     139000 | #Constraints:      15215
146.84/147.22	c INPROCESSING
146.84/147.22	c GARBAGE COLLECT
146.84/147.22	c #Conflicts:     140000 | #Constraints:       8815
146.84/147.22	c #Conflicts:     141000 | #Constraints:       9815
146.84/147.22	c #Conflicts:     142000 | #Constraints:      10815
304.79/305.65	c #Conflicts:     143000 | #Constraints:      11815
304.79/305.65	c #Conflicts:     144000 | #Constraints:      12815
304.79/305.65	c #Conflicts:     145000 | #Constraints:      13815
304.79/305.65	c #Conflicts:     146000 | #Constraints:      14815
304.79/305.65	c #Conflicts:     147000 | #Constraints:      15815
304.79/305.65	c INPROCESSING
304.79/305.65	c GARBAGE COLLECT
304.79/305.65	c #Conflicts:     148000 | #Constraints:       9225
304.79/305.65	c #Conflicts:     149000 | #Constraints:      10225
304.79/305.65	c #Conflicts:     150000 | #Constraints:      11225
304.79/305.65	c #Conflicts:     151000 | #Constraints:      12225
304.79/305.65	c #Conflicts:     152000 | #Constraints:      13225
304.79/305.65	c #Conflicts:     153000 | #Constraints:      14225
304.79/305.65	c #Conflicts:     154000 | #Constraints:      15225
304.79/305.65	c #Conflicts:     155000 | #Constraints:      16225
304.79/305.65	c #Conflicts:     156000 | #Constraints:      17225
304.79/305.65	c #Conflicts:     157000 | #Constraints:      18225
304.79/305.65	c #Conflicts:     158000 | #Constraints:      19225
304.79/305.65	c #Conflicts:     159000 | #Constraints:      20225
304.79/305.65	c #Conflicts:     160000 | #Constraints:      21225
304.79/305.65	c #Conflicts:     161000 | #Constraints:      22225
304.79/305.65	c #Conflicts:     162000 | #Constraints:      23225
304.79/305.65	c #Conflicts:     163000 | #Constraints:      24225
304.79/305.65	c #Conflicts:     164000 | #Constraints:      25225
304.79/305.65	c #Conflicts:     165000 | #Constraints:      26225
304.79/305.65	c #Conflicts:     166000 | #Constraints:      27225
304.79/305.65	c #Conflicts:     167000 | #Constraints:      28225
304.79/305.65	c #Conflicts:     168000 | #Constraints:      29225
304.79/305.65	c #Conflicts:     169000 | #Constraints:      30225
304.79/305.65	c #Conflicts:     170000 | #Constraints:      31225
304.79/305.65	c #Conflicts:     171000 | #Constraints:      32225
304.79/305.65	c #Conflicts:     172000 | #Constraints:      33225
304.79/305.65	c #Conflicts:     173000 | #Constraints:      34225
304.79/305.65	c #Conflicts:     174000 | #Constraints:      35225
304.79/305.65	c #Conflicts:     175000 | #Constraints:      36225
304.79/305.65	c finalizing WCE round: reformulating cores
765.28/767.45	c #Conflicts:     176000 | #Constraints:      37228
765.28/767.45	c bounds 53 >= 50 @ 307.659
765.28/767.45	c #Conflicts:     177000 | #Constraints:      38228
765.28/767.45	c #Conflicts:     178000 | #Constraints:      39228
765.28/767.45	c #Conflicts:     179000 | #Constraints:      40228
765.28/767.45	c #Conflicts:     180000 | #Constraints:      41228
765.28/767.45	c #Conflicts:     181000 | #Constraints:      42228
765.28/767.45	c #Conflicts:     182000 | #Constraints:      43228
765.28/767.45	c INPROCESSING
765.28/767.45	c GARBAGE COLLECT
765.28/767.45	c #Conflicts:     183000 | #Constraints:      22471
765.28/767.45	c #Conflicts:     184000 | #Constraints:      23471
765.28/767.45	c #Conflicts:     185000 | #Constraints:      24471
765.28/767.45	c #Conflicts:     186000 | #Constraints:      25471
765.28/767.45	c #Conflicts:     187000 | #Constraints:      26471
765.28/767.45	c #Conflicts:     188000 | #Constraints:      27471
765.28/767.45	c #Conflicts:     189000 | #Constraints:      28471
765.28/767.45	c #Conflicts:     190000 | #Constraints:      29471
765.28/767.45	c #Conflicts:     191000 | #Constraints:      30471
765.28/767.45	c #Conflicts:     192000 | #Constraints:      31471
765.28/767.45	c INPROCESSING
765.28/767.45	c GARBAGE COLLECT
765.28/767.45	c #Conflicts:     193000 | #Constraints:      17046
765.28/767.45	c #Conflicts:     194000 | #Constraints:      18046
765.28/767.45	c #Conflicts:     195000 | #Constraints:      19046
765.28/767.45	c #Conflicts:     196000 | #Constraints:      20046
765.28/767.45	c #Conflicts:     197000 | #Constraints:      21046
765.28/767.45	c #Conflicts:     198000 | #Constraints:      22046
765.28/767.45	c #Conflicts:     199000 | #Constraints:      23046
765.28/767.45	c #Conflicts:     200000 | #Constraints:      24046
765.28/767.45	c #Conflicts:     201000 | #Constraints:      25046
765.28/767.45	c INPROCESSING
765.28/767.45	c GARBAGE COLLECT
765.28/767.45	c #Conflicts:     202000 | #Constraints:      13696
765.28/767.45	c #Conflicts:     203000 | #Constraints:      14696
765.28/767.45	c #Conflicts:     204000 | #Constraints:      15696
765.28/767.45	c #Conflicts:     205000 | #Constraints:      16696
765.28/767.45	c #Conflicts:     206000 | #Constraints:      17696
765.28/767.45	c #Conflicts:     207000 | #Constraints:      18696
765.28/767.45	c #Conflicts:     208000 | #Constraints:      19696
765.28/767.45	c #Conflicts:     209000 | #Constraints:      20696
765.28/767.45	c #Conflicts:     210000 | #Constraints:      21696
765.28/767.45	c INPROCESSING
765.28/767.45	c GARBAGE COLLECT
765.28/767.45	c #Conflicts:     211000 | #Constraints:      11755
765.28/767.45	c #Conflicts:     212000 | #Constraints:      12755
765.28/767.45	c #Conflicts:     213000 | #Constraints:      13755
765.28/767.45	c #Conflicts:     214000 | #Constraints:      14755
765.28/767.45	c #Conflicts:     215000 | #Constraints:      15755
765.28/767.45	c #Conflicts:     216000 | #Constraints:      16755
765.28/767.45	c #Conflicts:     217000 | #Constraints:      17755
765.28/767.45	c #Conflicts:     218000 | #Constraints:      18755
765.28/767.45	c #Conflicts:     219000 | #Constraints:      19755
765.28/767.45	c #Conflicts:     220000 | #Constraints:      20755
765.28/767.45	c INPROCESSING
765.28/767.45	c GARBAGE COLLECT
765.28/767.45	c #Conflicts:     221000 | #Constraints:      11448
765.28/767.45	c #Conflicts:     222000 | #Constraints:      12448
765.28/767.45	c #Conflicts:     223000 | #Constraints:      13448
765.28/767.45	c #Conflicts:     224000 | #Constraints:      14448
765.28/767.45	c #Conflicts:     225000 | #Constraints:      15448
765.28/767.45	c #Conflicts:     226000 | #Constraints:      16448
765.28/767.45	c #Conflicts:     227000 | #Constraints:      17448
765.28/767.45	c #Conflicts:     228000 | #Constraints:      18448
765.28/767.45	c #Conflicts:     229000 | #Constraints:      19448
765.28/767.45	c #Conflicts:     230000 | #Constraints:      20448
765.28/767.45	c #Conflicts:     231000 | #Constraints:      21448
765.28/767.45	c #Conflicts:     232000 | #Constraints:      22448
765.28/767.45	c #Conflicts:     233000 | #Constraints:      23448
765.28/767.45	c #Conflicts:     234000 | #Constraints:      24448
765.28/767.45	c #Conflicts:     235000 | #Constraints:      25448
765.28/767.45	c #Conflicts:     236000 | #Constraints:      26448
765.28/767.45	c #Conflicts:     237000 | #Constraints:      27448
765.28/767.45	c #Conflicts:     238000 | #Constraints:      28448
765.28/767.45	c #Conflicts:     239000 | #Constraints:      29448
765.28/767.45	c #Conflicts:     240000 | #Constraints:      30448
765.28/767.45	c #Conflicts:     241000 | #Constraints:      31448
765.28/767.45	c bounds 53 >= 51 @ 730.331
765.28/767.45	c #Conflicts:     242000 | #Constraints:      32473
765.28/767.45	c #Conflicts:     243000 | #Constraints:      33473
765.28/767.45	c #Conflicts:     244000 | #Constraints:      34473
765.28/767.45	c #Conflicts:     245000 | #Constraints:      35473
765.28/767.45	c #Conflicts:     246000 | #Constraints:      36473
765.28/767.45	c #Conflicts:     247000 | #Constraints:      37473
765.28/767.45	c #Conflicts:     248000 | #Constraints:      38473
765.28/767.45	c #Conflicts:     249000 | #Constraints:      39473
765.28/767.45	c #Conflicts:     250000 | #Constraints:      40473
1233.79/1237.07	c #Conflicts:     251000 | #Constraints:      41473
1233.79/1237.07	c #Conflicts:     252000 | #Constraints:      42473
1233.79/1237.07	c #Conflicts:     253000 | #Constraints:      43473
1233.79/1237.07	c #Conflicts:     254000 | #Constraints:      44473
1233.79/1237.07	c #Conflicts:     255000 | #Constraints:      45473
1233.79/1237.07	c #Conflicts:     256000 | #Constraints:      46473
1233.79/1237.07	c #Conflicts:     257000 | #Constraints:      47473
1233.79/1237.07	c #Conflicts:     258000 | #Constraints:      48473
1233.79/1237.07	c #Conflicts:     259000 | #Constraints:      49473
1233.79/1237.07	c #Conflicts:     260000 | #Constraints:      50473
1233.79/1237.07	c #Conflicts:     261000 | #Constraints:      51473
1233.79/1237.07	c #Conflicts:     262000 | #Constraints:      52473
1233.79/1237.07	c INPROCESSING
1233.79/1237.07	c GARBAGE COLLECT
1233.79/1237.07	c #Conflicts:     263000 | #Constraints:      27148
1233.79/1237.07	c #Conflicts:     264000 | #Constraints:      28148
1233.79/1237.07	c #Conflicts:     265000 | #Constraints:      29148
1233.79/1237.07	c #Conflicts:     266000 | #Constraints:      30148
1233.79/1237.07	c #Conflicts:     267000 | #Constraints:      31148
1233.79/1237.07	c #Conflicts:     268000 | #Constraints:      32148
1233.79/1237.07	c #Conflicts:     269000 | #Constraints:      33148
1233.79/1237.07	c #Conflicts:     270000 | #Constraints:      34148
1233.79/1237.07	c #Conflicts:     271000 | #Constraints:      35148
1233.79/1237.07	c #Conflicts:     272000 | #Constraints:      36148
1233.79/1237.07	c #Conflicts:     273000 | #Constraints:      37148
1233.79/1237.07	c INPROCESSING
1233.79/1237.07	c GARBAGE COLLECT
1233.79/1237.07	c #Conflicts:     274000 | #Constraints:      19494
1233.79/1237.07	c #Conflicts:     275000 | #Constraints:      20494
1233.79/1237.07	c #Conflicts:     276000 | #Constraints:      21494
1233.79/1237.07	c #Conflicts:     277000 | #Constraints:      22494
1233.79/1237.07	c #Conflicts:     278000 | #Constraints:      23494
1233.79/1237.07	c #Conflicts:     279000 | #Constraints:      24494
1233.79/1237.07	c #Conflicts:     280000 | #Constraints:      25494
1233.79/1237.07	c #Conflicts:     281000 | #Constraints:      26494
1233.79/1237.07	c #Conflicts:     282000 | #Constraints:      27494
1233.79/1237.07	c #Conflicts:     283000 | #Constraints:      28494
1233.79/1237.07	c #Conflicts:     284000 | #Constraints:      29494
1233.79/1237.07	c #Conflicts:     285000 | #Constraints:      30494
1233.79/1237.07	c INPROCESSING
1233.79/1237.07	c GARBAGE COLLECT
1233.79/1237.07	c #Conflicts:     286000 | #Constraints:      16561
1233.79/1237.07	c #Conflicts:     287000 | #Constraints:      17561
1233.79/1237.07	c #Conflicts:     288000 | #Constraints:      18561
1233.79/1237.07	c #Conflicts:     289000 | #Constraints:      19561
1233.79/1237.07	c #Conflicts:     290000 | #Constraints:      20561
1233.79/1237.07	c #Conflicts:     291000 | #Constraints:      21561
1233.79/1237.07	c #Conflicts:     292000 | #Constraints:      22561
1233.79/1237.07	c #Conflicts:     293000 | #Constraints:      23561
1233.79/1237.07	c #Conflicts:     294000 | #Constraints:      24561
1233.79/1237.07	c #Conflicts:     295000 | #Constraints:      25561
1233.79/1237.07	c #Conflicts:     296000 | #Constraints:      26561
1233.79/1237.07	c INPROCESSING
1233.79/1237.07	c GARBAGE COLLECT
1233.79/1237.07	c #Conflicts:     297000 | #Constraints:      14394
1233.79/1237.07	c #Conflicts:     298000 | #Constraints:      15394
1233.79/1237.07	c #Conflicts:     299000 | #Constraints:      16394
1233.79/1237.07	c #Conflicts:     300000 | #Constraints:      17394
1233.79/1237.07	c #Conflicts:     301000 | #Constraints:      18394
1233.79/1237.07	c #Conflicts:     302000 | #Constraints:      19394
1233.79/1237.07	c #Conflicts:     303000 | #Constraints:      20394
1233.79/1237.07	c #Conflicts:     304000 | #Constraints:      21394
1233.79/1237.07	c #Conflicts:     305000 | #Constraints:      22394
1233.79/1237.07	c #Conflicts:     306000 | #Constraints:      23394
1233.79/1237.07	c #Conflicts:     307000 | #Constraints:      24394
1233.79/1237.07	c #Conflicts:     308000 | #Constraints:      25394
1233.79/1237.07	c #Conflicts:     309000 | #Constraints:      26394
1233.79/1237.07	c #Conflicts:     310000 | #Constraints:      27394
1233.79/1237.07	c #Conflicts:     311000 | #Constraints:      28394
1233.79/1237.07	c #Conflicts:     312000 | #Constraints:      29394
1233.79/1237.07	c #Conflicts:     313000 | #Constraints:      30394
1233.79/1237.07	c #Conflicts:     314000 | #Constraints:      31394
1233.79/1237.07	c #Conflicts:     315000 | #Constraints:      32394
1233.79/1237.07	c #Conflicts:     316000 | #Constraints:      33394
1233.79/1237.07	c #Conflicts:     317000 | #Constraints:      34394
1233.79/1237.07	c #Conflicts:     318000 | #Constraints:      35394
1233.79/1237.07	c #Conflicts:     319000 | #Constraints:      36394
1233.79/1237.07	c #Conflicts:     320000 | #Constraints:      37394
1233.79/1237.07	c #Conflicts:     321000 | #Constraints:      38394
1233.79/1237.07	c #Conflicts:     322000 | #Constraints:      39394
1233.79/1237.07	c #Conflicts:     323000 | #Constraints:      40394
1233.79/1237.07	c #Conflicts:     324000 | #Constraints:      41394
1233.79/1237.07	c #Conflicts:     325000 | #Constraints:      42394
1233.79/1237.07	c #Conflicts:     326000 | #Constraints:      43394
2038.88/2044.06	c #Conflicts:     327000 | #Constraints:      44394
2038.88/2044.06	c #Conflicts:     328000 | #Constraints:      45394
2038.88/2044.06	c #Conflicts:     329000 | #Constraints:      46394
2038.88/2044.06	c #Conflicts:     330000 | #Constraints:      47394
2038.88/2044.06	c #Conflicts:     331000 | #Constraints:      48394
2038.88/2044.06	c #Conflicts:     332000 | #Constraints:      49394
2038.88/2044.06	c #Conflicts:     333000 | #Constraints:      50394
2038.88/2044.06	c #Conflicts:     334000 | #Constraints:      51394
2038.88/2044.06	c #Conflicts:     335000 | #Constraints:      52394
2038.88/2044.06	c #Conflicts:     336000 | #Constraints:      53394
2038.88/2044.06	c #Conflicts:     337000 | #Constraints:      54394
2038.88/2044.06	c #Conflicts:     338000 | #Constraints:      55394
2038.88/2044.06	c #Conflicts:     339000 | #Constraints:      56394
2038.88/2044.06	c #Conflicts:     340000 | #Constraints:      57394
2038.88/2044.06	c #Conflicts:     341000 | #Constraints:      58394
2038.88/2044.06	c #Conflicts:     342000 | #Constraints:      59394
2038.88/2044.06	c #Conflicts:     343000 | #Constraints:      60394
2038.88/2044.06	c #Conflicts:     344000 | #Constraints:      61394
2038.88/2044.06	c INPROCESSING
2038.88/2044.06	c GARBAGE COLLECT
2038.88/2044.06	c #Conflicts:     345000 | #Constraints:      32012
2038.88/2044.06	c #Conflicts:     346000 | #Constraints:      33012
2038.88/2044.06	c #Conflicts:     347000 | #Constraints:      34012
2038.88/2044.06	c #Conflicts:     348000 | #Constraints:      35012
2038.88/2044.06	c #Conflicts:     349000 | #Constraints:      36012
2038.88/2044.06	c #Conflicts:     350000 | #Constraints:      37012
2038.88/2044.06	c #Conflicts:     351000 | #Constraints:      38012
2038.88/2044.06	c #Conflicts:     352000 | #Constraints:      39012
2038.88/2044.06	c #Conflicts:     353000 | #Constraints:      40012
2038.88/2044.06	c #Conflicts:     354000 | #Constraints:      41012
2038.88/2044.06	c #Conflicts:     355000 | #Constraints:      42012
2038.88/2044.06	c #Conflicts:     356000 | #Constraints:      43012
2038.88/2044.06	c INPROCESSING
2038.88/2044.06	c GARBAGE COLLECT
2038.88/2044.06	c #Conflicts:     357000 | #Constraints:      22481
2038.88/2044.06	c #Conflicts:     358000 | #Constraints:      23481
2038.88/2044.06	c #Conflicts:     359000 | #Constraints:      24481
2038.88/2044.06	c #Conflicts:     360000 | #Constraints:      25481
2038.88/2044.06	c #Conflicts:     361000 | #Constraints:      26481
2038.88/2044.06	c #Conflicts:     362000 | #Constraints:      27481
2038.88/2044.06	c #Conflicts:     363000 | #Constraints:      28481
2038.88/2044.06	c #Conflicts:     364000 | #Constraints:      29481
2038.88/2044.06	c #Conflicts:     365000 | #Constraints:      30481
2038.88/2044.06	c #Conflicts:     366000 | #Constraints:      31481
2038.88/2044.06	c #Conflicts:     367000 | #Constraints:      32481
2038.88/2044.06	c #Conflicts:     368000 | #Constraints:      33481
2038.88/2044.06	c #Conflicts:     369000 | #Constraints:      34481
2038.88/2044.06	c INPROCESSING
2038.88/2044.06	c GARBAGE COLLECT
2038.88/2044.06	c #Conflicts:     370000 | #Constraints:      18255
2038.88/2044.06	c #Conflicts:     371000 | #Constraints:      19255
2038.88/2044.06	c #Conflicts:     372000 | #Constraints:      20255
2038.88/2044.06	c #Conflicts:     373000 | #Constraints:      21255
2038.88/2044.06	c #Conflicts:     374000 | #Constraints:      22255
2038.88/2044.06	c #Conflicts:     375000 | #Constraints:      23255
2038.88/2044.06	c #Conflicts:     376000 | #Constraints:      24255
2038.88/2044.06	c #Conflicts:     377000 | #Constraints:      25255
2038.88/2044.06	c #Conflicts:     378000 | #Constraints:      26255
2038.88/2044.06	c #Conflicts:     379000 | #Constraints:      27255
2038.88/2044.06	c #Conflicts:     380000 | #Constraints:      28255
2038.88/2044.06	c #Conflicts:     381000 | #Constraints:      29255
2038.88/2044.06	c #Conflicts:     382000 | #Constraints:      30255
2038.88/2044.06	c INPROCESSING
2038.88/2044.06	c GARBAGE COLLECT
2038.88/2044.06	c #Conflicts:     383000 | #Constraints:      16100
2038.88/2044.06	c #Conflicts:     384000 | #Constraints:      17100
2038.88/2044.06	c #Conflicts:     385000 | #Constraints:      18100
2038.88/2044.06	c #Conflicts:     386000 | #Constraints:      19100
2038.88/2044.06	c #Conflicts:     387000 | #Constraints:      20100
2038.88/2044.06	c #Conflicts:     388000 | #Constraints:      21100
2038.88/2044.06	c #Conflicts:     389000 | #Constraints:      22100
2038.88/2044.06	c #Conflicts:     390000 | #Constraints:      23100
2038.88/2044.06	c #Conflicts:     391000 | #Constraints:      24100
2038.88/2044.06	c #Conflicts:     392000 | #Constraints:      25100
2038.88/2044.06	c #Conflicts:     393000 | #Constraints:      26100
2038.88/2044.06	c #Conflicts:     394000 | #Constraints:      27100
2038.88/2044.06	c #Conflicts:     395000 | #Constraints:      28100
2038.88/2044.06	c #Conflicts:     396000 | #Constraints:      29100
2038.88/2044.06	c #Conflicts:     397000 | #Constraints:      30100
2038.88/2044.06	c #Conflicts:     398000 | #Constraints:      31100
2038.88/2044.06	c #Conflicts:     399000 | #Constraints:      32100
2038.88/2044.06	c #Conflicts:     400000 | #Constraints:      33100
2038.88/2044.06	c #Conflicts:     401000 | #Constraints:      34100
2038.88/2044.06	c #Conflicts:     402000 | #Constraints:      35100
3272.53/3280.79	c #Conflicts:     403000 | #Constraints:      36100
3272.53/3280.79	c #Conflicts:     404000 | #Constraints:      37100
3272.53/3280.79	c #Conflicts:     405000 | #Constraints:      38100
3272.53/3280.79	c #Conflicts:     406000 | #Constraints:      39100
3272.53/3280.79	c #Conflicts:     407000 | #Constraints:      40100
3272.53/3280.79	c #Conflicts:     408000 | #Constraints:      41100
3272.53/3280.79	c #Conflicts:     409000 | #Constraints:      42100
3272.53/3280.79	c #Conflicts:     410000 | #Constraints:      43100
3272.53/3280.79	c #Conflicts:     411000 | #Constraints:      44100
3272.53/3280.79	c #Conflicts:     412000 | #Constraints:      45100
3272.53/3280.79	c #Conflicts:     413000 | #Constraints:      46100
3272.53/3280.79	c #Conflicts:     414000 | #Constraints:      47100
3272.53/3280.79	c #Conflicts:     415000 | #Constraints:      48100
3272.53/3280.79	c #Conflicts:     416000 | #Constraints:      49100
3272.53/3280.79	c #Conflicts:     417000 | #Constraints:      50100
3272.53/3280.79	c #Conflicts:     418000 | #Constraints:      51100
3272.53/3280.79	c #Conflicts:     419000 | #Constraints:      52100
3272.53/3280.79	c #Conflicts:     420000 | #Constraints:      53100
3272.53/3280.79	c #Conflicts:     421000 | #Constraints:      54100
3272.53/3280.79	c #Conflicts:     422000 | #Constraints:      55100
3272.53/3280.79	c #Conflicts:     423000 | #Constraints:      56100
3272.53/3280.79	c #Conflicts:     424000 | #Constraints:      57100
3272.53/3280.79	c #Conflicts:     425000 | #Constraints:      58100
3272.53/3280.79	c #Conflicts:     426000 | #Constraints:      59100
3272.53/3280.79	c #Conflicts:     427000 | #Constraints:      60100
3272.53/3280.79	c #Conflicts:     428000 | #Constraints:      61100
3272.53/3280.79	c #Conflicts:     429000 | #Constraints:      62100
3272.53/3280.79	c #Conflicts:     430000 | #Constraints:      63100
3272.53/3280.79	c #Conflicts:     431000 | #Constraints:      64100
3272.53/3280.79	c #Conflicts:     432000 | #Constraints:      65100
3272.53/3280.79	c #Conflicts:     433000 | #Constraints:      66100
3272.53/3280.79	c #Conflicts:     434000 | #Constraints:      67100
3272.53/3280.79	c #Conflicts:     435000 | #Constraints:      68100
3272.53/3280.79	c INPROCESSING
3272.53/3280.79	c GARBAGE COLLECT
3272.53/3280.79	c #Conflicts:     436000 | #Constraints:      35074
3272.53/3280.79	c #Conflicts:     437000 | #Constraints:      36074
3272.53/3280.79	c #Conflicts:     438000 | #Constraints:      37074
3272.53/3280.79	c #Conflicts:     439000 | #Constraints:      38074
3272.53/3280.79	c #Conflicts:     440000 | #Constraints:      39074
3272.53/3280.79	c #Conflicts:     441000 | #Constraints:      40074
3272.53/3280.79	c #Conflicts:     442000 | #Constraints:      41074
3272.53/3280.79	c #Conflicts:     443000 | #Constraints:      42074
3272.53/3280.79	c #Conflicts:     444000 | #Constraints:      43074
3272.53/3280.79	c #Conflicts:     445000 | #Constraints:      44074
3272.53/3280.79	c #Conflicts:     446000 | #Constraints:      45074
3272.53/3280.79	c #Conflicts:     447000 | #Constraints:      46074
3272.53/3280.79	c #Conflicts:     448000 | #Constraints:      47074
3272.53/3280.79	c #Conflicts:     449000 | #Constraints:      48074
3272.53/3280.79	c #Conflicts:     450000 | #Constraints:      49074
3272.53/3280.79	c INPROCESSING
3272.53/3280.79	c GARBAGE COLLECT
3272.53/3280.79	c #Conflicts:     451000 | #Constraints:      25857
3272.53/3280.79	c #Conflicts:     452000 | #Constraints:      26857
3272.53/3280.79	c #Conflicts:     453000 | #Constraints:      27857
3272.53/3280.79	c #Conflicts:     454000 | #Constraints:      28857
3272.53/3280.79	c #Conflicts:     455000 | #Constraints:      29857
3272.53/3280.79	c #Conflicts:     456000 | #Constraints:      30857
3272.53/3280.79	c #Conflicts:     457000 | #Constraints:      31857
3272.53/3280.79	c #Conflicts:     458000 | #Constraints:      32857
3272.53/3280.79	c #Conflicts:     459000 | #Constraints:      33857
3272.53/3280.79	c #Conflicts:     460000 | #Constraints:      34857
3272.53/3280.79	c #Conflicts:     461000 | #Constraints:      35857
3272.53/3280.79	c #Conflicts:     462000 | #Constraints:      36857
3272.53/3280.79	c #Conflicts:     463000 | #Constraints:      37857
3272.53/3280.79	c #Conflicts:     464000 | #Constraints:      38857
3272.53/3280.79	c INPROCESSING
3272.53/3280.79	c GARBAGE COLLECT
3272.53/3280.79	c #Conflicts:     465000 | #Constraints:      20443
3272.53/3280.79	c #Conflicts:     466000 | #Constraints:      21443
3272.53/3280.79	c #Conflicts:     467000 | #Constraints:      22443
3272.53/3280.79	c #Conflicts:     468000 | #Constraints:      23443
3272.53/3280.79	c #Conflicts:     469000 | #Constraints:      24443
3272.53/3280.79	c #Conflicts:     470000 | #Constraints:      25443
3272.53/3280.79	c #Conflicts:     471000 | #Constraints:      26443
3272.53/3280.79	c #Conflicts:     472000 | #Constraints:      27443
3272.53/3280.79	c #Conflicts:     473000 | #Constraints:      28443
3272.53/3280.79	c #Conflicts:     474000 | #Constraints:      29443
3272.53/3280.79	c #Conflicts:     475000 | #Constraints:      30443
3272.53/3280.79	c #Conflicts:     476000 | #Constraints:      31443
3272.53/3280.79	c #Conflicts:     477000 | #Constraints:      32443
3272.53/3280.79	c #Conflicts:     478000 | #Constraints:      33443
3272.53/3280.79	c #Conflicts:     479000 | #Constraints:      34443
3600.04/3609.01	c #Conflicts:     480000 | #Constraints:      35443
3600.04/3609.01	c #Conflicts:     481000 | #Constraints:      36443
3600.04/3609.01	c #Conflicts:     482000 | #Constraints:      37443
3600.04/3609.01	c #Conflicts:     483000 | #Constraints:      38443
3600.04/3609.01	c #Conflicts:     484000 | #Constraints:      39443
3600.04/3609.01	c #Conflicts:     485000 | #Constraints:      40443
3600.04/3609.01	c #Conflicts:     486000 | #Constraints:      41443
3600.04/3609.01	c #Conflicts:     487000 | #Constraints:      42443
3600.04/3609.01	c #Conflicts:     488000 | #Constraints:      43443
3600.04/3609.01	c #Conflicts:     489000 | #Constraints:      44443
3600.04/3609.01	c #Conflicts:     490000 | #Constraints:      45443
3600.04/3609.01	c #Conflicts:     491000 | #Constraints:      46443
3600.04/3609.01	c #Conflicts:     492000 | #Constraints:      47443
3600.04/3609.01	c #Conflicts:     493000 | #Constraints:      48443
3600.04/3609.01	c #Conflicts:     494000 | #Constraints:      49443
3600.04/3609.01	c #Conflicts:     495000 | #Constraints:      50443
3600.04/3609.01	c #Conflicts:     496000 | #Constraints:      51443
3600.04/3609.01	c Program interrupted by user.
3600.04/3609.01	c cpu time 3591.07 s
3600.04/3609.01	c deterministic time 354660986871 3.55e+11
3600.04/3609.01	c optimization time 490.459 s
3600.04/3609.01	c total solve time 3100.61 s
3600.04/3609.01	c core-guided solve time 3100.61 s
3600.04/3609.01	c propagation time 3322.75 s
3600.04/3609.01	c conflict analysis time 255.164 s
3600.04/3609.01	c propagations 47797670
3600.04/3609.01	c resolve steps 5281439
3600.04/3609.01	c decisions 6146479
3600.04/3609.01	c conflicts 496283
3600.04/3609.01	c restarts 1022
3600.04/3609.01	c inprocessing phases 46
3600.04/3609.01	c input clauses 362
3600.04/3609.01	c input cardinalities 288
3600.04/3609.01	c input general constraints 143
3600.04/3609.01	c input average constraint length 23.84
3600.04/3609.01	c input average constraint degree 6.59
3600.04/3609.01	c learned clauses 119621
3600.04/3609.01	c learned cardinalities 6025
3600.04/3609.01	c learned general constraints 370637
3600.04/3609.01	c learned average constraint length 116.66
3600.04/3609.01	c learned average constraint degree 3666018.61
3600.04/3609.01	c watched constraints 330550
3600.04/3609.01	c counting constraints 40230
3600.04/3609.01	c gcd simplifications 9802
3600.04/3609.01	c detected cardinalities 171
3600.04/3609.01	c weakened non-implied lits 5358802
3600.04/3609.01	c weakened non-implying lits 15543
3600.04/3609.01	c original variables 225
3600.04/3609.01	c clausal propagations 10786612
3600.04/3609.01	c cardinality propagations 1156692
3600.04/3609.01	c watched propagations 13836180
3600.04/3609.01	c counting propagations 21671495
3600.04/3609.01	c watch lookups 76369980774
3600.04/3609.01	c watch backjump lookups 71965360877
3600.04/3609.01	c watch checks 180361947793
3600.04/3609.01	c propagation checks 25601176213
3600.04/3609.01	c constraint additions 254136664
3600.04/3609.01	c trail pops 54440400
3600.04/3609.01	c formula constraints 225
3600.04/3609.01	c learned constraints 496283
3600.04/3609.01	c bound constraints 60
3600.04/3609.01	c core-guided constraints 508
3600.04/3609.01	c encountered formula constraints 251710
3600.04/3609.01	c encountered learned constraints 4495516
3600.04/3609.01	c encountered bound constraints 52
3600.04/3609.01	c encountered core-guided constraints 1030444
3600.04/3609.01	c LP total time 0 s
3600.04/3609.01	c LP solve time 0 s
3600.04/3609.01	c LP constraints added 0
3600.04/3609.01	c LP constraints removed 0
3600.04/3609.01	c LP pivots internal 0
3600.04/3609.01	c LP pivots root 0
3600.04/3609.01	c LP calls 0
3600.04/3609.01	c LP optimalities 0
3600.04/3609.01	c LP no pivot count 0
3600.04/3609.01	c LP infeasibilities 0
3600.04/3609.01	c LP valid Farkas constraints 0
3600.04/3609.01	c LP learned Farkas constraints 0
3600.04/3609.01	c LP basis resets 0
3600.04/3609.01	c LP cycling count 0
3600.04/3609.01	c LP singular count 0
3600.04/3609.01	c LP no primal count 0
3600.04/3609.01	c LP no farkas count 0
3600.04/3609.01	c LP other issue count 0
3600.04/3609.01	c LP Gomory cuts 0
3600.04/3609.01	c LP learned cuts 0
3600.04/3609.01	c LP deleted cuts 0
3600.04/3609.01	c LP encountered Gomory constraints 0
3600.04/3609.01	c LP encountered Farkas constraints 0
3600.04/3609.01	c LP encountered learned Farkas constraints 0
3600.04/3609.01	c CG auxiliary variables introduced 186
3600.04/3609.01	c CG solutions found 5
3600.04/3609.01	c CG cores constructed 51
3600.04/3609.01	c CG core cardinality constraints returned 0
3600.04/3609.01	c CG unit cores 0
3600.04/3609.01	c CG single cores 51
3600.04/3609.01	c CG blocks removed during cardinality reduction 0
3600.04/3609.01	c CG first core best 0
3600.04/3609.01	c CG decision core best 0
3600.04/3609.01	c CG core reduction tie 0
3600.04/3609.01	c CG core degree average 1.00
3600.04/3609.01	c CG core slack average 6.88
3600.04/3609.01	c CG exhausted 0
3600.04/3609.01	c CG exhaust time 10.4028 s
3600.04/3609.01	c CG trimmed 1
3600.04/3609.01	c CG trim time 0.007781 s
3600.04/3609.01	c CG minimized 0
3600.04/3609.01	c CG minimize time 0 s
3600.04/3609.01	c CG am1 prop time 0.004172 s
3600.04/3609.01	c CG # am1s reformulated 0
3600.04/3609.01	c CG lower bound derived from am1s 0
3600.04/3609.01	c CG # clausal cores 51
3600.04/3609.01	c CG # cardinality cores 0
3600.04/3609.01	c CG # pb cores 0
3600.04/3609.01	c CG # pb reforms 0
3600.04/3609.01	c CG # cores discarded because of pb reform 0
3600.04/3609.01	d LOWERBOUND 51
3600.04/3609.01	d NCORES 51
3600.04/3609.01	d NPBCORES 0
3600.04/3609.01	d NPBREFORM 0
3600.04/3609.01	d NTRIMMED 1
3600.04/3609.01	d NEXHAUSTED 0
3600.04/3609.01	d NAM1S 0
3600.04/3609.01	d AM1LB 0
3600.04/3609.01	o 53
3600.04/3609.01	s SATISFIABLE
3600.04/3609.01	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: 63931 MiB (62541 MiB free)
  memory of node 1: 64510 MiB (63255 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454287-1721467467/watcher-4454287-1721467467 -o /tmp/evaluation-result-4454287-1721467467/solver-4454287-1721467467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721467479-1049282 --watchdog 3760 pb-oll-rs HOME/instance-4454287-1721467467.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1049470, runsolver pid=1049467

[startup+0.100089 s]*
/proc/loadavg: 1.09 1.37 2.46 4/257 1049482
/proc/meminfo: memFree=128799908/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=41408 memory=9464 CPUtime=0.09 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 1194 0 0 0 9 0 0 0 20 0 1 0 198911576 42401792 2366 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 10352 2366 1367 291 0 1886 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41408 KiB
Current children cumulated memory: 9464 KiB

[startup+0.205579 s]*
/proc/loadavg: 1.09 1.37 2.46 4/256 1049496
/proc/meminfo: memFree=128791764/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=41840 memory=12036 CPUtime=0.2 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 1347 0 0 0 19 1 0 0 20 0 1 0 198911576 42844160 3009 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 10460 3009 1367 291 0 1994 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41840 KiB
Current children cumulated memory: 12036 KiB

[startup+0.304505 s]*
/proc/loadavg: 1.09 1.37 2.46 4/253 1049513
/proc/meminfo: memFree=128792040/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=43396 memory=13644 CPUtime=0.3 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 1651 0 0 0 29 1 0 0 20 0 1 0 198911576 44437504 3411 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 10849 3411 1444 291 0 2383 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43396 KiB
Current children cumulated memory: 13644 KiB

[startup+0.700193 s]
/proc/loadavg: 1.09 1.37 2.46 7/259 1049528
/proc/meminfo: memFree=128730976/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=44036 memory=14172 CPUtime=0.69 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 1802 0 0 0 66 3 0 0 20 0 1 0 198911576 45092864 3543 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 11009 3543 1444 291 0 2543 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44036 KiB
Current children cumulated memory: 14172 KiB

[startup+1.50021 s]
/proc/loadavg: 1.09 1.37 2.46 7/259 1049528
/proc/meminfo: memFree=128710188/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=45092 memory=15756 CPUtime=1.49 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 2145 0 0 0 143 6 0 0 20 0 1 0 198911576 46174208 3939 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 11273 3939 1444 291 0 2807 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45092 KiB
Current children cumulated memory: 15756 KiB

[startup+3.10555 s]
/proc/loadavg: 1.32 1.42 2.47 4/256 1049634
/proc/meminfo: memFree=128605372/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=55324 memory=24464 CPUtime=3.08 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 3827 0 0 0 297 11 0 0 20 0 1 0 198911576 56651776 6116 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 13831 6116 1444 291 0 5365 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 55324 KiB
Current children cumulated memory: 24464 KiB

[startup+6.30017 s]
/proc/loadavg: 1.32 1.42 2.47 5/259 1049806
/proc/meminfo: memFree=128544052/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=58180 memory=26892 CPUtime=6.27 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 4440 0 0 0 608 19 0 0 20 0 1 0 198911576 59576320 6723 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 14545 6723 1444 291 0 6079 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 58180 KiB
Current children cumulated memory: 26892 KiB

[startup+12.7002 s]
/proc/loadavg: 1.81 1.52 2.49 5/259 1049806
/proc/meminfo: memFree=128525044/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=61596 memory=30628 CPUtime=12.66 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 5367 0 0 0 1234 32 0 0 20 0 1 0 198911576 63074304 7657 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 15399 7657 1444 291 0 6933 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 61596 KiB
Current children cumulated memory: 30628 KiB

[startup+25.5002 s]
/proc/loadavg: 2.15 1.60 2.51 5/260 1050192
/proc/meminfo: memFree=128497352/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=63592 memory=32420 CPUtime=25.43 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 5835 0 0 0 2500 43 0 0 20 0 1 0 198911576 65118208 8105 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 15898 8105 1444 291 0 7432 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 63592 KiB
Current children cumulated memory: 32420 KiB

[startup+51.1057 s]
/proc/loadavg: 2.78 1.79 2.55 5/257 1050287
/proc/meminfo: memFree=128380424/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=69556 memory=36496 CPUtime=50.96 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 6390 0 0 0 5022 74 0 0 20 0 1 0 198911576 71225344 9124 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 17389 9124 1444 291 0 8923 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 69556 KiB
Current children cumulated memory: 36496 KiB

[startup+102.3 s]
/proc/loadavg: 3.72 2.20 2.65 5/257 1050295
/proc/meminfo: memFree=128273856/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=71008 memory=40772 CPUtime=102.03 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 6821 0 0 0 10080 123 0 0 20 0 1 0 198911576 72712192 10193 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 17752 10193 1444 291 0 9286 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 71008 KiB
Current children cumulated memory: 40772 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 2.61 2.77 5/257 1050305
/proc/meminfo: memFree=128169448/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=73032 memory=43756 CPUtime=161.9 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 7623 0 0 0 16024 166 0 0 20 0 1 0 198911576 74784768 10939 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 18258 10939 1444 291 0 9792 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 73032 KiB
Current children cumulated memory: 43756 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.88 2.85 6/258 1050485
/proc/meminfo: memFree=128097404/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=99440 memory=60216 CPUtime=221.74 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 9730 0 0 0 21984 190 0 0 20 0 1 0 198911576 101826560 15054 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 24860 15054 1444 291 0 16394 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 99440 KiB
Current children cumulated memory: 60216 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.12 2.94 5/258 1050495
/proc/meminfo: memFree=128020900/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=105984 memory=71308 CPUtime=281.57 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 11031 0 0 0 27951 206 0 0 20 0 1 0 198911576 108527616 17827 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 26496 17827 1444 291 0 18030 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 105984 KiB
Current children cumulated memory: 71308 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.30 3.01 5/260 1050565
/proc/meminfo: memFree=127901968/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=131240 memory=80112 CPUtime=341.39 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 12791 0 0 0 33920 219 0 0 20 0 1 0 198911576 134389760 20028 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 32810 20028 1444 291 0 24344 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 131240 KiB
Current children cumulated memory: 80112 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.46 3.09 5/260 1050577
/proc/meminfo: memFree=127845692/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=133572 memory=86696 CPUtime=401.21 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 13544 0 0 0 39890 231 0 0 20 0 1 0 198911576 136777728 21674 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 33393 21674 1444 291 0 24927 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 133572 KiB
Current children cumulated memory: 86696 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.58 3.15 5/260 1050587
/proc/meminfo: memFree=127775612/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=133572 memory=86696 CPUtime=461.04 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 13558 0 0 0 45860 244 0 0 20 0 1 0 198911576 136777728 21674 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 33393 21674 1444 291 0 24927 0

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

Current children cumulated memory: 145400 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.15 4.06 5/256 1051592
/proc/meminfo: memFree=126477644/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197004 memory=145400 CPUtime=2855.12 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22318 0 0 0 284741 771 0 0 20 0 1 0 198911576 201732096 36350 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49251 36350 1444 291 0 40785 0
Current children cumulated CPU time: 2855.12 s
Current children cumulated vsize: 197004 KiB
Current children cumulated memory: 145400 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.13 4.06 5/256 1051603
/proc/meminfo: memFree=126466992/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197004 memory=145400 CPUtime=2914.98 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22370 0 0 0 290719 779 0 0 20 0 1 0 198911576 201732096 36350 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49251 36350 1444 291 0 40785 0
Current children cumulated CPU time: 2914.98 s
Current children cumulated vsize: 197004 KiB
Current children cumulated memory: 145400 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.06 5/256 1051614
/proc/meminfo: memFree=126450156/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145732 CPUtime=2974.84 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22497 0 0 0 296692 792 0 0 20 0 1 0 198911576 202264576 36433 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36433 1444 291 0 40915 0
Current children cumulated CPU time: 2974.84 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145732 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.07 5/257 1051625
/proc/meminfo: memFree=126432108/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145736 CPUtime=3034.7 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22544 0 0 0 302668 802 0 0 20 0 1 0 198911576 202264576 36434 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36434 1444 291 0 40915 0
Current children cumulated CPU time: 3034.7 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145736 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/255 1051635
/proc/meminfo: memFree=126397144/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145736 CPUtime=3094.56 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22593 0 0 0 308644 812 0 0 20 0 1 0 198911576 202264576 36434 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36434 1444 291 0 40915 0
Current children cumulated CPU time: 3094.56 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145736 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/255 1051645
/proc/meminfo: memFree=126369356/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145736 CPUtime=3154.41 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22642 0 0 0 314617 824 0 0 20 0 1 0 198911576 202264576 36434 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36434 1444 291 0 40915 0
Current children cumulated CPU time: 3154.41 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145736 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/255 1051656
/proc/meminfo: memFree=126350524/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145768 CPUtime=3214.27 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22688 0 0 0 320589 838 0 0 20 0 1 0 198911576 202264576 36442 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36442 1444 291 0 40915 0
Current children cumulated CPU time: 3214.27 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145768 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/255 1051666
/proc/meminfo: memFree=126332092/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145768 CPUtime=3274.12 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22735 0 0 0 326562 850 0 0 20 0 1 0 198911576 202264576 36442 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36442 1444 291 0 40915 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145768 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/256 1051681
/proc/meminfo: memFree=126318508/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145768 CPUtime=3333.99 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22784 0 0 0 332537 862 0 0 20 0 1 0 198911576 202264576 36442 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36442 1444 291 0 40915 0
Current children cumulated CPU time: 3333.99 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/257 1051693
/proc/meminfo: memFree=126288560/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145768 CPUtime=3393.84 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22835 0 0 0 338513 871 0 0 20 0 1 0 198911576 202264576 36442 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36442 1444 291 0 40915 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/257 1051703
/proc/meminfo: memFree=126264316/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145768 CPUtime=3453.7 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22886 0 0 0 344490 880 0 0 20 0 1 0 198911576 202264576 36442 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36442 1444 291 0 40915 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145768 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/257 1051714
/proc/meminfo: memFree=126244804/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145768 CPUtime=3513.56 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22940 0 0 0 350469 887 0 0 20 0 1 0 198911576 202264576 36442 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36442 1444 291 0 40915 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145768 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.09 5/257 1051725
/proc/meminfo: memFree=126222140/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145768 CPUtime=3573.41 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22994 0 0 0 356446 895 0 0 20 0 1 0 198911576 202264576 36442 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36442 1444 291 0 40915 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 1051775
/proc/meminfo: memFree=127196876/131524600 swapFree=131071996/131071996
[pid=1049470] ppid=1049467 vsize=197524 memory=145768 CPUtime=3600.04 cores=5,7
/proc/1049470/stat : 1049470 (pb-oll-rs) R 1049467 1049470 1049269 0 -1 4194304 22995 0 0 0 359106 898 0 0 20 0 1 0 198911576 202264576 36442 134679101440 4194304 5384485 140735055134080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 32624640 140735055139861 140735055139938 140735055139938 140735055146955 0
/proc/1049470/statm: 49381 36442 1444 291 0 40915 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 145768 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.07 s, system=8.99097 s

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

Child status: 0

Real time (s): 3609.02
CPU time (s): 3600.07
CPU user time (s): 3591.07
CPU system time (s): 8.99097
CPU usage (%): 99.752
Max. virtual memory (cumulated for all children) (KiB): 197600
Max. memory (cumulated for all children) (KiB): 145768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.07
system time used= 8.99097
maximum resident set size= 145768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23010
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= 52
involuntary context switches= 2105


# summary of solver processes directly reported to runsolver:
#   pid: 1049470
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3591.07
#   total CPU system time (s): 8.99097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99496 second user time and 16.3986 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-20 11:24:40
IDJOB=4454287
IDBENCH=147228
IDSOLVER=3082
FILE ID=nodeC024/4454287-1721467467
RUNJOBID= nodeC024-1721467479-1049282
SLURM_JOB_ID= 7545720
Free space on /tmp= 890080 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454287-1721467467/watcher-4454287-1721467467 -o /tmp/evaluation-result-4454287-1721467467/solver-4454287-1721467467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721467479-1049282 --watchdog 3760  pb-oll-rs HOME/instance-4454287-1721467467.opb

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

MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0
RANDOM SEED=682147110

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3666.309
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
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		: 3382.903
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
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		: 3659.030
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
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		: 3441.539
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
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		: 3627.563
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
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		: 3410.479
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
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		: 3625.937
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
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		: 3602.485
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128817528 kB
MemAvailable:   129699472 kB
Buffers:          554204 kB
Cached:          1171184 kB
SwapCached:            0 kB
Active:          1059064 kB
Inactive:        1033592 kB
Active(anon):       1436 kB
Inactive(anon):   411396 kB
Active(file):    1057628 kB
Inactive(file):   622196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6220 kB
Writeback:            76 kB
AnonPages:        366644 kB
Mapped:           109128 kB
Shmem:             45912 kB
KReclaimable:      83536 kB
Slab:             195344 kB
SReclaimable:      83536 kB
SUnreclaim:       111808 kB
KernelStack:        4000 kB
PageTables:        10064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     750136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72096 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      299732 kB
DirectMap2M:    36173824 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC024 at 2024-07-20 12:24:49