Trace number 4457658

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-19SAT (TO)-48992 3600.12 3610.72

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.001059
0.00/0.00	c stratification level: 0
0.00/0.02	c bounds - >= -2547957 @ 0.003531
0.00/0.02	c bounds - >= -1320771 @ 0.004829
0.00/0.02	c bounds - >= -732027 @ 0.005969
0.00/0.02	c bounds - >= -474473 @ 0.007041
0.00/0.02	c bounds - >= -339570 @ 0.007939
0.00/0.02	c bounds - >= -276841 @ 0.008689
0.00/0.02	c bounds - >= -245001 @ 0.009343
0.00/0.02	c bounds - >= -228396 @ 0.010015
0.00/0.02	c bounds - >= -219492 @ 0.010635
0.00/0.02	c bounds - >= -215002 @ 0.011176
0.00/0.02	c bounds - >= -212050 @ 0.01171
0.00/0.02	c bounds - >= -209770 @ 0.012227
0.00/0.02	c bounds - >= -208490 @ 0.012753
0.00/0.02	c bounds - >= -207380 @ 0.01327
0.00/0.02	c bounds - >= -206756 @ 0.013698
0.00/0.02	c bounds - >= -206196 @ 0.014213
0.00/0.02	c bounds - >= -205780 @ 0.014241
0.00/0.02	c bounds - >= -205561 @ 0.014241
0.00/0.02	c bounds - >= -205369 @ 0.014241
0.00/0.02	c bounds - >= -205239 @ 0.014363
0.00/0.02	c bounds - >= -205147 @ 0.014628
0.00/0.02	c bounds - >= -205087 @ 0.014855
0.00/0.02	c bounds - >= -205049 @ 0.01509
0.00/0.02	c bounds - >= -205022 @ 0.015334
0.00/0.02	c bounds - >= -205007 @ 0.015588
0.00/0.02	c bounds - >= -205001 @ 0.01584
0.00/0.02	c bounds - >= -205000 @ 0.016104
0.00/0.02	c finalizing WCE round: reformulating cores
73.39/73.64	c #Conflicts:       1000 | #Constraints:       1041
73.39/73.64	c #Conflicts:       2000 | #Constraints:       2043
73.39/73.64	c INPROCESSING
73.39/73.64	c GARBAGE COLLECT
73.39/73.64	c #Conflicts:       3000 | #Constraints:       2022
73.39/73.64	c #Conflicts:       4000 | #Constraints:       3024
73.39/73.64	c INPROCESSING
73.39/73.64	c GARBAGE COLLECT
73.39/73.64	c #Conflicts:       5000 | #Constraints:       2430
73.39/73.64	c #Conflicts:       6000 | #Constraints:       3432
73.39/73.64	c INPROCESSING
73.39/73.64	c GARBAGE COLLECT
73.39/73.64	c #Conflicts:       7000 | #Constraints:       2437
73.39/73.64	c #Conflicts:       8000 | #Constraints:       3439
73.39/73.64	c #Conflicts:       9000 | #Constraints:       4443
73.39/73.64	c INPROCESSING
73.39/73.64	c GARBAGE COLLECT
73.39/73.64	c #Conflicts:      10000 | #Constraints:       3147
73.39/73.64	c #Conflicts:      11000 | #Constraints:       4149
73.39/73.64	c #Conflicts:      12000 | #Constraints:       5151
73.39/73.64	c INPROCESSING
73.39/73.64	c GARBAGE COLLECT
73.39/73.64	c #Conflicts:      13000 | #Constraints:       3604
73.39/73.64	c #Conflicts:      14000 | #Constraints:       4606
73.39/73.64	c #Conflicts:      15000 | #Constraints:       5608
73.39/73.64	c INPROCESSING
73.39/73.64	c GARBAGE COLLECT
73.39/73.64	c #Conflicts:      16000 | #Constraints:       3838
73.39/73.64	c #Conflicts:      17000 | #Constraints:       4840
73.39/73.64	c #Conflicts:      18000 | #Constraints:       5842
73.39/73.64	c INPROCESSING
73.39/73.64	c GARBAGE COLLECT
73.39/73.64	c #Conflicts:      19000 | #Constraints:       3864
73.39/73.64	c #Conflicts:      20000 | #Constraints:       4866
73.39/73.64	c bounds -48992 >= -205000 @ 72.6021
73.39/73.64	c bounds -48992 >= -203094 @ 72.6216
73.39/73.64	c bounds -48992 >= -203016 @ 72.6223
73.39/73.64	c bounds -48992 >= -202949 @ 72.6229
73.39/73.64	c bounds -48992 >= -202933 @ 72.6239
73.39/73.64	c bounds -48992 >= -202922 @ 72.6262
73.39/73.64	c bounds -48992 >= -202913 @ 72.6271
73.39/73.64	c bounds -48992 >= -202904 @ 72.6282
73.39/73.64	c bounds -48992 >= -202898 @ 72.6291
73.39/73.64	c bounds -48992 >= -202897 @ 72.6323
73.39/73.64	c bounds -48992 >= -202896 @ 72.6348
73.39/73.64	c bounds -48992 >= -202895 @ 72.6361
73.39/73.64	c bounds -48992 >= -202893 @ 72.6377
73.39/73.64	c bounds -48992 >= -202892 @ 72.6389
73.39/73.64	c bounds -48992 >= -202891 @ 72.6406
73.39/73.64	c bounds -48992 >= -202886 @ 72.6417
73.39/73.64	c bounds -48992 >= -202883 @ 72.6441
73.39/73.64	c bounds -48992 >= -202882 @ 72.6459
73.39/73.64	c bounds -48992 >= -202880 @ 72.6478
73.39/73.64	c bounds -48992 >= -202879 @ 72.6489
73.39/73.64	c bounds -48992 >= -202825 @ 72.6493
73.39/73.64	c bounds -48992 >= -202776 @ 72.6497
73.39/73.64	c bounds -48992 >= -202711 @ 72.6501
73.39/73.64	c bounds -48992 >= -202646 @ 72.6504
73.39/73.64	c bounds -48992 >= -202581 @ 72.6508
73.39/73.64	c bounds -48992 >= -202516 @ 72.6511
73.39/73.64	c bounds -48992 >= -202464 @ 72.6515
73.39/73.64	c bounds -48992 >= -202412 @ 72.6521
73.39/73.64	c bounds -48992 >= -202360 @ 72.6524
73.39/73.64	c bounds -48992 >= -202308 @ 72.6528
73.39/73.64	c bounds -48992 >= -202267 @ 72.653
73.39/73.64	c bounds -48992 >= -202235 @ 72.654
73.39/73.64	c bounds -48992 >= -202226 @ 72.6546
73.39/73.64	c bounds -48992 >= -202205 @ 72.6552
73.39/73.64	c bounds -48992 >= -202203 @ 72.656
73.39/73.64	c bounds -48992 >= -202198 @ 72.6566
73.39/73.64	c bounds -48992 >= -202197 @ 72.6573
73.39/73.64	c bounds -48992 >= -202195 @ 72.6579
73.39/73.64	c bounds -48992 >= -202190 @ 72.6584
73.39/73.64	c bounds -48992 >= -202189 @ 72.6595
73.39/73.64	c bounds -48992 >= -202177 @ 72.66
73.39/73.64	c bounds -48992 >= -202175 @ 72.6604
73.39/73.64	c bounds -48992 >= -202170 @ 72.6628
73.39/73.64	c bounds -48992 >= -202163 @ 72.6644
73.39/73.64	c bounds -48992 >= -202152 @ 72.6655
73.39/73.64	c bounds -48992 >= -202150 @ 72.6673
73.39/73.64	c bounds -48992 >= -202145 @ 72.668
73.39/73.64	c bounds -48992 >= -202133 @ 72.6692
73.39/73.64	c bounds -48992 >= -202132 @ 72.6699
73.39/73.64	c bounds -48992 >= -202122 @ 72.6706
73.39/73.64	c bounds -48992 >= -201984 @ 72.6734
73.39/73.64	c bounds -48992 >= -201983 @ 72.6748
73.39/73.64	c bounds -48992 >= -201978 @ 72.6763
73.39/73.64	c bounds -48992 >= -201966 @ 72.6767
73.39/73.64	c bounds -48992 >= -201965 @ 72.6773
73.39/73.64	c bounds -48992 >= -201964 @ 72.6777
73.39/73.64	c bounds -48992 >= -201962 @ 72.6786
73.39/73.64	c bounds -48992 >= -201960 @ 72.6792
73.39/73.64	c bounds -48992 >= -201954 @ 72.6798
73.39/73.64	c bounds -48992 >= -201949 @ 72.6815
73.39/73.64	c bounds -48992 >= -201948 @ 72.6819
73.39/73.64	c bounds -48992 >= -201936 @ 72.6826
73.39/73.64	c bounds -48992 >= -199579 @ 72.6843
73.39/73.64	c bounds -48992 >= -199516 @ 72.6845
73.39/73.64	c bounds -48992 >= -198948 @ 72.6848
73.39/73.64	c bounds -48992 >= -198947 @ 72.686
73.39/73.64	c bounds -48992 >= -198946 @ 72.6866
73.39/73.64	c bounds -48992 >= -198944 @ 72.6872
73.39/73.64	c bounds -48992 >= -198932 @ 72.6876
73.39/73.64	c bounds -48992 >= -198928 @ 72.6879
73.39/73.64	c bounds -48992 >= -198926 @ 72.6932
73.39/73.64	c bounds -48992 >= -198892 @ 72.6948
73.39/73.64	c bounds -48992 >= -198827 @ 72.6951
73.39/73.64	c bounds -48992 >= -198826 @ 72.6953
73.39/73.64	c bounds -48992 >= -198821 @ 72.6956
73.39/73.64	c bounds -48992 >= -198819 @ 72.6959
73.39/73.64	c bounds -48992 >= -198807 @ 72.6962
75.09/75.37	c bounds -48992 >= -198755 @ 72.6965
75.09/75.37	c bounds -48992 >= -198703 @ 72.6975
75.09/75.37	c bounds -48992 >= -198695 @ 72.6988
75.09/75.37	c bounds -48992 >= -198691 @ 72.7005
75.09/75.37	c bounds -48992 >= -198648 @ 72.703
75.09/75.37	c bounds -48992 >= -198644 @ 72.7048
75.09/75.37	c bounds -48992 >= -198643 @ 72.7077
75.09/75.37	c bounds -48992 >= -198635 @ 72.7095
75.09/75.37	c bounds -48992 >= -198633 @ 72.7125
75.09/75.37	c bounds -48992 >= -198632 @ 72.7148
75.09/75.37	c bounds -48992 >= -198615 @ 72.7156
75.09/75.37	c bounds -48992 >= -198614 @ 72.7162
75.09/75.37	c bounds -48992 >= -198610 @ 72.7253
75.09/75.37	c bounds -48992 >= -196653 @ 72.7289
75.09/75.37	c bounds -48992 >= -194064 @ 72.7295
75.09/75.37	c bounds -48992 >= -193560 @ 72.73
75.09/75.37	c bounds -48992 >= -193553 @ 72.7377
75.09/75.37	c bounds -48992 >= -191475 @ 72.7383
75.09/75.37	c bounds -48992 >= -191471 @ 72.7531
75.09/75.37	c bounds -48992 >= -191467 @ 72.7602
75.09/75.37	c bounds -48992 >= -191463 @ 72.7621
75.09/75.37	c bounds -48992 >= -191447 @ 72.7645
75.09/75.37	c bounds -48992 >= -191431 @ 72.7653
75.09/75.37	c bounds -48992 >= -191424 @ 72.7665
75.09/75.37	c bounds -48992 >= -190173 @ 72.7711
75.09/75.37	c bounds -48992 >= -190171 @ 72.775
75.09/75.37	c bounds -48992 >= -190169 @ 72.7801
75.09/75.37	c bounds -48992 >= -190167 @ 72.7833
75.09/75.37	c bounds -48992 >= -190161 @ 72.7852
75.09/75.37	c bounds -48992 >= -190159 @ 72.7927
75.09/75.37	c bounds -48992 >= -190153 @ 72.8038
75.09/75.37	c bounds -48992 >= -190149 @ 72.8075
75.09/75.37	c bounds -48992 >= -190148 @ 72.8079
75.09/75.37	c bounds -48992 >= -188886 @ 72.8094
75.09/75.37	c bounds -48992 >= -188885 @ 72.8177
75.09/75.37	c bounds -48992 >= -188884 @ 72.8198
75.09/75.37	c bounds -48992 >= -188883 @ 72.8275
75.09/75.37	c bounds -48992 >= -188882 @ 72.8572
75.09/75.37	c bounds -48992 >= -188878 @ 72.859
75.09/75.37	c bounds -48992 >= -188870 @ 72.8597
75.09/75.37	c bounds -48992 >= -188862 @ 72.8603
75.09/75.37	c bounds -48992 >= -188860 @ 72.861
75.09/75.37	c bounds -48992 >= -188858 @ 72.8616
75.09/75.37	c bounds -48992 >= -188798 @ 72.8623
75.09/75.37	c bounds -48992 >= -188173 @ 72.8666
75.09/75.37	c bounds -48992 >= -188172 @ 72.966
75.09/75.37	c bounds -48992 >= -188165 @ 72.988
75.09/75.37	c bounds -48992 >= -188157 @ 73.0237
75.09/75.37	c bounds -48992 >= -188141 @ 73.0617
75.09/75.37	c bounds -48992 >= -188125 @ 73.1055
75.09/75.37	c bounds -48992 >= -188113 @ 73.1187
75.09/75.37	c bounds -48992 >= -188112 @ 73.1356
75.09/75.37	c bounds -48992 >= -188109 @ 73.1498
75.09/75.37	c bounds -48992 >= -188104 @ 73.1554
75.09/75.37	c bounds -48992 >= -188102 @ 73.1609
75.09/75.37	c bounds -48992 >= -188101 @ 73.1709
75.09/75.37	c bounds -48992 >= -188100 @ 73.1798
75.09/75.37	c bounds -48992 >= -188099 @ 73.2313
75.09/75.37	c bounds -48992 >= -188097 @ 73.2331
75.09/75.37	c bounds -48992 >= -188096 @ 73.2449
75.09/75.37	c bounds -48992 >= -188094 @ 73.2538
75.09/75.37	c bounds -48992 >= -188072 @ 73.2652
75.09/75.37	c bounds -48992 >= -188028 @ 73.2691
75.09/75.37	c bounds -48992 >= -188026 @ 73.2818
75.09/75.37	c bounds -48992 >= -188025 @ 73.2881
75.09/75.37	c bounds -48992 >= -186837 @ 73.2903
75.09/75.37	c bounds -48992 >= -186765 @ 73.3001
75.09/75.37	c bounds -48992 >= -186297 @ 73.3039
75.09/75.37	c bounds -48992 >= -183708 @ 73.3087
75.09/75.37	c bounds -48992 >= -182786 @ 73.3138
75.09/75.37	c bounds -48992 >= -182782 @ 73.4331
75.09/75.37	c bounds -48992 >= -182754 @ 73.4502
75.09/75.37	c bounds -48992 >= -182722 @ 73.461
75.09/75.37	c bounds -48992 >= -182714 @ 73.4899
75.09/75.37	c bounds -48992 >= -182690 @ 73.5074
75.09/75.37	c bounds -48992 >= -182682 @ 73.5151
75.09/75.37	c bounds -48992 >= -182650 @ 73.5262
75.09/75.37	c bounds -48992 >= -180197 @ 73.5347
75.09/75.37	c bounds -48992 >= -177608 @ 73.5498
75.09/75.37	c bounds -48992 >= -177607 @ 73.5686
75.09/75.37	c bounds -48992 >= -177606 @ 73.5767
75.09/75.37	c bounds -48992 >= -177605 @ 73.5857
75.09/75.37	c bounds -48992 >= -177590 @ 73.5938
75.09/75.37	c #Conflicts:      21000 | #Constraints:       6546
75.09/75.37	c bounds -48992 >= -177589 @ 73.6199
75.09/75.37	c bounds -48992 >= -177575 @ 73.6243
75.09/75.37	c bounds -48992 >= -177571 @ 73.6374
75.09/75.37	c bounds -48992 >= -177570 @ 73.6451
75.09/75.37	c bounds -48992 >= -177536 @ 73.6461
75.09/75.37	c bounds -48992 >= -177524 @ 73.6994
75.09/75.37	c bounds -48992 >= -177523 @ 73.7138
75.09/75.37	c bounds -48992 >= -177464 @ 73.7453
75.09/75.37	c bounds -48992 >= -177449 @ 73.7705
75.09/75.37	c bounds -48992 >= -177448 @ 73.7966
75.09/75.37	c bounds -48992 >= -177447 @ 73.9079
75.09/75.37	c bounds -48992 >= -177417 @ 73.9139
75.09/75.37	c bounds -48992 >= -177414 @ 73.9269
75.09/75.37	c bounds -48992 >= -177399 @ 73.9459
75.09/75.37	c bounds -48992 >= -177391 @ 73.9839
75.09/75.37	c bounds -48992 >= -177240 @ 73.9855
75.09/75.37	c bounds -48992 >= -175982 @ 74.0063
75.09/75.37	c bounds -48992 >= -174868 @ 74.0072
75.09/75.37	c bounds -48992 >= -174854 @ 74.0707
75.09/75.37	c bounds -48992 >= -174724 @ 74.0723
75.09/75.37	c bounds -48992 >= -173466 @ 74.0851
75.09/75.37	c bounds -48992 >= -173394 @ 74.0865
75.09/75.37	c bounds -48992 >= -173322 @ 74.0996
75.09/75.37	c bounds -48992 >= -172279 @ 74.1033
75.09/75.37	c bounds -48992 >= -172278 @ 74.1878
75.09/75.37	c bounds -48992 >= -172207 @ 74.2315
75.09/75.37	c bounds -48992 >= -172136 @ 74.3353
80.47/80.71	c bounds -48992 >= -172127 @ 74.3452
80.47/80.71	c bounds -48992 >= -172055 @ 74.3649
80.47/80.71	c bounds -48992 >= -172003 @ 74.3692
80.47/80.71	c bounds -48992 >= -171987 @ 74.3871
80.47/80.71	c bounds -48992 >= -170878 @ 74.4146
80.47/80.71	c bounds -48992 >= -170874 @ 74.4385
80.47/80.71	c bounds -48992 >= -170866 @ 74.4415
80.47/80.71	c bounds -48992 >= -170865 @ 74.4445
80.47/80.71	c bounds -48992 >= -170858 @ 74.4447
80.47/80.71	c bounds -48992 >= -170857 @ 74.4771
80.47/80.71	c bounds -48992 >= -170846 @ 74.4864
80.47/80.71	c bounds -48992 >= -170842 @ 74.4898
80.47/80.71	c bounds -48992 >= -170841 @ 74.5174
80.47/80.71	c bounds -48992 >= -170528 @ 74.546
80.47/80.71	c bounds -48992 >= -169690 @ 74.5618
80.47/80.71	c bounds -48992 >= -169689 @ 74.6031
80.47/80.71	c bounds -48992 >= -169688 @ 74.6203
80.47/80.71	c bounds -48992 >= -169657 @ 74.643
80.47/80.71	c bounds -48992 >= -169618 @ 74.644
80.47/80.71	c bounds -48992 >= -168360 @ 74.6853
80.47/80.71	c bounds -48992 >= -168359 @ 74.701
80.47/80.71	c bounds -48992 >= -168357 @ 74.7014
80.47/80.71	c bounds -48992 >= -168356 @ 74.7155
80.47/80.71	c bounds -48992 >= -168355 @ 74.7415
80.47/80.71	c bounds -48992 >= -168354 @ 74.8239
80.47/80.71	c bounds -48992 >= -168353 @ 74.9542
80.47/80.71	c bounds -48992 >= -168352 @ 75.08
80.47/80.71	c bounds -48992 >= -168350 @ 75.0959
80.47/80.71	c INPROCESSING
80.47/80.71	c GARBAGE COLLECT
80.47/80.71	c bounds -48992 >= -168349 @ 75.2156
80.47/80.71	c bounds -48992 >= -168347 @ 75.225
80.47/80.71	c bounds -48992 >= -168345 @ 75.2267
80.47/80.71	c bounds -48992 >= -168343 @ 75.2314
80.47/80.71	c bounds -48992 >= -168341 @ 75.2328
80.47/80.71	c bounds -48992 >= -168331 @ 75.2367
80.47/80.71	c bounds -48992 >= -168323 @ 75.2395
80.47/80.71	c bounds -48992 >= -168319 @ 75.2416
80.47/80.71	c bounds -48992 >= -168317 @ 75.245
80.47/80.71	c bounds -48992 >= -168316 @ 75.2533
80.47/80.71	c bounds -48992 >= -168315 @ 75.2749
80.47/80.71	c bounds -48992 >= -168311 @ 75.2804
80.47/80.71	c bounds -48992 >= -168310 @ 75.2864
80.47/80.71	c bounds -48992 >= -168307 @ 75.2983
80.47/80.71	c bounds -48992 >= -168306 @ 75.4001
80.47/80.71	c bounds -48992 >= -168305 @ 75.4401
80.47/80.71	c bounds -48992 >= -168304 @ 75.4625
80.47/80.71	c bounds -48992 >= -168291 @ 75.4882
80.47/80.71	c bounds -48992 >= -168275 @ 75.5009
80.47/80.71	c bounds -48992 >= -168263 @ 75.5195
80.47/80.71	c bounds -48992 >= -168247 @ 75.5247
80.47/80.71	c bounds -48992 >= -168241 @ 75.5335
80.47/80.71	c bounds -48992 >= -168041 @ 75.539
80.47/80.71	c bounds -48992 >= -168031 @ 75.5427
80.47/80.71	c bounds -48992 >= -167804 @ 75.5485
80.47/80.71	c #Conflicts:      22000 | #Constraints:       4312
80.47/80.71	c bounds -48992 >= -167803 @ 75.6609
80.47/80.71	c bounds -48992 >= -167802 @ 75.665
80.47/80.71	c bounds -48992 >= -167800 @ 75.6685
80.47/80.71	c bounds -48992 >= -167798 @ 75.6847
80.47/80.71	c bounds -48992 >= -167794 @ 75.7162
80.47/80.71	c bounds -48992 >= -167788 @ 75.725
80.47/80.71	c bounds -48992 >= -167295 @ 75.7617
80.47/80.71	c bounds -48992 >= -167102 @ 75.7761
80.47/80.71	c bounds -48992 >= -167100 @ 75.7963
80.47/80.71	c bounds -48992 >= -166813 @ 75.8196
80.47/80.71	c bounds -48992 >= -166812 @ 75.87
80.47/80.71	c bounds -48992 >= -166786 @ 75.9291
80.47/80.71	c bounds -48992 >= -166771 @ 75.9606
80.47/80.71	c bounds -48992 >= -166616 @ 75.9815
80.47/80.71	c bounds -48992 >= -166458 @ 76.0018
80.47/80.71	c bounds -48992 >= -166426 @ 76.0478
80.47/80.71	c bounds -48992 >= -166277 @ 76.0493
80.47/80.71	c bounds -48992 >= -166145 @ 76.1223
80.47/80.71	c bounds -48992 >= -166065 @ 76.1796
80.47/80.71	c bounds -48992 >= -165985 @ 76.2197
80.47/80.71	c bounds -48992 >= -165905 @ 76.2694
80.47/80.71	c bounds -48992 >= -165897 @ 76.3535
80.47/80.71	c bounds -48992 >= -165895 @ 76.357
80.47/80.71	c bounds -48992 >= -165888 @ 76.4478
80.47/80.71	c bounds -48992 >= -165885 @ 76.4922
80.47/80.71	c bounds -48992 >= -165881 @ 76.5863
80.47/80.71	c bounds -48992 >= -165871 @ 76.5966
80.47/80.71	c bounds -48992 >= -165864 @ 76.6024
80.47/80.71	c bounds -48992 >= -165861 @ 76.6232
80.47/80.71	c bounds -48992 >= -165860 @ 76.8386
80.47/80.71	c bounds -48992 >= -165858 @ 76.8685
80.47/80.71	c bounds -48992 >= -165848 @ 76.927
80.47/80.71	c bounds -48992 >= -165845 @ 77.0369
80.47/80.71	c bounds -48992 >= -165838 @ 77.0486
80.47/80.71	c #Conflicts:      23000 | #Constraints:       5446
80.47/80.71	c bounds -48992 >= -165837 @ 77.49
80.47/80.71	c bounds -48992 >= -165818 @ 77.5467
80.47/80.71	c bounds -48992 >= -165807 @ 77.6198
80.47/80.71	c bounds -48992 >= -165597 @ 77.6249
80.47/80.71	c bounds -48992 >= -165596 @ 77.6628
80.47/80.71	c bounds -48992 >= -165343 @ 77.6779
80.47/80.71	c bounds -48992 >= -165070 @ 77.6898
80.47/80.71	c bounds -48992 >= -164757 @ 77.7539
80.47/80.71	c bounds -48992 >= -164610 @ 77.8095
80.47/80.71	c bounds -48992 >= -164490 @ 77.8189
80.47/80.71	c bounds -48992 >= -164444 @ 78.1879
80.47/80.71	c bounds -48992 >= -164436 @ 78.8713
80.47/80.71	c bounds -48992 >= -164393 @ 78.9002
80.47/80.71	c bounds -48992 >= -164364 @ 78.9971
80.47/80.71	c #Conflicts:      24000 | #Constraints:       6500
80.47/80.71	c bounds -48992 >= -164339 @ 79.0216
80.47/80.71	c bounds -48992 >= -164215 @ 79.0566
80.47/80.71	c bounds -48992 >= -164214 @ 79.1695
80.47/80.71	c bounds -48992 >= -164194 @ 79.2168
80.47/80.71	c bounds -48992 >= -164173 @ 79.2892
94.04/94.35	c bounds -48992 >= -164132 @ 79.3833
94.04/94.35	c bounds -48992 >= -164131 @ 79.7513
94.04/94.35	c bounds -48992 >= -164059 @ 79.7792
94.04/94.35	c bounds -48992 >= -164027 @ 79.7809
94.04/94.35	c bounds -48992 >= -163978 @ 79.7823
94.04/94.35	c bounds -48992 >= -163771 @ 79.8027
94.04/94.35	c bounds -48992 >= -163458 @ 79.8272
94.04/94.35	c bounds -48992 >= -163262 @ 79.8401
94.04/94.35	c bounds -48992 >= -163145 @ 79.9296
94.04/94.35	c bounds -48992 >= -162896 @ 79.9754
94.04/94.35	c bounds -48992 >= -162753 @ 80.0225
94.04/94.35	c bounds -48992 >= -162732 @ 80.0666
94.04/94.35	c bounds -48992 >= -162244 @ 80.0753
94.04/94.35	c bounds -48992 >= -161735 @ 80.0822
94.04/94.35	c bounds -48992 >= -161638 @ 80.0884
94.04/94.35	c bounds -48992 >= -161295 @ 80.116
94.04/94.35	c bounds -48992 >= -161229 @ 80.2062
94.04/94.35	c bounds -48992 >= -161227 @ 80.2247
94.04/94.35	c bounds -48992 >= -161226 @ 80.463
94.04/94.35	c bounds -48992 >= -161225 @ 80.5038
94.04/94.35	c bounds -48992 >= -161220 @ 80.5184
94.04/94.35	c bounds -48992 >= -161206 @ 80.5272
94.04/94.35	c bounds -48992 >= -161205 @ 80.6439
94.04/94.35	c bounds -48992 >= -161204 @ 81.1018
94.04/94.35	c bounds -48992 >= -161056 @ 81.1398
94.04/94.35	c bounds -48992 >= -161055 @ 81.6602
94.04/94.35	c bounds -48992 >= -161053 @ 81.7733
94.04/94.35	c #Conflicts:      25000 | #Constraints:       7624
94.04/94.35	c bounds -48992 >= -161052 @ 82.316
94.04/94.35	c INPROCESSING
94.04/94.35	c GARBAGE COLLECT
94.04/94.35	c bounds -48992 >= -161045 @ 82.7012
94.04/94.35	c bounds -48992 >= -161037 @ 82.7468
94.04/94.35	c bounds -48992 >= -161036 @ 82.7837
94.04/94.35	c bounds -48992 >= -160968 @ 82.8051
94.04/94.35	c bounds -48992 >= -160819 @ 82.8634
94.04/94.35	c bounds -48992 >= -160726 @ 82.8894
94.04/94.35	c bounds -48992 >= -160723 @ 82.9135
94.04/94.35	c bounds -48992 >= -160705 @ 83.1828
94.04/94.35	c bounds -48992 >= -160670 @ 83.1882
94.04/94.35	c bounds -48992 >= -160521 @ 83.2027
94.04/94.35	c bounds -48992 >= -160459 @ 83.4024
94.04/94.35	c bounds -48992 >= -160413 @ 83.4064
94.04/94.35	c bounds -48992 >= -160410 @ 83.4675
94.04/94.35	c bounds -48992 >= -160407 @ 83.4925
94.04/94.35	c bounds -48992 >= -160404 @ 83.51
94.04/94.35	c #Conflicts:      26000 | #Constraints:       5025
94.04/94.35	c bounds -48992 >= -160379 @ 83.5323
94.04/94.35	c bounds -48992 >= -160378 @ 83.6011
94.04/94.35	c bounds -48992 >= -160377 @ 83.6246
94.04/94.35	c bounds -48992 >= -160376 @ 83.9139
94.04/94.35	c bounds -48992 >= -160366 @ 83.9599
94.04/94.35	c bounds -48992 >= -160363 @ 84.0564
94.04/94.35	c bounds -48992 >= -160361 @ 84.0708
94.04/94.35	c bounds -48992 >= -160353 @ 84.1379
94.04/94.35	c bounds -48992 >= -160348 @ 84.3272
94.04/94.35	c bounds -48992 >= -160340 @ 84.3549
94.04/94.35	c bounds -48992 >= -160307 @ 84.4042
94.04/94.35	c bounds -48992 >= -160223 @ 84.415
94.04/94.35	c bounds -48992 >= -160218 @ 84.6016
94.04/94.35	c bounds -48992 >= -160213 @ 84.6039
94.04/94.35	c #Conflicts:      27000 | #Constraints:       6081
94.04/94.35	c bounds -48992 >= -159876 @ 84.7733
94.04/94.35	c bounds -48992 >= -159875 @ 85.0102
94.04/94.35	c bounds -48992 >= -159873 @ 85.1518
94.04/94.35	c bounds -48992 >= -159864 @ 85.2205
94.04/94.35	c bounds -48992 >= -159804 @ 85.2278
94.04/94.35	c bounds -48992 >= -159563 @ 85.2519
94.04/94.35	c bounds -48992 >= -159367 @ 85.2599
94.04/94.35	c bounds -48992 >= -159362 @ 85.4638
94.04/94.35	c bounds -48992 >= -159346 @ 85.4901
94.04/94.35	c bounds -48992 >= -159341 @ 85.5064
94.04/94.35	c bounds -48992 >= -159336 @ 85.5211
94.04/94.35	c bounds -48992 >= -159326 @ 85.5358
94.04/94.35	c bounds -48992 >= -159315 @ 85.6684
94.04/94.35	c bounds -48992 >= -159007 @ 85.686
94.04/94.35	c bounds -48992 >= -158965 @ 85.6946
94.04/94.35	c bounds -48992 >= -158885 @ 85.7913
94.04/94.35	c bounds -48992 >= -158875 @ 85.9815
94.04/94.35	c #Conflicts:      28000 | #Constraints:       7152
94.04/94.35	c bounds -48992 >= -158858 @ 86.4287
94.04/94.35	c bounds -48992 >= -158857 @ 86.4595
94.04/94.35	c bounds -48992 >= -158856 @ 86.8967
94.04/94.35	c bounds -48992 >= -158855 @ 87.6833
94.04/94.35	c bounds -48992 >= -158847 @ 88.525
94.04/94.35	c bounds -48992 >= -158814 @ 88.6832
94.04/94.35	c #Conflicts:      29000 | #Constraints:       8176
94.04/94.35	c INPROCESSING
94.04/94.35	c GARBAGE COLLECT
94.04/94.35	c bounds -48992 >= -158744 @ 88.9855
94.04/94.35	c bounds -48992 >= -158693 @ 89.0006
94.04/94.35	c bounds -48992 >= -158645 @ 89.0128
94.04/94.35	c bounds -48992 >= -158348 @ 89.184
94.04/94.35	c bounds -48992 >= -158347 @ 89.3654
94.04/94.35	c bounds -48992 >= -158338 @ 89.4088
94.04/94.35	c bounds -48992 >= -158336 @ 89.4261
94.04/94.35	c bounds -48992 >= -158328 @ 89.4574
94.04/94.35	c bounds -48992 >= -158307 @ 89.4866
94.04/94.35	c bounds -48992 >= -158305 @ 89.5692
94.04/94.35	c bounds -48992 >= -158302 @ 89.5943
94.04/94.35	c bounds -48992 >= -158301 @ 89.6642
94.04/94.35	c bounds -48992 >= -158298 @ 89.753
94.04/94.35	c bounds -48992 >= -158297 @ 89.8103
94.04/94.35	c bounds -48992 >= -158222 @ 89.9156
94.04/94.35	c #Conflicts:      30000 | #Constraints:       5497
94.04/94.35	c bounds -48992 >= -158219 @ 90.2173
94.04/94.35	c bounds -48992 >= -158078 @ 90.5681
94.04/94.35	c bounds -48992 >= -158043 @ 90.8579
94.04/94.35	c bounds -48992 >= -157998 @ 90.9766
94.04/94.35	c #Conflicts:      31000 | #Constraints:       6513
133.23/133.63	c bounds -48992 >= -157992 @ 91.3766
133.23/133.63	c bounds -48992 >= -157951 @ 91.7344
133.23/133.63	c #Conflicts:      32000 | #Constraints:       7521
133.23/133.63	c bounds -48992 >= -157888 @ 92.0627
133.23/133.63	c bounds -48992 >= -157796 @ 92.4004
133.23/133.63	c bounds -48992 >= -157795 @ 93.3651
133.23/133.63	c #Conflicts:      33000 | #Constraints:       8533
133.23/133.63	c INPROCESSING
133.23/133.63	c GARBAGE COLLECT
133.23/133.63	c #Conflicts:      34000 | #Constraints:       5579
133.23/133.63	c bounds -48992 >= -157791 @ 94.5451
133.23/133.63	c bounds -48992 >= -157788 @ 94.7757
133.23/133.63	c bounds -48992 >= -157775 @ 94.7863
133.23/133.63	c bounds -48992 >= -157770 @ 94.79
133.23/133.63	c bounds -48992 >= -157755 @ 94.7933
133.23/133.63	c #Conflicts:      35000 | #Constraints:       6599
133.23/133.63	c bounds -48992 >= -157739 @ 95.4437
133.23/133.63	c bounds -48992 >= -157716 @ 95.4835
133.23/133.63	c bounds -48992 >= -157697 @ 95.5072
133.23/133.63	c bounds -48992 >= -157656 @ 95.5539
133.23/133.63	c bounds -48992 >= -157617 @ 95.5957
133.23/133.63	c bounds -48992 >= -157537 @ 95.5975
133.23/133.63	c bounds -48992 >= -157483 @ 95.5998
133.23/133.63	c bounds -48992 >= -157430 @ 95.9585
133.23/133.63	c bounds -48992 >= -157429 @ 96.3023
133.23/133.63	c bounds -48992 >= -157409 @ 96.4439
133.23/133.63	c bounds -48992 >= -157399 @ 96.499
133.23/133.63	c bounds -48992 >= -157398 @ 96.6421
133.23/133.63	c bounds -48992 >= -157379 @ 96.6918
133.23/133.63	c bounds -48992 >= -157338 @ 96.6942
133.23/133.63	c bounds -48992 >= -157287 @ 96.7021
133.23/133.63	c bounds -48992 >= -157281 @ 96.706
133.23/133.63	c #Conflicts:      36000 | #Constraints:       7663
133.23/133.63	c bounds -48992 >= -157271 @ 97.6224
133.23/133.63	c bounds -48992 >= -157268 @ 97.6269
133.23/133.63	c bounds -48992 >= -157188 @ 97.6628
133.23/133.63	c bounds -48992 >= -157132 @ 97.6716
133.23/133.63	c bounds -48992 >= -157117 @ 98.0775
133.23/133.63	c #Conflicts:      37000 | #Constraints:       8683
133.23/133.63	c bounds -48992 >= -157091 @ 98.2702
133.23/133.63	c bounds -48992 >= -156983 @ 98.5445
133.23/133.63	c bounds -48992 >= -156804 @ 98.5922
133.23/133.63	c bounds -48992 >= -156803 @ 99.0971
133.23/133.63	c #Conflicts:      38000 | #Constraints:       9699
133.23/133.63	c bounds -48992 >= -156778 @ 99.4832
133.23/133.63	c bounds -48992 >= -156775 @ 100.643
133.23/133.63	c bounds -48992 >= -156773 @ 100.702
133.23/133.63	c bounds -48992 >= -156761 @ 101.662
133.23/133.63	c bounds -48992 >= -156757 @ 101.678
133.23/133.63	c bounds -48992 >= -156752 @ 101.695
133.23/133.63	c bounds -48992 >= -156737 @ 102.003
133.23/133.63	c #Conflicts:      39000 | #Constraints:      10727
133.23/133.63	c bounds -48992 >= -156732 @ 102.747
133.23/133.63	c bounds -48992 >= -156694 @ 102.768
133.23/133.63	c bounds -48992 >= -156614 @ 103.704
133.23/133.63	c bounds -48992 >= -156573 @ 104.604
133.23/133.63	c bounds -48992 >= -156534 @ 104.628
133.23/133.63	c #Conflicts:      40000 | #Constraints:      11747
133.23/133.63	c bounds -48992 >= -156533 @ 105.73
133.23/133.63	c bounds -48992 >= -156493 @ 105.979
133.23/133.63	c bounds -48992 >= -156489 @ 106.641
133.23/133.63	c #Conflicts:      41000 | #Constraints:      12762
133.23/133.63	c bounds -48992 >= -156439 @ 107.863
133.23/133.63	c bounds -48992 >= -156398 @ 107.879
133.23/133.63	c bounds -48992 >= -156269 @ 107.9
133.23/133.63	c bounds -48992 >= -156268 @ 108.279
133.23/133.63	c bounds -48992 >= -156249 @ 108.935
133.23/133.63	c bounds -48992 >= -156248 @ 109.073
133.23/133.63	c bounds -48992 >= -156245 @ 109.571
133.23/133.63	c bounds -48992 >= -156240 @ 109.731
133.23/133.63	c bounds -48992 >= -156235 @ 110.065
133.23/133.63	c bounds -48992 >= -156234 @ 110.066
133.23/133.63	c bounds -48992 >= -156219 @ 110.07
133.23/133.63	c bounds -48992 >= -156208 @ 110.087
133.23/133.63	c #Conflicts:      42000 | #Constraints:      13816
133.23/133.63	c bounds -48992 >= -156185 @ 110.992
133.23/133.63	c bounds -48992 >= -156176 @ 110.996
133.23/133.63	c #Conflicts:      43000 | #Constraints:      14824
133.23/133.63	c bounds -48992 >= -156099 @ 111.428
133.23/133.63	c bounds -48992 >= -155999 @ 111.451
133.23/133.63	c bounds -48992 >= -155863 @ 111.918
133.23/133.63	c bounds -48992 >= -155860 @ 112.279
133.23/133.63	c bounds -48992 >= -155842 @ 112.296
133.23/133.63	c bounds -48992 >= -155760 @ 112.593
133.23/133.63	c #Conflicts:      44000 | #Constraints:      15846
133.23/133.63	c bounds -48992 >= -155759 @ 113.12
133.23/133.63	c bounds -48992 >= -155758 @ 113.61
133.23/133.63	c bounds -48992 >= -155757 @ 113.685
133.23/133.63	c #Conflicts:      45000 | #Constraints:      16864
133.23/133.63	c bounds -48992 >= -155756 @ 123.176
133.23/133.63	c bounds -48992 >= -155755 @ 126.509
133.23/133.63	c bounds -48992 >= -155752 @ 126.527
133.23/133.63	c bounds -48992 >= -155747 @ 126.644
133.23/133.63	c bounds -48992 >= -155738 @ 126.719
133.23/133.63	c bounds -48992 >= -155693 @ 126.746
133.23/133.63	c bounds -48992 >= -155678 @ 126.827
133.23/133.63	c bounds -48992 >= -155672 @ 126.843
133.23/133.63	c bounds -48992 >= -155641 @ 126.88
133.23/133.63	c bounds -48992 >= -155592 @ 126.966
133.23/133.63	c bounds -48992 >= -155591 @ 127.052
133.23/133.63	c bounds -48992 >= -155586 @ 127.092
133.23/133.63	c bounds -48992 >= -155581 @ 127.1
133.23/133.63	c bounds -48992 >= -155576 @ 127.168
133.23/133.63	c bounds -48992 >= -155547 @ 127.259
133.23/133.63	c bounds -48992 >= -155537 @ 127.537
133.23/133.63	c bounds -48992 >= -155526 @ 127.596
627.98/629.84	c bounds -48992 >= -155513 @ 127.728
627.98/629.84	c bounds -48992 >= -155507 @ 127.812
627.98/629.84	c bounds -48992 >= -155500 @ 127.877
627.98/629.84	c bounds -48992 >= -155499 @ 127.98
627.98/629.84	c bounds -48992 >= -155497 @ 128.093
627.98/629.84	c bounds -48992 >= -155456 @ 128.213
627.98/629.84	c bounds -48992 >= -155427 @ 128.297
627.98/629.84	c bounds -48992 >= -155426 @ 128.332
627.98/629.84	c bounds -48992 >= -155364 @ 128.343
627.98/629.84	c bounds -48992 >= -155343 @ 128.478
627.98/629.84	c bounds -48992 >= -155285 @ 128.496
627.98/629.84	c bounds -48992 >= -155251 @ 128.53
627.98/629.84	c #Conflicts:      46000 | #Constraints:      17983
627.98/629.84	c #Conflicts:      47000 | #Constraints:      18983
627.98/629.84	c #Conflicts:      48000 | #Constraints:      19983
627.98/629.84	c INPROCESSING
627.98/629.84	c GARBAGE COLLECT
627.98/629.84	c #Conflicts:      49000 | #Constraints:      11323
627.98/629.84	c bounds -48992 >= -155250 @ 162.75
627.98/629.84	c #Conflicts:      50000 | #Constraints:      12327
627.98/629.84	c #Conflicts:      51000 | #Constraints:      13327
627.98/629.84	c #Conflicts:      52000 | #Constraints:      14327
627.98/629.84	c bounds -48992 >= -155248 @ 214.061
627.98/629.84	c bounds -48992 >= -155246 @ 218.079
627.98/629.84	c bounds -48992 >= -155234 @ 223.659
627.98/629.84	c #Conflicts:      53000 | #Constraints:      15339
627.98/629.84	c INPROCESSING
627.98/629.84	c GARBAGE COLLECT
627.98/629.84	c #Conflicts:      54000 | #Constraints:       8895
627.98/629.84	c #Conflicts:      55000 | #Constraints:       9895
627.98/629.84	c #Conflicts:      56000 | #Constraints:      10895
627.98/629.84	c bounds -48992 >= -155231 @ 262.728
627.98/629.84	c #Conflicts:      57000 | #Constraints:      11899
627.98/629.84	c #Conflicts:      58000 | #Constraints:      12899
627.98/629.84	c INPROCESSING
627.98/629.84	c GARBAGE COLLECT
627.98/629.84	c #Conflicts:      59000 | #Constraints:       7421
627.98/629.84	c bounds -48992 >= -155229 @ 313.286
627.98/629.84	c bounds -48992 >= -155218 @ 313.783
627.98/629.84	c bounds -48992 >= -155215 @ 317.608
627.98/629.84	c #Conflicts:      60000 | #Constraints:       8439
627.98/629.84	c bounds -48992 >= -155214 @ 324.944
627.98/629.84	c bounds -48992 >= -155212 @ 324.97
627.98/629.84	c bounds -48992 >= -155209 @ 325.102
627.98/629.84	c bounds -48992 >= -155208 @ 325.112
627.98/629.84	c bounds -48992 >= -155207 @ 325.419
627.98/629.84	c bounds -48992 >= -155206 @ 325.882
627.98/629.84	c bounds -48992 >= -155203 @ 326.143
627.98/629.84	c bounds -48992 >= -155198 @ 326.156
627.98/629.84	c bounds -48992 >= -155197 @ 326.287
627.98/629.84	c bounds -48992 >= -155181 @ 327.477
627.98/629.84	c #Conflicts:      61000 | #Constraints:       9482
627.98/629.84	c #Conflicts:      62000 | #Constraints:      10482
627.98/629.84	c bounds -48992 >= -155180 @ 353.252
627.98/629.84	c #Conflicts:      63000 | #Constraints:      11489
627.98/629.84	c #Conflicts:      64000 | #Constraints:      12489
627.98/629.84	c bounds -48992 >= -155178 @ 370.341
627.98/629.84	c bounds -48992 >= -155175 @ 371.586
627.98/629.84	c bounds -48992 >= -155174 @ 371.699
627.98/629.84	c INPROCESSING
627.98/629.84	c GARBAGE COLLECT
627.98/629.84	c #Conflicts:      65000 | #Constraints:       7388
627.98/629.84	c bounds -48992 >= -155172 @ 379.764
627.98/629.84	c #Conflicts:      66000 | #Constraints:       8392
627.98/629.84	c bounds -48992 >= -155171 @ 393.425
627.98/629.84	c bounds -48992 >= -155169 @ 393.623
627.98/629.84	c bounds -48992 >= -155162 @ 393.871
627.98/629.84	c #Conflicts:      67000 | #Constraints:       9404
627.98/629.84	c bounds -48992 >= -155159 @ 396.49
627.98/629.84	c #Conflicts:      68000 | #Constraints:      10408
627.98/629.84	c bounds -48992 >= -155158 @ 413.912
627.98/629.84	c #Conflicts:      69000 | #Constraints:      11412
627.98/629.84	c #Conflicts:      70000 | #Constraints:      12412
627.98/629.84	c INPROCESSING
627.98/629.84	c GARBAGE COLLECT
627.98/629.84	c #Conflicts:      71000 | #Constraints:       7382
627.98/629.84	c bounds -48992 >= -155155 @ 446.17
627.98/629.84	c #Conflicts:      72000 | #Constraints:       8386
627.98/629.84	c bounds -48992 >= -155152 @ 470.151
627.98/629.84	c bounds -48992 >= -155150 @ 470.28
627.98/629.84	c #Conflicts:      73000 | #Constraints:       9394
627.98/629.84	c bounds -48992 >= -155148 @ 472.962
627.98/629.84	c bounds -48992 >= -155134 @ 486.336
627.98/629.84	c #Conflicts:      74000 | #Constraints:      10402
627.98/629.84	c bounds -48992 >= -155133 @ 489.823
627.98/629.84	c #Conflicts:      75000 | #Constraints:      11406
627.98/629.84	c #Conflicts:      76000 | #Constraints:      12406
627.98/629.84	c bounds -48992 >= -155130 @ 527.49
627.98/629.84	c #Conflicts:      77000 | #Constraints:      13410
627.98/629.84	c bounds -48992 >= -155129 @ 551.962
627.98/629.84	c bounds -48992 >= -155125 @ 552.039
627.98/629.84	c #Conflicts:      78000 | #Constraints:      14418
627.98/629.84	c bounds -48992 >= -155121 @ 569.401
627.98/629.84	c #Conflicts:      79000 | #Constraints:      15422
627.98/629.84	c bounds -48992 >= -155119 @ 595.046
627.98/629.84	c bounds -48992 >= -155113 @ 595.453
627.98/629.84	c bounds -48992 >= -155092 @ 595.899
627.98/629.84	c bounds -48992 >= -155089 @ 604.198
627.98/629.84	c bounds -48992 >= -155079 @ 604.269
627.98/629.84	c bounds -48992 >= -155066 @ 612.746
627.98/629.84	c #Conflicts:      80000 | #Constraints:      16446
627.98/629.84	c bounds -48992 >= -155065 @ 614.513
627.98/629.84	c bounds -48992 >= -155058 @ 614.944
2175.21/2181.55	c bounds -48992 >= -155048 @ 614.994
2175.21/2181.55	c bounds -48992 >= -155038 @ 615.011
2175.21/2181.55	c bounds -48992 >= -154999 @ 615.03
2175.21/2181.55	c #Conflicts:      81000 | #Constraints:      17466
2175.21/2181.55	c #Conflicts:      82000 | #Constraints:      18466
2175.21/2181.55	c #Conflicts:      83000 | #Constraints:      19466
2175.21/2181.55	c #Conflicts:      84000 | #Constraints:      20466
2175.21/2181.55	c bounds -48992 >= -154998 @ 717.796
2175.21/2181.55	c bounds -48992 >= -154997 @ 735.052
2175.21/2181.55	c #Conflicts:      85000 | #Constraints:      21480
2175.21/2181.55	c bounds -48992 >= -154993 @ 752.062
2175.21/2181.55	c bounds -48992 >= -154992 @ 753.597
2175.21/2181.55	c #Conflicts:      86000 | #Constraints:      22488
2175.21/2181.55	c #Conflicts:      87000 | #Constraints:      23488
2175.21/2181.55	c bounds -48992 >= -154991 @ 815.514
2175.21/2181.55	c #Conflicts:      88000 | #Constraints:      24495
2175.21/2181.55	c bounds -48992 >= -154990 @ 842.401
2175.21/2181.55	c bounds -48992 >= -154989 @ 847.554
2175.21/2181.55	c bounds -48992 >= -154988 @ 853.114
2175.21/2181.55	c bounds -48992 >= -154987 @ 854.441
2175.21/2181.55	c bounds -48992 >= -154983 @ 854.538
2175.21/2181.55	c bounds -48992 >= -154982 @ 855.249
2175.21/2181.55	c bounds -48992 >= -154981 @ 855.493
2175.21/2181.55	c bounds -48992 >= -154979 @ 855.548
2175.21/2181.55	c bounds -48992 >= -154978 @ 855.658
2175.21/2181.55	c bounds -48992 >= -154977 @ 856.265
2175.21/2181.55	c #Conflicts:      89000 | #Constraints:      25541
2175.21/2181.55	c bounds -48992 >= -154976 @ 903.081
2175.21/2181.55	c bounds -48992 >= -154975 @ 903.91
2175.21/2181.55	c bounds -48992 >= -154974 @ 904.124
2175.21/2181.55	c bounds -48992 >= -154969 @ 904.338
2175.21/2181.55	c bounds -48992 >= -154968 @ 904.55
2175.21/2181.55	c bounds -48992 >= -154956 @ 904.738
2175.21/2181.55	c #Conflicts:      90000 | #Constraints:      26568
2175.21/2181.55	c bounds -48992 >= -154953 @ 911.476
2175.21/2181.55	c bounds -48992 >= -154951 @ 911.543
2175.21/2181.55	c bounds -48992 >= -154948 @ 916.124
2175.21/2181.55	c bounds -48992 >= -154921 @ 927.446
2175.21/2181.55	c bounds -48992 >= -154918 @ 940.192
2175.21/2181.55	c #Conflicts:      91000 | #Constraints:      27588
2175.21/2181.55	c INPROCESSING
2175.21/2181.55	c GARBAGE COLLECT
2175.21/2181.55	c #Conflicts:      92000 | #Constraints:      14805
2175.21/2181.55	c bounds -48992 >= -154917 @ 992.986
2175.21/2181.55	c #Conflicts:      93000 | #Constraints:      15809
2175.21/2181.55	c #Conflicts:      94000 | #Constraints:      16809
2175.21/2181.55	c #Conflicts:      95000 | #Constraints:      17809
2175.21/2181.55	c #Conflicts:      96000 | #Constraints:      18809
2175.21/2181.55	c bounds -48992 >= -154916 @ 1087.49
2175.21/2181.55	c bounds -48992 >= -154880 @ 1098.15
2175.21/2181.55	c bounds -48992 >= -154839 @ 1098.31
2175.21/2181.55	c bounds -48992 >= -154838 @ 1098.33
2175.21/2181.55	c #Conflicts:      97000 | #Constraints:      19825
2175.21/2181.55	c #Conflicts:      98000 | #Constraints:      20825
2175.21/2181.55	c #Conflicts:      99000 | #Constraints:      21825
2175.21/2181.55	c bounds -48992 >= -154836 @ 1254.58
2175.21/2181.55	c #Conflicts:     100000 | #Constraints:      22829
2175.21/2181.55	c #Conflicts:     101000 | #Constraints:      23829
2175.21/2181.55	c #Conflicts:     102000 | #Constraints:      24829
2175.21/2181.55	c #Conflicts:     103000 | #Constraints:      25829
2175.21/2181.55	c bounds -48992 >= -154834 @ 1433.77
2175.21/2181.55	c #Conflicts:     104000 | #Constraints:      26834
2175.21/2181.55	c bounds -48992 >= -154833 @ 1517.6
2175.21/2181.55	c #Conflicts:     105000 | #Constraints:      27841
2175.21/2181.55	c #Conflicts:     106000 | #Constraints:      28841
2175.21/2181.55	c bounds -48992 >= -154832 @ 1662.83
2175.21/2181.55	c bounds -48992 >= -154830 @ 1665.01
2175.21/2181.55	c #Conflicts:     107000 | #Constraints:      29849
2175.21/2181.55	c bounds -48992 >= -154827 @ 1726.28
2175.21/2181.55	c bounds -48992 >= -154824 @ 1737.72
2175.21/2181.55	c bounds -48992 >= -154823 @ 1752.32
2175.21/2181.55	c #Conflicts:     108000 | #Constraints:      30865
2175.21/2181.55	c bounds -48992 >= -154798 @ 1772.43
2175.21/2181.55	c bounds -48992 >= -154768 @ 1772.52
2175.21/2181.55	c bounds -48992 >= -154742 @ 1779.44
2175.21/2181.55	c bounds -48992 >= -154721 @ 1786.24
2175.21/2181.55	c bounds -48992 >= -154710 @ 1786.28
2175.21/2181.55	c bounds -48992 >= -154703 @ 1786.41
2175.21/2181.55	c bounds -48992 >= -154623 @ 1786.54
2175.21/2181.55	c bounds -48992 >= -154619 @ 1786.71
2175.21/2181.55	c bounds -48992 >= -154608 @ 1801.78
2175.21/2181.55	c bounds -48992 >= -154578 @ 1804.04
2175.21/2181.55	c #Conflicts:     109000 | #Constraints:      31905
2175.21/2181.55	c bounds -48992 >= -154577 @ 1856.74
2175.21/2181.55	c #Conflicts:     110000 | #Constraints:      32909
2175.21/2181.55	c bounds -48992 >= -154575 @ 1908.3
2175.21/2181.55	c bounds -48992 >= -154572 @ 1911.22
2175.21/2181.55	c bounds -48992 >= -154568 @ 1911.94
2175.21/2181.55	c #Conflicts:     111000 | #Constraints:      33921
2175.21/2181.55	c #Conflicts:     112000 | #Constraints:      34921
2175.21/2181.55	c bounds -48992 >= -154565 @ 2041.17
2175.21/2181.55	c #Conflicts:     113000 | #Constraints:      35925
2175.21/2181.55	c bounds -48992 >= -154563 @ 2060.12
2175.21/2181.55	c bounds -48992 >= -154562 @ 2060.62
2175.21/2181.55	c bounds -48992 >= -154559 @ 2122.49
2175.21/2181.55	c #Conflicts:     114000 | #Constraints:      36937
2175.21/2181.55	c bounds -48992 >= -154558 @ 2143.97
2175.21/2181.55	c bounds -48992 >= -154557 @ 2154.31
3600.09/3610.70	c #Conflicts:     115000 | #Constraints:      37945
3600.09/3610.70	c bounds -48992 >= -154556 @ 2202.66
3600.09/3610.70	c bounds -48992 >= -154552 @ 2204.04
3600.09/3610.70	c bounds -48992 >= -154550 @ 2208.63
3600.09/3610.70	c INPROCESSING
3600.09/3610.70	c GARBAGE COLLECT
3600.09/3610.70	c bounds -48992 >= -154548 @ 2215.24
3600.09/3610.70	c #Conflicts:     116000 | #Constraints:      20293
3600.09/3610.70	c #Conflicts:     117000 | #Constraints:      21293
3600.09/3610.70	c #Conflicts:     118000 | #Constraints:      22293
3600.09/3610.70	c #Conflicts:     119000 | #Constraints:      23293
3600.09/3610.70	c #Conflicts:     120000 | #Constraints:      24293
3600.09/3610.70	c bounds -48992 >= -154547 @ 2449.65
3600.09/3610.70	c bounds -48992 >= -154546 @ 2456.55
3600.09/3610.70	c bounds -48992 >= -154545 @ 2457.49
3600.09/3610.70	c #Conflicts:     121000 | #Constraints:      25305
3600.09/3610.70	c bounds -48992 >= -154544 @ 2490.33
3600.09/3610.70	c bounds -48992 >= -154543 @ 2493.28
3600.09/3610.70	c bounds -48992 >= -154538 @ 2499.57
3600.09/3610.70	c #Conflicts:     122000 | #Constraints:      26320
3600.09/3610.70	c bounds -48992 >= -154537 @ 2531.76
3600.09/3610.70	c bounds -48992 >= -154536 @ 2532.29
3600.09/3610.70	c bounds -48992 >= -154532 @ 2533.12
3600.09/3610.70	c bounds -48992 >= -154528 @ 2540.13
3600.09/3610.70	c bounds -48992 >= -154527 @ 2542.11
3600.09/3610.70	c bounds -48992 >= -154518 @ 2545.07
3600.09/3610.70	c bounds -48992 >= -154515 @ 2545.92
3600.09/3610.70	c bounds -48992 >= -154508 @ 2554.58
3600.09/3610.70	c bounds -48992 >= -154498 @ 2561.54
3600.09/3610.70	c bounds -48992 >= -154494 @ 2561.59
3600.09/3610.70	c #Conflicts:     123000 | #Constraints:      27363
3600.09/3610.70	c bounds -48992 >= -154488 @ 2583.16
3600.09/3610.70	c bounds -48992 >= -154487 @ 2605.39
3600.09/3610.70	c bounds -48992 >= -154483 @ 2606.32
3600.09/3610.70	c bounds -48992 >= -154478 @ 2606.46
3600.09/3610.70	c bounds -48992 >= -154473 @ 2606.74
3600.09/3610.70	c #Conflicts:     124000 | #Constraints:      28383
3600.09/3610.70	c bounds -48992 >= -154470 @ 2634.11
3600.09/3610.70	c #Conflicts:     125000 | #Constraints:      29387
3600.09/3610.70	c #Conflicts:     126000 | #Constraints:      30387
3600.09/3610.70	c bounds -48992 >= -154467 @ 2714.26
3600.09/3610.70	c bounds -48992 >= -154463 @ 2714.45
3600.09/3610.70	c bounds -48992 >= -154452 @ 2714.59
3600.09/3610.70	c bounds -48992 >= -154411 @ 2714.99
3600.09/3610.70	c bounds -48992 >= -154383 @ 2715.12
3600.09/3610.70	c bounds -48992 >= -154370 @ 2716.29
3600.09/3610.70	c bounds -48992 >= -154329 @ 2716.54
3600.09/3610.70	c bounds -48992 >= -154321 @ 2717.4
3600.09/3610.70	c #Conflicts:     127000 | #Constraints:      31419
3600.09/3610.70	c #Conflicts:     128000 | #Constraints:      32419
3600.09/3610.70	c bounds -48992 >= -154310 @ 2813.75
3600.09/3610.70	c #Conflicts:     129000 | #Constraints:      33423
3600.09/3610.70	c #Conflicts:     130000 | #Constraints:      34423
3600.09/3610.70	c #Conflicts:     131000 | #Constraints:      35423
3600.09/3610.70	c #Conflicts:     132000 | #Constraints:      36423
3600.09/3610.70	c #Conflicts:     133000 | #Constraints:      37423
3600.09/3610.70	c #Conflicts:     134000 | #Constraints:      38423
3600.09/3610.70	c bounds -48992 >= -154309 @ 3096.1
3600.09/3610.70	c bounds -48992 >= -154303 @ 3102.67
3600.09/3610.70	c #Conflicts:     135000 | #Constraints:      39431
3600.09/3610.70	c #Conflicts:     136000 | #Constraints:      40431
3600.09/3610.70	c #Conflicts:     137000 | #Constraints:      41431
3600.09/3610.70	c #Conflicts:     138000 | #Constraints:      42431
3600.09/3610.70	c #Conflicts:     139000 | #Constraints:      43431
3600.09/3610.70	c #Conflicts:     140000 | #Constraints:      44431
3600.09/3610.70	c INPROCESSING
3600.09/3610.70	c GARBAGE COLLECT
3600.09/3610.70	c #Conflicts:     141000 | #Constraints:      23336
3600.09/3610.70	c #Conflicts:     142000 | #Constraints:      24336
3600.09/3610.70	c Program interrupted by user.
3600.09/3610.70	c cpu time 3573.1 s
3600.09/3610.70	c deterministic time 349133733827 3.49e+11
3600.09/3610.70	c optimization time 177.579 s
3600.09/3610.70	c total solve time 3395.52 s
3600.09/3610.70	c core-guided solve time 3395.52 s
3600.09/3610.70	c propagation time 3380.72 s
3600.09/3610.70	c conflict analysis time 159.855 s
3600.09/3610.70	c propagations 98797242
3600.09/3610.70	c resolve steps 373949
3600.09/3610.70	c decisions 26880466
3600.09/3610.70	c conflicts 142842
3600.09/3610.70	c restarts 381
3600.09/3610.70	c inprocessing phases 19
3600.09/3610.70	c input clauses 661
3600.09/3610.70	c input cardinalities 680
3600.09/3610.70	c input general constraints 1320
3600.09/3610.70	c input average constraint length 435.89
3600.09/3610.70	c input average constraint degree 1228564.19
3600.09/3610.70	c learned clauses 5279
3600.09/3610.70	c learned cardinalities 5
3600.09/3610.70	c learned general constraints 137676
3600.09/3610.70	c learned average constraint length 946.20
3600.09/3610.70	c learned average constraint degree 1667903558.55
3600.09/3610.70	c watched constraints 14102
3600.09/3610.70	c counting constraints 124894
3600.09/3610.70	c gcd simplifications 1685
3600.09/3610.70	c detected cardinalities 0
3600.09/3610.70	c weakened non-implied lits 2507746
3600.09/3610.70	c weakened non-implying lits 10116
3600.09/3610.70	c original variables 1000
3600.09/3610.70	c clausal propagations 13280111
3600.09/3610.70	c cardinality propagations 5655757
3600.09/3610.70	c watched propagations 2604991
3600.09/3610.70	c counting propagations 76646857
3600.09/3610.70	c watch lookups 63576517284
3600.09/3610.70	c watch backjump lookups 63538819035
3600.09/3610.70	c watch checks 5080295503
3600.09/3610.70	c propagation checks 216205256579
3600.09/3610.70	c constraint additions 481347875
3600.09/3610.70	c trail pops 125819842
3600.09/3610.70	c formula constraints 1
3600.09/3610.70	c learned constraints 142960
3600.09/3610.70	c bound constraints 669
3600.09/3610.70	c core-guided constraints 1991
3600.09/3610.70	c encountered formula constraints 40115
3600.09/3610.70	c encountered learned constraints 325797
3600.09/3610.70	c encountered bound constraints 32282
3600.09/3610.70	c encountered core-guided constraints 118597
3600.09/3610.70	c LP total time 0 s
3600.09/3610.70	c LP solve time 0 s
3600.09/3610.70	c LP constraints added 0
3600.09/3610.70	c LP constraints removed 0
3600.09/3610.70	c LP pivots internal 0
3600.09/3610.70	c LP pivots root 0
3600.09/3610.70	c LP calls 0
3600.09/3610.70	c LP optimalities 0
3600.09/3610.70	c LP no pivot count 0
3600.09/3610.70	c LP infeasibilities 0
3600.09/3610.70	c LP valid Farkas constraints 0
3600.09/3610.70	c LP learned Farkas constraints 0
3600.09/3610.70	c LP basis resets 0
3600.09/3610.70	c LP cycling count 0
3600.09/3610.70	c LP singular count 0
3600.09/3610.70	c LP no primal count 0
3600.09/3610.70	c LP no farkas count 0
3600.09/3610.70	c LP other issue count 0
3600.09/3610.70	c LP Gomory cuts 0
3600.09/3610.70	c LP learned cuts 0
3600.09/3610.70	c LP deleted cuts 0
3600.09/3610.70	c LP encountered Gomory constraints 0
3600.09/3610.70	c LP encountered Farkas constraints 0
3600.09/3610.70	c LP encountered learned Farkas constraints 0
3600.09/3610.70	c CG auxiliary variables introduced 688
3600.09/3610.70	c CG solutions found 1
3600.09/3610.70	c CG cores constructed 665
3600.09/3610.70	c CG core cardinality constraints returned 26
3600.09/3610.70	c CG unit cores 0
3600.09/3610.70	c CG single cores 629
3600.09/3610.70	c CG blocks removed during cardinality reduction 8268
3600.09/3610.70	c CG first core best 0
3600.09/3610.70	c CG decision core best 0
3600.09/3610.70	c CG core reduction tie 36
3600.09/3610.70	c CG core degree average 10.40
3600.09/3610.70	c CG core slack average 6.54
3600.09/3610.70	c CG exhausted 0
3600.09/3610.70	c CG exhaust time 72.5306 s
3600.09/3610.70	c CG trimmed 45
3600.09/3610.70	c CG trim time 0.774565 s
3600.09/3610.70	c CG minimized 0
3600.09/3610.70	c CG minimize time 0 s
3600.09/3610.70	c CG am1 prop time 0.015366 s
3600.09/3610.70	c CG # am1s reformulated 23
3600.09/3610.70	c CG lower bound derived from am1s 695
3600.09/3610.70	c CG # clausal cores 580
3600.09/3610.70	c CG # cardinality cores 0
3600.09/3610.70	c CG # pb cores 121
3600.09/3610.70	c CG # pb reforms 0
3600.09/3610.70	c CG # cores discarded because of pb reform 0
3600.09/3610.70	d LOWERBOUND -154303
3600.09/3610.70	d NCORES 665
3600.09/3610.70	d NPBCORES 121
3600.09/3610.70	d NPBREFORM 0
3600.09/3610.70	d NTRIMMED 45
3600.09/3610.70	d NEXHAUSTED 0
3600.09/3610.70	d NAM1S 23
3600.09/3610.70	d AM1LB 695
3600.09/3610.70	o -48992
3600.09/3610.70	s SATISFIABLE
3600.09/3610.70	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: 63931 MiB (61524 MiB free)
  memory of node 1: 64510 MiB (62112 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=218075, runsolver pid=218072

[startup+0.100736 s]*
/proc/loadavg: 3.43 3.96 4.04 5/259 218091
/proc/meminfo: memFree=126585720/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=41360 memory=10948 CPUtime=0.1 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 1037 0 0 0 9 1 0 0 20 0 1 0 24121718 42352640 2737 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 10340 2737 1376 291 0 1874 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 10948 KiB

[startup+0.205259 s]*
/proc/loadavg: 3.43 3.96 4.04 5/259 218091
/proc/meminfo: memFree=126578804/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=41868 memory=11456 CPUtime=0.2 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 1160 0 0 0 18 2 0 0 20 0 1 0 24121718 42872832 2864 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 10467 2864 1376 291 0 2001 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41868 KiB
Current children cumulated memory: 11456 KiB

[startup+0.305122 s]*
/proc/loadavg: 3.43 3.96 4.04 5/259 218091
/proc/meminfo: memFree=126567072/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=43972 memory=14644 CPUtime=0.3 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 1938 0 0 0 28 2 0 0 20 0 1 0 24121718 45027328 3661 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 10993 3661 1376 291 0 2527 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43972 KiB
Current children cumulated memory: 14644 KiB

[startup+0.70017 s]
/proc/loadavg: 3.43 3.96 4.04 5/259 218091
/proc/meminfo: memFree=126552168/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=50448 memory=20728 CPUtime=0.69 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 3513 0 0 0 66 3 0 0 20 0 1 0 24121718 51658752 5182 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 12612 5182 1376 291 0 4146 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50448 KiB
Current children cumulated memory: 20728 KiB

[startup+1.50022 s]
/proc/loadavg: 3.43 3.96 4.04 5/259 218091
/proc/meminfo: memFree=126505800/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=56672 memory=27284 CPUtime=1.48 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 4614 0 0 0 144 4 0 0 20 0 1 0 24121718 58032128 6821 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 14168 6821 1376 291 0 5702 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56672 KiB
Current children cumulated memory: 27284 KiB

[startup+3.10581 s]
/proc/loadavg: 3.47 3.96 4.04 5/259 218093
/proc/meminfo: memFree=126409612/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=72036 memory=40872 CPUtime=3.09 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 7001 0 0 0 301 8 0 0 20 0 1 0 24121718 73764864 10218 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 18009 10218 1376 291 0 9543 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 72036 KiB
Current children cumulated memory: 40872 KiB

[startup+6.30022 s]
/proc/loadavg: 3.47 3.96 4.04 5/259 218093
/proc/meminfo: memFree=126310100/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=98360 memory=59244 CPUtime=6.27 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 10017 0 0 0 614 13 0 0 20 0 1 0 24121718 100720640 14811 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 24590 14811 1439 291 0 16124 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 98360 KiB
Current children cumulated memory: 59244 KiB

[startup+12.7002 s]
/proc/loadavg: 3.55 3.96 4.04 5/259 218095
/proc/meminfo: memFree=126208388/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=102360 memory=70436 CPUtime=12.65 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 11809 0 0 0 1246 19 0 0 20 0 1 0 24121718 104816640 17609 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 25590 17609 1439 291 0 17124 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 102360 KiB
Current children cumulated memory: 70436 KiB

[startup+25.5002 s]
/proc/loadavg: 3.70 3.98 4.05 5/259 218096
/proc/meminfo: memFree=126040536/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=121328 memory=76856 CPUtime=25.43 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 12392 0 0 0 2509 34 0 0 20 0 1 0 24121718 124239872 19214 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 30332 19214 1439 291 0 21866 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 121328 KiB
Current children cumulated memory: 76856 KiB

[startup+51.1057 s]
/proc/loadavg: 3.80 3.98 4.04 5/259 218099
/proc/meminfo: memFree=125834832/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=145048 memory=100280 CPUtime=50.96 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 16198 0 0 0 5040 56 0 0 20 0 1 0 24121718 148529152 25070 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 36262 25070 1439 291 0 27796 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 145048 KiB
Current children cumulated memory: 100280 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.02 4.05 5/259 218109
/proc/meminfo: memFree=125587164/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=207068 memory=158896 CPUtime=102.01 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 29882 0 0 0 9815 386 0 0 20 0 1 0 24121718 212037632 39724 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 51767 39724 1439 291 0 43301 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 207068 KiB
Current children cumulated memory: 158896 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.03 4.05 5/259 218122
/proc/meminfo: memFree=125308316/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=355784 memory=266396 CPUtime=161.85 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 46043 0 0 0 15561 624 0 0 20 0 1 0 24121718 364322816 66599 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 88946 66599 1439 291 0 80480 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 355784 KiB
Current children cumulated memory: 266396 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.05 4.06 5/261 218516
/proc/meminfo: memFree=125211444/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=360776 memory=270540 CPUtime=221.68 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 47136 0 0 0 21456 712 0 0 20 0 1 0 24121718 369434624 67635 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 90194 67635 1439 291 0 81728 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 360776 KiB
Current children cumulated memory: 270540 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.07 4.06 5/257 218526
/proc/meminfo: memFree=125117688/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=364132 memory=276272 CPUtime=281.5 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 48039 0 0 0 27337 813 0 0 20 0 1 0 24121718 372871168 69068 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 91033 69068 1439 291 0 82567 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 364132 KiB
Current children cumulated memory: 276272 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.09 4.07 5/256 218537
/proc/meminfo: memFree=125057448/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=366488 memory=277716 CPUtime=341.32 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 48455 0 0 0 33223 909 0 0 20 0 1 0 24121718 375283712 69429 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 91622 69429 1439 291 0 83156 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 366488 KiB
Current children cumulated memory: 277716 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.10 4.07 5/258 218717
/proc/meminfo: memFree=125052444/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=368500 memory=279072 CPUtime=401.15 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 48826 0 0 0 39078 1037 0 0 20 0 1 0 24121718 377344000 69768 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 92125 69768 1439 291 0 83659 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 368500 KiB
Current children cumulated memory: 279072 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/259 218728
/proc/meminfo: memFree=125017616/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=368500 memory=279072 CPUtime=460.98 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 48858 0 0 0 44966 1132 0 0 20 0 1 0 24121718 377344000 69768 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 92125 69768 1439 291 0 83659 0

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

Current children cumulated memory: 895104 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.15 4.17 5/258 219815
/proc/meminfo: memFree=123646456/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=986880 memory=895608 CPUtime=2913.7 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 153255 0 0 0 288976 2394 0 0 20 0 1 0 24121718 1010565120 223902 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 246720 223902 1439 291 0 238254 0
Current children cumulated CPU time: 2913.7 s
Current children cumulated vsize: 986880 KiB
Current children cumulated memory: 895608 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/258 219828
/proc/meminfo: memFree=123638484/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=987660 memory=895996 CPUtime=2973.52 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 153770 0 0 0 294929 2423 0 0 20 0 1 0 24121718 1011363840 223999 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 246915 223999 1439 291 0 238449 0
Current children cumulated CPU time: 2973.52 s
Current children cumulated vsize: 987660 KiB
Current children cumulated memory: 895996 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/258 219838
/proc/meminfo: memFree=123637272/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=988068 memory=896512 CPUtime=3033.35 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 154278 0 0 0 300878 2457 0 0 20 0 1 0 24121718 1011781632 224128 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 247017 224128 1439 291 0 238551 0
Current children cumulated CPU time: 3033.35 s
Current children cumulated vsize: 988068 KiB
Current children cumulated memory: 896512 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/257 219848
/proc/meminfo: memFree=123633844/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=988688 memory=899344 CPUtime=3093.17 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 154893 0 0 0 306831 2486 0 0 20 0 1 0 24121718 1012416512 224836 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 247172 224836 1439 291 0 238706 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 988688 KiB
Current children cumulated memory: 899344 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/257 219859
/proc/meminfo: memFree=123605340/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=990428 memory=912216 CPUtime=3152.99 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 155974 0 0 0 312795 2504 0 0 20 0 1 0 24121718 1014198272 228054 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 247607 228054 1439 291 0 239141 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 990428 KiB
Current children cumulated memory: 912216 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/257 219869
/proc/meminfo: memFree=123590124/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=1209264 memory=925448 CPUtime=3212.81 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 158499 0 0 0 318756 2525 0 0 20 0 1 0 24121718 1238286336 231362 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 302316 231362 1439 291 0 293850 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 1209264 KiB
Current children cumulated memory: 925448 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/254 219880
/proc/meminfo: memFree=123567064/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=1226620 memory=942600 CPUtime=3272.64 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 162511 0 0 0 324721 2543 0 0 20 0 1 0 24121718 1256058880 235650 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 306655 235650 1439 291 0 298189 0
Current children cumulated CPU time: 3272.64 s
Current children cumulated vsize: 1226620 KiB
Current children cumulated memory: 942600 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.15 4.16 5/254 219890
/proc/meminfo: memFree=123554060/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=1236456 memory=952540 CPUtime=3332.46 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 165401 0 0 0 330680 2566 0 0 20 0 1 0 24121718 1266130944 238135 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 309114 238135 1439 291 0 300648 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 1236456 KiB
Current children cumulated memory: 952540 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/254 219900
/proc/meminfo: memFree=123540672/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=1240132 memory=960716 CPUtime=3392.28 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 166968 0 0 0 336636 2592 0 0 20 0 1 0 24121718 1269895168 240179 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 310033 240179 1439 291 0 301567 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 1240132 KiB
Current children cumulated memory: 960716 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/255 219913
/proc/meminfo: memFree=123522908/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=1251224 memory=976064 CPUtime=3452.11 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 169935 0 0 0 342595 2616 0 0 20 0 1 0 24121718 1281253376 244016 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 312806 244016 1439 291 0 304340 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 1251224 KiB
Current children cumulated memory: 976064 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/257 219928
/proc/meminfo: memFree=123382912/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=1253032 memory=981820 CPUtime=3511.93 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 171024 0 0 0 348545 2648 0 0 20 0 1 0 24121718 1283104768 245455 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 313258 245455 1439 291 0 304792 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 1253032 KiB
Current children cumulated memory: 981820 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.16 4.16 5/257 219939
/proc/meminfo: memFree=123284880/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=1253032 memory=981820 CPUtime=3571.77 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 172176 0 0 0 354491 2686 0 0 20 0 1 0 24121718 1283104768 245455 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 313258 245455 1439 291 0 304792 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 1253032 KiB
Current children cumulated memory: 981820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.16 4.15 4.16 4/255 219943
/proc/meminfo: memFree=124278344/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=1253032 memory=981820 CPUtime=3600.09 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 172301 0 0 0 357309 2700 0 0 20 0 1 0 24121718 1283104768 245455 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 313258 245455 1439 291 0 304792 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1253032 KiB
Current children cumulated memory: 981820 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.1 s, system=27.0256 s

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

[startup+3610.7 s]
/proc/loadavg: 4.16 4.15 4.16 4/255 219943
/proc/meminfo: memFree=124278344/131524600 swapFree=131056028/131071996
[pid=218075] ppid=218072 vsize=1253032 memory=981820 CPUtime=3600.09 cores=1,3
/proc/218075/stat : 218075 (pb-oll-rs) R 218072 218075 217925 0 -1 4194304 172301 0 0 0 357309 2700 0 0 20 0 1 0 24121718 1283104768 245455 134679101440 4194304 5384485 140726846807024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 13070336 140726846809111 140726846809188 140726846809188 140726846816203 0
/proc/218075/statm: 313258 245455 1439 291 0 304792 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1253032 KiB
Current children cumulated memory: 981820 KiB

Child status: 0

Real time (s): 3610.72
CPU time (s): 3600.12
CPU user time (s): 3573.1
CPU system time (s): 27.0256
CPU usage (%): 99.7064
Max. virtual memory (cumulated for all children) (KiB): 1253032
Max. memory (cumulated for all children) (KiB): 981820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.1
system time used= 27.0256
maximum resident set size= 981864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172315
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= 145
involuntary context switches= 3873


# summary of solver processes directly reported to runsolver:
#   pid: 218075
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3573.1
#   total CPU system time (s): 27.0256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67266 second user time and 16.6141 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-25 04:52:12
IDJOB=4457658
IDBENCH=176641
IDSOLVER=3082
FILE ID=nodeC016/4457658-1721875932
RUNJOBID= nodeC016-1721875931-217937
SLURM_JOB_ID= 8089230
Free space on /tmp= 890080 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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-4457658-1721875932/watcher-4457658-1721875932 -o /tmp/evaluation-result-4457658-1721875932/solver-4457658-1721875932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217937 --watchdog 3760  pb-oll-rs HOME/instance-4457658-1721875932.opb

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

MD5SUM BENCH= a84e76f0e449bb256266dd60911e5184
RANDOM SEED=1704549633

nodeC016.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	: 0xb00002a
cpu MHz		: 3672.578
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3649.003
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3620.928
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3656.216
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3651.020
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.668
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3606.092
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3611.683
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126605164 kB
MemAvailable:   129575992 kB
Buffers:          287236 kB
Cached:          3365116 kB
SwapCached:          284 kB
Active:          2323708 kB
Inactive:        1701484 kB
Active(anon):       2408 kB
Inactive(anon):   422508 kB
Active(file):    2321300 kB
Inactive(file):  1278976 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              6820 kB
Writeback:            24 kB
AnonPages:        372088 kB
Mapped:           106292 kB
Shmem:             52400 kB
KReclaimable:     420396 kB
Slab:             541196 kB
SReclaimable:     420396 kB
SUnreclaim:       120800 kB
KernelStack:        4192 kB
PageTables:        10340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     809684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-25 05:52:23