Trace number 4517992

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs-2024 2025-05-06SAT (TO)-123973 3600.07 3611.22

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_200_10000_5_-93992.opb
MD5SUMcd82cadc3025252f43f8d787a9347bc3
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-141992
Best CPU time to get the best result obtained on this benchmark0.123928
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1
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 constraints1
Minimum length of a constraint1000
Maximum length of a constraint1000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 10984
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 6085234
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 48992
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 6085234
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 1000 #constraints 1
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= -6085234 @ 5e-05
0.00/0.00	c stratification level: 0
0.00/0.02	c bounds - >= -2967476 @ 0.000982
0.00/0.02	c bounds - >= -1528566 @ 0.002287
0.00/0.02	c bounds - >= -886020 @ 0.003592
0.00/0.02	c bounds - >= -602898 @ 0.004815
0.00/0.02	c bounds - >= -458538 @ 0.005884
0.00/0.02	c bounds - >= -386970 @ 0.006756
0.00/0.02	c bounds - >= -350699 @ 0.00749
0.00/0.02	c bounds - >= -332290 @ 0.008227
0.00/0.02	c bounds - >= -323266 @ 0.008866
0.00/0.02	c bounds - >= -318382 @ 0.009479
0.00/0.02	c bounds - >= -315834 @ 0.01006
0.00/0.02	c bounds - >= -314259 @ 0.010581
0.00/0.02	c bounds - >= -312882 @ 0.011136
0.00/0.02	c bounds - >= -311859 @ 0.011599
0.00/0.02	c bounds - >= -311177 @ 0.012083
0.00/0.02	c bounds - >= -310727 @ 0.012522
0.00/0.02	c bounds - >= -310354 @ 0.012921
0.00/0.02	c bounds - >= -310130 @ 0.013178
0.00/0.02	c bounds - >= -310037 @ 0.013428
0.00/0.02	c bounds - >= -309994 @ 0.013662
0.00/0.02	c bounds - >= -309961 @ 0.013891
0.00/0.02	c bounds - >= -309943 @ 0.014139
0.00/0.02	c bounds - >= -309935 @ 0.014391
0.00/0.02	c bounds - >= -309929 @ 0.014626
0.00/0.02	c bounds - >= -309926 @ 0.014874
0.00/0.02	c bounds - >= -309925 @ 0.015132
0.00/0.02	c finalizing WCE round: reformulating cores
69.80/70.00	c #Conflicts:       1000 | #Constraints:       1031
69.80/70.00	c #Conflicts:       2000 | #Constraints:       2048
69.80/70.00	c INPROCESSING
69.80/70.00	c GARBAGE COLLECT
69.80/70.00	c #Conflicts:       3000 | #Constraints:       2563
69.80/70.00	c bounds -123818 >= -315834 @ 4.73947
69.80/70.00	c bounds -123961 >= -314252 @ 5.37705
69.80/70.00	c bounds -123961 >= -314252 @ 5.58532
69.80/70.00	c #Conflicts:       4000 | #Constraints:       3577
69.80/70.00	c bounds -123973 >= -311702 @ 8.33622
69.80/70.00	c #Conflicts:       5000 | #Constraints:       4585
69.80/70.00	c bounds -123973 >= -311702 @ 9.89797
69.80/70.00	c #Conflicts:       6000 | #Constraints:       5588
69.80/70.00	c INPROCESSING
69.80/70.00	c GARBAGE COLLECT
69.80/70.00	c #Conflicts:       7000 | #Constraints:       3825
69.80/70.00	c bounds -123973 >= -310504 @ 14.9456
69.80/70.00	c bounds -123973 >= -310504 @ 14.9569
69.80/70.00	c bounds -123973 >= -310504 @ 15.4318
69.80/70.00	c #Conflicts:       8000 | #Constraints:       4835
69.80/70.00	c #Conflicts:       9000 | #Constraints:       5837
69.80/70.00	c bounds -123973 >= -309862 @ 20.8191
69.80/70.00	c bounds -123973 >= -309862 @ 21.0298
69.80/70.00	c INPROCESSING
69.80/70.00	c GARBAGE COLLECT
69.80/70.00	c #Conflicts:      10000 | #Constraints:       4018
69.80/70.00	c bounds -123973 >= -309755 @ 22.9884
69.80/70.00	c bounds -123973 >= -309755 @ 23.007
69.80/70.00	c bounds -123973 >= -309706 @ 24.9885
69.80/70.00	c bounds -123973 >= -309706 @ 25.1097
69.80/70.00	c #Conflicts:      11000 | #Constraints:       5034
69.80/70.00	c bounds -123973 >= -309671 @ 28.9897
69.80/70.00	c #Conflicts:      12000 | #Constraints:       6038
69.80/70.00	c bounds -123973 >= -309620 @ 31.9161
69.80/70.00	c bounds -123973 >= -309620 @ 33.8423
69.80/70.00	c #Conflicts:      13000 | #Constraints:       7045
69.80/70.00	c bounds -123973 >= -309610 @ 38.2215
69.80/70.00	c #Conflicts:      14000 | #Constraints:       8049
69.80/70.00	c bounds -123973 >= -309600 @ 45.5522
69.80/70.00	c #Conflicts:      15000 | #Constraints:       9054
69.80/70.00	c bounds -123973 >= -309596 @ 52.1536
69.80/70.00	c bounds -123973 >= -309592 @ 59.8442
69.80/70.00	c #Conflicts:      16000 | #Constraints:      10064
69.80/70.00	c INPROCESSING
69.80/70.00	c GARBAGE COLLECT
69.80/70.00	c #Conflicts:      17000 | #Constraints:       5884
69.80/70.00	c bounds -123973 >= -309591 @ 68.8272
69.80/70.00	c bounds -123973 >= -308468 @ 68.8673
69.80/70.00	c bounds -123973 >= -308467 @ 68.8683
69.80/70.00	c bounds -123973 >= -308434 @ 68.869
69.80/70.00	c bounds -123973 >= -308431 @ 68.8695
69.80/70.00	c bounds -123973 >= -308398 @ 68.8699
69.80/70.00	c bounds -123973 >= -308394 @ 68.8706
69.80/70.00	c bounds -123973 >= -308390 @ 68.8714
69.80/70.00	c bounds -123973 >= -308387 @ 68.8721
69.80/70.00	c bounds -123973 >= -308386 @ 68.8729
69.80/70.00	c bounds -123973 >= -308385 @ 68.8737
69.80/70.00	c bounds -123973 >= -308347 @ 68.8744
69.80/70.00	c bounds -123973 >= -308272 @ 68.8753
69.80/70.00	c bounds -123973 >= -308271 @ 68.8758
69.80/70.00	c bounds -123973 >= -308270 @ 68.8767
69.80/70.00	c bounds -123973 >= -308269 @ 68.8775
69.80/70.00	c bounds -123973 >= -306119 @ 68.8784
69.80/70.00	c bounds -123973 >= -304785 @ 68.8797
69.80/70.00	c bounds -123973 >= -304641 @ 68.8826
69.80/70.00	c bounds -123973 >= -304566 @ 68.8847
69.80/70.00	c bounds -123973 >= -304513 @ 68.8865
69.80/70.00	c bounds -123973 >= -304483 @ 68.888
69.80/70.00	c bounds -123973 >= -304468 @ 68.8899
69.80/70.00	c bounds -123973 >= -304461 @ 68.8924
69.80/70.00	c bounds -123973 >= -304460 @ 68.8944
69.80/70.00	c bounds -123973 >= -304459 @ 68.8983
69.80/70.00	c bounds -123973 >= -304454 @ 68.904
69.80/70.00	c bounds -123973 >= -304447 @ 68.906
69.80/70.00	c bounds -123973 >= -304442 @ 68.9108
69.80/70.00	c bounds -123973 >= -304439 @ 68.9134
69.80/70.00	c bounds -123973 >= -304438 @ 68.9153
69.80/70.00	c bounds -123973 >= -304437 @ 68.9179
69.80/70.00	c bounds -123973 >= -304368 @ 68.9197
69.80/70.00	c bounds -123973 >= -304305 @ 68.9216
69.80/70.00	c bounds -123973 >= -304293 @ 68.9237
69.80/70.00	c bounds -123973 >= -304283 @ 68.925
69.80/70.00	c bounds -123973 >= -304276 @ 68.928
69.80/70.00	c bounds -123973 >= -304275 @ 68.9312
69.80/70.00	c bounds -123973 >= -304267 @ 68.9334
69.80/70.00	c bounds -123973 >= -304234 @ 68.937
69.80/70.00	c bounds -123973 >= -304211 @ 68.9387
69.80/70.00	c bounds -123973 >= -304196 @ 68.9397
69.80/70.00	c bounds -123973 >= -304181 @ 68.9415
69.80/70.00	c bounds -123973 >= -304180 @ 68.943
69.80/70.00	c bounds -123973 >= -304177 @ 68.9477
69.80/70.00	c bounds -123973 >= -304162 @ 68.9498
69.80/70.00	c bounds -123973 >= -304161 @ 68.9514
69.80/70.00	c bounds -123973 >= -304154 @ 68.9553
69.80/70.00	c bounds -123973 >= -304153 @ 68.9577
69.80/70.00	c bounds -123973 >= -304152 @ 68.9627
69.80/70.00	c bounds -123973 >= -304130 @ 68.9653
69.80/70.00	c bounds -123973 >= -304129 @ 68.9694
69.80/70.00	c bounds -123973 >= -304128 @ 68.9718
69.80/70.00	c bounds -123973 >= -304127 @ 68.9743
69.80/70.00	c bounds -123973 >= -304126 @ 68.9764
69.80/70.00	c bounds -123973 >= -304093 @ 68.9812
69.80/70.00	c bounds -123973 >= -304086 @ 68.9834
69.80/70.00	c bounds -123973 >= -304071 @ 68.9859
69.80/70.00	c bounds -123973 >= -304068 @ 68.9873
69.80/70.00	c bounds -123973 >= -304035 @ 68.9878
69.80/70.00	c bounds -123973 >= -304020 @ 68.9905
70.99/71.23	c bounds -123973 >= -304017 @ 68.9933
70.99/71.23	c bounds -123973 >= -303984 @ 68.9984
70.99/71.23	c bounds -123973 >= -303981 @ 69.001
70.99/71.23	c bounds -123973 >= -303980 @ 69.004
70.99/71.23	c bounds -123973 >= -303979 @ 69.0075
70.99/71.23	c bounds -123973 >= -303959 @ 69.0101
70.99/71.23	c bounds -123973 >= -303958 @ 69.0138
70.99/71.23	c bounds -123973 >= -303953 @ 69.0184
70.99/71.23	c bounds -123973 >= -303951 @ 69.0214
70.99/71.23	c bounds -123973 >= -303946 @ 69.0284
70.99/71.23	c bounds -123973 >= -303943 @ 69.0329
70.99/71.23	c bounds -123973 >= -303933 @ 69.0369
70.99/71.23	c bounds -123973 >= -303932 @ 69.0395
70.99/71.23	c bounds -123973 >= -303929 @ 69.0424
70.99/71.23	c bounds -123973 >= -303928 @ 69.0495
70.99/71.23	c bounds -123973 >= -303925 @ 69.0526
70.99/71.23	c bounds -123973 >= -303924 @ 69.0578
70.99/71.23	c bounds -123973 >= -303918 @ 69.062
70.99/71.23	c bounds -123973 >= -303917 @ 69.0668
70.99/71.23	c bounds -123973 >= -303914 @ 69.0721
70.99/71.23	c bounds -123973 >= -303474 @ 69.0743
70.99/71.23	c bounds -123973 >= -303304 @ 69.0767
70.99/71.23	c bounds -123973 >= -303295 @ 69.0792
70.99/71.23	c bounds -123973 >= -303288 @ 69.0863
70.99/71.23	c bounds -123973 >= -303287 @ 69.0893
70.99/71.23	c bounds -123973 >= -303284 @ 69.0936
70.99/71.23	c bounds -123973 >= -303283 @ 69.0984
70.99/71.23	c bounds -123973 >= -303282 @ 69.1038
70.99/71.23	c bounds -123973 >= -303280 @ 69.1051
70.99/71.23	c bounds -123973 >= -303273 @ 69.1072
70.99/71.23	c bounds -123973 >= -303264 @ 69.1092
70.99/71.23	c bounds -123973 >= -303260 @ 69.1119
70.99/71.23	c bounds -123973 >= -303258 @ 69.1144
70.99/71.23	c bounds -123973 >= -303257 @ 69.1157
70.99/71.23	c bounds -123973 >= -303256 @ 69.1187
70.99/71.23	c bounds -123973 >= -303255 @ 69.122
70.99/71.23	c bounds -123973 >= -303254 @ 69.1351
70.99/71.23	c bounds -123973 >= -303253 @ 69.1392
70.99/71.23	c bounds -123973 >= -302964 @ 69.1406
70.99/71.23	c bounds -123973 >= -302935 @ 69.1415
70.99/71.23	c bounds -123973 >= -302932 @ 69.1535
70.99/71.23	c bounds -123973 >= -302927 @ 69.1575
70.99/71.23	c bounds -123973 >= -302923 @ 69.1652
70.99/71.23	c bounds -123973 >= -302921 @ 69.1674
70.99/71.23	c bounds -123973 >= -302919 @ 69.1823
70.99/71.23	c bounds -123973 >= -302913 @ 69.1904
70.99/71.23	c bounds -123973 >= -302910 @ 69.1985
70.99/71.23	c bounds -123973 >= -302909 @ 69.2056
70.99/71.23	c bounds -123973 >= -298295 @ 69.2178
70.99/71.23	c bounds -123973 >= -295839 @ 69.2273
70.99/71.23	c bounds -123973 >= -293116 @ 69.2285
70.99/71.23	c bounds -123973 >= -293109 @ 69.278
70.99/71.23	c bounds -123973 >= -293093 @ 69.2843
70.99/71.23	c bounds -123973 >= -293045 @ 69.2927
70.99/71.23	c bounds -123973 >= -290251 @ 69.2985
70.99/71.23	c bounds -123973 >= -287937 @ 69.3069
70.99/71.23	c bounds -123973 >= -287904 @ 69.311
70.99/71.23	c bounds -123973 >= -287457 @ 69.317
70.99/71.23	c bounds -123973 >= -287454 @ 69.3367
70.99/71.23	c bounds -123973 >= -287439 @ 69.3382
70.99/71.23	c bounds -123973 >= -287424 @ 69.3509
70.99/71.23	c bounds -123973 >= -284663 @ 69.3546
70.99/71.23	c bounds -123973 >= -284662 @ 69.3786
70.99/71.23	c bounds -123973 >= -284621 @ 69.4011
70.99/71.23	c bounds -123973 >= -284620 @ 69.419
70.99/71.23	c bounds -123973 >= -284588 @ 69.4246
70.99/71.23	c bounds -123973 >= -284582 @ 69.4278
70.99/71.23	c bounds -123973 >= -282758 @ 69.445
70.99/71.23	c bounds -123973 >= -281869 @ 69.4659
70.99/71.23	c bounds -123973 >= -279075 @ 69.4831
70.99/71.23	c bounds -123973 >= -277579 @ 69.4906
70.99/71.23	c bounds -123973 >= -277578 @ 69.6114
70.99/71.23	c bounds -123973 >= -277461 @ 69.6219
70.99/71.23	c bounds -123973 >= -277355 @ 69.6222
70.99/71.23	c bounds -123973 >= -277275 @ 69.6225
70.99/71.23	c bounds -123973 >= -277243 @ 69.6228
70.99/71.23	c bounds -123973 >= -277125 @ 69.6273
70.99/71.23	c bounds -123973 >= -277031 @ 69.6315
70.99/71.23	c bounds -123973 >= -277030 @ 69.6343
70.99/71.23	c bounds -123973 >= -276936 @ 69.6402
70.99/71.23	c bounds -123973 >= -276281 @ 69.6448
70.99/71.23	c bounds -123973 >= -273487 @ 69.6501
70.99/71.23	c bounds -123973 >= -272845 @ 69.6591
70.99/71.23	c bounds -123973 >= -272400 @ 69.6601
70.99/71.23	c bounds -123973 >= -272203 @ 69.696
70.99/71.23	c bounds -123973 >= -271561 @ 69.7081
70.99/71.23	c bounds -123973 >= -271201 @ 69.719
70.99/71.23	c bounds -123973 >= -270693 @ 69.7254
70.99/71.23	c bounds -123973 >= -270333 @ 69.7502
70.99/71.23	c bounds -123973 >= -270331 @ 69.7926
70.99/71.23	c bounds -123973 >= -270329 @ 69.8059
70.99/71.23	c bounds -123973 >= -270327 @ 69.8103
70.99/71.23	c bounds -123973 >= -270326 @ 69.8139
70.99/71.23	c bounds -123973 >= -270325 @ 69.8405
70.99/71.23	c bounds -123973 >= -269501 @ 69.8621
70.99/71.23	c bounds -123973 >= -269367 @ 69.8661
70.99/71.23	c bounds -123973 >= -268725 @ 69.8804
70.99/71.23	c bounds -123973 >= -267900 @ 69.8824
70.99/71.23	c bounds -123973 >= -267891 @ 69.885
70.99/71.23	c bounds -123973 >= -266433 @ 69.895
70.99/71.23	c bounds -123973 >= -266432 @ 69.9572
70.99/71.23	c bounds -123973 >= -266430 @ 69.9871
70.99/71.23	c bounds -123973 >= -266429 @ 70.0506
70.99/71.23	c bounds -123973 >= -266428 @ 70.0743
70.99/71.23	c bounds -123973 >= -266386 @ 70.1021
70.99/71.23	c bounds -123973 >= -266384 @ 70.1366
70.99/71.23	c bounds -123973 >= -266382 @ 70.1481
70.99/71.23	c bounds -123973 >= -266380 @ 70.1538
78.38/78.67	c bounds -123973 >= -266022 @ 70.201
78.38/78.67	c bounds -123973 >= -266015 @ 70.2178
78.38/78.67	c bounds -123973 >= -266008 @ 70.2298
78.38/78.67	c bounds -123973 >= -266001 @ 70.2579
78.38/78.67	c bounds -123973 >= -265791 @ 70.2909
78.38/78.67	c bounds -123973 >= -265784 @ 70.3843
78.38/78.67	c bounds -123973 >= -265648 @ 70.4301
78.38/78.67	c bounds -123973 >= -265288 @ 70.4785
78.38/78.67	c bounds -123973 >= -265281 @ 70.5716
78.38/78.67	c bounds -123973 >= -265280 @ 70.7761
78.38/78.67	c bounds -123973 >= -265269 @ 70.8043
78.38/78.67	c bounds -123973 >= -265263 @ 70.8183
78.38/78.67	c bounds -123973 >= -265257 @ 70.8215
78.38/78.67	c bounds -123973 >= -265216 @ 70.8862
78.38/78.67	c #Conflicts:      18000 | #Constraints:       7691
78.38/78.67	c bounds -123973 >= -265215 @ 71.1814
78.38/78.67	c bounds -123973 >= -265214 @ 71.2068
78.38/78.67	c bounds -123973 >= -265198 @ 71.2538
78.38/78.67	c bounds -123973 >= -264928 @ 71.2806
78.38/78.67	c bounds -123973 >= -264855 @ 71.3244
78.38/78.67	c bounds -123973 >= -264782 @ 71.332
78.38/78.67	c bounds -123973 >= -264770 @ 71.3819
78.38/78.67	c bounds -123973 >= -264765 @ 71.4908
78.38/78.67	c bounds -123973 >= -264764 @ 71.4941
78.38/78.67	c bounds -123973 >= -264689 @ 71.5021
78.38/78.67	c bounds -123973 >= -264688 @ 71.5057
78.38/78.67	c bounds -123973 >= -264687 @ 71.5092
78.38/78.67	c bounds -123973 >= -264686 @ 71.521
78.38/78.67	c bounds -123973 >= -264410 @ 71.529
78.38/78.67	c bounds -123973 >= -264409 @ 71.589
78.38/78.67	c bounds -123973 >= -264408 @ 71.6237
78.38/78.67	c bounds -123973 >= -264407 @ 71.6612
78.38/78.67	c bounds -123973 >= -264406 @ 71.6895
78.38/78.67	c bounds -123973 >= -264405 @ 71.6938
78.38/78.67	c bounds -123973 >= -264404 @ 71.7073
78.38/78.67	c bounds -123973 >= -264403 @ 71.7285
78.38/78.67	c bounds -123973 >= -264128 @ 71.7394
78.38/78.67	c bounds -123973 >= -264124 @ 71.8047
78.38/78.67	c bounds -123973 >= -264050 @ 71.8052
78.38/78.67	c bounds -123973 >= -264049 @ 71.9438
78.38/78.67	c bounds -123973 >= -263786 @ 71.9696
78.38/78.67	c bounds -123973 >= -263785 @ 72.2131
78.38/78.67	c bounds -123973 >= -263778 @ 72.3612
78.38/78.67	c bounds -123973 >= -263762 @ 72.471
78.38/78.67	c bounds -123973 >= -263730 @ 72.4782
78.38/78.67	c bounds -123973 >= -263703 @ 72.5088
78.38/78.67	c bounds -123973 >= -263690 @ 72.55
78.38/78.67	c bounds -123973 >= -263637 @ 72.6551
78.38/78.67	c bounds -123973 >= -262312 @ 72.6693
78.38/78.67	c bounds -123973 >= -262311 @ 72.9616
78.38/78.67	c bounds -123973 >= -262310 @ 72.9844
78.38/78.67	c bounds -123973 >= -262270 @ 73.0046
78.38/78.67	c bounds -123973 >= -262258 @ 73.0517
78.38/78.67	c bounds -123973 >= -262247 @ 73.0594
78.38/78.67	c bounds -123973 >= -262235 @ 73.1294
78.38/78.67	c bounds -123973 >= -262234 @ 73.2616
78.38/78.67	c bounds -123973 >= -262232 @ 73.3075
78.38/78.67	c bounds -123973 >= -262230 @ 73.3441
78.38/78.67	c bounds -123973 >= -262205 @ 73.3575
78.38/78.67	c bounds -123973 >= -262202 @ 73.3731
78.38/78.67	c bounds -123973 >= -262166 @ 73.5153
78.38/78.67	c bounds -123973 >= -262022 @ 73.5322
78.38/78.67	c bounds -123973 >= -261944 @ 73.7047
78.38/78.67	c bounds -123973 >= -261884 @ 73.7242
78.38/78.67	c bounds -123973 >= -261878 @ 73.7611
78.38/78.67	c bounds -123973 >= -261845 @ 73.7871
78.38/78.67	c bounds -123973 >= -261826 @ 73.823
78.38/78.67	c bounds -123973 >= -261762 @ 73.8425
78.38/78.67	c bounds -123973 >= -261690 @ 73.9007
78.38/78.67	c bounds -123973 >= -261207 @ 73.9014
78.38/78.67	c bounds -123973 >= -261183 @ 73.9384
78.38/78.67	c bounds -123973 >= -261142 @ 74.1241
78.38/78.67	c bounds -123973 >= -261120 @ 74.1413
78.38/78.67	c bounds -123973 >= -260824 @ 74.1507
78.38/78.67	c bounds -123973 >= -260466 @ 74.1621
78.38/78.67	c bounds -123973 >= -260454 @ 74.3631
78.38/78.67	c bounds -123973 >= -260442 @ 74.4577
78.38/78.67	c bounds -123973 >= -260440 @ 74.4775
78.38/78.67	c bounds -123973 >= -260357 @ 74.4821
78.38/78.67	c bounds -123973 >= -260310 @ 74.4866
78.38/78.67	c bounds -123973 >= -260274 @ 74.5107
78.38/78.67	c bounds -123973 >= -260191 @ 74.5283
78.38/78.67	c bounds -123973 >= -260169 @ 74.5524
78.38/78.67	c bounds -123973 >= -260168 @ 74.8129
78.38/78.67	c #Conflicts:      19000 | #Constraints:       8984
78.38/78.67	c bounds -123973 >= -260162 @ 75.0154
78.38/78.67	c bounds -123973 >= -260157 @ 75.0533
78.38/78.67	c bounds -123973 >= -260155 @ 75.1076
78.38/78.67	c bounds -123973 >= -260152 @ 75.1266
78.38/78.67	c bounds -123973 >= -260151 @ 75.2036
78.38/78.67	c bounds -123973 >= -260145 @ 75.2203
78.38/78.67	c bounds -123973 >= -260121 @ 75.2849
78.38/78.67	c bounds -123973 >= -260117 @ 75.3169
78.38/78.67	c bounds -123973 >= -260107 @ 75.6271
78.38/78.67	c bounds -123973 >= -260106 @ 75.9322
78.38/78.67	c bounds -123973 >= -260095 @ 75.9965
78.38/78.67	c bounds -123973 >= -260094 @ 76.0313
78.38/78.67	c bounds -123973 >= -260082 @ 76.0945
78.38/78.67	c bounds -123973 >= -260024 @ 76.1061
78.38/78.67	c bounds -123973 >= -260018 @ 76.1495
78.38/78.67	c bounds -123973 >= -259774 @ 76.1684
78.38/78.67	c bounds -123973 >= -259773 @ 76.4145
78.38/78.67	c bounds -123973 >= -259771 @ 76.5196
78.38/78.67	c bounds -123973 >= -259769 @ 76.6245
78.38/78.67	c bounds -123973 >= -259768 @ 76.9248
78.38/78.67	c bounds -123973 >= -259765 @ 77.0819
78.38/78.67	c bounds -123973 >= -259728 @ 77.2186
113.70/114.05	c bounds -123973 >= -259726 @ 77.4112
113.70/114.05	c bounds -123973 >= -259631 @ 77.443
113.70/114.05	c bounds -123973 >= -259628 @ 77.6243
113.70/114.05	c bounds -123973 >= -259624 @ 77.826
113.70/114.05	c bounds -123973 >= -259409 @ 77.8622
113.70/114.05	c bounds -123973 >= -259408 @ 77.9501
113.70/114.05	c bounds -123973 >= -259407 @ 77.9542
113.70/114.05	c bounds -123973 >= -259406 @ 79.0731
113.70/114.05	c bounds -123973 >= -259404 @ 79.305
113.70/114.05	c bounds -123973 >= -259395 @ 79.8169
113.70/114.05	c bounds -123973 >= -259383 @ 80.0714
113.70/114.05	c bounds -123973 >= -259381 @ 80.5155
113.70/114.05	c bounds -123973 >= -259376 @ 80.5438
113.70/114.05	c bounds -123973 >= -259368 @ 80.5881
113.70/114.05	c #Conflicts:      20000 | #Constraints:      10135
113.70/114.05	c bounds -123973 >= -259359 @ 81.073
113.70/114.05	c bounds -123973 >= -259356 @ 81.2565
113.70/114.05	c bounds -123973 >= -259324 @ 81.3412
113.70/114.05	c bounds -123973 >= -259253 @ 81.3836
113.70/114.05	c bounds -123973 >= -259170 @ 81.5503
113.70/114.05	c bounds -123973 >= -259132 @ 81.686
113.70/114.05	c bounds -123973 >= -259109 @ 81.7737
113.70/114.05	c bounds -123973 >= -259049 @ 81.8096
113.70/114.05	c bounds -123973 >= -258965 @ 81.9213
113.70/114.05	c bounds -123973 >= -258958 @ 82.1585
113.70/114.05	c bounds -123973 >= -258605 @ 82.1816
113.70/114.05	c bounds -123973 >= -258245 @ 82.1904
113.70/114.05	c bounds -123973 >= -258236 @ 82.2205
113.70/114.05	c bounds -123973 >= -258195 @ 82.3489
113.70/114.05	c bounds -123973 >= -258192 @ 82.8715
113.70/114.05	c bounds -123973 >= -258189 @ 82.9177
113.70/114.05	c bounds -123973 >= -258188 @ 83.0071
113.70/114.05	c bounds -123973 >= -258147 @ 83.0916
113.70/114.05	c bounds -123973 >= -258025 @ 83.1537
113.70/114.05	c bounds -123973 >= -257610 @ 83.1911
113.70/114.05	c bounds -123973 >= -257608 @ 83.3387
113.70/114.05	c bounds -123973 >= -257569 @ 83.3489
113.70/114.05	c bounds -123973 >= -257441 @ 83.4441
113.70/114.05	c bounds -123973 >= -257097 @ 83.4956
113.70/114.05	c bounds -123973 >= -256953 @ 83.7115
113.70/114.05	c bounds -123973 >= -256952 @ 83.8174
113.70/114.05	c bounds -123973 >= -256937 @ 83.9112
113.70/114.05	c bounds -123973 >= -256932 @ 84.2712
113.70/114.05	c bounds -123973 >= -256925 @ 84.3518
113.70/114.05	c bounds -123973 >= -256911 @ 84.3819
113.70/114.05	c bounds -123973 >= -256910 @ 85.8616
113.70/114.05	c bounds -123973 >= -256887 @ 85.8732
113.70/114.05	c bounds -123973 >= -256876 @ 86.2823
113.70/114.05	c bounds -123973 >= -256874 @ 86.3424
113.70/114.05	c bounds -123973 >= -256852 @ 86.6062
113.70/114.05	c bounds -123973 >= -256851 @ 86.6997
113.70/114.05	c bounds -123973 >= -256842 @ 86.8106
113.70/114.05	c bounds -123973 >= -256830 @ 87.1525
113.70/114.05	c #Conflicts:      21000 | #Constraints:      11288
113.70/114.05	c INPROCESSING
113.70/114.05	c GARBAGE COLLECT
113.70/114.05	c bounds -123973 >= -256827 @ 87.4608
113.70/114.05	c bounds -123973 >= -256824 @ 87.5127
113.70/114.05	c bounds -123973 >= -256822 @ 89.3461
113.70/114.05	c bounds -123973 >= -256821 @ 89.5439
113.70/114.05	c bounds -123973 >= -256819 @ 89.6119
113.70/114.05	c bounds -123973 >= -256817 @ 89.6545
113.70/114.05	c bounds -123973 >= -256653 @ 89.7029
113.70/114.05	c bounds -123973 >= -256593 @ 89.7547
113.70/114.05	c bounds -123973 >= -256591 @ 89.8523
113.70/114.05	c bounds -123973 >= -256545 @ 89.9873
113.70/114.05	c bounds -123973 >= -256543 @ 90.1433
113.70/114.05	c bounds -123973 >= -256542 @ 90.2092
113.70/114.05	c bounds -123973 >= -256540 @ 90.2503
113.70/114.05	c bounds -123973 >= -256432 @ 90.3587
113.70/114.05	c bounds -123973 >= -256416 @ 90.5147
113.70/114.05	c bounds -123973 >= -256411 @ 90.552
113.70/114.05	c bounds -123973 >= -256399 @ 90.657
113.70/114.05	c bounds -123973 >= -256122 @ 90.6679
113.70/114.05	c bounds -123973 >= -256120 @ 90.8226
113.70/114.05	c bounds -123973 >= -255513 @ 90.8379
113.70/114.05	c bounds -123973 >= -255503 @ 90.9986
113.70/114.05	c bounds -123973 >= -255489 @ 91.1196
113.70/114.05	c bounds -123973 >= -255345 @ 91.2889
113.70/114.05	c bounds -123973 >= -255231 @ 91.3269
113.70/114.05	c #Conflicts:      22000 | #Constraints:       6851
113.70/114.05	c bounds -123973 >= -255228 @ 91.3765
113.70/114.05	c bounds -123973 >= -255225 @ 91.8251
113.70/114.05	c bounds -123973 >= -255222 @ 92.8715
113.70/114.05	c bounds -123973 >= -255187 @ 92.9146
113.70/114.05	c bounds -123973 >= -255157 @ 93.0588
113.70/114.05	c bounds -123973 >= -255145 @ 93.5673
113.70/114.05	c bounds -123973 >= -255144 @ 94.7678
113.70/114.05	c bounds -123973 >= -255142 @ 94.7743
113.70/114.05	c bounds -123973 >= -255133 @ 95.0919
113.70/114.05	c bounds -123973 >= -255084 @ 95.2602
113.70/114.05	c bounds -123973 >= -255074 @ 95.4847
113.70/114.05	c bounds -123973 >= -255042 @ 95.6108
113.70/114.05	c bounds -123973 >= -255035 @ 95.8174
113.70/114.05	c bounds -123973 >= -255034 @ 95.8829
113.70/114.05	c bounds -123973 >= -255031 @ 96.2876
113.70/114.05	c bounds -123973 >= -255024 @ 96.3626
113.70/114.05	c bounds -123973 >= -254877 @ 96.4687
113.70/114.05	c bounds -123973 >= -254871 @ 96.4735
113.70/114.05	c bounds -123973 >= -254864 @ 96.61
113.70/114.05	c #Conflicts:      23000 | #Constraints:       7927
113.70/114.05	c bounds -123973 >= -254831 @ 102.323
113.70/114.05	c bounds -123973 >= -254765 @ 102.325
113.70/114.05	c bounds -123973 >= -254762 @ 102.498
113.70/114.05	c bounds -123973 >= -254517 @ 102.531
113.70/114.05	c #Conflicts:      24000 | #Constraints:       8940
113.70/114.05	c #Conflicts:      25000 | #Constraints:       9940
300.60/301.41	c #Conflicts:      26000 | #Constraints:      10940
300.60/301.41	c #Conflicts:      27000 | #Constraints:      11940
300.60/301.41	c bounds -123973 >= -254516 @ 141.933
300.60/301.41	c #Conflicts:      28000 | #Constraints:      12944
300.60/301.41	c #Conflicts:      29000 | #Constraints:      13944
300.60/301.41	c #Conflicts:      30000 | #Constraints:      14944
300.60/301.41	c bounds -123973 >= -254510 @ 216.508
300.60/301.41	c bounds -123973 >= -254493 @ 216.818
300.60/301.41	c bounds -123973 >= -254476 @ 226.446
300.60/301.41	c bounds -123973 >= -254469 @ 232.263
300.60/301.41	c #Conflicts:      31000 | #Constraints:      15961
300.60/301.41	c bounds -123973 >= -254468 @ 233.271
300.60/301.41	c bounds -123973 >= -254437 @ 233.455
300.60/301.41	c bounds -123973 >= -254435 @ 236.089
300.60/301.41	c INPROCESSING
300.60/301.41	c GARBAGE COLLECT
300.60/301.41	c bounds -123973 >= -254394 @ 237.407
300.60/301.41	c bounds -123973 >= -254373 @ 237.573
300.60/301.41	c bounds -123973 >= -254372 @ 238.77
300.60/301.41	c bounds -123973 >= -254354 @ 238.804
300.60/301.41	c bounds -123973 >= -254229 @ 238.916
300.60/301.41	c bounds -123973 >= -254220 @ 239.474
300.60/301.41	c bounds -123973 >= -254218 @ 239.668
300.60/301.41	c bounds -123973 >= -254217 @ 239.878
300.60/301.41	c bounds -123973 >= -254085 @ 240.012
300.60/301.41	c bounds -123973 >= -253587 @ 240.224
300.60/301.41	c bounds -123973 >= -253568 @ 241.46
300.60/301.41	c #Conflicts:      32000 | #Constraints:       9241
300.60/301.41	c bounds -123973 >= -253567 @ 243.338
300.60/301.41	c bounds -123973 >= -253556 @ 244.201
300.60/301.41	c bounds -123973 >= -253527 @ 245.159
300.60/301.41	c bounds -123973 >= -253514 @ 245.585
300.60/301.41	c bounds -123973 >= -253508 @ 245.669
300.60/301.41	c bounds -123973 >= -253431 @ 245.745
300.60/301.41	c bounds -123973 >= -253348 @ 245.799
300.60/301.41	c bounds -123973 >= -253265 @ 246.074
300.60/301.41	c bounds -123973 >= -253262 @ 246.475
300.60/301.41	c bounds -123973 >= -253182 @ 246.577
300.60/301.41	c bounds -123973 >= -253099 @ 246.631
300.60/301.41	c bounds -123973 >= -253016 @ 246.901
300.60/301.41	c bounds -123973 >= -252933 @ 247.232
300.60/301.41	c bounds -123973 >= -252850 @ 247.489
300.60/301.41	c bounds -123973 >= -252779 @ 247.785
300.60/301.41	c bounds -123973 >= -252767 @ 247.956
300.60/301.41	c bounds -123973 >= -252684 @ 248.556
300.60/301.41	c bounds -123973 >= -252669 @ 248.759
300.60/301.41	c bounds -123973 >= -252601 @ 248.773
300.60/301.41	c #Conflicts:      33000 | #Constraints:      10317
300.60/301.41	c bounds -123973 >= -252597 @ 250.361
300.60/301.41	c bounds -123973 >= -252518 @ 250.874
300.60/301.41	c bounds -123973 >= -252437 @ 251.25
300.60/301.41	c bounds -123973 >= -252435 @ 252.474
300.60/301.42	c bounds -123973 >= -252432 @ 255.676
300.60/301.42	c bounds -123973 >= -252428 @ 255.688
300.60/301.42	c #Conflicts:      34000 | #Constraints:      11342
300.60/301.42	c bounds -123973 >= -252407 @ 258.75
300.60/301.42	c bounds -123973 >= -252352 @ 259.543
300.60/301.42	c bounds -123973 >= -252341 @ 259.99
300.60/301.42	c bounds -123973 >= -252269 @ 260.011
300.60/301.42	c bounds -123973 >= -252263 @ 260.045
300.60/301.42	c bounds -123973 >= -252186 @ 260.048
300.60/301.42	c bounds -123973 >= -252137 @ 260.058
300.60/301.42	c #Conflicts:      35000 | #Constraints:      12370
300.60/301.42	c bounds -123973 >= -252134 @ 267.17
300.60/301.42	c bounds -123973 >= -252101 @ 267.19
300.60/301.42	c bounds -123973 >= -251495 @ 267.348
300.60/301.42	c bounds -123973 >= -251492 @ 269.474
300.60/301.42	c bounds -123973 >= -251420 @ 269.514
300.60/301.42	c bounds -123973 >= -251419 @ 269.643
300.60/301.42	c bounds -123973 >= -251418 @ 269.749
300.60/301.42	c bounds -123973 >= -251412 @ 269.776
300.60/301.42	c bounds -123973 >= -250853 @ 269.79
300.60/301.42	c bounds -123973 >= -250852 @ 269.943
300.60/301.42	c bounds -123973 >= -250634 @ 270.001
300.60/301.42	c #Conflicts:      36000 | #Constraints:      13408
300.60/301.42	c bounds -123973 >= -250633 @ 275.068
300.60/301.42	c bounds -123973 >= -250211 @ 275.097
300.60/301.42	c bounds -123973 >= -249643 @ 275.103
300.60/301.42	c bounds -123973 >= -249637 @ 275.674
300.60/301.42	c bounds -123973 >= -249634 @ 283.869
300.60/301.42	c bounds -123973 >= -249630 @ 285.845
300.60/301.42	c bounds -123973 >= -249623 @ 286.862
300.60/301.42	c #Conflicts:      37000 | #Constraints:      14436
300.60/301.42	c bounds -123973 >= -249616 @ 287.244
300.60/301.42	c INPROCESSING
300.60/301.42	c GARBAGE COLLECT
300.60/301.42	c bounds -123973 >= -249611 @ 289.855
300.60/301.42	c bounds -123973 >= -249609 @ 289.934
300.60/301.42	c bounds -123973 >= -249602 @ 291.199
300.60/301.42	c bounds -123973 >= -249601 @ 291.242
300.60/301.42	c bounds -123973 >= -249595 @ 291.249
300.60/301.42	c bounds -123973 >= -249588 @ 291.333
300.60/301.42	c bounds -123973 >= -249581 @ 291.546
300.60/301.42	c #Conflicts:      38000 | #Constraints:       8541
300.60/301.42	c bounds -123973 >= -249574 @ 292.561
300.60/301.42	c bounds -123973 >= -249567 @ 292.628
300.60/301.42	c bounds -123973 >= -249565 @ 292.635
300.60/301.42	c bounds -123973 >= -249560 @ 294.654
300.60/301.42	c bounds -123973 >= -249553 @ 294.719
300.60/301.42	c bounds -123973 >= -249546 @ 294.748
300.60/301.42	c bounds -123973 >= -249539 @ 294.772
300.60/301.42	c bounds -123973 >= -249532 @ 294.787
300.60/301.42	c bounds -123973 >= -249530 @ 294.804
300.60/301.42	c bounds -123973 >= -249529 @ 295.234
300.60/301.42	c bounds -123973 >= -249505 @ 295.277
300.60/301.42	c bounds -123973 >= -249167 @ 295.291
1638.66/1643.50	c bounds -123973 >= -249164 @ 295.635
1638.66/1643.50	c bounds -123973 >= -249099 @ 295.664
1638.66/1643.50	c bounds -123973 >= -249084 @ 295.666
1638.66/1643.50	c bounds -123973 >= -248923 @ 295.737
1638.66/1643.50	c bounds -123973 >= -248922 @ 296.713
1638.66/1643.50	c #Conflicts:      39000 | #Constraints:       9609
1638.66/1643.50	c #Conflicts:      40000 | #Constraints:      10609
1638.66/1643.50	c bounds -123973 >= -248921 @ 314.616
1638.66/1643.50	c bounds -123973 >= -248914 @ 315.143
1638.66/1643.50	c bounds -123973 >= -248913 @ 316.117
1638.66/1643.50	c bounds -123973 >= -248905 @ 316.134
1638.66/1643.50	c bounds -123973 >= -248874 @ 316.142
1638.66/1643.50	c bounds -123973 >= -248873 @ 316.293
1638.66/1643.50	c bounds -123973 >= -248832 @ 316.35
1638.66/1643.50	c bounds -123973 >= -248774 @ 316.367
1638.66/1643.50	c #Conflicts:      41000 | #Constraints:      11644
1638.66/1643.50	c bounds -123973 >= -248773 @ 320.242
1638.66/1643.50	c bounds -123973 >= -248750 @ 320.253
1638.66/1643.50	c #Conflicts:      42000 | #Constraints:      12652
1638.66/1643.50	c bounds -123973 >= -248749 @ 333.662
1638.66/1643.50	c bounds -123973 >= -248747 @ 334.506
1638.66/1643.50	c #Conflicts:      43000 | #Constraints:      13661
1638.66/1643.50	c #Conflicts:      44000 | #Constraints:      14661
1638.66/1643.50	c bounds -123973 >= -248737 @ 389.692
1638.66/1643.50	c #Conflicts:      45000 | #Constraints:      15665
1638.66/1643.50	c #Conflicts:      46000 | #Constraints:      16665
1638.66/1643.50	c #Conflicts:      47000 | #Constraints:      17665
1638.66/1643.50	c bounds -123973 >= -248734 @ 452.378
1638.66/1643.50	c bounds -123973 >= -248733 @ 452.492
1638.66/1643.50	c #Conflicts:      48000 | #Constraints:      18674
1638.66/1643.50	c bounds -123973 >= -248732 @ 497.09
1638.66/1643.50	c #Conflicts:      49000 | #Constraints:      19678
1638.66/1643.50	c #Conflicts:      50000 | #Constraints:      20678
1638.66/1643.50	c INPROCESSING
1638.66/1643.50	c GARBAGE COLLECT
1638.66/1643.50	c #Conflicts:      51000 | #Constraints:      11514
1638.66/1643.50	c #Conflicts:      52000 | #Constraints:      12514
1638.66/1643.50	c #Conflicts:      53000 | #Constraints:      13514
1638.66/1643.50	c #Conflicts:      54000 | #Constraints:      14514
1638.66/1643.50	c #Conflicts:      55000 | #Constraints:      15514
1638.66/1643.50	c bounds -123973 >= -248726 @ 676.973
1638.66/1643.50	c #Conflicts:      56000 | #Constraints:      16518
1638.66/1643.50	c #Conflicts:      57000 | #Constraints:      17518
1638.66/1643.50	c INPROCESSING
1638.66/1643.50	c GARBAGE COLLECT
1638.66/1643.50	c #Conflicts:      58000 | #Constraints:       9850
1638.66/1643.50	c #Conflicts:      59000 | #Constraints:      10850
1638.66/1643.50	c #Conflicts:      60000 | #Constraints:      11850
1638.66/1643.50	c #Conflicts:      61000 | #Constraints:      12850
1638.66/1643.50	c #Conflicts:      62000 | #Constraints:      13850
1638.66/1643.50	c #Conflicts:      63000 | #Constraints:      14850
1638.66/1643.50	c #Conflicts:      64000 | #Constraints:      15850
1638.66/1643.50	c bounds -123973 >= -248685 @ 857.79
1638.66/1643.50	c #Conflicts:      65000 | #Constraints:      16854
1638.66/1643.50	c INPROCESSING
1638.66/1643.50	c GARBAGE COLLECT
1638.66/1643.50	c #Conflicts:      66000 | #Constraints:       9818
1638.66/1643.50	c #Conflicts:      67000 | #Constraints:      10818
1638.66/1643.50	c bounds -123973 >= -248606 @ 907.141
1638.66/1643.50	c #Conflicts:      68000 | #Constraints:      11822
1638.66/1643.50	c #Conflicts:      69000 | #Constraints:      12822
1638.66/1643.50	c bounds -123973 >= -248605 @ 930.198
1638.66/1643.50	c bounds -123973 >= -248604 @ 934.043
1638.66/1643.50	c bounds -123973 >= -248598 @ 934.213
1638.66/1643.50	c bounds -123973 >= -248372 @ 934.233
1638.66/1643.50	c bounds -123973 >= -248281 @ 934.26
1638.66/1643.50	c bounds -123973 >= -247921 @ 934.555
1638.66/1643.50	c bounds -123973 >= -247700 @ 934.719
1638.66/1643.50	c bounds -123973 >= -247639 @ 934.852
1638.66/1643.50	c bounds -123973 >= -247340 @ 935.404
1638.66/1643.50	c bounds -123973 >= -246997 @ 935.423
1638.66/1643.50	c bounds -123973 >= -246849 @ 936.085
1638.66/1643.50	c #Conflicts:      70000 | #Constraints:      13868
1638.66/1643.50	c bounds -123973 >= -246848 @ 958.875
1638.66/1643.50	c #Conflicts:      71000 | #Constraints:      14872
1638.66/1643.50	c bounds -123973 >= -246845 @ 971.929
1638.66/1643.50	c bounds -123973 >= -246837 @ 972.825
1638.66/1643.50	c bounds -123973 >= -246827 @ 984.234
1638.66/1643.50	c #Conflicts:      72000 | #Constraints:      15884
1638.66/1643.50	c INPROCESSING
1638.66/1643.50	c GARBAGE COLLECT
1638.66/1643.50	c #Conflicts:      73000 | #Constraints:       9033
1638.66/1643.50	c #Conflicts:      74000 | #Constraints:      10033
1638.66/1643.50	c #Conflicts:      75000 | #Constraints:      11033
1638.66/1643.50	c #Conflicts:      76000 | #Constraints:      12033
1638.66/1643.50	c #Conflicts:      77000 | #Constraints:      13033
1638.66/1643.50	c #Conflicts:      78000 | #Constraints:      14033
1638.66/1643.50	c #Conflicts:      79000 | #Constraints:      15033
1638.66/1643.50	c #Conflicts:      80000 | #Constraints:      16033
1638.66/1643.50	c #Conflicts:      81000 | #Constraints:      17033
1638.66/1643.50	c #Conflicts:      82000 | #Constraints:      18033
1638.66/1643.50	c #Conflicts:      83000 | #Constraints:      19033
1638.66/1643.50	c #Conflicts:      84000 | #Constraints:      20033
1638.66/1643.50	c #Conflicts:      85000 | #Constraints:      21033
1638.66/1643.50	c #Conflicts:      86000 | #Constraints:      22033
3600.04/3611.20	c #Conflicts:      87000 | #Constraints:      23033
3600.04/3611.20	c #Conflicts:      88000 | #Constraints:      24033
3600.04/3611.20	c #Conflicts:      89000 | #Constraints:      25033
3600.04/3611.20	c #Conflicts:      90000 | #Constraints:      26033
3600.04/3611.20	c #Conflicts:      91000 | #Constraints:      27033
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:      92000 | #Constraints:      14815
3600.04/3611.20	c #Conflicts:      93000 | #Constraints:      15815
3600.04/3611.20	c #Conflicts:      94000 | #Constraints:      16815
3600.04/3611.20	c #Conflicts:      95000 | #Constraints:      17815
3600.04/3611.20	c #Conflicts:      96000 | #Constraints:      18815
3600.04/3611.20	c #Conflicts:      97000 | #Constraints:      19815
3600.04/3611.20	c #Conflicts:      98000 | #Constraints:      20815
3600.04/3611.20	c #Conflicts:      99000 | #Constraints:      21815
3600.04/3611.20	c #Conflicts:     100000 | #Constraints:      22815
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:     101000 | #Constraints:      12760
3600.04/3611.20	c #Conflicts:     102000 | #Constraints:      13760
3600.04/3611.20	c #Conflicts:     103000 | #Constraints:      14760
3600.04/3611.20	c #Conflicts:     104000 | #Constraints:      15760
3600.04/3611.20	c #Conflicts:     105000 | #Constraints:      16760
3600.04/3611.20	c #Conflicts:     106000 | #Constraints:      17760
3600.04/3611.20	c #Conflicts:     107000 | #Constraints:      18760
3600.04/3611.20	c #Conflicts:     108000 | #Constraints:      19760
3600.04/3611.20	c #Conflicts:     109000 | #Constraints:      20760
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:     110000 | #Constraints:      11678
3600.04/3611.20	c #Conflicts:     111000 | #Constraints:      12678
3600.04/3611.20	c #Conflicts:     112000 | #Constraints:      13678
3600.04/3611.20	c #Conflicts:     113000 | #Constraints:      14678
3600.04/3611.20	c #Conflicts:     114000 | #Constraints:      15678
3600.04/3611.20	c #Conflicts:     115000 | #Constraints:      16678
3600.04/3611.20	c #Conflicts:     116000 | #Constraints:      17678
3600.04/3611.20	c #Conflicts:     117000 | #Constraints:      18678
3600.04/3611.20	c #Conflicts:     118000 | #Constraints:      19678
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:     119000 | #Constraints:      10990
3600.04/3611.20	c #Conflicts:     120000 | #Constraints:      11990
3600.04/3611.20	c #Conflicts:     121000 | #Constraints:      12990
3600.04/3611.20	c #Conflicts:     122000 | #Constraints:      13990
3600.04/3611.20	c #Conflicts:     123000 | #Constraints:      14990
3600.04/3611.20	c #Conflicts:     124000 | #Constraints:      15990
3600.04/3611.20	c Program interrupted by user.
3600.04/3611.20	c cpu time 3588.01 s
3600.04/3611.20	c deterministic time 480763837196 4.81e+11
3600.04/3611.20	c optimization time 254.051 s
3600.04/3611.20	c total solve time 3333.96 s
3600.04/3611.20	c core-guided solve time 3333.96 s
3600.04/3611.20	c propagation time 3361.3 s
3600.04/3611.20	c conflict analysis time 206.731 s
3600.04/3611.20	c propagations 59157131
3600.04/3611.20	c resolve steps 941459
3600.04/3611.20	c decisions 11158641
3600.04/3611.20	c conflicts 124584
3600.04/3611.20	c restarts 332
3600.04/3611.20	c inprocessing phases 15
3600.04/3611.20	c input clauses 530
3600.04/3611.20	c input cardinalities 547
3600.04/3611.20	c input general constraints 1059
3600.04/3611.20	c input average constraint length 430.91
3600.04/3611.20	c input average constraint degree 1432261.12
3600.04/3611.20	c learned clauses 487
3600.04/3611.20	c learned cardinalities 1
3600.04/3611.20	c learned general constraints 124213
3600.04/3611.20	c learned average constraint length 1060.89
3600.04/3611.20	c learned average constraint degree 8752242440.18
3600.04/3611.20	c watched constraints 2401
3600.04/3611.20	c counting constraints 122871
3600.04/3611.20	c gcd simplifications 651
3600.04/3611.20	c detected cardinalities 0
3600.04/3611.20	c weakened non-implied lits 853353
3600.04/3611.20	c weakened non-implying lits 1647
3600.04/3611.20	c original variables 1000
3600.04/3611.20	c clausal propagations 9463157
3600.04/3611.20	c cardinality propagations 936095
3600.04/3611.20	c watched propagations 2620146
3600.04/3611.20	c counting propagations 45620296
3600.04/3611.20	c watch lookups 60812881315
3600.04/3611.20	c watch backjump lookups 60789228097
3600.04/3611.20	c watch checks 2404223470
3600.04/3611.20	c propagation checks 355835891203
3600.04/3611.20	c constraint additions 780858393
3600.04/3611.20	c trail pops 70438945
3600.04/3611.20	c formula constraints 1
3600.04/3611.20	c learned constraints 124701
3600.04/3611.20	c bound constraints 535
3600.04/3611.20	c core-guided constraints 1600
3600.04/3611.20	c encountered formula constraints 1755
3600.04/3611.20	c encountered learned constraints 665302
3600.04/3611.20	c encountered bound constraints 16576
3600.04/3611.20	c encountered core-guided constraints 382410
3600.04/3611.20	c LP total time 0 s
3600.04/3611.20	c LP solve time 0 s
3600.04/3611.20	c LP constraints added 0
3600.04/3611.20	c LP constraints removed 0
3600.04/3611.20	c LP pivots internal 0
3600.04/3611.20	c LP pivots root 0
3600.04/3611.20	c LP calls 0
3600.04/3611.20	c LP optimalities 0
3600.04/3611.20	c LP no pivot count 0
3600.04/3611.20	c LP infeasibilities 0
3600.04/3611.20	c LP valid Farkas constraints 0
3600.04/3611.20	c LP learned Farkas constraints 0
3600.04/3611.20	c LP basis resets 0
3600.04/3611.20	c LP cycling count 0
3600.04/3611.20	c LP singular count 0
3600.04/3611.20	c LP no primal count 0
3600.04/3611.20	c LP no farkas count 0
3600.04/3611.20	c LP other issue count 0
3600.04/3611.20	c LP Gomory cuts 0
3600.04/3611.20	c LP learned cuts 0
3600.04/3611.20	c LP deleted cuts 0
3600.04/3611.20	c LP encountered Gomory constraints 0
3600.04/3611.20	c LP encountered Farkas constraints 0
3600.04/3611.20	c LP encountered learned Farkas constraints 0
3600.04/3611.20	c CG auxiliary variables introduced 564
3600.04/3611.20	c CG solutions found 1
3600.04/3611.20	c CG cores constructed 526
3600.04/3611.20	c CG core cardinality constraints returned 23
3600.04/3611.20	c CG unit cores 1
3600.04/3611.20	c CG single cores 474
3600.04/3611.20	c CG blocks removed during cardinality reduction 7747
3600.04/3611.20	c CG first core best 5
3600.04/3611.20	c CG decision core best 1
3600.04/3611.20	c CG core reduction tie 45
3600.04/3611.20	c CG core degree average 12.98
3600.04/3611.20	c CG core slack average 6.55
3600.04/3611.20	c CG exhausted 21
3600.04/3611.20	c CG exhaust time 68.7665 s
3600.04/3611.20	c CG trimmed 71
3600.04/3611.20	c CG trim time 0.285056 s
3600.04/3611.20	c CG minimized 0
3600.04/3611.20	c CG minimize time 0 s
3600.04/3611.20	c CG am1 prop time 0.034936 s
3600.04/3611.20	c CG # am1s reformulated 29
3600.04/3611.20	c CG lower bound derived from am1s 1105
3600.04/3611.20	c CG # clausal cores 454
3600.04/3611.20	c CG # cardinality cores 0
3600.04/3611.20	c CG # pb cores 122
3600.04/3611.20	c CG # pb reforms 0
3600.04/3611.20	c CG # cores discarded because of pb reform 0
3600.04/3611.20	d LOWERBOUND -246827
3600.04/3611.20	d NCORES 526
3600.04/3611.20	d NPBCORES 122
3600.04/3611.20	d NPBREFORM 0
3600.04/3611.20	d NTRIMMED 71
3600.04/3611.20	d NEXHAUSTED 21
3600.04/3611.20	d NAM1S 29
3600.04/3611.20	d AM1LB 1105
3600.04/3611.20	o -123973
3600.04/3611.20	s SATISFIABLE
3600.04/3611.20	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 x372 -x373 -x374 x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 x455 -x456 -x457 x458 x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 x995 x996 x997 -x998 x999 -x1000

