Trace number 4489088

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)218 3600.05 3611.2

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
MD5SUMb5aa25dccc2460ad32c358f07bd5c94a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark180
Best CPU time to get the best result obtained on this benchmark3585.17
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables473
Total number of constraints472
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints472
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 473
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 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
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.01	c [STEP] solving
0.00/0.01	c #variables 473 #constraints 472
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.00224
0.00/0.01	c stratification level: 0
0.00/0.02	c bounds - >= 50 @ 0.003476
0.00/0.02	c bounds - >= 51 @ 0.003701
0.00/0.02	c bounds - >= 52 @ 0.003804
0.00/0.02	c bounds - >= 53 @ 0.003903
0.00/0.02	c bounds - >= 54 @ 0.004003
0.00/0.02	c bounds - >= 55 @ 0.004103
0.00/0.02	c bounds - >= 56 @ 0.004203
0.00/0.02	c bounds - >= 57 @ 0.004245
0.00/0.02	c bounds - >= 58 @ 0.004245
0.00/0.02	c bounds - >= 59 @ 0.004245
0.00/0.02	c bounds - >= 60 @ 0.004245
0.00/0.02	c bounds - >= 61 @ 0.004245
0.00/0.02	c bounds - >= 62 @ 0.004245
0.00/0.02	c bounds - >= 63 @ 0.004245
0.00/0.02	c bounds - >= 64 @ 0.004245
0.00/0.02	c bounds - >= 65 @ 0.004245
0.00/0.02	c bounds - >= 66 @ 0.004283
0.00/0.02	c bounds - >= 67 @ 0.004283
0.00/0.02	c bounds - >= 68 @ 0.004283
0.00/0.02	c bounds - >= 69 @ 0.004283
0.00/0.02	c bounds - >= 70 @ 0.004283
0.00/0.02	c bounds - >= 71 @ 0.004283
0.00/0.02	c bounds - >= 72 @ 0.004283
0.00/0.02	c bounds - >= 73 @ 0.004283
0.00/0.02	c bounds - >= 74 @ 0.004283
0.00/0.02	c bounds - >= 75 @ 0.004283
0.00/0.02	c bounds - >= 76 @ 0.004283
0.00/0.02	c bounds - >= 77 @ 0.004283
0.00/0.02	c bounds - >= 78 @ 0.004283
0.00/0.02	c bounds - >= 79 @ 0.004283
0.00/0.02	c bounds - >= 80 @ 0.004283
0.00/0.02	c bounds - >= 81 @ 0.004283
0.00/0.02	c bounds - >= 82 @ 0.004283
0.00/0.02	c bounds - >= 83 @ 0.004283
0.00/0.02	c bounds - >= 84 @ 0.004283
0.00/0.02	c bounds - >= 85 @ 0.004283
0.00/0.02	c bounds - >= 86 @ 0.004283
0.00/0.02	c bounds - >= 87 @ 0.004283
0.00/0.02	c bounds - >= 88 @ 0.004283
0.00/0.02	c bounds - >= 89 @ 0.004283
0.00/0.02	c bounds - >= 90 @ 0.004283
0.00/0.02	c bounds - >= 91 @ 0.00434
0.00/0.02	c bounds - >= 92 @ 0.004455
0.00/0.02	c bounds - >= 93 @ 0.004579
0.00/0.02	c bounds - >= 94 @ 0.004698
0.00/0.02	c bounds - >= 95 @ 0.004863
0.00/0.02	c bounds - >= 96 @ 0.004945
0.00/0.02	c bounds - >= 97 @ 0.005009
0.00/0.02	c bounds - >= 98 @ 0.005071
0.00/0.02	c bounds - >= 99 @ 0.005094
0.00/0.02	c bounds - >= 100 @ 0.005094
0.00/0.02	c bounds - >= 101 @ 0.005094
0.00/0.02	c bounds - >= 102 @ 0.005094
0.00/0.02	c bounds - >= 103 @ 0.005094
0.00/0.02	c bounds - >= 104 @ 0.005094
0.00/0.02	c bounds - >= 105 @ 0.005094
0.00/0.02	c bounds - >= 106 @ 0.005094
0.00/0.02	c bounds - >= 107 @ 0.005222
0.00/0.02	c bounds - >= 108 @ 0.00535
0.00/0.02	c bounds - >= 109 @ 0.005476
0.00/0.02	c bounds - >= 110 @ 0.005597
0.00/0.02	c bounds - >= 111 @ 0.005729
0.00/0.02	c bounds - >= 112 @ 0.005859
0.00/0.02	c bounds - >= 113 @ 0.005983
0.00/0.02	c bounds - >= 114 @ 0.006117
0.00/0.02	c bounds - >= 115 @ 0.006256
0.00/0.02	c bounds - >= 116 @ 0.006395
0.00/0.02	c bounds - >= 117 @ 0.006568
0.00/0.02	c bounds - >= 118 @ 0.006727
0.00/0.02	c bounds - >= 119 @ 0.006884
0.00/0.02	c bounds - >= 120 @ 0.007046
0.00/0.02	c bounds - >= 121 @ 0.007094
0.00/0.02	c bounds - >= 122 @ 0.007094
0.00/0.02	c bounds - >= 123 @ 0.007094
0.00/0.02	c finalizing WCE round: reformulating cores
33.97/34.15	c #Conflicts:       1000 | #Constraints:       1625
33.97/34.15	c #Conflicts:       2000 | #Constraints:       2629
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:       3000 | #Constraints:       2561
33.97/34.15	c #Conflicts:       4000 | #Constraints:       3563
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:       5000 | #Constraints:       2968
33.97/34.15	c #Conflicts:       6000 | #Constraints:       3970
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:       7000 | #Constraints:       2966
33.97/34.15	c #Conflicts:       8000 | #Constraints:       3968
33.97/34.15	c #Conflicts:       9000 | #Constraints:       4972
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      10000 | #Constraints:       3675
33.97/34.15	c #Conflicts:      11000 | #Constraints:       4677
33.97/34.15	c #Conflicts:      12000 | #Constraints:       5679
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      13000 | #Constraints:       4132
33.97/34.15	c #Conflicts:      14000 | #Constraints:       5134
33.97/34.15	c #Conflicts:      15000 | #Constraints:       6136
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      16000 | #Constraints:       4369
33.97/34.15	c #Conflicts:      17000 | #Constraints:       5371
33.97/34.15	c #Conflicts:      18000 | #Constraints:       6373
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      19000 | #Constraints:       4391
33.97/34.15	c #Conflicts:      20000 | #Constraints:       5393
33.97/34.15	c #Conflicts:      21000 | #Constraints:       6395
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      22000 | #Constraints:       4200
33.97/34.15	c #Conflicts:      23000 | #Constraints:       5202
33.97/34.15	c #Conflicts:      24000 | #Constraints:       6206
33.97/34.15	c #Conflicts:      25000 | #Constraints:       7208
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      26000 | #Constraints:       4810
33.97/34.15	c #Conflicts:      27000 | #Constraints:       5812
33.97/34.15	c #Conflicts:      28000 | #Constraints:       6814
33.97/34.15	c #Conflicts:      29000 | #Constraints:       7818
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      30000 | #Constraints:       5224
33.97/34.15	c #Conflicts:      31000 | #Constraints:       6226
33.97/34.15	c #Conflicts:      32000 | #Constraints:       7228
33.97/34.15	c #Conflicts:      33000 | #Constraints:       8232
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      34000 | #Constraints:       5438
33.97/34.15	c #Conflicts:      35000 | #Constraints:       6440
33.97/34.15	c #Conflicts:      36000 | #Constraints:       7442
33.97/34.15	c #Conflicts:      37000 | #Constraints:       8446
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      38000 | #Constraints:       5446
33.97/34.15	c #Conflicts:      39000 | #Constraints:       6448
33.97/34.15	c #Conflicts:      40000 | #Constraints:       7450
33.97/34.15	c #Conflicts:      41000 | #Constraints:       8454
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      42000 | #Constraints:       5265
33.97/34.15	c #Conflicts:      43000 | #Constraints:       6267
33.97/34.15	c #Conflicts:      44000 | #Constraints:       7271
33.97/34.15	c #Conflicts:      45000 | #Constraints:       8273
33.97/34.15	c #Conflicts:      46000 | #Constraints:       9275
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      47000 | #Constraints:       5873
33.97/34.15	c #Conflicts:      48000 | #Constraints:       6875
33.97/34.15	c #Conflicts:      49000 | #Constraints:       7877
33.97/34.15	c #Conflicts:      50000 | #Constraints:       8881
33.97/34.15	c #Conflicts:      51000 | #Constraints:       9883
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      52000 | #Constraints:       6290
33.97/34.15	c #Conflicts:      53000 | #Constraints:       7292
33.97/34.15	c #Conflicts:      54000 | #Constraints:       8294
33.97/34.15	c #Conflicts:      55000 | #Constraints:       9298
33.97/34.15	c #Conflicts:      56000 | #Constraints:      10300
33.97/34.15	c INPROCESSING
33.97/34.15	c GARBAGE COLLECT
33.97/34.15	c #Conflicts:      57000 | #Constraints:       6503
33.97/34.15	c #Conflicts:      58000 | #Constraints:       7505
33.97/34.15	c bounds 220 >= 123 @ 33.1305
33.97/34.15	c bounds 220 >= 124 @ 33.1425
33.97/34.15	c bounds 220 >= 125 @ 33.1443
33.97/34.15	c bounds 220 >= 126 @ 33.1472
33.97/34.15	c bounds 220 >= 127 @ 33.1497
33.97/34.15	c bounds 220 >= 128 @ 33.1543
33.97/34.15	c bounds 220 >= 129 @ 33.1565
33.97/34.15	c bounds 220 >= 130 @ 33.1635
33.97/34.15	c bounds 220 >= 131 @ 33.1642
33.97/34.15	c bounds 220 >= 132 @ 33.1674
33.97/34.15	c bounds 220 >= 133 @ 33.1806
33.97/34.15	c finalizing WCE round: reformulating cores
44.23/44.40	c #Conflicts:      59000 | #Constraints:       8639
44.23/44.40	c #Conflicts:      60000 | #Constraints:       9643
44.23/44.40	c #Conflicts:      61000 | #Constraints:      10645
44.23/44.40	c INPROCESSING
44.23/44.40	c GARBAGE COLLECT
44.23/44.40	c #Conflicts:      62000 | #Constraints:       6614
44.23/44.40	c #Conflicts:      63000 | #Constraints:       7616
44.23/44.40	c #Conflicts:      64000 | #Constraints:       8618
44.23/44.40	c #Conflicts:      65000 | #Constraints:       9622
44.23/44.40	c #Conflicts:      66000 | #Constraints:      10624
44.23/44.40	c bounds 219 >= 133 @ 39.8151
44.23/44.40	c bounds 219 >= 134 @ 39.8362
44.23/44.40	c bounds 219 >= 135 @ 39.8692
44.23/44.40	c bounds 219 >= 136 @ 40.0906
44.23/44.40	c INPROCESSING
44.23/44.40	c GARBAGE COLLECT
44.23/44.40	c #Conflicts:      67000 | #Constraints:       6512
44.23/44.40	c #Conflicts:      68000 | #Constraints:       7512
44.23/44.40	c bounds 219 >= 137 @ 43.3345
44.23/44.40	c finalizing WCE round: reformulating cores
300.33/301.28	c #Conflicts:      69000 | #Constraints:       8653
300.33/301.28	c bounds 218 >= 136 @ 46.1688
300.33/301.28	c #Conflicts:      70000 | #Constraints:       9657
300.33/301.28	c #Conflicts:      71000 | #Constraints:      10659
300.33/301.28	c bounds 218 >= 138 @ 47.5783
300.33/301.28	c bounds 218 >= 139 @ 47.839
300.33/301.28	c #Conflicts:      72000 | #Constraints:      11690
300.33/301.28	c INPROCESSING
300.33/301.28	c GARBAGE COLLECT
300.33/301.28	c #Conflicts:      73000 | #Constraints:       7238
300.33/301.28	c #Conflicts:      74000 | #Constraints:       8238
300.33/301.28	c #Conflicts:      75000 | #Constraints:       9238
300.33/301.28	c #Conflicts:      76000 | #Constraints:      10238
300.33/301.28	c #Conflicts:      77000 | #Constraints:      11238
300.33/301.28	c bounds 218 >= 140 @ 55.9857
300.33/301.28	c #Conflicts:      78000 | #Constraints:      12293
300.33/301.28	c INPROCESSING
300.33/301.28	c GARBAGE COLLECT
300.33/301.28	c #Conflicts:      79000 | #Constraints:       7660
300.33/301.28	c #Conflicts:      80000 | #Constraints:       8660
300.33/301.28	c #Conflicts:      81000 | #Constraints:       9660
300.33/301.28	c #Conflicts:      82000 | #Constraints:      10660
300.33/301.28	c #Conflicts:      83000 | #Constraints:      11660
300.33/301.28	c #Conflicts:      84000 | #Constraints:      12660
300.33/301.28	c INPROCESSING
300.33/301.28	c GARBAGE COLLECT
300.33/301.28	c #Conflicts:      85000 | #Constraints:       7854
300.33/301.28	c #Conflicts:      86000 | #Constraints:       8854
300.33/301.28	c #Conflicts:      87000 | #Constraints:       9854
300.33/301.28	c #Conflicts:      88000 | #Constraints:      10854
300.33/301.28	c #Conflicts:      89000 | #Constraints:      11854
300.33/301.28	c #Conflicts:      90000 | #Constraints:      12854
300.33/301.28	c INPROCESSING
300.33/301.28	c GARBAGE COLLECT
300.33/301.28	c #Conflicts:      91000 | #Constraints:       7876
300.33/301.28	c #Conflicts:      92000 | #Constraints:       8876
300.33/301.28	c #Conflicts:      93000 | #Constraints:       9876
300.33/301.28	c #Conflicts:      94000 | #Constraints:      10876
300.33/301.28	c #Conflicts:      95000 | #Constraints:      11876
300.33/301.28	c #Conflicts:      96000 | #Constraints:      12876
300.33/301.28	c INPROCESSING
300.33/301.28	c GARBAGE COLLECT
300.33/301.28	c #Conflicts:      97000 | #Constraints:       7688
300.33/301.28	c #Conflicts:      98000 | #Constraints:       8688
300.33/301.28	c #Conflicts:      99000 | #Constraints:       9688
300.33/301.28	c #Conflicts:     100000 | #Constraints:      10688
300.33/301.28	c #Conflicts:     101000 | #Constraints:      11688
300.33/301.28	c #Conflicts:     102000 | #Constraints:      12688
300.33/301.28	c #Conflicts:     103000 | #Constraints:      13688
300.33/301.28	c INPROCESSING
300.33/301.28	c GARBAGE COLLECT
300.33/301.28	c #Conflicts:     104000 | #Constraints:       8287
300.33/301.28	c #Conflicts:     105000 | #Constraints:       9287
300.33/301.28	c #Conflicts:     106000 | #Constraints:      10287
300.33/301.28	c #Conflicts:     107000 | #Constraints:      11287
300.33/301.28	c #Conflicts:     108000 | #Constraints:      12287
300.33/301.28	c #Conflicts:     109000 | #Constraints:      13287
300.33/301.28	c #Conflicts:     110000 | #Constraints:      14287
300.33/301.28	c INPROCESSING
300.33/301.28	c GARBAGE COLLECT
300.33/301.28	c #Conflicts:     111000 | #Constraints:       8688
300.33/301.28	c #Conflicts:     112000 | #Constraints:       9688
300.33/301.28	c #Conflicts:     113000 | #Constraints:      10688
300.33/301.28	c #Conflicts:     114000 | #Constraints:      11688
300.33/301.28	c #Conflicts:     115000 | #Constraints:      12688
300.33/301.28	c #Conflicts:     116000 | #Constraints:      13688
300.33/301.28	c #Conflicts:     117000 | #Constraints:      14688
300.33/301.28	c #Conflicts:     118000 | #Constraints:      15688
300.33/301.28	c #Conflicts:     119000 | #Constraints:      16688
300.33/301.28	c #Conflicts:     120000 | #Constraints:      17688
300.33/301.28	c #Conflicts:     121000 | #Constraints:      18688
300.33/301.28	c #Conflicts:     122000 | #Constraints:      19688
300.33/301.28	c #Conflicts:     123000 | #Constraints:      20688
300.33/301.28	c #Conflicts:     124000 | #Constraints:      21688
300.33/301.28	c #Conflicts:     125000 | #Constraints:      22688
300.33/301.28	c #Conflicts:     126000 | #Constraints:      23688
300.33/301.28	c #Conflicts:     127000 | #Constraints:      24688
300.33/301.28	c #Conflicts:     128000 | #Constraints:      25688
300.33/301.28	c #Conflicts:     129000 | #Constraints:      26688
300.33/301.28	c #Conflicts:     130000 | #Constraints:      27688
300.33/301.28	c #Conflicts:     131000 | #Constraints:      28688
300.33/301.28	c #Conflicts:     132000 | #Constraints:      29688
300.33/301.28	c #Conflicts:     133000 | #Constraints:      30688
300.33/301.28	c #Conflicts:     134000 | #Constraints:      31688
300.33/301.28	c #Conflicts:     135000 | #Constraints:      32688
300.33/301.28	c #Conflicts:     136000 | #Constraints:      33688
300.33/301.28	c #Conflicts:     137000 | #Constraints:      34688
300.33/301.28	c #Conflicts:     138000 | #Constraints:      35688
300.33/301.28	c #Conflicts:     139000 | #Constraints:      36688
300.33/301.28	c #Conflicts:     140000 | #Constraints:      37688
300.33/301.28	c INPROCESSING
771.24/773.57	c GARBAGE COLLECT
771.24/773.57	c #Conflicts:     141000 | #Constraints:      20197
771.24/773.57	c #Conflicts:     142000 | #Constraints:      21197
771.24/773.57	c #Conflicts:     143000 | #Constraints:      22197
771.24/773.57	c #Conflicts:     144000 | #Constraints:      23197
771.24/773.57	c #Conflicts:     145000 | #Constraints:      24197
771.24/773.57	c #Conflicts:     146000 | #Constraints:      25197
771.24/773.57	c #Conflicts:     147000 | #Constraints:      26197
771.24/773.57	c #Conflicts:     148000 | #Constraints:      27197
771.24/773.57	c INPROCESSING
771.24/773.57	c GARBAGE COLLECT
771.24/773.57	c #Conflicts:     149000 | #Constraints:      14903
771.24/773.57	c #Conflicts:     150000 | #Constraints:      15903
771.24/773.57	c #Conflicts:     151000 | #Constraints:      16903
771.24/773.57	c #Conflicts:     152000 | #Constraints:      17903
771.24/773.57	c #Conflicts:     153000 | #Constraints:      18903
771.24/773.57	c #Conflicts:     154000 | #Constraints:      19903
771.24/773.57	c #Conflicts:     155000 | #Constraints:      20903
771.24/773.57	c #Conflicts:     156000 | #Constraints:      21903
771.24/773.57	c INPROCESSING
771.24/773.57	c GARBAGE COLLECT
771.24/773.57	c #Conflicts:     157000 | #Constraints:      12099
771.24/773.57	c #Conflicts:     158000 | #Constraints:      13099
771.24/773.57	c #Conflicts:     159000 | #Constraints:      14099
771.24/773.57	c #Conflicts:     160000 | #Constraints:      15099
771.24/773.57	c #Conflicts:     161000 | #Constraints:      16099
771.24/773.57	c #Conflicts:     162000 | #Constraints:      17099
771.24/773.57	c #Conflicts:     163000 | #Constraints:      18099
771.24/773.57	c #Conflicts:     164000 | #Constraints:      19099
771.24/773.57	c #Conflicts:     165000 | #Constraints:      20099
771.24/773.57	c #Conflicts:     166000 | #Constraints:      21099
771.24/773.57	c #Conflicts:     167000 | #Constraints:      22099
771.24/773.57	c #Conflicts:     168000 | #Constraints:      23099
771.24/773.57	c #Conflicts:     169000 | #Constraints:      24099
771.24/773.57	c #Conflicts:     170000 | #Constraints:      25099
771.24/773.57	c #Conflicts:     171000 | #Constraints:      26099
771.24/773.57	c #Conflicts:     172000 | #Constraints:      27099
771.24/773.57	c #Conflicts:     173000 | #Constraints:      28099
771.24/773.57	c #Conflicts:     174000 | #Constraints:      29099
771.24/773.57	c #Conflicts:     175000 | #Constraints:      30099
771.24/773.57	c #Conflicts:     176000 | #Constraints:      31099
771.24/773.57	c bounds 218 >= 141 @ 513.961
771.24/773.57	c #Conflicts:     177000 | #Constraints:      32181
771.24/773.57	c #Conflicts:     178000 | #Constraints:      33181
771.24/773.57	c #Conflicts:     179000 | #Constraints:      34181
771.24/773.57	c #Conflicts:     180000 | #Constraints:      35181
771.24/773.57	c #Conflicts:     181000 | #Constraints:      36181
771.24/773.57	c #Conflicts:     182000 | #Constraints:      37181
771.24/773.57	c #Conflicts:     183000 | #Constraints:      38181
771.24/773.57	c #Conflicts:     184000 | #Constraints:      39181
771.24/773.57	c #Conflicts:     185000 | #Constraints:      40181
771.24/773.57	c #Conflicts:     186000 | #Constraints:      41181
771.24/773.57	c #Conflicts:     187000 | #Constraints:      42181
771.24/773.57	c #Conflicts:     188000 | #Constraints:      43181
771.24/773.57	c #Conflicts:     189000 | #Constraints:      44181
771.24/773.57	c #Conflicts:     190000 | #Constraints:      45181
771.24/773.57	c #Conflicts:     191000 | #Constraints:      46181
771.24/773.57	c INPROCESSING
771.24/773.57	c GARBAGE COLLECT
771.24/773.57	c #Conflicts:     192000 | #Constraints:      24444
771.24/773.57	c #Conflicts:     193000 | #Constraints:      25444
771.24/773.57	c #Conflicts:     194000 | #Constraints:      26444
771.24/773.57	c #Conflicts:     195000 | #Constraints:      27444
771.24/773.57	c #Conflicts:     196000 | #Constraints:      28444
771.24/773.57	c #Conflicts:     197000 | #Constraints:      29444
771.24/773.57	c #Conflicts:     198000 | #Constraints:      30444
771.24/773.57	c #Conflicts:     199000 | #Constraints:      31444
771.24/773.57	c #Conflicts:     200000 | #Constraints:      32444
771.24/773.57	c #Conflicts:     201000 | #Constraints:      33444
771.24/773.57	c INPROCESSING
771.24/773.57	c GARBAGE COLLECT
771.24/773.57	c #Conflicts:     202000 | #Constraints:      18475
771.24/773.57	c #Conflicts:     203000 | #Constraints:      19475
771.24/773.57	c #Conflicts:     204000 | #Constraints:      20475
771.24/773.57	c #Conflicts:     205000 | #Constraints:      21475
771.24/773.57	c #Conflicts:     206000 | #Constraints:      22475
771.24/773.57	c #Conflicts:     207000 | #Constraints:      23475
771.24/773.57	c #Conflicts:     208000 | #Constraints:      24475
771.24/773.57	c #Conflicts:     209000 | #Constraints:      25475
771.24/773.57	c #Conflicts:     210000 | #Constraints:      26475
771.24/773.57	c #Conflicts:     211000 | #Constraints:      27475
771.24/773.57	c #Conflicts:     212000 | #Constraints:      28475
771.24/773.57	c #Conflicts:     213000 | #Constraints:      29475
771.24/773.57	c #Conflicts:     214000 | #Constraints:      30475
771.24/773.57	c #Conflicts:     215000 | #Constraints:      31475
771.24/773.57	c #Conflicts:     216000 | #Constraints:      32475
2004.63/2010.64	c #Conflicts:     217000 | #Constraints:      33475
2004.63/2010.64	c #Conflicts:     218000 | #Constraints:      34475
2004.63/2010.64	c #Conflicts:     219000 | #Constraints:      35475
2004.63/2010.64	c #Conflicts:     220000 | #Constraints:      36475
2004.63/2010.64	c #Conflicts:     221000 | #Constraints:      37475
2004.63/2010.64	c #Conflicts:     222000 | #Constraints:      38475
2004.63/2010.64	c #Conflicts:     223000 | #Constraints:      39475
2004.63/2010.64	c #Conflicts:     224000 | #Constraints:      40475
2004.63/2010.64	c #Conflicts:     225000 | #Constraints:      41475
2004.63/2010.64	c #Conflicts:     226000 | #Constraints:      42475
2004.63/2010.64	c #Conflicts:     227000 | #Constraints:      43475
2004.63/2010.64	c #Conflicts:     228000 | #Constraints:      44475
2004.63/2010.64	c #Conflicts:     229000 | #Constraints:      45475
2004.63/2010.64	c #Conflicts:     230000 | #Constraints:      46475
2004.63/2010.64	c #Conflicts:     231000 | #Constraints:      47475
2004.63/2010.64	c #Conflicts:     232000 | #Constraints:      48475
2004.63/2010.64	c #Conflicts:     233000 | #Constraints:      49475
2004.63/2010.64	c #Conflicts:     234000 | #Constraints:      50475
2004.63/2010.64	c #Conflicts:     235000 | #Constraints:      51475
2004.63/2010.64	c #Conflicts:     236000 | #Constraints:      52475
2004.63/2010.64	c #Conflicts:     237000 | #Constraints:      53475
2004.63/2010.64	c #Conflicts:     238000 | #Constraints:      54475
2004.63/2010.64	c INPROCESSING
2004.63/2010.64	c GARBAGE COLLECT
2004.63/2010.64	c #Conflicts:     239000 | #Constraints:      28459
2004.63/2010.64	c #Conflicts:     240000 | #Constraints:      29459
2004.63/2010.64	c #Conflicts:     241000 | #Constraints:      30459
2004.63/2010.64	c #Conflicts:     242000 | #Constraints:      31459
2004.63/2010.64	c #Conflicts:     243000 | #Constraints:      32459
2004.63/2010.64	c #Conflicts:     244000 | #Constraints:      33459
2004.63/2010.64	c #Conflicts:     245000 | #Constraints:      34459
2004.63/2010.64	c #Conflicts:     246000 | #Constraints:      35459
2004.63/2010.64	c #Conflicts:     247000 | #Constraints:      36459
2004.63/2010.64	c #Conflicts:     248000 | #Constraints:      37459
2004.63/2010.64	c #Conflicts:     249000 | #Constraints:      38459
2004.63/2010.64	c INPROCESSING
2004.63/2010.64	c GARBAGE COLLECT
2004.63/2010.64	c #Conflicts:     250000 | #Constraints:      27638
2004.63/2010.64	c #Conflicts:     251000 | #Constraints:      28638
2004.63/2010.64	c #Conflicts:     252000 | #Constraints:      29638
2004.63/2010.64	c #Conflicts:     253000 | #Constraints:      30638
2004.63/2010.64	c #Conflicts:     254000 | #Constraints:      31638
2004.63/2010.64	c #Conflicts:     255000 | #Constraints:      32638
2004.63/2010.64	c #Conflicts:     256000 | #Constraints:      33638
2004.63/2010.64	c #Conflicts:     257000 | #Constraints:      34638
2004.63/2010.64	c #Conflicts:     258000 | #Constraints:      35638
2004.63/2010.64	c #Conflicts:     259000 | #Constraints:      36638
2004.63/2010.64	c #Conflicts:     260000 | #Constraints:      37638
2004.63/2010.64	c #Conflicts:     261000 | #Constraints:      38638
2004.63/2010.64	c #Conflicts:     262000 | #Constraints:      39638
2004.63/2010.64	c #Conflicts:     263000 | #Constraints:      40638
2004.63/2010.64	c #Conflicts:     264000 | #Constraints:      41638
2004.63/2010.64	c #Conflicts:     265000 | #Constraints:      42638
2004.63/2010.64	c #Conflicts:     266000 | #Constraints:      43638
2004.63/2010.64	c #Conflicts:     267000 | #Constraints:      44638
2004.63/2010.64	c #Conflicts:     268000 | #Constraints:      45638
2004.63/2010.64	c #Conflicts:     269000 | #Constraints:      46638
2004.63/2010.64	c #Conflicts:     270000 | #Constraints:      47638
2004.63/2010.64	c #Conflicts:     271000 | #Constraints:      48638
2004.63/2010.64	c #Conflicts:     272000 | #Constraints:      49638
2004.63/2010.64	c #Conflicts:     273000 | #Constraints:      50638
2004.63/2010.64	c #Conflicts:     274000 | #Constraints:      51638
2004.63/2010.64	c #Conflicts:     275000 | #Constraints:      52638
2004.63/2010.64	c #Conflicts:     276000 | #Constraints:      53638
2004.63/2010.64	c #Conflicts:     277000 | #Constraints:      54638
2004.63/2010.64	c #Conflicts:     278000 | #Constraints:      55638
2004.63/2010.64	c #Conflicts:     279000 | #Constraints:      56638
2004.63/2010.64	c #Conflicts:     280000 | #Constraints:      57638
2004.63/2010.64	c #Conflicts:     281000 | #Constraints:      58638
2004.63/2010.64	c #Conflicts:     282000 | #Constraints:      59638
2004.63/2010.64	c #Conflicts:     283000 | #Constraints:      60638
2004.63/2010.64	c #Conflicts:     284000 | #Constraints:      61638
2004.63/2010.64	c #Conflicts:     285000 | #Constraints:      62638
2004.63/2010.64	c #Conflicts:     286000 | #Constraints:      63638
2004.63/2010.64	c #Conflicts:     287000 | #Constraints:      64638
2004.63/2010.64	c #Conflicts:     288000 | #Constraints:      65638
2004.63/2010.64	c #Conflicts:     289000 | #Constraints:      66638
2004.63/2010.64	c #Conflicts:     290000 | #Constraints:      67638
2004.63/2010.64	c INPROCESSING
2004.63/2010.64	c GARBAGE COLLECT
2004.63/2010.64	c #Conflicts:     291000 | #Constraints:      35185
2004.63/2010.64	c #Conflicts:     292000 | #Constraints:      36185
3600.04/3611.20	c #Conflicts:     293000 | #Constraints:      37185
3600.04/3611.20	c #Conflicts:     294000 | #Constraints:      38185
3600.04/3611.20	c #Conflicts:     295000 | #Constraints:      39185
3600.04/3611.20	c #Conflicts:     296000 | #Constraints:      40185
3600.04/3611.20	c #Conflicts:     297000 | #Constraints:      41185
3600.04/3611.20	c #Conflicts:     298000 | #Constraints:      42185
3600.04/3611.20	c #Conflicts:     299000 | #Constraints:      43185
3600.04/3611.20	c #Conflicts:     300000 | #Constraints:      44185
3600.04/3611.20	c #Conflicts:     301000 | #Constraints:      45185
3600.04/3611.20	c #Conflicts:     302000 | #Constraints:      46185
3600.04/3611.20	c #Conflicts:     303000 | #Constraints:      47185
3600.04/3611.20	c #Conflicts:     304000 | #Constraints:      48185
3600.04/3611.20	c #Conflicts:     305000 | #Constraints:      49185
3600.04/3611.20	c #Conflicts:     306000 | #Constraints:      50185
3600.04/3611.20	c #Conflicts:     307000 | #Constraints:      51185
3600.04/3611.20	c #Conflicts:     308000 | #Constraints:      52185
3600.04/3611.20	c #Conflicts:     309000 | #Constraints:      53185
3600.04/3611.20	c #Conflicts:     310000 | #Constraints:      54185
3600.04/3611.20	c #Conflicts:     311000 | #Constraints:      55185
3600.04/3611.20	c #Conflicts:     312000 | #Constraints:      56185
3600.04/3611.20	c #Conflicts:     313000 | #Constraints:      57185
3600.04/3611.20	c #Conflicts:     314000 | #Constraints:      58185
3600.04/3611.20	c #Conflicts:     315000 | #Constraints:      59185
3600.04/3611.20	c #Conflicts:     316000 | #Constraints:      60185
3600.04/3611.20	c #Conflicts:     317000 | #Constraints:      61185
3600.04/3611.20	c #Conflicts:     318000 | #Constraints:      62185
3600.04/3611.20	c #Conflicts:     319000 | #Constraints:      63185
3600.04/3611.20	c #Conflicts:     320000 | #Constraints:      64185
3600.04/3611.20	c #Conflicts:     321000 | #Constraints:      65185
3600.04/3611.20	c #Conflicts:     322000 | #Constraints:      66185
3600.04/3611.20	c #Conflicts:     323000 | #Constraints:      67185
3600.04/3611.20	c #Conflicts:     324000 | #Constraints:      68185
3600.04/3611.20	c #Conflicts:     325000 | #Constraints:      69185
3600.04/3611.20	c #Conflicts:     326000 | #Constraints:      70185
3600.04/3611.20	c #Conflicts:     327000 | #Constraints:      71185
3600.04/3611.20	c #Conflicts:     328000 | #Constraints:      72185
3600.04/3611.20	c #Conflicts:     329000 | #Constraints:      73185
3600.04/3611.20	c #Conflicts:     330000 | #Constraints:      74185
3600.04/3611.20	c #Conflicts:     331000 | #Constraints:      75185
3600.04/3611.20	c #Conflicts:     332000 | #Constraints:      76185
3600.04/3611.20	c #Conflicts:     333000 | #Constraints:      77185
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:     334000 | #Constraints:      41512
3600.04/3611.20	c #Conflicts:     335000 | #Constraints:      42512
3600.04/3611.20	c #Conflicts:     336000 | #Constraints:      43512
3600.04/3611.20	c #Conflicts:     337000 | #Constraints:      44512
3600.04/3611.20	c #Conflicts:     338000 | #Constraints:      45512
3600.04/3611.20	c #Conflicts:     339000 | #Constraints:      46512
3600.04/3611.20	c #Conflicts:     340000 | #Constraints:      47512
3600.04/3611.20	c #Conflicts:     341000 | #Constraints:      48512
3600.04/3611.20	c #Conflicts:     342000 | #Constraints:      49512
3600.04/3611.20	c #Conflicts:     343000 | #Constraints:      50512
3600.04/3611.20	c #Conflicts:     344000 | #Constraints:      51512
3600.04/3611.20	c #Conflicts:     345000 | #Constraints:      52512
3600.04/3611.20	c #Conflicts:     346000 | #Constraints:      53512
3600.04/3611.20	c #Conflicts:     347000 | #Constraints:      54512
3600.04/3611.20	c #Conflicts:     348000 | #Constraints:      55512
3600.04/3611.20	c #Conflicts:     349000 | #Constraints:      56512
3600.04/3611.20	c #Conflicts:     350000 | #Constraints:      57512
3600.04/3611.20	c #Conflicts:     351000 | #Constraints:      58512
3600.04/3611.20	c #Conflicts:     352000 | #Constraints:      59512
3600.04/3611.20	c #Conflicts:     353000 | #Constraints:      60512
3600.04/3611.20	c #Conflicts:     354000 | #Constraints:      61512
3600.04/3611.20	c #Conflicts:     355000 | #Constraints:      62512
3600.04/3611.20	c #Conflicts:     356000 | #Constraints:      63512
3600.04/3611.20	c #Conflicts:     357000 | #Constraints:      64512
3600.04/3611.20	c #Conflicts:     358000 | #Constraints:      65512
3600.04/3611.20	c #Conflicts:     359000 | #Constraints:      66512
3600.04/3611.20	c #Conflicts:     360000 | #Constraints:      67512
3600.04/3611.20	c Program interrupted by user.
3600.04/3611.20	c cpu time 3591.15 s
3600.04/3611.20	c deterministic time 275321501240 2.75e+11
3600.04/3611.20	c optimization time 676.377 s
3600.04/3611.20	c total solve time 2914.77 s
3600.04/3611.20	c core-guided solve time 2914.77 s
3600.04/3611.20	c propagation time 3263.33 s
3600.04/3611.20	c conflict analysis time 312.47 s
3600.04/3611.20	c propagations 62411005
3600.04/3611.20	c resolve steps 4153779
3600.04/3611.20	c decisions 7074525
3600.04/3611.20	c conflicts 360177
3600.04/3611.20	c restarts 861
3600.04/3611.20	c inprocessing phases 34
3600.04/3611.20	c input clauses 231
3600.04/3611.20	c input cardinalities 439
3600.04/3611.20	c input general constraints 668
3600.04/3611.20	c input average constraint length 42.37
3600.04/3611.20	c input average constraint degree 20.20
3600.04/3611.20	c learned clauses 57354
3600.04/3611.20	c learned cardinalities 1782
3600.04/3611.20	c learned general constraints 301062
3600.04/3611.20	c learned average constraint length 167.09
3600.04/3611.20	c learned average constraint degree 6921215.92
3600.04/3611.20	c watched constraints 234570
3600.04/3611.20	c counting constraints 67160
3600.04/3611.20	c gcd simplifications 26295
3600.04/3611.20	c detected cardinalities 1506
3600.04/3611.20	c weakened non-implied lits 5567299
3600.04/3611.20	c weakened non-implying lits 17252
3600.04/3611.20	c original variables 473
3600.04/3611.20	c clausal propagations 13808306
3600.04/3611.20	c cardinality propagations 1104421
3600.04/3611.20	c watched propagations 9511874
3600.04/3611.20	c counting propagations 37567360
3600.04/3611.20	c watch lookups 70417282008
3600.04/3611.20	c watch backjump lookups 68347049758
3600.04/3611.20	c watch checks 126332316059
3600.04/3611.20	c propagation checks 9860887050
3600.04/3611.20	c constraint additions 224635359
3600.04/3611.20	c trail pops 69845475
3600.04/3611.20	c formula constraints 472
3600.04/3611.20	c learned constraints 360198
3600.04/3611.20	c bound constraints 98
3600.04/3611.20	c core-guided constraints 768
3600.04/3611.20	c encountered formula constraints 636417
3600.04/3611.20	c encountered learned constraints 3146124
3600.04/3611.20	c encountered bound constraints 124
3600.04/3611.20	c encountered core-guided constraints 731291
3600.04/3611.20	c LP total time 0 s
3600.04/3611.20	c LP solve time 0 s
3600.04/3611.20	c LP constraints added 0
3600.04/3611.20	c LP constraints removed 0
3600.04/3611.20	c LP pivots internal 0
3600.04/3611.20	c LP pivots root 0
3600.04/3611.20	c LP calls 0
3600.04/3611.20	c LP optimalities 0
3600.04/3611.20	c LP no pivot count 0
3600.04/3611.20	c LP infeasibilities 0
3600.04/3611.20	c LP valid Farkas constraints 0
3600.04/3611.20	c LP learned Farkas constraints 0
3600.04/3611.20	c LP basis resets 0
3600.04/3611.20	c LP cycling count 0
3600.04/3611.20	c LP singular count 0
3600.04/3611.20	c LP no primal count 0
3600.04/3611.20	c LP no farkas count 0
3600.04/3611.20	c LP other issue count 0
3600.04/3611.20	c LP Gomory cuts 0
3600.04/3611.20	c LP learned cuts 0
3600.04/3611.20	c LP deleted cuts 0
3600.04/3611.20	c LP encountered Gomory constraints 0
3600.04/3611.20	c LP encountered Farkas constraints 0
3600.04/3611.20	c LP encountered learned Farkas constraints 0
3600.04/3611.20	c CG auxiliary variables introduced 318
3600.04/3611.20	c CG solutions found 3
3600.04/3611.20	c CG cores constructed 91
3600.04/3611.20	c CG core cardinality constraints returned 0
3600.04/3611.20	c CG unit cores 0
3600.04/3611.20	c CG single cores 91
3600.04/3611.20	c CG blocks removed during cardinality reduction 0
3600.04/3611.20	c CG first core best 0
3600.04/3611.20	c CG decision core best 0
3600.04/3611.20	c CG core reduction tie 0
3600.04/3611.20	c CG core degree average 1.00
3600.04/3611.20	c CG core slack average 6.31
3600.04/3611.20	c CG exhausted 1
3600.04/3611.20	c CG exhaust time 43.157 s
3600.04/3611.20	c CG trimmed 12
3600.04/3611.20	c CG trim time 0.020554 s
3600.04/3611.20	c CG minimized 0
3600.04/3611.20	c CG minimize time 0 s
3600.04/3611.20	c CG am1 prop time 0.027903 s
3600.04/3611.20	c CG # am1s reformulated 49
3600.04/3611.20	c CG lower bound derived from am1s 49
3600.04/3611.20	c CG # clausal cores 33
3600.04/3611.20	c CG # cardinality cores 0
3600.04/3611.20	c CG # pb cores 58
3600.04/3611.20	c CG # pb reforms 0
3600.04/3611.20	c CG # cores discarded because of pb reform 0
3600.04/3611.20	d LOWERBOUND 141
3600.04/3611.20	d NCORES 91
3600.04/3611.20	d NPBCORES 58
3600.04/3611.20	d NPBREFORM 0
3600.04/3611.20	d NTRIMMED 12
3600.04/3611.20	d NEXHAUSTED 1
3600.04/3611.20	d NAM1S 49
3600.04/3611.20	d AM1LB 49
3600.04/3611.20	o 218
3600.04/3611.20	s SATISFIABLE
3600.04/3611.20	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 -x226 x227 x228 -x229 -x230 x231 -x232 x233 x234 -x235 x236 x237 x238 -x239 x240 -x241 x242 x243 x244 x245 -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 x256 -x257 x258 x259 x260 -x261 x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 x270 x271 x272 -x273 -x274 x275 -x276 -x277 x278 -x279 x280 x281 -x282 x283 x284 x285 x286 x287 -x288 x289 -x290 x291 -x292 -x293 -x294 x295 -x296 -x297 x298 x299 x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 -x309 x310 -x311 x312 -x313 -x314 x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x324 -x325 x326 -x327 x328 x329 -x330 x331 x332 -x333 -x334 x335 -x336 x337 -x338 x339 x340 x341 x342 x343 x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 x352 x353 -x354 -x355 x356 x357 x358 x359 -x360 -x361 -x362 -x363 -x364 x365 x366 x367 -x368 -x369 -x370 -x371 x372 x373 -x374 -x375 x376 x377 -x378 x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 x397 x398 -x399 -x400 -x401 x402 x403 -x404 -x405 x406 -x407 -x408 x409 x410 -x411 -x412 x413 x414 x415 x416 x417 -x418 x419 -x420 x421 x422 -x423 x424 -x425 -x426 -x427 x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 x447 -x448 -x449 x450 x451 x452 -x453 -x454 -x455 -x456 x457 x458 -x459 x460 x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473

