Trace number 4454269

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-19OPT1567 20.3245 20.3733

DiagnosticValue
AM1LB211
LOWERBOUND1317
NAM1S6
NCORES276
NEXHAUSTED12
NPBCORES1
NPBREFORM5
NTRIMMED4

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
MD5SUM678ded5bf8e4807033dda77c17462616
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 benchmark1567
Best CPU time to get the best result obtained on this benchmark0.012929
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables133
Total number of constraints229
Number of constraints which are clauses229
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 133
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 5699
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 5699
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 133 #constraints 210
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 377 @ 0.000675
0.00/0.00	c stratification level: 54
0.00/0.00	c bounds 1673 >= 377 @ 0.00085
0.00/0.00	c stratification level: 51
0.00/0.00	c bounds 1671 >= 377 @ 0.00124
0.00/0.00	c stratification level: 50
0.10/0.12	c bounds 1671 >= 427 @ 0.003526
0.10/0.12	c #Conflicts:       1000 | #Constraints:       1212
0.10/0.12	c #Conflicts:       2000 | #Constraints:       2212
0.10/0.12	c INPROCESSING
0.10/0.12	c GARBAGE COLLECT
0.10/0.12	c finalizing WCE round: reformulating cores
0.31/0.34	c bounds 1652 >= 427 @ 0.118117
0.31/0.34	c bounds 1652 >= 427 @ 0.122173
0.31/0.34	c bounds 1652 >= 427 @ 0.124427
0.31/0.34	c #Conflicts:       3000 | #Constraints:       2218
0.31/0.34	c bounds 1652 >= 427 @ 0.128824
0.31/0.34	c bounds 1652 >= 427 @ 0.144384
0.31/0.34	c bounds 1652 >= 427 @ 0.206826
0.31/0.34	c bounds 1652 >= 427 @ 0.250929
0.31/0.34	c #Conflicts:       4000 | #Constraints:       3226
0.31/0.34	c bounds 1652 >= 427 @ 0.267165
0.31/0.34	c INPROCESSING
0.31/0.34	c GARBAGE COLLECT
0.31/0.34	c bounds 1652 >= 427 @ 0.287106
0.31/0.34	c bounds 1639 >= 487 @ 0.319364
0.31/0.34	c bounds 1623 >= 487 @ 0.323975
0.31/0.34	c stratification level: 42
0.51/0.60	c bounds 1623 >= 739 @ 0.324252
0.51/0.60	c #Conflicts:       5000 | #Constraints:       2349
0.51/0.60	c #Conflicts:       6000 | #Constraints:       3349
0.51/0.60	c bounds 1623 >= 781 @ 0.422383
0.51/0.60	c INPROCESSING
0.51/0.60	c GARBAGE COLLECT
0.51/0.60	c #Conflicts:       7000 | #Constraints:       2384
0.51/0.60	c #Conflicts:       8000 | #Constraints:       3384
0.51/0.60	c finalizing WCE round: reformulating cores
0.69/0.75	c #Conflicts:       9000 | #Constraints:       4389
0.69/0.75	c INPROCESSING
0.69/0.75	c GARBAGE COLLECT
0.69/0.75	c bounds 1611 >= 781 @ 0.715455
0.69/0.75	c bounds 1602 >= 781 @ 0.715933
0.69/0.75	c stratification level: 34
1.49/1.50	c #Conflicts:      10000 | #Constraints:       3211
1.49/1.50	c #Conflicts:      11000 | #Constraints:       4211
1.49/1.50	c #Conflicts:      12000 | #Constraints:       5211
1.49/1.50	c INPROCESSING
1.49/1.50	c GARBAGE COLLECT
1.49/1.50	c #Conflicts:      13000 | #Constraints:       3723
1.49/1.50	c #Conflicts:      14000 | #Constraints:       4723
1.49/1.50	c bounds 1602 >= 815 @ 1.12613
1.49/1.50	c #Conflicts:      15000 | #Constraints:       5724
1.49/1.50	c INPROCESSING
1.49/1.50	c GARBAGE COLLECT
1.49/1.50	c #Conflicts:      16000 | #Constraints:       3979
1.49/1.50	c #Conflicts:      17000 | #Constraints:       4979
1.49/1.50	c finalizing WCE round: reformulating cores
1.59/1.64	c #Conflicts:      18000 | #Constraints:       5982
1.59/1.64	c INPROCESSING
1.59/1.64	c GARBAGE COLLECT
1.59/1.64	c bounds 1593 >= 815 @ 1.56813
1.59/1.64	c bounds 1585 >= 815 @ 1.57062
1.59/1.64	c stratification level: 32
1.79/1.82	c #Conflicts:      19000 | #Constraints:       4010
1.79/1.82	c #Conflicts:      20000 | #Constraints:       5010
1.79/1.82	c bounds 1576 >= 815 @ 1.73498
1.79/1.82	c stratification level: 25
2.19/2.21	c #Conflicts:      21000 | #Constraints:       6011
2.19/2.21	c INPROCESSING
2.19/2.21	c GARBAGE COLLECT
2.19/2.21	c #Conflicts:      22000 | #Constraints:       3823
2.19/2.21	c bounds 1576 >= 840 @ 1.89966
2.19/2.21	c #Conflicts:      23000 | #Constraints:       4824
2.19/2.21	c #Conflicts:      24000 | #Constraints:       5824
2.19/2.21	c finalizing WCE round: reformulating cores
2.58/2.64	c #Conflicts:      25000 | #Constraints:       6827
2.58/2.64	c bounds 1575 >= 840 @ 2.22874
2.58/2.64	c INPROCESSING
2.58/2.64	c GARBAGE COLLECT
2.58/2.64	c #Conflicts:      26000 | #Constraints:       4437
2.58/2.64	c #Conflicts:      27000 | #Constraints:       5437
2.58/2.64	c bounds 1569 >= 840 @ 2.52749
2.58/2.64	c stratification level: 0
3.28/3.38	c bounds 1569 >= 848 @ 2.52834
3.28/3.38	c bounds 1569 >= 849 @ 2.52862
3.28/3.38	c bounds 1569 >= 850 @ 2.52911
3.28/3.38	c bounds 1569 >= 857 @ 2.52944
3.28/3.38	c bounds 1569 >= 875 @ 2.53007
3.28/3.38	c bounds 1569 >= 878 @ 2.53069
3.28/3.38	c bounds 1569 >= 883 @ 2.53088
3.28/3.38	c bounds 1569 >= 884 @ 2.53127
3.28/3.38	c bounds 1569 >= 890 @ 2.53175
3.28/3.38	c bounds 1569 >= 897 @ 2.53201
3.28/3.38	c bounds 1569 >= 898 @ 2.53233
3.28/3.38	c bounds 1569 >= 906 @ 2.53288
3.28/3.38	c bounds 1569 >= 914 @ 2.53307
3.28/3.38	c bounds 1569 >= 915 @ 2.53339
3.28/3.38	c bounds 1569 >= 916 @ 2.53369
3.28/3.38	c bounds 1569 >= 917 @ 2.53387
3.28/3.38	c bounds 1569 >= 918 @ 2.53458
3.28/3.38	c bounds 1569 >= 919 @ 2.53524
3.28/3.38	c bounds 1569 >= 920 @ 2.53568
3.28/3.38	c bounds 1569 >= 924 @ 2.53624
3.28/3.38	c bounds 1569 >= 925 @ 2.53648
3.28/3.38	c bounds 1569 >= 926 @ 2.5367
3.28/3.38	c bounds 1569 >= 928 @ 2.53754
3.28/3.38	c bounds 1569 >= 929 @ 2.53781
3.28/3.38	c bounds 1569 >= 931 @ 2.53801
3.28/3.38	c bounds 1569 >= 934 @ 2.53866
3.28/3.38	c bounds 1569 >= 935 @ 2.53961
3.28/3.38	c bounds 1569 >= 938 @ 2.53989
3.28/3.38	c bounds 1569 >= 939 @ 2.54026
3.28/3.38	c bounds 1569 >= 940 @ 2.54086
3.28/3.38	c bounds 1569 >= 944 @ 2.54177
3.28/3.38	c bounds 1569 >= 952 @ 2.54266
3.28/3.38	c bounds 1569 >= 964 @ 2.54312
3.28/3.38	c bounds 1569 >= 965 @ 2.5447
3.28/3.38	c bounds 1569 >= 966 @ 2.54512
3.28/3.38	c bounds 1569 >= 967 @ 2.54549
3.28/3.38	c bounds 1569 >= 968 @ 2.54587
3.28/3.38	c bounds 1569 >= 969 @ 2.54688
3.28/3.38	c bounds 1569 >= 970 @ 2.54719
3.28/3.38	c bounds 1569 >= 971 @ 2.54761
3.28/3.38	c bounds 1569 >= 974 @ 2.54793
3.28/3.38	c bounds 1569 >= 975 @ 2.54827
3.28/3.38	c bounds 1569 >= 976 @ 2.54861
3.28/3.38	c bounds 1569 >= 977 @ 2.54899
3.28/3.38	c bounds 1569 >= 978 @ 2.54933
3.28/3.38	c bounds 1569 >= 979 @ 2.54971
3.28/3.38	c bounds 1569 >= 980 @ 2.55045
3.28/3.38	c bounds 1569 >= 984 @ 2.55071
3.28/3.38	c bounds 1569 >= 985 @ 2.55172
3.28/3.38	c bounds 1569 >= 986 @ 2.55224
3.28/3.38	c bounds 1569 >= 987 @ 2.55271
3.28/3.38	c bounds 1569 >= 988 @ 2.55371
3.28/3.38	c bounds 1569 >= 989 @ 2.55405
3.28/3.38	c bounds 1569 >= 994 @ 2.55927
3.28/3.38	c bounds 1569 >= 995 @ 2.56085
3.28/3.38	c bounds 1569 >= 997 @ 2.56118
3.28/3.38	c bounds 1569 >= 998 @ 2.56279
3.28/3.38	c bounds 1569 >= 1004 @ 2.56366
3.28/3.38	c bounds 1569 >= 1014 @ 2.56503
3.28/3.38	c bounds 1569 >= 1015 @ 2.56554
3.28/3.38	c bounds 1569 >= 1016 @ 2.56684
3.28/3.38	c bounds 1569 >= 1017 @ 2.56797
3.28/3.38	c bounds 1569 >= 1018 @ 2.5685
3.28/3.38	c bounds 1569 >= 1019 @ 2.57019
3.28/3.38	c #Conflicts:      28000 | #Constraints:       6713
3.28/3.38	c bounds 1569 >= 1020 @ 2.57323
3.28/3.38	c bounds 1569 >= 1021 @ 2.57452
3.28/3.38	c bounds 1569 >= 1022 @ 2.57519
3.28/3.38	c bounds 1569 >= 1023 @ 2.576
3.28/3.38	c bounds 1569 >= 1024 @ 2.57634
3.28/3.38	c bounds 1569 >= 1025 @ 2.57856
3.28/3.38	c bounds 1569 >= 1026 @ 2.57947
3.28/3.38	c bounds 1569 >= 1027 @ 2.58042
3.28/3.38	c bounds 1569 >= 1028 @ 2.58097
3.28/3.38	c bounds 1569 >= 1029 @ 2.5818
3.28/3.38	c bounds 1569 >= 1030 @ 2.58262
3.28/3.38	c bounds 1569 >= 1031 @ 2.5832
3.28/3.38	c bounds 1569 >= 1032 @ 2.60203
3.28/3.38	c bounds 1569 >= 1034 @ 2.60407
3.28/3.38	c bounds 1569 >= 1035 @ 2.60692
3.28/3.38	c bounds 1569 >= 1036 @ 2.60888
3.28/3.38	c bounds 1569 >= 1037 @ 2.61435
3.28/3.38	c bounds 1569 >= 1038 @ 2.62503
3.28/3.38	c bounds 1569 >= 1039 @ 2.62746
3.28/3.38	c bounds 1569 >= 1040 @ 2.63173
3.28/3.38	c bounds 1569 >= 1044 @ 2.63593
3.28/3.38	c bounds 1569 >= 1045 @ 2.64039
3.28/3.38	c bounds 1569 >= 1046 @ 2.64593
3.28/3.38	c bounds 1569 >= 1048 @ 2.6488
3.28/3.38	c bounds 1569 >= 1049 @ 2.65279
3.28/3.38	c bounds 1569 >= 1054 @ 2.65279
3.28/3.38	c bounds 1569 >= 1055 @ 2.65776
3.28/3.38	c bounds 1569 >= 1058 @ 2.65829
3.28/3.38	c bounds 1569 >= 1064 @ 2.65985
3.28/3.38	c bounds 1569 >= 1065 @ 2.6615
3.28/3.38	c bounds 1569 >= 1066 @ 2.66776
3.28/3.38	c bounds 1569 >= 1067 @ 2.67985
3.28/3.38	c bounds 1569 >= 1068 @ 2.68604
3.28/3.38	c bounds 1569 >= 1069 @ 2.68828
3.28/3.38	c bounds 1569 >= 1070 @ 2.68966
3.28/3.38	c bounds 1569 >= 1071 @ 2.69581
3.28/3.38	c bounds 1569 >= 1072 @ 2.69819
3.28/3.38	c bounds 1569 >= 1073 @ 2.7079
3.28/3.38	c bounds 1569 >= 1074 @ 2.71176
3.28/3.38	c bounds 1569 >= 1075 @ 2.71395
3.28/3.38	c bounds 1569 >= 1076 @ 2.72126
3.28/3.38	c #Conflicts:      29000 | #Constraints:       7913
3.28/3.38	c INPROCESSING
3.28/3.38	c GARBAGE COLLECT
3.28/3.38	c bounds 1569 >= 1077 @ 2.77776
3.28/3.38	c bounds 1569 >= 1078 @ 2.78852
3.28/3.38	c bounds 1569 >= 1079 @ 2.80718
3.28/3.38	c bounds 1569 >= 1080 @ 2.82046
3.28/3.38	c bounds 1569 >= 1081 @ 2.8256
3.28/3.38	c bounds 1569 >= 1082 @ 2.85583
3.28/3.38	c bounds 1569 >= 1084 @ 2.87846
3.28/3.38	c bounds 1569 >= 1085 @ 2.89374
3.28/3.38	c bounds 1569 >= 1086 @ 2.93928
3.28/3.38	c #Conflicts:      30000 | #Constraints:       5147
3.28/3.38	c bounds 1569 >= 1087 @ 2.99463
3.28/3.38	c bounds 1569 >= 1088 @ 3.02844
3.28/3.38	c bounds 1569 >= 1089 @ 3.03497
3.28/3.38	c bounds 1569 >= 1090 @ 3.14165
3.28/3.38	c #Conflicts:      31000 | #Constraints:       6163
3.28/3.38	c bounds 1569 >= 1091 @ 3.16626
3.28/3.38	c bounds 1569 >= 1094 @ 3.17645
3.28/3.38	c bounds 1569 >= 1095 @ 3.22769
3.28/3.38	c bounds 1569 >= 1096 @ 3.22943
3.28/3.38	c bounds 1569 >= 1097 @ 3.23383
18.65/18.72	c bounds 1569 >= 1098 @ 3.23744
18.65/18.72	c bounds 1569 >= 1099 @ 3.23988
18.65/18.72	c bounds 1569 >= 1100 @ 3.24298
18.65/18.72	c bounds 1569 >= 1104 @ 3.27537
18.65/18.72	c bounds 1569 >= 1105 @ 3.38115
18.65/18.72	c #Conflicts:      32000 | #Constraints:       7203
18.65/18.72	c bounds 1569 >= 1106 @ 3.43483
18.65/18.72	c bounds 1569 >= 1107 @ 3.59021
18.65/18.72	c #Conflicts:      33000 | #Constraints:       8211
18.65/18.72	c INPROCESSING
18.65/18.72	c GARBAGE COLLECT
18.65/18.72	c bounds 1569 >= 1108 @ 3.75105
18.65/18.72	c #Conflicts:      34000 | #Constraints:       5317
18.65/18.72	c bounds 1569 >= 1109 @ 4.08697
18.65/18.72	c bounds 1569 >= 1111 @ 4.20255
18.65/18.72	c #Conflicts:      35000 | #Constraints:       6325
18.65/18.72	c bounds 1569 >= 1114 @ 4.22578
18.65/18.72	c bounds 1569 >= 1115 @ 4.26323
18.65/18.72	c bounds 1569 >= 1116 @ 4.32042
18.65/18.72	c bounds 1569 >= 1117 @ 4.4018
18.65/18.72	c #Conflicts:      36000 | #Constraints:       7353
18.65/18.72	c bounds 1569 >= 1118 @ 4.53327
18.65/18.72	c bounds 1569 >= 1119 @ 4.57162
18.65/18.72	c #Conflicts:      37000 | #Constraints:       8364
18.65/18.72	c bounds 1569 >= 1120 @ 4.64693
18.65/18.72	c INPROCESSING
18.65/18.72	c GARBAGE COLLECT
18.65/18.72	c #Conflicts:      38000 | #Constraints:       5303
18.65/18.72	c bounds 1569 >= 1121 @ 4.89773
18.65/18.72	c bounds 1569 >= 1122 @ 4.99874
18.65/18.72	c #Conflicts:      39000 | #Constraints:       6311
18.65/18.72	c #Conflicts:      40000 | #Constraints:       7311
18.65/18.72	c bounds 1569 >= 1123 @ 5.34539
18.65/18.72	c #Conflicts:      41000 | #Constraints:       8318
18.65/18.72	c bounds 1569 >= 1124 @ 5.56271
18.65/18.72	c bounds 1569 >= 1125 @ 5.63027
18.65/18.72	c INPROCESSING
18.65/18.72	c GARBAGE COLLECT
18.65/18.72	c #Conflicts:      42000 | #Constraints:       5086
18.65/18.72	c bounds 1569 >= 1126 @ 5.79717
18.65/18.72	c bounds 1569 >= 1127 @ 5.86709
18.65/18.72	c #Conflicts:      43000 | #Constraints:       6094
18.65/18.72	c bounds 1569 >= 1128 @ 6.11089
18.65/18.72	c #Conflicts:      44000 | #Constraints:       7098
18.65/18.72	c #Conflicts:      45000 | #Constraints:       8098
18.65/18.72	c bounds 1569 >= 1129 @ 6.63955
18.65/18.72	c bounds 1569 >= 1130 @ 6.66911
18.65/18.72	c #Conflicts:      46000 | #Constraints:       9106
18.65/18.72	c bounds 1569 >= 1131 @ 6.78284
18.65/18.72	c bounds 1569 >= 1132 @ 6.79274
18.65/18.72	c INPROCESSING
18.65/18.72	c GARBAGE COLLECT
18.65/18.72	c bounds 1569 >= 1133 @ 6.95481
18.65/18.72	c #Conflicts:      47000 | #Constraints:       5690
18.65/18.72	c #Conflicts:      48000 | #Constraints:       6690
18.65/18.72	c bounds 1569 >= 1134 @ 7.46384
18.65/18.72	c #Conflicts:      49000 | #Constraints:       7697
18.65/18.72	c #Conflicts:      50000 | #Constraints:       8697
18.65/18.72	c bounds 1569 >= 1135 @ 7.99317
18.65/18.72	c #Conflicts:      51000 | #Constraints:       9701
18.65/18.72	c #Conflicts:      52000 | #Constraints:      10701
18.65/18.72	c #Conflicts:      53000 | #Constraints:      11701
18.65/18.72	c bounds 1569 >= 1136 @ 8.86133
18.65/18.72	c #Conflicts:      54000 | #Constraints:      12705
18.65/18.72	c bounds 1569 >= 1137 @ 9.46285
18.65/18.72	c #Conflicts:      55000 | #Constraints:      13709
18.65/18.72	c bounds 1569 >= 1138 @ 10.0162
18.65/18.72	c #Conflicts:      56000 | #Constraints:      14713
18.65/18.72	c bounds 1569 >= 1139 @ 10.5541
18.65/18.72	c bounds 1569 >= 1140 @ 10.7421
18.65/18.72	c #Conflicts:      57000 | #Constraints:      15724
18.65/18.72	c #Conflicts:      58000 | #Constraints:      16724
18.65/18.72	c #Conflicts:      59000 | #Constraints:      17724
18.65/18.72	c bounds 1569 >= 1141 @ 11.9883
18.65/18.72	c #Conflicts:      60000 | #Constraints:      18728
18.65/18.72	c #Conflicts:      61000 | #Constraints:      19728
18.65/18.72	c #Conflicts:      62000 | #Constraints:      20728
18.65/18.72	c bounds 1569 >= 1142 @ 13.1036
18.65/18.72	c bounds 1569 >= 1144 @ 13.2775
18.65/18.72	c #Conflicts:      63000 | #Constraints:      21742
18.65/18.72	c #Conflicts:      64000 | #Constraints:      22742
18.65/18.72	c INPROCESSING
18.65/18.72	c GARBAGE COLLECT
18.65/18.72	c #Conflicts:      65000 | #Constraints:      12354
18.65/18.72	c #Conflicts:      66000 | #Constraints:      13354
18.65/18.72	c bounds 1569 >= 1145 @ 14.9411
18.65/18.72	c #Conflicts:      67000 | #Constraints:      14358
18.65/18.72	c bounds 1569 >= 1146 @ 15.5738
18.65/18.72	c #Conflicts:      68000 | #Constraints:      15362
18.65/18.72	c bounds 1569 >= 1147 @ 15.8491
18.65/18.72	c bounds 1569 >= 1148 @ 16.0508
18.65/18.72	c #Conflicts:      69000 | #Constraints:      16373
18.65/18.72	c bounds 1569 >= 1149 @ 16.4061
18.65/18.72	c #Conflicts:      70000 | #Constraints:      17380
18.65/18.72	c INPROCESSING
18.65/18.72	c GARBAGE COLLECT
18.65/18.72	c #Conflicts:      71000 | #Constraints:       9746
18.65/18.72	c #Conflicts:      72000 | #Constraints:      10746
18.65/18.72	c bounds 1569 >= 1150 @ 17.2026
18.65/18.72	c #Conflicts:      73000 | #Constraints:      11750
18.65/18.72	c #Conflicts:      74000 | #Constraints:      12750
18.65/18.72	c #Conflicts:      75000 | #Constraints:      13750
18.65/18.72	c #Conflicts:      76000 | #Constraints:      14750
18.65/18.72	c bounds 1569 >= 1151 @ 18.1024
18.65/18.72	c INPROCESSING
18.65/18.72	c GARBAGE COLLECT
18.65/18.72	c #Conflicts:      77000 | #Constraints:       8369
20.24/20.35	c bounds 1569 >= 1154 @ 18.3932
20.24/20.35	c #Conflicts:      78000 | #Constraints:       9376
20.24/20.35	c bounds 1569 >= 1155 @ 18.4795
20.24/20.35	c bounds 1569 >= 1156 @ 18.5081
20.24/20.35	c bounds 1569 >= 1157 @ 18.5468
20.24/20.35	c #Conflicts:      79000 | #Constraints:      10397
20.24/20.35	c bounds 1569 >= 1158 @ 18.6528
20.24/20.35	c #Conflicts:      80000 | #Constraints:      11407
20.24/20.35	c bounds 1569 >= 1159 @ 18.8398
20.24/20.35	c bounds 1569 >= 1160 @ 18.8684
20.24/20.35	c bounds 1569 >= 1161 @ 18.8748
20.24/20.35	c bounds 1569 >= 1162 @ 18.8797
20.24/20.35	c bounds 1569 >= 1164 @ 18.8836
20.24/20.35	c bounds 1569 >= 1165 @ 18.8868
20.24/20.35	c bounds 1569 >= 1166 @ 18.8892
20.24/20.35	c bounds 1569 >= 1167 @ 18.9265
20.24/20.35	c bounds 1569 >= 1168 @ 18.9318
20.24/20.35	c bounds 1569 >= 1169 @ 18.9343
20.24/20.35	c bounds 1569 >= 1170 @ 18.9373
20.24/20.35	c bounds 1569 >= 1171 @ 18.9407
20.24/20.35	c bounds 1569 >= 1172 @ 18.9438
20.24/20.35	c bounds 1569 >= 1173 @ 18.946
20.24/20.35	c bounds 1569 >= 1174 @ 18.9484
20.24/20.35	c bounds 1569 >= 1175 @ 18.9919
20.24/20.35	c bounds 1569 >= 1176 @ 19.0004
20.24/20.35	c bounds 1569 >= 1177 @ 19.0055
20.24/20.35	c bounds 1569 >= 1178 @ 19.0091
20.24/20.35	c bounds 1569 >= 1179 @ 19.0123
20.24/20.35	c bounds 1569 >= 1180 @ 19.015
20.24/20.35	c bounds 1569 >= 1181 @ 19.0162
20.24/20.35	c bounds 1569 >= 1182 @ 19.0185
20.24/20.35	c bounds 1569 >= 1183 @ 19.0206
20.24/20.35	c bounds 1569 >= 1184 @ 19.0227
20.24/20.35	c bounds 1569 >= 1185 @ 19.0251
20.24/20.35	c bounds 1569 >= 1186 @ 19.0276
20.24/20.35	c bounds 1569 >= 1187 @ 19.0296
20.24/20.35	c bounds 1569 >= 1188 @ 19.0318
20.24/20.35	c bounds 1569 >= 1189 @ 19.0337
20.24/20.35	c bounds 1569 >= 1190 @ 19.0358
20.24/20.35	c bounds 1569 >= 1191 @ 19.0425
20.24/20.35	c #Conflicts:      81000 | #Constraints:      12550
20.24/20.35	c bounds 1569 >= 1192 @ 19.1926
20.24/20.35	c bounds 1569 >= 1193 @ 19.2197
20.24/20.35	c bounds 1569 >= 1194 @ 19.2268
20.24/20.35	c bounds 1569 >= 1195 @ 19.2314
20.24/20.35	c bounds 1569 >= 1196 @ 19.2354
20.24/20.35	c bounds 1569 >= 1197 @ 19.2384
20.24/20.35	c bounds 1569 >= 1198 @ 19.2406
20.24/20.35	c bounds 1569 >= 1199 @ 19.2424
20.24/20.35	c #Conflicts:      82000 | #Constraints:      13594
20.24/20.35	c bounds 1569 >= 1200 @ 19.3404
20.24/20.35	c bounds 1569 >= 1201 @ 19.3762
20.24/20.35	c bounds 1569 >= 1202 @ 19.383
20.24/20.35	c bounds 1569 >= 1204 @ 19.3905
20.24/20.35	c bounds 1569 >= 1205 @ 19.3945
20.24/20.35	c bounds 1569 >= 1206 @ 19.3977
20.24/20.35	c bounds 1569 >= 1207 @ 19.4003
20.24/20.35	c bounds 1569 >= 1208 @ 19.4026
20.24/20.35	c bounds 1569 >= 1209 @ 19.4517
20.24/20.35	c bounds 1569 >= 1210 @ 19.4632
20.24/20.35	c bounds 1569 >= 1211 @ 19.4669
20.24/20.35	c bounds 1569 >= 1214 @ 19.4692
20.24/20.35	c bounds 1569 >= 1215 @ 19.4711
20.24/20.35	c bounds 1569 >= 1216 @ 19.4727
20.24/20.35	c bounds 1569 >= 1217 @ 19.4742
20.24/20.35	c bounds 1569 >= 1218 @ 19.4757
20.24/20.35	c bounds 1569 >= 1219 @ 19.4776
20.24/20.35	c bounds 1569 >= 1220 @ 19.4792
20.24/20.35	c bounds 1569 >= 1221 @ 19.4804
20.24/20.35	c bounds 1569 >= 1222 @ 19.4816
20.24/20.35	c bounds 1569 >= 1223 @ 19.4825
20.24/20.35	c bounds 1569 >= 1224 @ 19.4834
20.24/20.35	c bounds 1569 >= 1225 @ 19.4843
20.24/20.35	c bounds 1569 >= 1226 @ 19.4855
20.24/20.35	c bounds 1569 >= 1227 @ 19.4866
20.24/20.35	c bounds 1569 >= 1228 @ 19.4881
20.24/20.35	c bounds 1569 >= 1229 @ 19.4893
20.24/20.35	c bounds 1569 >= 1230 @ 19.4908
20.24/20.35	c bounds 1569 >= 1231 @ 19.4924
20.24/20.35	c bounds 1569 >= 1232 @ 19.4939
20.24/20.35	c bounds 1569 >= 1233 @ 19.4955
20.24/20.35	c INPROCESSING
20.24/20.35	c GARBAGE COLLECT
20.24/20.35	c #Conflicts:      83000 | #Constraints:       7780
20.24/20.35	c bounds 1569 >= 1234 @ 19.6302
20.24/20.35	c bounds 1569 >= 1235 @ 19.6439
20.24/20.35	c bounds 1569 >= 1236 @ 19.6448
20.24/20.35	c bounds 1569 >= 1237 @ 19.6453
20.24/20.35	c bounds 1569 >= 1238 @ 19.6473
20.24/20.35	c bounds 1569 >= 1239 @ 19.6482
20.24/20.35	c bounds 1569 >= 1240 @ 19.6488
20.24/20.35	c bounds 1569 >= 1241 @ 19.6502
20.24/20.35	c bounds 1569 >= 1242 @ 19.6852
20.24/20.35	c bounds 1569 >= 1243 @ 19.7008
20.24/20.35	c bounds 1569 >= 1244 @ 19.704
20.24/20.35	c bounds 1569 >= 1245 @ 19.708
20.24/20.35	c bounds 1569 >= 1246 @ 19.7089
20.24/20.35	c bounds 1569 >= 1247 @ 19.7103
20.24/20.35	c bounds 1569 >= 1248 @ 19.7119
20.24/20.35	c bounds 1569 >= 1250 @ 19.7132
20.24/20.35	c #Conflicts:      84000 | #Constraints:       8862
20.24/20.35	c bounds 1569 >= 1251 @ 19.7614
20.24/20.35	c bounds 1569 >= 1254 @ 19.7684
20.24/20.35	c bounds 1569 >= 1255 @ 19.7708
20.24/20.35	c bounds 1569 >= 1258 @ 19.7722
20.24/20.35	c bounds 1569 >= 1275 @ 19.7736
20.24/20.35	c bounds 1569 >= 1283 @ 19.8141
20.24/20.35	c bounds 1569 >= 1284 @ 19.8215
20.24/20.35	c bounds 1569 >= 1292 @ 19.8244
20.24/20.35	c bounds 1569 >= 1317 @ 19.8288
20.24/20.35	c finalizing WCE round: reformulating cores
20.24/20.37	c bounds 1567 >= 901 @ 19.8496
20.24/20.37	c bounds 1567 >= 1330 @ 19.8574
20.24/20.37	c bounds 1567 >= 1499 @ 19.86
20.24/20.37	d SOLVEDBY oll
20.24/20.37	c cpu time 19.86 s
20.24/20.37	c deterministic time 2802075794 2.80e+09
20.24/20.37	c optimization time 0.633717 s
20.24/20.37	c total solve time 19.2256 s
20.24/20.37	c core-guided solve time 19.2256 s
20.24/20.37	c propagation time 15.5681 s
20.24/20.37	c conflict analysis time 3.64472 s
20.24/20.37	c propagations 4481423
20.24/20.37	c resolve steps 533911
20.24/20.37	c decisions 302032
20.24/20.37	c conflicts 84713
20.24/20.37	c restarts 253
20.24/20.37	c inprocessing phases 18
20.24/20.37	c input clauses 558
20.24/20.37	c input cardinalities 4
20.24/20.37	c input general constraints 990
20.24/20.37	c input average constraint length 80.76
20.24/20.37	c input average constraint degree 663.75
20.24/20.37	c learned clauses 41336
20.24/20.37	c learned cardinalities 231
20.24/20.37	c learned general constraints 43144
20.24/20.37	c learned average constraint length 50.26
20.24/20.37	c learned average constraint degree 1609.27
20.24/20.37	c watched constraints 27027
20.24/20.37	c counting constraints 17107
20.24/20.37	c gcd simplifications 9828
20.24/20.37	c detected cardinalities 26
20.24/20.37	c weakened non-implied lits 1773971
20.24/20.37	c weakened non-implying lits 15202
20.24/20.37	c original variables 133
20.24/20.37	c clausal propagations 1433137
20.24/20.37	c cardinality propagations 1375
20.24/20.37	c watched propagations 491533
20.24/20.37	c counting propagations 2425655
20.24/20.37	c watch lookups 711360716
20.24/20.37	c watch backjump lookups 630732847
20.24/20.37	c watch checks 1305799694
20.24/20.37	c propagation checks 125540079
20.24/20.37	c constraint additions 18991048
20.24/20.37	c trail pops 4867954
20.24/20.37	c formula constraints 210
20.24/20.37	c learned constraints 84711
20.24/20.37	c bound constraints 290
20.24/20.37	c core-guided constraints 1052
20.24/20.37	c encountered formula constraints 272694
20.24/20.37	c encountered learned constraints 313183
20.24/20.37	c encountered bound constraints 269
20.24/20.37	c encountered core-guided constraints 32478
20.24/20.37	c LP total time 0 s
20.24/20.37	c LP solve time 0 s
20.24/20.37	c LP constraints added 0
20.24/20.37	c LP constraints removed 0
20.24/20.37	c LP pivots internal 0
20.24/20.37	c LP pivots root 0
20.24/20.37	c LP calls 0
20.24/20.37	c LP optimalities 0
20.24/20.37	c LP no pivot count 0
20.24/20.37	c LP infeasibilities 0
20.24/20.37	c LP valid Farkas constraints 0
20.24/20.37	c LP learned Farkas constraints 0
20.24/20.37	c LP basis resets 0
20.24/20.37	c LP cycling count 0
20.24/20.37	c LP singular count 0
20.24/20.37	c LP no primal count 0
20.24/20.37	c LP no farkas count 0
20.24/20.37	c LP other issue count 0
20.24/20.37	c LP Gomory cuts 0
20.24/20.37	c LP learned cuts 0
20.24/20.37	c LP deleted cuts 0
20.24/20.37	c LP encountered Gomory constraints 0
20.24/20.37	c LP encountered Farkas constraints 0
20.24/20.37	c LP encountered learned Farkas constraints 0
20.24/20.37	c CG auxiliary variables introduced 359
20.24/20.37	c CG solutions found 12
20.24/20.37	c CG cores constructed 276
20.24/20.37	c CG core cardinality constraints returned 0
20.24/20.37	c CG unit cores 5
20.24/20.37	c CG single cores 270
20.24/20.37	c CG blocks removed during cardinality reduction 0
20.24/20.37	c CG first core best 0
20.24/20.37	c CG decision core best 0
20.24/20.37	c CG core reduction tie 1
20.24/20.37	c CG core degree average 1.00
20.24/20.37	c CG core slack average 2.44
20.24/20.37	c CG exhausted 12
20.24/20.37	c CG exhaust time 0.607167 s
20.24/20.37	c CG trimmed 4
20.24/20.37	c CG trim time 0.010641 s
20.24/20.37	c CG minimized 0
20.24/20.37	c CG minimize time 0 s
20.24/20.37	c CG am1 prop time 0.001858 s
20.24/20.37	c CG # am1s reformulated 6
20.24/20.37	c CG lower bound derived from am1s 211
20.24/20.37	c CG # clausal cores 271
20.24/20.37	c CG # cardinality cores 0
20.24/20.37	c CG # pb cores 1
20.24/20.37	c CG # pb reforms 5
20.24/20.37	c CG # cores discarded because of pb reform 0
20.24/20.37	d LOWERBOUND 1317
20.24/20.37	d NCORES 276
20.24/20.37	d NPBCORES 1
20.24/20.37	d NPBREFORM 5
20.24/20.37	d NTRIMMED 4
20.24/20.37	d NEXHAUSTED 12
20.24/20.37	d NAM1S 6
20.24/20.37	d AM1LB 211
20.24/20.37	o 1567
20.24/20.37	s OPTIMUM FOUND
20.24/20.37	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

