Trace number 4454293

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)212 3600.04 3609.4

DiagnosticValue
AM1LB56
LOWERBOUND146
NAM1S56
NCORES88
NEXHAUSTED2
NPBCORES53
NPBREFORM0
NTRIMMED3

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
MD5SUMb1303fc064b9de7d315268cbf770fb1d
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 benchmark181
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables470
Total number of constraints470
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 constraints470
Minimum length of a constraint4
Maximum length of a constraint18
Number of terms in the objective function 470
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 470
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 470
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.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.01	c [STEP] solving
0.00/0.01	c #variables 470 #constraints 470
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.007064
0.00/0.01	c stratification level: 0
0.00/0.04	c bounds - >= 57 @ 0.00976
0.00/0.04	c bounds - >= 58 @ 0.01025
0.00/0.04	c bounds - >= 59 @ 0.01025
0.00/0.04	c bounds - >= 60 @ 0.01025
0.00/0.04	c bounds - >= 61 @ 0.01025
0.00/0.04	c bounds - >= 62 @ 0.010366
0.00/0.04	c bounds - >= 63 @ 0.010672
0.00/0.04	c bounds - >= 64 @ 0.011018
0.00/0.04	c bounds - >= 65 @ 0.011227
0.00/0.04	c bounds - >= 66 @ 0.011227
0.00/0.04	c bounds - >= 67 @ 0.011227
0.00/0.04	c bounds - >= 68 @ 0.011343
0.00/0.04	c bounds - >= 69 @ 0.011682
0.00/0.04	c bounds - >= 70 @ 0.012011
0.00/0.04	c bounds - >= 71 @ 0.012337
0.00/0.04	c bounds - >= 72 @ 0.012669
0.00/0.04	c bounds - >= 73 @ 0.012987
0.00/0.04	c bounds - >= 74 @ 0.013311
0.00/0.04	c bounds - >= 75 @ 0.013641
0.00/0.04	c bounds - >= 76 @ 0.013965
0.00/0.04	c bounds - >= 77 @ 0.01421
0.00/0.04	c bounds - >= 78 @ 0.01421
0.00/0.04	c bounds - >= 79 @ 0.01421
0.00/0.04	c bounds - >= 80 @ 0.014279
0.00/0.04	c bounds - >= 81 @ 0.014658
0.00/0.04	c bounds - >= 82 @ 0.015029
0.00/0.04	c bounds - >= 83 @ 0.015204
0.00/0.04	c bounds - >= 84 @ 0.015204
0.00/0.04	c bounds - >= 85 @ 0.015204
0.00/0.04	c bounds - >= 86 @ 0.015599
0.00/0.04	c bounds - >= 87 @ 0.016005
0.00/0.04	c bounds - >= 88 @ 0.016397
0.00/0.04	c bounds - >= 89 @ 0.01678
0.00/0.04	c bounds - >= 90 @ 0.017178
0.00/0.04	c bounds - >= 91 @ 0.017576
0.00/0.04	c bounds - >= 92 @ 0.01797
0.00/0.04	c bounds - >= 93 @ 0.018187
0.00/0.04	c bounds - >= 94 @ 0.018187
0.00/0.04	c bounds - >= 95 @ 0.018187
0.00/0.04	c bounds - >= 96 @ 0.01855
0.00/0.04	c bounds - >= 97 @ 0.018938
0.00/0.04	c bounds - >= 98 @ 0.019308
0.00/0.04	c bounds - >= 99 @ 0.019667
0.00/0.04	c bounds - >= 100 @ 0.020057
0.00/0.04	c bounds - >= 101 @ 0.020181
0.00/0.04	c bounds - >= 102 @ 0.020181
0.00/0.04	c bounds - >= 103 @ 0.02029
0.00/0.04	c bounds - >= 104 @ 0.020688
0.00/0.04	c bounds - >= 105 @ 0.021088
0.00/0.04	c bounds - >= 106 @ 0.021465
0.00/0.04	c bounds - >= 107 @ 0.021841
0.00/0.04	c bounds - >= 108 @ 0.022211
0.00/0.04	c bounds - >= 109 @ 0.022598
0.00/0.04	c bounds - >= 110 @ 0.022974
0.00/0.04	c bounds - >= 111 @ 0.023361
0.00/0.04	c bounds - >= 112 @ 0.023729
0.00/0.04	c bounds - >= 113 @ 0.02411
0.00/0.04	c bounds - >= 114 @ 0.024159
0.00/0.04	c bounds - >= 115 @ 0.024159
0.00/0.04	c bounds - >= 116 @ 0.02416
0.00/0.04	c bounds - >= 117 @ 0.02416
0.00/0.04	c bounds - >= 118 @ 0.024229
0.00/0.04	c bounds - >= 119 @ 0.024648
0.00/0.04	c bounds - >= 120 @ 0.025087
0.00/0.04	c bounds - >= 121 @ 0.025498
0.00/0.04	c bounds - >= 122 @ 0.025932
0.00/0.04	c bounds - >= 123 @ 0.02615
0.00/0.04	c bounds - >= 124 @ 0.02615
0.00/0.04	c bounds - >= 125 @ 0.02615
0.00/0.04	c bounds - >= 126 @ 0.02656
0.00/0.04	c bounds - >= 127 @ 0.026994
0.00/0.04	c bounds - >= 128 @ 0.027499
0.00/0.04	c finalizing WCE round: reformulating cores
31.93/32.14	c #Conflicts:       1000 | #Constraints:       1638
31.93/32.14	c #Conflicts:       2000 | #Constraints:       2642
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:       3000 | #Constraints:       2569
31.93/32.14	c #Conflicts:       4000 | #Constraints:       3571
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:       5000 | #Constraints:       2974
31.93/32.14	c #Conflicts:       6000 | #Constraints:       3976
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:       7000 | #Constraints:       2980
31.93/32.14	c #Conflicts:       8000 | #Constraints:       3982
31.93/32.14	c #Conflicts:       9000 | #Constraints:       4986
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      10000 | #Constraints:       3686
31.93/32.14	c #Conflicts:      11000 | #Constraints:       4688
31.93/32.14	c #Conflicts:      12000 | #Constraints:       5690
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      13000 | #Constraints:       4148
31.93/32.14	c #Conflicts:      14000 | #Constraints:       5150
31.93/32.14	c #Conflicts:      15000 | #Constraints:       6152
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      16000 | #Constraints:       4382
31.93/32.14	c #Conflicts:      17000 | #Constraints:       5384
31.93/32.14	c #Conflicts:      18000 | #Constraints:       6386
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      19000 | #Constraints:       4402
31.93/32.14	c #Conflicts:      20000 | #Constraints:       5404
31.93/32.14	c #Conflicts:      21000 | #Constraints:       6406
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      22000 | #Constraints:       4217
31.93/32.14	c #Conflicts:      23000 | #Constraints:       5219
31.93/32.14	c #Conflicts:      24000 | #Constraints:       6223
31.93/32.14	c #Conflicts:      25000 | #Constraints:       7225
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      26000 | #Constraints:       4830
31.93/32.14	c #Conflicts:      27000 | #Constraints:       5832
31.93/32.14	c #Conflicts:      28000 | #Constraints:       6834
31.93/32.14	c #Conflicts:      29000 | #Constraints:       7838
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      30000 | #Constraints:       5239
31.93/32.14	c #Conflicts:      31000 | #Constraints:       6241
31.93/32.14	c #Conflicts:      32000 | #Constraints:       7243
31.93/32.14	c #Conflicts:      33000 | #Constraints:       8247
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      34000 | #Constraints:       5451
31.93/32.14	c #Conflicts:      35000 | #Constraints:       6453
31.93/32.14	c #Conflicts:      36000 | #Constraints:       7455
31.93/32.14	c #Conflicts:      37000 | #Constraints:       8459
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      38000 | #Constraints:       5461
31.93/32.14	c #Conflicts:      39000 | #Constraints:       6463
31.93/32.14	c #Conflicts:      40000 | #Constraints:       7465
31.93/32.14	c #Conflicts:      41000 | #Constraints:       8469
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      42000 | #Constraints:       5274
31.93/32.14	c #Conflicts:      43000 | #Constraints:       6276
31.93/32.14	c #Conflicts:      44000 | #Constraints:       7280
31.93/32.14	c #Conflicts:      45000 | #Constraints:       8282
31.93/32.14	c #Conflicts:      46000 | #Constraints:       9284
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      47000 | #Constraints:       5893
31.93/32.14	c #Conflicts:      48000 | #Constraints:       6895
31.93/32.14	c #Conflicts:      49000 | #Constraints:       7897
31.93/32.14	c #Conflicts:      50000 | #Constraints:       8901
31.93/32.14	c #Conflicts:      51000 | #Constraints:       9903
31.93/32.14	c INPROCESSING
31.93/32.14	c GARBAGE COLLECT
31.93/32.14	c #Conflicts:      52000 | #Constraints:       6304
31.93/32.14	c #Conflicts:      53000 | #Constraints:       7306
31.93/32.14	c bounds 214 >= 128 @ 30.9577
31.93/32.14	c bounds 214 >= 129 @ 30.9668
31.93/32.14	c bounds 214 >= 130 @ 30.969
31.93/32.14	c bounds 214 >= 131 @ 30.9724
31.93/32.14	c bounds 214 >= 132 @ 30.9737
31.93/32.14	c bounds 214 >= 133 @ 30.9767
31.93/32.14	c bounds 214 >= 134 @ 30.9782
31.93/32.14	c bounds 214 >= 135 @ 30.9834
31.93/32.14	c bounds 214 >= 136 @ 30.9928
31.93/32.14	c bounds 214 >= 137 @ 31.0053
31.93/32.14	c bounds 214 >= 138 @ 31.0905
31.93/32.14	c finalizing WCE round: reformulating cores
154.42/154.92	c #Conflicts:      54000 | #Constraints:       8501
154.42/154.92	c #Conflicts:      55000 | #Constraints:       9505
154.42/154.92	c #Conflicts:      56000 | #Constraints:      10507
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c #Conflicts:      57000 | #Constraints:       6661
154.42/154.92	c #Conflicts:      58000 | #Constraints:       7663
154.42/154.92	c #Conflicts:      59000 | #Constraints:       8665
154.42/154.92	c #Conflicts:      60000 | #Constraints:       9669
154.42/154.92	c #Conflicts:      61000 | #Constraints:      10671
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c bounds 213 >= 138 @ 38.2381
154.42/154.92	c bounds 213 >= 139 @ 38.2666
154.42/154.92	c bounds 213 >= 140 @ 38.2985
154.42/154.92	c #Conflicts:      62000 | #Constraints:       6735
154.42/154.92	c bounds 213 >= 141 @ 39.7417
154.42/154.92	c #Conflicts:      63000 | #Constraints:       7838
154.42/154.92	c #Conflicts:      64000 | #Constraints:       8838
154.42/154.92	c #Conflicts:      65000 | #Constraints:       9838
154.42/154.92	c #Conflicts:      66000 | #Constraints:      10838
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c #Conflicts:      67000 | #Constraints:       6616
154.42/154.92	c #Conflicts:      68000 | #Constraints:       7616
154.42/154.92	c #Conflicts:      69000 | #Constraints:       8616
154.42/154.92	c #Conflicts:      70000 | #Constraints:       9616
154.42/154.92	c #Conflicts:      71000 | #Constraints:      10616
154.42/154.92	c #Conflicts:      72000 | #Constraints:      11616
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c #Conflicts:      73000 | #Constraints:       7215
154.42/154.92	c #Conflicts:      74000 | #Constraints:       8215
154.42/154.92	c #Conflicts:      75000 | #Constraints:       9215
154.42/154.92	c #Conflicts:      76000 | #Constraints:      10215
154.42/154.92	c #Conflicts:      77000 | #Constraints:      11215
154.42/154.92	c #Conflicts:      78000 | #Constraints:      12215
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c #Conflicts:      79000 | #Constraints:       7608
154.42/154.92	c #Conflicts:      80000 | #Constraints:       8608
154.42/154.92	c #Conflicts:      81000 | #Constraints:       9608
154.42/154.92	c #Conflicts:      82000 | #Constraints:      10608
154.42/154.92	c #Conflicts:      83000 | #Constraints:      11608
154.42/154.92	c #Conflicts:      84000 | #Constraints:      12608
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c #Conflicts:      85000 | #Constraints:       7815
154.42/154.92	c #Conflicts:      86000 | #Constraints:       8815
154.42/154.92	c #Conflicts:      87000 | #Constraints:       9815
154.42/154.92	c #Conflicts:      88000 | #Constraints:      10815
154.42/154.92	c #Conflicts:      89000 | #Constraints:      11815
154.42/154.92	c #Conflicts:      90000 | #Constraints:      12815
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c #Conflicts:      91000 | #Constraints:       7818
154.42/154.92	c #Conflicts:      92000 | #Constraints:       8818
154.42/154.92	c #Conflicts:      93000 | #Constraints:       9818
154.42/154.92	c #Conflicts:      94000 | #Constraints:      10818
154.42/154.92	c #Conflicts:      95000 | #Constraints:      11818
154.42/154.92	c #Conflicts:      96000 | #Constraints:      12818
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c #Conflicts:      97000 | #Constraints:       7615
154.42/154.92	c #Conflicts:      98000 | #Constraints:       8615
154.42/154.92	c #Conflicts:      99000 | #Constraints:       9615
154.42/154.92	c #Conflicts:     100000 | #Constraints:      10615
154.42/154.92	c #Conflicts:     101000 | #Constraints:      11615
154.42/154.92	c #Conflicts:     102000 | #Constraints:      12615
154.42/154.92	c #Conflicts:     103000 | #Constraints:      13615
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c #Conflicts:     104000 | #Constraints:       8218
154.42/154.92	c #Conflicts:     105000 | #Constraints:       9218
154.42/154.92	c #Conflicts:     106000 | #Constraints:      10218
154.42/154.92	c #Conflicts:     107000 | #Constraints:      11218
154.42/154.92	c #Conflicts:     108000 | #Constraints:      12218
154.42/154.92	c #Conflicts:     109000 | #Constraints:      13218
154.42/154.92	c #Conflicts:     110000 | #Constraints:      14218
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c #Conflicts:     111000 | #Constraints:       8619
154.42/154.92	c #Conflicts:     112000 | #Constraints:       9619
154.42/154.92	c #Conflicts:     113000 | #Constraints:      10619
154.42/154.92	c #Conflicts:     114000 | #Constraints:      11619
154.42/154.92	c #Conflicts:     115000 | #Constraints:      12619
154.42/154.92	c #Conflicts:     116000 | #Constraints:      13619
154.42/154.92	c #Conflicts:     117000 | #Constraints:      14619
154.42/154.92	c INPROCESSING
154.42/154.92	c GARBAGE COLLECT
154.42/154.92	c #Conflicts:     118000 | #Constraints:       8809
154.42/154.92	c #Conflicts:     119000 | #Constraints:       9809
154.42/154.92	c #Conflicts:     120000 | #Constraints:      10809
154.42/154.92	c #Conflicts:     121000 | #Constraints:      11809
154.42/154.92	c #Conflicts:     122000 | #Constraints:      12809
154.42/154.92	c #Conflicts:     123000 | #Constraints:      13809
347.85/348.80	c #Conflicts:     124000 | #Constraints:      14809
347.85/348.80	c INPROCESSING
347.85/348.80	c GARBAGE COLLECT
347.85/348.80	c #Conflicts:     125000 | #Constraints:       8810
347.85/348.80	c #Conflicts:     126000 | #Constraints:       9810
347.85/348.80	c #Conflicts:     127000 | #Constraints:      10810
347.85/348.80	c #Conflicts:     128000 | #Constraints:      11810
347.85/348.80	c #Conflicts:     129000 | #Constraints:      12810
347.85/348.80	c #Conflicts:     130000 | #Constraints:      13810
347.85/348.80	c #Conflicts:     131000 | #Constraints:      14810
347.85/348.80	c INPROCESSING
347.85/348.80	c GARBAGE COLLECT
347.85/348.80	c #Conflicts:     132000 | #Constraints:       8614
347.85/348.80	c #Conflicts:     133000 | #Constraints:       9614
347.85/348.80	c #Conflicts:     134000 | #Constraints:      10614
347.85/348.80	c #Conflicts:     135000 | #Constraints:      11614
347.85/348.80	c #Conflicts:     136000 | #Constraints:      12614
347.85/348.80	c #Conflicts:     137000 | #Constraints:      13614
347.85/348.80	c #Conflicts:     138000 | #Constraints:      14614
347.85/348.80	c #Conflicts:     139000 | #Constraints:      15614
347.85/348.80	c INPROCESSING
347.85/348.80	c GARBAGE COLLECT
347.85/348.80	c #Conflicts:     140000 | #Constraints:       9220
347.85/348.80	c #Conflicts:     141000 | #Constraints:      10220
347.85/348.80	c #Conflicts:     142000 | #Constraints:      11220
347.85/348.80	c #Conflicts:     143000 | #Constraints:      12220
347.85/348.80	c #Conflicts:     144000 | #Constraints:      13220
347.85/348.80	c #Conflicts:     145000 | #Constraints:      14220
347.85/348.80	c #Conflicts:     146000 | #Constraints:      15220
347.85/348.80	c #Conflicts:     147000 | #Constraints:      16220
347.85/348.80	c INPROCESSING
347.85/348.80	c GARBAGE COLLECT
347.85/348.80	c #Conflicts:     148000 | #Constraints:       9619
347.85/348.80	c #Conflicts:     149000 | #Constraints:      10619
347.85/348.80	c #Conflicts:     150000 | #Constraints:      11619
347.85/348.80	c #Conflicts:     151000 | #Constraints:      12619
347.85/348.80	c #Conflicts:     152000 | #Constraints:      13619
347.85/348.80	c #Conflicts:     153000 | #Constraints:      14619
347.85/348.80	c #Conflicts:     154000 | #Constraints:      15619
347.85/348.80	c #Conflicts:     155000 | #Constraints:      16619
347.85/348.80	c INPROCESSING
347.85/348.80	c GARBAGE COLLECT
347.85/348.80	c #Conflicts:     156000 | #Constraints:       9812
347.85/348.80	c #Conflicts:     157000 | #Constraints:      10812
347.85/348.80	c #Conflicts:     158000 | #Constraints:      11812
347.85/348.80	c #Conflicts:     159000 | #Constraints:      12812
347.85/348.80	c #Conflicts:     160000 | #Constraints:      13812
347.85/348.80	c #Conflicts:     161000 | #Constraints:      14812
347.85/348.80	c #Conflicts:     162000 | #Constraints:      15812
347.85/348.80	c #Conflicts:     163000 | #Constraints:      16812
347.85/348.80	c INPROCESSING
347.85/348.80	c GARBAGE COLLECT
347.85/348.80	c #Conflicts:     164000 | #Constraints:       9819
347.85/348.80	c #Conflicts:     165000 | #Constraints:      10819
347.85/348.80	c #Conflicts:     166000 | #Constraints:      11819
347.85/348.80	c #Conflicts:     167000 | #Constraints:      12819
347.85/348.80	c #Conflicts:     168000 | #Constraints:      13819
347.85/348.80	c #Conflicts:     169000 | #Constraints:      14819
347.85/348.80	c #Conflicts:     170000 | #Constraints:      15819
347.85/348.80	c #Conflicts:     171000 | #Constraints:      16819
347.85/348.80	c INPROCESSING
347.85/348.80	c GARBAGE COLLECT
347.85/348.80	c #Conflicts:     172000 | #Constraints:       9618
347.85/348.80	c #Conflicts:     173000 | #Constraints:      10618
347.85/348.80	c #Conflicts:     174000 | #Constraints:      11618
347.85/348.80	c #Conflicts:     175000 | #Constraints:      12618
347.85/348.80	c #Conflicts:     176000 | #Constraints:      13618
347.85/348.80	c #Conflicts:     177000 | #Constraints:      14618
347.85/348.80	c #Conflicts:     178000 | #Constraints:      15618
347.85/348.80	c #Conflicts:     179000 | #Constraints:      16618
347.85/348.80	c #Conflicts:     180000 | #Constraints:      17618
347.85/348.80	c INPROCESSING
347.85/348.80	c GARBAGE COLLECT
347.85/348.80	c #Conflicts:     181000 | #Constraints:      10226
347.85/348.80	c #Conflicts:     182000 | #Constraints:      11226
347.85/348.80	c #Conflicts:     183000 | #Constraints:      12226
347.85/348.80	c #Conflicts:     184000 | #Constraints:      13226
347.85/348.80	c #Conflicts:     185000 | #Constraints:      14226
347.85/348.80	c #Conflicts:     186000 | #Constraints:      15226
347.85/348.80	c #Conflicts:     187000 | #Constraints:      16226
347.85/348.80	c #Conflicts:     188000 | #Constraints:      17226
347.85/348.80	c #Conflicts:     189000 | #Constraints:      18226
347.85/348.80	c INPROCESSING
347.85/348.80	c GARBAGE COLLECT
347.85/348.80	c #Conflicts:     190000 | #Constraints:      10620
347.85/348.80	c #Conflicts:     191000 | #Constraints:      11620
347.85/348.80	c #Conflicts:     192000 | #Constraints:      12620
347.85/348.80	c #Conflicts:     193000 | #Constraints:      13620
347.85/348.80	c #Conflicts:     194000 | #Constraints:      14620
347.85/348.80	c #Conflicts:     195000 | #Constraints:      15620
347.85/348.80	c #Conflicts:     196000 | #Constraints:      16620
592.62/594.24	c #Conflicts:     197000 | #Constraints:      17620
592.62/594.24	c #Conflicts:     198000 | #Constraints:      18620
592.62/594.24	c INPROCESSING
592.62/594.24	c GARBAGE COLLECT
592.62/594.24	c #Conflicts:     199000 | #Constraints:      10826
592.62/594.24	c #Conflicts:     200000 | #Constraints:      11826
592.62/594.24	c #Conflicts:     201000 | #Constraints:      12826
592.62/594.24	c #Conflicts:     202000 | #Constraints:      13826
592.62/594.24	c #Conflicts:     203000 | #Constraints:      14826
592.62/594.24	c #Conflicts:     204000 | #Constraints:      15826
592.62/594.24	c #Conflicts:     205000 | #Constraints:      16826
592.62/594.24	c #Conflicts:     206000 | #Constraints:      17826
592.62/594.24	c #Conflicts:     207000 | #Constraints:      18826
592.62/594.24	c INPROCESSING
592.62/594.24	c GARBAGE COLLECT
592.62/594.24	c #Conflicts:     208000 | #Constraints:      10841
592.62/594.24	c #Conflicts:     209000 | #Constraints:      11841
592.62/594.24	c #Conflicts:     210000 | #Constraints:      12841
592.62/594.24	c #Conflicts:     211000 | #Constraints:      13841
592.62/594.24	c #Conflicts:     212000 | #Constraints:      14841
592.62/594.24	c #Conflicts:     213000 | #Constraints:      15841
592.62/594.24	c #Conflicts:     214000 | #Constraints:      16841
592.62/594.24	c #Conflicts:     215000 | #Constraints:      17841
592.62/594.24	c #Conflicts:     216000 | #Constraints:      18841
592.62/594.24	c INPROCESSING
592.62/594.24	c GARBAGE COLLECT
592.62/594.24	c #Conflicts:     217000 | #Constraints:      10631
592.62/594.24	c #Conflicts:     218000 | #Constraints:      11631
592.62/594.24	c #Conflicts:     219000 | #Constraints:      12631
592.62/594.24	c #Conflicts:     220000 | #Constraints:      13631
592.62/594.24	c #Conflicts:     221000 | #Constraints:      14631
592.62/594.24	c #Conflicts:     222000 | #Constraints:      15631
592.62/594.24	c #Conflicts:     223000 | #Constraints:      16631
592.62/594.24	c #Conflicts:     224000 | #Constraints:      17631
592.62/594.24	c #Conflicts:     225000 | #Constraints:      18631
592.62/594.24	c #Conflicts:     226000 | #Constraints:      19631
592.62/594.24	c INPROCESSING
592.62/594.24	c GARBAGE COLLECT
592.62/594.24	c #Conflicts:     227000 | #Constraints:      11232
592.62/594.24	c #Conflicts:     228000 | #Constraints:      12232
592.62/594.24	c #Conflicts:     229000 | #Constraints:      13232
592.62/594.24	c #Conflicts:     230000 | #Constraints:      14232
592.62/594.24	c #Conflicts:     231000 | #Constraints:      15232
592.62/594.24	c #Conflicts:     232000 | #Constraints:      16232
592.62/594.24	c #Conflicts:     233000 | #Constraints:      17232
592.62/594.24	c #Conflicts:     234000 | #Constraints:      18232
592.62/594.24	c #Conflicts:     235000 | #Constraints:      19232
592.62/594.24	c #Conflicts:     236000 | #Constraints:      20232
592.62/594.24	c INPROCESSING
592.62/594.24	c GARBAGE COLLECT
592.62/594.24	c #Conflicts:     237000 | #Constraints:      11638
592.62/594.24	c #Conflicts:     238000 | #Constraints:      12638
592.62/594.24	c #Conflicts:     239000 | #Constraints:      13638
592.62/594.24	c #Conflicts:     240000 | #Constraints:      14638
592.62/594.24	c #Conflicts:     241000 | #Constraints:      15638
592.62/594.24	c #Conflicts:     242000 | #Constraints:      16638
592.62/594.24	c #Conflicts:     243000 | #Constraints:      17638
592.62/594.24	c #Conflicts:     244000 | #Constraints:      18638
592.62/594.24	c #Conflicts:     245000 | #Constraints:      19638
592.62/594.24	c #Conflicts:     246000 | #Constraints:      20638
592.62/594.24	c INPROCESSING
592.62/594.24	c GARBAGE COLLECT
592.62/594.24	c #Conflicts:     247000 | #Constraints:      11837
592.62/594.24	c #Conflicts:     248000 | #Constraints:      12837
592.62/594.24	c #Conflicts:     249000 | #Constraints:      13837
592.62/594.24	c #Conflicts:     250000 | #Constraints:      14837
592.62/594.24	c #Conflicts:     251000 | #Constraints:      15837
592.62/594.24	c #Conflicts:     252000 | #Constraints:      16837
592.62/594.24	c #Conflicts:     253000 | #Constraints:      17837
592.62/594.24	c #Conflicts:     254000 | #Constraints:      18837
592.62/594.24	c #Conflicts:     255000 | #Constraints:      19837
592.62/594.24	c #Conflicts:     256000 | #Constraints:      20837
592.62/594.24	c INPROCESSING
592.62/594.24	c GARBAGE COLLECT
592.62/594.24	c #Conflicts:     257000 | #Constraints:      11841
592.62/594.24	c #Conflicts:     258000 | #Constraints:      12841
592.62/594.24	c #Conflicts:     259000 | #Constraints:      13841
592.62/594.24	c #Conflicts:     260000 | #Constraints:      14841
592.62/594.24	c #Conflicts:     261000 | #Constraints:      15841
592.62/594.24	c #Conflicts:     262000 | #Constraints:      16841
592.62/594.24	c #Conflicts:     263000 | #Constraints:      17841
592.62/594.24	c #Conflicts:     264000 | #Constraints:      18841
592.62/594.24	c #Conflicts:     265000 | #Constraints:      19841
592.62/594.24	c #Conflicts:     266000 | #Constraints:      20841
592.62/594.24	c INPROCESSING
592.62/594.24	c GARBAGE COLLECT
592.62/594.24	c #Conflicts:     267000 | #Constraints:      11641
592.62/594.24	c #Conflicts:     268000 | #Constraints:      12641
592.62/594.24	c #Conflicts:     269000 | #Constraints:      13641
592.62/594.24	c #Conflicts:     270000 | #Constraints:      14641
892.59/895.05	c #Conflicts:     271000 | #Constraints:      15641
892.59/895.05	c #Conflicts:     272000 | #Constraints:      16641
892.59/895.05	c #Conflicts:     273000 | #Constraints:      17641
892.59/895.05	c #Conflicts:     274000 | #Constraints:      18641
892.59/895.05	c #Conflicts:     275000 | #Constraints:      19641
892.59/895.05	c #Conflicts:     276000 | #Constraints:      20641
892.59/895.05	c #Conflicts:     277000 | #Constraints:      21641
892.59/895.05	c INPROCESSING
892.59/895.05	c GARBAGE COLLECT
892.59/895.05	c #Conflicts:     278000 | #Constraints:      12241
892.59/895.05	c #Conflicts:     279000 | #Constraints:      13241
892.59/895.05	c #Conflicts:     280000 | #Constraints:      14241
892.59/895.05	c #Conflicts:     281000 | #Constraints:      15241
892.59/895.05	c #Conflicts:     282000 | #Constraints:      16241
892.59/895.05	c #Conflicts:     283000 | #Constraints:      17241
892.59/895.05	c #Conflicts:     284000 | #Constraints:      18241
892.59/895.05	c #Conflicts:     285000 | #Constraints:      19241
892.59/895.05	c #Conflicts:     286000 | #Constraints:      20241
892.59/895.05	c #Conflicts:     287000 | #Constraints:      21241
892.59/895.05	c #Conflicts:     288000 | #Constraints:      22241
892.59/895.05	c INPROCESSING
892.59/895.05	c GARBAGE COLLECT
892.59/895.05	c #Conflicts:     289000 | #Constraints:      12638
892.59/895.05	c #Conflicts:     290000 | #Constraints:      13638
892.59/895.05	c #Conflicts:     291000 | #Constraints:      14638
892.59/895.05	c #Conflicts:     292000 | #Constraints:      15638
892.59/895.05	c #Conflicts:     293000 | #Constraints:      16638
892.59/895.05	c #Conflicts:     294000 | #Constraints:      17638
892.59/895.05	c #Conflicts:     295000 | #Constraints:      18638
892.59/895.05	c #Conflicts:     296000 | #Constraints:      19638
892.59/895.05	c #Conflicts:     297000 | #Constraints:      20638
892.59/895.05	c #Conflicts:     298000 | #Constraints:      21638
892.59/895.05	c #Conflicts:     299000 | #Constraints:      22638
892.59/895.05	c INPROCESSING
892.59/895.05	c GARBAGE COLLECT
892.59/895.05	c #Conflicts:     300000 | #Constraints:      12828
892.59/895.05	c #Conflicts:     301000 | #Constraints:      13828
892.59/895.05	c #Conflicts:     302000 | #Constraints:      14828
892.59/895.05	c #Conflicts:     303000 | #Constraints:      15828
892.59/895.05	c #Conflicts:     304000 | #Constraints:      16828
892.59/895.05	c #Conflicts:     305000 | #Constraints:      17828
892.59/895.05	c #Conflicts:     306000 | #Constraints:      18828
892.59/895.05	c #Conflicts:     307000 | #Constraints:      19828
892.59/895.05	c #Conflicts:     308000 | #Constraints:      20828
892.59/895.05	c #Conflicts:     309000 | #Constraints:      21828
892.59/895.05	c #Conflicts:     310000 | #Constraints:      22828
892.59/895.05	c INPROCESSING
892.59/895.05	c GARBAGE COLLECT
892.59/895.05	c #Conflicts:     311000 | #Constraints:      12842
892.59/895.05	c #Conflicts:     312000 | #Constraints:      13842
892.59/895.05	c #Conflicts:     313000 | #Constraints:      14842
892.59/895.05	c #Conflicts:     314000 | #Constraints:      15842
892.59/895.05	c #Conflicts:     315000 | #Constraints:      16842
892.59/895.05	c #Conflicts:     316000 | #Constraints:      17842
892.59/895.05	c #Conflicts:     317000 | #Constraints:      18842
892.59/895.05	c #Conflicts:     318000 | #Constraints:      19842
892.59/895.05	c #Conflicts:     319000 | #Constraints:      20842
892.59/895.05	c #Conflicts:     320000 | #Constraints:      21842
892.59/895.05	c #Conflicts:     321000 | #Constraints:      22842
892.59/895.05	c INPROCESSING
892.59/895.05	c GARBAGE COLLECT
892.59/895.05	c #Conflicts:     322000 | #Constraints:      12636
892.59/895.05	c #Conflicts:     323000 | #Constraints:      13636
892.59/895.05	c #Conflicts:     324000 | #Constraints:      14636
892.59/895.05	c #Conflicts:     325000 | #Constraints:      15636
892.59/895.05	c #Conflicts:     326000 | #Constraints:      16636
892.59/895.05	c #Conflicts:     327000 | #Constraints:      17636
892.59/895.05	c #Conflicts:     328000 | #Constraints:      18636
892.59/895.05	c #Conflicts:     329000 | #Constraints:      19636
892.59/895.05	c #Conflicts:     330000 | #Constraints:      20636
892.59/895.05	c #Conflicts:     331000 | #Constraints:      21636
892.59/895.05	c #Conflicts:     332000 | #Constraints:      22636
892.59/895.05	c #Conflicts:     333000 | #Constraints:      23636
892.59/895.05	c INPROCESSING
892.59/895.05	c GARBAGE COLLECT
892.59/895.05	c #Conflicts:     334000 | #Constraints:      13233
892.59/895.05	c #Conflicts:     335000 | #Constraints:      14233
892.59/895.05	c #Conflicts:     336000 | #Constraints:      15233
892.59/895.05	c #Conflicts:     337000 | #Constraints:      16233
892.59/895.05	c #Conflicts:     338000 | #Constraints:      17233
892.59/895.05	c #Conflicts:     339000 | #Constraints:      18233
892.59/895.05	c #Conflicts:     340000 | #Constraints:      19233
892.59/895.05	c #Conflicts:     341000 | #Constraints:      20233
892.59/895.05	c #Conflicts:     342000 | #Constraints:      21233
892.59/895.05	c #Conflicts:     343000 | #Constraints:      22233
892.59/895.05	c #Conflicts:     344000 | #Constraints:      23233
892.59/895.05	c #Conflicts:     345000 | #Constraints:      24233
943.85/946.40	c INPROCESSING
943.85/946.40	c GARBAGE COLLECT
943.85/946.40	c #Conflicts:     346000 | #Constraints:      13628
943.85/946.40	c #Conflicts:     347000 | #Constraints:      14628
943.85/946.40	c #Conflicts:     348000 | #Constraints:      15628
943.85/946.40	c #Conflicts:     349000 | #Constraints:      16628
943.85/946.40	c #Conflicts:     350000 | #Constraints:      17628
943.85/946.40	c #Conflicts:     351000 | #Constraints:      18628
943.85/946.40	c #Conflicts:     352000 | #Constraints:      19628
943.85/946.40	c #Conflicts:     353000 | #Constraints:      20628
943.85/946.40	c #Conflicts:     354000 | #Constraints:      21628
943.85/946.40	c #Conflicts:     355000 | #Constraints:      22628
943.85/946.40	c #Conflicts:     356000 | #Constraints:      23628
943.85/946.40	c bounds 213 >= 142 @ 937.423
943.85/946.40	c finalizing WCE round: reformulating cores
1284.27/1287.60	c #Conflicts:     357000 | #Constraints:      24752
1284.27/1287.60	c INPROCESSING
1284.27/1287.60	c GARBAGE COLLECT
1284.27/1287.60	c #Conflicts:     358000 | #Constraints:      13882
1284.27/1287.60	c bounds 212 >= 141 @ 942.066
1284.27/1287.60	c bounds 212 >= 141 @ 942.632
1284.27/1287.60	c #Conflicts:     359000 | #Constraints:      14888
1284.27/1287.60	c #Conflicts:     360000 | #Constraints:      15890
1284.27/1287.60	c bounds 212 >= 144 @ 943.989
1284.27/1287.60	c #Conflicts:     361000 | #Constraints:      16890
1284.27/1287.60	c bounds 212 >= 145 @ 948.03
1284.27/1287.60	c #Conflicts:     362000 | #Constraints:      17939
1284.27/1287.60	c #Conflicts:     363000 | #Constraints:      18939
1284.27/1287.60	c #Conflicts:     364000 | #Constraints:      19939
1284.27/1287.60	c #Conflicts:     365000 | #Constraints:      20939
1284.27/1287.60	c #Conflicts:     366000 | #Constraints:      21939
1284.27/1287.60	c #Conflicts:     367000 | #Constraints:      22939
1284.27/1287.60	c #Conflicts:     368000 | #Constraints:      23939
1284.27/1287.60	c #Conflicts:     369000 | #Constraints:      24939
1284.27/1287.60	c INPROCESSING
1284.27/1287.60	c GARBAGE COLLECT
1284.27/1287.60	c #Conflicts:     370000 | #Constraints:      13862
1284.27/1287.60	c #Conflicts:     371000 | #Constraints:      14862
1284.27/1287.60	c #Conflicts:     372000 | #Constraints:      15862
1284.27/1287.60	c bounds 212 >= 146 @ 987.025
1284.27/1287.60	c #Conflicts:     373000 | #Constraints:      16911
1284.27/1287.60	c #Conflicts:     374000 | #Constraints:      17911
1284.27/1287.60	c #Conflicts:     375000 | #Constraints:      18911
1284.27/1287.60	c #Conflicts:     376000 | #Constraints:      19911
1284.27/1287.60	c #Conflicts:     377000 | #Constraints:      20911
1284.27/1287.60	c #Conflicts:     378000 | #Constraints:      21911
1284.27/1287.60	c #Conflicts:     379000 | #Constraints:      22911
1284.27/1287.60	c #Conflicts:     380000 | #Constraints:      23911
1284.27/1287.60	c #Conflicts:     381000 | #Constraints:      24911
1284.27/1287.60	c INPROCESSING
1284.27/1287.60	c GARBAGE COLLECT
1284.27/1287.60	c #Conflicts:     382000 | #Constraints:      13733
1284.27/1287.60	c #Conflicts:     383000 | #Constraints:      14733
1284.27/1287.60	c #Conflicts:     384000 | #Constraints:      15733
1284.27/1287.60	c #Conflicts:     385000 | #Constraints:      16733
1284.27/1287.60	c #Conflicts:     386000 | #Constraints:      17733
1284.27/1287.60	c #Conflicts:     387000 | #Constraints:      18733
1284.27/1287.60	c #Conflicts:     388000 | #Constraints:      19733
1284.27/1287.60	c #Conflicts:     389000 | #Constraints:      20733
1284.27/1287.60	c #Conflicts:     390000 | #Constraints:      21733
1284.27/1287.60	c #Conflicts:     391000 | #Constraints:      22733
1284.27/1287.60	c #Conflicts:     392000 | #Constraints:      23733
1284.27/1287.60	c #Conflicts:     393000 | #Constraints:      24733
1284.27/1287.60	c #Conflicts:     394000 | #Constraints:      25733
1284.27/1287.60	c INPROCESSING
1284.27/1287.60	c GARBAGE COLLECT
1284.27/1287.60	c #Conflicts:     395000 | #Constraints:      14345
1284.27/1287.60	c #Conflicts:     396000 | #Constraints:      15345
1284.27/1287.60	c #Conflicts:     397000 | #Constraints:      16345
1284.27/1287.60	c #Conflicts:     398000 | #Constraints:      17345
1284.27/1287.60	c #Conflicts:     399000 | #Constraints:      18345
1284.27/1287.60	c #Conflicts:     400000 | #Constraints:      19345
1284.27/1287.60	c #Conflicts:     401000 | #Constraints:      20345
1284.27/1287.60	c #Conflicts:     402000 | #Constraints:      21345
1284.27/1287.60	c #Conflicts:     403000 | #Constraints:      22345
1284.27/1287.60	c #Conflicts:     404000 | #Constraints:      23345
1284.27/1287.60	c #Conflicts:     405000 | #Constraints:      24345
1284.27/1287.60	c #Conflicts:     406000 | #Constraints:      25345
1284.27/1287.60	c #Conflicts:     407000 | #Constraints:      26345
1284.27/1287.60	c INPROCESSING
1284.27/1287.60	c GARBAGE COLLECT
1284.27/1287.60	c #Conflicts:     408000 | #Constraints:      14753
1284.27/1287.60	c #Conflicts:     409000 | #Constraints:      15753
1284.27/1287.60	c #Conflicts:     410000 | #Constraints:      16753
1284.27/1287.60	c #Conflicts:     411000 | #Constraints:      17753
1284.27/1287.60	c #Conflicts:     412000 | #Constraints:      18753
1284.27/1287.60	c #Conflicts:     413000 | #Constraints:      19753
1284.27/1287.60	c #Conflicts:     414000 | #Constraints:      20753
1284.27/1287.60	c #Conflicts:     415000 | #Constraints:      21753
1284.27/1287.60	c #Conflicts:     416000 | #Constraints:      22753
1284.27/1287.60	c #Conflicts:     417000 | #Constraints:      23753
1284.27/1287.60	c #Conflicts:     418000 | #Constraints:      24753
1284.27/1287.60	c #Conflicts:     419000 | #Constraints:      25753
1284.27/1287.60	c #Conflicts:     420000 | #Constraints:      26753
1284.27/1287.60	c #Conflicts:     421000 | #Constraints:      27753
1284.27/1287.60	c #Conflicts:     422000 | #Constraints:      28753
1284.27/1287.60	c #Conflicts:     423000 | #Constraints:      29753
1284.27/1287.60	c #Conflicts:     424000 | #Constraints:      30753
1284.27/1287.60	c #Conflicts:     425000 | #Constraints:      31753
1284.27/1287.60	c #Conflicts:     426000 | #Constraints:      32753
1284.27/1287.60	c #Conflicts:     427000 | #Constraints:      33753
1284.27/1287.60	c #Conflicts:     428000 | #Constraints:      34753
1284.27/1287.60	c #Conflicts:     429000 | #Constraints:      35753
2617.13/2623.70	c #Conflicts:     430000 | #Constraints:      36753
2617.13/2623.70	c #Conflicts:     431000 | #Constraints:      37753
2617.13/2623.70	c #Conflicts:     432000 | #Constraints:      38753
2617.13/2623.70	c #Conflicts:     433000 | #Constraints:      39753
2617.13/2623.70	c #Conflicts:     434000 | #Constraints:      40753
2617.13/2623.70	c #Conflicts:     435000 | #Constraints:      41753
2617.13/2623.70	c #Conflicts:     436000 | #Constraints:      42753
2617.13/2623.70	c #Conflicts:     437000 | #Constraints:      43753
2617.13/2623.70	c #Conflicts:     438000 | #Constraints:      44753
2617.13/2623.70	c #Conflicts:     439000 | #Constraints:      45753
2617.13/2623.70	c #Conflicts:     440000 | #Constraints:      46753
2617.13/2623.70	c #Conflicts:     441000 | #Constraints:      47753
2617.13/2623.70	c #Conflicts:     442000 | #Constraints:      48753
2617.13/2623.70	c #Conflicts:     443000 | #Constraints:      49753
2617.13/2623.70	c #Conflicts:     444000 | #Constraints:      50753
2617.13/2623.70	c #Conflicts:     445000 | #Constraints:      51753
2617.13/2623.70	c #Conflicts:     446000 | #Constraints:      52753
2617.13/2623.70	c #Conflicts:     447000 | #Constraints:      53753
2617.13/2623.70	c #Conflicts:     448000 | #Constraints:      54753
2617.13/2623.70	c #Conflicts:     449000 | #Constraints:      55753
2617.13/2623.70	c #Conflicts:     450000 | #Constraints:      56753
2617.13/2623.70	c #Conflicts:     451000 | #Constraints:      57753
2617.13/2623.70	c #Conflicts:     452000 | #Constraints:      58753
2617.13/2623.70	c #Conflicts:     453000 | #Constraints:      59753
2617.13/2623.70	c #Conflicts:     454000 | #Constraints:      60753
2617.13/2623.70	c #Conflicts:     455000 | #Constraints:      61753
2617.13/2623.70	c #Conflicts:     456000 | #Constraints:      62753
2617.13/2623.70	c #Conflicts:     457000 | #Constraints:      63753
2617.13/2623.70	c #Conflicts:     458000 | #Constraints:      64753
2617.13/2623.70	c #Conflicts:     459000 | #Constraints:      65753
2617.13/2623.70	c #Conflicts:     460000 | #Constraints:      66753
2617.13/2623.70	c #Conflicts:     461000 | #Constraints:      67753
2617.13/2623.70	c #Conflicts:     462000 | #Constraints:      68753
2617.13/2623.70	c #Conflicts:     463000 | #Constraints:      69753
2617.13/2623.70	c #Conflicts:     464000 | #Constraints:      70753
2617.13/2623.70	c #Conflicts:     465000 | #Constraints:      71753
2617.13/2623.70	c #Conflicts:     466000 | #Constraints:      72753
2617.13/2623.70	c #Conflicts:     467000 | #Constraints:      73753
2617.13/2623.70	c #Conflicts:     468000 | #Constraints:      74753
2617.13/2623.70	c #Conflicts:     469000 | #Constraints:      75753
2617.13/2623.70	c #Conflicts:     470000 | #Constraints:      76753
2617.13/2623.70	c INPROCESSING
2617.13/2623.70	c GARBAGE COLLECT
2617.13/2623.70	c #Conflicts:     471000 | #Constraints:      39759
2617.13/2623.70	c #Conflicts:     472000 | #Constraints:      40759
2617.13/2623.70	c #Conflicts:     473000 | #Constraints:      41759
2617.13/2623.70	c #Conflicts:     474000 | #Constraints:      42759
2617.13/2623.70	c #Conflicts:     475000 | #Constraints:      43759
2617.13/2623.70	c #Conflicts:     476000 | #Constraints:      44759
2617.13/2623.70	c #Conflicts:     477000 | #Constraints:      45759
2617.13/2623.70	c #Conflicts:     478000 | #Constraints:      46759
2617.13/2623.70	c #Conflicts:     479000 | #Constraints:      47759
2617.13/2623.70	c #Conflicts:     480000 | #Constraints:      48759
2617.13/2623.70	c #Conflicts:     481000 | #Constraints:      49759
2617.13/2623.70	c #Conflicts:     482000 | #Constraints:      50759
2617.13/2623.70	c #Conflicts:     483000 | #Constraints:      51759
2617.13/2623.70	c #Conflicts:     484000 | #Constraints:      52759
2617.13/2623.70	c INPROCESSING
2617.13/2623.70	c GARBAGE COLLECT
2617.13/2623.70	c #Conflicts:     485000 | #Constraints:      27729
2617.13/2623.70	c #Conflicts:     486000 | #Constraints:      28729
2617.13/2623.70	c #Conflicts:     487000 | #Constraints:      29729
2617.13/2623.70	c #Conflicts:     488000 | #Constraints:      30729
2617.13/2623.70	c #Conflicts:     489000 | #Constraints:      31729
2617.13/2623.70	c #Conflicts:     490000 | #Constraints:      32729
2617.13/2623.70	c #Conflicts:     491000 | #Constraints:      33729
2617.13/2623.70	c #Conflicts:     492000 | #Constraints:      34729
2617.13/2623.70	c #Conflicts:     493000 | #Constraints:      35729
2617.13/2623.70	c #Conflicts:     494000 | #Constraints:      36729
2617.13/2623.70	c #Conflicts:     495000 | #Constraints:      37729
2617.13/2623.70	c #Conflicts:     496000 | #Constraints:      38729
2617.13/2623.70	c #Conflicts:     497000 | #Constraints:      39729
2617.13/2623.70	c #Conflicts:     498000 | #Constraints:      40729
2617.13/2623.70	c INPROCESSING
2617.13/2623.70	c GARBAGE COLLECT
2617.13/2623.70	c #Conflicts:     499000 | #Constraints:      22553
2617.13/2623.70	c #Conflicts:     500000 | #Constraints:      23553
2617.13/2623.70	c #Conflicts:     501000 | #Constraints:      24553
2617.13/2623.70	c #Conflicts:     502000 | #Constraints:      25553
2617.13/2623.70	c #Conflicts:     503000 | #Constraints:      26553
2617.13/2623.70	c #Conflicts:     504000 | #Constraints:      27553
2617.13/2623.70	c #Conflicts:     505000 | #Constraints:      28553
2617.13/2623.70	c #Conflicts:     506000 | #Constraints:      29553
3600.03/3609.40	c #Conflicts:     507000 | #Constraints:      30553
3600.03/3609.40	c #Conflicts:     508000 | #Constraints:      31553
3600.03/3609.40	c #Conflicts:     509000 | #Constraints:      32553
3600.03/3609.40	c #Conflicts:     510000 | #Constraints:      33553
3600.03/3609.40	c #Conflicts:     511000 | #Constraints:      34553
3600.03/3609.40	c #Conflicts:     512000 | #Constraints:      35553
3600.03/3609.40	c #Conflicts:     513000 | #Constraints:      36553
3600.03/3609.40	c #Conflicts:     514000 | #Constraints:      37553
3600.03/3609.40	c #Conflicts:     515000 | #Constraints:      38553
3600.03/3609.40	c #Conflicts:     516000 | #Constraints:      39553
3600.03/3609.40	c #Conflicts:     517000 | #Constraints:      40553
3600.03/3609.40	c #Conflicts:     518000 | #Constraints:      41553
3600.03/3609.40	c #Conflicts:     519000 | #Constraints:      42553
3600.03/3609.40	c #Conflicts:     520000 | #Constraints:      43553
3600.03/3609.40	c #Conflicts:     521000 | #Constraints:      44553
3600.03/3609.40	c #Conflicts:     522000 | #Constraints:      45553
3600.03/3609.40	c #Conflicts:     523000 | #Constraints:      46553
3600.03/3609.40	c #Conflicts:     524000 | #Constraints:      47553
3600.03/3609.40	c #Conflicts:     525000 | #Constraints:      48553
3600.03/3609.40	c #Conflicts:     526000 | #Constraints:      49553
3600.03/3609.40	c #Conflicts:     527000 | #Constraints:      50553
3600.03/3609.40	c #Conflicts:     528000 | #Constraints:      51553
3600.03/3609.40	c #Conflicts:     529000 | #Constraints:      52553
3600.03/3609.40	c #Conflicts:     530000 | #Constraints:      53553
3600.03/3609.40	c #Conflicts:     531000 | #Constraints:      54553
3600.03/3609.40	c #Conflicts:     532000 | #Constraints:      55553
3600.03/3609.40	c #Conflicts:     533000 | #Constraints:      56553
3600.03/3609.40	c #Conflicts:     534000 | #Constraints:      57553
3600.03/3609.40	c #Conflicts:     535000 | #Constraints:      58553
3600.03/3609.40	c #Conflicts:     536000 | #Constraints:      59553
3600.03/3609.40	c #Conflicts:     537000 | #Constraints:      60553
3600.03/3609.40	c #Conflicts:     538000 | #Constraints:      61553
3600.03/3609.40	c #Conflicts:     539000 | #Constraints:      62553
3600.03/3609.40	c #Conflicts:     540000 | #Constraints:      63553
3600.03/3609.40	c #Conflicts:     541000 | #Constraints:      64553
3600.03/3609.40	c #Conflicts:     542000 | #Constraints:      65553
3600.03/3609.40	c #Conflicts:     543000 | #Constraints:      66553
3600.03/3609.40	c #Conflicts:     544000 | #Constraints:      67553
3600.03/3609.40	c #Conflicts:     545000 | #Constraints:      68553
3600.03/3609.40	c #Conflicts:     546000 | #Constraints:      69553
3600.03/3609.40	c #Conflicts:     547000 | #Constraints:      70553
3600.03/3609.40	c #Conflicts:     548000 | #Constraints:      71553
3600.03/3609.40	c #Conflicts:     549000 | #Constraints:      72553
3600.03/3609.40	c #Conflicts:     550000 | #Constraints:      73553
3600.03/3609.40	c #Conflicts:     551000 | #Constraints:      74553
3600.03/3609.40	c #Conflicts:     552000 | #Constraints:      75553
3600.03/3609.40	c #Conflicts:     553000 | #Constraints:      76553
3600.03/3609.40	c #Conflicts:     554000 | #Constraints:      77553
3600.03/3609.40	c #Conflicts:     555000 | #Constraints:      78553
3600.03/3609.40	c #Conflicts:     556000 | #Constraints:      79553
3600.03/3609.40	c Program interrupted by user.
3600.03/3609.40	c cpu time 3589.68 s
3600.03/3609.40	c deterministic time 289996848794 2.90e+11
3600.03/3609.40	c optimization time 1084.88 s
3600.03/3609.40	c total solve time 2504.8 s
3600.03/3609.40	c core-guided solve time 2504.8 s
3600.03/3609.40	c propagation time 3249.33 s
3600.03/3609.40	c conflict analysis time 323.566 s
3600.03/3609.40	c propagations 74430233
3600.03/3609.40	c resolve steps 7544204
3600.03/3609.40	c decisions 7773857
3600.03/3609.40	c conflicts 556360
3600.03/3609.40	c restarts 1149
3600.03/3609.40	c inprocessing phases 58
3600.03/3609.40	c input clauses 250
3600.03/3609.40	c input cardinalities 444
3600.03/3609.40	c input general constraints 682
3600.03/3609.40	c input average constraint length 41.55
3600.03/3609.40	c input average constraint degree 20.50
3600.03/3609.40	c learned clauses 155126
3600.03/3609.40	c learned cardinalities 1454
3600.03/3609.40	c learned general constraints 399800
3600.03/3609.40	c learned average constraint length 138.94
3600.03/3609.40	c learned average constraint degree 3467066.27
3600.03/3609.40	c watched constraints 322765
3600.03/3609.40	c counting constraints 77717
3600.03/3609.40	c gcd simplifications 48261
3600.03/3609.40	c detected cardinalities 1149
3600.03/3609.40	c weakened non-implied lits 7134499
3600.03/3609.40	c weakened non-implying lits 29923
3600.03/3609.40	c original variables 470
3600.03/3609.40	c clausal propagations 16582520
3600.03/3609.40	c cardinality propagations 851967
3600.03/3609.40	c watched propagations 15429859
3600.03/3609.40	c counting propagations 41147029
3600.03/3609.40	c watch lookups 68428264231
3600.03/3609.40	c watch backjump lookups 65471294262
3600.03/3609.40	c watch checks 138435263168
3600.03/3609.40	c propagation checks 17168761645
3600.03/3609.40	c constraint additions 328301032
3600.03/3609.40	c trail pops 82760365
3600.03/3609.40	c formula constraints 470
3600.03/3609.40	c learned constraints 556380
3600.03/3609.40	c bound constraints 99
3600.03/3609.40	c core-guided constraints 807
3600.03/3609.40	c encountered formula constraints 1053182
3600.03/3609.40	c encountered learned constraints 5772180
3600.03/3609.40	c encountered bound constraints 70
3600.03/3609.40	c encountered core-guided constraints 1275132
3600.03/3609.40	c LP total time 0 s
3600.03/3609.40	c LP solve time 0 s
3600.03/3609.40	c LP constraints added 0
3600.03/3609.40	c LP constraints removed 0
3600.03/3609.40	c LP pivots internal 0
3600.03/3609.40	c LP pivots root 0
3600.03/3609.40	c LP calls 0
3600.03/3609.40	c LP optimalities 0
3600.03/3609.40	c LP no pivot count 0
3600.03/3609.40	c LP infeasibilities 0
3600.03/3609.40	c LP valid Farkas constraints 0
3600.03/3609.40	c LP learned Farkas constraints 0
3600.03/3609.40	c LP basis resets 0
3600.03/3609.40	c LP cycling count 0
3600.03/3609.40	c LP singular count 0
3600.03/3609.40	c LP no primal count 0
3600.03/3609.40	c LP no farkas count 0
3600.03/3609.40	c LP other issue count 0
3600.03/3609.40	c LP Gomory cuts 0
3600.03/3609.40	c LP learned cuts 0
3600.03/3609.40	c LP deleted cuts 0
3600.03/3609.40	c LP encountered Gomory constraints 0
3600.03/3609.40	c LP encountered Farkas constraints 0
3600.03/3609.40	c LP encountered learned Farkas constraints 0
3600.03/3609.40	c CG auxiliary variables introduced 335
3600.03/3609.40	c CG solutions found 3
3600.03/3609.40	c CG cores constructed 88
3600.03/3609.40	c CG core cardinality constraints returned 0
3600.03/3609.40	c CG unit cores 0
3600.03/3609.40	c CG single cores 87
3600.03/3609.40	c CG blocks removed during cardinality reduction 0
3600.03/3609.40	c CG first core best 0
3600.03/3609.40	c CG decision core best 0
3600.03/3609.40	c CG core reduction tie 1
3600.03/3609.40	c CG core degree average 1.00
3600.03/3609.40	c CG core slack average 6.44
3600.03/3609.40	c CG exhausted 2
3600.03/3609.40	c CG exhaust time 43.6 s
3600.03/3609.40	c CG trimmed 3
3600.03/3609.40	c CG trim time 0.0226 s
3600.03/3609.40	c CG minimized 0
3600.03/3609.40	c CG minimize time 0 s
3600.03/3609.40	c CG am1 prop time 0.0187 s
3600.03/3609.40	c CG # am1s reformulated 56
3600.03/3609.40	c CG lower bound derived from am1s 56
3600.03/3609.40	c CG # clausal cores 36
3600.03/3609.40	c CG # cardinality cores 0
3600.03/3609.40	c CG # pb cores 53
3600.03/3609.40	c CG # pb reforms 0
3600.03/3609.40	c CG # cores discarded because of pb reform 0
3600.03/3609.40	d LOWERBOUND 146
3600.03/3609.40	d NCORES 88
3600.03/3609.40	d NPBCORES 53
3600.03/3609.40	d NPBREFORM 0
3600.03/3609.40	d NTRIMMED 3
3600.03/3609.40	d NEXHAUSTED 2
3600.03/3609.40	d NAM1S 56
3600.03/3609.40	d AM1LB 56
3600.03/3609.40	o 212
3600.03/3609.40	s SATISFIABLE
3600.03/3609.40	v x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 x12 -x13 x14 -x15 -x16 -x17 x18 x19 -x20 x21 -x22 -x23 x24 x25 -x26 -x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 x44 -x45 x46 -x47 -x48 x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 x57 -x58 x59 x60 -x61 -x62 -x63 x64 x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 x74 x75 -x76 -x77 -x78 -x79 x80 x81 -x82 -x83 x84 x85 x86 x87 x88 x89 x90 x91 -x92 -x93 -x94 -x95 x96 x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x105 -x106 x107 -x108 -x109 x110 x111 x112 x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 x122 x123 -x124 -x125 x126 x127 x128 -x129 x130 -x131 x132 x133 -x134 -x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 x154 -x155 x156 -x157 -x158 x159 -x160 x161 -x162 -x163 x164 x165 -x166 x167 x168 -x169 x170 x171 x172 -x173 x174 -x175 x176 x177 x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 x204 -x205 x206 x207 -x208 x209 -x210 x211 -x212 x213 x214 x215 -x216 -x217 x218 x219 -x220 -x221 x222 -x223 -x224 -x225 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