Verifier Data 

OK	-123973

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517992-1751536651/watcher-4517992-1751536651 -o /tmp/evaluation-result-4517992-1751536651/solver-4517992-1751536651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76847 --watchdog 3760 pb-oll-rs HOME/instance-4517992-1751536651.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=78018, runsolver pid=78015

[startup+0.100064 s]*
/proc/loadavg: 4.01 4.09 4.08 5/264 78019
/proc/meminfo: memFree=126310208/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=22656 memory=11476 CPUtime=0.08 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 1213 0 0 0 7 1 0 0 20 0 1 0 69342560 23199744 2869 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 5664 2869 1344 243 0 1913 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22656 KiB
Current children cumulated memory: 11476 KiB

[startup+0.205548 s]*
/proc/loadavg: 4.01 4.09 4.08 5/264 78019
/proc/meminfo: memFree=126310208/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=24488 memory=13268 CPUtime=0.19 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 1672 0 0 0 14 5 0 0 20 0 1 0 69342560 25075712 3317 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 6122 3317 1344 243 0 2371 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24488 KiB
Current children cumulated memory: 13268 KiB

[startup+0.305467 s]*
/proc/loadavg: 4.01 4.09 4.08 5/264 78019
/proc/meminfo: memFree=126310208/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=25008 memory=13780 CPUtime=0.29 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 1812 0 0 0 22 7 0 0 20 0 1 0 69342560 25608192 3445 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 6252 3445 1344 243 0 2501 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 25008 KiB
Current children cumulated memory: 13780 KiB