Verifier Data 

OK	1567

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1046079, runsolver pid=1046076

[startup+0.100096 s]*
/proc/loadavg: 4.03 4.07 4.12 6/244 1046081
/proc/meminfo: memFree=123987892/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=39712 memory=7480 CPUtime=0.1 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 670 0 0 0 10 0 0 0 20 0 1 0 198826139 40665088 1870 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 9928 1870 1358 291 0 1462 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39712 KiB
Current children cumulated memory: 7480 KiB

[startup+0.213208 s]*
/proc/loadavg: 4.03 4.07 4.12 5/244 1046081
/proc/meminfo: memFree=123985000/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=39992 memory=10280 CPUtime=0.21 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 801 0 0 0 20 1 0 0 20 0 1 0 198826139 40951808 2570 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 9998 2570 1420 291 0 1532 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39992 KiB
Current children cumulated memory: 10280 KiB

[startup+0.312049 s]*
/proc/loadavg: 4.03 4.07 4.12 5/244 1046081
/proc/meminfo: memFree=123985000/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=40136 memory=10280 CPUtime=0.31 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 835 0 0 0 30 1 0 0 20 0 1 0 198826139 41099264 2570 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 10034 2570 1420 291 0 1568 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40136 KiB
Current children cumulated memory: 10280 KiB

