Trace number 4457839

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-02OPT-5737 47.5691 47.7531

DiagnosticValue
AM1LB117551
LOWERBOUND-7954
NAM1S151
NCORES167
NEXHAUSTED72
NPBCORES49
NPBREFORM0
NTRIMMED111

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb
MD5SUM2490394f4bcefb8d76998a0fa8c11f7f
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-5737
Best CPU time to get the best result obtained on this benchmark0.0072
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250
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 constraint250
Maximum length of a constraint250
Number of terms in the objective function 250
Biggest coefficient in the objective function 1278
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 180531
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1278
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 180531
Number of bits of the biggest sum of numbers18
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 250 #constraints 1
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= -180531 @ 0
0.00/0.00	c stratification level: 0
0.09/0.12	c bounds - >= -31386 @ 0.083828
0.09/0.12	c bounds - >= -31026 @ 0.084193
0.09/0.12	c bounds - >= -30957 @ 0.084193
0.09/0.12	c bounds - >= -30609 @ 0.084193
0.09/0.12	c bounds - >= -18684 @ 0.084193
0.09/0.12	c bounds - >= -14889 @ 0.084193
0.09/0.12	c bounds - >= -13129 @ 0.084555
0.09/0.12	c bounds - >= -12145 @ 0.084927
0.09/0.12	c bounds - >= -11641 @ 0.085292
0.09/0.12	c bounds - >= -11401 @ 0.085669
0.09/0.12	c bounds - >= -11233 @ 0.086372
0.09/0.12	c bounds - >= -11101 @ 0.087079
0.09/0.12	c bounds - >= -11033 @ 0.087854
0.09/0.12	c bounds - >= -10993 @ 0.08839
0.09/0.12	c bounds - >= -10957 @ 0.089001
0.09/0.12	c bounds - >= -10932 @ 0.089146
0.09/0.12	c bounds - >= -10928 @ 0.089146
0.09/0.12	c bounds - >= -10917 @ 0.089297
0.09/0.12	c bounds - >= -10916 @ 0.089893
0.09/0.12	c bounds - >= -10914 @ 0.090191
0.09/0.12	c bounds - >= -10899 @ 0.09086
0.09/0.12	c bounds - >= -10894 @ 0.090901
0.09/0.12	c bounds - >= -10882 @ 0.091254
0.09/0.12	c bounds - >= -10873 @ 0.092148
0.09/0.12	c bounds - >= -10864 @ 0.092875
0.09/0.12	c bounds - >= -10854 @ 0.093302
0.09/0.12	c bounds - >= -10848 @ 0.093697
0.09/0.12	c bounds - >= -10842 @ 0.094164
0.09/0.12	c bounds - >= -10838 @ 0.094619
0.09/0.12	c bounds - >= -10835 @ 0.09513
0.09/0.12	c bounds - >= -10832 @ 0.095987
0.09/0.12	c bounds - >= -10829 @ 0.09668
0.09/0.12	c bounds - >= -10826 @ 0.098798
0.09/0.12	c bounds - >= -10824 @ 0.100202
0.09/0.12	c bounds - >= -10823 @ 0.100898
0.09/0.12	c bounds - >= -10822 @ 0.101761
0.09/0.12	c finalizing WCE round: reformulating cores
3.16/3.27	c #Conflicts:       1000 | #Constraints:       1185
3.16/3.27	c bounds -4810 >= -13129 @ 0.417208
3.16/3.27	c bounds -5036 >= -11601 @ 0.451178
3.16/3.27	c bounds -5133 >= -11347 @ 0.497421
3.16/3.27	c bounds -5134 >= -11173 @ 0.561943
3.16/3.27	c bounds -5136 >= -11013 @ 0.860991
3.16/3.27	c #Conflicts:       2000 | #Constraints:       2215
3.16/3.27	c INPROCESSING
3.16/3.27	c GARBAGE COLLECT
3.16/3.27	c bounds -5235 >= -10942 @ 1.03165
3.16/3.27	c bounds -5236 >= -10900 @ 1.10745
3.16/3.27	c #Conflicts:       3000 | #Constraints:       2406
3.16/3.27	c bounds -5237 >= -10854 @ 1.4213
3.16/3.27	c bounds -5237 >= -10828 @ 1.7792
3.16/3.27	c #Conflicts:       4000 | #Constraints:       3417
3.16/3.27	c bounds -5335 >= -10819 @ 1.99495
3.16/3.27	c bounds -5336 >= -10525 @ 2.23864
3.16/3.27	c #Conflicts:       5000 | #Constraints:       4429
3.16/3.27	c bounds -5336 >= -10440 @ 2.64433
3.16/3.27	c bounds -5336 >= -10440 @ 2.69217
3.16/3.27	c bounds -5337 >= -10436 @ 2.73401
3.16/3.27	c bounds -5337 >= -9346 @ 2.73858
3.16/3.27	c bounds -5337 >= -9324 @ 2.73858
3.16/3.27	c bounds -5337 >= -9311 @ 2.73858
3.16/3.27	c bounds -5337 >= -9310 @ 2.73858
3.16/3.27	c bounds -5337 >= -9304 @ 2.73905
3.16/3.27	c bounds -5337 >= -9302 @ 2.73911
3.16/3.27	c bounds -5337 >= -9301 @ 2.73917
3.16/3.27	c bounds -5337 >= -9298 @ 2.73965
3.16/3.27	c bounds -5337 >= -9294 @ 2.73971
3.16/3.27	c bounds -5337 >= -9292 @ 2.73976
3.16/3.27	c bounds -5337 >= -9291 @ 2.73981
3.16/3.27	c bounds -5337 >= -9278 @ 2.73987
3.16/3.27	c bounds -5337 >= -9277 @ 2.74035
3.16/3.27	c bounds -5337 >= -9275 @ 2.74041
3.16/3.27	c bounds -5337 >= -9269 @ 2.74079
3.16/3.27	c bounds -5337 >= -9263 @ 2.74118
3.16/3.27	c bounds -5337 >= -9259 @ 2.74154
3.16/3.27	c bounds -5337 >= -9254 @ 2.74184
3.16/3.27	c bounds -5337 >= -9244 @ 2.74221
3.16/3.27	c bounds -5337 >= -9238 @ 2.74272
3.16/3.27	c bounds -5337 >= -9233 @ 2.74304
3.16/3.27	c bounds -5337 >= -9221 @ 2.74386
3.16/3.27	c bounds -5337 >= -9215 @ 2.74428
3.16/3.27	c bounds -5337 >= -9205 @ 2.74469
3.16/3.27	c bounds -5337 >= -9195 @ 2.74586
3.16/3.27	c bounds -5337 >= -9190 @ 2.74611
3.16/3.27	c bounds -5337 >= -9186 @ 2.74668
3.16/3.27	c bounds -5337 >= -9183 @ 2.74721
3.16/3.27	c bounds -5337 >= -9180 @ 2.7477
3.16/3.27	c bounds -5337 >= -9178 @ 2.74794
3.16/3.27	c bounds -5337 >= -9177 @ 2.74805
3.16/3.27	c bounds -5337 >= -9175 @ 2.74844
3.16/3.27	c bounds -5337 >= -9174 @ 2.74908
3.16/3.27	c bounds -5337 >= -9172 @ 2.74946
3.16/3.27	c bounds -5337 >= -9170 @ 2.74994
3.16/3.27	c bounds -5337 >= -9168 @ 2.75041
3.16/3.27	c bounds -5337 >= -9166 @ 2.75064
3.16/3.27	c bounds -5337 >= -9165 @ 2.75089
3.16/3.28	c bounds -5337 >= -9164 @ 2.75112
3.16/3.28	c bounds -5337 >= -9163 @ 2.75168
3.16/3.28	c bounds -5337 >= -9162 @ 2.7526
3.16/3.28	c bounds -5337 >= -9161 @ 2.7531
3.16/3.28	c bounds -5337 >= -9160 @ 2.75363
3.16/3.28	c bounds -5337 >= -9157 @ 2.7553
3.16/3.28	c bounds -5337 >= -9156 @ 2.75617
3.16/3.28	c bounds -5337 >= -9146 @ 2.75696
3.16/3.28	c bounds -5337 >= -9145 @ 2.75961
3.16/3.28	c bounds -5337 >= -9117 @ 2.76052
3.16/3.28	c bounds -5337 >= -9112 @ 2.7613
3.16/3.28	c bounds -5337 >= -9091 @ 2.76242
3.16/3.28	c bounds -5337 >= -9090 @ 2.76374
3.16/3.28	c bounds -5337 >= -9089 @ 2.7643
3.16/3.28	c bounds -5337 >= -9042 @ 2.76602
3.16/3.28	c bounds -5337 >= -8990 @ 2.7662
3.16/3.28	c bounds -5337 >= -8986 @ 2.7664
3.16/3.28	c bounds -5337 >= -8984 @ 2.77149
3.16/3.28	c bounds -5337 >= -8981 @ 2.77279
3.16/3.28	c bounds -5337 >= -8973 @ 2.77361
3.16/3.28	c bounds -5337 >= -8748 @ 2.77608
3.16/3.28	c bounds -5337 >= -8602 @ 2.77669
3.16/3.28	c bounds -5337 >= -8599 @ 2.78117
3.16/3.28	c bounds -5337 >= -8596 @ 2.78255
3.16/3.28	c bounds -5337 >= -8592 @ 2.78716
3.16/3.28	c bounds -5337 >= -8575 @ 2.78807
3.16/3.28	c bounds -5337 >= -8569 @ 2.79874
3.16/3.28	c bounds -5337 >= -8568 @ 2.80374
3.16/3.28	c bounds -5337 >= -8561 @ 2.80579
3.16/3.28	c bounds -5337 >= -8535 @ 2.81363
3.16/3.28	c bounds -5337 >= -8533 @ 2.82445
3.16/3.28	c bounds -5337 >= -8525 @ 2.82473
3.16/3.28	c bounds -5337 >= -8524 @ 2.83291
3.16/3.28	c bounds -5337 >= -8501 @ 2.83553
3.16/3.28	c bounds -5337 >= -8495 @ 2.84141
3.16/3.28	c bounds -5337 >= -8484 @ 2.84259
3.16/3.28	c bounds -5337 >= -8483 @ 2.8488
3.16/3.28	c bounds -5337 >= -8414 @ 2.84973
3.16/3.28	c bounds -5337 >= -8404 @ 2.85007
3.16/3.28	c bounds -5337 >= -8335 @ 2.85189
3.16/3.28	c bounds -5337 >= -8268 @ 2.85199
3.16/3.28	c bounds -5337 >= -8265 @ 2.85347
3.16/3.28	c bounds -5337 >= -8251 @ 2.85432
3.16/3.28	c bounds -5337 >= -8240 @ 2.85549
3.16/3.28	c bounds -5337 >= -8238 @ 2.85825
3.16/3.28	c bounds -5337 >= -8231 @ 2.85991
3.16/3.28	c bounds -5337 >= -8230 @ 2.92434
3.16/3.28	c bounds -5337 >= -8229 @ 2.96279
3.16/3.28	c bounds -5337 >= -8228 @ 2.96694
3.16/3.28	c bounds -5337 >= -8220 @ 2.96781
3.16/3.28	c bounds -5337 >= -8217 @ 2.97147
3.16/3.28	c bounds -5337 >= -8193 @ 2.97371
3.16/3.28	c bounds -5337 >= -8183 @ 2.97622
3.16/3.28	c bounds -5337 >= -8181 @ 2.97864
3.16/3.28	c bounds -5337 >= -8180 @ 2.97941
3.16/3.28	c bounds -5337 >= -8179 @ 2.98226
3.16/3.28	c bounds -5337 >= -8178 @ 3.10341
3.16/3.28	c bounds -5337 >= -8176 @ 3.11284
3.16/3.28	c bounds -5337 >= -8165 @ 3.1471
3.16/3.28	c bounds -5337 >= -8162 @ 3.14758
3.36/3.49	c bounds -5337 >= -8161 @ 3.17559
3.36/3.49	c bounds -5337 >= -8159 @ 3.17931
3.36/3.49	c bounds -5337 >= -8155 @ 3.18808
3.36/3.49	c #Conflicts:       6000 | #Constraints:       5796
3.36/3.49	c INPROCESSING
3.36/3.49	c GARBAGE COLLECT
3.36/3.49	c bounds -5337 >= -8153 @ 3.20507
3.36/3.49	c bounds -5337 >= -8144 @ 3.20674
3.36/3.49	c bounds -5337 >= -8143 @ 3.21348
3.36/3.49	c bounds -5337 >= -8142 @ 3.21836
3.36/3.49	c bounds -5337 >= -8120 @ 3.21948
3.36/3.49	c bounds -5337 >= -8115 @ 3.22584
3.36/3.49	c bounds -5337 >= -8104 @ 3.22614
3.36/3.49	c bounds -5337 >= -8103 @ 3.23226
3.36/3.49	c bounds -5337 >= -8094 @ 3.23426
3.36/3.49	c bounds -5337 >= -8093 @ 3.23626
3.36/3.49	c bounds -5337 >= -8091 @ 3.25346
3.36/3.49	c bounds -5337 >= -8054 @ 3.26152
3.36/3.49	c bounds -5337 >= -8050 @ 3.26824
3.36/3.49	c bounds -5337 >= -8029 @ 3.27173
3.36/3.49	c bounds -5337 >= -8028 @ 3.28064
3.36/3.49	c bounds -5337 >= -8027 @ 3.2841
3.36/3.49	c bounds -5337 >= -8026 @ 3.29035
3.36/3.49	c bounds -5337 >= -8024 @ 3.29549
3.36/3.49	c bounds -5337 >= -8019 @ 3.31749
3.36/3.49	c bounds -5337 >= -8013 @ 3.32397
3.36/3.49	c bounds -5337 >= -8005 @ 3.32598
3.36/3.49	c bounds -5337 >= -8002 @ 3.32875
3.36/3.49	c bounds -5337 >= -7999 @ 3.32913
3.36/3.49	c bounds -5337 >= -7989 @ 3.33114
3.36/3.49	c bounds -5337 >= -7987 @ 3.33174
3.36/3.49	c bounds -5337 >= -7986 @ 3.33332
3.36/3.49	c bounds -5337 >= -7985 @ 3.33885
3.36/3.49	c bounds -5337 >= -7984 @ 3.34141
3.36/3.49	c bounds -5337 >= -7955 @ 3.34311
3.36/3.49	c bounds -5337 >= -7954 @ 3.34381
3.36/3.49	c finalizing WCE round: reformulating cores
36.34/36.52	c #Conflicts:       7000 | #Constraints:       4101
36.34/36.52	c bounds -5430 >= -8681 @ 3.85306
36.34/36.52	c bounds -5432 >= -8676 @ 4.15444
36.34/36.52	c #Conflicts:       8000 | #Constraints:       5118
36.34/36.52	c bounds -5437 >= -8665 @ 4.43692
36.34/36.52	c #Conflicts:       9000 | #Constraints:       6124
36.34/36.52	c bounds -5633 >= -8283 @ 4.88648
36.34/36.52	c bounds -5633 >= -8283 @ 5.31988
36.34/36.52	c #Conflicts:      10000 | #Constraints:       7139
36.34/36.52	c bounds -5637 >= -8268 @ 5.76668
36.34/36.52	c bounds -5637 >= -8268 @ 5.77562
36.34/36.52	c #Conflicts:      11000 | #Constraints:       8147
36.34/36.52	c bounds -5637 >= -8258 @ 6.24252
36.34/36.52	c #Conflicts:      12000 | #Constraints:       9151
36.34/36.52	c INPROCESSING
36.34/36.52	c GARBAGE COLLECT
36.34/36.52	c bounds -5637 >= -8237 @ 7.14627
36.34/36.52	c bounds -5637 >= -8237 @ 7.16054
36.34/36.52	c #Conflicts:      13000 | #Constraints:       5538
36.34/36.52	c bounds -5637 >= -8197 @ 7.51371
36.34/36.52	c bounds -5637 >= -8197 @ 7.56758
36.34/36.52	c #Conflicts:      14000 | #Constraints:       6545
36.34/36.52	c bounds -5637 >= -8184 @ 8.00716
36.34/36.52	c bounds -5637 >= -8184 @ 8.02088
36.34/36.52	c bounds -5637 >= -8184 @ 8.27128
36.34/36.52	c #Conflicts:      15000 | #Constraints:       7554
36.34/36.52	c bounds -5637 >= -8174 @ 8.68433
36.34/36.52	c bounds -5637 >= -8174 @ 8.70428
36.34/36.52	c #Conflicts:      16000 | #Constraints:       8560
36.34/36.52	c bounds -5637 >= -8174 @ 8.91667
36.34/36.52	c INPROCESSING
36.34/36.52	c GARBAGE COLLECT
36.34/36.52	c #Conflicts:      17000 | #Constraints:       5073
36.34/36.52	c bounds -5637 >= -8127 @ 9.4562
36.34/36.52	c bounds -5637 >= -8099 @ 9.79638
36.34/36.52	c bounds -5637 >= -8099 @ 9.80201
36.34/36.52	c #Conflicts:      18000 | #Constraints:       6084
36.34/36.52	c bounds -5637 >= -8099 @ 10.0093
36.34/36.52	c #Conflicts:      19000 | #Constraints:       7086
36.34/36.52	c bounds -5637 >= -8085 @ 10.3981
36.34/36.52	c bounds -5637 >= -8085 @ 10.3986
36.34/36.52	c bounds -5637 >= -8085 @ 10.5749
36.34/36.52	c #Conflicts:      20000 | #Constraints:       8094
36.34/36.52	c bounds -5637 >= -8060 @ 10.9771
36.34/36.52	c bounds -5637 >= -8060 @ 10.9778
36.34/36.52	c bounds -5637 >= -8060 @ 10.9897
36.34/36.52	c bounds -5637 >= -8034 @ 11.4665
36.34/36.52	c bounds -5637 >= -8034 @ 11.4703
36.34/36.52	c #Conflicts:      21000 | #Constraints:       9110
36.34/36.52	c bounds -5637 >= -8034 @ 11.5649
36.34/36.52	c bounds -5637 >= -7959 @ 12.044
36.34/36.52	c bounds -5637 >= -7959 @ 12.0446
36.34/36.52	c #Conflicts:      22000 | #Constraints:      10118
36.34/36.52	c bounds -5637 >= -7936 @ 12.5183
36.34/36.52	c #Conflicts:      23000 | #Constraints:      11122
36.34/36.52	c bounds -5637 >= -7924 @ 13.0807
36.34/36.52	c bounds -5637 >= -7924 @ 13.297
36.34/36.52	c #Conflicts:      24000 | #Constraints:      12128
36.34/36.52	c bounds -5637 >= -7853 @ 14.0624
36.34/36.52	c #Conflicts:      25000 | #Constraints:      13133
36.34/36.52	c INPROCESSING
36.34/36.52	c GARBAGE COLLECT
36.34/36.52	c bounds -5637 >= -7774 @ 14.8718
36.34/36.52	c #Conflicts:      26000 | #Constraints:       7307
36.34/36.52	c #Conflicts:      27000 | #Constraints:       8309
36.34/36.52	c #Conflicts:      28000 | #Constraints:       9313
36.34/36.52	c #Conflicts:      29000 | #Constraints:      10315
36.34/36.52	c bounds -5736 >= -7598 @ 18.1722
36.34/36.52	c #Conflicts:      30000 | #Constraints:      11322
36.34/36.52	c bounds -5737 >= -7588 @ 19.1873
36.34/36.52	c #Conflicts:      31000 | #Constraints:      12329
36.34/36.52	c INPROCESSING
36.34/36.52	c GARBAGE COLLECT
36.34/36.52	c bounds -5737 >= -7588 @ 19.7659
36.34/36.52	c #Conflicts:      32000 | #Constraints:       7262
36.34/36.52	c bounds -5737 >= -7585 @ 20.1297
36.34/36.52	c bounds -5737 >= -7583 @ 20.6265
36.34/36.52	c #Conflicts:      33000 | #Constraints:       8270
36.34/36.52	c #Conflicts:      34000 | #Constraints:       9272
36.34/36.52	c bounds -5737 >= -7574 @ 21.4283
36.34/36.52	c #Conflicts:      35000 | #Constraints:      10276
36.34/36.52	c #Conflicts:      36000 | #Constraints:      11278
36.34/36.52	c #Conflicts:      37000 | #Constraints:      12280
36.34/36.52	c #Conflicts:      38000 | #Constraints:      13284
36.34/36.52	c bounds -5737 >= -7457 @ 25.321
36.34/36.52	c #Conflicts:      39000 | #Constraints:      14286
36.34/36.52	c #Conflicts:      40000 | #Constraints:      15290
36.34/36.52	c bounds -5737 >= -7454 @ 26.7994
36.34/36.52	c #Conflicts:      41000 | #Constraints:      16295
36.34/36.52	c bounds -5737 >= -7451 @ 28.1398
36.34/36.52	c #Conflicts:      42000 | #Constraints:      17297
36.34/36.52	c bounds -5737 >= -7438 @ 29.4341
36.34/36.52	c #Conflicts:      43000 | #Constraints:      18301
36.34/36.52	c INPROCESSING
36.34/36.52	c GARBAGE COLLECT
36.34/36.52	c #Conflicts:      44000 | #Constraints:       9799
36.34/36.52	c bounds -5737 >= -7424 @ 30.9198
36.34/36.52	c #Conflicts:      45000 | #Constraints:      10803
36.34/36.52	c #Conflicts:      46000 | #Constraints:      11805
36.34/36.52	c #Conflicts:      47000 | #Constraints:      12807
36.34/36.52	c #Conflicts:      48000 | #Constraints:      13811
36.34/36.52	c #Conflicts:      49000 | #Constraints:      14813
36.34/36.52	c bounds -5737 >= -7402 @ 35.9292
47.50/47.74	c #Conflicts:      50000 | #Constraints:      15817
47.50/47.74	c INPROCESSING
47.50/47.74	c GARBAGE COLLECT
47.50/47.74	c bounds -5737 >= -7400 @ 36.6953
47.50/47.74	c #Conflicts:      51000 | #Constraints:       8753
47.50/47.74	c #Conflicts:      52000 | #Constraints:       9755
47.50/47.74	c #Conflicts:      53000 | #Constraints:      10757
47.50/47.74	c #Conflicts:      54000 | #Constraints:      11761
47.50/47.74	c #Conflicts:      55000 | #Constraints:      12763
47.50/47.74	c #Conflicts:      56000 | #Constraints:      13765
47.50/47.74	c #Conflicts:      57000 | #Constraints:      14769
47.50/47.74	c #Conflicts:      58000 | #Constraints:      15771
47.50/47.74	c #Conflicts:      59000 | #Constraints:      16773
47.50/47.74	c bounds -5737 >= -7285 @ 44.3288
47.50/47.74	c #Conflicts:      60000 | #Constraints:      17778
47.50/47.74	c bounds -5737 >= -7283 @ 45.0065
47.50/47.74	c #Conflicts:      61000 | #Constraints:      18782
47.50/47.74	c bounds -5737 >= -7281 @ 45.707
47.50/47.74	c #Conflicts:      62000 | #Constraints:      19786
47.50/47.74	c bounds -5737 >= -7278 @ 46.4339
47.50/47.74	c bounds -5737 >= -7278 @ 46.8942
47.50/47.74	c #Conflicts:      63000 | #Constraints:      20792
47.50/47.74	d SOLVEDBY oll
47.50/47.74	c cpu time 47.0157 s
47.50/47.74	c deterministic time 6839696832 6.84e+09
47.50/47.74	c optimization time 46.4171 s
47.50/47.74	c total solve time 0.598653 s
47.50/47.74	c core-guided solve time 0.598653 s
47.50/47.74	c propagation time 39.1433 s
47.50/47.74	c conflict analysis time 6.99076 s
47.50/47.74	c propagations 3716709
47.50/47.74	c resolve steps 343188
47.50/47.74	c decisions 286398
47.50/47.74	c conflicts 63040
47.50/47.74	c restarts 189
47.50/47.74	c inprocessing phases 8
47.50/47.74	c input clauses 311
47.50/47.74	c input cardinalities 254
47.50/47.74	c input general constraints 420
47.50/47.74	c input average constraint length 49.13
47.50/47.74	c input average constraint degree 12856.58
47.50/47.74	c learned clauses 11119
47.50/47.74	c learned cardinalities 186
47.50/47.74	c learned general constraints 51765
47.50/47.74	c learned average constraint length 60.94
47.50/47.74	c learned average constraint degree 5044730.74
47.50/47.74	c watched constraints 11070
47.50/47.74	c counting constraints 41115
47.50/47.74	c gcd simplifications 6511
47.50/47.74	c detected cardinalities 139
47.50/47.74	c weakened non-implied lits 905178
47.50/47.74	c weakened non-implying lits 14259
47.50/47.74	c original variables 250
47.50/47.74	c clausal propagations 873345
47.50/47.74	c cardinality propagations 335419
47.50/47.74	c watched propagations 635403
47.50/47.74	c counting propagations 1768144
47.50/47.74	c watch lookups 1541144557
47.50/47.74	c watch backjump lookups 1519060085
47.50/47.74	c watch checks 417081102
47.50/47.74	c propagation checks 3326168778
47.50/47.74	c constraint additions 28173501
47.50/47.74	c trail pops 4065701
47.50/47.74	c formula constraints 1
47.50/47.74	c learned constraints 63070
47.50/47.74	c bound constraints 194
47.50/47.74	c core-guided constraints 790
47.50/47.74	c encountered formula constraints 3642
47.50/47.74	c encountered learned constraints 287288
47.50/47.74	c encountered bound constraints 40957
47.50/47.74	c encountered core-guided constraints 74342
47.50/47.74	c LP total time 0 s
47.50/47.74	c LP solve time 0 s
47.50/47.74	c LP constraints added 0
47.50/47.74	c LP constraints removed 0
47.50/47.74	c LP pivots internal 0
47.50/47.74	c LP pivots root 0
47.50/47.74	c LP calls 0
47.50/47.74	c LP optimalities 0
47.50/47.74	c LP no pivot count 0
47.50/47.74	c LP infeasibilities 0
47.50/47.74	c LP valid Farkas constraints 0
47.50/47.74	c LP learned Farkas constraints 0
47.50/47.74	c LP basis resets 0
47.50/47.74	c LP cycling count 0
47.50/47.74	c LP singular count 0
47.50/47.74	c LP no primal count 0
47.50/47.74	c LP no farkas count 0
47.50/47.74	c LP other issue count 0
47.50/47.74	c LP Gomory cuts 0
47.50/47.74	c LP learned cuts 0
47.50/47.74	c LP deleted cuts 0
47.50/47.74	c LP encountered Gomory constraints 0
47.50/47.74	c LP encountered Farkas constraints 0
47.50/47.74	c LP encountered learned Farkas constraints 0
47.50/47.74	c CG auxiliary variables introduced 397
47.50/47.74	c CG solutions found 2
47.50/47.74	c CG cores constructed 167
47.50/47.74	c CG core cardinality constraints returned 14
47.50/47.74	c CG unit cores 0
47.50/47.74	c CG single cores 154
47.50/47.74	c CG blocks removed during cardinality reduction 574
47.50/47.74	c CG first core best 0
47.50/47.74	c CG decision core best 1
47.50/47.74	c CG core reduction tie 12
47.50/47.74	c CG core degree average 3.84
47.50/47.74	c CG core slack average 5.19
47.50/47.74	c CG exhausted 72
47.50/47.74	c CG exhaust time 46.2611 s
47.50/47.74	c CG trimmed 111
47.50/47.74	c CG trim time 0.028105 s
47.50/47.74	c CG minimized 0
47.50/47.74	c CG minimize time 0 s
47.50/47.74	c CG am1 prop time 0.004847 s
47.50/47.74	c CG # am1s reformulated 151
47.50/47.74	c CG lower bound derived from am1s 117551
47.50/47.74	c CG # clausal cores 130
47.50/47.74	c CG # cardinality cores 1
47.50/47.74	c CG # pb cores 49
47.50/47.74	c CG # pb reforms 0
47.50/47.74	c CG # cores discarded because of pb reform 0
47.50/47.74	d LOWERBOUND -7954
47.50/47.74	d NCORES 167
47.50/47.74	d NPBCORES 49
47.50/47.74	d NPBREFORM 0
47.50/47.74	d NTRIMMED 111
47.50/47.74	d NEXHAUSTED 72
47.50/47.74	d NAM1S 151
47.50/47.74	d AM1LB 117551
47.50/47.74	o -5737
47.50/47.74	s OPTIMUM FOUND
47.50/47.75	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