Verifier Data 

OK	218

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60552 MiB free)
  memory of node 1: 64465 MiB (60871 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489088-1751343684/watcher-4489088-1751343684 -o /tmp/evaluation-result-4489088-1751343684/solver-4489088-1751343684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751336454-45260 --watchdog 3760 pb-oll-rs HOME/instance-4489088-1751343684.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=46648, runsolver pid=46645

[startup+0.10006 s]*
/proc/loadavg: 4.13 4.12 4.09 4/261 46650
/proc/meminfo: memFree=124333312/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=22400 memory=10560 CPUtime=0.08 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 950 0 0 0 7 1 0 0 20 0 1 0 50042970 22937600 2640 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 5600 2640 1376 243 0 1849 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22400 KiB
Current children cumulated memory: 10560 KiB

[startup+0.20548 s]*
/proc/loadavg: 4.13 4.12 4.09 4/262 46655
/proc/meminfo: memFree=124333312/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=24164 memory=14344 CPUtime=0.18 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 1384 0 0 0 17 1 0 0 20 0 1 0 50042970 24743936 3586 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 6041 3586 1376 243 0 2290 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 24164 KiB
Current children cumulated memory: 14344 KiB

[startup+0.305514 s]*
/proc/loadavg: 4.13 4.12 4.09 4/262 46661
/proc/meminfo: memFree=124333312/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=25316 memory=15240 CPUtime=0.28 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 1619 0 0 0 26 2 0 0 20 0 1 0 50042970 25923584 3810 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 6329 3810 1376 243 0 2578 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 25316 KiB
Current children cumulated memory: 15240 KiB

[startup+0.700128 s]
/proc/loadavg: 4.04 4.10 4.09 4/260 46675
/proc/meminfo: memFree=124330568/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=30484 memory=18568 CPUtime=0.65 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 2468 0 0 0 61 4 0 0 20 0 1 0 50042970 31215616 4642 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 7621 4642 1376 243 0 3870 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 30484 KiB
Current children cumulated memory: 18568 KiB

[startup+1.50013 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124318660/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=38012 memory=24072 CPUtime=1.45 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 3840 0 0 0 139 6 0 0 20 0 1 0 50042970 38924288 6018 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 9503 6018 1376 243 0 5752 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 38012 KiB
Current children cumulated memory: 24072 KiB

[startup+3.10534 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124301788/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=40860 memory=28724 CPUtime=3.05 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 4489 0 0 0 295 10 0 0 20 0 1 0 50042970 41840640 7181 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 10215 7181 1376 243 0 6464 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 40860 KiB
Current children cumulated memory: 28724 KiB

[startup+6.30013 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124275064/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=52040 memory=36444 CPUtime=6.24 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 5919 0 0 0 605 19 0 0 20 0 1 0 50042970 53288960 9111 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 13010 9111 1376 243 0 9259 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 52040 KiB
Current children cumulated memory: 36444 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 46686
/proc/meminfo: memFree=124256316/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=57768 memory=42900 CPUtime=12.62 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 7011 0 0 0 1234 28 0 0 20 0 1 0 50042970 59154432 10725 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 14442 10725 1376 243 0 10691 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 57768 KiB
Current children cumulated memory: 42900 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.09 4.08 5/264 46732
/proc/meminfo: memFree=124874028/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=77128 memory=51220 CPUtime=25.39 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 9121 0 0 0 2489 50 0 0 20 0 1 0 50042970 78979072 12805 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 19282 12805 1376 243 0 15531 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 77128 KiB
Current children cumulated memory: 51220 KiB

[startup+51.1054 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 46732
/proc/meminfo: memFree=124802908/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=81224 memory=60856 CPUtime=50.92 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 10511 0 0 0 5011 81 0 0 20 0 1 0 50042970 83173376 15214 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 20306 15214 1376 243 0 16555 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 81224 KiB
Current children cumulated memory: 60856 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 46735
/proc/meminfo: memFree=124752180/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=91304 memory=69432 CPUtime=101.97 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 12673 0 0 0 10056 141 0 0 20 0 1 0 50042970 93495296 17358 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 22826 17358 1376 243 0 19075 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 91304 KiB
Current children cumulated memory: 69432 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 46742
/proc/meminfo: memFree=124716572/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=101568 memory=82232 CPUtime=161.81 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 14376 0 0 0 16000 181 0 0 20 0 1 0 50042970 104005632 20558 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 25392 20558 1376 243 0 21641 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 101568 KiB
Current children cumulated memory: 82232 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 46745
/proc/meminfo: memFree=124633724/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=107456 memory=93128 CPUtime=221.64 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 16089 0 0 0 21968 196 0 0 20 0 1 0 50042970 110034944 23282 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 26864 23282 1376 243 0 23113 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 107456 KiB
Current children cumulated memory: 93128 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 46750
/proc/meminfo: memFree=124653528/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=130232 memory=103832 CPUtime=281.48 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 17374 0 0 0 27935 213 0 0 20 0 1 0 50042970 133357568 25958 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 32558 25958 1376 243 0 28807 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 130232 KiB
Current children cumulated memory: 103832 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 46752
/proc/meminfo: memFree=124656048/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=132548 memory=107168 CPUtime=341.32 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 18022 0 0 0 33901 231 0 0 20 0 1 0 50042970 135729152 26792 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 33137 26792 1376 243 0 29386 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 132548 KiB
Current children cumulated memory: 107168 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 46754
/proc/meminfo: memFree=124650644/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=132840 memory=107296 CPUtime=401.16 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 18068 0 0 0 39857 259 0 0 20 0 1 0 50042970 136028160 26824 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 33210 26824 1376 243 0 29459 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 132840 KiB
Current children cumulated memory: 107296 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 46757
/proc/meminfo: memFree=124650540/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=132840 memory=108448 CPUtime=460.98 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 18072 0 0 0 45803 295 0 0 20 0 1 0 50042970 136028160 27112 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 33210 27112 1376 243 0 29459 0
Current children cumulated CPU time: 460.98 s

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

Current children cumulated memory: 178776 KiB

[startup+2862.3 s]
/proc/loadavg: 4.37 4.15 4.11 5/265 46886
/proc/meminfo: memFree=124338864/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=212120 memory=182420 CPUtime=2853.51 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 28849 0 0 0 284568 783 0 0 20 0 1 0 50042970 217210880 45605 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 53030 45605 1376 243 0 49279 0
Current children cumulated CPU time: 2853.51 s
Current children cumulated vsize: 212120 KiB
Current children cumulated memory: 182420 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.15 4.11 5/265 46888
/proc/meminfo: memFree=124339944/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=215776 memory=186284 CPUtime=2913.33 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29472 0 0 0 290542 791 0 0 20 0 1 0 50042970 220954624 46571 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 53944 46571 1376 243 0 50193 0
Current children cumulated CPU time: 2913.33 s
Current children cumulated vsize: 215776 KiB
Current children cumulated memory: 186284 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 46890
/proc/meminfo: memFree=124326200/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=195160 CPUtime=2973.14 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29980 0 0 0 296516 798 0 0 20 0 1 0 50042970 224387072 48790 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 48790 1376 243 0 51031 0
Current children cumulated CPU time: 2973.14 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 195160 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 46892
/proc/meminfo: memFree=124330592/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3032.95 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29980 0 0 0 302486 809 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3032.95 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 46895
/proc/meminfo: memFree=124319428/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3092.76 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29980 0 0 0 308455 821 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3092.76 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 46901
/proc/meminfo: memFree=124318640/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3152.57 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29980 0 0 0 314427 830 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3152.57 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 46903
/proc/meminfo: memFree=124310544/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3212.38 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29984 0 0 0 320397 841 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3212.38 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 46908
/proc/meminfo: memFree=124309516/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3272.18 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29984 0 0 0 326369 849 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3272.18 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 46909
/proc/meminfo: memFree=124307876/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3331.99 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29984 0 0 0 332342 857 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 46912
/proc/meminfo: memFree=124305988/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3391.81 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29984 0 0 0 338316 865 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 46914
/proc/meminfo: memFree=124299804/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3451.61 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29984 0 0 0 344289 872 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 46916
/proc/meminfo: memFree=124298420/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3511.42 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29984 0 0 0 350263 879 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 46918
/proc/meminfo: memFree=124296776/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3571.23 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29984 0 0 0 356237 886 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.13 4.12 4.09 4/257 46950
/proc/meminfo: memFree=124476680/131249992 swapFree=33010160/33010684
[pid=46648] ppid=46645 vsize=219128 memory=196952 CPUtime=3600.04 cores=5,7
/proc/46648/stat : 46648 (pb-oll-rs) R 46645 46648 45247 0 -1 4194304 29984 0 0 0 359114 890 0 0 20 0 1 0 50042970 224387072 49238 18446744073709551615 4218880 5211445 140732094099616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14016512 140732094101916 140732094101993 140732094101993 140732094107595 0
/proc/46648/statm: 54782 49238 1376 243 0 51031 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 196952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.15 s, system=8.90235 s

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

Child status: 0

Real time (s): 3611.2
CPU time (s): 3600.05
CPU user time (s): 3591.15
CPU system time (s): 8.90235
CPU usage (%): 99.6912
Max. virtual memory (cumulated for all children) (KiB): 219128
Max. memory (cumulated for all children) (KiB): 196952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.15
system time used= 8.90235
maximum resident set size= 197208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29999
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= 144
involuntary context switches= 20211


# summary of solver processes directly reported to runsolver:
#   pid: 46648
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3591.15
#   total CPU system time (s): 8.90235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76202 second user time and 15.7293 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-01 06:21:24
IDJOB=4489088
IDBENCH=147539
IDSOLVER=3345
FILE ID=nodeC035/4489088-1751343684
RUNJOBID= nodeC035-1751336454-45260
SLURM_JOB_ID= 9594384
Free space on /tmp= 433056 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489088-1751343684/watcher-4489088-1751343684 -o /tmp/evaluation-result-4489088-1751343684/solver-4489088-1751343684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751336454-45260 --watchdog 3760  pb-oll-rs HOME/instance-4489088-1751343684.opb

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

MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=565556023

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.485
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.778
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.979
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.478
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.671
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3638.855
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.022
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.742
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124338140 kB
MemAvailable:   129044156 kB
Buffers:            1840 kB
Cached:          5458956 kB
SwapCached:            8 kB
Active:          1043908 kB
Inactive:        5179264 kB
Active(anon):     768812 kB
Inactive(anon):    11616 kB
Active(file):     275096 kB
Inactive(file):  5167648 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3648 kB
Writeback:             0 kB
AnonPages:        765536 kB
Mapped:           106148 kB
Shmem:             18048 kB
KReclaimable:     205020 kB
Slab:             294324 kB
SReclaimable:     205020 kB
SUnreclaim:        89304 kB
KernelStack:        4160 kB
PageTables:         4600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1168720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    651264 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC035 at 2025-07-01 07:21:36