[startup+0.700262 s]
/proc/loadavg: 4.03 4.07 4.12 5/244 1046081
/proc/meminfo: memFree=123984472/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=40424 memory=10544 CPUtime=0.69 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 888 0 0 0 66 3 0 0 20 0 1 0 198826139 41394176 2636 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 10106 2636 1420 291 0 1640 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40424 KiB
Current children cumulated memory: 10544 KiB

[startup+1.50026 s]
/proc/loadavg: 4.03 4.07 4.12 5/244 1046081
/proc/meminfo: memFree=123984136/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=41016 memory=10924 CPUtime=1.49 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 1016 0 0 0 143 6 0 0 20 0 1 0 198826139 42000384 2731 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 10254 2731 1420 291 0 1788 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41016 KiB
Current children cumulated memory: 10924 KiB

[startup+3.11351 s]
/proc/loadavg: 4.03 4.07 4.12 5/244 1046081
/proc/meminfo: memFree=123978900/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=44280 memory=13820 CPUtime=3.1 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 1732 0 0 0 297 13 0 0 20 0 1 0 198826139 45342720 3455 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 11070 3455 1420 291 0 2604 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 13820 KiB

[startup+6.30024 s]
/proc/loadavg: 4.03 4.07 4.12 5/244 1046081
/proc/meminfo: memFree=123976576/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=45604 memory=16224 CPUtime=6.27 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 2286 0 0 0 604 23 0 0 20 0 1 0 198826139 46698496 4056 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 11401 4056 1420 291 0 2935 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 45604 KiB
Current children cumulated memory: 16224 KiB