Verifier Data 

OK	-5737

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457839-1721868735/watcher-4457839-1721868735 -o /tmp/evaluation-result-4457839-1721868735/solver-4457839-1721868735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256778 --watchdog 3760 pb-oll-rs HOME/instance-4457839-1721868735.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=258957, runsolver pid=258954

[startup+0.100315 s]*
/proc/loadavg: 4.12 4.12 4.04 4/240 258958
/proc/meminfo: memFree=113427780/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=40240 memory=7280 CPUtime=0.09 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 648 0 0 0 9 0 0 0 20 0 1 0 22862917 41205760 1820 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 10060 1820 1362 291 0 1594 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40240 KiB
Current children cumulated memory: 7280 KiB

[startup+0.212321 s]*
/proc/loadavg: 4.12 4.12 4.04 4/239 258972
/proc/meminfo: memFree=113422456/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=41036 memory=8392 CPUtime=0.19 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 931 0 0 0 18 1 0 0 20 0 1 0 22862917 42020864 2098 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 10259 2098 1378 291 0 1793 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41036 KiB
Current children cumulated memory: 8392 KiB

[startup+0.312301 s]*
/proc/loadavg: 4.12 4.12 4.04 4/239 258972
/proc/meminfo: memFree=113416768/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=41984 memory=12024 CPUtime=0.29 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 1306 0 0 0 27 2 0 0 20 0 1 0 22862917 42991616 3006 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 10496 3006 1378 291 0 2030 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41984 KiB
Current children cumulated memory: 12024 KiB

