Trace number 4457761

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02SAT (TO)-103417 3600.08 3610.12

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.004357
0.00/0.01	c stratification level: 999
0.00/0.01	c bounds -2999 >= -977737 @ 0.007102
0.00/0.01	c stratification level: 998
0.00/0.02	c bounds -4995 >= -977737 @ 0.009247
0.00/0.02	c stratification level: 997
0.00/0.03	c bounds -7986 >= -977737 @ 0.011615
0.00/0.03	c stratification level: 996
0.00/0.03	c bounds -8982 >= -977737 @ 0.014935
0.00/0.03	c stratification level: 995
0.00/0.04	c bounds -9977 >= -977737 @ 0.020207
0.00/0.04	c stratification level: 994
0.00/0.04	c bounds -10971 >= -977737 @ 0.02297
0.00/0.04	c stratification level: 993
0.00/0.05	c bounds -11964 >= -977737 @ 0.023885
0.00/0.05	c stratification level: 992
0.00/0.06	c bounds -13948 >= -977737 @ 0.026161
0.00/0.06	c stratification level: 989
0.00/0.06	c bounds -14937 >= -977737 @ 0.02849
0.00/0.06	c stratification level: 987
0.00/0.07	c bounds -15924 >= -977737 @ 0.02896
0.00/0.07	c stratification level: 986
0.00/0.08	c bounds -16910 >= -977737 @ 0.033306
0.00/0.08	c stratification level: 984
0.00/0.08	c bounds -18878 >= -977737 @ 0.03494
0.00/0.08	c stratification level: 983
0.00/0.09	c bounds -19861 >= -977737 @ 0.036866
0.00/0.09	c stratification level: 982
0.00/0.09	c bounds -20843 >= -977737 @ 0.040365
0.00/0.09	c stratification level: 981
0.09/0.11	c bounds -20843 >= -975775 @ 0.041294
0.09/0.11	c finalizing WCE round: reformulating cores
0.09/0.11	c bounds -21824 >= -975775 @ 0.042054
0.09/0.11	c bounds -22473 >= -975775 @ 0.04244
0.09/0.11	c stratification level: 980
0.09/0.11	c bounds -22916 >= -975775 @ 0.044751
0.09/0.11	c stratification level: 979
0.09/0.11	c bounds -23858 >= -975775 @ 0.045287
0.09/0.11	c stratification level: 978
0.09/0.11	c bounds -24239 >= -975775 @ 0.047877
0.09/0.11	c stratification level: 977
0.09/0.11	c bounds -25198 >= -975775 @ 0.048094
0.09/0.11	c stratification level: 976
0.09/0.11	c bounds -27137 >= -975775 @ 0.049013
0.09/0.11	c stratification level: 973
0.09/0.11	c bounds -28070 >= -975775 @ 0.049718
0.09/0.11	c stratification level: 972
0.09/0.12	c bounds -28070 >= -974803 @ 0.050292
0.09/0.12	c finalizing WCE round: reformulating cores
0.09/0.13	c bounds -30239 >= -974803 @ 0.058821
0.09/0.13	c bounds -30323 >= -974803 @ 0.058822
0.09/0.13	c stratification level: 971
0.09/0.13	c bounds -32265 >= -974803 @ 0.058823
0.09/0.13	c stratification level: 970
0.09/0.13	c bounds -33229 >= -974803 @ 0.058824
0.09/0.13	c stratification level: 969
0.09/0.15	c bounds -33235 >= -974803 @ 0.072788
0.09/0.15	c stratification level: 968
0.09/0.15	c bounds -35159 >= -974803 @ 0.073786
0.09/0.15	c stratification level: 967
0.09/0.15	c bounds -35239 >= -974803 @ 0.07394
0.09/0.15	c stratification level: 965
0.09/0.15	c bounds -35353 >= -974803 @ 0.074783
0.09/0.15	c stratification level: 964
0.09/0.16	c bounds -35562 >= -974803 @ 0.074784
0.09/0.16	c stratification level: 963
0.09/0.16	c bounds -35608 >= -974803 @ 0.075783
0.09/0.16	c stratification level: 962
0.09/0.16	c bounds -35720 >= -974803 @ 0.075783
0.09/0.16	c stratification level: 961
0.09/0.16	c bounds -38603 >= -974803 @ 0.076577
0.09/0.16	c stratification level: 960
0.09/0.16	c bounds -39563 >= -974803 @ 0.077609
0.09/0.16	c stratification level: 959
0.09/0.18	c bounds -39563 >= -973844 @ 0.078205
0.09/0.18	c finalizing WCE round: reformulating cores
0.09/0.20	c bounds -39737 >= -973844 @ 0.104064
0.09/0.20	c bounds -39788 >= -973844 @ 0.107739
0.09/0.20	c stratification level: 958
0.09/0.21	c bounds -39794 >= -973844 @ 0.110013
0.09/0.21	c stratification level: 957
0.09/0.21	c bounds -39840 >= -973844 @ 0.110682
0.09/0.21	c stratification level: 956
0.09/0.21	c bounds -39845 >= -973844 @ 0.111936
0.09/0.21	c stratification level: 954
0.21/0.22	c bounds -40789 >= -973844 @ 0.113317
0.21/0.22	c stratification level: 953
0.21/0.22	c bounds -40877 >= -973844 @ 0.11437
0.21/0.22	c stratification level: 952
0.21/0.22	c bounds -40877 >= -972892 @ 0.115002
0.21/0.22	c finalizing WCE round: reformulating cores
0.21/0.22	c bounds -40988 >= -972892 @ 0.124333
0.21/0.22	c bounds -40992 >= -972892 @ 0.125631
0.21/0.22	c stratification level: 951
0.21/0.23	c bounds -41534 >= -972892 @ 0.125635
0.21/0.23	c stratification level: 950
0.21/0.23	c bounds -41551 >= -972892 @ 0.126631
0.21/0.23	c stratification level: 949
0.21/0.23	c bounds -42500 >= -972892 @ 0.127817
0.21/0.23	c stratification level: 948
0.21/0.23	c bounds -42591 >= -972892 @ 0.128627
0.21/0.23	c stratification level: 947
0.21/0.24	c bounds -42657 >= -972892 @ 0.131459
0.21/0.24	c stratification level: 945
0.21/0.24	c bounds -42751 >= -972892 @ 0.131618
0.21/0.24	c stratification level: 944
0.21/0.24	c bounds -42865 >= -972892 @ 0.131618
0.21/0.24	c stratification level: 943
0.21/0.24	c bounds -42865 >= -971006 @ 0.131968
0.21/0.24	c finalizing WCE round: reformulating cores
0.21/0.27	c bounds -43705 >= -971006 @ 0.143749
0.21/0.27	c bounds -43716 >= -971006 @ 0.156852
0.21/0.27	c stratification level: 942
0.21/0.29	c bounds -43878 >= -971006 @ 0.176274
0.21/0.29	c stratification level: 941
0.21/0.29	c bounds -43885 >= -971006 @ 0.177718
0.21/0.29	c stratification level: 939
0.21/0.30	c bounds -44812 >= -971006 @ 0.179287
0.21/0.30	c stratification level: 938
0.21/0.30	c bounds -44937 >= -971006 @ 0.18076
0.21/0.30	c stratification level: 937
0.21/0.30	c bounds -45863 >= -971006 @ 0.181494
0.21/0.30	c stratification level: 935
0.31/0.36	c bounds -45925 >= -971006 @ 0.234599
0.31/0.36	c stratification level: 934
0.31/0.36	c bounds -45925 >= -969138 @ 0.235455
0.31/0.36	c finalizing WCE round: reformulating cores
0.41/0.46	c bounds -45934 >= -969138 @ 0.240379
0.41/0.46	c bounds -45934 >= -969138 @ 0.244627
0.41/0.46	c bounds -45934 >= -969138 @ 0.250769
0.41/0.46	c bounds -45934 >= -969138 @ 0.307032
0.41/0.46	c bounds -45939 >= -969134 @ 0.325692
0.41/0.46	c bounds -46885 >= -969134 @ 0.327164
0.41/0.46	c stratification level: 933
0.41/0.47	c bounds -46899 >= -969134 @ 0.337264
0.41/0.47	c stratification level: 932
0.41/0.48	c bounds -46972 >= -969134 @ 0.351474
0.41/0.48	c stratification level: 931
0.41/0.49	c bounds -46982 >= -969134 @ 0.356784
0.41/0.49	c stratification level: 930
0.41/0.49	c bounds -47900 >= -969134 @ 0.3578
0.41/0.49	c stratification level: 929
0.41/0.50	c bounds -48000 >= -969134 @ 0.361789
0.41/0.50	c stratification level: 924
0.41/0.50	c bounds -48924 >= -969134 @ 0.362579
0.41/0.50	c stratification level: 923
0.41/0.50	c bounds -49123 >= -969134 @ 0.363786
0.41/0.50	c stratification level: 922
0.41/0.50	c bounds -50951 >= -969134 @ 0.363949
0.41/0.50	c stratification level: 920
0.41/0.50	c bounds -51232 >= -969134 @ 0.364778
0.41/0.50	c stratification level: 919
0.41/0.51	c bounds -51232 >= -968215 @ 0.365955
0.41/0.51	c finalizing WCE round: reformulating cores
0.51/0.52	c bounds -51849 >= -968215 @ 0.371488
0.51/0.52	c bounds -51859 >= -968215 @ 0.37462
0.51/0.52	c stratification level: 917
0.51/0.53	c bounds -51903 >= -968215 @ 0.392058
0.51/0.53	c stratification level: 916
0.51/0.54	c bounds -51936 >= -968215 @ 0.39367
0.51/0.54	c stratification level: 914
0.51/0.54	c bounds -52000 >= -968215 @ 0.394671
0.51/0.54	c stratification level: 913
0.51/0.54	c bounds -52015 >= -968215 @ 0.3986
0.51/0.54	c stratification level: 912
0.51/0.57	c bounds -52038 >= -968215 @ 0.424166
0.51/0.57	c stratification level: 911
0.51/0.57	c bounds -52104 >= -968215 @ 0.425517
0.51/0.57	c stratification level: 910
0.51/0.61	c bounds -52104 >= -967305 @ 0.426234
0.51/0.61	c finalizing WCE round: reformulating cores
0.59/0.63	c bounds -52183 >= -967305 @ 0.469835
0.59/0.63	c bounds -52221 >= -967305 @ 0.47218
0.59/0.63	c stratification level: 908
0.59/0.63	c bounds -52294 >= -967305 @ 0.472808
0.59/0.63	c stratification level: 907
0.59/0.63	c bounds -53201 >= -967305 @ 0.475017
0.59/0.63	c stratification level: 906
0.59/0.64	c bounds -54900 >= -967305 @ 0.475851
0.59/0.64	c stratification level: 905
0.59/0.64	c bounds -54904 >= -967305 @ 0.48339
0.59/0.64	c stratification level: 904
0.59/0.65	c bounds -56828 >= -967305 @ 0.486373
0.59/0.65	c stratification level: 903
0.59/0.65	c bounds -56903 >= -967305 @ 0.486374
0.59/0.65	c stratification level: 902
0.59/0.65	c bounds -56907 >= -967305 @ 0.490158
0.59/0.65	c stratification level: 900
0.59/0.66	c bounds -56907 >= -966405 @ 0.490916
0.59/0.66	c finalizing WCE round: reformulating cores
0.59/0.68	c bounds -59231 >= -966405 @ 0.511299
0.59/0.68	c bounds -62849 >= -966405 @ 0.5113
0.59/0.68	c stratification level: 899
0.59/0.68	c bounds -62858 >= -966405 @ 0.514454
0.59/0.68	c stratification level: 898
0.68/0.71	c bounds -62862 >= -966405 @ 0.541348
0.68/0.71	c stratification level: 897
0.68/0.72	c bounds -63747 >= -966405 @ 0.542633
0.68/0.72	c stratification level: 896
0.68/0.72	c bounds -65523 >= -966405 @ 0.544694
0.68/0.72	c stratification level: 895
0.68/0.73	c bounds -65908 >= -966405 @ 0.552181
0.68/0.73	c stratification level: 893
0.68/0.76	c bounds -65934 >= -966405 @ 0.586421
0.68/0.76	c stratification level: 892
0.68/0.77	c bounds -65934 >= -965513 @ 0.587593
0.68/0.77	c finalizing WCE round: reformulating cores
0.78/0.84	c bounds -66087 >= -965513 @ 0.650862
0.78/0.84	c bounds -66208 >= -965513 @ 0.651279
0.78/0.84	c stratification level: 889
0.78/0.86	c bounds -66383 >= -965513 @ 0.676776
0.78/0.86	c stratification level: 888
0.78/0.87	c bounds -66383 >= -964625 @ 0.677616
0.78/0.87	c finalizing WCE round: reformulating cores
0.88/0.95	c bounds -66599 >= -964625 @ 0.737187
0.88/0.95	c bounds -66695 >= -964625 @ 0.753612
0.88/0.95	c stratification level: 886
0.88/0.98	c bounds -66705 >= -964625 @ 0.780741
0.88/0.98	c stratification level: 884
0.88/0.98	c bounds -67582 >= -964625 @ 0.781984
0.88/0.98	c stratification level: 883
0.88/0.98	c bounds -68465 >= -964625 @ 0.784042
0.88/0.98	c stratification level: 882
0.88/0.99	c bounds -68474 >= -964625 @ 0.785402
0.88/0.99	c stratification level: 881
1.00/1.03	c bounds -68549 >= -964625 @ 0.822241
1.00/1.03	c stratification level: 880
1.00/1.03	c bounds -68549 >= -963745 @ 0.823182
1.00/1.03	c finalizing WCE round: reformulating cores
1.00/1.07	c bounds -68642 >= -963745 @ 0.838095
1.00/1.07	c bounds -68648 >= -963745 @ 0.865435
1.00/1.07	c stratification level: 874
1.00/1.11	c bounds -68738 >= -963745 @ 0.897475
1.00/1.11	c stratification level: 872
1.00/1.11	c bounds -68757 >= -963745 @ 0.898604
1.00/1.11	c stratification level: 871
1.10/1.11	c bounds -68874 >= -963745 @ 0.90004
1.10/1.11	c stratification level: 869
1.10/1.11	c bounds -69712 >= -963745 @ 0.901998
1.10/1.11	c stratification level: 868
1.10/1.14	c bounds -69713 >= -963745 @ 0.92743
1.10/1.14	c stratification level: 867
1.10/1.14	c bounds -69713 >= -962878 @ 0.928629
1.10/1.14	c finalizing WCE round: reformulating cores
1.10/1.15	c bounds -69824 >= -962878 @ 0.931074
1.10/1.15	c bounds -69899 >= -962878 @ 0.932651
1.10/1.15	c stratification level: 859
1.19/1.20	c bounds -69903 >= -962878 @ 0.975402
1.19/1.20	c stratification level: 858
1.19/1.20	c bounds -70080 >= -962878 @ 0.977159
1.19/1.20	c stratification level: 857
1.19/1.21	c bounds -70080 >= -962021 @ 0.978248
1.19/1.21	c finalizing WCE round: reformulating cores
1.19/1.27	c bounds -70261 >= -962021 @ 1.03974
1.19/1.27	c bounds -70263 >= -962021 @ 1.04258
1.19/1.27	c stratification level: 849
1.28/1.30	c bounds -70265 >= -962021 @ 1.06468
1.28/1.30	c stratification level: 848
1.28/1.31	c bounds -70265 >= -961173 @ 1.06572
1.28/1.31	c finalizing WCE round: reformulating cores
1.28/1.32	c bounds -70288 >= -961173 @ 1.08483
1.28/1.32	c bounds -70349 >= -961173 @ 1.08852
1.28/1.32	c stratification level: 843
1.28/1.33	c bounds -72845 >= -961173 @ 1.08989
1.28/1.33	c stratification level: 842
1.28/1.33	c bounds -72879 >= -961173 @ 1.09112
1.28/1.33	c stratification level: 840
1.28/1.36	c bounds -73044 >= -961173 @ 1.12146
1.28/1.36	c stratification level: 839
1.28/1.37	c bounds -73044 >= -960334 @ 1.12258
1.28/1.37	c finalizing WCE round: reformulating cores
1.28/1.38	c bounds -73136 >= -960334 @ 1.13396
1.28/1.38	c bounds -73163 >= -960334 @ 1.13643
1.28/1.38	c stratification level: 837
1.28/1.38	c bounds -74826 >= -960334 @ 1.1388
1.28/1.38	c stratification level: 836
1.28/1.38	c bounds -75075 >= -960334 @ 1.1404
1.28/1.38	c stratification level: 833
1.28/1.39	c bounds -75135 >= -960334 @ 1.15163
1.28/1.39	c stratification level: 832
1.38/1.44	c bounds -75135 >= -959502 @ 1.19789
1.38/1.44	c finalizing WCE round: reformulating cores
1.38/1.45	c bounds -75144 >= -959502 @ 1.20372
1.38/1.45	c bounds -75235 >= -959502 @ 1.20477
1.38/1.45	c stratification level: 824
1.38/1.46	c bounds -75235 >= -956206 @ 1.20637
1.38/1.46	c finalizing WCE round: reformulating cores
1.48/1.58	c bounds -75277 >= -956206 @ 1.2249
1.48/1.58	c #Conflicts:       1000 | #Constraints:       1217
1.48/1.58	c bounds -75277 >= -956206 @ 1.31704
1.48/1.58	c bounds -75373 >= -956203 @ 1.32467
1.48/1.58	c bounds -76213 >= -956203 @ 1.32701
1.48/1.58	c stratification level: 815
1.48/1.59	c bounds -76213 >= -953758 @ 1.32842
1.48/1.59	c finalizing WCE round: reformulating cores
5.98/6.03	c bounds -76272 >= -953756 @ 1.34642
5.98/6.03	c bounds -76272 >= -953756 @ 1.40997
5.98/6.03	c bounds -76272 >= -953756 @ 1.41471
5.98/6.03	c bounds -76272 >= -953756 @ 1.56333
5.98/6.03	c bounds -76272 >= -953756 @ 1.58922
5.98/6.03	c bounds -76272 >= -953756 @ 1.6037
5.98/6.03	c bounds -76272 >= -953756 @ 1.88416
5.98/6.03	c bounds -76272 >= -953756 @ 1.92013
5.98/6.03	c bounds -76272 >= -953756 @ 1.93531
5.98/6.03	c bounds -76272 >= -953756 @ 2.02774
5.98/6.03	c bounds -76272 >= -953756 @ 2.06127
5.98/6.03	c bounds -76272 >= -953756 @ 2.17039
5.98/6.03	c #Conflicts:       2000 | #Constraints:       2259
5.98/6.03	c INPROCESSING
5.98/6.03	c GARBAGE COLLECT
5.98/6.03	c bounds -76272 >= -953756 @ 3.26322
5.98/6.03	c bounds -76272 >= -953756 @ 3.28693
5.98/6.03	c bounds -76272 >= -953756 @ 4.30647
5.98/6.03	c bounds -76272 >= -953756 @ 4.51412
5.98/6.03	c bounds -76272 >= -953756 @ 4.57736
5.98/6.03	c bounds -76272 >= -953756 @ 5.3552
5.98/6.03	c bounds -76272 >= -953756 @ 5.42662
5.98/6.03	c bounds -76272 >= -953756 @ 5.49637
5.98/6.03	c bounds -76310 >= -952938 @ 5.54941
5.98/6.03	c #Conflicts:       3000 | #Constraints:       2072
5.98/6.03	c bounds -77413 >= -952938 @ 5.71691
5.98/6.03	c stratification level: 803
5.98/6.03	c bounds -77413 >= -952135 @ 5.72109
5.98/6.03	c finalizing WCE round: reformulating cores
7.27/7.38	c bounds -79753 >= -952135 @ 6.13939
7.27/7.38	c bounds -79803 >= -952134 @ 6.92122
7.27/7.38	c bounds -79811 >= -952134 @ 7.02398
7.27/7.38	c stratification level: 802
7.27/7.39	c bounds -79920 >= -952134 @ 7.03425
7.27/7.39	c stratification level: 800
7.37/7.40	c bounds -79977 >= -952134 @ 7.0426
7.37/7.40	c stratification level: 799
7.37/7.40	c bounds -80056 >= -952134 @ 7.0446
7.37/7.40	c stratification level: 798
7.77/7.88	c bounds -80056 >= -951336 @ 7.48879
7.77/7.88	c finalizing WCE round: reformulating cores
7.86/7.93	c bounds -80098 >= -951336 @ 7.52361
7.86/7.93	c bounds -80107 >= -951336 @ 7.52877
7.86/7.93	c stratification level: 791
7.86/7.95	c bounds -80132 >= -951336 @ 7.54677
7.86/7.95	c stratification level: 790
7.86/7.97	c bounds -80132 >= -950546 @ 7.55199
7.86/7.97	c finalizing WCE round: reformulating cores
8.08/8.17	c bounds -80290 >= -950546 @ 7.75601
8.08/8.17	c bounds -81876 >= -950546 @ 7.75822
8.08/8.17	c stratification level: 786
8.08/8.17	c bounds -81876 >= -949760 @ 7.76049
8.08/8.17	c finalizing WCE round: reformulating cores
8.26/8.39	c bounds -82662 >= -949760 @ 7.96287
8.26/8.39	c bounds -82664 >= -949760 @ 7.97079
8.26/8.39	c stratification level: 783
8.46/8.54	c bounds -82665 >= -949760 @ 8.1046
8.46/8.54	c stratification level: 782
8.46/8.55	c bounds -82687 >= -949760 @ 8.11111
8.46/8.55	c stratification level: 781
8.46/8.56	c bounds -82782 >= -949760 @ 8.11433
8.46/8.56	c stratification level: 777
8.46/8.56	c bounds -82782 >= -947429 @ 8.11643
8.46/8.56	c finalizing WCE round: reformulating cores
8.46/8.59	c bounds -83589 >= -947427 @ 8.12765
8.46/8.59	c bounds -83615 >= -947427 @ 8.1388
8.46/8.59	c stratification level: 770
8.56/8.64	c bounds -83615 >= -945887 @ 8.14133
8.56/8.64	c finalizing WCE round: reformulating cores
8.97/9.03	c bounds -83644 >= -945886 @ 8.56577
8.97/9.03	c bounds -85190 >= -945886 @ 8.56899
8.97/9.03	c stratification level: 764
8.97/9.04	c bounds -85190 >= -945122 @ 8.57265
8.97/9.04	c finalizing WCE round: reformulating cores
9.16/9.28	c bounds -85677 >= -945122 @ 8.62353
9.16/9.28	c bounds -85677 >= -945122 @ 8.62513
9.16/9.28	c bounds -85677 >= -945122 @ 8.67325
9.16/9.28	c bounds -85677 >= -945122 @ 8.6759
9.16/9.28	c bounds -86631 >= -944358 @ 8.68262
9.16/9.28	c #Conflicts:       4000 | #Constraints:       3132
9.16/9.28	c bounds -86651 >= -944358 @ 8.80325
9.16/9.28	c stratification level: 759
9.16/9.29	c bounds -86651 >= -943599 @ 8.80827
9.16/9.29	c finalizing WCE round: reformulating cores
9.67/9.71	c bounds -88902 >= -943599 @ 8.97034
9.67/9.71	c INPROCESSING
9.67/9.71	c GARBAGE COLLECT
9.67/9.71	c bounds -88902 >= -943599 @ 9.20796
9.67/9.71	c bounds -88902 >= -943599 @ 9.21
9.67/9.71	c bounds -88902 >= -943599 @ 9.21273
9.67/9.71	c bounds -88902 >= -943599 @ 9.21531
9.67/9.71	c bounds -88902 >= -943599 @ 9.21701
9.67/9.71	c bounds -88902 >= -943599 @ 9.21839
9.67/9.71	c bounds -88910 >= -942840 @ 9.22141
9.67/9.71	c bounds -89019 >= -942840 @ 9.22468
9.67/9.71	c stratification level: 756
9.76/9.85	c bounds -89019 >= -942084 @ 9.35597
9.76/9.85	c finalizing WCE round: reformulating cores
9.76/9.86	c bounds -89395 >= -942084 @ 9.36593
9.76/9.86	c bounds -89416 >= -942084 @ 9.3687
9.76/9.86	c stratification level: 752
9.86/9.92	c bounds -89416 >= -941332 @ 9.42242
9.86/9.92	c finalizing WCE round: reformulating cores
10.55/10.60	c bounds -92605 >= -941332 @ 9.55671
10.55/10.60	c bounds -92612 >= -941331 @ 10.0669
10.55/10.60	c bounds -92614 >= -941331 @ 10.0703
10.55/10.60	c stratification level: 746
10.55/10.60	c bounds -92614 >= -938347 @ 10.073
10.55/10.60	c finalizing WCE round: reformulating cores
10.75/10.86	c bounds -92616 >= -938346 @ 10.0874
10.75/10.86	c bounds -92616 >= -938346 @ 10.0954
10.75/10.86	c bounds -92616 >= -938346 @ 10.1079
10.75/10.86	c bounds -92616 >= -938346 @ 10.1476
10.75/10.86	c bounds -92629 >= -938342 @ 10.3193
10.75/10.86	c bounds -92948 >= -938342 @ 10.3283
10.75/10.86	c stratification level: 741
10.85/10.90	c bounds -92948 >= -936860 @ 10.3317
10.85/10.90	c finalizing WCE round: reformulating cores
12.95/13.06	c bounds -93046 >= -936860 @ 10.3695
12.95/13.06	c #Conflicts:       5000 | #Constraints:       2581
12.95/13.06	c bounds -93046 >= -936860 @ 11.1938
12.95/13.06	c bounds -93046 >= -936860 @ 11.2137
12.95/13.06	c bounds -93046 >= -936860 @ 11.6201
12.95/13.06	c bounds -93046 >= -936860 @ 11.6601
12.95/13.06	c bounds -93046 >= -936860 @ 11.686
12.95/13.06	c bounds -93055 >= -936118 @ 12.467
12.95/13.06	c bounds -93090 >= -936118 @ 12.49
12.95/13.06	c stratification level: 730
12.95/13.07	c bounds -93090 >= -931738 @ 12.4944
12.95/13.07	c finalizing WCE round: reformulating cores
24.61/24.77	c bounds -95816 >= -931722 @ 12.5295
24.61/24.77	c bounds -95816 >= -931722 @ 12.54
24.61/24.77	c bounds -95816 >= -931722 @ 12.5725
24.61/24.77	c bounds -95816 >= -931722 @ 12.8658
24.61/24.77	c bounds -95816 >= -931722 @ 12.8955
24.61/24.77	c bounds -95816 >= -931722 @ 12.9281
24.61/24.77	c bounds -95816 >= -931722 @ 12.9779
24.61/24.77	c bounds -95816 >= -931722 @ 13.4852
24.61/24.77	c bounds -95816 >= -931722 @ 13.5669
24.61/24.77	c #Conflicts:       6000 | #Constraints:       3629
24.61/24.77	c bounds -95816 >= -931722 @ 14.3234
24.61/24.77	c bounds -95816 >= -931722 @ 14.4095
24.61/24.77	c bounds -95816 >= -931722 @ 14.535
24.61/24.77	c bounds -95816 >= -931722 @ 14.6583
24.61/24.77	c bounds -95816 >= -931722 @ 14.7923
24.61/24.77	c bounds -95816 >= -931722 @ 14.9403
24.61/24.77	c bounds -95816 >= -931722 @ 15.0911
24.61/24.77	c bounds -95816 >= -931722 @ 15.2723
24.61/24.77	c bounds -95816 >= -931722 @ 15.4982
24.61/24.77	c bounds -95816 >= -931722 @ 15.7943
24.61/24.77	c bounds -95816 >= -931722 @ 16.0221
24.61/24.77	c bounds -95816 >= -931722 @ 16.2992
24.61/24.77	c bounds -95816 >= -931722 @ 16.5547
24.61/24.77	c #Conflicts:       7000 | #Constraints:       4668
24.61/24.77	c bounds -95816 >= -931722 @ 16.8042
24.61/24.77	c bounds -95816 >= -931722 @ 17.0694
24.61/24.77	c bounds -95816 >= -931722 @ 17.3064
24.61/24.77	c bounds -95816 >= -931722 @ 17.5987
24.61/24.77	c bounds -95816 >= -931722 @ 17.8613
24.61/24.77	c bounds -95816 >= -931722 @ 18.0988
24.61/24.77	c bounds -95816 >= -931722 @ 18.449
24.61/24.77	c bounds -95816 >= -931722 @ 18.6632
24.61/24.77	c bounds -95816 >= -931722 @ 18.9732
24.61/24.77	c bounds -95816 >= -931722 @ 19.2665
24.61/24.77	c #Conflicts:       8000 | #Constraints:       5698
24.61/24.77	c bounds -95816 >= -931722 @ 19.5665
24.61/24.77	c bounds -95816 >= -931722 @ 19.678
24.61/24.77	c bounds -95816 >= -931722 @ 19.7415
24.61/24.77	c bounds -95816 >= -931722 @ 19.8391
24.61/24.77	c bounds -95816 >= -931722 @ 19.9163
24.61/24.77	c bounds -95816 >= -931722 @ 19.9982
24.61/24.77	c bounds -95816 >= -930982 @ 23.8567
24.61/24.77	c bounds -95829 >= -930982 @ 24.0361
24.61/24.77	c stratification level: 725
24.71/24.80	c bounds -95829 >= -926632 @ 24.0437
24.71/24.80	c finalizing WCE round: reformulating cores
28.80/28.94	c bounds -95972 >= -926630 @ 24.1165
28.80/28.94	c bounds -95972 >= -926630 @ 24.1559
28.80/28.94	c bounds -95972 >= -926630 @ 24.2411
28.80/28.94	c #Conflicts:       9000 | #Constraints:       6731
28.80/28.94	c bounds -95972 >= -926630 @ 24.2813
28.80/28.94	c INPROCESSING
28.80/28.94	c GARBAGE COLLECT
28.80/28.94	c bounds -95972 >= -926630 @ 27.4959
28.80/28.94	c bounds -95972 >= -926630 @ 27.9122
28.80/28.94	c bounds -96238 >= -926624 @ 27.9489
28.80/28.94	c bounds -96326 >= -926624 @ 28.1546
28.80/28.94	c stratification level: 715
28.80/28.95	c bounds -96326 >= -919474 @ 28.1619
28.80/28.95	c finalizing WCE round: reformulating cores
35.89/36.06	c bounds -96332 >= -919459 @ 28.2506
35.89/36.06	c bounds -96332 >= -919459 @ 28.3211
35.89/36.06	c bounds -96332 >= -919459 @ 28.4101
35.89/36.06	c bounds -96332 >= -919459 @ 28.5109
35.89/36.06	c bounds -96332 >= -919459 @ 28.5991
35.89/36.06	c bounds -96332 >= -919459 @ 28.6767
35.89/36.06	c bounds -96332 >= -919459 @ 28.7657
35.89/36.06	c bounds -96332 >= -919459 @ 28.8663
35.89/36.06	c bounds -96332 >= -919459 @ 28.9613
35.89/36.06	c bounds -96332 >= -919459 @ 29.0457
35.89/36.06	c bounds -96332 >= -919459 @ 29.1249
35.89/36.06	c bounds -96332 >= -919459 @ 29.2195
35.89/36.06	c bounds -96332 >= -919459 @ 29.3175
35.89/36.06	c #Conflicts:      10000 | #Constraints:       5466
35.89/36.06	c bounds -96332 >= -919459 @ 29.4061
35.89/36.06	c bounds -96332 >= -919459 @ 29.4878
35.89/36.06	c bounds -96332 >= -919459 @ 29.5523
35.89/36.06	c bounds -96332 >= -919459 @ 29.6609
35.89/36.06	c bounds -96332 >= -919459 @ 29.7711
35.89/36.06	c bounds -96332 >= -919459 @ 29.9144
35.89/36.06	c bounds -96332 >= -919440 @ 34.9525
35.89/36.06	c bounds -96345 >= -919440 @ 35.1988
35.89/36.06	c stratification level: 710
35.99/36.15	c bounds -96345 >= -916600 @ 35.2082
35.99/36.15	c #Conflicts:      11000 | #Constraints:       6486
35.99/36.15	c finalizing WCE round: reformulating cores
48.64/48.87	c bounds -96353 >= -916599 @ 35.3393
48.64/48.87	c bounds -96353 >= -916599 @ 35.3717
48.64/48.87	c bounds -96353 >= -916599 @ 35.4083
48.64/48.87	c bounds -96353 >= -916599 @ 37.5371
48.64/48.87	c bounds -96353 >= -916599 @ 37.5974
48.64/48.87	c bounds -96353 >= -916599 @ 38.8823
48.64/48.87	c #Conflicts:      12000 | #Constraints:       7507
48.64/48.87	c bounds -96353 >= -916593 @ 47.456
48.64/48.87	c bounds -96370 >= -916593 @ 47.837
48.64/48.87	c stratification level: 702
48.74/48.90	c bounds -96370 >= -912381 @ 47.8525
48.74/48.90	c finalizing WCE round: reformulating cores
58.01/58.29	c bounds -96827 >= -912369 @ 47.9414
58.01/58.29	c bounds -96827 >= -912369 @ 47.9703
58.01/58.29	c bounds -96827 >= -912369 @ 47.9987
58.01/58.29	c bounds -96827 >= -912369 @ 48.088
58.01/58.29	c bounds -96827 >= -912369 @ 48.1655
58.01/58.29	c bounds -96827 >= -912369 @ 48.2089
58.01/58.29	c bounds -96827 >= -912369 @ 48.2971
58.01/58.29	c bounds -96827 >= -912369 @ 48.3581
58.01/58.29	c bounds -96827 >= -912369 @ 48.5092
58.01/58.29	c #Conflicts:      13000 | #Constraints:       8535
58.01/58.29	c bounds -96827 >= -912360 @ 57.1372
58.01/58.29	c bounds -96837 >= -912360 @ 57.1848
58.01/58.29	c stratification level: 692
58.11/58.33	c bounds -96837 >= -909592 @ 57.1992
58.11/58.33	c finalizing WCE round: reformulating cores
72.67/72.92	c bounds -97044 >= -909585 @ 57.3266
72.67/72.92	c bounds -97044 >= -909582 @ 70.1034
72.67/72.92	c #Conflicts:      14000 | #Constraints:       9543
72.67/72.92	c bounds -97076 >= -909582 @ 71.6827
72.67/72.92	c stratification level: 682
72.67/72.97	c bounds -97076 >= -902762 @ 71.7068
72.67/72.97	c finalizing WCE round: reformulating cores
90.83/91.12	c bounds -97148 >= -902748 @ 72.0566
90.83/91.12	c bounds -97148 >= -902748 @ 72.4293
90.83/91.12	c bounds -97148 >= -902748 @ 72.5979
90.83/91.12	c bounds -97148 >= -902748 @ 72.8514
90.83/91.12	c bounds -97148 >= -902748 @ 73.1541
90.83/91.12	c bounds -97148 >= -902748 @ 73.3536
90.83/91.12	c bounds -97148 >= -902748 @ 73.7407
90.83/91.12	c bounds -97148 >= -902748 @ 74.024
90.83/91.12	c bounds -97148 >= -902748 @ 74.2699
90.83/91.12	c bounds -97148 >= -902748 @ 74.5697
90.83/91.12	c #Conflicts:      15000 | #Constraints:      10578
90.83/91.12	c bounds -97148 >= -902738 @ 89.5495
90.83/91.12	c bounds -97225 >= -902738 @ 89.7292
90.83/91.12	c stratification level: 674
90.83/91.18	c bounds -97225 >= -898020 @ 89.7516
90.83/91.18	c finalizing WCE round: reformulating cores
119.54/119.90	c bounds -97338 >= -898008 @ 89.9516
119.54/119.90	c bounds -97338 >= -898008 @ 89.9814
119.54/119.90	c bounds -97338 >= -898008 @ 90.0146
119.54/119.90	c bounds -97338 >= -898008 @ 90.0514
119.54/119.90	c bounds -97338 >= -898008 @ 90.1198
119.54/119.90	c bounds -97338 >= -898008 @ 90.1558
119.54/119.90	c bounds -97338 >= -898008 @ 90.1893
119.54/119.90	c bounds -97338 >= -898008 @ 90.2256
119.54/119.90	c bounds -97338 >= -898008 @ 90.26
119.54/119.90	c bounds -97338 >= -898008 @ 90.2961
119.54/119.90	c bounds -97338 >= -898008 @ 90.4017
119.54/119.90	c bounds -97338 >= -898008 @ 90.4547
119.54/119.90	c bounds -97338 >= -898008 @ 90.5306
119.54/119.90	c bounds -97338 >= -898008 @ 93.8775
119.54/119.90	c bounds -97338 >= -898008 @ 95.9339
119.54/119.90	c bounds -97338 >= -898008 @ 96.047
119.54/119.90	c bounds -97338 >= -898008 @ 96.1276
119.54/119.90	c bounds -97338 >= -898008 @ 96.2979
119.54/119.90	c bounds -97338 >= -898008 @ 96.4974
119.54/119.90	c bounds -97338 >= -898008 @ 96.6939
119.54/119.90	c bounds -97338 >= -898008 @ 97.0616
119.54/119.90	c bounds -97338 >= -898008 @ 97.2994
119.54/119.90	c bounds -97338 >= -898008 @ 97.4927
119.54/119.90	c bounds -97338 >= -898008 @ 97.6792
119.54/119.90	c bounds -97338 >= -898008 @ 97.9042
119.54/119.90	c bounds -97338 >= -898008 @ 98.0989
119.54/119.90	c bounds -97338 >= -898008 @ 98.3776
119.54/119.90	c bounds -97338 >= -898008 @ 98.6905
119.54/119.90	c bounds -97338 >= -898008 @ 98.8183
119.54/119.90	c bounds -97338 >= -898008 @ 99.0584
119.54/119.90	c bounds -97338 >= -898008 @ 99.2789
119.54/119.90	c bounds -97338 >= -898008 @ 99.4472
119.54/119.90	c bounds -97338 >= -898008 @ 99.7162
119.54/119.90	c bounds -97338 >= -898008 @ 99.9386
119.54/119.90	c #Conflicts:      16000 | #Constraints:      11673
119.54/119.90	c bounds -97338 >= -898008 @ 100.155
119.54/119.90	c bounds -97338 >= -898008 @ 100.526
119.54/119.90	c bounds -97338 >= -898008 @ 100.762
119.54/119.90	c bounds -97338 >= -898008 @ 101.049
119.54/119.90	c bounds -97338 >= -898008 @ 101.406
119.54/119.90	c bounds -97338 >= -898008 @ 101.659
119.54/119.90	c bounds -97338 >= -898008 @ 101.848
119.54/119.90	c bounds -97338 >= -898008 @ 102.155
119.54/119.90	c bounds -97338 >= -898008 @ 102.418
119.54/119.90	c bounds -97338 >= -898008 @ 102.753
119.54/119.90	c bounds -97338 >= -898008 @ 103.106
119.54/119.90	c bounds -97338 >= -898008 @ 103.555
119.54/119.90	c bounds -97338 >= -898008 @ 103.794
119.54/119.90	c INPROCESSING
119.54/119.90	c GARBAGE COLLECT
119.54/119.90	c bounds -97338 >= -898008 @ 104.611
119.54/119.90	c bounds -97338 >= -898008 @ 104.716
119.54/119.90	c bounds -97338 >= -898008 @ 104.872
119.54/119.90	c bounds -97338 >= -898008 @ 104.976
119.54/119.90	c bounds -97338 >= -898008 @ 105.183
119.54/119.90	c bounds -97338 >= -898008 @ 105.371
119.54/119.90	c bounds -97338 >= -898008 @ 105.537
119.54/119.90	c bounds -97338 >= -898008 @ 105.691
119.54/119.90	c bounds -97338 >= -898008 @ 105.778
119.54/119.90	c bounds -97338 >= -898008 @ 105.937
119.54/119.90	c bounds -97338 >= -898008 @ 106.113
119.54/119.90	c bounds -97338 >= -898008 @ 106.371
119.54/119.90	c bounds -97338 >= -898008 @ 106.485
119.54/119.90	c bounds -97338 >= -898008 @ 106.616
119.54/119.90	c bounds -97338 >= -898008 @ 106.725
119.54/119.90	c bounds -97338 >= -898008 @ 106.869
119.54/119.90	c bounds -97338 >= -898008 @ 106.979
119.54/119.90	c bounds -97338 >= -898008 @ 107.159
119.54/119.90	c bounds -97338 >= -898008 @ 107.419
119.54/119.90	c #Conflicts:      17000 | #Constraints:      10086
119.54/119.90	c bounds -97338 >= -898008 @ 107.709
119.54/119.90	c bounds -97338 >= -898008 @ 107.824
119.54/119.90	c bounds -97338 >= -898008 @ 108.072
119.54/119.90	c bounds -97338 >= -897321 @ 118.296
119.54/119.90	c bounds -101031 >= -897321 @ 118.314
119.54/119.90	c stratification level: 663
119.54/119.96	c bounds -101031 >= -893343 @ 118.338
119.54/119.96	c finalizing WCE round: reformulating cores
148.36/148.86	c bounds -101062 >= -893338 @ 118.412
148.36/148.86	c bounds -101062 >= -893338 @ 118.433
148.36/148.86	c bounds -101062 >= -893338 @ 118.456
148.36/148.86	c bounds -101062 >= -893338 @ 118.48
148.36/148.86	c bounds -101062 >= -893338 @ 118.503
148.36/148.86	c bounds -101062 >= -893338 @ 118.527
148.36/148.86	c bounds -101062 >= -893338 @ 118.55
148.36/148.86	c bounds -101062 >= -893338 @ 118.573
148.36/148.86	c bounds -101062 >= -893338 @ 118.596
148.36/148.86	c bounds -101062 >= -893338 @ 118.62
148.36/148.86	c bounds -101062 >= -893338 @ 118.643
148.36/148.86	c bounds -101062 >= -893338 @ 118.668
148.36/148.86	c bounds -101062 >= -893338 @ 118.692
148.36/148.86	c bounds -101062 >= -893338 @ 118.795
148.36/148.86	c bounds -101062 >= -893338 @ 118.912
148.36/148.86	c bounds -101062 >= -893338 @ 119.003
148.36/148.86	c bounds -101062 >= -893338 @ 119.082
148.36/148.86	c bounds -101062 >= -893338 @ 119.209
148.36/148.86	c bounds -101062 >= -893338 @ 119.506
148.36/148.86	c #Conflicts:      18000 | #Constraints:      11141
148.36/148.86	c bounds -101062 >= -893338 @ 119.67
148.36/148.86	c bounds -101062 >= -893338 @ 119.943
148.36/148.86	c bounds -101062 >= -893338 @ 120.182
148.36/148.86	c bounds -101062 >= -893338 @ 120.408
148.36/148.86	c bounds -101062 >= -893338 @ 120.502
148.36/148.86	c bounds -101062 >= -893338 @ 120.743
148.36/148.86	c bounds -101062 >= -893338 @ 121.055
148.36/148.86	c bounds -101062 >= -893338 @ 121.391
148.36/148.86	c bounds -101062 >= -893338 @ 121.628
148.36/148.86	c bounds -101062 >= -893338 @ 121.924
148.36/148.86	c bounds -101062 >= -893338 @ 122.262
148.36/148.86	c bounds -101062 >= -893338 @ 122.677
148.36/148.86	c bounds -101062 >= -893338 @ 123.313
148.36/148.86	c bounds -101062 >= -893338 @ 123.705
148.36/148.86	c bounds -101062 >= -893338 @ 123.944
148.36/148.86	c bounds -101062 >= -893338 @ 124.243
148.36/148.86	c bounds -101062 >= -893338 @ 124.497
148.36/148.86	c bounds -101062 >= -893338 @ 124.769
148.36/148.86	c bounds -101062 >= -893338 @ 124.95
148.36/148.86	c bounds -101062 >= -893338 @ 125.21
148.36/148.86	c bounds -101062 >= -893338 @ 125.38
148.36/148.86	c bounds -101062 >= -893338 @ 125.568
148.36/148.86	c bounds -101062 >= -893338 @ 125.706
148.36/148.86	c bounds -101062 >= -893338 @ 125.955
148.36/148.86	c bounds -101062 >= -893338 @ 126.248
148.36/148.86	c bounds -101062 >= -893338 @ 126.465
148.36/148.86	c bounds -101062 >= -893338 @ 126.726
148.36/148.86	c bounds -101062 >= -893338 @ 127.158
148.36/148.86	c bounds -101062 >= -893338 @ 127.368
148.36/148.86	c bounds -101062 >= -893338 @ 127.565
148.36/148.86	c bounds -101062 >= -893338 @ 127.807
148.36/148.86	c #Conflicts:      19000 | #Constraints:      12225
148.36/148.86	c bounds -101062 >= -893338 @ 128.114
148.36/148.86	c bounds -101062 >= -893338 @ 128.426
148.36/148.86	c bounds -101062 >= -893338 @ 128.538
148.36/148.86	c bounds -101062 >= -893338 @ 128.827
148.36/148.86	c bounds -101062 >= -893338 @ 129.158
148.36/148.86	c bounds -101062 >= -893338 @ 129.391
148.36/148.86	c bounds -101062 >= -893338 @ 129.839
148.36/148.86	c bounds -101062 >= -893338 @ 130.151
148.36/148.86	c bounds -101062 >= -893338 @ 130.637
148.36/148.86	c bounds -101062 >= -893338 @ 130.964
148.36/148.86	c bounds -101062 >= -893338 @ 131.613
148.36/148.86	c bounds -101062 >= -893338 @ 132.765
148.36/148.86	c bounds -101062 >= -893338 @ 134.263
148.36/148.86	c #Conflicts:      20000 | #Constraints:      13260
148.36/148.86	c bounds -101062 >= -892660 @ 145.85
148.36/148.86	c bounds -101067 >= -892660 @ 147.058
148.36/148.86	c stratification level: 658
148.46/148.94	c bounds -101067 >= -887396 @ 147.073
148.46/148.94	c finalizing WCE round: reformulating cores
163.12/163.60	c bounds -101161 >= -887388 @ 147.235
163.12/163.60	c bounds -101161 >= -887388 @ 150.704
163.12/163.60	c bounds -101161 >= -887388 @ 150.785
163.12/163.60	c #Conflicts:      21000 | #Constraints:      14274
163.12/163.60	c bounds -101161 >= -887385 @ 161.358
163.12/163.60	c bounds -101832 >= -887385 @ 161.679
163.12/163.60	c stratification level: 644
163.22/163.71	c bounds -101832 >= -879657 @ 161.706
163.22/163.71	c finalizing WCE round: reformulating cores
177.08/177.61	c bounds -101965 >= -879614 @ 161.896
177.08/177.61	c bounds -101965 >= -879614 @ 161.97
177.08/177.61	c bounds -101965 >= -879614 @ 162.027
177.08/177.61	c bounds -101965 >= -879614 @ 162.077
177.08/177.61	c bounds -101965 >= -879614 @ 162.201
177.08/177.61	c bounds -101965 >= -879614 @ 162.289
177.08/177.61	c bounds -101965 >= -879614 @ 162.382
177.08/177.61	c bounds -101965 >= -879614 @ 162.509
177.08/177.61	c bounds -101965 >= -879614 @ 162.624
177.08/177.61	c bounds -101965 >= -879614 @ 162.687
177.08/177.61	c bounds -101965 >= -879614 @ 162.736
177.08/177.61	c bounds -101965 >= -879614 @ 162.848
177.08/177.61	c bounds -101965 >= -879614 @ 162.92
177.08/177.61	c bounds -101965 >= -879614 @ 163.02
177.08/177.61	c bounds -101965 >= -879614 @ 163.07
177.08/177.61	c bounds -101965 >= -879614 @ 163.19
177.08/177.61	c bounds -101965 >= -879614 @ 163.364
177.08/177.61	c bounds -101965 >= -879614 @ 163.392
177.08/177.61	c bounds -101965 >= -879614 @ 163.713
177.08/177.61	c bounds -101965 >= -879614 @ 163.843
177.08/177.61	c bounds -101965 >= -879614 @ 163.984
177.08/177.61	c bounds -101965 >= -879614 @ 164.122
177.08/177.61	c bounds -101965 >= -879614 @ 164.265
177.08/177.61	c bounds -101965 >= -879614 @ 164.386
177.08/177.61	c bounds -101965 >= -879614 @ 164.537
177.08/177.61	c bounds -101965 >= -879614 @ 164.626
177.08/177.61	c #Conflicts:      22000 | #Constraints:      15351
177.08/177.61	c bounds -101965 >= -879614 @ 164.907
177.08/177.61	c bounds -101965 >= -879614 @ 165.081
177.08/177.61	c bounds -101965 >= -879614 @ 165.218
177.08/177.61	c bounds -101965 >= -879614 @ 165.327
177.08/177.61	c bounds -101965 >= -879583 @ 175.455
177.08/177.61	c bounds -102077 >= -879583 @ 175.587
177.08/177.61	c stratification level: 640
177.78/178.33	c bounds -102077 >= -875743 @ 175.609
177.78/178.33	c finalizing WCE round: reformulating cores
200.81/201.44	c bounds -102103 >= -875736 @ 176.386
200.81/201.44	c bounds -102103 >= -875736 @ 176.472
200.81/201.44	c bounds -102103 >= -875736 @ 176.553
200.81/201.44	c #Conflicts:      23000 | #Constraints:      16376
200.81/201.44	c bounds -102103 >= -875736 @ 184.224
200.81/201.44	c #Conflicts:      24000 | #Constraints:      17379
200.81/201.44	c bounds -102103 >= -875732 @ 199.003
200.81/201.44	c bounds -102106 >= -875732 @ 199.236
200.81/201.44	c stratification level: 633
200.91/201.53	c bounds -102106 >= -870683 @ 199.27
200.91/201.53	c finalizing WCE round: reformulating cores
220.16/220.85	c bounds -102617 >= -870660 @ 199.497
220.16/220.85	c bounds -102617 >= -870660 @ 199.679
220.16/220.85	c bounds -102617 >= -870660 @ 199.873
220.16/220.85	c bounds -102617 >= -870660 @ 200.006
220.16/220.85	c bounds -102617 >= -870660 @ 200.207
220.16/220.85	c bounds -102617 >= -870660 @ 203.447
220.16/220.85	c bounds -102617 >= -870660 @ 203.629
220.16/220.85	c #Conflicts:      25000 | #Constraints:      18407
220.16/220.85	c bounds -102617 >= -870653 @ 218.472
220.16/220.85	c bounds -103143 >= -870653 @ 218.53
220.16/220.85	c stratification level: 625
220.38/221.03	c bounds -103143 >= -869388 @ 218.56
220.38/221.03	c bounds -103143 >= -868759 @ 218.574
220.38/221.03	c bounds -103143 >= -866259 @ 218.595
220.38/221.03	c finalizing WCE round: reformulating cores
226.45/227.18	c bounds -103410 >= -866259 @ 222.405
226.45/227.18	c INPROCESSING
226.45/227.18	c GARBAGE COLLECT
226.45/227.18	c bounds -103410 >= -865634 @ 223.25
226.45/227.18	c finalizing WCE round: reformulating cores
3127.51/3136.29	c #Conflicts:      26000 | #Constraints:      15105
3127.51/3136.29	c bounds -103417 >= -865634 @ 232.551
3127.51/3136.29	c #Conflicts:      27000 | #Constraints:      16108
3127.51/3136.29	c #Conflicts:      28000 | #Constraints:      17108
3127.51/3136.29	c #Conflicts:      29000 | #Constraints:      18108
3127.51/3136.29	c #Conflicts:      30000 | #Constraints:      19108
3127.51/3136.29	c #Conflicts:      31000 | #Constraints:      20108
3127.51/3136.29	c #Conflicts:      32000 | #Constraints:      21108
3127.51/3136.29	c #Conflicts:      33000 | #Constraints:      22108
3127.51/3136.29	c #Conflicts:      34000 | #Constraints:      23108
3127.51/3136.29	c #Conflicts:      35000 | #Constraints:      24108
3127.51/3136.29	c #Conflicts:      36000 | #Constraints:      25108
3127.51/3136.29	c INPROCESSING
3127.51/3136.29	c GARBAGE COLLECT
3127.51/3136.29	c #Conflicts:      37000 | #Constraints:      15030
3127.51/3136.29	c #Conflicts:      38000 | #Constraints:      16030
3127.51/3136.29	c #Conflicts:      39000 | #Constraints:      17030
3127.51/3136.29	c #Conflicts:      40000 | #Constraints:      18030
3127.51/3136.29	c #Conflicts:      41000 | #Constraints:      19030
3127.51/3136.29	c #Conflicts:      42000 | #Constraints:      20030
3127.51/3136.29	c #Conflicts:      43000 | #Constraints:      21030
3127.51/3136.29	c #Conflicts:      44000 | #Constraints:      22030
3127.51/3136.29	c #Conflicts:      45000 | #Constraints:      23030
3127.51/3136.29	c #Conflicts:      46000 | #Constraints:      24030
3127.51/3136.29	c #Conflicts:      47000 | #Constraints:      25030
3127.51/3136.29	c #Conflicts:      48000 | #Constraints:      26030
3127.51/3136.29	c #Conflicts:      49000 | #Constraints:      27030
3127.51/3136.29	c INPROCESSING
3127.51/3136.29	c GARBAGE COLLECT
3127.51/3136.29	c #Conflicts:      50000 | #Constraints:      14924
3127.51/3136.29	c #Conflicts:      51000 | #Constraints:      15924
3127.51/3136.29	c #Conflicts:      52000 | #Constraints:      16924
3127.51/3136.29	c #Conflicts:      53000 | #Constraints:      17924
3127.51/3136.29	c #Conflicts:      54000 | #Constraints:      18924
3127.51/3136.29	c #Conflicts:      55000 | #Constraints:      19924
3127.51/3136.29	c #Conflicts:      56000 | #Constraints:      20924
3127.51/3136.29	c #Conflicts:      57000 | #Constraints:      21924
3127.51/3136.29	c #Conflicts:      58000 | #Constraints:      22924
3127.51/3136.29	c #Conflicts:      59000 | #Constraints:      23924
3127.51/3136.29	c #Conflicts:      60000 | #Constraints:      24924
3127.51/3136.29	c #Conflicts:      61000 | #Constraints:      25924
3127.51/3136.29	c #Conflicts:      62000 | #Constraints:      26924
3127.51/3136.29	c #Conflicts:      63000 | #Constraints:      27924
3127.51/3136.29	c #Conflicts:      64000 | #Constraints:      28924
3127.51/3136.29	c INPROCESSING
3127.51/3136.29	c GARBAGE COLLECT
3127.51/3136.29	c #Conflicts:      65000 | #Constraints:      15256
3127.51/3136.29	c #Conflicts:      66000 | #Constraints:      16256
3127.51/3136.29	c #Conflicts:      67000 | #Constraints:      17256
3127.51/3136.29	c #Conflicts:      68000 | #Constraints:      18256
3127.51/3136.29	c #Conflicts:      69000 | #Constraints:      19256
3127.51/3136.29	c #Conflicts:      70000 | #Constraints:      20256
3127.51/3136.29	c #Conflicts:      71000 | #Constraints:      21256
3127.51/3136.29	c #Conflicts:      72000 | #Constraints:      22256
3127.51/3136.29	c #Conflicts:      73000 | #Constraints:      23256
3127.51/3136.29	c INPROCESSING
3127.51/3136.29	c GARBAGE COLLECT
3127.51/3136.29	c #Conflicts:      74000 | #Constraints:      14827
3127.51/3136.29	c #Conflicts:      75000 | #Constraints:      15827
3127.51/3136.29	c #Conflicts:      76000 | #Constraints:      16827
3127.51/3136.29	c #Conflicts:      77000 | #Constraints:      17827
3127.51/3136.29	c #Conflicts:      78000 | #Constraints:      18827
3127.51/3136.29	c #Conflicts:      79000 | #Constraints:      19827
3127.51/3136.29	c #Conflicts:      80000 | #Constraints:      20827
3127.51/3136.29	c #Conflicts:      81000 | #Constraints:      21827
3127.51/3136.29	c #Conflicts:      82000 | #Constraints:      22827
3127.51/3136.29	c #Conflicts:      83000 | #Constraints:      23827
3127.51/3136.29	c #Conflicts:      84000 | #Constraints:      24827
3127.51/3136.29	c #Conflicts:      85000 | #Constraints:      25827
3127.51/3136.29	c #Conflicts:      86000 | #Constraints:      26827
3127.51/3136.29	c #Conflicts:      87000 | #Constraints:      27827
3127.51/3136.29	c #Conflicts:      88000 | #Constraints:      28827
3127.51/3136.29	c #Conflicts:      89000 | #Constraints:      29827
3127.51/3136.29	c #Conflicts:      90000 | #Constraints:      30827
3127.51/3136.29	c #Conflicts:      91000 | #Constraints:      31827
3127.51/3136.29	c #Conflicts:      92000 | #Constraints:      32827
3127.51/3136.29	c INPROCESSING
3127.51/3136.29	c GARBAGE COLLECT
3127.51/3136.29	c #Conflicts:      93000 | #Constraints:      17607
3127.51/3136.29	c #Conflicts:      94000 | #Constraints:      18607
3127.51/3136.29	c #Conflicts:      95000 | #Constraints:      19607
3127.51/3136.29	c #Conflicts:      96000 | #Constraints:      20607
3127.51/3136.29	c #Conflicts:      97000 | #Constraints:      21607
3127.51/3136.29	c #Conflicts:      98000 | #Constraints:      22607
3127.51/3136.29	c #Conflicts:      99000 | #Constraints:      23607
3127.51/3136.29	c #Conflicts:     100000 | #Constraints:      24607
3600.07/3610.11	c #Conflicts:     101000 | #Constraints:      25607
3600.07/3610.11	c #Conflicts:     102000 | #Constraints:      26607
3600.07/3610.11	c INPROCESSING
3600.07/3610.11	c GARBAGE COLLECT
3600.07/3610.11	c #Conflicts:     103000 | #Constraints:      15326
3600.07/3610.11	c #Conflicts:     104000 | #Constraints:      16326
3600.07/3610.11	c #Conflicts:     105000 | #Constraints:      17326
3600.07/3610.11	c #Conflicts:     106000 | #Constraints:      18326
3600.07/3610.11	c #Conflicts:     107000 | #Constraints:      19326
3600.07/3610.11	c #Conflicts:     108000 | #Constraints:      20326
3600.07/3610.11	c #Conflicts:     109000 | #Constraints:      21326
3600.07/3610.11	c #Conflicts:     110000 | #Constraints:      22326
3600.07/3610.11	c #Conflicts:     111000 | #Constraints:      23326
3600.07/3610.11	c #Conflicts:     112000 | #Constraints:      24326
3600.07/3610.11	c #Conflicts:     113000 | #Constraints:      25326
3600.07/3610.11	c Program interrupted by user.
3600.07/3610.11	c cpu time 3593.89 s
3600.07/3610.11	c deterministic time 1209930592693 1.21e+12
3600.07/3610.11	c optimization time 559.04 s
3600.07/3610.11	c total solve time 3034.84 s
3600.07/3610.11	c core-guided solve time 3034.84 s
3600.07/3610.11	c propagation time 3476.03 s
3600.07/3610.11	c conflict analysis time 98.7149 s
3600.07/3610.11	c propagations 21324348
3600.07/3610.11	c resolve steps 385782
3600.07/3610.11	c decisions 3120886
3600.07/3610.11	c conflicts 113140
3600.07/3610.11	c restarts 300
3600.07/3610.11	c inprocessing phases 11
3600.07/3610.11	c input clauses 248
3600.07/3610.11	c input cardinalities 5
3600.07/3610.11	c input general constraints 1001
3600.07/3610.11	c input average constraint length 453.83
3600.07/3610.11	c input average constraint degree 17440.70
3600.07/3610.11	c learned clauses 492
3600.07/3610.11	c learned cardinalities 7
3600.07/3610.11	c learned general constraints 112644
3600.07/3610.11	c learned average constraint length 1936.86
3600.07/3610.11	c learned average constraint degree 1280990551.41
3600.07/3610.11	c watched constraints 466
3600.07/3610.11	c counting constraints 113179
3600.07/3610.11	c gcd simplifications 1138
3600.07/3610.11	c detected cardinalities 2
3600.07/3610.11	c weakened non-implied lits 3043889
3600.07/3610.11	c weakened non-implying lits 2143
3600.07/3610.11	c original variables 2000
3600.07/3610.11	c clausal propagations 8246
3600.07/3610.11	c cardinality propagations 1574
3600.07/3610.11	c watched propagations 69945
3600.07/3610.11	c counting propagations 20380654
3600.07/3610.11	c watch lookups 18276481056
3600.07/3610.11	c watch backjump lookups 18277347054
3600.07/3610.11	c watch checks 235371941
3600.07/3610.11	c propagation checks 1172119183796
3600.07/3610.11	c constraint additions 973207520
3600.07/3610.11	c trail pops 24556091
3600.07/3610.11	c formula constraints 1
3600.07/3610.11	c learned constraints 113143
3600.07/3610.11	c bound constraints 277
3600.07/3610.11	c core-guided constraints 976
3600.07/3610.11	c encountered formula constraints 18449
3600.07/3610.11	c encountered learned constraints 451010
3600.07/3610.11	c encountered bound constraints 19427
3600.07/3610.11	c encountered core-guided constraints 10036
3600.07/3610.11	c LP total time 0 s
3600.07/3610.11	c LP solve time 0 s
3600.07/3610.11	c LP constraints added 0
3600.07/3610.11	c LP constraints removed 0
3600.07/3610.11	c LP pivots internal 0
3600.07/3610.11	c LP pivots root 0
3600.07/3610.11	c LP calls 0
3600.07/3610.11	c LP optimalities 0
3600.07/3610.11	c LP no pivot count 0
3600.07/3610.11	c LP infeasibilities 0
3600.07/3610.11	c LP valid Farkas constraints 0
3600.07/3610.11	c LP learned Farkas constraints 0
3600.07/3610.11	c LP basis resets 0
3600.07/3610.11	c LP cycling count 0
3600.07/3610.11	c LP singular count 0
3600.07/3610.11	c LP no primal count 0
3600.07/3610.11	c LP no farkas count 0
3600.07/3610.11	c LP other issue count 0
3600.07/3610.11	c LP Gomory cuts 0
3600.07/3610.11	c LP learned cuts 0
3600.07/3610.11	c LP deleted cuts 0
3600.07/3610.11	c LP encountered Gomory constraints 0
3600.07/3610.11	c LP encountered Farkas constraints 0
3600.07/3610.11	c LP encountered learned Farkas constraints 0
3600.07/3610.11	c CG auxiliary variables introduced 368
3600.07/3610.11	c CG solutions found 194
3600.07/3610.11	c CG cores constructed 48
3600.07/3610.11	c CG core cardinality constraints returned 23
3600.07/3610.11	c CG unit cores 0
3600.07/3610.11	c CG single cores 47
3600.07/3610.11	c CG blocks removed during cardinality reduction 0
3600.07/3610.11	c CG first core best 0
3600.07/3610.11	c CG decision core best 0
3600.07/3610.11	c CG core reduction tie 1
3600.07/3610.11	c CG core degree average 3.02
3600.07/3610.11	c CG core slack average 11.38
3600.07/3610.11	c CG exhausted 314
3600.07/3610.11	c CG exhaust time 221.432 s
3600.07/3610.11	c CG trimmed 33
3600.07/3610.11	c CG trim time 0.945077 s
3600.07/3610.11	c CG minimized 0
3600.07/3610.11	c CG minimize time 0 s
3600.07/3610.11	c CG am1 prop time 0.098593 s
3600.07/3610.11	c CG # am1s reformulated 4
3600.07/3610.11	c CG lower bound derived from am1s 1900
3600.07/3610.11	c CG # clausal cores 11
3600.07/3610.11	c CG # cardinality cores 0
3600.07/3610.11	c CG # pb cores 38
3600.07/3610.11	c CG # pb reforms 45
3600.07/3610.11	c CG # cores discarded because of pb reform 0
3600.07/3610.11	d LOWERBOUND -865634
3600.07/3610.11	d NCORES 48
3600.07/3610.11	d NPBCORES 38
3600.07/3610.11	d NPBREFORM 45
3600.07/3610.11	d NTRIMMED 33
3600.07/3610.11	d NEXHAUSTED 314
3600.07/3610.11	d NAM1S 4
3600.07/3610.11	d AM1LB 1900
3600.07/3610.11	o -103417
3600.07/3610.11	s SATISFIABLE
3600.07/3610.11	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 (56384 MiB free)
  memory of node 1: 64510 MiB (54392 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=258941, runsolver pid=258938

[startup+0.100206 s]*
/proc/loadavg: 4.12 4.12 4.04 4/240 258958
/proc/meminfo: memFree=113428648/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=39876 memory=8956 CPUtime=0.09 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 571 0 0 0 4 5 0 0 20 0 1 0 22862912 40833024 2239 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 9969 2239 1358 291 0 1503 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39876 KiB
Current children cumulated memory: 8956 KiB

[startup+0.212883 s]*
/proc/loadavg: 4.12 4.12 4.04 5/237 258963
/proc/meminfo: memFree=113426716/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=41244 memory=10076 CPUtime=0.21 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 910 0 0 0 12 9 0 0 20 0 1 0 22862912 42233856 2519 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 10311 2519 1358 291 0 1845 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41244 KiB
Current children cumulated memory: 10076 KiB

[startup+0.312311 s]*
/proc/loadavg: 4.12 4.12 4.04 4/239 258972
/proc/meminfo: memFree=113421636/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=43444 memory=14580 CPUtime=0.31 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 1482 0 0 0 20 11 0 0 20 0 1 0 22862912 44486656 3645 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 10861 3645 1358 291 0 2395 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43444 KiB
Current children cumulated memory: 14580 KiB

[startup+0.700268 s]
/proc/loadavg: 4.12 4.12 4.04 5/239 258998
/proc/meminfo: memFree=113410892/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=55856 memory=23552 CPUtime=0.68 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 3728 0 0 0 52 16 0 0 20 0 1 0 22862912 57196544 5888 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 13964 5888 1358 291 0 5498 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55856 KiB
Current children cumulated memory: 23552 KiB

[startup+1.50028 s]
/proc/loadavg: 4.12 4.12 4.04 5/237 259038
/proc/meminfo: memFree=113398288/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=72072 memory=41296 CPUtime=1.48 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 6621 0 0 0 124 24 0 0 20 0 1 0 22862912 73801728 10324 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 18018 10324 1358 291 0 9552 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72072 KiB
Current children cumulated memory: 41296 KiB

[startup+3.11307 s]
/proc/loadavg: 4.11 4.12 4.04 5/242 259096
/proc/meminfo: memFree=114328124/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=102004 memory=71496 CPUtime=3.09 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 12086 0 0 0 281 28 0 0 20 0 1 0 22862912 104452096 17874 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 25501 17874 1421 291 0 17035 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 102004 KiB
Current children cumulated memory: 71496 KiB

[startup+6.30032 s]
/proc/loadavg: 4.11 4.12 4.04 5/242 259143
/proc/meminfo: memFree=114297764/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=102148 memory=72288 CPUtime=6.27 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 12303 0 0 0 597 30 0 0 20 0 1 0 22862912 104599552 18072 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 25537 18072 1421 291 0 17071 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 102148 KiB
Current children cumulated memory: 72288 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.04 5/242 259144
/proc/meminfo: memFree=114131904/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=223628 memory=171856 CPUtime=12.65 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 33046 0 0 0 1213 52 0 0 20 0 1 0 22862912 228995072 42964 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 55907 42964 1421 291 0 47441 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 223628 KiB
Current children cumulated memory: 171856 KiB

[startup+25.5006 s]
/proc/loadavg: 4.40 4.17 4.06 5/242 259146
/proc/meminfo: memFree=113969532/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=380772 memory=278916 CPUtime=25.41 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 49666 0 0 0 2475 66 0 0 20 0 1 0 22862912 389910528 69729 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 95193 69729 1421 291 0 86727 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 380772 KiB
Current children cumulated memory: 278916 KiB

[startup+51.1135 s]
/proc/loadavg: 4.26 4.16 4.06 5/242 259196
/proc/meminfo: memFree=113851628/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=381808 memory=317688 CPUtime=50.95 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 52611 0 0 0 5006 89 0 0 20 0 1 0 22862912 390971392 79422 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 95452 79422 1421 291 0 86986 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 381808 KiB
Current children cumulated memory: 317688 KiB

[startup+102.3 s]
/proc/loadavg: 4.30 4.18 4.07 5/242 259204
/proc/meminfo: memFree=113564780/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=615940 memory=473012 CPUtime=101.99 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 79635 0 0 0 10083 116 0 0 20 0 1 0 22862912 630722560 118253 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 153985 118253 1421 291 0 145519 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 615940 KiB
Current children cumulated memory: 473012 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.07 5/242 259260
/proc/meminfo: memFree=113566448/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=617628 memory=535472 CPUtime=161.82 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 84603 0 0 0 16038 144 0 0 20 0 1 0 22862912 632451072 133868 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 154407 133868 1421 291 0 145941 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 617628 KiB
Current children cumulated memory: 535472 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 4.20 4.09 5/239 259653
/proc/meminfo: memFree=113426100/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=758196 memory=625472 CPUtime=221.66 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 90727 0 0 0 21996 170 0 0 20 0 1 0 22862912 776392704 156368 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 189549 156368 1421 291 0 181083 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 758196 KiB
Current children cumulated memory: 625472 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.20 4.09 5/239 259663
/proc/meminfo: memFree=113380420/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=758864 memory=635368 CPUtime=281.49 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 91170 0 0 0 27963 186 0 0 20 0 1 0 22862912 777076736 158842 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 189716 158842 1421 291 0 181250 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 758864 KiB
Current children cumulated memory: 635368 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.17 4.09 5/239 259674
/proc/meminfo: memFree=113196188/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1014692 memory=805944 CPUtime=341.32 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 125504 0 0 0 33930 202 0 0 20 0 1 0 22862912 1039044608 201486 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 253673 201486 1421 291 0 245207 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1014692 KiB
Current children cumulated memory: 805944 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.15 4.09 5/241 259854
/proc/meminfo: memFree=113112296/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1059624 memory=866640 CPUtime=401.15 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 134660 0 0 0 39900 215 0 0 20 0 1 0 22862912 1085054976 216660 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 264906 216660 1421 291 0 256440 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1059624 KiB
Current children cumulated memory: 866640 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/241 259911
/proc/meminfo: memFree=113273992/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1066528 memory=905008 CPUtime=461 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 138950 0 0 0 45877 223 0 0 20 0 1 0 22862912 1092124672 226252 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 266632 226252 1421 291 0 258166 0

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

Current children cumulated memory: 1180220 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.21 4.19 5/241 260996
/proc/meminfo: memFree=112528076/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=2914.21 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 167760 0 0 0 290889 532 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/241 261007
/proc/meminfo: memFree=112527628/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=2974.04 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 168229 0 0 0 296863 541 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 2974.04 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/241 261018
/proc/meminfo: memFree=112527276/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3033.87 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 168708 0 0 0 302839 548 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.16 4.17 5/241 261028
/proc/meminfo: memFree=112521304/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3093.7 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 169197 0 0 0 308815 555 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/242 261039
/proc/meminfo: memFree=112520924/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3153.53 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 169694 0 0 0 314791 562 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+3222.3 s]
/proc/loadavg: 4.60 4.27 4.21 5/239 261051
/proc/meminfo: memFree=112520488/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3213.36 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 170201 0 0 0 320769 567 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.29 4.22 5/239 261061
/proc/meminfo: memFree=112514496/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3273.19 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 170721 0 0 0 326744 575 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.27 4.21 5/239 261071
/proc/meminfo: memFree=112512176/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3333.03 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 171176 0 0 0 332715 588 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.23 4.20 5/239 261081
/proc/meminfo: memFree=112498808/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3392.85 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 171650 0 0 0 338688 597 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.20 4.19 5/238 261092
/proc/meminfo: memFree=112494840/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3452.68 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 172128 0 0 0 344664 604 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.19 5/241 261108
/proc/meminfo: memFree=112490280/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3512.51 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 172631 0 0 0 350642 609 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/241 261119
/proc/meminfo: memFree=112485648/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3572.34 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 173136 0 0 0 356618 616 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.12 4.18 4.18 5/241 261124
/proc/meminfo: memFree=112482592/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3600.07 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 173393 0 0 0 359388 619 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.89 s, system=6.19751 s

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