[startup+12.7003 s]
/proc/loadavg: 4.02 4.06 4.11 5/244 1046083
/proc/meminfo: memFree=123938652/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=56252 memory=24472 CPUtime=12.66 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 3860 0 0 0 1232 34 0 0 20 0 1 0 198826139 57602048 6118 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 14063 6118 1420 291 0 5597 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 56252 KiB
Current children cumulated memory: 24472 KiB

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

# cumulated CPU time of all completed processes:  user=19.8606 s, system=0.463864 s

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

[startup+12.8003 s]
/proc/loadavg: 4.02 4.06 4.11 5/244 1046083
/proc/meminfo: memFree=123938652/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=56252 memory=24472 CPUtime=12.76 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 3863 0 0 0 1242 34 0 0 20 0 1 0 198826139 57602048 6118 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 14063 6118 1420 291 0 5597 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 56252 KiB
Current children cumulated memory: 24472 KiB

[startup+16.0003 s]*
/proc/loadavg: 4.02 4.06 4.11 5/244 1046083
/proc/meminfo: memFree=123928304/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=57460 memory=27668 CPUtime=15.97 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 4168 0 0 0 1558 39 0 0 20 0 1 0 198826139 58839040 6917 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 14365 6917 1420 291 0 5899 0
Current children cumulated CPU time: 15.97 s
Current children cumulated vsize: 57460 KiB
Current children cumulated memory: 27668 KiB