[startup+0.70025 s]
/proc/loadavg: 4.12 4.12 4.04 5/242 259004
/proc/meminfo: memFree=113408012/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=43408 memory=13576 CPUtime=0.67 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 1647 0 0 0 63 4 0 0 20 0 1 0 22862917 44449792 3394 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 10852 3394 1441 291 0 2386 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 13576 KiB

[startup+1.50029 s]
/proc/loadavg: 4.12 4.12 4.04 6/239 259044
/proc/meminfo: memFree=113394576/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=45760 memory=15424 CPUtime=1.47 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 2085 0 0 0 141 6 0 0 20 0 1 0 22862917 46858240 3856 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 11440 3856 1441 291 0 2974 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 45760 KiB
Current children cumulated memory: 15424 KiB

[startup+3.11284 s]
/proc/loadavg: 4.11 4.12 4.04 5/242 259096
/proc/meminfo: memFree=114327452/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=52352 memory=21264 CPUtime=3.07 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 3542 0 0 0 298 9 0 0 20 0 1 0 22862917 53608448 5316 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 13088 5316 1441 291 0 4622 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 52352 KiB
Current children cumulated memory: 21264 KiB

[startup+6.30033 s]
/proc/loadavg: 4.11 4.12 4.04 5/242 259143
/proc/meminfo: memFree=114297428/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=62724 memory=31032 CPUtime=6.25 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 5980 0 0 0 611 14 0 0 20 0 1 0 22862917 64229376 7758 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 15681 7758 1441 291 0 7215 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 62724 KiB
Current children cumulated memory: 31032 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.04 5/242 259144
/proc/meminfo: memFree=114131568/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=67144 memory=31824 CPUtime=12.63 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 6198 0 0 0 1242 21 0 0 20 0 1 0 22862917 68755456 7956 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 16786 7956 1441 291 0 8320 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 67144 KiB
Current children cumulated memory: 31824 KiB

