Trace number 4530119

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
SCIP-NaPS 1.00a2SAT (TO)194 3600.28 3611.61

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUM82a224b9434e58ca22c331a9d6eb0d67
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark3586.51
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

997.77/1000.59	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530119-1752252521.opb
997.77/1000.59	c Solving mode: optimization
997.77/1000.59	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
997.77/1000.59	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
997.77/1000.59	c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
997.77/1000.59	c presolving:
997.77/1000.59	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 0 impls, 2016 clqs
997.77/1000.59	c (round 2, medium)     0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 14784 chg sides, 14784 chg coeffs, 16096 upgd conss, 0 impls, 2016 clqs
997.77/1000.59	c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 0 impls, 2016 clqs
997.77/1000.59	c    (0.8s) probing: 51/1344 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
997.77/1000.59	c    (0.8s) probing aborted: 50/50 successive totally useless probings
997.77/1000.59	c    (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
997.77/1000.59	c    (1.1s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
997.77/1000.59	c dynamic symmetry handling statistics:
997.77/1000.59	c    orbitopal reduction:       no components
997.77/1000.59	c    orbital reduction:          1 components of sizes 2
997.77/1000.59	c    lexicographic reduction:    2 permutations with support sizes 1284, 1344
997.77/1000.59	c handled 1 out of 1 symmetry components
997.77/1000.59	c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
997.77/1000.59	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
997.77/1000.59	c  0 implications, 2016 cliques
997.77/1000.59	c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
997.77/1000.59	c    7496 constraints of type <knapsack>
997.77/1000.59	c    2016 constraints of type <setppc>
997.77/1000.59	c    6584 constraints of type <logicor>
997.77/1000.59	c transformed objective value is always integral (scale: 1)
997.77/1000.59	c Presolving Time: 1.04
997.77/1000.59	c 
997.77/1000.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.77/1000.59	c   2.4s|     1 |     0 |  3180 |     - |   150M |   0 |1344 |  16k|  16k|   0 |  0 |  80 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c   8.9s|     1 |     0 | 23553 |     - |   164M |   0 |1344 |  16k|  16k|  15 |  1 |  82 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  11.1s|     1 |     0 | 25491 |     - |   166M |   0 |1344 |  16k|  16k|  24 |  2 |  83 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  13.4s|     1 |     0 | 27534 |     - |   168M |   0 |1344 |  16k|  16k|  33 |  3 |  84 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  15.5s|     1 |     0 | 29344 |     - |   169M |   0 |1344 |  16k|  16k|  40 |  4 |  85 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  17.5s|     1 |     0 | 30948 |     - |   171M |   0 |1344 |  16k|  16k|  49 |  5 |  88 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  19.8s|     1 |     0 | 33089 |     - |   172M |   0 |1344 |  16k|  16k|  60 |  6 |  90 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  22.0s|     1 |     0 | 35115 |     - |   174M |   0 |1344 |  16k|  16k|  71 |  7 |  91 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  24.3s|     1 |     0 | 37223 |     - |   175M |   0 |1344 |  16k|  16k|  81 |  8 |  94 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  26.6s|     1 |     0 | 39296 |     - |   177M |   0 |1344 |  16k|  16k|  90 |  9 |  95 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  28.8s|     1 |     0 | 41070 |     - |   178M |   0 |1344 |  16k|  16k|  99 | 10 |  97 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  29.9s|     1 |     0 | 43506 |     - |   180M |   0 |1344 |  16k|  16k| 109 | 11 |  98 |   0 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c  64.7s|     1 |     2 | 88606 |     - |   181M |   0 |1344 |  16k|  16k| 109 | 11 | 149 |  22 | 9.600000e+01 |      --      |    Inf | unknown
997.77/1000.59	c   219s|   100 |    99 |231819 |1902.2 |   201M |  23 |1344 |  16k|  16k| 270 |  1 | 218 | 269 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   278s|   200 |   199 |354642 |1563.5 |   205M |  29 |1344 |  16k|  16k| 320 |  1 | 284 | 338 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.77/1000.59	c   346s|   300 |   299 |474530 |1441.6 |   211M |  31 |1344 |  16k|  16k| 450 |  1 | 396 | 415 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   388s|   400 |   399 |573323 |1327.9 |   212M |  34 |1344 |  16k|  16k| 477 |  1 | 489 | 466 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   440s|   500 |   493 |681696 |1278.9 |   216M |  34 |1344 |  16k|  16k| 560 |  2 | 624 | 525 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   490s|   600 |   589 |785424 |1238.6 |   224M |  34 |1344 |  16k|  16k| 655 |  1 | 741 | 595 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   538s|   700 |   687 |895299 |1218.6 |   225M |  34 |1344 |  16k|  16k| 712 |  1 | 797 | 655 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   579s|   800 |   787 |990846 |1185.7 |   226M |  38 |1344 |  16k|  16k| 784 |  1 | 861 | 717 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   628s|   900 |   887 |  1092k|1166.9 |   229M |  38 |1344 |  16k|  16k| 847 |  1 |1037 | 779 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   701s|  1000 |   985 |  1237k|1195.6 |   236M |  39 |1344 |  16k|  16k| 966 |  1 |1133 | 848 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   751s|  1100 |  1085 |  1347k|1186.5 |   236M |  39 |1344 |  16k|  16k|1038 |  3 |1249 | 911 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   795s|  1200 |  1185 |  1442k|1166.7 |   237M |  39 |1344 |  16k|  16k|1105 |  1 |1320 | 967 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   863s|  1300 |  1285 |  1581k|1183.7 |   240M |  39 |1344 |  16k|  16k|1260 |  1 |1575 |1036 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c   921s|  1400 |  1385 |  1704k|1187.2 |   242M |  39 |1344 |  16k|  16k|1347 |  1 |1780 |1102 | 9.600000e+01 |      --      |    Inf |  50.00%
997.77/1000.59	c d 953s|  1470 |  1455 |  1775k|1178.8 |distribu|  39 |1344 |  16k|  16k|   0 |  1 |1847 |1139 | 9.600000e+01 | 1.960000e+02 | 104.17%|  50.00%
997.77/1000.59	c   974s|  1500 |  1485 |  1827k|1190.3 |   243M |  39 |1344 |  16k|  16k|1420 |  1 |1960 |1158 | 9.600000e+01 | 1.960000e+02 | 104.17%|  18.34%
997.77/1000.59	c 
997.77/1000.59	c SCIP Status        : solving was interrupted [time limit reached]
997.77/1000.59	c Solving Time (sec) : 1000.00
997.77/1000.59	c Solving Nodes      : 1514
997.77/1000.59	c Primal Bound       : +1.96000000000000e+02 (1 solutions)
997.77/1000.59	c Dual Bound         : +9.60000000000000e+01
997.77/1000.59	c Gap                : 104.17 %
997.77/1000.59	c All original constraints are satisfied.
997.77/1000.59	c SCIP's best solution is verified feasible for the original problem.
997.77/1000.59	c ----------------------------------------------------------------------
997.77/1000.59	c dual bound: 96.0 -> 96
997.77/1000.59	c primal bound: 196.0 -> 196
997.77/1000.59	c scip-goal-lb: 96
997.77/1000.59	c scip-goal-ub: 196
997.77/1000.59	c writing output to: HOME/tmpkklzufck.opb
997.77/1000.59	c appending fixed variable constraints
997.77/1000.59	c scip-fixed vars: 0.60% (8/1344)
997.77/1000.59	c ----------------------------------------------------------------------
997.77/1000.59	c executing external solver: HOME/naps-1.03a6
997.77/1000.59	c ----------------------------------------------------------------------
997.77/1000.59	c command: HOME/naps-1.03a6 -goal-lb=96 -goal-ub=195 HOME/tmpkklzufck.opb
997.87/1000.61	c NaPS 1.03a6.
997.87/1000.61	c Input file name: HOME/tmpkklzufck.opb
999.63/1002.43	c single stage optimization mode
3600.04/3611.40	o 194
3600.04/3611.40	c
3600.04/3611.40	c *** TERMINATED *** by signal 15
3600.04/3611.40	c s SATISFIABLE
3600.04/3611.40	c _____________________________________________________________________________
3600.04/3611.40	c std/band forms        : 7889,1
3600.04/3611.40	c 2cl/3cl ITE-codings   : 58576,24503
3600.04/3611.40	c BDD/srt/adr Max costs : 137277,324,0
3600.04/3611.40	c BDDraw/bin/mul/srt/adr: 7394,0,0,496,0
3600.04/3611.40	c BDD nodes             : 183968
3600.04/3611.40	c Es1/CC detections     : 0,0
3600.04/3611.40	c CC sort               : 496
3600.04/3611.40	c SAT/UNSAT calls       : 1,0
3600.04/3611.40	c regenrated variables  : 0
3600.04/3611.40	c eliminated fixed lits : 9
3600.04/3611.40	c goal lit flips        : 0
3600.04/3611.40	c goal stages           : 1
3600.04/3611.40	c goal shrink           : 0
3600.04/3611.40	c goal coeff separations: 0
3600.04/3611.40	c restarts              : 102
3600.04/3611.40	c conflicts             : 1596           (1 /sec)
3600.04/3611.40	c decisions             : 42613          (16 /sec)
3600.04/3611.40	c propagations          : 4059378        (1560 /sec)
3600.04/3611.40	c inspects              : 0              (0 /sec)
3600.04/3611.40	c CPU time (solving tm) : 2602 s        (2600 s, SAT 0.5662 s, UNSAT 0 s)
3600.04/3611.40	c Time for Opt-base     : 0.004 s
3600.04/3611.40	c Steps for Opt-base    : 0
3600.04/3611.40	c Time for BDD coding   : 1.097 s
3600.04/3611.40	c Time for srt coding   : 0.01407 s
3600.04/3611.40	c _____________________________________________________________________________
3600.04/3611.40	c v -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 -x2 -x66 -x130 -x194 -x258 x322 -x386 -x450 -x514 -x578 -x642 -x706 -x770 -x834 -x3 -x67 -x131 -x195 -x259 -x323 -x387 -x451 -x515 -x579 -x643 -x707 x771 -x835 x4 -x68 -x132 -x196 -x260 -x324 -x388 -x452 -x516 -x580 -x644 -x708 -x772 -x836 -x5 -x69 -x133 -x197 x261 -x325 -x389 -x453 -x517 -x581 -x645 -x709 -x773 -x837 -x6 -x70 -x134 -x198 -x262 -x326 -x390 -x454 -x518 -x582 x646 -x710 -x774 -x838 -x7 -x71 -x135 -x199 -x263 -x327 -x391 -x455 -x519 -x583 -x647 x711 -x775 -x839 -x8 -x72 -x136 -x200 -x264 -x328 x392 -x456 -x520 -x584 -x648 -x712 -x776 -x840 -x9 -x73 -x137 -x201 -x265 -x329 -x393 -x457 -x521 -x585 -x649 -x713 -x777 x841 -x11 -x75 -x139 -x203 -x267 -x331 -x395 x459 -x523 -x587 -x651 -x715 -x779 -x843 -x12 -x76 x140 -x204 -x268 -x332 -x396 -x460 -x524 -x588 -x652 -x716 -x780 -x844 -x13 -x77 -x141 -x205 -x269 -x333 x397 -x461 -x525 -x589 -x653 -x717 -x781 -x845 -x14 x78 -x142 -x206 -x270 -x334 -x398 -x462 -x526 -x590 -x654 -x718 -x782 -x846 -x15 -x79 -x143 -x207 -x271 -x335 -x399 -x463 -x527 -x591 -x655 -x719 x783 -x847 -x16 -x80 -x144 -x208 -x272 -x336 -x400 -x464 x528 -x592 -x656 -x720 -x784 -x848 -x17 -x81 -x145 -x209 -x273 -x337 -x401 -x465 x529 -x593 -x657 -x721 -x785 -x849 -x18 -x82 -x146 -x210 x274 -x338 -x402 -x466 -x530 -x594 -x658 -x722 -x786 -x850 -x20 -x84 -x148 -x212 -x276 -x340 x404 -x468 -x532 -x596 -x660 -x724 -x788 -x852 -x21 -x85 -x149 -x213 -x277 -x341 -x405 -x469 -x533 -x597 -x661 x725 -x789 -x853 -x22 -x86 -x150 -x214 -x278 -x342 -x406 -x470 -x534 -x598 -x662 -x726 -x790 x854 -x23 -x87 -x151 -x215 -x279 -x343 -x407 -x471 -x535 -x599 x663 -x727 -x791 -x855 x24 -x88 -x152 -x216 -x280 -x344 -x408 -x472 -x536 -x600 -x664 -x728 -x792 -x856 -x25 -x89 -x153 x217 -x281 -x345 -x409 -x473 -x537 -x601 -x665 -x729 -x793 -x857 -x26 -x90 -x154 -x218 -x282 -x346 -x410 -x474 -x538 -x602 x666 -x730 -x794 -x858 -x27 -x91 -x155 -x219 -x283 -x347 -x411 -x475 -x539 x603 -x667 -x731 -x795 -x859 -x29 -x93 -x157 -x221 -x285 -x349 -x413 -x477 -x541 -x605 -x669 -x733 -x797 x861 -x30 -x94 -x158 -x222 -x286 -x350 -x414 -x478 -x542 -x606 -x670 -x734 x798 -x862 -x31 -x95 -x159 -x223 -x287 x351 -x415 -x479 -x543 -x607 -x671 -x735 -x799 -x863 -x32 -x96 -x160 -x224 -x288 -x352 -x416 x480 -x544 -x608 -x672 -x736 -x800 -x864 -x33 -x97 x161 -x225 -x289 -x353 -x417 -x481 -x545 -x609 -x673 -x737 -x801 -x865 -x34 -x98 -x162 -x226 -x290 -x354 -x418 -x482 -x546 x610 -x674 -x738 -x802 -x866 -x35 x99 -x163 -x227 -x291 -x355 -x419 -x483 -x547 -x611 -x675 -x739 -x803 -x867 -x36 -x100 -x164 -x228 -x292 -x356 -x420 -x484 x548 -x612 -x676 -x740 -x804 -x868 -x38 -x102 -x166 -x230 -x294 x358 -x422 -x486 -x550 -x614 -x678 -x742 -x806 -x870 -x39 -x103 -x167 x231 -x295 -x359 -x423 -x487 -x551 -x615 -x679 -x743 -x807 -x871 -x40 -x104 -x168 -x232 -x296 -x360 -x424 -x488 -x552 -x616 -x680 -x744 x808 -x872 -x41 -x105 -x169 -x233 -x297 -x361 -x425 x489 -x553 -x617 -x681 -x745 -x809 -x873 -x42 -x106 -x170 -x234 -x298 -x362 -x426 -x490 -x554 -x618 -x682 x746 -x810 -x874 -x43 -x107 -x171 x235 -x299 -x363 -x427 -x491 -x555 -x619 -x683 -x747 -x811 -x875 -x44 -x108 -x172 -x236 x300 -x364 -x428 -x492 -x556 -x620 -x684 -x748 -x812 -x876 x45 -x109 -x173 -x237 -x301 -x365 -x429 -x493 -x557 -x621 -x685 -x749 -x813 -x877 -x47 -x111 -x175 -x239 -x303 -x367 -x431 -x495 x559 -x623 -x687 -x751 -x815 -x879 -x48 -x112 x176 -x240 -x304 -x368 -x432 -x496 -x560 -x624 -x688 -x752 -x816 -x880 -x49 -x113 -x177 -x241 -x305 -x369 -x433 -x497 -x561 x625 -x689 -x753 -x817 -x881 x50 -x114 -x178 -x242 -x306 -x370 -x434 -x498 -x562 -x626 -x690 -x754 -x818 -x882 -x51 -x115 x179 -x243 -x307 -x371 -x435 -x499 -x563 -x627 -x691 -x755 -x819 -x883 -x52 x116 -x180 -x244 -x308 -x372 -x436 -x500 -x564 -x628 -x692 -x756 -x820 -x884 -x53 -x117 -x181 -x245 -x309 -x373 -x437 x501 -x565 -x629 -x693 -x757 -x821 -x885 -x54 -x118 -x182 -x246 -x310 -x374 x438 -x502 -x566 -x630 -x694 -x758 -x822 -x886 -x56 -x120 -x184 -x248 -x312 -x376 -x440 -x504 -x568 -x632 -x696 -x760 -x824 x888 -x57 x121 -x185 -x249 -x313 -x377 -x441 -x505 -x569 -x633 -x697 -x761 -x825 -x889 -x58 -x122 -x186 x250 -x314 -x378 -x442 -x506 -x570 -x634 -x698 -x762 -x826 -x890 -x59 -x123 -x187 -x251 -x315 x379 -x443 -x507 -x571 -x635 -x699 -x763 -x827 -x891 -x60 -x124 -x188 -x252 -x316 -x380 -x444 -x508 -x572 -x636 -x700 x764 -x828 -x892 -x61 -x125 -x189 -x253 -x317 -x381 -x445 -x509 -x573 -x637 x701 -x765 -x829 -x893 -x62 -x126 -x190 -x254 -x318 -x382 -x446 -x510 -x574 x638 -x702 -x766 -x830 -x894 -x63 -x127 -x191 -x255 x319 -x383 -x447 -x511 -x575 -x639 -x703 -x767 -x831 -x895 x10 -x74 -x138 x202 x266 x330 -x394 -x458 -x522 x586 x650 x714 -x778 -x842 -x19 x83 x147 x211 -x275 x339 -x403 x467 -x531 x595 -x659 -x723 x787 -x851 x28 x92 x156 -x220 x284 -x348 x412 -x476 x540 -x604 -x668 x732 -x796 -x860 x37 -x101 -x165 -x229 x293 -x357 x421 x485 -x549 -x613 x677 x741 -x805 x869 -x46 x110 -x174 -x238 -x302 x366 x430 -x494 -x558 x622 x686 -x750 x814 x878 -x55 -x119 -x183 x247 x311 x375 -x439 -x503 x567 -x631 x695 x759 x823 -x887 x64 -x128 x192 -x256 -x320 -x384 x448 x512 x576 -x640 -x704 -x768 x832 x896 -x1 x65 x129 x193 -x257 -x321 -x385 x449 x513 x577 -x641 -x705 -x769 x833
3600.04/3611.40	s SATISFIABLE
3600.04/3611.40	v -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 -x2 -x66 -x130 -x194 -x258 x322 -x386 -x450 -x514 -x578 -x642 -x706 -x770 -x834 -x3 -x67 -x131 -x195 -x259 -x323 -x387 -x451 -x515 -x579 -x643 -x707 x771 -x835 x4 -x68 -x132 -x196 -x260 -x324 -x388 -x452 -x516 -x580 -x644 -x708 -x772 -x836 -x5 -x69 -x133 -x197 x261 -x325 -x389 -x453 -x517 -x581 -x645 -x709 -x773 -x837 -x6 -x70 -x134 -x198 -x262 -x326 -x390 -x454 -x518 -x582 x646 -x710 -x774 -x838 -x7 -x71 -x135 -x199 -x263 -x327 -x391 -x455 -x519 -x583 -x647 x711 -x775 -x839 -x8 -x72 -x136 -x200 -x264 -x328 x392 -x456 -x520 -x584 -x648 -x712 -x776 -x840 -x9 -x73 -x137 -x201 -x265 -x329 -x393 -x457 -x521 -x585 -x649 -x713 -x777 x841 -x11 -x75 -x139 -x203 -x267 -x331 -x395 x459 -x523 -x587 -x651 -x715 -x779 -x843 -x12 -x76 x140 -x204 -x268 -x332 -x396 -x460 -x524 -x588 -x652 -x716 -x780 -x844 -x13 -x77 -x141 -x205 -x269 -x333 x397 -x461 -x525 -x589 -x653 -x717 -x781 -x845 -x14 x78 -x142 -x206 -x270 -x334 -x398 -x462 -x526 -x590 -x654 -x718 -x782 -x846 -x15 -x79 -x143 -x207 -x271 -x335 -x399 -x463 -x527 -x591 -x655 -x719 x783 -x847 -x16 -x80 -x144 -x208 -x272 -x336 -x400 -x464 x528 -x592 -x656 -x720 -x784 -x848 -x17 -x81 -x145 -x209 -x273 -x337 -x401 -x465 x529 -x593 -x657 -x721 -x785 -x849 -x18 -x82 -x146 -x210 x274 -x338 -x402 -x466 -x530 -x594 -x658 -x722 -x786 -x850 -x20 -x84 -x148 -x212 -x276 -x340 x404 -x468 -x532 -x596 -x660 -x724 -x788 -x852 -x21 -x85 -x149 -x213 -x277 -x341 -x405 -x469 -x533 -x597 -x661 x725 -x789 -x853 -x22 -x86 -x150 -x214 -x278 -x342 -x406 -x470 -x534 -x598 -x662 -x726 -x790 x854 -x23 -x87 -x151 -x215 -x279 -x343 -x407 -x471 -x535 -x599 x663 -x727 -x791 -x855 x24 -x88 -x152 -x216 -x280 -x344 -x408 -x472 -x536 -x600 -x664 -x728 -x792 -x856 -x25 -x89 -x153 x217 -x281 -x345 -x409 -x473 -x537 -x601 -x665 -x729 -x793 -x857 -x26 -x90 -x154 -x218 -x282 -x346 -x410 -x474 -x538 -x602 x666 -x730 -x794 -x858 -x27 -x91 -x155 -x219 -x283 -x347 -x411 -x475 -x539 x603 -x667 -x731 -x795 -x859 -x29 -x93 -x157 -x221 -x285 -x349 -x413 -x477 -x541 -x605 -x669 -x733 -x797 x861 -x30 -x94 -x158 -x222 -x286 -x350 -x414 -x478 -x542 -x606 -x670 -x734 x798 -x862 -x31 -x95 -x159 -x223 -x287 x351 -x415 -x479 -x543 -x607 -x671 -x735 -x799 -x863 -x32 -x96 -x160 -x224 -x288 -x352 -x416 x480 -x544 -x608 -x672 -x736 -x800 -x864 -x33 -x97 x161 -x225 -x289 -x353 -x417 -x481 -x545 -x609 -x673 -x737 -x801 -x865 -x34 -x98 -x162 -x226 -x290 -x354 -x418 -x482 -x546 x610 -x674 -x738 -x802 -x866 -x35 x99 -x163 -x227 -x291 -x355 -x419 -x483 -x547 -x611 -x675 -x739 -x803 -x867 -x36 -x100 -x164 -x228 -x292 -x356 -x420 -x484 x548 -x612 -x676 -x740 -x804 -x868 -x38 -x102 -x166 -x230 -x294 x358 -x422 -x486 -x550 -x614 -x678 -x742 -x806 -x870 -x39 -x103 -x167 x231 -x295 -x359 -x423 -x487 -x551 -x615 -x679 -x743 -x807 -x871 -x40 -x104 -x168 -x232 -x296 -x360 -x424 -x488 -x552 -x616 -x680 -x744 x808 -x872 -x41 -x105 -x169 -x233 -x297 -x361 -x425 x489 -x553 -x617 -x681 -x745 -x809 -x873 -x42 -x106 -x170 -x234 -x298 -x362 -x426 -x490 -x554 -x618 -x682 x746 -x810 -x874 -x43 -x107 -x171 x235 -x299 -x363 -x427 -x491 -x555 -x619 -x683 -x747 -x811 -x875 -x44 -x108 -x172 -x236 x300 -x364 -x428 -x492 -x556 -x620 -x684 -x748 -x812 -x876 x45 -x109 -x173 -x237 -x301 -x365 -x429 -x493 -x557 -x621 -x685 -x749 -x813 -x877 -x47 -x111 -x175 -x239 -x303 -x367 -x431 -x495 x559 -x623 -x687 -x751 -x815 -x879 -x48 -x112 x176 -x240 -x304 -x368 -x432 -x496 -x560 -x624 -x688 -x752 -x816 -x880 -x49 -x113 -x177 -x241 -x305 -x369 -x433 -x497 -x561 x625 -x689 -x753 -x817 -x881 x50 -x114 -x178 -x242 -x306 -x370 -x434 -x498 -x562 -x626 -x690 -x754 -x818 -x882 -x51 -x115 x179 -x243 -x307 -x371 -x435 -x499 -x563 -x627 -x691 -x755 -x819 -x883 -x52 x116 -x180 -x244 -x308 -x372 -x436 -x500 -x564 -x628 -x692 -x756 -x820 -x884 -x53 -x117 -x181 -x245 -x309 -x373 -x437 x501 -x565 -x629 -x693 -x757 -x821 -x885 -x54 -x118 -x182 -x246 -x310 -x374 x438 -x502 -x566 -x630 -x694 -x758 -x822 -x886 -x56 -x120 -x184 -x248 -x312 -x376 -x440 -x504 -x568 -x632 -x696 -x760 -x824 x888 -x57 x121 -x185 -x249 -x313 -x377 -x441 -x505 -x569 -x633 -x697 -x761 -x825 -x889 -x58 -x122 -x186 x250 -x314 -x378 -x442 -x506 -x570 -x634 -x698 -x762 -x826 -x890 -x59 -x123 -x187 -x251 -x315 x379 -x443 -x507 -x571 -x635 -x699 -x763 -x827 -x891 -x60 -x124 -x188 -x252 -x316 -x380 -x444 -x508 -x572 -x636 -x700 x764 -x828 -x892 -x61 -x125 -x189 -x253 -x317 -x381 -x445 -x509 -x573 -x637 x701 -x765 -x829 -x893 -x62 -x126 -x190 -x254 -x318 -x382 -x446 -x510 -x574 x638 -x702 -x766 -x830 -x894 -x63 -x127 -x191 -x255 x319 -x383 -x447 -x511 -x575 -x639 -x703 -x767 -x831 -x895 x10 -x74 -x138 x202 x266 x330 -x394 -x458 -x522 x586 x650 x714 -x778 -x842 -x19 x83 x147 x211 -x275 x339 -x403 x467 -x531 x595 -x659 -x723 x787 -x851 x28 x92 x156 -x220 x284 -x348 x412 -x476 x540 -x604 -x668 x732 -x796 -x860 x37 -x101 -x165 -x229 x293 -x357 x421 x485 -x549 -x613 x677 x741 -x805 x869 -x46 x110 -x174 -x238 -x302 x366 x430 -x494 -x558 x622 x686 -x750 x814 x878 -x55 -x119 -x183 x247 x311 x375 -x439 -x503 x567 -x631 x695 x759 x823 -x887 x64 -x128 x192 -x256 -x320 -x384 x448 x512 x576 -x640 -x704 -x768 x832 x896 -x1 x65 x129 x193 -x257 -x321 -x385 x449 x513 x577 -x641 -x705 -x769 x833
3600.17/3611.55	c received SIGTERM, forwarding to pbsolver...
3600.17/3611.55	c failed to send SIGTERM to pbsolver: [Errno 3] No such process

Verifier Data 

OK	194

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: 63837 MiB (61091 MiB free)
  memory of node 1: 64465 MiB (61992 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530119-1752252521/watcher-4530119-1752252521 -o /tmp/evaluation-result-4530119-1752252521/solver-4530119-1752252521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752252515-115770 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530119-1752252521.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=115939, runsolver pid=115933

[startup+0.100074 s]*
/proc/loadavg: 4.16 4.11 4.15 5/258 115945
/proc/meminfo: memFree=126029824/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=12512 memory=9728 CPUtime=0.05 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 1453 0 0 0 5 0 0 0 20 0 1 0 140930935 12812288 2432 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 3128 2432 1152 1 0 1340 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 16704 KiB
Current children cumulated memory: 12800 KiB

[startup+0.214326 s]*
/proc/loadavg: 4.16 4.11 4.15 5/258 115945
/proc/meminfo: memFree=126025588/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1186292 memory=30996 CPUtime=0.16 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 3541 0 0 0 14 2 0 0 20 0 1 0 140930935 1214763008 7749 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 296573 7749 4841 1 0 268595 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1190484 KiB
Current children cumulated memory: 34068 KiB

[startup+0.314585 s]*
/proc/loadavg: 4.16 4.11 4.15 5/258 115945
/proc/meminfo: memFree=126025588/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1190444 memory=35348 CPUtime=0.25 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 4463 0 0 0 23 2 0 0 20 0 1 0 140930935 1219014656 8837 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 297611 8837 5033 1 0 269520 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1194636 KiB
Current children cumulated memory: 38420 KiB

[startup+0.700437 s]
/proc/loadavg: 4.16 4.11 4.15 5/258 115945
/proc/meminfo: memFree=126032852/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1244808 memory=96916 CPUtime=0.63 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 17238 0 0 0 56 7 0 0 20 0 1 0 140930935 1274683392 24229 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 311202 24229 7881 1 0 282560 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1249000 KiB
Current children cumulated memory: 99988 KiB

[startup+1.50043 s]
/proc/loadavg: 4.16 4.11 4.15 5/258 115945
/proc/meminfo: memFree=126024788/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1312336 memory=151932 CPUtime=1.42 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 25891 0 0 0 133 9 0 0 20 0 1 0 140930935 1343832064 37983 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 328084 37983 7945 1 0 299442 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 1316528 KiB
Current children cumulated memory: 155004 KiB

[startup+3.11366 s]
/proc/loadavg: 4.15 4.11 4.15 5/253 115953
/proc/meminfo: memFree=126062288/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1356812 memory=195392 CPUtime=3.03 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 36961 0 3 0 292 11 0 0 20 0 1 0 140930935 1389375488 48848 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 339203 48848 8137 1 0 310561 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1361004 KiB
Current children cumulated memory: 198464 KiB

[startup+6.30041 s]
/proc/loadavg: 4.15 4.11 4.15 5/258 115994
/proc/meminfo: memFree=125785052/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1356812 memory=195392 CPUtime=6.21 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 36971 0 3 0 610 11 0 0 20 0 1 0 140930935 1389375488 48848 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 339203 48848 8137 1 0 310561 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1361004 KiB
Current children cumulated memory: 198464 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.11 4.14 5/258 115994
/proc/meminfo: memFree=125411140/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1377720 memory=212928 CPUtime=12.59 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 41331 0 3 0 1247 12 0 0 20 0 1 0 140930935 1410785280 53232 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 344430 53232 8137 1 0 315788 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1381912 KiB
Current children cumulated memory: 216000 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.10 4.14 5/258 115995
/proc/meminfo: memFree=125444860/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1388500 memory=214848 CPUtime=25.36 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 41811 0 3 0 2524 12 0 0 20 0 1 0 140930935 1421824000 53712 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 347125 53712 8137 1 0 318483 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1392692 KiB
Current children cumulated memory: 217920 KiB

[startup+51.1139 s]
/proc/loadavg: 4.13 4.11 4.14 5/258 115996
/proc/meminfo: memFree=125353924/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1393748 memory=215616 CPUtime=50.9 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 42004 0 3 0 5078 12 0 0 20 0 1 0 140930935 1427197952 53904 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 348437 53904 8137 1 0 319795 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1397940 KiB
Current children cumulated memory: 218688 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.14 5/258 115998
/proc/meminfo: memFree=125173804/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1485460 memory=302144 CPUtime=101.95 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 63702 0 3 0 10180 15 0 0 20 0 1 0 140930935 1521111040 75536 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 371365 75536 8137 1 0 342723 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1489652 KiB
Current children cumulated memory: 305216 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/258 116000
/proc/meminfo: memFree=125023468/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1548628 memory=362308 CPUtime=161.79 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 88597 0 3 0 16158 21 0 0 20 0 1 0 140930935 1585795072 90577 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 387157 90577 8137 1 0 358515 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1552820 KiB
Current children cumulated memory: 365380 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/259 116003
/proc/meminfo: memFree=124987292/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1548628 memory=362308 CPUtime=221.63 cores=4,6
/proc/115945/stat : 115945 (python3) R 115939 115939 115030 0 -1 4194304 88597 0 3 0 22142 21 0 0 20 0 1 0 140930935 1585795072 90577 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 387157 90577 8137 1 0 358515 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1552820 KiB

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

/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1549396 memory=371392 CPUtime=997.87 cores=4,6
/proc/115945/stat : 115945 (python3) S 115939 115939 115030 0 -1 4194304 112424 0 3 0 99761 26 0 0 20 0 1 0 140930935 1586581504 92848 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 387349 92848 8201 1 0 358707 0
[pid=116050] ppid=115945 vsize=197268 memory=195640 CPUtime=2214.42 cores=4,6
/proc/116050/stat : 116050 (naps-1.03a6) R 115945 116050 116050 0 -1 4194304 61202 0 0 0 221416 26 0 0 20 0 1 0 141030991 202002432 48910 18446744073709551615 4198400 7047149 140733157830000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25227264 140733157833078 140733157833201 140733157833201 140733157838793 0
/proc/116050/statm: 49317 48910 640 696 0 48478 0
Current children cumulated CPU time: 3212.29 s
Current children cumulated vsize: 1750856 KiB
Current children cumulated memory: 570104 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/259 116158
/proc/meminfo: memFree=90556520/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1549396 memory=371392 CPUtime=997.87 cores=4,6
/proc/115945/stat : 115945 (python3) S 115939 115939 115030 0 -1 4194304 112424 0 3 0 99761 26 0 0 20 0 1 0 140930935 1586581504 92848 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 387349 92848 8201 1 0 358707 0
[pid=116050] ppid=115945 vsize=197268 memory=195640 CPUtime=2274.22 cores=4,6
/proc/116050/stat : 116050 (naps-1.03a6) R 115945 116050 116050 0 -1 4194304 61202 0 0 0 227396 26 0 0 20 0 1 0 141030991 202002432 48910 18446744073709551615 4198400 7047149 140733157830000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25227264 140733157833078 140733157833201 140733157833201 140733157838793 0
/proc/116050/statm: 49317 48910 640 696 0 48478 0
Current children cumulated CPU time: 3272.09 s
Current children cumulated vsize: 1750856 KiB
Current children cumulated memory: 570104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.16 4.17 5/259 116160
/proc/meminfo: memFree=90761448/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1549396 memory=371392 CPUtime=997.87 cores=4,6
/proc/115945/stat : 115945 (python3) S 115939 115939 115030 0 -1 4194304 112424 0 3 0 99761 26 0 0 20 0 1 0 140930935 1586581504 92848 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 387349 92848 8201 1 0 358707 0
[pid=116050] ppid=115945 vsize=197268 memory=195640 CPUtime=2334.01 cores=4,6
/proc/116050/stat : 116050 (naps-1.03a6) R 115945 116050 116050 0 -1 4194304 61202 0 0 0 233375 26 0 0 20 0 1 0 141030991 202002432 48910 18446744073709551615 4198400 7047149 140733157830000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25227264 140733157833078 140733157833201 140733157833201 140733157838793 0
/proc/116050/statm: 49317 48910 640 696 0 48478 0
Current children cumulated CPU time: 3331.88 s
Current children cumulated vsize: 1750856 KiB
Current children cumulated memory: 570104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.70 4.32 4.22 5/259 116162
/proc/meminfo: memFree=90769088/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1549396 memory=371392 CPUtime=997.87 cores=4,6
/proc/115945/stat : 115945 (python3) S 115939 115939 115030 0 -1 4194304 112424 0 3 0 99761 26 0 0 20 0 1 0 140930935 1586581504 92848 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 387349 92848 8201 1 0 358707 0
[pid=116050] ppid=115945 vsize=199796 memory=198200 CPUtime=2393.81 cores=4,6
/proc/116050/stat : 116050 (naps-1.03a6) R 115945 116050 116050 0 -1 4194304 61843 0 0 0 239355 26 0 0 20 0 1 0 141030991 204591104 49550 18446744073709551615 4198400 7047149 140733157830000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25227264 140733157833078 140733157833201 140733157833201 140733157838793 0
/proc/116050/statm: 49949 49550 640 696 0 49110 0
Current children cumulated CPU time: 3391.68 s
Current children cumulated vsize: 1753384 KiB
Current children cumulated memory: 572664 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.27 4.21 5/260 116167
/proc/meminfo: memFree=90697932/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1549396 memory=371392 CPUtime=997.87 cores=4,6
/proc/115945/stat : 115945 (python3) S 115939 115939 115030 0 -1 4194304 112424 0 3 0 99761 26 0 0 20 0 1 0 140930935 1586581504 92848 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 387349 92848 8201 1 0 358707 0
[pid=116050] ppid=115945 vsize=201552 memory=199864 CPUtime=2453.6 cores=4,6
/proc/116050/stat : 116050 (naps-1.03a6) R 115945 116050 116050 0 -1 4194304 62317 0 0 0 245334 26 0 0 20 0 1 0 141030991 206389248 49966 18446744073709551615 4198400 7047149 140733157830000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25227264 140733157833078 140733157833201 140733157833201 140733157838793 0
/proc/116050/statm: 50388 49966 640 696 0 49549 0
Current children cumulated CPU time: 3451.47 s
Current children cumulated vsize: 1755140 KiB
Current children cumulated memory: 574328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.27 4.21 5/260 116174
/proc/meminfo: memFree=87745844/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1549396 memory=371392 CPUtime=997.87 cores=4,6
/proc/115945/stat : 115945 (python3) S 115939 115939 115030 0 -1 4194304 112424 0 3 0 99761 26 0 0 20 0 1 0 140930935 1586581504 92848 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 387349 92848 8201 1 0 358707 0
[pid=116050] ppid=115945 vsize=201552 memory=199864 CPUtime=2513.4 cores=4,6
/proc/116050/stat : 116050 (naps-1.03a6) R 115945 116050 116050 0 -1 4194304 62317 0 0 0 251314 26 0 0 20 0 1 0 141030991 206389248 49966 18446744073709551615 4198400 7047149 140733157830000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25227264 140733157833078 140733157833201 140733157833201 140733157838793 0
/proc/116050/statm: 50388 49966 640 696 0 49549 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 1755140 KiB
Current children cumulated memory: 574328 KiB

[startup+3582.3 s]
/proc/loadavg: 3.77 4.13 4.17 4/251 116207
/proc/meminfo: memFree=113415200/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1549396 memory=371392 CPUtime=997.87 cores=4,6
/proc/115945/stat : 115945 (python3) S 115939 115939 115030 0 -1 4194304 112424 0 3 0 99761 26 0 0 20 0 1 0 140930935 1586581504 92848 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 387349 92848 8201 1 0 358707 0
[pid=116050] ppid=115945 vsize=204788 memory=203192 CPUtime=2573.18 cores=4,6
/proc/116050/stat : 116050 (naps-1.03a6) R 115945 116050 116050 0 -1 4194304 62639 0 0 0 257292 26 0 0 20 0 1 0 141030991 209702912 50798 18446744073709551615 4198400 7047149 140733157830000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25227264 140733157833078 140733157833201 140733157833201 140733157838793 0
/proc/116050/statm: 51197 50798 640 696 0 50358 0
Current children cumulated CPU time: 3571.05 s
Current children cumulated vsize: 1758376 KiB
Current children cumulated memory: 577656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 3.38 4.01 4.12 3/243 116239
/proc/meminfo: memFree=125788100/131382120 swapFree=33010416/33010684
[pid=115939] ppid=115933 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/115939/stat : 115939 (scip-naps-1.00a) S 115933 115939 115030 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 140930931 4292608 768 18446744073709551615 93868166668288 93868167562821 140721376859264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93868167801872 93868167849616 93868197294080 140721376860571 140721376860670 140721376860670 140721376866274 0
/proc/115939/statm: 1048 768 704 219 0 110 0
[pid=115945] ppid=115939 vsize=1549396 memory=371392 CPUtime=997.87 cores=4,6
/proc/115945/stat : 115945 (python3) S 115939 115939 115030 0 -1 4194304 112424 0 3 0 99761 26 0 0 20 0 1 0 140930935 1586581504 92848 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 387349 92848 8201 1 0 358707 0
[pid=116050] ppid=115945 vsize=204788 memory=203704 CPUtime=2602.17 cores=4,6
/proc/116050/stat : 116050 (naps-1.03a6) R 115945 116050 116050 0 -1 4194304 62657 0 0 0 260191 26 0 0 20 0 1 0 141030991 209702912 50926 18446744073709551615 4198400 7047149 140733157830000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25227264 140733157833078 140733157833201 140733157833201 140733157838793 0
/proc/116050/statm: 51197 50926 640 696 0 50358 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1758376 KiB
Current children cumulated memory: 578168 KiB

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

[startup+3611.42 s]
# the end of solver process 115939 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.00218 s, system=0.01282 s

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

# cumulated CPU time of all completed processes:  user=3599.67 s, system=0.609887 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.52 s]*
/proc/loadavg: 3.38 4.01 4.12 3/241 116239
/proc/meminfo: memFree=125970992/131382120 swapFree=33010416/33010684
[pid=115945] ppid=115933 vsize=1547128 memory=369136 CPUtime=3600.15 cores=4,6
/proc/115945/stat : 115945 (python3) R 115933 115939 115030 0 -1 4194304 130487 62658 3 0 99770 28 260191 26 20 0 1 0 140930935 1584259072 92284 18446744073709551615 94142140416000 94142140416377 140729861240816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94142140427672 94142140428292 94142156541952 140729861245278 140729861245472 140729861245472 140729861251047 0
/proc/115945/statm: 386782 92284 8201 1 0 358140 0
Current cumulated CPU time of completed processes: 0.015 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 1547128 KiB
Current children cumulated memory: 369136 KiB

Child status: 0

Real time (s): 3611.61
CPU time (s): 3600.28
CPU user time (s): 3599.67
CPU system time (s): 0.609887
CPU usage (%): 99.6862
Max. virtual memory (cumulated for all children) (KiB): 1758376
Max. memory (cumulated for all children) (KiB): 578168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.67
system time used= 0.609887
maximum resident set size= 454468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198289
page faults= 3
swaps= 0
block input operations= 96
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 406
involuntary context switches= 1748


# summary of solver processes directly reported to runsolver:
#   pid: 115939,115945
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3599.67
#   total CPU system time (s): 0.609887

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.3557 second user time and 38.3509 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-11 18:48:41
IDJOB=4530119
IDBENCH=147017
IDSOLVER=3388
FILE ID=nodeC002/4530119-1752252521
RUNJOBID= nodeC002-1752252515-115770
SLURM_JOB_ID= 9682570
Free space on /tmp= 431220 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530119-1752252521/watcher-4530119-1752252521 -o /tmp/evaluation-result-4530119-1752252521/solver-4530119-1752252521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752252515-115770 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530119-1752252521.opb

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

MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=366595740

nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.766
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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		: 3591.705
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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.195
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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.234
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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.275
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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		: 3591.972
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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.317
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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.269
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126038660 kB
MemAvailable:   128640532 kB
Buffers:            2128 kB
Cached:          3401200 kB
SwapCached:           28 kB
Active:          1191312 kB
Inactive:        3043812 kB
Active(anon):     843368 kB
Inactive(anon):     6404 kB
Active(file):     347944 kB
Inactive(file):  3037408 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             38080 kB
Writeback:             8 kB
AnonPages:        834956 kB
Mapped:           128712 kB
Shmem:             17932 kB
KReclaimable:     112292 kB
Slab:             200884 kB
SReclaimable:     112292 kB
SUnreclaim:        88592 kB
KernelStack:        4080 kB
PageTables:         4980 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    3316600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431240 MiB
End job on nodeC002 at 2025-07-11 19:48:53