[startup+17.6002 s]
/proc/loadavg: 4.02 4.06 4.11 5/244 1046083
/proc/meminfo: memFree=123928276/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=57608 memory=27668 CPUtime=17.55 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 4185 0 0 0 1714 41 0 0 20 0 1 0 198826139 58990592 6917 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 14402 6917 1420 291 0 5936 0
Current children cumulated CPU time: 17.55 s
Current children cumulated vsize: 57608 KiB
Current children cumulated memory: 27668 KiB

[startup+19.2002 s]
/proc/loadavg: 4.02 4.06 4.11 5/244 1046083
/proc/meminfo: memFree=123928276/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=57608 memory=27668 CPUtime=19.15 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 4185 0 0 0 1871 44 0 0 20 0 1 0 198826139 58990592 6917 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 14402 6917 1420 291 0 5936 0
Current children cumulated CPU time: 19.15 s
Current children cumulated vsize: 57608 KiB
Current children cumulated memory: 27668 KiB

[startup+20.0002 s]*
/proc/loadavg: 4.02 4.06 4.11 5/244 1046083
/proc/meminfo: memFree=123927744/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=57608 memory=27668 CPUtime=19.95 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 4186 0 0 0 1950 45 0 0 20 0 1 0 198826139 58990592 6917 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 14402 6917 1420 291 0 5936 0
Current children cumulated CPU time: 19.95 s
Current children cumulated vsize: 57608 KiB
Current children cumulated memory: 27668 KiB