[startup+25.5004 s]
/proc/loadavg: 4.40 4.17 4.06 5/242 259146
/proc/meminfo: memFree=113969532/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=69652 memory=36144 CPUtime=25.39 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 6769 0 0 0 2504 35 0 0 20 0 1 0 22862917 71323648 9036 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 17413 9036 1441 291 0 8947 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 69652 KiB
Current children cumulated memory: 36144 KiB

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

# cumulated CPU time of all completed processes:  user=47.0183 s, system=0.550833 s

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

[startup+25.6004 s]
/proc/loadavg: 4.40 4.17 4.06 5/242 259146
/proc/meminfo: memFree=113969532/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=69652 memory=36144 CPUtime=25.49 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 6775 0 0 0 2514 35 0 0 20 0 1 0 22862917 71323648 9036 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 17413 9036 1441 291 0 8947 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 69652 KiB
Current children cumulated memory: 36144 KiB

[startup+38.4003 s]
/proc/loadavg: 4.31 4.17 4.06 5/242 259149
/proc/meminfo: memFree=113876944/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=72884 memory=40564 CPUtime=38.24 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 7412 0 0 0 3778 46 0 0 20 0 1 0 22862917 74633216 10141 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 18221 10141 1441 291 0 9755 0
Current children cumulated CPU time: 38.24 s
Current children cumulated vsize: 72884 KiB
Current children cumulated memory: 40564 KiB

