Trace number 4457775

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)-103417 3600.04 3612.31

DiagnosticValue
AM1LB1900
LOWERBOUND-865634
NAM1S4
NCORES48
NEXHAUSTED314
NPBCORES38
NPBREFORM45
NTRIMMED33

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_2000_1000_1_-110625.opb
MD5SUM4e250cdab7b4044f2b74367cd304c22b
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-110625
Best CPU time to get the best result obtained on this benchmark0.045906
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
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 constraint2000
Maximum length of a constraint2000
Number of terms in the objective function 2000
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 977737
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 10011
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1021141
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 2000 #constraints 1
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -977737 @ 0.004962
0.00/0.01	c stratification level: 999
0.00/0.01	c bounds -2999 >= -977737 @ 0.008631
0.00/0.01	c stratification level: 998
0.00/0.02	c bounds -4995 >= -977737 @ 0.011647
0.00/0.02	c stratification level: 997
0.00/0.03	c bounds -7986 >= -977737 @ 0.015937
0.00/0.03	c stratification level: 996
0.00/0.03	c bounds -8982 >= -977737 @ 0.019555
0.00/0.03	c stratification level: 995
0.00/0.04	c bounds -9977 >= -977737 @ 0.021516
0.00/0.04	c stratification level: 994
0.00/0.05	c bounds -10971 >= -977737 @ 0.02301
0.00/0.05	c stratification level: 993
0.00/0.05	c bounds -11964 >= -977737 @ 0.02542
0.00/0.05	c stratification level: 992
0.00/0.06	c bounds -13948 >= -977737 @ 0.027418
0.00/0.06	c stratification level: 989
0.00/0.06	c bounds -14937 >= -977737 @ 0.030921
0.00/0.06	c stratification level: 987
0.00/0.07	c bounds -15924 >= -977737 @ 0.035195
0.00/0.07	c stratification level: 986
0.00/0.08	c bounds -16910 >= -977737 @ 0.036917
0.00/0.08	c stratification level: 984
0.00/0.08	c bounds -18878 >= -977737 @ 0.038342
0.00/0.08	c stratification level: 983
0.00/0.09	c bounds -19861 >= -977737 @ 0.041196
0.00/0.09	c stratification level: 982
0.00/0.10	c bounds -20843 >= -977737 @ 0.043741
0.00/0.10	c stratification level: 981
0.00/0.11	c bounds -20843 >= -975775 @ 0.045027
0.00/0.11	c finalizing WCE round: reformulating cores
0.00/0.11	c bounds -21824 >= -975775 @ 0.049956
0.00/0.11	c bounds -22473 >= -975775 @ 0.051074
0.00/0.11	c stratification level: 980
0.10/0.11	c bounds -22916 >= -975775 @ 0.05773
0.10/0.11	c stratification level: 979
0.10/0.12	c bounds -23858 >= -975775 @ 0.059292
0.10/0.12	c stratification level: 978
0.10/0.12	c bounds -24239 >= -975775 @ 0.067107
0.10/0.12	c stratification level: 977
0.10/0.13	c bounds -25198 >= -975775 @ 0.068581
0.10/0.13	c stratification level: 976
0.10/0.13	c bounds -27137 >= -975775 @ 0.070036
0.10/0.13	c stratification level: 973
0.10/0.13	c bounds -28070 >= -975775 @ 0.07103
0.10/0.13	c stratification level: 972
0.10/0.16	c bounds -28070 >= -974803 @ 0.072122
0.10/0.16	c finalizing WCE round: reformulating cores
0.10/0.18	c bounds -30239 >= -974803 @ 0.100973
0.10/0.18	c bounds -30323 >= -974803 @ 0.106415
0.10/0.18	c stratification level: 971
0.10/0.18	c bounds -32265 >= -974803 @ 0.108872
0.10/0.18	c stratification level: 970
0.10/0.19	c bounds -33229 >= -974803 @ 0.110641
0.10/0.19	c stratification level: 969
0.21/0.24	c bounds -33235 >= -974803 @ 0.156656
0.21/0.24	c stratification level: 968
0.21/0.25	c bounds -35159 >= -974803 @ 0.160163
0.21/0.25	c stratification level: 967
0.21/0.26	c bounds -35239 >= -974803 @ 0.160611
0.21/0.26	c stratification level: 965
0.21/0.26	c bounds -35353 >= -974803 @ 0.162596
0.21/0.26	c stratification level: 964
0.21/0.27	c bounds -35562 >= -974803 @ 0.166126
0.21/0.27	c stratification level: 963
0.21/0.28	c bounds -35608 >= -974803 @ 0.172539
0.21/0.28	c stratification level: 962
0.21/0.28	c bounds -35720 >= -974803 @ 0.173725
0.21/0.28	c stratification level: 961
0.21/0.29	c bounds -38603 >= -974803 @ 0.175488
0.21/0.29	c stratification level: 960
0.21/0.29	c bounds -39563 >= -974803 @ 0.178512
0.21/0.29	c stratification level: 959
0.31/0.33	c bounds -39563 >= -973844 @ 0.180221
0.31/0.33	c finalizing WCE round: reformulating cores
0.31/0.40	c bounds -39737 >= -973844 @ 0.239568
0.31/0.40	c bounds -39788 >= -973844 @ 0.25489
0.31/0.40	c stratification level: 958
0.31/0.41	c bounds -39794 >= -973844 @ 0.261184
0.31/0.41	c stratification level: 957
0.41/0.42	c bounds -39840 >= -973844 @ 0.263982
0.41/0.42	c stratification level: 956
0.41/0.42	c bounds -39845 >= -973844 @ 0.265882
0.41/0.42	c stratification level: 954
0.41/0.42	c bounds -40789 >= -973844 @ 0.268802
0.41/0.42	c stratification level: 953
0.41/0.43	c bounds -40877 >= -973844 @ 0.270051
0.41/0.43	c stratification level: 952
0.41/0.44	c bounds -40877 >= -972892 @ 0.2717
0.41/0.44	c finalizing WCE round: reformulating cores
0.41/0.46	c bounds -40988 >= -972892 @ 0.290593
0.41/0.46	c bounds -40992 >= -972892 @ 0.294915
0.41/0.46	c stratification level: 951
0.41/0.47	c bounds -41534 >= -972892 @ 0.296621
0.41/0.47	c stratification level: 950
0.41/0.47	c bounds -41551 >= -972892 @ 0.297274
0.41/0.47	c stratification level: 949
0.41/0.48	c bounds -42500 >= -972892 @ 0.29871
0.41/0.48	c stratification level: 948
0.41/0.48	c bounds -42591 >= -972892 @ 0.301031
0.41/0.48	c stratification level: 947
0.41/0.50	c bounds -42657 >= -972892 @ 0.313639
0.41/0.50	c stratification level: 945
0.41/0.50	c bounds -42751 >= -972892 @ 0.314999
0.41/0.50	c stratification level: 944
0.41/0.50	c bounds -42865 >= -972892 @ 0.316475
0.41/0.50	c stratification level: 943
0.41/0.51	c bounds -42865 >= -971006 @ 0.31773
0.41/0.51	c finalizing WCE round: reformulating cores
0.51/0.58	c bounds -43705 >= -971006 @ 0.352986
0.51/0.58	c bounds -43716 >= -971006 @ 0.382858
0.51/0.58	c stratification level: 942
0.59/0.63	c bounds -43878 >= -971006 @ 0.426562
0.59/0.63	c stratification level: 941
0.59/0.63	c bounds -43885 >= -971006 @ 0.428411
0.59/0.63	c stratification level: 939
0.59/0.64	c bounds -44812 >= -971006 @ 0.429707
0.59/0.64	c stratification level: 938
0.59/0.64	c bounds -44937 >= -971006 @ 0.431396
0.59/0.64	c stratification level: 937
0.59/0.64	c bounds -45863 >= -971006 @ 0.431699
0.59/0.64	c stratification level: 935
0.69/0.76	c bounds -45925 >= -971006 @ 0.534463
0.69/0.76	c stratification level: 934
0.69/0.76	c bounds -45925 >= -969138 @ 0.536135
0.69/0.76	c finalizing WCE round: reformulating cores
0.89/0.95	c bounds -45934 >= -969138 @ 0.544588
0.89/0.95	c bounds -45934 >= -969138 @ 0.552805
0.89/0.95	c bounds -45934 >= -969138 @ 0.564827
0.89/0.95	c bounds -45934 >= -969138 @ 0.680763
0.89/0.95	c bounds -45939 >= -969134 @ 0.716615
0.89/0.95	c bounds -46885 >= -969134 @ 0.717524
0.89/0.95	c stratification level: 933
0.89/0.97	c bounds -46899 >= -969134 @ 0.73722
0.89/0.97	c stratification level: 932
0.89/1.01	c bounds -46972 >= -969134 @ 0.764476
0.89/1.01	c stratification level: 931
0.99/1.02	c bounds -46982 >= -969134 @ 0.773256
0.99/1.02	c stratification level: 930
0.99/1.02	c bounds -47900 >= -969134 @ 0.77537
0.99/1.02	c stratification level: 929
0.99/1.03	c bounds -48000 >= -969134 @ 0.783966
0.99/1.03	c stratification level: 924
0.99/1.03	c bounds -48924 >= -969134 @ 0.786607
0.99/1.03	c stratification level: 923
0.99/1.04	c bounds -49123 >= -969134 @ 0.789626
0.99/1.04	c stratification level: 922
0.99/1.04	c bounds -50951 >= -969134 @ 0.79107
0.99/1.04	c stratification level: 920
0.99/1.04	c bounds -51232 >= -969134 @ 0.792868
0.99/1.04	c stratification level: 919
0.99/1.06	c bounds -51232 >= -968215 @ 0.796141
0.99/1.06	c finalizing WCE round: reformulating cores
0.99/1.07	c bounds -51849 >= -968215 @ 0.802055
0.99/1.07	c bounds -51859 >= -968215 @ 0.808146
0.99/1.07	c stratification level: 917
0.99/1.10	c bounds -51903 >= -968215 @ 0.832246
0.99/1.10	c stratification level: 916
0.99/1.10	c bounds -51936 >= -968215 @ 0.836765
0.99/1.10	c stratification level: 914
0.99/1.10	c bounds -52000 >= -968215 @ 0.838327
0.99/1.10	c stratification level: 913
1.09/1.11	c bounds -52015 >= -968215 @ 0.845878
1.09/1.11	c stratification level: 912
1.09/1.15	c bounds -52038 >= -968215 @ 0.882144
1.09/1.15	c stratification level: 911
1.09/1.15	c bounds -52104 >= -968215 @ 0.884168
1.09/1.15	c stratification level: 910
1.18/1.20	c bounds -52104 >= -967305 @ 0.885212
1.18/1.20	c finalizing WCE round: reformulating cores
1.18/1.24	c bounds -52183 >= -967305 @ 0.952494
1.18/1.24	c bounds -52221 >= -967305 @ 0.956252
1.18/1.24	c stratification level: 908
1.18/1.24	c bounds -52294 >= -967305 @ 0.95807
1.18/1.24	c stratification level: 907
1.18/1.25	c bounds -53201 >= -967305 @ 0.959701
1.18/1.25	c stratification level: 906
1.18/1.25	c bounds -54900 >= -967305 @ 0.961271
1.18/1.25	c stratification level: 905
1.18/1.26	c bounds -54904 >= -967305 @ 0.972817
1.18/1.26	c stratification level: 904
1.18/1.27	c bounds -56828 >= -967305 @ 0.976632
1.18/1.27	c stratification level: 903
1.18/1.27	c bounds -56903 >= -967305 @ 0.978973
1.18/1.27	c stratification level: 902
1.18/1.28	c bounds -56907 >= -967305 @ 0.983603
1.18/1.28	c stratification level: 900
1.18/1.28	c bounds -56907 >= -966405 @ 0.984536
1.18/1.28	c finalizing WCE round: reformulating cores
1.28/1.31	c bounds -59231 >= -966405 @ 1.01474
1.28/1.31	c bounds -62849 >= -966405 @ 1.017
1.28/1.31	c stratification level: 899
1.28/1.32	c bounds -62858 >= -966405 @ 1.02243
1.28/1.32	c stratification level: 898
1.28/1.36	c bounds -62862 >= -966405 @ 1.06158
1.28/1.36	c stratification level: 897
1.28/1.37	c bounds -63747 >= -966405 @ 1.06296
1.28/1.37	c stratification level: 896
1.28/1.37	c bounds -65523 >= -966405 @ 1.06417
1.28/1.37	c stratification level: 895
1.28/1.38	c bounds -65908 >= -966405 @ 1.07634
1.28/1.38	c stratification level: 893
1.38/1.44	c bounds -65934 >= -966405 @ 1.12494
1.38/1.44	c stratification level: 892
1.38/1.44	c bounds -65934 >= -965513 @ 1.12667
1.38/1.44	c finalizing WCE round: reformulating cores
1.48/1.55	c bounds -66087 >= -965513 @ 1.21869
1.48/1.55	c bounds -66208 >= -965513 @ 1.22128
1.48/1.55	c stratification level: 889
1.48/1.58	c bounds -66383 >= -965513 @ 1.25568
1.48/1.58	c stratification level: 888
1.48/1.59	c bounds -66383 >= -964625 @ 1.25669
1.48/1.59	c finalizing WCE round: reformulating cores
1.58/1.69	c bounds -66599 >= -964625 @ 1.3321
1.58/1.69	c bounds -66695 >= -964625 @ 1.35015
1.58/1.69	c stratification level: 886
1.68/1.73	c bounds -66705 >= -964625 @ 1.38304
1.68/1.73	c stratification level: 884
1.68/1.73	c bounds -67582 >= -964625 @ 1.38561
1.68/1.73	c stratification level: 883
1.68/1.73	c bounds -68465 >= -964625 @ 1.38712
1.68/1.73	c stratification level: 882
1.68/1.73	c bounds -68474 >= -964625 @ 1.38963
1.68/1.73	c stratification level: 881
1.68/1.78	c bounds -68549 >= -964625 @ 1.42981
1.68/1.78	c stratification level: 880
1.68/1.79	c bounds -68549 >= -963745 @ 1.4309
1.68/1.79	c finalizing WCE round: reformulating cores
1.78/1.84	c bounds -68642 >= -963745 @ 1.44933
1.78/1.84	c bounds -68648 >= -963745 @ 1.48039
1.78/1.84	c stratification level: 874
1.78/1.88	c bounds -68738 >= -963745 @ 1.51972
1.78/1.88	c stratification level: 872
1.78/1.88	c bounds -68757 >= -963745 @ 1.5223
1.78/1.88	c stratification level: 871
1.78/1.88	c bounds -68874 >= -963745 @ 1.52397
1.78/1.88	c stratification level: 869
1.78/1.88	c bounds -69712 >= -963745 @ 1.52659
1.78/1.88	c stratification level: 868
1.87/1.92	c bounds -69713 >= -963745 @ 1.55853
1.87/1.92	c stratification level: 867
1.87/1.92	c bounds -69713 >= -962878 @ 1.55976
1.87/1.92	c finalizing WCE round: reformulating cores
1.87/1.93	c bounds -69824 >= -962878 @ 1.56446
1.87/1.93	c bounds -69899 >= -962878 @ 1.56569
1.87/1.93	c stratification level: 859
1.87/2.00	c bounds -69903 >= -962878 @ 1.6134
1.87/2.00	c stratification level: 858
1.99/2.01	c bounds -70080 >= -962878 @ 1.6156
1.99/2.01	c stratification level: 857
1.99/2.01	c bounds -70080 >= -962021 @ 1.61694
1.99/2.01	c finalizing WCE round: reformulating cores
1.99/2.09	c bounds -70261 >= -962021 @ 1.69324
1.99/2.09	c bounds -70263 >= -962021 @ 1.69436
1.99/2.09	c stratification level: 849
2.09/2.11	c bounds -70265 >= -962021 @ 1.71787
2.09/2.11	c stratification level: 848
2.09/2.12	c bounds -70265 >= -961173 @ 1.71894
2.09/2.12	c finalizing WCE round: reformulating cores
2.09/2.14	c bounds -70288 >= -961173 @ 1.73636
2.09/2.14	c bounds -70349 >= -961173 @ 1.74042
2.09/2.14	c stratification level: 843
2.09/2.14	c bounds -72845 >= -961173 @ 1.74178
2.09/2.14	c stratification level: 842
2.09/2.14	c bounds -72879 >= -961173 @ 1.74429
2.09/2.14	c stratification level: 840
2.09/2.18	c bounds -73044 >= -961173 @ 1.77766
2.09/2.18	c stratification level: 839
2.09/2.18	c bounds -73044 >= -960334 @ 1.77893
2.09/2.18	c finalizing WCE round: reformulating cores
2.09/2.20	c bounds -73136 >= -960334 @ 1.79125
2.09/2.20	c bounds -73163 >= -960334 @ 1.79292
2.09/2.20	c stratification level: 837
2.18/2.20	c bounds -74826 >= -960334 @ 1.79449
2.18/2.20	c stratification level: 836
2.18/2.20	c bounds -75075 >= -960334 @ 1.79688
2.18/2.20	c stratification level: 833
2.18/2.21	c bounds -75135 >= -960334 @ 1.80808
2.18/2.21	c stratification level: 832
2.18/2.26	c bounds -75135 >= -959502 @ 1.855
2.18/2.26	c finalizing WCE round: reformulating cores
2.18/2.27	c bounds -75144 >= -959502 @ 1.85826
2.18/2.27	c bounds -75235 >= -959502 @ 1.85934
2.18/2.27	c stratification level: 824
2.18/2.28	c bounds -75235 >= -956206 @ 1.861
2.18/2.28	c finalizing WCE round: reformulating cores
2.38/2.41	c bounds -75277 >= -956206 @ 1.88416
2.38/2.41	c #Conflicts:       1000 | #Constraints:       1217
2.38/2.41	c bounds -75277 >= -956206 @ 1.98472
2.38/2.41	c bounds -75373 >= -956203 @ 1.99225
2.38/2.41	c bounds -76213 >= -956203 @ 1.99268
2.38/2.41	c stratification level: 815
2.38/2.42	c bounds -76213 >= -953758 @ 1.99406
2.38/2.42	c finalizing WCE round: reformulating cores
6.67/6.72	c bounds -76272 >= -953756 @ 2.01411
6.67/6.72	c bounds -76272 >= -953756 @ 2.08407
6.67/6.72	c bounds -76272 >= -953756 @ 2.08916
6.67/6.72	c bounds -76272 >= -953756 @ 2.24966
6.67/6.72	c bounds -76272 >= -953756 @ 2.27385
6.67/6.72	c bounds -76272 >= -953756 @ 2.28909
6.67/6.72	c bounds -76272 >= -953756 @ 2.58107
6.67/6.72	c bounds -76272 >= -953756 @ 2.61816
6.67/6.72	c bounds -76272 >= -953756 @ 2.63371
6.67/6.72	c bounds -76272 >= -953756 @ 2.72369
6.67/6.72	c bounds -76272 >= -953756 @ 2.75663
6.67/6.72	c bounds -76272 >= -953756 @ 2.861
6.67/6.72	c #Conflicts:       2000 | #Constraints:       2259
6.67/6.72	c INPROCESSING
6.67/6.72	c GARBAGE COLLECT
6.67/6.72	c bounds -76272 >= -953756 @ 3.87424
6.67/6.72	c bounds -76272 >= -953756 @ 3.89774
6.67/6.72	c bounds -76272 >= -953756 @ 4.88392
6.67/6.72	c bounds -76272 >= -953756 @ 5.08055
6.67/6.72	c bounds -76272 >= -953756 @ 5.13934
6.67/6.72	c bounds -76272 >= -953756 @ 5.89291
6.67/6.72	c bounds -76272 >= -953756 @ 5.96256
6.67/6.72	c bounds -76272 >= -953756 @ 6.0316
6.67/6.72	c bounds -76310 >= -952938 @ 6.08331
6.67/6.72	c #Conflicts:       3000 | #Constraints:       2072
6.67/6.72	c bounds -77413 >= -952938 @ 6.2433
6.67/6.72	c stratification level: 803
6.67/6.73	c bounds -77413 >= -952135 @ 6.24718
6.67/6.73	c finalizing WCE round: reformulating cores
7.86/7.99	c bounds -79753 >= -952135 @ 6.64649
7.86/7.99	c bounds -79803 >= -952134 @ 7.37239
7.86/7.99	c bounds -79811 >= -952134 @ 7.47341
7.86/7.99	c stratification level: 802
7.86/8.00	c bounds -79920 >= -952134 @ 7.48382
7.86/8.00	c stratification level: 800
7.86/8.01	c bounds -79977 >= -952134 @ 7.49169
7.86/8.01	c stratification level: 799
7.97/8.01	c bounds -80056 >= -952134 @ 7.49551
7.97/8.01	c stratification level: 798
8.35/8.45	c bounds -80056 >= -951336 @ 7.91808
8.35/8.45	c finalizing WCE round: reformulating cores
8.46/8.50	c bounds -80098 >= -951336 @ 7.95457
8.46/8.50	c bounds -80107 >= -951336 @ 7.95705
8.46/8.50	c stratification level: 791
8.46/8.52	c bounds -80132 >= -951336 @ 7.9709
8.46/8.52	c stratification level: 790
8.46/8.54	c bounds -80132 >= -950546 @ 7.97551
8.46/8.54	c finalizing WCE round: reformulating cores
8.66/8.72	c bounds -80290 >= -950546 @ 8.15486
8.66/8.72	c bounds -81876 >= -950546 @ 8.15869
8.66/8.72	c stratification level: 786
8.66/8.72	c bounds -81876 >= -949760 @ 8.16174
8.66/8.72	c finalizing WCE round: reformulating cores
8.86/8.93	c bounds -82662 >= -949760 @ 8.34269
8.86/8.93	c bounds -82664 >= -949760 @ 8.34785
8.86/8.93	c stratification level: 783
8.97/9.07	c bounds -82665 >= -949760 @ 8.47285
8.97/9.07	c stratification level: 782
8.97/9.08	c bounds -82687 >= -949760 @ 8.47856
8.97/9.08	c stratification level: 781
8.97/9.08	c bounds -82782 >= -949760 @ 8.48138
8.97/9.08	c stratification level: 777
8.97/9.09	c bounds -82782 >= -947429 @ 8.4824
8.97/9.09	c finalizing WCE round: reformulating cores
9.07/9.11	c bounds -83589 >= -947427 @ 8.49459
9.07/9.11	c bounds -83615 >= -947427 @ 8.50564
9.07/9.11	c stratification level: 770
9.07/9.16	c bounds -83615 >= -945887 @ 8.50822
9.07/9.16	c finalizing WCE round: reformulating cores
9.45/9.53	c bounds -83644 >= -945886 @ 8.90272
9.45/9.53	c bounds -85190 >= -945886 @ 8.90552
9.45/9.53	c stratification level: 764
9.45/9.54	c bounds -85190 >= -945122 @ 8.90798
9.45/9.54	c finalizing WCE round: reformulating cores
9.65/9.76	c bounds -85677 >= -945122 @ 8.95385
9.65/9.76	c bounds -85677 >= -945122 @ 8.95529
9.65/9.76	c bounds -85677 >= -945122 @ 9.00127
9.65/9.76	c bounds -85677 >= -945122 @ 9.00393
9.65/9.76	c bounds -86631 >= -944358 @ 9.00957
9.65/9.76	c #Conflicts:       4000 | #Constraints:       3132
9.65/9.76	c bounds -86651 >= -944358 @ 9.12092
9.65/9.76	c stratification level: 759
9.65/9.77	c bounds -86651 >= -943599 @ 9.12566
9.65/9.77	c finalizing WCE round: reformulating cores
10.07/10.18	c bounds -88902 >= -943599 @ 9.27725
10.07/10.18	c INPROCESSING
10.07/10.18	c GARBAGE COLLECT
10.07/10.18	c bounds -88902 >= -943599 @ 9.50749
10.07/10.18	c bounds -88902 >= -943599 @ 9.50942
10.07/10.18	c bounds -88902 >= -943599 @ 9.51199
10.07/10.18	c bounds -88902 >= -943599 @ 9.51356
10.07/10.18	c bounds -88902 >= -943599 @ 9.51516
10.07/10.18	c bounds -88902 >= -943599 @ 9.51647
10.07/10.18	c bounds -88910 >= -942840 @ 9.51937
10.07/10.18	c bounds -89019 >= -942840 @ 9.52266
10.07/10.18	c stratification level: 756
10.25/10.32	c bounds -89019 >= -942084 @ 9.65201
10.25/10.32	c finalizing WCE round: reformulating cores
10.25/10.33	c bounds -89395 >= -942084 @ 9.66008
10.25/10.33	c bounds -89416 >= -942084 @ 9.66413
10.25/10.33	c stratification level: 752
10.25/10.39	c bounds -89416 >= -941332 @ 9.71559
10.25/10.39	c finalizing WCE round: reformulating cores
10.96/11.04	c bounds -92605 >= -941332 @ 9.85107
10.96/11.04	c bounds -92612 >= -941331 @ 10.3386
10.96/11.04	c bounds -92614 >= -941331 @ 10.3409
10.96/11.04	c stratification level: 746
10.96/11.04	c bounds -92614 >= -938347 @ 10.3424
10.96/11.04	c finalizing WCE round: reformulating cores
11.25/11.30	c bounds -92616 >= -938346 @ 10.3561
11.25/11.30	c bounds -92616 >= -938346 @ 10.364
11.25/11.30	c bounds -92616 >= -938346 @ 10.3766
11.25/11.30	c bounds -92616 >= -938346 @ 10.4156
11.25/11.30	c bounds -92629 >= -938342 @ 10.5816
11.25/11.30	c bounds -92948 >= -938342 @ 10.5907
11.25/11.30	c stratification level: 741
11.25/11.33	c bounds -92948 >= -936860 @ 10.5939
11.25/11.33	c finalizing WCE round: reformulating cores
13.34/13.42	c bounds -93046 >= -936860 @ 10.6284
13.34/13.42	c #Conflicts:       5000 | #Constraints:       2581
13.34/13.42	c bounds -93046 >= -936860 @ 11.4136
13.34/13.42	c bounds -93046 >= -936860 @ 11.4327
13.34/13.42	c bounds -93046 >= -936860 @ 11.8203
13.34/13.42	c bounds -93046 >= -936860 @ 11.8587
13.34/13.42	c bounds -93046 >= -936860 @ 11.884
13.34/13.42	c bounds -93055 >= -936118 @ 12.643
13.34/13.42	c bounds -93090 >= -936118 @ 12.666
13.34/13.42	c stratification level: 730
13.34/13.43	c bounds -93090 >= -931738 @ 12.6702
13.34/13.43	c finalizing WCE round: reformulating cores
24.40/24.58	c bounds -95816 >= -931722 @ 12.7037
24.40/24.58	c bounds -95816 >= -931722 @ 12.7134
24.40/24.58	c bounds -95816 >= -931722 @ 12.7445
24.40/24.58	c bounds -95816 >= -931722 @ 13.0263
24.40/24.58	c bounds -95816 >= -931722 @ 13.0547
24.40/24.58	c bounds -95816 >= -931722 @ 13.086
24.40/24.58	c bounds -95816 >= -931722 @ 13.1321
24.40/24.58	c bounds -95816 >= -931722 @ 13.6009
24.40/24.58	c bounds -95816 >= -931722 @ 13.6737
24.40/24.58	c #Conflicts:       6000 | #Constraints:       3629
24.40/24.58	c bounds -95816 >= -931722 @ 14.3267
24.40/24.58	c bounds -95816 >= -931722 @ 14.4042
24.40/24.58	c bounds -95816 >= -931722 @ 14.5223
24.40/24.58	c bounds -95816 >= -931722 @ 14.6436
24.40/24.58	c bounds -95816 >= -931722 @ 14.7749
24.40/24.58	c bounds -95816 >= -931722 @ 14.921
24.40/24.58	c bounds -95816 >= -931722 @ 15.0632
24.40/24.58	c bounds -95816 >= -931722 @ 15.2394
24.40/24.58	c bounds -95816 >= -931722 @ 15.4593
24.40/24.58	c bounds -95816 >= -931722 @ 15.7538
24.40/24.58	c bounds -95816 >= -931722 @ 15.981
24.40/24.58	c bounds -95816 >= -931722 @ 16.2564
24.40/24.58	c bounds -95816 >= -931722 @ 16.5059
24.40/24.58	c #Conflicts:       7000 | #Constraints:       4668
24.40/24.58	c bounds -95816 >= -931722 @ 16.7536
24.40/24.58	c bounds -95816 >= -931722 @ 17.0182
24.40/24.58	c bounds -95816 >= -931722 @ 17.259
24.40/24.58	c bounds -95816 >= -931722 @ 17.5461
24.40/24.58	c bounds -95816 >= -931722 @ 17.8044
24.40/24.58	c bounds -95816 >= -931722 @ 18.0323
24.40/24.58	c bounds -95816 >= -931722 @ 18.369
24.40/24.58	c bounds -95816 >= -931722 @ 18.5765
24.40/24.58	c bounds -95816 >= -931722 @ 18.8795
24.40/24.58	c bounds -95816 >= -931722 @ 19.1578
24.40/24.58	c #Conflicts:       8000 | #Constraints:       5698
24.40/24.58	c bounds -95816 >= -931722 @ 19.4604
24.40/24.58	c bounds -95816 >= -931722 @ 19.5778
24.40/24.58	c bounds -95816 >= -931722 @ 19.6448
24.40/24.58	c bounds -95816 >= -931722 @ 19.7462
24.40/24.58	c bounds -95816 >= -931722 @ 19.8251
24.40/24.58	c bounds -95816 >= -931722 @ 19.9113
24.40/24.58	c bounds -95816 >= -930982 @ 23.5209
24.40/24.58	c bounds -95829 >= -930982 @ 23.6746
24.40/24.58	c stratification level: 725
24.50/24.60	c bounds -95829 >= -926632 @ 23.6815
24.50/24.60	c finalizing WCE round: reformulating cores
28.30/28.44	c bounds -95972 >= -926630 @ 23.7518
28.30/28.44	c bounds -95972 >= -926630 @ 23.7893
28.30/28.44	c bounds -95972 >= -926630 @ 23.8703
28.30/28.44	c #Conflicts:       9000 | #Constraints:       6731
28.30/28.44	c bounds -95972 >= -926630 @ 23.9068
28.30/28.44	c INPROCESSING
28.30/28.44	c GARBAGE COLLECT
28.30/28.44	c bounds -95972 >= -926630 @ 26.9302
28.30/28.44	c bounds -95972 >= -926630 @ 27.2833
28.30/28.44	c bounds -96238 >= -926624 @ 27.3147
28.30/28.44	c bounds -96326 >= -926624 @ 27.4964
28.30/28.44	c stratification level: 715
28.30/28.45	c bounds -96326 >= -919474 @ 27.5047
28.30/28.45	c finalizing WCE round: reformulating cores
34.88/35.03	c bounds -96332 >= -919459 @ 27.5821
34.88/35.03	c bounds -96332 >= -919459 @ 27.6433
34.88/35.03	c bounds -96332 >= -919459 @ 27.7181
34.88/35.03	c bounds -96332 >= -919459 @ 27.807
34.88/35.03	c bounds -96332 >= -919459 @ 27.8834
34.88/35.03	c bounds -96332 >= -919459 @ 27.9491
34.88/35.03	c bounds -96332 >= -919459 @ 28.025
34.88/35.03	c bounds -96332 >= -919459 @ 28.1143
34.88/35.03	c bounds -96332 >= -919459 @ 28.1929
34.88/35.03	c bounds -96332 >= -919459 @ 28.2626
34.88/35.03	c bounds -96332 >= -919459 @ 28.3281
34.88/35.03	c bounds -96332 >= -919459 @ 28.4096
34.88/35.03	c bounds -96332 >= -919459 @ 28.4964
34.88/35.03	c #Conflicts:      10000 | #Constraints:       5466
34.88/35.03	c bounds -96332 >= -919459 @ 28.5739
34.88/35.03	c bounds -96332 >= -919459 @ 28.6483
34.88/35.03	c bounds -96332 >= -919459 @ 28.7058
34.88/35.03	c bounds -96332 >= -919459 @ 28.803
34.88/35.03	c bounds -96332 >= -919459 @ 28.9018
34.88/35.03	c bounds -96332 >= -919459 @ 29.0387
34.88/35.03	c bounds -96332 >= -919440 @ 33.8077
34.88/35.03	c bounds -96345 >= -919440 @ 34.0236
34.88/35.03	c stratification level: 710
34.88/35.11	c bounds -96345 >= -916600 @ 34.0327
34.88/35.11	c #Conflicts:      11000 | #Constraints:       6486
34.88/35.11	c finalizing WCE round: reformulating cores
47.43/47.67	c bounds -96353 >= -916599 @ 34.1444
47.43/47.67	c bounds -96353 >= -916599 @ 34.1751
47.43/47.67	c bounds -96353 >= -916599 @ 34.2088
47.43/47.67	c bounds -96353 >= -916599 @ 36.3143
47.43/47.67	c bounds -96353 >= -916599 @ 36.3753
47.43/47.67	c bounds -96353 >= -916599 @ 37.6524
47.43/47.67	c #Conflicts:      12000 | #Constraints:       7507
47.43/47.67	c bounds -96353 >= -916593 @ 46.0878
47.43/47.67	c bounds -96370 >= -916593 @ 46.5132
47.43/47.67	c stratification level: 702
47.53/47.70	c bounds -96370 >= -912381 @ 46.5315
47.53/47.70	c finalizing WCE round: reformulating cores
57.40/57.65	c bounds -96827 >= -912369 @ 46.6329
57.40/57.65	c bounds -96827 >= -912369 @ 46.6647
57.40/57.65	c bounds -96827 >= -912369 @ 46.6931
57.40/57.65	c bounds -96827 >= -912369 @ 46.7877
57.40/57.65	c bounds -96827 >= -912369 @ 46.8721
57.40/57.65	c bounds -96827 >= -912369 @ 46.9177
57.40/57.65	c bounds -96827 >= -912369 @ 47.015
57.40/57.65	c bounds -96827 >= -912369 @ 47.0783
57.40/57.65	c bounds -96827 >= -912369 @ 47.2418
57.40/57.65	c #Conflicts:      13000 | #Constraints:       8535
57.40/57.65	c bounds -96827 >= -912360 @ 56.3674
57.40/57.65	c bounds -96837 >= -912360 @ 56.418
57.40/57.65	c stratification level: 692
57.40/57.69	c bounds -96837 >= -909592 @ 56.4326
57.40/57.69	c finalizing WCE round: reformulating cores
72.35/72.62	c bounds -97044 >= -909585 @ 56.5636
72.35/72.62	c bounds -97044 >= -909582 @ 69.5786
72.35/72.62	c #Conflicts:      14000 | #Constraints:       9543
72.35/72.62	c bounds -97076 >= -909582 @ 71.2436
72.35/72.62	c stratification level: 682
72.35/72.67	c bounds -97076 >= -902762 @ 71.2689
72.35/72.67	c finalizing WCE round: reformulating cores
90.98/91.38	c bounds -97148 >= -902748 @ 71.6297
90.98/91.38	c bounds -97148 >= -902748 @ 72.0124
90.98/91.38	c bounds -97148 >= -902748 @ 72.1836
90.98/91.38	c bounds -97148 >= -902748 @ 72.4431
90.98/91.38	c bounds -97148 >= -902748 @ 72.7565
90.98/91.38	c bounds -97148 >= -902748 @ 72.971
90.98/91.38	c bounds -97148 >= -902748 @ 73.3919
90.98/91.38	c bounds -97148 >= -902748 @ 73.6973
90.98/91.38	c bounds -97148 >= -902748 @ 73.952
90.98/91.38	c bounds -97148 >= -902748 @ 74.2705
90.98/91.38	c #Conflicts:      15000 | #Constraints:      10578
90.98/91.38	c bounds -97148 >= -902738 @ 89.6495
90.98/91.38	c bounds -97225 >= -902738 @ 89.8277
90.98/91.38	c stratification level: 674
91.09/91.44	c bounds -97225 >= -898020 @ 89.8503
91.09/91.44	c finalizing WCE round: reformulating cores
120.38/120.89	c bounds -97338 >= -898008 @ 90.0554
120.38/120.89	c bounds -97338 >= -898008 @ 90.0864
120.38/120.89	c bounds -97338 >= -898008 @ 90.1203
120.38/120.89	c bounds -97338 >= -898008 @ 90.1581
120.38/120.89	c bounds -97338 >= -898008 @ 90.2269
120.38/120.89	c bounds -97338 >= -898008 @ 90.2641
120.38/120.89	c bounds -97338 >= -898008 @ 90.2997
120.38/120.89	c bounds -97338 >= -898008 @ 90.3361
120.38/120.89	c bounds -97338 >= -898008 @ 90.3712
120.38/120.89	c bounds -97338 >= -898008 @ 90.408
120.38/120.89	c bounds -97338 >= -898008 @ 90.5192
120.38/120.89	c bounds -97338 >= -898008 @ 90.5745
120.38/120.89	c bounds -97338 >= -898008 @ 90.6524
120.38/120.89	c bounds -97338 >= -898008 @ 94.0266
120.38/120.89	c bounds -97338 >= -898008 @ 96.1052
120.38/120.89	c bounds -97338 >= -898008 @ 96.2181
120.38/120.89	c bounds -97338 >= -898008 @ 96.2981
120.38/120.89	c bounds -97338 >= -898008 @ 96.473
120.38/120.89	c bounds -97338 >= -898008 @ 96.6778
120.38/120.89	c bounds -97338 >= -898008 @ 96.8785
120.38/120.89	c bounds -97338 >= -898008 @ 97.2672
120.38/120.89	c bounds -97338 >= -898008 @ 97.5135
120.38/120.89	c bounds -97338 >= -898008 @ 97.7119
120.38/120.89	c bounds -97338 >= -898008 @ 97.9028
120.38/120.89	c bounds -97338 >= -898008 @ 98.133
120.38/120.89	c bounds -97338 >= -898008 @ 98.3321
120.38/120.89	c bounds -97338 >= -898008 @ 98.6032
120.38/120.89	c bounds -97338 >= -898008 @ 98.9099
120.38/120.89	c bounds -97338 >= -898008 @ 99.0368
120.38/120.89	c bounds -97338 >= -898008 @ 99.2767
120.38/120.89	c bounds -97338 >= -898008 @ 99.5037
120.38/120.89	c bounds -97338 >= -898008 @ 99.6764
120.38/120.89	c bounds -97338 >= -898008 @ 99.9557
120.38/120.89	c bounds -97338 >= -898008 @ 100.187
120.38/120.89	c #Conflicts:      16000 | #Constraints:      11673
120.38/120.89	c bounds -97338 >= -898008 @ 100.411
120.38/120.89	c bounds -97338 >= -898008 @ 100.784
120.38/120.89	c bounds -97338 >= -898008 @ 101.018
120.38/120.89	c bounds -97338 >= -898008 @ 101.303
120.38/120.89	c bounds -97338 >= -898008 @ 101.658
120.38/120.89	c bounds -97338 >= -898008 @ 101.912
120.38/120.89	c bounds -97338 >= -898008 @ 102.111
120.38/120.89	c bounds -97338 >= -898008 @ 102.436
120.38/120.89	c bounds -97338 >= -898008 @ 102.717
120.38/120.89	c bounds -97338 >= -898008 @ 103.067
120.38/120.89	c bounds -97338 >= -898008 @ 103.434
120.38/120.89	c bounds -97338 >= -898008 @ 103.904
120.38/120.89	c bounds -97338 >= -898008 @ 104.159
120.38/120.89	c INPROCESSING
120.38/120.89	c GARBAGE COLLECT
120.38/120.89	c bounds -97338 >= -898008 @ 104.997
120.38/120.89	c bounds -97338 >= -898008 @ 105.106
120.38/120.89	c bounds -97338 >= -898008 @ 105.264
120.38/120.89	c bounds -97338 >= -898008 @ 105.368
120.38/120.89	c bounds -97338 >= -898008 @ 105.579
120.38/120.89	c bounds -97338 >= -898008 @ 105.769
120.38/120.89	c bounds -97338 >= -898008 @ 105.941
120.38/120.89	c bounds -97338 >= -898008 @ 106.104
120.38/120.89	c bounds -97338 >= -898008 @ 106.195
120.38/120.89	c bounds -97338 >= -898008 @ 106.359
120.38/120.89	c bounds -97338 >= -898008 @ 106.531
120.38/120.89	c bounds -97338 >= -898008 @ 106.781
120.38/120.89	c bounds -97338 >= -898008 @ 106.891
120.38/120.89	c bounds -97338 >= -898008 @ 107.016
120.38/120.89	c bounds -97338 >= -898008 @ 107.122
120.38/120.89	c bounds -97338 >= -898008 @ 107.26
120.38/120.89	c bounds -97338 >= -898008 @ 107.367
120.38/120.89	c bounds -97338 >= -898008 @ 107.548
120.38/120.89	c bounds -97338 >= -898008 @ 107.811
120.38/120.89	c #Conflicts:      17000 | #Constraints:      10086
120.38/120.89	c bounds -97338 >= -898008 @ 108.105
120.38/120.89	c bounds -97338 >= -898008 @ 108.228
120.38/120.89	c bounds -97338 >= -898008 @ 108.486
120.38/120.89	c bounds -97338 >= -897321 @ 119.104
120.38/120.89	c bounds -101031 >= -897321 @ 119.123
120.38/120.89	c stratification level: 663
120.48/120.95	c bounds -101031 >= -893343 @ 119.148
120.48/120.95	c finalizing WCE round: reformulating cores
150.07/150.63	c bounds -101062 >= -893338 @ 119.227
150.07/150.63	c bounds -101062 >= -893338 @ 119.249
150.07/150.63	c bounds -101062 >= -893338 @ 119.275
150.07/150.63	c bounds -101062 >= -893338 @ 119.3
150.07/150.63	c bounds -101062 >= -893338 @ 119.325
150.07/150.63	c bounds -101062 >= -893338 @ 119.35
150.07/150.63	c bounds -101062 >= -893338 @ 119.374
150.07/150.63	c bounds -101062 >= -893338 @ 119.397
150.07/150.63	c bounds -101062 >= -893338 @ 119.42
150.07/150.63	c bounds -101062 >= -893338 @ 119.444
150.07/150.63	c bounds -101062 >= -893338 @ 119.467
150.07/150.63	c bounds -101062 >= -893338 @ 119.492
150.07/150.63	c bounds -101062 >= -893338 @ 119.517
150.07/150.63	c bounds -101062 >= -893338 @ 119.622
150.07/150.63	c bounds -101062 >= -893338 @ 119.741
150.07/150.63	c bounds -101062 >= -893338 @ 119.836
150.07/150.63	c bounds -101062 >= -893338 @ 119.917
150.07/150.63	c bounds -101062 >= -893338 @ 120.048
150.07/150.63	c bounds -101062 >= -893338 @ 120.355
150.07/150.63	c #Conflicts:      18000 | #Constraints:      11141
150.07/150.63	c bounds -101062 >= -893338 @ 120.525
150.07/150.63	c bounds -101062 >= -893338 @ 120.814
150.07/150.63	c bounds -101062 >= -893338 @ 121.055
150.07/150.63	c bounds -101062 >= -893338 @ 121.284
150.07/150.63	c bounds -101062 >= -893338 @ 121.38
150.07/150.63	c bounds -101062 >= -893338 @ 121.636
150.07/150.63	c bounds -101062 >= -893338 @ 121.959
150.07/150.63	c bounds -101062 >= -893338 @ 122.31
150.07/150.63	c bounds -101062 >= -893338 @ 122.562
150.07/150.63	c bounds -101062 >= -893338 @ 122.875
150.07/150.63	c bounds -101062 >= -893338 @ 123.221
150.07/150.63	c bounds -101062 >= -893338 @ 123.661
150.07/150.63	c bounds -101062 >= -893338 @ 124.318
150.07/150.63	c bounds -101062 >= -893338 @ 124.724
150.07/150.63	c bounds -101062 >= -893338 @ 124.962
150.07/150.63	c bounds -101062 >= -893338 @ 125.272
150.07/150.63	c bounds -101062 >= -893338 @ 125.538
150.07/150.63	c bounds -101062 >= -893338 @ 125.82
150.07/150.63	c bounds -101062 >= -893338 @ 126.008
150.07/150.63	c bounds -101062 >= -893338 @ 126.276
150.07/150.63	c bounds -101062 >= -893338 @ 126.459
150.07/150.63	c bounds -101062 >= -893338 @ 126.656
150.07/150.63	c bounds -101062 >= -893338 @ 126.8
150.07/150.63	c bounds -101062 >= -893338 @ 127.055
150.07/150.63	c bounds -101062 >= -893338 @ 127.359
150.07/150.63	c bounds -101062 >= -893338 @ 127.583
150.07/150.63	c bounds -101062 >= -893338 @ 127.851
150.07/150.63	c bounds -101062 >= -893338 @ 128.293
150.07/150.63	c bounds -101062 >= -893338 @ 128.503
150.07/150.63	c bounds -101062 >= -893338 @ 128.708
150.07/150.63	c bounds -101062 >= -893338 @ 128.956
150.07/150.63	c #Conflicts:      19000 | #Constraints:      12225
150.07/150.63	c bounds -101062 >= -893338 @ 129.273
150.07/150.63	c bounds -101062 >= -893338 @ 129.595
150.07/150.63	c bounds -101062 >= -893338 @ 129.709
150.07/150.63	c bounds -101062 >= -893338 @ 130.006
150.07/150.63	c bounds -101062 >= -893338 @ 130.359
150.07/150.63	c bounds -101062 >= -893338 @ 130.606
150.07/150.63	c bounds -101062 >= -893338 @ 131.076
150.07/150.63	c bounds -101062 >= -893338 @ 131.402
150.07/150.63	c bounds -101062 >= -893338 @ 131.91
150.07/150.63	c bounds -101062 >= -893338 @ 132.247
150.07/150.63	c bounds -101062 >= -893338 @ 132.916
150.07/150.63	c bounds -101062 >= -893338 @ 134.081
150.07/150.63	c bounds -101062 >= -893338 @ 135.595
150.07/150.63	c #Conflicts:      20000 | #Constraints:      13260
150.07/150.63	c bounds -101062 >= -892660 @ 147.431
150.07/150.63	c bounds -101067 >= -892660 @ 148.646
150.07/150.63	c stratification level: 658
150.18/150.72	c bounds -101067 >= -887396 @ 148.661
150.18/150.72	c finalizing WCE round: reformulating cores
165.22/165.87	c bounds -101161 >= -887388 @ 148.821
165.22/165.87	c bounds -101161 >= -887388 @ 152.344
165.22/165.87	c bounds -101161 >= -887388 @ 152.429
165.22/165.87	c #Conflicts:      21000 | #Constraints:      14274
165.22/165.87	c bounds -101161 >= -887385 @ 163.424
165.22/165.87	c bounds -101832 >= -887385 @ 163.747
165.22/165.87	c stratification level: 644
165.32/165.97	c bounds -101832 >= -879657 @ 163.773
165.32/165.97	c finalizing WCE round: reformulating cores
179.39/180.05	c bounds -101965 >= -879614 @ 163.962
179.39/180.05	c bounds -101965 >= -879614 @ 164.038
179.39/180.05	c bounds -101965 >= -879614 @ 164.095
179.39/180.05	c bounds -101965 >= -879614 @ 164.145
179.39/180.05	c bounds -101965 >= -879614 @ 164.271
179.39/180.05	c bounds -101965 >= -879614 @ 164.359
179.39/180.05	c bounds -101965 >= -879614 @ 164.452
179.39/180.05	c bounds -101965 >= -879614 @ 164.58
179.39/180.05	c bounds -101965 >= -879614 @ 164.696
179.39/180.05	c bounds -101965 >= -879614 @ 164.761
179.39/180.05	c bounds -101965 >= -879614 @ 164.811
179.39/180.05	c bounds -101965 >= -879614 @ 164.927
179.39/180.05	c bounds -101965 >= -879614 @ 165
179.39/180.05	c bounds -101965 >= -879614 @ 165.101
179.39/180.05	c bounds -101965 >= -879614 @ 165.149
179.39/180.05	c bounds -101965 >= -879614 @ 165.276
179.39/180.05	c bounds -101965 >= -879614 @ 165.456
179.39/180.05	c bounds -101965 >= -879614 @ 165.486
179.39/180.05	c bounds -101965 >= -879614 @ 165.816
179.39/180.05	c bounds -101965 >= -879614 @ 165.947
179.39/180.05	c bounds -101965 >= -879614 @ 166.084
179.39/180.05	c bounds -101965 >= -879614 @ 166.22
179.39/180.05	c bounds -101965 >= -879614 @ 166.361
179.39/180.05	c bounds -101965 >= -879614 @ 166.479
179.39/180.05	c bounds -101965 >= -879614 @ 166.625
179.39/180.05	c bounds -101965 >= -879614 @ 166.712
179.39/180.05	c #Conflicts:      22000 | #Constraints:      15351
179.39/180.05	c bounds -101965 >= -879614 @ 166.991
179.39/180.05	c bounds -101965 >= -879614 @ 167.167
179.39/180.05	c bounds -101965 >= -879614 @ 167.305
179.39/180.05	c bounds -101965 >= -879614 @ 167.417
179.39/180.05	c bounds -101965 >= -879583 @ 177.71
179.39/180.05	c bounds -102077 >= -879583 @ 177.842
179.39/180.05	c stratification level: 640
180.07/180.79	c bounds -102077 >= -875743 @ 177.865
180.07/180.79	c finalizing WCE round: reformulating cores
203.19/203.99	c bounds -102103 >= -875736 @ 178.652
203.19/203.99	c bounds -102103 >= -875736 @ 178.74
203.19/203.99	c bounds -102103 >= -875736 @ 178.823
203.19/203.99	c #Conflicts:      23000 | #Constraints:      16376
203.19/203.99	c bounds -102103 >= -875736 @ 186.522
203.19/203.99	c #Conflicts:      24000 | #Constraints:      17379
203.19/203.99	c bounds -102103 >= -875732 @ 201.356
203.19/203.99	c bounds -102106 >= -875732 @ 201.594
203.19/203.99	c stratification level: 633
203.30/204.07	c bounds -102106 >= -870683 @ 201.631
203.30/204.07	c finalizing WCE round: reformulating cores
222.73/223.55	c bounds -102617 >= -870660 @ 201.856
222.73/223.55	c bounds -102617 >= -870660 @ 202.041
222.73/223.55	c bounds -102617 >= -870660 @ 202.239
222.73/223.55	c bounds -102617 >= -870660 @ 202.373
222.73/223.55	c bounds -102617 >= -870660 @ 202.575
222.73/223.55	c bounds -102617 >= -870660 @ 205.835
222.73/223.55	c bounds -102617 >= -870660 @ 206.018
222.73/223.55	c #Conflicts:      25000 | #Constraints:      18407
222.73/223.55	c bounds -102617 >= -870653 @ 220.968
222.73/223.55	c bounds -103143 >= -870653 @ 221.026
222.73/223.55	c stratification level: 625
222.93/223.73	c bounds -103143 >= -869388 @ 221.057
222.93/223.73	c bounds -103143 >= -868759 @ 221.07
222.93/223.73	c bounds -103143 >= -866259 @ 221.092
222.93/223.73	c finalizing WCE round: reformulating cores
229.10/229.97	c bounds -103410 >= -866259 @ 224.959
229.10/229.97	c INPROCESSING
229.10/229.97	c GARBAGE COLLECT
229.10/229.97	c bounds -103410 >= -865634 @ 225.81
229.10/229.97	c finalizing WCE round: reformulating cores
3163.70/3174.56	c #Conflicts:      26000 | #Constraints:      15105
3163.70/3174.56	c bounds -103417 >= -865634 @ 235.222
3163.70/3174.56	c #Conflicts:      27000 | #Constraints:      16108
3163.70/3174.56	c #Conflicts:      28000 | #Constraints:      17108
3163.70/3174.56	c #Conflicts:      29000 | #Constraints:      18108
3163.70/3174.56	c #Conflicts:      30000 | #Constraints:      19108
3163.70/3174.56	c #Conflicts:      31000 | #Constraints:      20108
3163.70/3174.56	c #Conflicts:      32000 | #Constraints:      21108
3163.70/3174.56	c #Conflicts:      33000 | #Constraints:      22108
3163.70/3174.56	c #Conflicts:      34000 | #Constraints:      23108
3163.70/3174.56	c #Conflicts:      35000 | #Constraints:      24108
3163.70/3174.56	c #Conflicts:      36000 | #Constraints:      25108
3163.70/3174.56	c INPROCESSING
3163.70/3174.56	c GARBAGE COLLECT
3163.70/3174.56	c #Conflicts:      37000 | #Constraints:      15030
3163.70/3174.56	c #Conflicts:      38000 | #Constraints:      16030
3163.70/3174.56	c #Conflicts:      39000 | #Constraints:      17030
3163.70/3174.56	c #Conflicts:      40000 | #Constraints:      18030
3163.70/3174.56	c #Conflicts:      41000 | #Constraints:      19030
3163.70/3174.56	c #Conflicts:      42000 | #Constraints:      20030
3163.70/3174.56	c #Conflicts:      43000 | #Constraints:      21030
3163.70/3174.56	c #Conflicts:      44000 | #Constraints:      22030
3163.70/3174.57	c #Conflicts:      45000 | #Constraints:      23030
3163.70/3174.57	c #Conflicts:      46000 | #Constraints:      24030
3163.70/3174.57	c #Conflicts:      47000 | #Constraints:      25030
3163.70/3174.57	c #Conflicts:      48000 | #Constraints:      26030
3163.70/3174.57	c #Conflicts:      49000 | #Constraints:      27030
3163.70/3174.57	c INPROCESSING
3163.70/3174.57	c GARBAGE COLLECT
3163.70/3174.57	c #Conflicts:      50000 | #Constraints:      14924
3163.70/3174.57	c #Conflicts:      51000 | #Constraints:      15924
3163.70/3174.57	c #Conflicts:      52000 | #Constraints:      16924
3163.70/3174.57	c #Conflicts:      53000 | #Constraints:      17924
3163.70/3174.57	c #Conflicts:      54000 | #Constraints:      18924
3163.70/3174.57	c #Conflicts:      55000 | #Constraints:      19924
3163.70/3174.57	c #Conflicts:      56000 | #Constraints:      20924
3163.70/3174.57	c #Conflicts:      57000 | #Constraints:      21924
3163.70/3174.57	c #Conflicts:      58000 | #Constraints:      22924
3163.70/3174.57	c #Conflicts:      59000 | #Constraints:      23924
3163.70/3174.57	c #Conflicts:      60000 | #Constraints:      24924
3163.70/3174.57	c #Conflicts:      61000 | #Constraints:      25924
3163.70/3174.57	c #Conflicts:      62000 | #Constraints:      26924
3163.70/3174.57	c #Conflicts:      63000 | #Constraints:      27924
3163.70/3174.57	c #Conflicts:      64000 | #Constraints:      28924
3163.70/3174.57	c INPROCESSING
3163.70/3174.57	c GARBAGE COLLECT
3163.70/3174.57	c #Conflicts:      65000 | #Constraints:      15256
3163.70/3174.57	c #Conflicts:      66000 | #Constraints:      16256
3163.70/3174.57	c #Conflicts:      67000 | #Constraints:      17256
3163.70/3174.57	c #Conflicts:      68000 | #Constraints:      18256
3163.70/3174.57	c #Conflicts:      69000 | #Constraints:      19256
3163.70/3174.57	c #Conflicts:      70000 | #Constraints:      20256
3163.70/3174.57	c #Conflicts:      71000 | #Constraints:      21256
3163.70/3174.57	c #Conflicts:      72000 | #Constraints:      22256
3163.70/3174.57	c #Conflicts:      73000 | #Constraints:      23256
3163.70/3174.57	c INPROCESSING
3163.70/3174.57	c GARBAGE COLLECT
3163.70/3174.57	c #Conflicts:      74000 | #Constraints:      14827
3163.70/3174.57	c #Conflicts:      75000 | #Constraints:      15827
3163.70/3174.57	c #Conflicts:      76000 | #Constraints:      16827
3163.70/3174.57	c #Conflicts:      77000 | #Constraints:      17827
3163.70/3174.57	c #Conflicts:      78000 | #Constraints:      18827
3163.70/3174.57	c #Conflicts:      79000 | #Constraints:      19827
3163.70/3174.57	c #Conflicts:      80000 | #Constraints:      20827
3163.70/3174.57	c #Conflicts:      81000 | #Constraints:      21827
3163.70/3174.57	c #Conflicts:      82000 | #Constraints:      22827
3163.70/3174.57	c #Conflicts:      83000 | #Constraints:      23827
3163.70/3174.57	c #Conflicts:      84000 | #Constraints:      24827
3163.70/3174.57	c #Conflicts:      85000 | #Constraints:      25827
3163.70/3174.57	c #Conflicts:      86000 | #Constraints:      26827
3163.70/3174.57	c #Conflicts:      87000 | #Constraints:      27827
3163.70/3174.57	c #Conflicts:      88000 | #Constraints:      28827
3163.70/3174.57	c #Conflicts:      89000 | #Constraints:      29827
3163.70/3174.57	c #Conflicts:      90000 | #Constraints:      30827
3163.70/3174.57	c #Conflicts:      91000 | #Constraints:      31827
3163.70/3174.57	c #Conflicts:      92000 | #Constraints:      32827
3163.70/3174.57	c INPROCESSING
3163.70/3174.57	c GARBAGE COLLECT
3163.70/3174.57	c #Conflicts:      93000 | #Constraints:      17607
3163.70/3174.57	c #Conflicts:      94000 | #Constraints:      18607
3163.70/3174.57	c #Conflicts:      95000 | #Constraints:      19607
3163.70/3174.57	c #Conflicts:      96000 | #Constraints:      20607
3163.70/3174.57	c #Conflicts:      97000 | #Constraints:      21607
3163.70/3174.57	c #Conflicts:      98000 | #Constraints:      22607
3163.70/3174.57	c #Conflicts:      99000 | #Constraints:      23607
3163.70/3174.57	c #Conflicts:     100000 | #Constraints:      24607
3600.03/3612.30	c #Conflicts:     101000 | #Constraints:      25607
3600.03/3612.30	c #Conflicts:     102000 | #Constraints:      26607
3600.03/3612.30	c INPROCESSING
3600.03/3612.30	c GARBAGE COLLECT
3600.03/3612.30	c #Conflicts:     103000 | #Constraints:      15326
3600.03/3612.30	c #Conflicts:     104000 | #Constraints:      16326
3600.03/3612.30	c #Conflicts:     105000 | #Constraints:      17326
3600.03/3612.30	c #Conflicts:     106000 | #Constraints:      18326
3600.03/3612.30	c #Conflicts:     107000 | #Constraints:      19326
3600.03/3612.30	c #Conflicts:     108000 | #Constraints:      20326
3600.03/3612.30	c #Conflicts:     109000 | #Constraints:      21326
3600.03/3612.30	c #Conflicts:     110000 | #Constraints:      22326
3600.03/3612.30	c #Conflicts:     111000 | #Constraints:      23326
3600.03/3612.30	c #Conflicts:     112000 | #Constraints:      24326
3600.03/3612.30	c Program interrupted by user.
3600.03/3612.30	c cpu time 3594.12 s
3600.03/3612.30	c deterministic time 1198062231432 1.20e+12
3600.03/3612.30	c optimization time 525.976 s
3600.03/3612.30	c total solve time 3068.13 s
3600.03/3612.30	c core-guided solve time 3068.13 s
3600.03/3612.30	c propagation time 3474.97 s
3600.03/3612.30	c conflict analysis time 99.7199 s
3600.03/3612.30	c propagations 21283697
3600.03/3612.30	c resolve steps 383448
3600.03/3612.30	c decisions 3108405
3600.03/3612.30	c conflicts 112529
3600.03/3612.30	c restarts 299
3600.03/3612.30	c inprocessing phases 11
3600.03/3612.30	c input clauses 248
3600.03/3612.30	c input cardinalities 5
3600.03/3612.30	c input general constraints 1001
3600.03/3612.30	c input average constraint length 453.83
3600.03/3612.30	c input average constraint degree 17440.70
3600.03/3612.30	c learned clauses 492
3600.03/3612.30	c learned cardinalities 7
3600.03/3612.30	c learned general constraints 112033
3600.03/3612.30	c learned average constraint length 1936.55
3600.03/3612.30	c learned average constraint degree 1278494845.46
3600.03/3612.30	c watched constraints 466
3600.03/3612.30	c counting constraints 112568
3600.03/3612.30	c gcd simplifications 1136
3600.03/3612.30	c detected cardinalities 2
3600.03/3612.30	c weakened non-implied lits 3043519
3600.03/3612.30	c weakened non-implying lits 2142
3600.03/3612.30	c original variables 2000
3600.03/3612.30	c clausal propagations 8238
3600.03/3612.30	c cardinality propagations 1574
3600.03/3612.30	c watched propagations 69654
3600.03/3612.30	c counting propagations 20340307
3600.03/3612.30	c watch lookups 18133154741
3600.03/3612.30	c watch backjump lookups 18133941668
3600.03/3612.30	c watch checks 233206149
3600.03/3612.30	c propagation checks 1160545706228
3600.03/3612.30	c constraint additions 967328208
3600.03/3612.30	c trail pops 24502335
3600.03/3612.30	c formula constraints 1
3600.03/3612.30	c learned constraints 112532
3600.03/3612.30	c bound constraints 277
3600.03/3612.30	c core-guided constraints 976
3600.03/3612.30	c encountered formula constraints 18372
3600.03/3612.30	c encountered learned constraints 448224
3600.03/3612.30	c encountered bound constraints 19345
3600.03/3612.30	c encountered core-guided constraints 10036
3600.03/3612.30	c LP total time 0 s
3600.03/3612.30	c LP solve time 0 s
3600.03/3612.30	c LP constraints added 0
3600.03/3612.30	c LP constraints removed 0
3600.03/3612.30	c LP pivots internal 0
3600.03/3612.30	c LP pivots root 0
3600.03/3612.30	c LP calls 0
3600.03/3612.30	c LP optimalities 0
3600.03/3612.30	c LP no pivot count 0
3600.03/3612.30	c LP infeasibilities 0
3600.03/3612.30	c LP valid Farkas constraints 0
3600.03/3612.30	c LP learned Farkas constraints 0
3600.03/3612.30	c LP basis resets 0
3600.03/3612.30	c LP cycling count 0
3600.03/3612.30	c LP singular count 0
3600.03/3612.30	c LP no primal count 0
3600.03/3612.30	c LP no farkas count 0
3600.03/3612.30	c LP other issue count 0
3600.03/3612.30	c LP Gomory cuts 0
3600.03/3612.30	c LP learned cuts 0
3600.03/3612.30	c LP deleted cuts 0
3600.03/3612.30	c LP encountered Gomory constraints 0
3600.03/3612.30	c LP encountered Farkas constraints 0
3600.03/3612.30	c LP encountered learned Farkas constraints 0
3600.03/3612.30	c CG auxiliary variables introduced 368
3600.03/3612.30	c CG solutions found 194
3600.03/3612.30	c CG cores constructed 48
3600.03/3612.30	c CG core cardinality constraints returned 23
3600.03/3612.30	c CG unit cores 0
3600.03/3612.30	c CG single cores 47
3600.03/3612.30	c CG blocks removed during cardinality reduction 0
3600.03/3612.30	c CG first core best 0
3600.03/3612.30	c CG decision core best 0
3600.03/3612.30	c CG core reduction tie 1
3600.03/3612.30	c CG core degree average 3.02
3600.03/3612.30	c CG core slack average 11.38
3600.03/3612.30	c CG exhausted 314
3600.03/3612.30	c CG exhaust time 223.634 s
3600.03/3612.30	c CG trimmed 33
3600.03/3612.30	c CG trim time 0.955806 s
3600.03/3612.30	c CG minimized 0
3600.03/3612.30	c CG minimize time 0 s
3600.03/3612.30	c CG am1 prop time 0.103065 s
3600.03/3612.30	c CG # am1s reformulated 4
3600.03/3612.30	c CG lower bound derived from am1s 1900
3600.03/3612.30	c CG # clausal cores 11
3600.03/3612.30	c CG # cardinality cores 0
3600.03/3612.30	c CG # pb cores 38
3600.03/3612.30	c CG # pb reforms 45
3600.03/3612.30	c CG # cores discarded because of pb reform 0
3600.03/3612.30	d LOWERBOUND -865634
3600.03/3612.30	d NCORES 48
3600.03/3612.30	d NPBCORES 38
3600.03/3612.30	d NPBREFORM 45
3600.03/3612.30	d NTRIMMED 33
3600.03/3612.30	d NEXHAUSTED 314
3600.03/3612.30	d NAM1S 4
3600.03/3612.30	d AM1LB 1900
3600.03/3612.30	o -103417
3600.03/3612.30	s SATISFIABLE
3600.03/3612.30	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 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 x1138 x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 x1546 -x1547 x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000