[startup+20.2003 s]
/proc/loadavg: 4.02 4.06 4.11 5/244 1046083
/proc/meminfo: memFree=123927744/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=57608 memory=27668 CPUtime=20.14 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 4186 0 0 0 1969 45 0 0 20 0 1 0 198826139 58990592 6917 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 14402 6917 1420 291 0 5936 0
Current children cumulated CPU time: 20.14 s
Current children cumulated vsize: 57608 KiB
Current children cumulated memory: 27668 KiB

[startup+20.3002 s]
/proc/loadavg: 4.02 4.06 4.11 5/244 1046083
/proc/meminfo: memFree=123927744/131655788 swapFree=131071996/131071996
[pid=1046079] ppid=1046076 vsize=57608 memory=27668 CPUtime=20.24 cores=1,3
/proc/1046079/stat : 1046079 (pb-oll-rs) R 1046076 1046079 1045251 0 -1 4194304 4186 0 0 0 1978 46 0 0 20 0 1 0 198826139 58990592 6917 134679101440 4194304 5384485 140732006682048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9678848 140732006683669 140732006683746 140732006683746 140732006690763 0
/proc/1046079/statm: 14402 6917 1420 291 0 5936 0
Current children cumulated CPU time: 20.24 s
Current children cumulated vsize: 57608 KiB
Current children cumulated memory: 27668 KiB