[startup+3610.11 s]
/proc/loadavg: 4.12 4.18 4.18 5/241 261124
/proc/meminfo: memFree=112482592/131655788 swapFree=131061124/131071996
[pid=258941] ppid=258938 vsize=1293472 memory=1180220 CPUtime=3600.07 cores=5,7
/proc/258941/stat : 258941 (pb-oll-rs) R 258938 258941 256766 0 -1 4194304 173393 0 0 0 359388 619 0 0 20 0 1 0 22862912 1324515328 295055 134679101440 4194304 5384005 140722096087856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 28909568 140722096092187 140722096092264 140722096092264 140722096099275 0
/proc/258941/statm: 323368 295055 1421 291 0 314902 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1293472 KiB
Current children cumulated memory: 1180220 KiB

Child status: 0

Real time (s): 3610.12
CPU time (s): 3600.08
CPU user time (s): 3593.89
CPU system time (s): 6.19751
CPU usage (%): 99.7221
Max. virtual memory (cumulated for all children) (KiB): 1293472
Max. memory (cumulated for all children) (KiB): 1180220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.89
system time used= 6.19751
maximum resident set size= 1180380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173415
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= 118
involuntary context switches= 1849


# summary of solver processes directly reported to runsolver:
#   pid: 258941
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3593.89
#   total CPU system time (s): 6.19751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6473 second user time and 35.5606 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 02:52:15
IDJOB=4457761
IDBENCH=176755
IDSOLVER=3067
FILE ID=nodeC005/4457761-1721868735
RUNJOBID= nodeC005-1721865124-256779
SLURM_JOB_ID= 8089204
Free space on /tmp= 723780 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4457761-1721868735/watcher-4457761-1721868735 -o /tmp/evaluation-result-4457761-1721868735/solver-4457761-1721868735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256779 --watchdog 3760  pb-oll-rs HOME/instance-4457761-1721868735.opb

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

MD5SUM BENCH= 4e250cdab7b4044f2b74367cd304c22b
RANDOM SEED=1078937094

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        113437728 kB
MemAvailable:   128970940 kB
Buffers:          279152 kB
Cached:         16029432 kB
SwapCached:          620 kB
Active:          2533552 kB
Inactive:       15025336 kB
Active(anon):       1576 kB
Inactive(anon):  1301988 kB
Active(file):    2531976 kB
Inactive(file): 13723348 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:              2276 kB
Writeback:             0 kB
AnonPages:       1236780 kB
Mapped:           119968 kB
Shmem:             53264 kB
KReclaimable:     235840 kB
Slab:             346556 kB
SReclaimable:     235840 kB
SUnreclaim:       110716 kB
KernelStack:        3760 kB
PageTables:        12008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1799508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    645120 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-25 03:52:25