Trace number 4457644

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-02SAT (TO)-48992 3600.73 3613.17

DiagnosticValue
AM1LB695
LOWERBOUND-154303
NAM1S23
NCORES665
NEXHAUSTED0
NPBCORES121
NPBREFORM0
NTRIMMED45

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
MD5SUMa84e76f0e449bb256266dd60911e5184
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-48992
Best CPU time to get the best result obtained on this benchmark0.01426
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 9984
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 5085234
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 5134226
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 - >= -5085234 @ 0.00299
0.00/0.00	c stratification level: 0
0.00/0.05	c bounds - >= -2547957 @ 0.010784
0.00/0.05	c bounds - >= -1320771 @ 0.014457
0.00/0.05	c bounds - >= -732027 @ 0.01785
0.00/0.05	c bounds - >= -474473 @ 0.021017
0.00/0.05	c bounds - >= -339570 @ 0.023686
0.00/0.05	c bounds - >= -276841 @ 0.025905
0.00/0.05	c bounds - >= -245001 @ 0.027842
0.00/0.05	c bounds - >= -228396 @ 0.029831
0.00/0.05	c bounds - >= -219492 @ 0.031603
0.00/0.05	c bounds - >= -215002 @ 0.033252
0.00/0.05	c bounds - >= -212050 @ 0.034757
0.00/0.05	c bounds - >= -209770 @ 0.036337
0.00/0.05	c bounds - >= -208490 @ 0.037757
0.00/0.05	c bounds - >= -207380 @ 0.03922
0.00/0.05	c bounds - >= -206756 @ 0.040439
0.00/0.05	c bounds - >= -206196 @ 0.042022
0.00/0.05	c bounds - >= -205780 @ 0.04289
0.00/0.05	c bounds - >= -205561 @ 0.043764
0.00/0.05	c bounds - >= -205369 @ 0.044456
0.00/0.05	c bounds - >= -205239 @ 0.045136
0.00/0.05	c bounds - >= -205147 @ 0.045865
0.00/0.05	c bounds - >= -205087 @ 0.045915
0.00/0.05	c bounds - >= -205049 @ 0.046337
0.00/0.05	c bounds - >= -205022 @ 0.047001
0.00/0.05	c bounds - >= -205007 @ 0.047736
0.00/0.05	c bounds - >= -205001 @ 0.048472
0.00/0.05	c bounds - >= -205000 @ 0.049248
0.00/0.05	c finalizing WCE round: reformulating cores
77.21/77.53	c #Conflicts:       1000 | #Constraints:       1041
77.21/77.53	c #Conflicts:       2000 | #Constraints:       2043
77.21/77.53	c INPROCESSING
77.21/77.53	c GARBAGE COLLECT
77.21/77.53	c #Conflicts:       3000 | #Constraints:       2022
77.21/77.53	c #Conflicts:       4000 | #Constraints:       3024
77.21/77.53	c INPROCESSING
77.21/77.53	c GARBAGE COLLECT
77.21/77.53	c #Conflicts:       5000 | #Constraints:       2430
77.21/77.53	c #Conflicts:       6000 | #Constraints:       3432
77.21/77.53	c INPROCESSING
77.21/77.53	c GARBAGE COLLECT
77.21/77.53	c #Conflicts:       7000 | #Constraints:       2437
77.21/77.53	c #Conflicts:       8000 | #Constraints:       3439
77.21/77.53	c #Conflicts:       9000 | #Constraints:       4443
77.21/77.53	c INPROCESSING
77.21/77.53	c GARBAGE COLLECT
77.21/77.53	c #Conflicts:      10000 | #Constraints:       3147
77.21/77.53	c #Conflicts:      11000 | #Constraints:       4149
77.21/77.53	c #Conflicts:      12000 | #Constraints:       5151
77.21/77.53	c INPROCESSING
77.21/77.53	c GARBAGE COLLECT
77.21/77.53	c #Conflicts:      13000 | #Constraints:       3604
77.21/77.53	c #Conflicts:      14000 | #Constraints:       4606
77.21/77.53	c #Conflicts:      15000 | #Constraints:       5608
77.21/77.53	c INPROCESSING
77.21/77.53	c GARBAGE COLLECT
77.21/77.53	c #Conflicts:      16000 | #Constraints:       3838
77.21/77.53	c #Conflicts:      17000 | #Constraints:       4840
77.21/77.53	c #Conflicts:      18000 | #Constraints:       5842
77.21/77.53	c INPROCESSING
77.21/77.53	c GARBAGE COLLECT
77.21/77.53	c #Conflicts:      19000 | #Constraints:       3864
77.21/77.53	c #Conflicts:      20000 | #Constraints:       4866
77.21/77.53	c bounds -48992 >= -205000 @ 76.3356
77.21/77.53	c bounds -48992 >= -203094 @ 76.3558
77.21/77.53	c bounds -48992 >= -203016 @ 76.3565
77.21/77.53	c bounds -48992 >= -202949 @ 76.3571
77.21/77.53	c bounds -48992 >= -202933 @ 76.3582
77.21/77.53	c bounds -48992 >= -202922 @ 76.3606
77.21/77.53	c bounds -48992 >= -202913 @ 76.3615
77.21/77.53	c bounds -48992 >= -202904 @ 76.3626
77.21/77.53	c bounds -48992 >= -202898 @ 76.3635
77.21/77.53	c bounds -48992 >= -202897 @ 76.3669
77.21/77.53	c bounds -48992 >= -202896 @ 76.3694
77.21/77.53	c bounds -48992 >= -202895 @ 76.3708
77.21/77.53	c bounds -48992 >= -202893 @ 76.3725
77.21/77.53	c bounds -48992 >= -202892 @ 76.3737
77.21/77.53	c bounds -48992 >= -202891 @ 76.3755
77.21/77.53	c bounds -48992 >= -202886 @ 76.3776
77.21/77.53	c bounds -48992 >= -202883 @ 76.3801
77.21/77.53	c bounds -48992 >= -202882 @ 76.382
77.21/77.53	c bounds -48992 >= -202880 @ 76.384
77.21/77.53	c bounds -48992 >= -202879 @ 76.3851
77.21/77.53	c bounds -48992 >= -202825 @ 76.3856
77.21/77.53	c bounds -48992 >= -202776 @ 76.3859
77.21/77.53	c bounds -48992 >= -202711 @ 76.3863
77.21/77.53	c bounds -48992 >= -202646 @ 76.3867
77.21/77.53	c bounds -48992 >= -202581 @ 76.387
77.21/77.53	c bounds -48992 >= -202516 @ 76.3874
77.21/77.53	c bounds -48992 >= -202464 @ 76.3878
77.21/77.53	c bounds -48992 >= -202412 @ 76.3884
77.21/77.53	c bounds -48992 >= -202360 @ 76.3887
77.21/77.53	c bounds -48992 >= -202308 @ 76.3891
77.21/77.53	c bounds -48992 >= -202267 @ 76.3894
77.21/77.53	c bounds -48992 >= -202235 @ 76.3903
77.21/77.53	c bounds -48992 >= -202226 @ 76.3909
77.21/77.53	c bounds -48992 >= -202205 @ 76.3917
77.21/77.53	c bounds -48992 >= -202203 @ 76.3924
77.21/77.53	c bounds -48992 >= -202198 @ 76.393
77.21/77.53	c bounds -48992 >= -202197 @ 76.3937
77.21/77.53	c bounds -48992 >= -202195 @ 76.3943
77.21/77.53	c bounds -48992 >= -202190 @ 76.3948
77.21/77.53	c bounds -48992 >= -202189 @ 76.3959
77.21/77.53	c bounds -48992 >= -202177 @ 76.3964
77.21/77.53	c bounds -48992 >= -202175 @ 76.3968
77.21/77.53	c bounds -48992 >= -202170 @ 76.3993
77.21/77.53	c bounds -48992 >= -202163 @ 76.4009
77.21/77.53	c bounds -48992 >= -202152 @ 76.4021
77.21/77.53	c bounds -48992 >= -202150 @ 76.4039
77.21/77.53	c bounds -48992 >= -202145 @ 76.4046
77.21/77.53	c bounds -48992 >= -202133 @ 76.4059
77.21/77.53	c bounds -48992 >= -202132 @ 76.4067
77.21/77.53	c bounds -48992 >= -202122 @ 76.4074
77.21/77.53	c bounds -48992 >= -201984 @ 76.4103
77.21/77.53	c bounds -48992 >= -201983 @ 76.4118
77.21/77.53	c bounds -48992 >= -201978 @ 76.4134
77.21/77.53	c bounds -48992 >= -201966 @ 76.4139
77.21/77.53	c bounds -48992 >= -201965 @ 76.4144
77.21/77.53	c bounds -48992 >= -201964 @ 76.4149
77.21/77.53	c bounds -48992 >= -201962 @ 76.4157
77.21/77.53	c bounds -48992 >= -201960 @ 76.4164
77.21/77.53	c bounds -48992 >= -201954 @ 76.417
77.21/77.53	c bounds -48992 >= -201949 @ 76.4187
77.21/77.53	c bounds -48992 >= -201948 @ 76.419
77.21/77.53	c bounds -48992 >= -201936 @ 76.4198
77.21/77.53	c bounds -48992 >= -199579 @ 76.4216
77.21/77.53	c bounds -48992 >= -199516 @ 76.4217
77.21/77.53	c bounds -48992 >= -198948 @ 76.422
77.21/77.53	c bounds -48992 >= -198947 @ 76.4233
77.21/77.53	c bounds -48992 >= -198946 @ 76.4239
77.21/77.53	c bounds -48992 >= -198944 @ 76.4245
77.21/77.53	c bounds -48992 >= -198932 @ 76.4249
77.21/77.53	c bounds -48992 >= -198928 @ 76.4252
77.21/77.53	c bounds -48992 >= -198926 @ 76.4295
77.21/77.53	c bounds -48992 >= -198892 @ 76.4322
77.21/77.53	c bounds -48992 >= -198827 @ 76.4325
77.21/77.53	c bounds -48992 >= -198826 @ 76.4327
77.21/77.53	c bounds -48992 >= -198821 @ 76.433
77.21/77.53	c bounds -48992 >= -198819 @ 76.4333
77.21/77.53	c bounds -48992 >= -198807 @ 76.4336
79.00/79.34	c bounds -48992 >= -198755 @ 76.4339
79.00/79.34	c bounds -48992 >= -198703 @ 76.435
79.00/79.34	c bounds -48992 >= -198695 @ 76.4363
79.00/79.34	c bounds -48992 >= -198691 @ 76.438
79.00/79.34	c bounds -48992 >= -198648 @ 76.4397
79.00/79.34	c bounds -48992 >= -198644 @ 76.4415
79.00/79.34	c bounds -48992 >= -198643 @ 76.4447
79.00/79.34	c bounds -48992 >= -198635 @ 76.4465
79.00/79.34	c bounds -48992 >= -198633 @ 76.4497
79.00/79.34	c bounds -48992 >= -198632 @ 76.4511
79.00/79.34	c bounds -48992 >= -198615 @ 76.4519
79.00/79.34	c bounds -48992 >= -198614 @ 76.4525
79.00/79.34	c bounds -48992 >= -198610 @ 76.462
79.00/79.34	c bounds -48992 >= -196653 @ 76.4649
79.00/79.34	c bounds -48992 >= -194064 @ 76.4655
79.00/79.34	c bounds -48992 >= -193560 @ 76.466
79.00/79.34	c bounds -48992 >= -193553 @ 76.4732
79.00/79.34	c bounds -48992 >= -191475 @ 76.4739
79.00/79.34	c bounds -48992 >= -191471 @ 76.4895
79.00/79.34	c bounds -48992 >= -191467 @ 76.4957
79.00/79.34	c bounds -48992 >= -191463 @ 76.4967
79.00/79.34	c bounds -48992 >= -191447 @ 76.4992
79.00/79.34	c bounds -48992 >= -191431 @ 76.5
79.00/79.34	c bounds -48992 >= -191424 @ 76.5013
79.00/79.34	c bounds -48992 >= -190173 @ 76.506
79.00/79.34	c bounds -48992 >= -190171 @ 76.512
79.00/79.34	c bounds -48992 >= -190169 @ 76.5174
79.00/79.34	c bounds -48992 >= -190167 @ 76.5198
79.00/79.34	c bounds -48992 >= -190161 @ 76.5218
79.00/79.34	c bounds -48992 >= -190159 @ 76.5296
79.00/79.34	c bounds -48992 >= -190153 @ 76.5415
79.00/79.34	c bounds -48992 >= -190149 @ 76.5443
79.00/79.34	c bounds -48992 >= -190148 @ 76.5451
79.00/79.34	c bounds -48992 >= -188886 @ 76.5472
79.00/79.34	c bounds -48992 >= -188885 @ 76.5572
79.00/79.34	c bounds -48992 >= -188884 @ 76.5594
79.00/79.34	c bounds -48992 >= -188883 @ 76.5677
79.00/79.34	c bounds -48992 >= -188882 @ 76.5968
79.00/79.34	c bounds -48992 >= -188878 @ 76.5987
79.00/79.34	c bounds -48992 >= -188870 @ 76.5994
79.00/79.34	c bounds -48992 >= -188862 @ 76.6001
79.00/79.34	c bounds -48992 >= -188860 @ 76.6007
79.00/79.34	c bounds -48992 >= -188858 @ 76.6013
79.00/79.34	c bounds -48992 >= -188798 @ 76.602
79.00/79.34	c bounds -48992 >= -188173 @ 76.6065
79.00/79.34	c bounds -48992 >= -188172 @ 76.7138
79.00/79.34	c bounds -48992 >= -188165 @ 76.7351
79.00/79.34	c bounds -48992 >= -188157 @ 76.7738
79.00/79.34	c bounds -48992 >= -188141 @ 76.8118
79.00/79.34	c bounds -48992 >= -188125 @ 76.8581
79.00/79.34	c bounds -48992 >= -188113 @ 76.8731
79.00/79.34	c bounds -48992 >= -188112 @ 76.892
79.00/79.34	c bounds -48992 >= -188109 @ 76.9074
79.00/79.34	c bounds -48992 >= -188104 @ 76.9132
79.00/79.34	c bounds -48992 >= -188102 @ 76.919
79.00/79.34	c bounds -48992 >= -188101 @ 76.9296
79.00/79.34	c bounds -48992 >= -188100 @ 76.939
79.00/79.34	c bounds -48992 >= -188099 @ 76.9946
79.00/79.34	c bounds -48992 >= -188097 @ 76.9965
79.00/79.34	c bounds -48992 >= -188096 @ 77.0088
79.00/79.34	c bounds -48992 >= -188094 @ 77.0183
79.00/79.34	c bounds -48992 >= -188072 @ 77.0302
79.00/79.34	c bounds -48992 >= -188028 @ 77.0356
79.00/79.34	c bounds -48992 >= -188026 @ 77.0507
79.00/79.34	c bounds -48992 >= -188025 @ 77.0562
79.00/79.34	c bounds -48992 >= -186837 @ 77.0584
79.00/79.34	c bounds -48992 >= -186765 @ 77.0689
79.00/79.34	c bounds -48992 >= -186297 @ 77.0718
79.00/79.34	c bounds -48992 >= -183708 @ 77.077
79.00/79.34	c bounds -48992 >= -182786 @ 77.0814
79.00/79.34	c bounds -48992 >= -182782 @ 77.2062
79.00/79.34	c bounds -48992 >= -182754 @ 77.2283
79.00/79.34	c bounds -48992 >= -182722 @ 77.2387
79.00/79.34	c bounds -48992 >= -182714 @ 77.2703
79.00/79.34	c bounds -48992 >= -182690 @ 77.2899
79.00/79.34	c bounds -48992 >= -182682 @ 77.2978
79.00/79.34	c bounds -48992 >= -182650 @ 77.3114
79.00/79.34	c bounds -48992 >= -180197 @ 77.321
79.00/79.34	c bounds -48992 >= -177608 @ 77.3358
79.00/79.34	c bounds -48992 >= -177607 @ 77.3568
79.00/79.34	c bounds -48992 >= -177606 @ 77.3654
79.00/79.34	c bounds -48992 >= -177605 @ 77.3749
79.00/79.34	c bounds -48992 >= -177590 @ 77.3833
79.00/79.34	c #Conflicts:      21000 | #Constraints:       6546
79.00/79.34	c bounds -48992 >= -177589 @ 77.4108
79.00/79.34	c bounds -48992 >= -177575 @ 77.4152
79.00/79.34	c bounds -48992 >= -177571 @ 77.4286
79.00/79.34	c bounds -48992 >= -177570 @ 77.4375
79.00/79.34	c bounds -48992 >= -177536 @ 77.4385
79.00/79.34	c bounds -48992 >= -177524 @ 77.4982
79.00/79.34	c bounds -48992 >= -177523 @ 77.5129
79.00/79.34	c bounds -48992 >= -177464 @ 77.5479
79.00/79.34	c bounds -48992 >= -177449 @ 77.5745
79.00/79.34	c bounds -48992 >= -177448 @ 77.6017
79.00/79.34	c bounds -48992 >= -177447 @ 77.7185
79.00/79.34	c bounds -48992 >= -177417 @ 77.7249
79.00/79.34	c bounds -48992 >= -177414 @ 77.7383
79.00/79.34	c bounds -48992 >= -177399 @ 77.7585
79.00/79.34	c bounds -48992 >= -177391 @ 77.7972
79.00/79.34	c bounds -48992 >= -177240 @ 77.7978
79.00/79.34	c bounds -48992 >= -175982 @ 77.8174
79.00/79.34	c bounds -48992 >= -174868 @ 77.8184
79.00/79.34	c bounds -48992 >= -174854 @ 77.8844
79.00/79.34	c bounds -48992 >= -174724 @ 77.8861
79.00/79.34	c bounds -48992 >= -173466 @ 77.9023
79.00/79.34	c bounds -48992 >= -173394 @ 77.9046
79.00/79.34	c bounds -48992 >= -173322 @ 77.9179
79.00/79.34	c bounds -48992 >= -172279 @ 77.9213
79.00/79.34	c bounds -48992 >= -172278 @ 78.008
79.00/79.34	c bounds -48992 >= -172207 @ 78.0534
79.00/79.34	c bounds -48992 >= -172136 @ 78.1626
84.49/84.87	c bounds -48992 >= -172127 @ 78.1729
84.49/84.87	c bounds -48992 >= -172055 @ 78.1933
84.49/84.87	c bounds -48992 >= -172003 @ 78.1967
84.49/84.87	c bounds -48992 >= -171987 @ 78.2153
84.49/84.87	c bounds -48992 >= -170878 @ 78.2445
84.49/84.87	c bounds -48992 >= -170874 @ 78.2708
84.49/84.87	c bounds -48992 >= -170866 @ 78.2737
84.49/84.87	c bounds -48992 >= -170865 @ 78.2769
84.49/84.87	c bounds -48992 >= -170858 @ 78.2781
84.49/84.87	c bounds -48992 >= -170857 @ 78.3165
84.49/84.87	c bounds -48992 >= -170846 @ 78.3263
84.49/84.87	c bounds -48992 >= -170842 @ 78.3313
84.49/84.87	c bounds -48992 >= -170841 @ 78.3597
84.49/84.87	c bounds -48992 >= -170528 @ 78.3906
84.49/84.87	c bounds -48992 >= -169690 @ 78.4093
84.49/84.87	c bounds -48992 >= -169689 @ 78.4529
84.49/84.87	c bounds -48992 >= -169688 @ 78.47
84.49/84.87	c bounds -48992 >= -169657 @ 78.4924
84.49/84.87	c bounds -48992 >= -169618 @ 78.4934
84.49/84.87	c bounds -48992 >= -168360 @ 78.538
84.49/84.87	c bounds -48992 >= -168359 @ 78.5535
84.49/84.87	c bounds -48992 >= -168357 @ 78.554
84.49/84.87	c bounds -48992 >= -168356 @ 78.5701
84.49/84.87	c bounds -48992 >= -168355 @ 78.5972
84.49/84.87	c bounds -48992 >= -168354 @ 78.6858
84.49/84.87	c bounds -48992 >= -168353 @ 78.82
84.49/84.87	c bounds -48992 >= -168352 @ 78.9492
84.49/84.87	c bounds -48992 >= -168350 @ 78.9659
84.49/84.87	c INPROCESSING
84.49/84.87	c GARBAGE COLLECT
84.49/84.87	c bounds -48992 >= -168349 @ 79.089
84.49/84.87	c bounds -48992 >= -168347 @ 79.0988
84.49/84.87	c bounds -48992 >= -168345 @ 79.0997
84.49/84.87	c bounds -48992 >= -168343 @ 79.1045
84.49/84.87	c bounds -48992 >= -168341 @ 79.1059
84.49/84.87	c bounds -48992 >= -168331 @ 79.11
84.49/84.87	c bounds -48992 >= -168323 @ 79.1128
84.49/84.87	c bounds -48992 >= -168319 @ 79.115
84.49/84.87	c bounds -48992 >= -168317 @ 79.1186
84.49/84.87	c bounds -48992 >= -168316 @ 79.1283
84.49/84.87	c bounds -48992 >= -168315 @ 79.15
84.49/84.87	c bounds -48992 >= -168311 @ 79.156
84.49/84.87	c bounds -48992 >= -168310 @ 79.1623
84.49/84.87	c bounds -48992 >= -168307 @ 79.1731
84.49/84.87	c bounds -48992 >= -168306 @ 79.2808
84.49/84.87	c bounds -48992 >= -168305 @ 79.3211
84.49/84.87	c bounds -48992 >= -168304 @ 79.3443
84.49/84.87	c bounds -48992 >= -168291 @ 79.3703
84.49/84.87	c bounds -48992 >= -168275 @ 79.3849
84.49/84.87	c bounds -48992 >= -168263 @ 79.404
84.49/84.87	c bounds -48992 >= -168247 @ 79.4095
84.49/84.87	c bounds -48992 >= -168241 @ 79.4188
84.49/84.87	c bounds -48992 >= -168041 @ 79.4244
84.49/84.87	c bounds -48992 >= -168031 @ 79.4291
84.49/84.87	c bounds -48992 >= -167804 @ 79.435
84.49/84.87	c #Conflicts:      22000 | #Constraints:       4312
84.49/84.87	c bounds -48992 >= -167803 @ 79.5447
84.49/84.87	c bounds -48992 >= -167802 @ 79.5489
84.49/84.87	c bounds -48992 >= -167800 @ 79.5536
84.49/84.87	c bounds -48992 >= -167798 @ 79.5707
84.49/84.87	c bounds -48992 >= -167794 @ 79.6034
84.49/84.87	c bounds -48992 >= -167788 @ 79.6118
84.49/84.87	c bounds -48992 >= -167295 @ 79.6475
84.49/84.87	c bounds -48992 >= -167102 @ 79.6597
84.49/84.87	c bounds -48992 >= -167100 @ 79.6771
84.49/84.87	c bounds -48992 >= -166813 @ 79.7007
84.49/84.87	c bounds -48992 >= -166812 @ 79.7558
84.49/84.87	c bounds -48992 >= -166786 @ 79.8171
84.49/84.87	c bounds -48992 >= -166771 @ 79.8489
84.49/84.87	c bounds -48992 >= -166616 @ 79.8729
84.49/84.87	c bounds -48992 >= -166458 @ 79.8938
84.49/84.87	c bounds -48992 >= -166426 @ 79.9376
84.49/84.87	c bounds -48992 >= -166277 @ 79.9392
84.49/84.87	c bounds -48992 >= -166145 @ 80.0158
84.49/84.87	c bounds -48992 >= -166065 @ 80.0712
84.49/84.87	c bounds -48992 >= -165985 @ 80.1097
84.49/84.87	c bounds -48992 >= -165905 @ 80.1653
84.49/84.87	c bounds -48992 >= -165897 @ 80.2587
84.49/84.87	c bounds -48992 >= -165895 @ 80.2622
84.49/84.87	c bounds -48992 >= -165888 @ 80.3582
84.49/84.87	c bounds -48992 >= -165885 @ 80.4031
84.49/84.87	c bounds -48992 >= -165881 @ 80.5021
84.49/84.87	c bounds -48992 >= -165871 @ 80.5107
84.49/84.87	c bounds -48992 >= -165864 @ 80.5178
84.49/84.87	c bounds -48992 >= -165861 @ 80.5404
84.49/84.87	c bounds -48992 >= -165860 @ 80.7636
84.49/84.87	c bounds -48992 >= -165858 @ 80.7951
84.49/84.87	c bounds -48992 >= -165848 @ 80.8617
84.49/84.87	c bounds -48992 >= -165845 @ 80.9693
84.49/84.87	c bounds -48992 >= -165838 @ 80.982
84.49/84.87	c #Conflicts:      23000 | #Constraints:       5446
84.49/84.87	c bounds -48992 >= -165837 @ 81.4144
84.49/84.87	c bounds -48992 >= -165818 @ 81.472
84.49/84.87	c bounds -48992 >= -165807 @ 81.5442
84.49/84.87	c bounds -48992 >= -165597 @ 81.5497
84.49/84.87	c bounds -48992 >= -165596 @ 81.5851
84.49/84.87	c bounds -48992 >= -165343 @ 81.5999
84.49/84.87	c bounds -48992 >= -165070 @ 81.6151
84.49/84.87	c bounds -48992 >= -164757 @ 81.6839
84.49/84.87	c bounds -48992 >= -164610 @ 81.7477
84.49/84.87	c bounds -48992 >= -164490 @ 81.7578
84.49/84.87	c bounds -48992 >= -164444 @ 82.1233
84.49/84.87	c bounds -48992 >= -164436 @ 82.8224
84.49/84.87	c bounds -48992 >= -164393 @ 82.8502
84.49/84.87	c bounds -48992 >= -164364 @ 82.9477
84.49/84.87	c #Conflicts:      24000 | #Constraints:       6500
84.49/84.87	c bounds -48992 >= -164339 @ 82.9712
84.49/84.87	c bounds -48992 >= -164215 @ 83.0067
84.49/84.87	c bounds -48992 >= -164214 @ 83.1187
84.49/84.87	c bounds -48992 >= -164194 @ 83.1656
84.49/84.87	c bounds -48992 >= -164173 @ 83.2418
98.66/99.09	c bounds -48992 >= -164132 @ 83.34
98.66/99.09	c bounds -48992 >= -164131 @ 83.7182
98.66/99.09	c bounds -48992 >= -164059 @ 83.7538
98.66/99.09	c bounds -48992 >= -164027 @ 83.7555
98.66/99.09	c bounds -48992 >= -163978 @ 83.7579
98.66/99.09	c bounds -48992 >= -163771 @ 83.7812
98.66/99.09	c bounds -48992 >= -163458 @ 83.8067
98.66/99.09	c bounds -48992 >= -163262 @ 83.8192
98.66/99.09	c bounds -48992 >= -163145 @ 83.9098
98.66/99.09	c bounds -48992 >= -162896 @ 83.9561
98.66/99.09	c bounds -48992 >= -162753 @ 84.009
98.66/99.09	c bounds -48992 >= -162732 @ 84.0532
98.66/99.09	c bounds -48992 >= -162244 @ 84.0591
98.66/99.09	c bounds -48992 >= -161735 @ 84.0656
98.66/99.09	c bounds -48992 >= -161638 @ 84.0718
98.66/99.09	c bounds -48992 >= -161295 @ 84.0965
98.66/99.09	c bounds -48992 >= -161229 @ 84.1921
98.66/99.09	c bounds -48992 >= -161227 @ 84.2112
98.66/99.09	c bounds -48992 >= -161226 @ 84.4586
98.66/99.09	c bounds -48992 >= -161225 @ 84.5015
98.66/99.09	c bounds -48992 >= -161220 @ 84.5161
98.66/99.09	c bounds -48992 >= -161206 @ 84.5274
98.66/99.09	c bounds -48992 >= -161205 @ 84.6515
98.66/99.09	c bounds -48992 >= -161204 @ 85.1206
98.66/99.09	c bounds -48992 >= -161056 @ 85.1619
98.66/99.09	c bounds -48992 >= -161055 @ 85.7289
98.66/99.09	c bounds -48992 >= -161053 @ 85.8457
98.66/99.09	c #Conflicts:      25000 | #Constraints:       7624
98.66/99.09	c bounds -48992 >= -161052 @ 86.4171
98.66/99.09	c INPROCESSING
98.66/99.09	c GARBAGE COLLECT
98.66/99.09	c bounds -48992 >= -161045 @ 86.8246
98.66/99.09	c bounds -48992 >= -161037 @ 86.8724
98.66/99.09	c bounds -48992 >= -161036 @ 86.9103
98.66/99.09	c bounds -48992 >= -160968 @ 86.9302
98.66/99.09	c bounds -48992 >= -160819 @ 86.9976
98.66/99.09	c bounds -48992 >= -160726 @ 87.0262
98.66/99.09	c bounds -48992 >= -160723 @ 87.0512
98.66/99.09	c bounds -48992 >= -160705 @ 87.3369
98.66/99.09	c bounds -48992 >= -160670 @ 87.3412
98.66/99.09	c bounds -48992 >= -160521 @ 87.3539
98.66/99.09	c bounds -48992 >= -160459 @ 87.5618
98.66/99.09	c bounds -48992 >= -160413 @ 87.566
98.66/99.09	c bounds -48992 >= -160410 @ 87.6249
98.66/99.09	c bounds -48992 >= -160407 @ 87.6487
98.66/99.09	c bounds -48992 >= -160404 @ 87.6663
98.66/99.09	c #Conflicts:      26000 | #Constraints:       5025
98.66/99.09	c bounds -48992 >= -160379 @ 87.6904
98.66/99.09	c bounds -48992 >= -160378 @ 87.7673
98.66/99.09	c bounds -48992 >= -160377 @ 87.7866
98.66/99.09	c bounds -48992 >= -160376 @ 88.0802
98.66/99.09	c bounds -48992 >= -160366 @ 88.13
98.66/99.09	c bounds -48992 >= -160363 @ 88.234
98.66/99.09	c bounds -48992 >= -160361 @ 88.2515
98.66/99.09	c bounds -48992 >= -160353 @ 88.3353
98.66/99.09	c bounds -48992 >= -160348 @ 88.5298
98.66/99.09	c bounds -48992 >= -160340 @ 88.5589
98.66/99.09	c bounds -48992 >= -160307 @ 88.6107
98.66/99.09	c bounds -48992 >= -160223 @ 88.624
98.66/99.09	c bounds -48992 >= -160218 @ 88.8024
98.66/99.09	c bounds -48992 >= -160213 @ 88.8047
98.66/99.09	c #Conflicts:      27000 | #Constraints:       6081
98.66/99.09	c bounds -48992 >= -159876 @ 88.9813
98.66/99.09	c bounds -48992 >= -159875 @ 89.2327
98.66/99.09	c bounds -48992 >= -159873 @ 89.3778
98.66/99.09	c bounds -48992 >= -159864 @ 89.4457
98.66/99.09	c bounds -48992 >= -159804 @ 89.4548
98.66/99.09	c bounds -48992 >= -159563 @ 89.4769
98.66/99.09	c bounds -48992 >= -159367 @ 89.4844
98.66/99.09	c bounds -48992 >= -159362 @ 89.697
98.66/99.09	c bounds -48992 >= -159346 @ 89.7254
98.66/99.09	c bounds -48992 >= -159341 @ 89.7433
98.66/99.09	c bounds -48992 >= -159336 @ 89.7605
98.66/99.09	c bounds -48992 >= -159326 @ 89.7759
98.66/99.09	c bounds -48992 >= -159315 @ 89.9162
98.66/99.09	c bounds -48992 >= -159007 @ 89.9352
98.66/99.09	c bounds -48992 >= -158965 @ 89.9444
98.66/99.09	c bounds -48992 >= -158885 @ 90.0418
98.66/99.09	c bounds -48992 >= -158875 @ 90.2414
98.66/99.09	c #Conflicts:      28000 | #Constraints:       7152
98.66/99.09	c bounds -48992 >= -158858 @ 90.703
98.66/99.09	c bounds -48992 >= -158857 @ 90.7348
98.66/99.09	c bounds -48992 >= -158856 @ 91.1815
98.66/99.09	c bounds -48992 >= -158855 @ 92.0029
98.66/99.09	c bounds -48992 >= -158847 @ 92.8775
98.66/99.09	c bounds -48992 >= -158814 @ 93.038
98.66/99.09	c #Conflicts:      29000 | #Constraints:       8176
98.66/99.09	c INPROCESSING
98.66/99.09	c GARBAGE COLLECT
98.66/99.09	c bounds -48992 >= -158744 @ 93.3562
98.66/99.09	c bounds -48992 >= -158693 @ 93.3708
98.66/99.09	c bounds -48992 >= -158645 @ 93.3835
98.66/99.09	c bounds -48992 >= -158348 @ 93.5555
98.66/99.09	c bounds -48992 >= -158347 @ 93.7403
98.66/99.09	c bounds -48992 >= -158338 @ 93.788
98.66/99.09	c bounds -48992 >= -158336 @ 93.8059
98.66/99.09	c bounds -48992 >= -158328 @ 93.8364
98.66/99.09	c bounds -48992 >= -158307 @ 93.8665
98.66/99.09	c bounds -48992 >= -158305 @ 93.9538
98.66/99.09	c bounds -48992 >= -158302 @ 93.9815
98.66/99.09	c bounds -48992 >= -158301 @ 94.0551
98.66/99.09	c bounds -48992 >= -158298 @ 94.1537
98.66/99.09	c bounds -48992 >= -158297 @ 94.2142
98.66/99.09	c bounds -48992 >= -158222 @ 94.3398
98.66/99.09	c #Conflicts:      30000 | #Constraints:       5497
98.66/99.09	c bounds -48992 >= -158219 @ 94.6621
98.66/99.09	c bounds -48992 >= -158078 @ 95.0198
98.66/99.09	c bounds -48992 >= -158043 @ 95.323
98.66/99.09	c bounds -48992 >= -157998 @ 95.4434
98.66/99.09	c #Conflicts:      31000 | #Constraints:       6513
139.80/140.31	c bounds -48992 >= -157992 @ 95.8495
139.80/140.31	c bounds -48992 >= -157951 @ 96.2166
139.80/140.31	c #Conflicts:      32000 | #Constraints:       7521
139.80/140.31	c bounds -48992 >= -157888 @ 96.5555
139.80/140.31	c bounds -48992 >= -157796 @ 96.9019
139.80/140.31	c bounds -48992 >= -157795 @ 97.9314
139.80/140.31	c #Conflicts:      33000 | #Constraints:       8533
139.80/140.31	c INPROCESSING
139.80/140.31	c GARBAGE COLLECT
139.80/140.31	c #Conflicts:      34000 | #Constraints:       5579
139.80/140.31	c bounds -48992 >= -157791 @ 99.1233
139.80/140.31	c bounds -48992 >= -157788 @ 99.3654
139.80/140.31	c bounds -48992 >= -157775 @ 99.3775
139.80/140.31	c bounds -48992 >= -157770 @ 99.3815
139.80/140.31	c bounds -48992 >= -157755 @ 99.385
139.80/140.31	c #Conflicts:      35000 | #Constraints:       6599
139.80/140.31	c bounds -48992 >= -157739 @ 100.043
139.80/140.31	c bounds -48992 >= -157716 @ 100.089
139.80/140.31	c bounds -48992 >= -157697 @ 100.112
139.80/140.31	c bounds -48992 >= -157656 @ 100.162
139.80/140.31	c bounds -48992 >= -157617 @ 100.197
139.80/140.31	c bounds -48992 >= -157537 @ 100.199
139.80/140.31	c bounds -48992 >= -157483 @ 100.201
139.80/140.31	c bounds -48992 >= -157430 @ 100.57
139.80/140.31	c bounds -48992 >= -157429 @ 100.942
139.80/140.31	c bounds -48992 >= -157409 @ 101.096
139.80/140.31	c bounds -48992 >= -157399 @ 101.153
139.80/140.31	c bounds -48992 >= -157398 @ 101.299
139.80/140.31	c bounds -48992 >= -157379 @ 101.353
139.80/140.31	c bounds -48992 >= -157338 @ 101.355
139.80/140.31	c bounds -48992 >= -157287 @ 101.363
139.80/140.31	c bounds -48992 >= -157281 @ 101.368
139.80/140.31	c #Conflicts:      36000 | #Constraints:       7663
139.80/140.31	c bounds -48992 >= -157271 @ 102.332
139.80/140.31	c bounds -48992 >= -157268 @ 102.334
139.80/140.31	c bounds -48992 >= -157188 @ 102.373
139.80/140.31	c bounds -48992 >= -157132 @ 102.383
139.80/140.31	c bounds -48992 >= -157117 @ 102.785
139.80/140.31	c #Conflicts:      37000 | #Constraints:       8683
139.80/140.31	c bounds -48992 >= -157091 @ 102.99
139.80/140.31	c bounds -48992 >= -156983 @ 103.262
139.80/140.31	c bounds -48992 >= -156804 @ 103.314
139.80/140.31	c bounds -48992 >= -156803 @ 103.838
139.80/140.31	c #Conflicts:      38000 | #Constraints:       9699
139.80/140.31	c bounds -48992 >= -156778 @ 104.224
139.80/140.31	c bounds -48992 >= -156775 @ 105.428
139.80/140.31	c bounds -48992 >= -156773 @ 105.49
139.80/140.31	c bounds -48992 >= -156761 @ 106.5
139.80/140.31	c bounds -48992 >= -156757 @ 106.518
139.80/140.31	c bounds -48992 >= -156752 @ 106.537
139.80/140.31	c bounds -48992 >= -156737 @ 106.861
139.80/140.31	c #Conflicts:      39000 | #Constraints:      10727
139.80/140.31	c bounds -48992 >= -156732 @ 107.645
139.80/140.31	c bounds -48992 >= -156694 @ 107.667
139.80/140.31	c bounds -48992 >= -156614 @ 108.662
139.80/140.31	c bounds -48992 >= -156573 @ 109.592
139.80/140.31	c bounds -48992 >= -156534 @ 109.616
139.80/140.31	c #Conflicts:      40000 | #Constraints:      11747
139.80/140.31	c bounds -48992 >= -156533 @ 110.757
139.80/140.31	c bounds -48992 >= -156493 @ 111.014
139.80/140.31	c bounds -48992 >= -156489 @ 111.682
139.80/140.31	c #Conflicts:      41000 | #Constraints:      12762
139.80/140.31	c bounds -48992 >= -156439 @ 112.984
139.80/140.31	c bounds -48992 >= -156398 @ 113.002
139.80/140.31	c bounds -48992 >= -156269 @ 113.021
139.80/140.31	c bounds -48992 >= -156268 @ 113.415
139.80/140.31	c bounds -48992 >= -156249 @ 114.117
139.80/140.31	c bounds -48992 >= -156248 @ 114.258
139.80/140.31	c bounds -48992 >= -156245 @ 114.773
139.80/140.31	c bounds -48992 >= -156240 @ 114.938
139.80/140.31	c bounds -48992 >= -156235 @ 115.289
139.80/140.31	c bounds -48992 >= -156234 @ 115.29
139.80/140.31	c bounds -48992 >= -156219 @ 115.294
139.80/140.31	c bounds -48992 >= -156208 @ 115.311
139.80/140.31	c #Conflicts:      42000 | #Constraints:      13816
139.80/140.31	c bounds -48992 >= -156185 @ 116.237
139.80/140.31	c bounds -48992 >= -156176 @ 116.242
139.80/140.31	c #Conflicts:      43000 | #Constraints:      14824
139.80/140.31	c bounds -48992 >= -156099 @ 116.693
139.80/140.31	c bounds -48992 >= -155999 @ 116.718
139.80/140.31	c bounds -48992 >= -155863 @ 117.199
139.80/140.31	c bounds -48992 >= -155860 @ 117.575
139.80/140.31	c bounds -48992 >= -155842 @ 117.591
139.80/140.31	c bounds -48992 >= -155760 @ 117.905
139.80/140.31	c #Conflicts:      44000 | #Constraints:      15846
139.80/140.31	c bounds -48992 >= -155759 @ 118.469
139.80/140.31	c bounds -48992 >= -155758 @ 118.977
139.80/140.31	c bounds -48992 >= -155757 @ 119.055
139.80/140.31	c #Conflicts:      45000 | #Constraints:      16864
139.80/140.31	c bounds -48992 >= -155756 @ 129.003
139.80/140.31	c bounds -48992 >= -155755 @ 132.509
139.80/140.31	c bounds -48992 >= -155752 @ 132.528
139.80/140.31	c bounds -48992 >= -155747 @ 132.655
139.80/140.31	c bounds -48992 >= -155738 @ 132.736
139.80/140.31	c bounds -48992 >= -155693 @ 132.767
139.80/140.31	c bounds -48992 >= -155678 @ 132.854
139.80/140.31	c bounds -48992 >= -155672 @ 132.873
139.80/140.31	c bounds -48992 >= -155641 @ 132.912
139.80/140.31	c bounds -48992 >= -155592 @ 133
139.80/140.31	c bounds -48992 >= -155591 @ 133.092
139.80/140.31	c bounds -48992 >= -155586 @ 133.136
139.80/140.31	c bounds -48992 >= -155581 @ 133.144
139.80/140.31	c bounds -48992 >= -155576 @ 133.221
139.80/140.31	c bounds -48992 >= -155547 @ 133.315
139.80/140.31	c bounds -48992 >= -155537 @ 133.607
139.80/140.31	c bounds -48992 >= -155526 @ 133.666
139.80/140.31	c bounds -48992 >= -155513 @ 133.805
657.70/660.03	c bounds -48992 >= -155507 @ 133.893
657.70/660.03	c bounds -48992 >= -155500 @ 133.96
657.70/660.03	c bounds -48992 >= -155499 @ 134.067
657.70/660.03	c bounds -48992 >= -155497 @ 134.188
657.70/660.03	c bounds -48992 >= -155456 @ 134.308
657.70/660.03	c bounds -48992 >= -155427 @ 134.396
657.70/660.03	c bounds -48992 >= -155426 @ 134.433
657.70/660.03	c bounds -48992 >= -155364 @ 134.444
657.70/660.03	c bounds -48992 >= -155343 @ 134.588
657.70/660.03	c bounds -48992 >= -155285 @ 134.606
657.70/660.03	c bounds -48992 >= -155251 @ 134.642
657.70/660.03	c #Conflicts:      46000 | #Constraints:      17983
657.70/660.03	c #Conflicts:      47000 | #Constraints:      18983
657.70/660.03	c #Conflicts:      48000 | #Constraints:      19983
657.70/660.03	c INPROCESSING
657.70/660.03	c GARBAGE COLLECT
657.70/660.03	c #Conflicts:      49000 | #Constraints:      11323
657.70/660.03	c bounds -48992 >= -155250 @ 170.523
657.70/660.03	c #Conflicts:      50000 | #Constraints:      12327
657.70/660.03	c #Conflicts:      51000 | #Constraints:      13327
657.70/660.03	c #Conflicts:      52000 | #Constraints:      14327
657.70/660.03	c bounds -48992 >= -155248 @ 223.91
657.70/660.03	c bounds -48992 >= -155246 @ 228.092
657.70/660.03	c bounds -48992 >= -155234 @ 233.926
657.70/660.03	c #Conflicts:      53000 | #Constraints:      15339
657.70/660.03	c INPROCESSING
657.70/660.03	c GARBAGE COLLECT
657.70/660.03	c #Conflicts:      54000 | #Constraints:       8895
657.70/660.03	c #Conflicts:      55000 | #Constraints:       9895
657.70/660.03	c #Conflicts:      56000 | #Constraints:      10895
657.70/660.03	c bounds -48992 >= -155231 @ 274.948
657.70/660.03	c #Conflicts:      57000 | #Constraints:      11899
657.70/660.03	c #Conflicts:      58000 | #Constraints:      12899
657.70/660.03	c INPROCESSING
657.70/660.03	c GARBAGE COLLECT
657.70/660.03	c #Conflicts:      59000 | #Constraints:       7421
657.70/660.03	c bounds -48992 >= -155229 @ 327.775
657.70/660.03	c bounds -48992 >= -155218 @ 328.293
657.70/660.03	c bounds -48992 >= -155215 @ 332.275
657.70/660.03	c #Conflicts:      60000 | #Constraints:       8439
657.70/660.03	c bounds -48992 >= -155214 @ 339.959
657.70/660.03	c bounds -48992 >= -155212 @ 339.985
657.70/660.03	c bounds -48992 >= -155209 @ 340.124
657.70/660.03	c bounds -48992 >= -155208 @ 340.135
657.70/660.03	c bounds -48992 >= -155207 @ 340.458
657.70/660.03	c bounds -48992 >= -155206 @ 340.939
657.70/660.03	c bounds -48992 >= -155203 @ 341.208
657.70/660.03	c bounds -48992 >= -155198 @ 341.221
657.70/660.03	c bounds -48992 >= -155197 @ 341.358
657.70/660.03	c bounds -48992 >= -155181 @ 342.593
657.70/660.03	c #Conflicts:      61000 | #Constraints:       9482
657.70/660.03	c #Conflicts:      62000 | #Constraints:      10482
657.70/660.03	c bounds -48992 >= -155180 @ 369.568
657.70/660.03	c #Conflicts:      63000 | #Constraints:      11489
657.70/660.03	c #Conflicts:      64000 | #Constraints:      12489
657.70/660.03	c bounds -48992 >= -155178 @ 387.402
657.70/660.03	c bounds -48992 >= -155175 @ 388.686
657.70/660.03	c bounds -48992 >= -155174 @ 388.805
657.70/660.03	c INPROCESSING
657.70/660.03	c GARBAGE COLLECT
657.70/660.03	c #Conflicts:      65000 | #Constraints:       7388
657.70/660.03	c bounds -48992 >= -155172 @ 397.236
657.70/660.03	c #Conflicts:      66000 | #Constraints:       8392
657.70/660.03	c bounds -48992 >= -155171 @ 411.574
657.70/660.03	c bounds -48992 >= -155169 @ 411.778
657.70/660.03	c bounds -48992 >= -155162 @ 412.038
657.70/660.03	c #Conflicts:      67000 | #Constraints:       9404
657.70/660.03	c bounds -48992 >= -155159 @ 414.792
657.70/660.03	c #Conflicts:      68000 | #Constraints:      10408
657.70/660.03	c bounds -48992 >= -155158 @ 432.997
657.70/660.03	c #Conflicts:      69000 | #Constraints:      11412
657.70/660.03	c #Conflicts:      70000 | #Constraints:      12412
657.70/660.03	c INPROCESSING
657.70/660.03	c GARBAGE COLLECT
657.70/660.03	c #Conflicts:      71000 | #Constraints:       7382
657.70/660.03	c bounds -48992 >= -155155 @ 466.524
657.70/660.03	c #Conflicts:      72000 | #Constraints:       8386
657.70/660.03	c bounds -48992 >= -155152 @ 491.435
657.70/660.03	c bounds -48992 >= -155150 @ 491.572
657.70/660.03	c #Conflicts:      73000 | #Constraints:       9394
657.70/660.03	c bounds -48992 >= -155148 @ 494.395
657.70/660.03	c bounds -48992 >= -155134 @ 508.543
657.70/660.03	c #Conflicts:      74000 | #Constraints:      10402
657.70/660.03	c bounds -48992 >= -155133 @ 512.239
657.70/660.03	c #Conflicts:      75000 | #Constraints:      11406
657.70/660.03	c #Conflicts:      76000 | #Constraints:      12406
657.70/660.03	c bounds -48992 >= -155130 @ 551.924
657.70/660.03	c #Conflicts:      77000 | #Constraints:      13410
657.70/660.03	c bounds -48992 >= -155129 @ 577.642
657.70/660.03	c bounds -48992 >= -155125 @ 577.723
657.70/660.03	c #Conflicts:      78000 | #Constraints:      14418
657.70/660.03	c bounds -48992 >= -155121 @ 595.909
657.70/660.03	c #Conflicts:      79000 | #Constraints:      15422
657.70/660.03	c bounds -48992 >= -155119 @ 622.8
657.70/660.03	c bounds -48992 >= -155113 @ 623.23
657.70/660.03	c bounds -48992 >= -155092 @ 623.703
657.70/660.03	c bounds -48992 >= -155089 @ 632.471
657.70/660.03	c bounds -48992 >= -155079 @ 632.546
657.70/660.03	c bounds -48992 >= -155066 @ 641.587
657.70/660.03	c #Conflicts:      80000 | #Constraints:      16446
657.70/660.03	c bounds -48992 >= -155065 @ 643.47
657.70/660.03	c bounds -48992 >= -155058 @ 643.918
2249.38/2257.39	c bounds -48992 >= -155048 @ 643.97
2249.38/2257.39	c bounds -48992 >= -155038 @ 643.987
2249.38/2257.39	c bounds -48992 >= -154999 @ 644.007
2249.38/2257.39	c #Conflicts:      81000 | #Constraints:      17466
2249.38/2257.39	c #Conflicts:      82000 | #Constraints:      18466
2249.38/2257.39	c #Conflicts:      83000 | #Constraints:      19466
2249.38/2257.39	c #Conflicts:      84000 | #Constraints:      20466
2249.38/2257.39	c bounds -48992 >= -154998 @ 751.788
2249.38/2257.39	c bounds -48992 >= -154997 @ 769.768
2249.38/2257.39	c #Conflicts:      85000 | #Constraints:      21480
2249.38/2257.39	c bounds -48992 >= -154993 @ 787.521
2249.38/2257.39	c bounds -48992 >= -154992 @ 789.11
2249.38/2257.39	c #Conflicts:      86000 | #Constraints:      22488
2249.38/2257.39	c #Conflicts:      87000 | #Constraints:      23488
2249.38/2257.39	c bounds -48992 >= -154991 @ 852.797
2249.38/2257.39	c #Conflicts:      88000 | #Constraints:      24495
2249.38/2257.39	c bounds -48992 >= -154990 @ 880.545
2249.38/2257.39	c bounds -48992 >= -154989 @ 885.79
2249.38/2257.39	c bounds -48992 >= -154988 @ 891.469
2249.38/2257.39	c bounds -48992 >= -154987 @ 892.834
2249.38/2257.39	c bounds -48992 >= -154983 @ 892.932
2249.38/2257.39	c bounds -48992 >= -154982 @ 893.666
2249.38/2257.39	c bounds -48992 >= -154981 @ 893.916
2249.38/2257.39	c bounds -48992 >= -154979 @ 893.973
2249.38/2257.39	c bounds -48992 >= -154978 @ 894.087
2249.38/2257.39	c bounds -48992 >= -154977 @ 894.712
2249.38/2257.39	c #Conflicts:      89000 | #Constraints:      25541
2249.38/2257.39	c bounds -48992 >= -154976 @ 942.814
2249.38/2257.39	c bounds -48992 >= -154975 @ 943.679
2249.38/2257.39	c bounds -48992 >= -154974 @ 943.901
2249.38/2257.39	c bounds -48992 >= -154969 @ 944.125
2249.38/2257.39	c bounds -48992 >= -154968 @ 944.343
2249.38/2257.39	c bounds -48992 >= -154956 @ 944.535
2249.38/2257.39	c #Conflicts:      90000 | #Constraints:      26568
2249.38/2257.39	c bounds -48992 >= -154953 @ 951.452
2249.38/2257.39	c bounds -48992 >= -154951 @ 951.521
2249.38/2257.39	c bounds -48992 >= -154948 @ 956.242
2249.38/2257.39	c bounds -48992 >= -154921 @ 967.869
2249.38/2257.39	c bounds -48992 >= -154918 @ 981.007
2249.38/2257.39	c #Conflicts:      91000 | #Constraints:      27588
2249.38/2257.39	c INPROCESSING
2249.38/2257.39	c GARBAGE COLLECT
2249.38/2257.39	c #Conflicts:      92000 | #Constraints:      14805
2249.38/2257.39	c bounds -48992 >= -154917 @ 1035.52
2249.38/2257.39	c #Conflicts:      93000 | #Constraints:      15809
2249.38/2257.39	c #Conflicts:      94000 | #Constraints:      16809
2249.38/2257.39	c #Conflicts:      95000 | #Constraints:      17809
2249.38/2257.39	c #Conflicts:      96000 | #Constraints:      18809
2249.38/2257.39	c bounds -48992 >= -154916 @ 1133.02
2249.38/2257.39	c bounds -48992 >= -154880 @ 1143.87
2249.38/2257.39	c bounds -48992 >= -154839 @ 1144.05
2249.38/2257.39	c bounds -48992 >= -154838 @ 1144.07
2249.38/2257.39	c #Conflicts:      97000 | #Constraints:      19825
2249.38/2257.39	c #Conflicts:      98000 | #Constraints:      20825
2249.38/2257.39	c #Conflicts:      99000 | #Constraints:      21825
2249.38/2257.39	c bounds -48992 >= -154836 @ 1305.69
2249.38/2257.39	c #Conflicts:     100000 | #Constraints:      22829
2249.38/2257.39	c #Conflicts:     101000 | #Constraints:      23829
2249.38/2257.39	c #Conflicts:     102000 | #Constraints:      24829
2249.38/2257.39	c #Conflicts:     103000 | #Constraints:      25829
2249.38/2257.39	c bounds -48992 >= -154834 @ 1490.07
2249.38/2257.39	c #Conflicts:     104000 | #Constraints:      26834
2249.38/2257.39	c bounds -48992 >= -154833 @ 1576.5
2249.38/2257.39	c #Conflicts:     105000 | #Constraints:      27841
2249.38/2257.39	c #Conflicts:     106000 | #Constraints:      28841
2249.38/2257.39	c bounds -48992 >= -154832 @ 1725.68
2249.38/2257.39	c bounds -48992 >= -154830 @ 1727.92
2249.38/2257.39	c #Conflicts:     107000 | #Constraints:      29849
2249.38/2257.39	c bounds -48992 >= -154827 @ 1790.95
2249.38/2257.39	c bounds -48992 >= -154824 @ 1802.78
2249.38/2257.39	c bounds -48992 >= -154823 @ 1817.86
2249.38/2257.39	c #Conflicts:     108000 | #Constraints:      30865
2249.38/2257.39	c bounds -48992 >= -154798 @ 1838.49
2249.38/2257.39	c bounds -48992 >= -154768 @ 1838.58
2249.38/2257.39	c bounds -48992 >= -154742 @ 1845.73
2249.38/2257.39	c bounds -48992 >= -154721 @ 1852.71
2249.38/2257.39	c bounds -48992 >= -154710 @ 1852.75
2249.38/2257.39	c bounds -48992 >= -154703 @ 1852.88
2249.38/2257.39	c bounds -48992 >= -154623 @ 1853.02
2249.38/2257.39	c bounds -48992 >= -154619 @ 1853.19
2249.38/2257.39	c bounds -48992 >= -154608 @ 1868.7
2249.38/2257.39	c bounds -48992 >= -154578 @ 1871
2249.38/2257.39	c #Conflicts:     109000 | #Constraints:      31905
2249.38/2257.39	c bounds -48992 >= -154577 @ 1924.99
2249.38/2257.39	c #Conflicts:     110000 | #Constraints:      32909
2249.38/2257.39	c bounds -48992 >= -154575 @ 1977.74
2249.38/2257.39	c bounds -48992 >= -154572 @ 1980.76
2249.38/2257.39	c bounds -48992 >= -154568 @ 1981.5
2249.38/2257.39	c #Conflicts:     111000 | #Constraints:      33921
2249.38/2257.39	c #Conflicts:     112000 | #Constraints:      34921
2249.38/2257.39	c bounds -48992 >= -154565 @ 2112.93
2249.38/2257.39	c #Conflicts:     113000 | #Constraints:      35925
2249.38/2257.39	c bounds -48992 >= -154563 @ 2132.24
2249.38/2257.39	c bounds -48992 >= -154562 @ 2132.75
2249.38/2257.39	c bounds -48992 >= -154559 @ 2195.41
2249.38/2257.39	c #Conflicts:     114000 | #Constraints:      36937
2249.38/2257.39	c bounds -48992 >= -154558 @ 2217.18
2249.38/2257.39	c bounds -48992 >= -154557 @ 2227.79
3600.66/3613.15	c #Conflicts:     115000 | #Constraints:      37945
3600.66/3613.15	c bounds -48992 >= -154556 @ 2277.63
3600.66/3613.15	c bounds -48992 >= -154552 @ 2279.03
3600.66/3613.15	c bounds -48992 >= -154550 @ 2283.66
3600.66/3613.15	c INPROCESSING
3600.66/3613.15	c GARBAGE COLLECT
3600.66/3613.15	c bounds -48992 >= -154548 @ 2290.29
3600.66/3613.15	c #Conflicts:     116000 | #Constraints:      20293
3600.66/3613.15	c #Conflicts:     117000 | #Constraints:      21293
3600.66/3613.15	c #Conflicts:     118000 | #Constraints:      22293
3600.66/3613.15	c #Conflicts:     119000 | #Constraints:      23293
3600.66/3613.15	c #Conflicts:     120000 | #Constraints:      24293
3600.66/3613.15	c bounds -48992 >= -154547 @ 2518.17
3600.66/3613.15	c bounds -48992 >= -154546 @ 2525.19
3600.66/3613.15	c bounds -48992 >= -154545 @ 2526.14
3600.66/3613.15	c #Conflicts:     121000 | #Constraints:      25305
3600.66/3613.15	c bounds -48992 >= -154544 @ 2559.81
3600.66/3613.15	c bounds -48992 >= -154543 @ 2562.85
3600.66/3613.15	c bounds -48992 >= -154538 @ 2569.29
3600.66/3613.15	c #Conflicts:     122000 | #Constraints:      26320
3600.66/3613.15	c bounds -48992 >= -154537 @ 2602.28
3600.66/3613.15	c bounds -48992 >= -154536 @ 2602.82
3600.66/3613.15	c bounds -48992 >= -154532 @ 2603.67
3600.66/3613.15	c bounds -48992 >= -154528 @ 2610.84
3600.66/3613.15	c bounds -48992 >= -154527 @ 2612.86
3600.66/3613.15	c bounds -48992 >= -154518 @ 2615.89
3600.66/3613.15	c bounds -48992 >= -154515 @ 2616.77
3600.66/3613.15	c bounds -48992 >= -154508 @ 2625.69
3600.66/3613.15	c bounds -48992 >= -154498 @ 2632.82
3600.66/3613.15	c bounds -48992 >= -154494 @ 2632.88
3600.66/3613.15	c #Conflicts:     123000 | #Constraints:      27363
3600.66/3613.15	c bounds -48992 >= -154488 @ 2655
3600.66/3613.15	c bounds -48992 >= -154487 @ 2677.74
3600.66/3613.15	c bounds -48992 >= -154483 @ 2678.68
3600.66/3613.15	c bounds -48992 >= -154478 @ 2678.82
3600.66/3613.15	c bounds -48992 >= -154473 @ 2679.1
3600.66/3613.15	c #Conflicts:     124000 | #Constraints:      28383
3600.66/3613.15	c bounds -48992 >= -154470 @ 2707.09
3600.66/3613.15	c #Conflicts:     125000 | #Constraints:      29387
3600.66/3613.15	c #Conflicts:     126000 | #Constraints:      30387
3600.66/3613.15	c bounds -48992 >= -154467 @ 2790.62
3600.66/3613.15	c bounds -48992 >= -154463 @ 2790.82
3600.66/3613.15	c bounds -48992 >= -154452 @ 2790.96
3600.66/3613.15	c bounds -48992 >= -154411 @ 2791.38
3600.66/3613.15	c bounds -48992 >= -154383 @ 2791.51
3600.66/3613.15	c bounds -48992 >= -154370 @ 2792.73
3600.66/3613.15	c bounds -48992 >= -154329 @ 2792.99
3600.66/3613.15	c bounds -48992 >= -154321 @ 2793.88
3600.66/3613.15	c #Conflicts:     127000 | #Constraints:      31419
3600.66/3613.15	c #Conflicts:     128000 | #Constraints:      32419
3600.66/3613.15	c bounds -48992 >= -154310 @ 2893.68
3600.66/3613.15	c #Conflicts:     129000 | #Constraints:      33423
3600.66/3613.15	c #Conflicts:     130000 | #Constraints:      34423
3600.66/3613.15	c #Conflicts:     131000 | #Constraints:      35423
3600.66/3613.15	c #Conflicts:     132000 | #Constraints:      36423
3600.66/3613.15	c #Conflicts:     133000 | #Constraints:      37423
3600.66/3613.15	c #Conflicts:     134000 | #Constraints:      38423
3600.66/3613.15	c bounds -48992 >= -154309 @ 3185.4
3600.66/3613.15	c bounds -48992 >= -154303 @ 3192.18
3600.66/3613.15	c #Conflicts:     135000 | #Constraints:      39431
3600.66/3613.15	c #Conflicts:     136000 | #Constraints:      40431
3600.66/3613.15	c #Conflicts:     137000 | #Constraints:      41431
3600.66/3613.15	c #Conflicts:     138000 | #Constraints:      42431
3600.66/3613.15	c #Conflicts:     139000 | #Constraints:      43431
3600.66/3613.15	c #Conflicts:     140000 | #Constraints:      44431
3600.66/3613.15	c INPROCESSING
3600.66/3613.15	c GARBAGE COLLECT
3600.66/3613.15	c Program interrupted by user.
3600.66/3613.15	c cpu time 3573.69 s
3600.66/3613.15	c deterministic time 343091081770 3.43e+11
3600.66/3613.15	c optimization time 77.2756 s
3600.66/3613.15	c total solve time 3496.41 s
3600.66/3613.15	c core-guided solve time 3496.41 s
3600.66/3613.15	c propagation time 3381.18 s
3600.66/3613.15	c conflict analysis time 159.988 s
3600.66/3613.15	c propagations 97597863
3600.66/3613.15	c resolve steps 364656
3600.66/3613.15	c decisions 26343630
3600.66/3613.15	c conflicts 140600
3600.66/3613.15	c restarts 380
3600.66/3613.15	c inprocessing phases 19
3600.66/3613.15	c input clauses 661
3600.66/3613.15	c input cardinalities 680
3600.66/3613.15	c input general constraints 1320
3600.66/3613.15	c input average constraint length 435.89
3600.66/3613.15	c input average constraint degree 1228564.19
3600.66/3613.15	c learned clauses 5274
3600.66/3613.15	c learned cardinalities 5
3600.66/3613.15	c learned general constraints 135439
3600.66/3613.15	c learned average constraint length 941.61
3600.66/3613.15	c learned average constraint degree 1604397476.72
3600.66/3613.15	c watched constraints 14097
3600.66/3613.15	c counting constraints 122662
3600.66/3613.15	c gcd simplifications 1683
3600.66/3613.15	c detected cardinalities 0
3600.66/3613.15	c weakened non-implied lits 2503237
3600.66/3613.15	c weakened non-implying lits 10099
3600.66/3613.15	c original variables 1000
3600.66/3613.15	c clausal propagations 12982339
3600.66/3613.15	c cardinality propagations 5525529
3600.66/3613.15	c watched propagations 2545516
3600.66/3613.15	c counting propagations 75935013
3600.66/3613.15	c watch lookups 61662442788
3600.66/3613.15	c watch backjump lookups 61625321667
3600.66/3613.15	c watch checks 5044911783
3600.66/3613.15	c propagation checks 214040009984
3600.66/3613.15	c constraint additions 470371961
3600.66/3613.15	c trail pops 124082093
3600.66/3613.15	c formula constraints 1
3600.66/3613.15	c learned constraints 140718
3600.66/3613.15	c bound constraints 669
3600.66/3613.15	c core-guided constraints 1991
3600.66/3613.15	c encountered formula constraints 40077
3600.66/3613.15	c encountered learned constraints 317585
3600.66/3613.15	c encountered bound constraints 32278
3600.66/3613.15	c encountered core-guided constraints 115316
3600.66/3613.15	c LP total time 0 s
3600.66/3613.15	c LP solve time 0 s
3600.66/3613.15	c LP constraints added 0
3600.66/3613.15	c LP constraints removed 0
3600.66/3613.15	c LP pivots internal 0
3600.66/3613.15	c LP pivots root 0
3600.66/3613.15	c LP calls 0
3600.66/3613.15	c LP optimalities 0
3600.66/3613.15	c LP no pivot count 0
3600.66/3613.15	c LP infeasibilities 0
3600.66/3613.15	c LP valid Farkas constraints 0
3600.66/3613.15	c LP learned Farkas constraints 0
3600.66/3613.15	c LP basis resets 0
3600.66/3613.15	c LP cycling count 0
3600.66/3613.15	c LP singular count 0
3600.66/3613.15	c LP no primal count 0
3600.66/3613.15	c LP no farkas count 0
3600.66/3613.15	c LP other issue count 0
3600.66/3613.15	c LP Gomory cuts 0
3600.66/3613.15	c LP learned cuts 0
3600.66/3613.15	c LP deleted cuts 0
3600.66/3613.15	c LP encountered Gomory constraints 0
3600.66/3613.15	c LP encountered Farkas constraints 0
3600.66/3613.15	c LP encountered learned Farkas constraints 0
3600.66/3613.15	c CG auxiliary variables introduced 688
3600.66/3613.15	c CG solutions found 1
3600.66/3613.15	c CG cores constructed 665
3600.66/3613.15	c CG core cardinality constraints returned 26
3600.66/3613.15	c CG unit cores 0
3600.66/3613.15	c CG single cores 629
3600.66/3613.15	c CG blocks removed during cardinality reduction 8268
3600.66/3613.15	c CG first core best 0
3600.66/3613.15	c CG decision core best 0
3600.66/3613.15	c CG core reduction tie 36
3600.66/3613.15	c CG core degree average 10.40
3600.66/3613.15	c CG core slack average 6.54
3600.66/3613.15	c CG exhausted 0
3600.66/3613.15	c CG exhaust time 76.2254 s
3600.66/3613.15	c CG trimmed 45
3600.66/3613.15	c CG trim time 0.795617 s
3600.66/3613.15	c CG minimized 0
3600.66/3613.15	c CG minimize time 0 s
3600.66/3613.15	c CG am1 prop time 0.018058 s
3600.66/3613.15	c CG # am1s reformulated 23
3600.66/3613.15	c CG lower bound derived from am1s 695
3600.66/3613.15	c CG # clausal cores 580
3600.66/3613.15	c CG # cardinality cores 0
3600.66/3613.15	c CG # pb cores 121
3600.66/3613.15	c CG # pb reforms 0
3600.66/3613.15	c CG # cores discarded because of pb reform 0
3600.66/3613.15	d LOWERBOUND -154303
3600.66/3613.15	d NCORES 665
3600.66/3613.15	d NPBCORES 121
3600.66/3613.15	d NPBREFORM 0
3600.66/3613.15	d NTRIMMED 45
3600.66/3613.15	d NEXHAUSTED 0
3600.66/3613.15	d NAM1S 23
3600.66/3613.15	d AM1LB 695
3600.66/3613.15	o -48992
3600.66/3613.15	s SATISFIABLE
3600.66/3613.15	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	-48992

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=256900, runsolver pid=256897
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 0.07 0.08 0.09 5/238 256905
/proc/meminfo: memFree=114431296/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=40056 memory=7520 CPUtime=0.1 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 675 0 0 0 8 2 0 0 20 0 1 0 22501851 41017344 1880 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 10014 1880 1375 291 0 1548 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40056 KiB
Current children cumulated memory: 7520 KiB