[startup+41.6003 s]
/proc/loadavg: 4.31 4.17 4.06 5/242 259149
/proc/meminfo: memFree=113873104/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=72884 memory=40564 CPUtime=41.43 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 7414 0 0 0 4094 49 0 0 20 0 1 0 22862917 74633216 10141 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 18221 10141 1441 291 0 9755 0
Current children cumulated CPU time: 41.43 s
Current children cumulated vsize: 72884 KiB
Current children cumulated memory: 40564 KiB

[startup+44.8003 s]
/proc/loadavg: 4.29 4.16 4.06 5/242 259149
/proc/meminfo: memFree=113848136/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=72884 memory=40816 CPUtime=44.62 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 7416 0 0 0 4410 52 0 0 20 0 1 0 22862917 74633216 10204 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 18221 10204 1441 291 0 9755 0
Current children cumulated CPU time: 44.62 s
Current children cumulated vsize: 72884 KiB
Current children cumulated memory: 40816 KiB

[startup+46.4003 s]
/proc/loadavg: 4.29 4.16 4.06 5/242 259149
/proc/meminfo: memFree=113844324/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=72884 memory=40816 CPUtime=46.21 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 7423 0 0 0 4568 53 0 0 20 0 1 0 22862917 74633216 10204 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 18221 10204 1441 291 0 9755 0
Current children cumulated CPU time: 46.21 s
Current children cumulated vsize: 72884 KiB
Current children cumulated memory: 40816 KiB