Verifier Data 

OK	-103417

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (42331 MiB free)
  memory of node 1: 64510 MiB (55593 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100098 s]*
/proc/loadavg: 3.54 4.08 4.17 5/242 215869
/proc/meminfo: memFree=100273764/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=39748 memory=6832 CPUtime=0.1 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 585 0 0 0 5 5 0 0 20 0 1 0 23586145 40701952 1708 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 9937 1708 1341 291 0 1471 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 6832 KiB

[startup+0.213051 s]*
/proc/loadavg: 3.54 4.08 4.17 5/239 215877
/proc/meminfo: memFree=100269516/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=40260 memory=7888 CPUtime=0.21 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 840 0 0 0 13 8 0 0 20 0 1 0 23586145 41226240 1972 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 10065 1972 1357 291 0 1599 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40260 KiB
Current children cumulated memory: 7888 KiB

[startup+0.312709 s]*
/proc/loadavg: 3.54 4.08 4.17 6/239 215877
/proc/meminfo: memFree=100264532/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=40740 memory=10616 CPUtime=0.31 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 1016 0 0 0 20 11 0 0 20 0 1 0 23586145 41717760 2654 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 10185 2654 1357 291 0 1719 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40740 KiB
Current children cumulated memory: 10616 KiB

[startup+0.700262 s]
/proc/loadavg: 3.54 4.08 4.17 7/239 215893
/proc/meminfo: memFree=100261944/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=43972 memory=14000 CPUtime=0.69 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 1862 0 0 0 48 21 0 0 20 0 1 0 23586145 45027328 3500 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 10993 3500 1357 291 0 2527 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43972 KiB
Current children cumulated memory: 14000 KiB