[startup+0.21338 s]*
/proc/loadavg: 0.07 0.08 0.09 5/238 256923
/proc/meminfo: memFree=114431052/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=40576 memory=8520 CPUtime=0.21 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 960 0 0 0 18 3 0 0 20 0 1 0 22501851 41549824 2130 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 10144 2130 1375 291 0 1678 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 8520 KiB

[startup+0.312471 s]*
/proc/loadavg: 0.07 0.08 0.09 7/243 256933
/proc/meminfo: memFree=114424592/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=41492 memory=10092 CPUtime=0.31 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 1332 0 0 0 28 3 0 0 20 0 1 0 22501851 42487808 2523 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 10373 2523 1375 291 0 1907 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41492 KiB
Current children cumulated memory: 10092 KiB

[startup+0.700259 s]
/proc/loadavg: 0.07 0.08 0.09 6/243 256933
/proc/meminfo: memFree=114413496/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=42792 memory=13932 CPUtime=0.69 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 1761 0 0 0 63 6 0 0 20 0 1 0 22501851 43819008 3483 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 10698 3483 1375 291 0 2232 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 13932 KiB

[startup+1.50029 s]
/proc/loadavg: 0.07 0.08 0.09 5/243 256933
/proc/meminfo: memFree=114398404/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=50312 memory=21664 CPUtime=1.48 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 3192 0 0 0 141 7 0 0 20 0 1 0 22501851 51519488 5416 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 12578 5416 1375 291 0 4112 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50312 KiB
Current children cumulated memory: 21664 KiB