[startup+47.2003 s]
/proc/loadavg: 4.26 4.16 4.06 5/242 259149
/proc/meminfo: memFree=113840960/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=73292 memory=40816 CPUtime=47.01 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 7466 0 0 0 4647 54 0 0 20 0 1 0 22862917 75051008 10204 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 18323 10204 1441 291 0 9857 0
Current children cumulated CPU time: 47.01 s
Current children cumulated vsize: 73292 KiB
Current children cumulated memory: 40816 KiB

[startup+47.6003 s]
/proc/loadavg: 4.26 4.16 4.06 5/242 259149
/proc/meminfo: memFree=113840960/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=73292 memory=40816 CPUtime=47.41 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 7471 0 0 0 4687 54 0 0 20 0 1 0 22862917 75051008 10204 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 18323 10204 1441 291 0 9857 0
Current children cumulated CPU time: 47.41 s
Current children cumulated vsize: 73292 KiB
Current children cumulated memory: 40816 KiB

[startup+47.7003 s]
/proc/loadavg: 4.26 4.16 4.06 5/242 259149
/proc/meminfo: memFree=113840960/131655788 swapFree=131061124/131071996
[pid=258957] ppid=258954 vsize=73292 memory=40816 CPUtime=47.5 cores=1,3
/proc/258957/stat : 258957 (pb-oll-rs) R 258954 258957 256766 0 -1 4194304 7472 0 0 0 4696 54 0 0 20 0 1 0 22862917 75051008 10204 134679101440 4194304 5384005 140735345859920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22208512 140735345865755 140735345865832 140735345865832 140735345872843 0
/proc/258957/statm: 18323 10204 1441 291 0 9857 0
Current children cumulated CPU time: 47.5 s
Current children cumulated vsize: 73292 KiB
Current children cumulated memory: 40816 KiB