[startup+0.700198 s]
/proc/loadavg: 4.01 4.09 4.08 5/264 78019
/proc/meminfo: memFree=126310208/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=32060 memory=21844 CPUtime=0.67 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 3828 0 0 0 56 11 0 0 20 0 1 0 69342560 32829440 5461 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 8015 5461 1344 243 0 4264 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 21844 KiB

[startup+1.50017 s]
/proc/loadavg: 4.01 4.09 4.08 5/264 78019
/proc/meminfo: memFree=126310208/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=44792 memory=34208 CPUtime=1.47 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 6409 0 0 0 134 13 0 0 20 0 1 0 69342560 45867008 8552 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 11198 8552 1344 243 0 7447 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 44792 KiB
Current children cumulated memory: 34208 KiB

[startup+3.10541 s]
/proc/loadavg: 4.01 4.09 4.08 5/264 78019
/proc/meminfo: memFree=126282548/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=65336 memory=49528 CPUtime=3.07 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 8713 0 0 0 290 17 0 0 20 0 1 0 69342560 66904064 12382 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 16334 12382 1344 243 0 12583 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65336 KiB
Current children cumulated memory: 49528 KiB

[startup+6.30018 s]
/proc/loadavg: 4.01 4.09 4.08 5/264 78019
/proc/meminfo: memFree=126266544/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=82296 memory=70816 CPUtime=6.27 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 11457 0 0 0 603 24 0 0 20 0 1 0 69342560 84271104 17704 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 20574 17704 1344 243 0 16823 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 82296 KiB
Current children cumulated memory: 70816 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 4.09 4.08 5/264 78019
/proc/meminfo: memFree=126218912/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=134968 memory=107328 CPUtime=12.65 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 18048 0 0 0 1232 33 0 0 20 0 1 0 69342560 138207232 26832 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 33742 26832 1344 243 0 29991 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 134968 KiB
Current children cumulated memory: 107328 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 78019
/proc/meminfo: memFree=126149512/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=200468 memory=167016 CPUtime=25.41 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 31955 0 0 0 2492 49 0 0 20 0 1 0 69342560 205279232 41754 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 50117 41754 1344 243 0 46366 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 200468 KiB
Current children cumulated memory: 167016 KiB