[startup+1.50027 s]
/proc/loadavg: 3.57 4.08 4.17 7/241 215935
/proc/meminfo: memFree=100250936/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=57012 memory=26024 CPUtime=1.48 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 4344 0 0 0 117 31 0 0 20 0 1 0 23586145 58380288 6506 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 14253 6506 1357 291 0 5787 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57012 KiB
Current children cumulated memory: 26024 KiB

[startup+3.11319 s]
/proc/loadavg: 3.57 4.08 4.17 5/244 216007
/proc/meminfo: memFree=100185128/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=101428 memory=63444 CPUtime=3.08 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 11136 0 0 0 266 42 0 0 20 0 1 0 23586145 103862272 15861 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 25357 15861 1419 291 0 16891 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 101428 KiB
Current children cumulated memory: 63444 KiB

[startup+6.3003 s]
/proc/loadavg: 3.69 4.10 4.17 5/244 216055
/proc/meminfo: memFree=100154056/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=102148 memory=72480 CPUtime=6.26 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 11842 0 0 0 582 44 0 0 20 0 1 0 23586145 104599552 18120 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 25537 18120 1419 291 0 17071 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 102148 KiB
Current children cumulated memory: 72480 KiB

[startup+12.7003 s]
/proc/loadavg: 3.71 4.10 4.17 5/244 216055
/proc/meminfo: memFree=99985392/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=223628 memory=170388 CPUtime=12.64 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 32733 0 0 0 1196 68 0 0 20 0 1 0 23586145 228995072 42597 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 55907 42597 1419 291 0 47441 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 223628 KiB
Current children cumulated memory: 170388 KiB