[startup+3.11354 s]
/proc/loadavg: 0.38 0.14 0.11 5/243 256933
/proc/meminfo: memFree=114279552/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=72036 memory=38032 CPUtime=3.09 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 6267 0 0 0 297 12 0 0 20 0 1 0 22501851 73764864 9508 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 18009 9508 1375 291 0 9543 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 72036 KiB
Current children cumulated memory: 38032 KiB

[startup+6.30029 s]
/proc/loadavg: 0.38 0.14 0.11 5/243 256933
/proc/meminfo: memFree=114170720/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=83856 memory=47236 CPUtime=6.26 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 7025 0 0 0 610 16 0 0 20 0 1 0 22501851 85868544 11809 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 20964 11809 1438 291 0 12498 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 83856 KiB
Current children cumulated memory: 47236 KiB

[startup+12.7003 s]
/proc/loadavg: 1.09 0.31 0.16 5/243 256935
/proc/meminfo: memFree=114048752/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=102040 memory=67872 CPUtime=12.64 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 10631 0 0 0 1239 25 0 0 20 0 1 0 22501851 104488960 16968 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 25510 16968 1438 291 0 17044 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 102040 KiB
Current children cumulated memory: 67872 KiB

[startup+25.5003 s]
/proc/loadavg: 1.54 0.43 0.20 5/243 256936
/proc/meminfo: memFree=113884104/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=121328 memory=78464 CPUtime=25.4 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 11743 0 0 0 2500 40 0 0 20 0 1 0 22501851 124239872 19616 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 30332 19616 1438 291 0 21866 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 121328 KiB
Current children cumulated memory: 78464 KiB