Child status: 0

Real time (s): 20.3733
CPU time (s): 20.3245
CPU user time (s): 19.8606
CPU system time (s): 0.463864
CPU usage (%): 99.7605
Max. virtual memory (cumulated for all children) (KiB): 57608
Max. memory (cumulated for all children) (KiB): 27668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.8606
system time used= 0.463864
maximum resident set size= 27828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 1046079
#   total CPU time (s): 20.3245
#   total CPU user time (s): 19.8606
#   total CPU system time (s): 0.463864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.126207 second user time and 0.244128 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-20 11:11:20
IDJOB=4454269
IDBENCH=147214
IDSOLVER=3082
FILE ID=nodeC010/4454269-1721466670
RUNJOBID= nodeC010-1721466587-1045263
SLURM_JOB_ID= 7545719
Free space on /tmp= 723776 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454269-1721466670/watcher-4454269-1721466670 -o /tmp/evaluation-result-4454269-1721466670/solver-4454269-1721466670 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721466587-1045263 --watchdog 3760  pb-oll-rs HOME/instance-4454269-1721466670.opb

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

MD5SUM BENCH= 678ded5bf8e4807033dda77c17462616
RANDOM SEED=161845873

nodeC010.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		: 3677.252
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.51
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		: 3626.035
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.360
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.51
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.177
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		: 3645.577
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.51
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		: 3643.282
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.893
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.51
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.306
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:        123990408 kB
MemAvailable:   129269716 kB
Buffers:          547856 kB
Cached:          5518216 kB
SwapCached:            0 kB
Active:          1079388 kB
Inactive:        5898632 kB
Active(anon):       1464 kB
Inactive(anon):   956388 kB
Active(file):    1077924 kB
Inactive(file):  4942244 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1812 kB
Writeback:             0 kB
AnonPages:        910408 kB
Mapped:           111904 kB
Shmem:             45896 kB
KReclaimable:     198344 kB
Slab:             314356 kB
SReclaimable:     198344 kB
SUnreclaim:       116012 kB
KernelStack:        3932 kB
PageTables:        10992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1235112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62368 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 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:      295752 kB
DirectMap2M:    35260416 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC010 at 2024-07-20 11:11:41