[startup+25.5003 s]
/proc/loadavg: 3.76 4.09 4.17 5/244 216058
/proc/meminfo: memFree=99820432/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=380772 memory=277776 CPUtime=25.4 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 49893 0 0 0 2458 82 0 0 20 0 1 0 23586145 389910528 69444 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 95193 69444 1419 291 0 86727 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 380772 KiB
Current children cumulated memory: 277776 KiB

[startup+51.1128 s]
/proc/loadavg: 3.91 4.10 4.17 5/244 216108
/proc/meminfo: memFree=99713408/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=381808 memory=310020 CPUtime=50.93 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 52948 0 0 0 4991 102 0 0 20 0 1 0 23586145 390971392 77505 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 95452 77505 1419 291 0 86986 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 381808 KiB
Current children cumulated memory: 310020 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.17 5/244 216115
/proc/meminfo: memFree=99420400/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=615940 memory=469424 CPUtime=101.94 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 79124 0 0 0 10065 129 0 0 20 0 1 0 23586145 630722560 117356 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 153985 117356 1419 291 0 145519 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 615940 KiB
Current children cumulated memory: 469424 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.17 5/244 216555
/proc/meminfo: memFree=99419608/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=617628 memory=523856 CPUtime=161.73 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 84121 0 0 0 16020 153 0 0 20 0 1 0 23586145 632451072 130964 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 154407 130964 1419 291 0 145941 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 617628 KiB
Current children cumulated memory: 523856 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.17 5/243 216566
/proc/meminfo: memFree=99288744/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=758196 memory=612184 CPUtime=221.53 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 93482 0 0 0 21978 175 0 0 20 0 1 0 23586145 776392704 153046 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 189549 153046 1419 291 0 181083 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 758196 KiB
Current children cumulated memory: 612184 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.17 5/244 216577
/proc/meminfo: memFree=99238088/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=758732 memory=629288 CPUtime=281.32 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 94452 0 0 0 27941 191 0 0 20 0 1 0 23586145 776941568 157322 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 189683 157322 1419 291 0 181217 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 758732 KiB
Current children cumulated memory: 629288 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.17 5/244 216755
/proc/meminfo: memFree=99062116/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=985100 memory=786700 CPUtime=341.13 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 124752 0 0 0 33905 208 0 0 20 0 1 0 23586145 1008742400 196675 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 246275 196675 1419 291 0 237809 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 985100 KiB
Current children cumulated memory: 786700 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.17 5/244 216766
/proc/meminfo: memFree=98952828/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1057328 memory=860724 CPUtime=400.93 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 137255 0 0 0 39873 220 0 0 20 0 1 0 23586145 1082703872 215181 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 264332 215181 1419 291 0 255866 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 1057328 KiB
Current children cumulated memory: 860724 KiB