[startup+51.1131 s]
/proc/loadavg: 2.44 0.73 0.31 5/243 256941
/proc/meminfo: memFree=113672600/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=145048 memory=99844 CPUtime=50.92 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 15545 0 0 0 5031 61 0 0 20 0 1 0 22501851 148529152 24961 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 36262 24961 1438 291 0 27796 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 145048 KiB
Current children cumulated memory: 99844 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 1.31 0.54 5/243 256949
/proc/meminfo: memFree=113425956/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=206924 memory=159684 CPUtime=101.93 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 29039 0 0 0 9851 342 0 0 20 0 1 0 22501851 211890176 39921 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 51731 39921 1438 291 0 43265 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 206924 KiB
Current children cumulated memory: 159684 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 1.82 0.76 5/243 256959
/proc/meminfo: memFree=113150076/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=355068 memory=261824 CPUtime=161.72 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 44905 0 0 0 15527 645 0 0 20 0 1 0 22501851 363589632 65456 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 88767 65456 1438 291 0 80301 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 355068 KiB
Current children cumulated memory: 261824 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 2.28 0.99 5/242 257353
/proc/meminfo: memFree=113088240/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=358596 memory=267916 CPUtime=221.51 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 45934 0 0 0 21411 740 0 0 20 0 1 0 22501851 367202304 66979 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 89649 66979 1438 291 0 81183 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 358596 KiB
Current children cumulated memory: 267916 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 2.63 1.19 5/242 257363
/proc/meminfo: memFree=112952820/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=364132 memory=277720 CPUtime=281.3 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 47393 0 0 0 27298 832 0 0 20 0 1 0 22501851 372871168 69430 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 91033 69430 1438 291 0 82567 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 364132 KiB
Current children cumulated memory: 277720 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 2.89 1.37 5/240 257373
/proc/meminfo: memFree=112899420/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=366488 memory=279092 CPUtime=341.09 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 47813 0 0 0 33184 925 0 0 20 0 1 0 22501851 375283712 69773 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 91622 69773 1438 291 0 83156 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 366488 KiB
Current children cumulated memory: 279092 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.14 1.56 5/244 257556
/proc/meminfo: memFree=112883836/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=368276 memory=280280 CPUtime=400.89 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 48124 0 0 0 39045 1044 0 0 20 0 1 0 22501851 377114624 70070 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 92069 70070 1438 291 0 83603 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 368276 KiB
Current children cumulated memory: 280280 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.32 1.72 5/244 257566
/proc/meminfo: memFree=112858984/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=368500 memory=280536 CPUtime=460.68 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 48208 0 0 0 44905 1163 0 0 20 0 1 0 22501851 377344000 70134 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 92125 70134 1438 291 0 83659 0

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