Verifier Data 

OK	212

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: 64059 MiB (62965 MiB free)
  memory of node 1: 64510 MiB (62377 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454293-1721469924/watcher-4454293-1721469924 -o /tmp/evaluation-result-4454293-1721469924/solver-4454293-1721469924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721469936-1056730 --watchdog 3760 pb-oll-rs HOME/instance-4454293-1721469924.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=1056785, runsolver pid=1056774

[startup+0.100484 s]*
/proc/loadavg: 1.10 1.53 2.38 7/245 1056793
/proc/meminfo: memFree=128339780/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=40044 memory=9532 CPUtime=0.1 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 689 0 0 0 8 2 0 0 20 0 1 0 199150430 41005056 2383 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 10011 2383 1353 291 0 1545 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40044 KiB
Current children cumulated memory: 9532 KiB

[startup+0.228484 s]*
/proc/loadavg: 1.10 1.53 2.38 7/245 1056793
/proc/meminfo: memFree=128328764/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=41228 memory=10580 CPUtime=0.2 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 987 0 0 0 17 3 0 0 20 0 1 0 199150430 42217472 2645 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 10307 2645 1353 291 0 1841 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41228 KiB
Current children cumulated memory: 10580 KiB

[startup+0.313485 s]*
/proc/loadavg: 1.10 1.53 2.38 6/245 1056793
/proc/meminfo: memFree=128326832/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=41360 memory=10844 CPUtime=0.27 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 1005 0 0 0 24 3 0 0 20 0 1 0 199150430 42352640 2711 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 10340 2711 1353 291 0 1874 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 10844 KiB

[startup+0.700483 s]
/proc/loadavg: 1.10 1.53 2.38 5/245 1056793
/proc/meminfo: memFree=128316788/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=43128 memory=13748 CPUtime=0.63 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 1738 0 0 0 58 5 0 0 20 0 1 0 199150430 44163072 3437 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 10782 3437 1353 291 0 2316 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 43128 KiB
Current children cumulated memory: 13748 KiB

[startup+1.50048 s]
/proc/loadavg: 1.10 1.53 2.38 7/245 1056793
/proc/meminfo: memFree=128296608/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=49288 memory=18772 CPUtime=1.41 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 2987 0 0 0 133 8 0 0 20 0 1 0 199150430 50470912 4693 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 12322 4693 1411 291 0 3856 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 49288 KiB
Current children cumulated memory: 18772 KiB

[startup+3.1141 s]
/proc/loadavg: 1.10 1.53 2.38 7/245 1056793
/proc/meminfo: memFree=128259680/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=57532 memory=24976 CPUtime=3.01 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 4505 0 0 0 288 13 0 0 20 0 1 0 199150430 58912768 6244 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 14383 6244 1411 291 0 5917 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 24976 KiB

[startup+6.30034 s]
/proc/loadavg: 1.33 1.57 2.39 7/245 1056793
/proc/meminfo: memFree=128232284/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=68332 memory=31840 CPUtime=6.19 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 5725 0 0 0 596 23 0 0 20 0 1 0 199150430 69971968 7960 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 17083 7960 1411 291 0 8617 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 68332 KiB
Current children cumulated memory: 31840 KiB

[startup+12.7003 s]
/proc/loadavg: 1.62 1.63 2.40 7/243 1056795
/proc/meminfo: memFree=128193348/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=74576 memory=41976 CPUtime=12.57 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 7214 0 0 0 1222 35 0 0 20 0 1 0 199150430 76365824 10494 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 18644 10494 1411 291 0 10178 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 74576 KiB
Current children cumulated memory: 41976 KiB

[startup+25.5004 s]
/proc/loadavg: 2.15 1.74 2.43 7/243 1056796
/proc/meminfo: memFree=128151472/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=94832 memory=56020 CPUtime=25.32 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 9162 0 0 0 2472 60 0 0 20 0 1 0 199150430 97107968 14005 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 23708 14005 1411 291 0 15242 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 94832 KiB
Current children cumulated memory: 56020 KiB

[startup+51.1138 s]
/proc/loadavg: 2.78 1.93 2.47 7/243 1056801
/proc/meminfo: memFree=128115384/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=99824 memory=62012 CPUtime=50.87 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 10137 0 0 0 4999 88 0 0 20 0 1 0 199150430 102219776 15503 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 24956 15503 1411 291 0 16490 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 99824 KiB
Current children cumulated memory: 62012 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 2.26 2.56 7/243 1056810
/proc/meminfo: memFree=128086684/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=104024 memory=65456 CPUtime=101.94 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 11040 0 0 0 10054 140 0 0 20 0 1 0 199150430 106520576 16364 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 26006 16364 1411 291 0 17540 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 104024 KiB
Current children cumulated memory: 65456 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.61 2.66 7/243 1056821
/proc/meminfo: memFree=128064008/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=104808 memory=66352 CPUtime=161.8 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 11294 0 0 0 15991 189 0 0 20 0 1 0 199150430 107323392 16588 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 26202 16588 1411 291 0 17736 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 104808 KiB
Current children cumulated memory: 66352 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.88 2.75 7/243 1056831
/proc/meminfo: memFree=128041768/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=105724 memory=67180 CPUtime=221.66 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 11517 0 0 0 21929 237 0 0 20 0 1 0 199150430 108261376 16795 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 26431 16795 1411 291 0 17965 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 105724 KiB
Current children cumulated memory: 67180 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.10 2.84 7/242 1056842
/proc/meminfo: memFree=128031832/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=107296 memory=68288 CPUtime=281.52 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 11816 0 0 0 27876 276 0 0 20 0 1 0 199150430 109871104 17072 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 26824 17072 1411 291 0 18358 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 107296 KiB
Current children cumulated memory: 68288 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.28 2.92 7/243 1056857
/proc/meminfo: memFree=128018384/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=107900 memory=68764 CPUtime=341.37 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 11958 0 0 0 33821 316 0 0 20 0 1 0 199150430 110489600 17191 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 26975 17191 1411 291 0 18509 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 107900 KiB
Current children cumulated memory: 68764 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.45 3.00 7/243 1056868
/proc/meminfo: memFree=128010656/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=109080 memory=70676 CPUtime=401.22 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 12194 0 0 0 39768 354 0 0 20 0 1 0 199150430 111697920 17669 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 27270 17669 1411 291 0 18804 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 109080 KiB
Current children cumulated memory: 70676 KiB

[startup+462.3 s]
/proc/loadavg: 5.10 3.79 3.15 7/243 1056878
/proc/meminfo: memFree=127997692/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=109808 memory=72376 CPUtime=461.07 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 12447 0 0 0 45724 383 0 0 20 0 1 0 199150430 112443392 18094 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 27452 18094 1411 291 0 18986 0

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

Current children cumulated memory: 172608 KiB

[startup+2862.3 s]
/proc/loadavg: 4.28 4.16 4.07 7/244 1057936
/proc/meminfo: memFree=127696576/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=216472 memory=172608 CPUtime=2855.07 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 28231 0 0 0 284544 963 0 0 20 0 1 0 199150430 221667328 43152 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54118 43152 1411 291 0 45652 0
Current children cumulated CPU time: 2855.07 s
Current children cumulated vsize: 216472 KiB
Current children cumulated memory: 172608 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.13 4.06 7/244 1057946
/proc/meminfo: memFree=127695844/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=216472 memory=172608 CPUtime=2914.9 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 28294 0 0 0 290519 971 0 0 20 0 1 0 199150430 221667328 43152 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54118 43152 1411 291 0 45652 0
Current children cumulated CPU time: 2914.9 s
Current children cumulated vsize: 216472 KiB
Current children cumulated memory: 172608 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.07 7/244 1057958
/proc/meminfo: memFree=127695120/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=216472 memory=172608 CPUtime=2974.73 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 28360 0 0 0 296495 978 0 0 20 0 1 0 199150430 221667328 43152 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54118 43152 1411 291 0 45652 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 216472 KiB
Current children cumulated memory: 172608 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.08 7/243 1058355
/proc/meminfo: memFree=127794820/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=216472 memory=172608 CPUtime=3034.55 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 28426 0 0 0 302472 983 0 0 20 0 1 0 199150430 221667328 43152 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54118 43152 1411 291 0 45652 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 216472 KiB
Current children cumulated memory: 172608 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.08 7/243 1058365
/proc/meminfo: memFree=127790180/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=216472 memory=172608 CPUtime=3094.38 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 28494 0 0 0 308449 989 0 0 20 0 1 0 199150430 221667328 43152 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54118 43152 1411 291 0 45652 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 216472 KiB
Current children cumulated memory: 172608 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.08 7/243 1058376
/proc/meminfo: memFree=127786128/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=216472 memory=172608 CPUtime=3154.21 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 28563 0 0 0 314424 997 0 0 20 0 1 0 199150430 221667328 43152 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54118 43152 1411 291 0 45652 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 216472 KiB
Current children cumulated memory: 172608 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.08 7/244 1058556
/proc/meminfo: memFree=127784520/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=216472 memory=172608 CPUtime=3214.04 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 28636 0 0 0 320402 1002 0 0 20 0 1 0 199150430 221667328 43152 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54118 43152 1411 291 0 45652 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 216472 KiB
Current children cumulated memory: 172608 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.13 4.09 7/244 1058566
/proc/meminfo: memFree=127783452/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=216472 memory=172620 CPUtime=3273.87 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 28707 0 0 0 326380 1007 0 0 20 0 1 0 199150430 221667328 43155 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54118 43155 1411 291 0 45652 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 216472 KiB
Current children cumulated memory: 172620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.08 7/246 1058591
/proc/meminfo: memFree=127776908/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=216472 memory=172624 CPUtime=3333.69 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 28781 0 0 0 332358 1011 0 0 20 0 1 0 199150430 221667328 43156 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54118 43156 1411 291 0 45652 0
Current children cumulated CPU time: 3333.69 s
Current children cumulated vsize: 216472 KiB
Current children cumulated memory: 172624 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.08 7/247 1058602
/proc/meminfo: memFree=127767480/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=216816 memory=172636 CPUtime=3393.53 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 28893 0 0 0 338336 1017 0 0 20 0 1 0 199150430 222019584 43159 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54204 43159 1411 291 0 45738 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 216816 KiB
Current children cumulated memory: 172636 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.16 4.10 7/247 1058615
/proc/meminfo: memFree=127752680/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=217612 memory=173160 CPUtime=3453.35 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 29097 0 0 0 344314 1021 0 0 20 0 1 0 199150430 222834688 43290 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54403 43290 1411 291 0 45937 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 217612 KiB
Current children cumulated memory: 173160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 7/245 1058625
/proc/meminfo: memFree=127743256/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=218828 memory=173636 CPUtime=3513.18 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 29418 0 0 0 350291 1027 0 0 20 0 1 0 199150430 224079872 43409 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 54707 43409 1411 291 0 46241 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 218828 KiB
Current children cumulated memory: 173636 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.10 7/245 1058636
/proc/meminfo: memFree=127730100/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=220488 memory=174204 CPUtime=3573 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 29870 0 0 0 356268 1032 0 0 20 0 1 0 199150430 225779712 43551 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 55122 43551 1411 291 0 46656 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 220488 KiB
Current children cumulated memory: 174204 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.11 4.13 4.09 7/245 1058642
/proc/meminfo: memFree=127727564/131655788 swapFree=131071996/131071996
[pid=1056785] ppid=1056774 vsize=221512 memory=176604 CPUtime=3600.03 cores=4,6
/proc/1056785/stat : 1056785 (pb-oll-rs) R 1056774 1056785 1056719 0 -1 4194304 30087 0 0 0 358968 1035 0 0 20 0 1 0 199150430 226828288 44151 134679101440 4194304 5384485 140728929862608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29614080 140728929866773 140728929866850 140728929866850 140728929873867 0
/proc/1056785/statm: 55378 44151 1411 291 0 46912 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 221512 KiB
Current children cumulated memory: 176604 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.68 s, system=10.3568 s

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

Child status: 0

Real time (s): 3609.4
CPU time (s): 3600.04
CPU user time (s): 3589.68
CPU system time (s): 10.3568
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 221512
Max. memory (cumulated for all children) (KiB): 176604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.68
system time used= 10.3568
maximum resident set size= 176860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30102
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= 68
involuntary context switches= 2702


# summary of solver processes directly reported to runsolver:
#   pid: 1056785
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3589.68
#   total CPU system time (s): 10.3568

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4648 second user time and 33.9093 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-20 12:05:36
IDJOB=4454293
IDBENCH=147548
IDSOLVER=3082
FILE ID=nodeC002/4454293-1721469924
RUNJOBID= nodeC002-1721469936-1056730
SLURM_JOB_ID= 7545731
Free space on /tmp= 723784 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454293-1721469924/watcher-4454293-1721469924 -o /tmp/evaluation-result-4454293-1721469924/solver-4454293-1721469924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721469936-1056730 --watchdog 3760  pb-oll-rs HOME/instance-4454293-1721469924.opb

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

MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d
RANDOM SEED=651035397

nodeC002.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	: 0xb00001f
cpu MHz		: 1197.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 1197.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1287.561
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 1197.151
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1199.346
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 1200.477
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1200.477
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 1197.797
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128351864 kB
MemAvailable:   129878116 kB
Buffers:          588932 kB
Cached:          1772148 kB
SwapCached:            0 kB
Active:          1071500 kB
Inactive:        1649460 kB
Active(anon):       2588 kB
Inactive(anon):   403188 kB
Active(file):    1068912 kB
Inactive(file):  1246272 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7932 kB
Writeback:             0 kB
AnonPages:        359604 kB
Mapped:           107444 kB
Shmem:             45896 kB
KReclaimable:     102196 kB
Slab:             207632 kB
SReclaimable:     102196 kB
SUnreclaim:       105436 kB
KernelStack:        3696 kB
PageTables:         9980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     678932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63712 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      252744 kB
DirectMap2M:    34254848 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC002 at 2024-07-20 13:05:46