[startup+462.3 s]
/proc/loadavg: 4.92 4.34 4.24 5/244 216825
/proc/meminfo: memFree=99142840/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1065764 memory=899168 CPUtime=460.72 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 141478 0 0 0 45843 229 0 0 20 0 1 0 23586145 1091342336 224792 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 266441 224792 1419 291 0 257975 0

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

Current children cumulated memory: 1171224 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.14 4.15 5/244 217896
/proc/meminfo: memFree=98379644/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=2912.34 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 169776 0 0 0 290724 510 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 2912.34 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.14 4.15 5/244 217906
/proc/meminfo: memFree=98379336/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=2972.13 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 170232 0 0 0 296693 520 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 2972.13 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+3042.3 s]
/proc/loadavg: 4.32 4.18 4.16 5/244 217916
/proc/meminfo: memFree=98378984/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3031.94 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 170707 0 0 0 302665 529 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3031.94 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/244 217926
/proc/meminfo: memFree=98378684/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3091.73 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 171191 0 0 0 308639 534 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3091.73 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/242 217937
/proc/meminfo: memFree=98372552/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3151.54 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 171683 0 0 0 314615 539 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3151.54 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/242 217948
/proc/meminfo: memFree=98372344/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3211.34 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 172184 0 0 0 320590 544 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3211.34 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/242 217958
/proc/meminfo: memFree=98371924/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3271.14 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 172695 0 0 0 326564 550 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3271.14 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/242 217968
/proc/meminfo: memFree=98367684/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3330.94 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 173078 0 0 0 332534 560 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3330.94 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/242 217979
/proc/meminfo: memFree=98365160/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3390.73 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 173538 0 0 0 338502 571 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3390.73 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/244 217994
/proc/meminfo: memFree=98345640/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3450.53 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 174011 0 0 0 344474 579 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3450.53 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.15 4.15 5/244 218005
/proc/meminfo: memFree=98340992/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3510.33 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 174507 0 0 0 350450 583 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3510.33 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/244 218016
/proc/meminfo: memFree=98337028/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3570.13 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 175006 0 0 0 356423 590 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3570.13 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/244 218021
/proc/meminfo: memFree=98333800/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3600.03 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 175389 0 0 0 359411 592 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.12 s, system=5.92623 s

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