Current children cumulated memory: 895596 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.02 5/241 258668
/proc/meminfo: memFree=111391268/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=987100 memory=895896 CPUtime=3031.78 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 142503 0 0 0 300697 2481 0 0 20 0 1 0 22501851 1010790400 223974 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 246775 223974 1438 291 0 238309 0
Current children cumulated CPU time: 3031.78 s
Current children cumulated vsize: 987100 KiB
Current children cumulated memory: 895896 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.15 4.02 5/241 258678
/proc/meminfo: memFree=111390332/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=987876 memory=896400 CPUtime=3091.58 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 143043 0 0 0 306647 2511 0 0 20 0 1 0 22501851 1011585024 224100 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 246969 224100 1438 291 0 238503 0
Current children cumulated CPU time: 3091.58 s
Current children cumulated vsize: 987876 KiB
Current children cumulated memory: 896400 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.03 6/241 258689
/proc/meminfo: memFree=111389116/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=988284 memory=896952 CPUtime=3151.39 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 143599 0 0 0 312597 2542 0 0 20 0 1 0 22501851 1012002816 224238 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 247071 224238 1438 291 0 238605 0
Current children cumulated CPU time: 3151.39 s
Current children cumulated vsize: 988284 KiB
Current children cumulated memory: 896952 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.12 4.02 5/239 258700
/proc/meminfo: memFree=111367148/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=989160 memory=904352 CPUtime=3211.2 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 144315 0 0 0 318558 2562 0 0 20 0 1 0 22501851 1012899840 226088 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 247290 226088 1438 291 0 238824 0
Current children cumulated CPU time: 3211.2 s
Current children cumulated vsize: 989160 KiB
Current children cumulated memory: 904352 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.03 5/239 258710
/proc/meminfo: memFree=111353384/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=990428 memory=917516 CPUtime=3271 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 145480 0 0 0 324518 2582 0 0 20 0 1 0 22501851 1014198272 229379 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 247607 229379 1438 291 0 239141 0
Current children cumulated CPU time: 3271 s
Current children cumulated vsize: 990428 KiB
Current children cumulated memory: 917516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.03 5/239 258720
/proc/meminfo: memFree=111335860/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=1214740 memory=932512 CPUtime=3330.8 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 148461 0 0 0 330481 2599 0 0 20 0 1 0 22501851 1243893760 233128 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 303685 233128 1438 291 0 295219 0
Current children cumulated CPU time: 3330.8 s
Current children cumulated vsize: 1214740 KiB
Current children cumulated memory: 932512 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.03 5/239 258730
/proc/meminfo: memFree=111317256/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=1234800 memory=947720 CPUtime=3390.59 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 153219 0 0 0 336442 2617 0 0 20 0 1 0 22501851 1264435200 236930 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 308700 236930 1438 291 0 300234 0
Current children cumulated CPU time: 3390.59 s
Current children cumulated vsize: 1234800 KiB
Current children cumulated memory: 947720 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/238 258741
/proc/meminfo: memFree=111307280/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=1238316 memory=956152 CPUtime=3450.38 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 154692 0 0 0 342398 2640 0 0 20 0 1 0 22501851 1268035584 239038 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 309579 239038 1438 291 0 301113 0
Current children cumulated CPU time: 3450.38 s
Current children cumulated vsize: 1238316 KiB
Current children cumulated memory: 956152 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/242 258757
/proc/meminfo: memFree=111294444/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=1240360 memory=963752 CPUtime=3510.16 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 155951 0 0 0 348351 2665 0 0 20 0 1 0 22501851 1270128640 240938 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 310090 240938 1438 291 0 301624 0
Current children cumulated CPU time: 3510.16 s
Current children cumulated vsize: 1240360 KiB
Current children cumulated memory: 963752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/242 258768
/proc/meminfo: memFree=111092532/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=1251908 memory=978964 CPUtime=3569.95 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 158900 0 0 0 354304 2691 0 0 20 0 1 0 22501851 1281953792 244741 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 312977 244741 1438 291 0 304511 0
Current children cumulated CPU time: 3569.95 s
Current children cumulated vsize: 1251908 KiB
Current children cumulated memory: 978964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.12 4.12 4.04 5/242 259050
/proc/meminfo: memFree=113387032/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=1253032 memory=982084 CPUtime=3600.05 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 160112 0 0 0 357304 2701 0 0 20 0 1 0 22501851 1283104768 245521 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 313258 245521 1438 291 0 304792 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1253032 KiB
Current children cumulated memory: 982084 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.7 s, system=27.0311 s

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