Child status: 0

Real time (s): 47.7531
CPU time (s): 47.5691
CPU user time (s): 47.0183
CPU system time (s): 0.550833
CPU usage (%): 99.6147
Max. virtual memory (cumulated for all children) (KiB): 73292
Max. memory (cumulated for all children) (KiB): 40816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.0183
system time used= 0.550833
maximum resident set size= 40980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7482
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= 6
involuntary context switches= 106


# summary of solver processes directly reported to runsolver:
#   pid: 258957
#   total CPU time (s): 47.5691
#   total CPU user time (s): 47.0183
#   total CPU system time (s): 0.550833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.327489 second user time and 0.44437 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 02:52:15
IDJOB=4457839
IDBENCH=176932
IDSOLVER=3067
FILE ID=nodeC005/4457839-1721868735
RUNJOBID= nodeC005-1721865124-256778
SLURM_JOB_ID= 8089204
Free space on /tmp= 723776 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457839-1721868735/watcher-4457839-1721868735 -o /tmp/evaluation-result-4457839-1721868735/solver-4457839-1721868735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256778 --watchdog 3760  pb-oll-rs HOME/instance-4457839-1721868735.opb

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

MD5SUM BENCH= 2490394f4bcefb8d76998a0fa8c11f7f
RANDOM SEED=1078937094

nodeC005.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		: 3539.233
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.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	: 0xb00001f
cpu MHz		: 3491.578
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		: 1197.281
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.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	: 0xb00001f
cpu MHz		: 1197.110
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		: 1197.111
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.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	: 0xb00001f
cpu MHz		: 3491.591
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		: 1197.181
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.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	: 0xb00001f
cpu MHz		: 1197.110
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:        113433856 kB
MemAvailable:   128968788 kB
Buffers:          279152 kB
Cached:         16031152 kB
SwapCached:          620 kB
Active:          2532304 kB
Inactive:       15029912 kB
Active(anon):       1576 kB
Inactive(anon):  1303596 kB
Active(file):    2530728 kB
Inactive(file): 13726316 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:              5900 kB
Writeback:             0 kB
AnonPages:       1238428 kB
Mapped:           120600 kB
Shmem:             53264 kB
KReclaimable:     235840 kB
Slab:             346592 kB
SReclaimable:     235840 kB
SUnreclaim:       110752 kB
KernelStack:        3744 kB
PageTables:        11908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1799508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    645120 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-25 02:53:03