[startup+3612.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/244 218021
/proc/meminfo: memFree=98333800/131655788 swapFree=131062644/131071996
[pid=215858] ppid=215854 vsize=1293472 memory=1177672 CPUtime=3600.03 cores=0,2
/proc/215858/stat : 215858 (pb-oll-rs) R 215854 215858 215796 0 -1 4194304 175389 0 0 0 359411 592 0 0 20 0 1 0 23586145 1324515328 294418 134679101440 4194304 5384485 140725076272512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 25096192 140725076276247 140725076276324 140725076276324 140725076283339 0
/proc/215858/statm: 323368 294418 1419 291 0 314902 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1177672 KiB

Child status: 0

Real time (s): 3612.31
CPU time (s): 3600.04
CPU user time (s): 3594.12
CPU system time (s): 5.92623
CPU usage (%): 99.6606
Max. virtual memory (cumulated for all children) (KiB): 1293472
Max. memory (cumulated for all children) (KiB): 1177672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.12
system time used= 5.92623
maximum resident set size= 1177876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175413
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= 78
involuntary context switches= 25200


# summary of solver processes directly reported to runsolver:
#   pid: 215858
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3594.12
#   total CPU system time (s): 5.92623

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7701 second user time and 35.3515 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-25 04:52:51
IDJOB=4457775
IDBENCH=176755
IDSOLVER=3082
FILE ID=nodeC003/4457775-1721875971
RUNJOBID= nodeC003-1721875971-215806
SLURM_JOB_ID= 8089247
Free space on /tmp= 723780 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_2000_1000_1_-110625.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457775-1721875971/watcher-4457775-1721875971 -o /tmp/evaluation-result-4457775-1721875971/solver-4457775-1721875971 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721875971-215806 --watchdog 3760  pb-oll-rs HOME/instance-4457775-1721875971.opb

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

MD5SUM BENCH= 4e250cdab7b4044f2b74367cd304c22b
RANDOM SEED=1745531335

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        100281504 kB
MemAvailable:   129791440 kB
Buffers:          292000 kB
Cached:         29766112 kB
SwapCached:          968 kB
Active:          2483576 kB
Inactive:       27894444 kB
Active(anon):       2464 kB
Inactive(anon):   370884 kB
Active(file):    2481112 kB
Inactive(file): 27523560 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062644 kB
Dirty:              6348 kB
Writeback:             0 kB
AnonPages:        319132 kB
Mapped:           109372 kB
Shmem:             53440 kB
KReclaimable:     567008 kB
Slab:             680988 kB
SReclaimable:     567008 kB
SUnreclaim:       113980 kB
KernelStack:        3672 kB
PageTables:        10112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     653084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC003 at 2024-07-25 05:53:03