[startup+3612.8 s]
/proc/loadavg: 4.12 4.12 4.04 5/242 259050
/proc/meminfo: memFree=113387032/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=1253032 memory=982084 CPUtime=3600.35 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 160112 0 0 0 357334 2701 0 0 20 0 1 0 22501851 1283104768 245521 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 313258 245521 1438 291 0 304792 0
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 1253032 KiB
Current children cumulated memory: 982084 KiB

[startup+3613 s]*
/proc/loadavg: 4.11 4.12 4.04 5/242 259050
/proc/meminfo: memFree=113352032/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=1253032 memory=982084 CPUtime=3600.56 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 160112 0 0 0 357355 2701 0 0 20 0 1 0 22501851 1283104768 245521 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 313258 245521 1438 291 0 304792 0
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 1253032 KiB
Current children cumulated memory: 982084 KiB

[startup+3613.11 s]
/proc/loadavg: 4.11 4.12 4.04 5/242 259050
/proc/meminfo: memFree=113352032/131655788 swapFree=131061124/131071996
[pid=256900] ppid=256897 vsize=1253032 memory=982084 CPUtime=3600.66 cores=0,2
/proc/256900/stat : 256900 (pb-oll-rs) R 256897 256900 256766 0 -1 4194304 160112 0 0 0 357365 2701 0 0 20 0 1 0 22501851 1283104768 245521 134679101440 4194304 5384005 140727487374128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9932800 140727487382555 140727487382632 140727487382632 140727487389643 0
/proc/256900/statm: 313258 245521 1438 291 0 304792 0
Current children cumulated CPU time: 3600.66 s
Current children cumulated vsize: 1253032 KiB
Current children cumulated memory: 982084 KiB