[startup+51.1055 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 78019
/proc/meminfo: memFree=126094856/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=242704 memory=204044 CPUtime=50.95 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 36614 0 0 0 5026 69 0 0 20 0 1 0 69342560 248528896 51011 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 60676 51011 1344 243 0 56925 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 242704 KiB
Current children cumulated memory: 204044 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 78021
/proc/meminfo: memFree=126013492/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=302892 memory=252776 CPUtime=102.02 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 45736 0 0 0 9968 234 0 0 20 0 1 0 69342560 310161408 63194 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 75723 63194 1344 243 0 71972 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 302892 KiB
Current children cumulated memory: 252776 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 78026
/proc/meminfo: memFree=125932208/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=358796 memory=270364 CPUtime=161.87 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 48100 0 0 0 15885 302 0 0 20 0 1 0 69342560 367407104 67591 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 89699 67591 1344 243 0 85948 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 358796 KiB
Current children cumulated memory: 270364 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 78045
/proc/meminfo: memFree=125790660/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=364412 memory=310836 CPUtime=221.71 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 51101 0 0 0 21841 330 0 0 20 0 1 0 69342560 373157888 77709 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 91103 77709 1344 243 0 87352 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 364412 KiB
Current children cumulated memory: 310836 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 78047
/proc/meminfo: memFree=125079248/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=367156 memory=327008 CPUtime=281.56 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 52380 0 0 0 27693 463 0 0 20 0 1 0 69342560 375967744 81752 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 91789 81752 1344 243 0 88038 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 367156 KiB
Current children cumulated memory: 327008 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 78049
/proc/meminfo: memFree=125015716/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=367436 memory=327136 CPUtime=341.4 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 52446 0 0 0 33560 580 0 0 20 0 1 0 69342560 376254464 81784 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 91859 81784 1344 243 0 88108 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 367436 KiB
Current children cumulated memory: 327136 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 78051
/proc/meminfo: memFree=124938256/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=369760 memory=343616 CPUtime=401.27 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 53041 0 0 0 39522 605 0 0 20 0 1 0 69342560 378634240 85904 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 92440 85904 1344 243 0 88689 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 369760 KiB
Current children cumulated memory: 343616 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 78053
/proc/meminfo: memFree=124856524/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=457332 memory=367204 CPUtime=461.13 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 54850 0 0 0 45497 616 0 0 20 0 1 0 69342560 468307968 91801 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 114333 91801 1344 243 0 110582 0

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

Current children cumulated memory: 619576 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 78441
/proc/meminfo: memFree=126121768/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=2853.43 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99514 0 0 0 284235 1108 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 2853.43 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 78443
/proc/meminfo: memFree=126047412/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=2913.24 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99514 0 0 0 290210 1114 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 2913.24 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 78446
/proc/meminfo: memFree=125976612/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=2973.05 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99514 0 0 0 296185 1120 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 2973.05 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 78449
/proc/meminfo: memFree=125882976/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3032.87 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99514 0 0 0 302161 1126 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3032.87 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 78451
/proc/meminfo: memFree=125824408/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3092.69 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99514 0 0 0 308130 1139 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3092.69 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 78453
/proc/meminfo: memFree=125796448/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3152.52 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99514 0 0 0 314103 1149 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3152.52 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 78459
/proc/meminfo: memFree=125741040/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3212.33 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99514 0 0 0 320076 1157 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3212.33 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 78465
/proc/meminfo: memFree=125663580/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3272.16 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99514 0 0 0 326053 1163 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 78467
/proc/meminfo: memFree=125358872/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3331.97 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99514 0 0 0 332028 1169 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 78469
/proc/meminfo: memFree=125007076/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3391.78 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99515 0 0 0 338003 1175 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 78471
/proc/meminfo: memFree=124957296/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3451.6 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99515 0 0 0 343975 1185 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 78475
/proc/meminfo: memFree=124906968/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3511.41 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99515 0 0 0 349947 1194 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3511.41 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 78477
/proc/meminfo: memFree=124853044/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3571.23 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99515 0 0 0 355922 1201 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78477
/proc/meminfo: memFree=124841724/131249996 swapFree=33006296/33010684
[pid=78018] ppid=78015 vsize=765888 memory=623672 CPUtime=3600.04 cores=4,6
/proc/78018/stat : 78018 (pb-oll-rs) R 78015 78018 76836 0 -1 4194304 99515 0 0 0 358800 1204 0 0 20 0 1 0 69342560 784269312 155918 18446744073709551615 4218880 5211445 140731837125552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22118400 140731837127068 140731837127145 140731837127145 140731837132747 0
/proc/78018/statm: 191472 155918 1344 243 0 187721 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 765888 KiB
Current children cumulated memory: 623672 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.01 s, system=12.0514 s

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

Child status: 0

Real time (s): 3611.22
CPU time (s): 3600.07
CPU user time (s): 3588.01
CPU system time (s): 12.0514
CPU usage (%): 99.6912
Max. virtual memory (cumulated for all children) (KiB): 765888
Max. memory (cumulated for all children) (KiB): 623672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.01
system time used= 12.0514
maximum resident set size= 623928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99531
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= 209
involuntary context switches= 3694


# summary of solver processes directly reported to runsolver:
#   pid: 78018
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3588.01
#   total CPU system time (s): 12.0514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66371 second user time and 17.3374 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-03 11:57:31
IDJOB=4517992
IDBENCH=176273
IDSOLVER=3345
FILE ID=nodeC015/4517992-1751536651
RUNJOBID= nodeC015-1751530924-76847
SLURM_JOB_ID= 9598673
Free space on /tmp= 432364 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_200_10000_5_-93992.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517992-1751536651/watcher-4517992-1751536651 -o /tmp/evaluation-result-4517992-1751536651/solver-4517992-1751536651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76847 --watchdog 3760  pb-oll-rs HOME/instance-4517992-1751536651.opb

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

MD5SUM BENCH= cd82cadc3025252f43f8d787a9347bc3
RANDOM SEED=1307041814

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126313988 kB
MemAvailable:   126928776 kB
Buffers:            1508 kB
Cached:          1398376 kB
SwapCached:         3880 kB
Active:          3124760 kB
Inactive:        1160524 kB
Active(anon):    2850744 kB
Inactive(anon):    48808 kB
Active(file):     274016 kB
Inactive(file):  1111716 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1600 kB
Writeback:             0 kB
AnonPages:       2882620 kB
Mapped:           104212 kB
Shmem:             14152 kB
KReclaimable:     136588 kB
Slab:             226860 kB
SReclaimable:     136588 kB
SUnreclaim:        90272 kB
KernelStack:        4304 kB
PageTables:         8744 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3602832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2043904 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432364 MiB
End job on nodeC015 at 2025-07-03 12:57:42