Child status: 0

Real time (s): 3613.17
CPU time (s): 3600.73
CPU user time (s): 3573.7
CPU system time (s): 27.0311
CPU usage (%): 99.6555
Max. virtual memory (cumulated for all children) (KiB): 1253032
Max. memory (cumulated for all children) (KiB): 982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.7
system time used= 27.0311
maximum resident set size= 982344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160179
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= 132
involuntary context switches= 24659


# summary of solver processes directly reported to runsolver:
#   pid: 256900
#   total CPU time (s): 3600.73
#   total CPU user time (s): 3573.7
#   total CPU system time (s): 27.0311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8137 second user time and 35.7994 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 01:52:04
IDJOB=4457644
IDBENCH=176641
IDSOLVER=3067
FILE ID=nodeC005/4457644-1721865124
RUNJOBID= nodeC005-1721865124-256776
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/subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457644-1721865124/watcher-4457644-1721865124 -o /tmp/evaluation-result-4457644-1721865124/solver-4457644-1721865124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256776 --watchdog 3760  pb-oll-rs HOME/instance-4457644-1721865124.opb

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

MD5SUM BENCH= a84e76f0e449bb256266dd60911e5184
RANDOM SEED=394841961

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		: 1197.119
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		: 1197.145
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.122
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.109
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		: 1396.629
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		: 1197.110
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.272
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.242
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:        114433300 kB
MemAvailable:   129949236 kB
Buffers:          276900 kB
Cached:         16014572 kB
SwapCached:          620 kB
Active:          2531364 kB
Inactive:       14033580 kB
Active(anon):       1588 kB
Inactive(anon):   325160 kB
Active(file):    2529776 kB
Inactive(file): 13708420 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:              8324 kB
Writeback:             0 kB
AnonPages:        273400 kB
Mapped:           120888 kB
Shmem:             53264 kB
KReclaimable:     235544 kB
Slab:             346524 kB
SReclaimable:     235544 kB
SUnreclaim:       110980 kB
KernelStack:        3852 kB
PageTables:         9884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     619888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11328 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 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:52:18