Trace number 4530522

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)-1167 3600.5 3612.03

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb
MD5SUM1733aa67cc51115e0f42d9b93b5f287e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-1190
Best CPU time to get the best result obtained on this benchmark2067.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2346
Total number of constraints209576
Number of constraints which are clauses209576
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 constraint3
Maximum length of a constraint3
Number of terms in the objective function 1983
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1983
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1983
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

998.10/1001.55	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530522-1752262436.opb
998.10/1001.55	c Solving mode: optimization
998.10/1001.55	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
998.10/1001.55	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
998.10/1001.55	c original problem has 2346 variables (2346 bin, 0 int, 0 impl, 0 cont) and 209576 constraints
998.10/1001.55	c feasible solution found by trivial heuristic after 0.3 seconds, objective value 0.000000e+00
998.10/1001.55	c presolving:
998.10/1001.55	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 209576 upgd conss, 0 impls, 0 clqs
998.10/1001.55	c    (2.6s) probing: 51/2346 (2.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
998.10/1001.55	c    (2.6s) probing aborted: 50/50 successive totally useless probings
998.10/1001.55	c    (4.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
998.10/1001.55	c symmetry computation terminated early, because number of cells 102887 in Nauty exceeds limit of 100000
998.10/1001.55	c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
998.10/1001.55	c    (4.6s) no symmetry present (symcode time: 0.24)
998.10/1001.55	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
998.10/1001.55	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
998.10/1001.55	c  0 implications, 0 cliques
998.10/1001.55	c presolved problem has 2346 variables (2346 bin, 0 int, 0 impl, 0 cont) and 209576 constraints
998.10/1001.55	c  209576 constraints of type <logicor>
998.10/1001.55	c transformed objective value is always integral (scale: 1)
998.10/1001.55	c Presolving Time: 4.37
998.10/1001.55	c transformed 1/1 original solutions to the transformed problem space
998.10/1001.55	c 
998.10/1001.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
998.10/1001.55	c p 5.2s|     1 |     0 |     0 |     - |   locks|   0 |2346 | 209k| 209k|   0 |  0 |   0 |   0 |-1.983000e+03 |-1.082000e+03 |  83.27%| unknown
998.10/1001.55	c   189s|     1 |     0 | 36197 |     - |   940M |   0 |2346 | 209k| 209k|   0 |  0 |   0 |   0 |-1.322000e+03 |-1.082000e+03 |  22.18%| unknown
998.10/1001.55	c   429s|     1 |     2 | 46213 |     - |   985M |   0 |2346 | 209k| 209k|   0 |  1 |   0 |  43 |-1.321837e+03 |-1.082000e+03 |  22.17%| unknown
998.10/1001.55	c 
998.10/1001.55	c SCIP Status        : solving was interrupted [time limit reached]
998.10/1001.55	c Solving Time (sec) : 1000.01
998.10/1001.55	c Solving Nodes      : 5
998.10/1001.55	c Primal Bound       : -1.08200000000000e+03 (2 solutions)
998.10/1001.55	c Dual Bound         : -1.32164513407902e+03
998.10/1001.55	c Gap                : 22.15 %
998.10/1001.55	c All original constraints are satisfied.
998.10/1001.55	c SCIP's best solution is verified feasible for the original problem.
998.10/1001.55	c ----------------------------------------------------------------------
998.10/1001.55	c dual bound: -1321.6451340790195 -> -1321
998.10/1001.55	c primal bound: -1082.0 -> -1082
998.10/1001.55	c scip-goal-lb: -1321
998.10/1001.55	c scip-goal-ub: -1082
998.10/1001.55	c writing output to: HOME/tmplfe8npds.opb
998.10/1001.55	c appending fixed variable constraints
998.10/1001.55	c scip-fixed vars: 0.00% (0/2346)
998.10/1001.55	c ----------------------------------------------------------------------
998.10/1001.55	c executing external solver: HOME/naps-1.03a6
998.10/1001.55	c ----------------------------------------------------------------------
998.10/1001.55	c command: HOME/naps-1.03a6 -goal-lb=-1321 -goal-ub=-1083 HOME/tmplfe8npds.opb
998.10/1001.57	c NaPS 1.03a6.
998.10/1001.57	c Input file name: HOME/tmplfe8npds.opb
999.58/1003.10	c single stage optimization mode
3600.05/3611.60	o -1083
3600.05/3611.60	o -1167
3600.05/3611.60	c
3600.05/3611.60	c *** TERMINATED *** by signal 15
3600.05/3611.60	c s SATISFIABLE
3600.05/3611.60	c _____________________________________________________________________________
3600.05/3611.60	c std/band forms        : 4,0
3600.05/3611.60	c 2cl/3cl ITE-codings   : 0,0
3600.05/3611.60	c BDD/srt/adr Max costs : 0,147363,0
3600.05/3611.60	c BDDraw/bin/mul/srt/adr: 0,0,0,4,0
3600.05/3611.60	c BDD nodes             : 0
3600.05/3611.60	c Es1/CC detections     : 0,0
3600.05/3611.60	c CC sort               : 3
3600.05/3611.60	c SAT/UNSAT calls       : 2,0
3600.05/3611.60	c regenrated variables  : 193
3600.05/3611.60	c eliminated fixed lits : 0
3600.05/3611.60	c goal lit flips        : 0
3600.05/3611.60	c goal stages           : 1
3600.05/3611.60	c goal shrink           : 0
3600.05/3611.60	c goal coeff separations: 0
3600.05/3611.60	c restarts              : 77441
3600.05/3611.60	c conflicts             : 1635035        (629 /sec)
3600.05/3611.60	c decisions             : 7783635        (2993 /sec)
3600.05/3611.60	c propagations          : 4412968658     (1696639 /sec)
3600.05/3611.60	c inspects              : 0              (0 /sec)
3600.05/3611.60	c CPU time (solving tm) : 2601 s        (2599 s, SAT 1469 s, UNSAT 0 s)
3600.05/3611.60	c Time for Opt-base     : 0.002188 s
3600.05/3611.60	c Steps for Opt-base    : 0
3600.05/3611.60	c Time for BDD coding   : 0 s
3600.05/3611.60	c Time for srt coding   : 0.02731 s
3600.05/3611.60	c _____________________________________________________________________________
3600.05/3611.60	c v -x1 -x7 -x13 -x19 -x25 -x31 -x37 -x43 -x49 -x55 -x61 -x67 -x2 -x8 -x14 -x20 -x26 -x32 -x38 -x44 -x50 -x56 -x62 x68 x3 x9 x15 -x21 x27 x33 x39 x45 x51 x57 x63 x4 x10 x16 x22 x28 x34 x40 x46 x52 x58 x64 x5 x11 x17 x23 x29 x35 x41 x47 x53 x59 x65 -x73 -x79 -x85 -x91 -x97 -x103 -x109 -x115 -x121 -x127 -x133 -x69 -x75 -x81 -x87 -x93 -x99 -x105 -x111 -x117 -x123 -x129 x135 x70 x76 x82 -x88 x94 x100 x106 x112 x118 x124 x130 x71 x77 x83 x89 x95 x101 x107 x113 x119 x125 x131 x72 x78 x84 x90 x96 x102 x108 x114 x120 x126 x132 -x139 -x145 -x151 -x157 -x163 -x169 -x175 -x181 -x187 -x193 -x199 -x140 -x146 -x152 -x158 -x164 -x170 -x176 -x182 -x188 -x194 -x200 x136 x142 x148 -x154 x160 x166 x172 x178 x184 x190 x196 x137 x143 x149 x155 x161 x167 x173 x179 x185 x191 x197 x138 x144 x150 x156 x162 x168 x174 x180 x186 x192 x198 x204 x210 x216 x222 x228 x234 x240 x246 x252 x258 x264 x205 x211 x217 x223 x229 x235 x241 x247 x253 x259 x265 x206 x212 x218 x224 x230 x236 x242 x248 x254 x260 -x266 -x202 -x208 -x214 -x220 -x226 -x232 -x238 -x244 -x250 -x256 -x262 -x203 -x209 -x215 -x221 -x227 -x233 -x239 -x245 -x251 -x257 -x263 x268 x274 x280 x286 x292 x298 x304 x310 x316 x322 x328 x269 x275 x281 x287 x293 x299 x305 x311 x317 x323 x329 x270 x276 x282 x288 x294 x300 x306 x312 x318 x324 -x330 -x271 -x277 x283 -x289 -x295 -x301 -x307 -x313 -x319 -x325 -x267 -x273 -x279 -x285 -x291 -x297 -x303 -x309 -x315 -x321 -x327 x331 x337 x343 x349 x355 x361 x367 x373 x379 x385 x391 x332 x338 x344 x350 x356 x362 x368 x374 x380 x386 x392 x333 x339 x345 x351 x357 x363 x369 x375 x381 x387 -x393 -x334 -x340 x346 -x352 -x358 -x364 -x370 -x376 -x382 -x388 -x335 -x341 -x347 -x353 -x359 -x365 -x371 -x377 -x383 -x389 -x394 -x400 -x406 -x412 -x418 -x424 -x430 -x436 -x442 -x448 -x454 -x395 -x401 -x407 -x413 -x419 -x425 -x431 -x437 -x443 -x449 x455 x396 x402 -x408 x414 x420 x426 x432 x438 x444 x450 x397 x403 x409 x415 x421 x427 x433 x439 x445 x451 x398 x404 x410 x416 x422 x428 x434 x440 x446 x452 -x460 -x466 -x472 -x478 -x484 -x490 -x496 -x502 -x508 -x514 -x456 -x462 -x468 -x474 -x480 -x486 -x492 -x498 -x504 -x510 x516 x457 x463 -x469 x475 x481 x487 x493 x499 x505 x511 x458 x464 x470 x476 x482 x488 x494 x500 x506 x512 x459 x465 x471 x477 x483 x489 x495 x501 x507 x513 -x520 -x526 -x532 -x538 -x544 -x550 -x556 -x562 -x568 -x574 -x521 -x527 -x533 -x539 -x545 -x551 -x557 -x563 -x569 -x575 x517 x523 -x529 x535 x541 x547 x553 x559 x565 x571 x518 x524 x530 x536 x542 x548 x554 x560 x566 x572 x519 x525 x531 x537 x543 x549 x555 x561 x567 x573 x579 x585 x591 x597 x603 x609 x615 x621 x627 x633 x580 x586 x592 x598 x604 x610 x616 x622 x628 x634 x581 x587 x593 x599 x605 x611 x617 x623 x629 -x635 -x577 -x583 -x589 -x595 -x601 -x607 -x613 -x619 -x625 -x631 -x578 -x584 -x590 -x596 -x602 -x608 -x614 -x620 -x626 -x632 x637 x643 x649 x655 x661 x667 x673 x679 x685 x691 x638 x644 x650 x656 x662 x668 x674 x680 x686 x692 x639 x645 x651 x657 x663 x669 x675 x681 x687 -x693 -x640 x646 -x652 -x658 -x664 -x670 -x676 -x682 -x688 -x636 -x642 -x648 -x654 -x660 -x666 -x672 -x678 -x684 -x690 x694 x700 x706 x712 x718 x724 x730 x736 x742 x748 x695 x701 x707 x713 x719 x725 x731 x737 x743 x749 x696 x702 x708 x714 x720 x726 x732 x738 x744 -x750 -x697 x703 -x709 -x715 -x721 -x727 -x733 -x739 -x745 -x698 -x704 -x710 -x716 -x722 -x728 -x734 -x740 -x746 -x751 -x757 -x763 -x769 -x775 -x781 -x787 -x793 -x799 -x805 -x752 -x758 -x764 -x770 -x776 -x782 -x788 -x794 -x800 x806 x753 -x759 x765 x771 x777 x783 x789 x795 x801 x754 x760 x766 x772 x778 x784 x790 x796 x802 x755 x761 x767 x773 x779 x785 x791 x797 x803 -x811 -x817 -x823 -x829 -x835 -x841 -x847 -x853 -x859 -x807 -x813 -x819 -x825 -x831 -x837 -x843 -x849 -x855 x861 x808 -x814 x820 x826 x832 x838 x844 x850 x856 x809 x815 x821 x827 x833 x839 x845 x851 x857 x810 x816 x822 x828 x834 x840 x846 x852 x858 -x865 -x871 -x877 -x883 -x889 -x895 -x901 -x907 -x913 -x866 -x872 -x878 -x884 -x890 -x896 -x902 -x908 -x914 x862 -x868 x874 x880 x886 x892 x898 x904 x910 x863 x869 x875 x881 x887 x893 x899 x905 x911 x864 x870 x876 x882 x888 x894 x900 x906 x912 x918 x924 x930 x936 x942 x948 x954 x960 x966 x919 x925 x931 x937 x943 x949 x955 x961 x967 x920 x926 x932 x938 x944 x950 x956 x962 -x968 -x916 -x922 -x928 -x934 -x940 -x946 -x952 -x958 -x964 -x917 -x923 -x929 -x935 -x941 -x947 -x953 -x959 -x965 x970 x976 x982 x988 x994 x1000 x1006 x1012 x1018 x971 x977 x983 x989 x995 x1001 x1007 x1013 x1019 x972 x978 x984 x990 x996 x1002 x1008 x1014 -x1020 x973 -x979 -x985 -x991 -x997 -x1003 -x1009 -x1015 -x969 -x975 -x981 -x987 -x993 -x999 -x1005 -x1011 -x1017 x1021 x1027 x1033 x1039 x1045 x1051 x1057 x1063 x1069 x1022 x1028 x1034 x1040 x1046 x1052 x1058 x1064 x1070 x1023 x1029 x1035 x1041 x1047 x1053 x1059 x1065 -x1071 x1024 -x1030 -x1036 -x1042 -x1048 -x1054 -x1060 -x1066 -x1025 -x1031 -x1037 -x1043 -x1049 -x1055 -x1061 -x1067 -x1072 -x1078 -x1084 -x1090 -x1096 -x1102 -x1108 -x1114 -x1120 -x1073 -x1079 -x1085 -x1091 -x1097 -x1103 -x1109 -x1115 x1121 -x1074 x1080 x1086 x1092 x1098 x1104 x1110 x1116 x1075 x1081 x1087 x1093 x1099 x1105 x1111 x1117 x1076 x1082 x1088 x1094 x1100 x1106 x1112 x1118 -x1126 -x1132 -x1138 -x1144 -x1150 -x1156 -x1162 -x1168 -x1122 -x1128 -x1134 -x1140 -x1146 -x1152 -x1158 -x1164 x1170 -x1123 x1129 x1135 x1141 x1147 x1153 x1159 x1165 x1124 x1130 x1136 x1142 x1148 x1154 x1160 x1166 x1125 x1131 x1137 x1143 x1149 x1155 x1161 x1167 -x1174 -x1180 -x1186 -x1192 -x1198 -x1204 -x1210 -x1216 -x1175 -x1181 -x1187 -x1193 -x1199 -x1205 -x1211 -x1217 -x1171 x1177 x1183 x1189 x1195 x1201 x1207 x1213 x1172 x1178 x1184 x1190 x1196 x1202 x1208 x1214 x1173 x1179 x1185 x1191 x1197 x1203 x1209 x1215 -x1221 -x1227 -x1233 -x1239 -x1245 -x1251 -x1257 -x1263 -x1222 -x1228 -x1234 -x1240 -x1246 -x1252 -x1258 -x1264 -x1223 -x1229 -x1235 -x1241 -x1247 -x1253 -x1259 x1265 x1219 x1225 x1231 x1237 x1243 x1249 x1255 x1261 x1220 x1226 x1232 x1238 x1244 x1250 x1256 x1262 x1267 x1273 x1279 x1285 x1291 x1297 x1303 x1309 x1268 x1274 x1280 x1286 x1292 x1298 x1304 x1310 x1269 x1275 x1281 x1287 x1293 x1299 x1305 -x1311 -x1270 -x1276 -x1282 -x1288 -x1294 -x1300 -x1306 -x1266 -x1272 -x1278 -x1284 -x1290 -x1296 -x1302 -x1308 x1312 x1318 x1324 x1330 x1336 x1342 x1348 x1354 x1313 x1319 x1325 x1331 x1337 x1343 x1349 x1355 x1314 x1320 x1326 x1332 x1338 x1344 x1350 -x1356 -x1315 -x1321 -x1327 -x1333 -x1339 -x1345 -x1351 -x1316 -x1322 -x1328 -x1334 -x1340 -x1346 -x1352 -x1357 -x1363 -x1369 -x1375 -x1381 -x1387 -x1393 -x1399 -x1358 -x1364 -x1370 -x1376 -x1382 -x1388 -x1394 x1400 x1359 x1365 x1371 x1377 x1383 x1389 x1395 x1360 x1366 x1372 x1378 x1384 x1390 x1396 x1361 x1367 x1373 x1379 x1385 x1391 x1397 -x1405 -x1411 -x1417 -x1423 -x1429 -x1435 -x1441 -x1401 -x1407 -x1413 -x1419 -x1425 -x1431 -x1437 x1443 x1402 x1408 x1414 x1420 x1426 x1432 x1438 x1403 x1409 x1415 x1421 x1427 x1433 x1439 x1404 x1410 x1416 x1422 x1428 x1434 x1440 -x1447 -x1453 -x1459 -x1465 -x1471 -x1477 -x1483 -x1448 -x1454 -x1460 -x1466 -x1472 -x1478 -x1484 x1444 x1450 x1456 x1462 x1468 x1474 x1480 x1445 x1451 x1457 x1463 x1469 x1475 x1481 x1446 x1452 x1458 x1464 x1470 x1476 x1482 x1488 x1494 x1500 x1506 x1512 x1518 x1524 x1489 x1495 x1501 x1507 x1513 x1519 x1525 x1490 x1496 x1502 x1508 x1514 x1520 -x1526 -x1486 -x1492 -x1498 -x1504 -x1510 -x1516 -x1522 -x1487 -x1493 -x1499 -x1505 -x1511 -x1517 -x1523 x1528 x1534 x1540 x1546 x1552 x1558 x1564 x1529 x1535 x1541 x1547 x1553 x1559 x1565 x1530 x1536 x1542 x1548 x1554 x1560 -x1566 -x1531 -x1537 -x1543 -x1549 -x1555 -x1561 -x1527 -x1533 -x1539 -x1545 -x1551 -x1557 -x1563 x1567 x1573 x1579 x1585 x1591 x1597 x1603 x1568 x1574 x1580 x1586 x1592 x1598 x1604 x1569 x1575 x1581 x1587 x1593 x1599 -x1605 -x1570 -x1576 -x1582 -x1588 -x1594 -x1600 -x1571 -x1577 -x1583 -x1589 -x1595 -x1601 -x1606 -x1612 -x1618 -x1624 -x1630 -x1636 -x1642 -x1607 -x1613 -x1619 -x1625 -x1631 -x1637 x1643 x1608 x1614 x1620 x1626 x1632 x1638 x1609 x1615 x1621 x1627 x1633 x1639 x1610 x1616 x1622 x1628 x1634 x1640 -x1648 -x1654 -x1660 -x1666 -x1672 -x1678 -x1644 -x1650 -x1656 -x1662 -x1668 -x1674 x1680 x1645 x1651 x1657 x1663 x1669 x1675 x1646 x1652 x1658 x1664 x1670 x1676 x1647 x1653 x1659 x1665 x1671 x1677 -x1684 -x1690 -x1696 -x1702 -x1708 -x1714 -x1685 -x1691 -x1697 -x1703 -x1709 -x1715 x1681 x1687 x1693 x1699 x1705 x1711 x1682 x1688 x1694 x1700 x1706 x1712 x1683 x1689 x1695 x1701 x1707 x1713 x1719 x1725 x1731 x1737 x1743 x1749 x1720 x1726 x1732 x1738 x1744 x1750 x1721 x1727 x1733 x1739 x1745 -x1751 -x1717 -x1723 -x1729 -x1735 -x1741 -x1747 -x1718 -x1724 -x1730 -x1736 -x1742 -x1748 x1753 x1759 x1765 x1771 x1777 x1783 x1754 x1760 x1766 x1772 x1778 x1784 x1755 x1761 x1767 x1773 x1779 -x1785 -x1756 -x1762 -x1768 -x1774 -x1780 -x1752 -x1758 -x1764 -x1770 -x1776 -x1782 x1786 x1792 x1798 x1804 x1810 x1816 x1787 x1793 x1799 x1805 x1811 x1817 x1788 x1794 x1800 x1806 x1812 -x1818 -x1789 -x1795 -x1801 -x1807 -x1813 -x1790 -x1796 -x1802 -x1808 -x1814 -x1819 -x1825 -x1831 -x1837 -x1843 -x1849 -x1820 -x1826 -x1832 -x1838 -x1844 x1850 x1821 x1827 x1833 x1839 x1845 x1822 x1828 x1834 x1840 x1846 x1823 x1829 x1835 x1841 x1847 -x1855 -x1861 -x1867 -x1873 -x1879 -x1851 -x1857 -x1863 -x1869 -x1875 x1881 x1852 x1858 x1864 x1870 x1876 x1853 x1859 x1865 x1871 x1877 x1854 x1860 x1866 x1872 x1878 -x1885 -x1891 -x1897 -x1903 -x1909 -x1886 -x1892 -x1898 -x1904 -x1910 x1882 x1888 x1894 x1900 x1906 x1883 x1889 x1895 x1901 x1907 x1884 x1890 x1896 x1902 x1908 x1914 x1920 x1926 x1932 x1938 x1915 x1921 x1927 x1933 x1939 x1916 x1922 x1928 x1934 -x1940 -x1912 -x1918 -x1924 -x1930 -x1936 -x1913 -x1919 -x1925 -x1931 -x1937 x1942 x1948 x1954 x1960 x1966 x1943 x1949 x1955 x1961 x1967 x1944 x1950 x1956 x1962 -x1968 -x1945 -x1951 -x1957 -x1963 -x1941 -x1947 -x1953 -x1959 -x1965 x1969 x1975 x1981 x1987 x1993 x1970 x1976 x1982 x1988 x1994 x1971 x1977 x1983 x1989 -x1995 -x1972 -x1978 -x1984 -x1990 -x1973 -x1979 -x1985 -x1991 -x1996 -x2002 -x2008 -x2014 -x2020 -x1997 -x2003 -x2009 -x2015 x2021 x1998 x2004 x2010 x2016 x1999 x2005 x2011 x2017 x2000 x2006 x2012 x2018 -x2026 -x2032 -x2038 -x2044 -x2022 -x2028 -x2034 -x2040 x2046 x2023 x2029 x2035 x2041 x2024 x2030 x2036 x2042 x2025 x2031 x2037 x2043 -x2050 -x2056 -x2062 -x2068 -x2051 -x2057 -x2063 -x2069 x2047 x2053 x2059 x2065 x2048 x2054 x2060 x2066 x2049 x2055 x2061 x2067 x2073 x2079 x2085 x2091 x2074 x2080 x2086 x2092 x2075 x2081 x2087 -x2093 -x2071 -x2077 -x2083 -x2089 -x2072 -x2078 -x2084 -x2090 x2095 x2101 x2107 x2113 x2096 x2102 x2108 x2114 x2097 x2103 x2109 -x2115 -x2098 -x2104 -x2110 -x2094 -x2100 -x2106 -x2112 x2116 x2122 x2128 x2134 x2117 x2123 x2129 x2135 x2118 x2124 x2130 -x2136 -x2119 -x2125 -x2131 -x2120 -x2126 -x2132 -x2137 -x2143 -x2149 -x2155 -x2138 -x2144 -x2150 x2156 x2139 x2145 x2151 x2140 x2146 x2152 x2141 x2147 x2153 -x2161 -x2167 -x2173 -x2157 -x2163 -x2169 x2175 x2158 x2164 x2170 x2159 x2165 x2171 x2160 x2166 x2172 -x2179 -x2185 -x2191 -x2180 -x2186 -x2192 x2176 x2182 x2188 x2177 x2183 x2189 x2178 x2184 x2190 x2196 x2202 x2208 x2197 x2203 x2209 x2198 x2204 -x2210 -x2194 -x2200 -x2206 -x2195 -x2201 -x2207 x2212 x2218 x2224 x2213 x2219 x2225 x2214 x2220 -x2226 -x2215 -x2221 -x2211 -x2217 -x2223 x2227 x2233 x2239 x2228 x2234 x2240 x2229 x2235 -x2241 -x2230 -x2236 -x2231 -x2237 -x2242 -x2248 -x2254 -x2243 -x2249 x2255 x2244 x2250 x2245 x2251 x2246 x2252 -x2260 -x2266 -x2256 -x2262 x2268 x2257 x2263 x2258 x2264 x2259 x2265 -x2272 -x2278 -x2273 -x2279 x2269 x2275 x2270 x2276 x2271 x2277 x2283 x2289 x2284 x2290 x2285 -x2291 -x2281 -x2287 -x2282 -x2288 x2293 x2299 x2294 x2300 x2295 -x2301 -x2296 -x2292 -x2298 x2302 x2308 x2303 x2309 x2304 -x2310 -x2305 -x2306 -x2311 -x2317 -x2312 x2318 x2313 x2314 x2315 -x2323 -x2319 x2325 x2320 x2321 x2322 -x2329 -x2330 x2326 x2327 x2328 x2334 x2335 -x2336 -x2332 -x2333 x2338 x2339 -x2340 -x2337 x2341 x2342 -x2343 -x2344 x2345 x2346 -x6 -x74 -x12 -x80 -x18 -x86 -x24 -x92 -x30 -x98 -x36 -x104 -x42 -x110 -x48 -x116
3600.05/3611.60	c v -x54 -x122 -x60 -x128 -x66 -x134 -x141 -x147 -x153 -x159 -x165 -x171 -x177 -x183 -x189 -x195 x201 -x207 -x213 x219 -x225 -x231 -x237 -x243 -x249 -x255 -x261 -x272 -x278 -x284 -x290 -x296 -x302 -x308 -x314 -x320 -x326 -x336 -x342 -x348 -x354 -x360 -x366 -x372 -x378 -x384 -x390 -x399 -x405 -x411 -x417 -x423 -x429 -x435 -x441 -x447 -x453 -x461 -x467 -x473 -x479 -x485 -x491 -x497 -x503 -x509 -x515 -x522 -x528 -x534 -x540 -x546 -x552 -x558 -x564 -x570 x576 -x582 x588 -x594 -x600 -x606 -x612 -x618 -x624 -x630 -x641 -x647 -x653 -x659 -x665 -x671 -x677 -x683 -x689 -x699 -x705 -x711 -x717 -x723 -x729 -x735 -x741 -x747 -x756 -x762 -x768 -x774 -x780 -x786 -x792 -x798 -x804 -x812 -x818 -x824 -x830 -x836 -x842 -x848 -x854 -x860 -x867 -x873 -x879 -x885 -x891 -x897 -x903 -x909 x915 x921 -x927 -x933 -x939 -x945 -x951 -x957 -x963 -x974 -x980 -x986 -x992 -x998 -x1004 -x1010 -x1016 -x1026 -x1032 -x1038 -x1044 -x1050 -x1056 -x1062 -x1068 -x1077 -x1083 -x1089 -x1095 -x1101 -x1107 -x1113 -x1119 -x1127 -x1133 -x1139 -x1145 -x1151 -x1157 -x1163 -x1169 -x1176 -x1182 -x1188 -x1194 -x1200 -x1206 -x1212 x1218 x1224 x1230 x1236 x1242 x1248 x1254 x1260 -x1271 -x1277 -x1283 -x1289 -x1295 -x1301 -x1307 -x1317 -x1323 -x1329 -x1335 -x1341 -x1347 -x1353 -x1362 -x1368 -x1374 -x1380 -x1386 -x1392 -x1398 -x1406 -x1412 -x1418 -x1424 -x1430 -x1436 -x1442 -x1449 -x1455 -x1461 -x1467 -x1473 -x1479 x1485 -x1491 -x1497 -x1503 -x1509 -x1515 -x1521 -x1532 -x1538 -x1544 -x1550 -x1556 -x1562 -x1572 -x1578 -x1584 -x1590 -x1596 -x1602 -x1611 -x1617 -x1623 -x1629 -x1635 -x1641 -x1649 -x1655 -x1661 -x1667 -x1673 -x1679 -x1686 -x1692 -x1698 -x1704 -x1710 x1716 -x1722 -x1728 -x1734 -x1740 -x1746 -x1757 -x1763 -x1769 -x1775 -x1781 -x1791 -x1797 -x1803 -x1809 -x1815 -x1824 -x1830 -x1836 -x1842 -x1848 -x1856 -x1862 -x1868 -x1874 -x1880 -x1887 -x1893 -x1899 -x1905 x1911 -x1917 -x1923 -x1929 -x1935 -x1946 -x1952 -x1958 -x1964 -x1974 -x1980 -x1986 -x1992 -x2001 -x2007 -x2013 -x2019 -x2027 -x2033 -x2039 -x2045 -x2052 -x2058 -x2064 x2070 -x2076 -x2082 -x2088 -x2099 -x2105 -x2111 -x2121 -x2127 -x2133 -x2142 -x2148 -x2154 -x2162 -x2168 -x2174 -x2181 -x2187 x2193 -x2199 -x2205 -x2216 -x2222 -x2232 -x2238 -x2247 -x2253 -x2261 -x2267 -x2274 x2280 -x2286 -x2297 -x2307 -x2316 -x2324 x2331
3600.05/3611.60	s SATISFIABLE
3600.05/3611.60	v -x1 -x7 -x13 -x19 -x25 -x31 -x37 -x43 -x49 -x55 -x61 -x67 -x2 -x8 -x14 -x20 -x26 -x32 -x38 -x44 -x50 -x56 -x62 x68 x3 x9 x15 -x21 x27 x33 x39 x45 x51 x57 x63 x4 x10 x16 x22 x28 x34 x40 x46 x52 x58 x64 x5 x11 x17 x23 x29 x35 x41 x47 x53 x59 x65 -x73 -x79 -x85 -x91 -x97 -x103 -x109 -x115 -x121 -x127 -x133 -x69 -x75 -x81 -x87 -x93 -x99 -x105 -x111 -x117 -x123 -x129 x135 x70 x76 x82 -x88 x94 x100 x106 x112 x118 x124 x130 x71 x77 x83 x89 x95 x101 x107 x113 x119 x125 x131 x72 x78 x84 x90 x96 x102 x108 x114 x120 x126 x132 -x139 -x145 -x151 -x157 -x163 -x169 -x175 -x181 -x187 -x193 -x199 -x140 -x146 -x152 -x158 -x164 -x170 -x176 -x182 -x188 -x194 -x200 x136 x142 x148 -x154 x160 x166 x172 x178 x184 x190 x196 x137 x143 x149 x155 x161 x167 x173 x179 x185 x191 x197 x138 x144 x150 x156 x162 x168 x174 x180 x186 x192 x198 x204 x210 x216 x222 x228 x234 x240 x246 x252 x258 x264 x205 x211 x217 x223 x229 x235 x241 x247 x253 x259 x265 x206 x212 x218 x224 x230 x236 x242 x248 x254 x260 -x266 -x202 -x208 -x214 -x220 -x226 -x232 -x238 -x244 -x250 -x256 -x262 -x203 -x209 -x215 -x221 -x227 -x233 -x239 -x245 -x251 -x257 -x263 x268 x274 x280 x286 x292 x298 x304 x310 x316 x322 x328 x269 x275 x281 x287 x293 x299 x305 x311 x317 x323 x329 x270 x276 x282 x288 x294 x300 x306 x312 x318 x324 -x330 -x271 -x277 x283 -x289 -x295 -x301 -x307 -x313 -x319 -x325 -x267 -x273 -x279 -x285 -x291 -x297 -x303 -x309 -x315 -x321 -x327 x331 x337 x343 x349 x355 x361 x367 x373 x379 x385 x391 x332 x338 x344 x350 x356 x362 x368 x374 x380 x386 x392 x333 x339 x345 x351 x357 x363 x369 x375 x381 x387 -x393 -x334 -x340 x346 -x352 -x358 -x364 -x370 -x376 -x382 -x388 -x335 -x341 -x347 -x353 -x359 -x365 -x371 -x377 -x383 -x389 -x394 -x400 -x406 -x412 -x418 -x424 -x430 -x436 -x442 -x448 -x454 -x395 -x401 -x407 -x413 -x419 -x425 -x431 -x437 -x443 -x449 x455 x396 x402 -x408 x414 x420 x426 x432 x438 x444 x450 x397 x403 x409 x415 x421 x427 x433 x439 x445 x451 x398 x404 x410 x416 x422 x428 x434 x440 x446 x452 -x460 -x466 -x472 -x478 -x484 -x490 -x496 -x502 -x508 -x514 -x456 -x462 -x468 -x474 -x480 -x486 -x492 -x498 -x504 -x510 x516 x457 x463 -x469 x475 x481 x487 x493 x499 x505 x511 x458 x464 x470 x476 x482 x488 x494 x500 x506 x512 x459 x465 x471 x477 x483 x489 x495 x501 x507 x513 -x520 -x526 -x532 -x538 -x544 -x550 -x556 -x562 -x568 -x574 -x521 -x527 -x533 -x539 -x545 -x551 -x557 -x563 -x569 -x575 x517 x523 -x529 x535 x541 x547 x553 x559 x565 x571 x518 x524 x530 x536 x542 x548 x554 x560 x566 x572 x519 x525 x531 x537 x543 x549 x555 x561 x567 x573 x579 x585 x591 x597 x603 x609 x615 x621 x627 x633 x580 x586 x592 x598 x604 x610 x616 x622 x628 x634 x581 x587 x593 x599 x605 x611 x617 x623 x629 -x635 -x577 -x583 -x589 -x595 -x601 -x607 -x613 -x619 -x625 -x631 -x578 -x584 -x590 -x596 -x602 -x608 -x614 -x620 -x626 -x632 x637 x643 x649 x655 x661 x667 x673 x679 x685 x691 x638 x644 x650 x656 x662 x668 x674 x680 x686 x692 x639 x645 x651 x657 x663 x669 x675 x681 x687 -x693 -x640 x646 -x652 -x658 -x664 -x670 -x676 -x682 -x688 -x636 -x642 -x648 -x654 -x660 -x666 -x672 -x678 -x684 -x690 x694 x700 x706 x712 x718 x724 x730 x736 x742 x748 x695 x701 x707 x713 x719 x725 x731 x737 x743 x749 x696 x702 x708 x714 x720 x726 x732 x738 x744 -x750 -x697 x703 -x709 -x715 -x721 -x727 -x733 -x739 -x745 -x698 -x704 -x710 -x716 -x722 -x728 -x734 -x740 -x746 -x751 -x757 -x763 -x769 -x775 -x781 -x787 -x793 -x799 -x805 -x752 -x758 -x764 -x770 -x776 -x782 -x788 -x794 -x800 x806 x753 -x759 x765 x771 x777 x783 x789 x795 x801 x754 x760 x766 x772 x778 x784 x790 x796 x802 x755 x761 x767 x773 x779 x785 x791 x797 x803 -x811 -x817 -x823 -x829 -x835 -x841 -x847 -x853 -x859 -x807 -x813 -x819 -x825 -x831 -x837 -x843 -x849 -x855 x861 x808 -x814 x820 x826 x832 x838 x844 x850 x856 x809 x815 x821 x827 x833 x839 x845 x851 x857 x810 x816 x822 x828 x834 x840 x846 x852 x858 -x865 -x871 -x877 -x883 -x889 -x895 -x901 -x907 -x913 -x866 -x872 -x878 -x884 -x890 -x896 -x902 -x908 -x914 x862 -x868 x874 x880 x886 x892 x898 x904 x910 x863 x869 x875 x881 x887 x893 x899 x905 x911 x864 x870 x876 x882 x888 x894 x900 x906 x912 x918 x924 x930 x936 x942 x948 x954 x960 x966 x919 x925 x931 x937 x943 x949 x955 x961 x967 x920 x926 x932 x938 x944 x950 x956 x962 -x968 -x916 -x922 -x928 -x934 -x940 -x946 -x952 -x958 -x964 -x917 -x923 -x929 -x935 -x941 -x947 -x953 -x959 -x965 x970 x976 x982 x988 x994 x1000 x1006 x1012 x1018 x971 x977 x983 x989 x995 x1001 x1007 x1013 x1019 x972 x978 x984 x990 x996 x1002 x1008 x1014 -x1020 x973 -x979 -x985 -x991 -x997 -x1003 -x1009 -x1015 -x969 -x975 -x981 -x987 -x993 -x999 -x1005 -x1011 -x1017 x1021 x1027 x1033 x1039 x1045 x1051 x1057 x1063 x1069 x1022 x1028 x1034 x1040 x1046 x1052 x1058 x1064 x1070 x1023 x1029 x1035 x1041 x1047 x1053 x1059 x1065 -x1071 x1024 -x1030 -x1036 -x1042 -x1048 -x1054 -x1060 -x1066 -x1025 -x1031 -x1037 -x1043 -x1049 -x1055 -x1061 -x1067 -x1072 -x1078 -x1084 -x1090 -x1096 -x1102 -x1108 -x1114 -x1120 -x1073 -x1079 -x1085 -x1091 -x1097 -x1103 -x1109 -x1115 x1121 -x1074 x1080 x1086 x1092 x1098 x1104 x1110 x1116 x1075 x1081 x1087 x1093 x1099 x1105 x1111 x1117 x1076 x1082 x1088 x1094 x1100 x1106 x1112 x1118 -x1126 -x1132 -x1138 -x1144 -x1150 -x1156 -x1162 -x1168 -x1122 -x1128 -x1134 -x1140 -x1146 -x1152 -x1158 -x1164 x1170 -x1123 x1129 x1135 x1141 x1147 x1153 x1159 x1165 x1124 x1130 x1136 x1142 x1148 x1154 x1160 x1166 x1125 x1131 x1137 x1143 x1149 x1155 x1161 x1167 -x1174 -x1180 -x1186 -x1192 -x1198 -x1204 -x1210 -x1216 -x1175 -x1181 -x1187 -x1193 -x1199 -x1205 -x1211 -x1217 -x1171 x1177 x1183 x1189 x1195 x1201 x1207 x1213 x1172 x1178 x1184 x1190 x1196 x1202 x1208 x1214 x1173 x1179 x1185 x1191 x1197 x1203 x1209 x1215 -x1221 -x1227 -x1233 -x1239 -x1245 -x1251 -x1257 -x1263 -x1222 -x1228 -x1234 -x1240 -x1246 -x1252 -x1258 -x1264 -x1223 -x1229 -x1235 -x1241 -x1247 -x1253 -x1259 x1265 x1219 x1225 x1231 x1237 x1243 x1249 x1255 x1261 x1220 x1226 x1232 x1238 x1244 x1250 x1256 x1262 x1267 x1273 x1279 x1285 x1291 x1297 x1303 x1309 x1268 x1274 x1280 x1286 x1292 x1298 x1304 x1310 x1269 x1275 x1281 x1287 x1293 x1299 x1305 -x1311 -x1270 -x1276 -x1282 -x1288 -x1294 -x1300 -x1306 -x1266 -x1272 -x1278 -x1284 -x1290 -x1296 -x1302 -x1308 x1312 x1318 x1324 x1330 x1336 x1342 x1348 x1354 x1313 x1319 x1325 x1331 x1337 x1343 x1349 x1355 x1314 x1320 x1326 x1332 x1338 x1344 x1350 -x1356 -x1315 -x1321 -x1327 -x1333 -x1339 -x1345 -x1351 -x1316 -x1322 -x1328 -x1334 -x1340 -x1346 -x1352 -x1357 -x1363 -x1369 -x1375 -x1381 -x1387 -x1393 -x1399 -x1358 -x1364 -x1370 -x1376 -x1382 -x1388 -x1394 x1400 x1359 x1365 x1371 x1377 x1383 x1389 x1395 x1360 x1366 x1372 x1378 x1384 x1390 x1396 x1361 x1367 x1373 x1379 x1385 x1391 x1397 -x1405 -x1411 -x1417 -x1423 -x1429 -x1435 -x1441 -x1401 -x1407 -x1413 -x1419 -x1425 -x1431 -x1437 x1443 x1402 x1408 x1414 x1420 x1426 x1432 x1438 x1403 x1409 x1415 x1421 x1427 x1433 x1439 x1404 x1410 x1416 x1422 x1428 x1434 x1440 -x1447 -x1453 -x1459 -x1465 -x1471 -x1477 -x1483 -x1448 -x1454 -x1460 -x1466 -x1472 -x1478 -x1484 x1444 x1450 x1456 x1462 x1468 x1474 x1480 x1445 x1451 x1457 x1463 x1469 x1475 x1481 x1446 x1452 x1458 x1464 x1470 x1476 x1482 x1488 x1494 x1500 x1506 x1512 x1518 x1524 x1489 x1495 x1501 x1507 x1513 x1519 x1525 x1490 x1496 x1502 x1508 x1514 x1520 -x1526 -x1486 -x1492 -x1498 -x1504 -x1510 -x1516 -x1522 -x1487 -x1493 -x1499 -x1505 -x1511 -x1517 -x1523 x1528 x1534 x1540 x1546 x1552 x1558 x1564 x1529 x1535 x1541 x1547 x1553 x1559 x1565 x1530 x1536 x1542 x1548 x1554 x1560 -x1566 -x1531 -x1537 -x1543 -x1549 -x1555 -x1561 -x1527 -x1533 -x1539 -x1545 -x1551 -x1557 -x1563 x1567 x1573 x1579 x1585 x1591 x1597 x1603 x1568 x1574 x1580 x1586 x1592 x1598 x1604 x1569 x1575 x1581 x1587 x1593 x1599 -x1605 -x1570 -x1576 -x1582 -x1588 -x1594 -x1600 -x1571 -x1577 -x1583 -x1589 -x1595 -x1601 -x1606 -x1612 -x1618 -x1624 -x1630 -x1636 -x1642 -x1607 -x1613 -x1619 -x1625 -x1631 -x1637 x1643 x1608 x1614 x1620 x1626 x1632 x1638 x1609 x1615 x1621 x1627 x1633 x1639 x1610 x1616 x1622 x1628 x1634 x1640 -x1648 -x1654 -x1660 -x1666 -x1672 -x1678 -x1644 -x1650 -x1656 -x1662 -x1668 -x1674 x1680 x1645 x1651 x1657 x1663 x1669 x1675 x1646 x1652 x1658 x1664 x1670 x1676 x1647 x1653 x1659 x1665 x1671 x1677 -x1684 -x1690 -x1696 -x1702 -x1708 -x1714 -x1685 -x1691 -x1697 -x1703 -x1709 -x1715 x1681 x1687 x1693 x1699 x1705 x1711 x1682 x1688 x1694 x1700 x1706 x1712 x1683 x1689 x1695 x1701 x1707 x1713 x1719 x1725 x1731 x1737 x1743 x1749 x1720 x1726 x1732 x1738 x1744 x1750 x1721 x1727 x1733 x1739 x1745 -x1751 -x1717 -x1723 -x1729 -x1735 -x1741 -x1747 -x1718 -x1724 -x1730 -x1736 -x1742 -x1748 x1753 x1759 x1765 x1771 x1777 x1783 x1754 x1760 x1766 x1772 x1778 x1784 x1755 x1761 x1767 x1773 x1779 -x1785 -x1756 -x1762 -x1768 -x1774 -x1780 -x1752 -x1758 -x1764 -x1770 -x1776 -x1782 x1786 x1792 x1798 x1804 x1810 x1816 x1787 x1793 x1799 x1805 x1811 x1817 x1788 x1794 x1800 x1806 x1812 -x1818 -x1789 -x1795 -x1801 -x1807 -x1813 -x1790 -x1796 -x1802 -x1808 -x1814 -x1819 -x1825 -x1831 -x1837 -x1843 -x1849 -x1820 -x1826 -x1832 -x1838 -x1844 x1850 x1821 x1827 x1833 x1839 x1845 x1822 x1828 x1834 x1840 x1846 x1823 x1829 x1835 x1841 x1847 -x1855 -x1861 -x1867 -x1873 -x1879 -x1851 -x1857 -x1863 -x1869 -x1875 x1881 x1852 x1858 x1864 x1870 x1876 x1853 x1859 x1865 x1871 x1877 x1854 x1860 x1866 x1872 x1878 -x1885 -x1891 -x1897 -x1903 -x1909 -x1886 -x1892 -x1898 -x1904 -x1910 x1882 x1888 x1894 x1900 x1906 x1883 x1889 x1895 x1901 x1907 x1884 x1890 x1896 x1902 x1908 x1914 x1920 x1926 x1932 x1938 x1915 x1921 x1927 x1933 x1939 x1916 x1922 x1928 x1934 -x1940 -x1912 -x1918 -x1924 -x1930 -x1936 -x1913 -x1919 -x1925 -x1931 -x1937 x1942 x1948 x1954 x1960 x1966 x1943 x1949 x1955 x1961 x1967 x1944 x1950 x1956 x1962 -x1968 -x1945 -x1951 -x1957 -x1963 -x1941 -x1947 -x1953 -x1959 -x1965 x1969 x1975 x1981 x1987 x1993 x1970 x1976 x1982 x1988 x1994 x1971 x1977 x1983 x1989 -x1995 -x1972 -x1978 -x1984 -x1990 -x1973 -x1979 -x1985 -x1991 -x1996 -x2002 -x2008 -x2014 -x2020 -x1997 -x2003 -x2009 -x2015 x2021 x1998 x2004 x2010 x2016 x1999 x2005 x2011 x2017 x2000 x2006 x2012 x2018 -x2026 -x2032 -x2038 -x2044 -x2022 -x2028 -x2034 -x2040 x2046 x2023 x2029 x2035 x2041 x2024 x2030 x2036 x2042 x2025 x2031 x2037 x2043 -x2050 -x2056 -x2062 -x2068 -x2051 -x2057 -x2063 -x2069 x2047 x2053 x2059 x2065 x2048 x2054 x2060 x2066 x2049 x2055 x2061 x2067 x2073 x2079 x2085 x2091 x2074 x2080 x2086 x2092 x2075 x2081 x2087 -x2093 -x2071 -x2077 -x2083 -x2089 -x2072 -x2078 -x2084 -x2090 x2095 x2101 x2107 x2113 x2096 x2102 x2108 x2114 x2097 x2103 x2109 -x2115 -x2098 -x2104 -x2110 -x2094 -x2100 -x2106 -x2112 x2116 x2122 x2128 x2134 x2117 x2123 x2129 x2135 x2118 x2124 x2130 -x2136 -x2119 -x2125 -x2131 -x2120 -x2126 -x2132 -x2137 -x2143 -x2149 -x2155 -x2138 -x2144 -x2150 x2156 x2139 x2145 x2151 x2140 x2146 x2152 x2141 x2147 x2153 -x2161 -x2167 -x2173 -x2157 -x2163 -x2169 x2175 x2158 x2164 x2170 x2159 x2165 x2171 x2160 x2166 x2172 -x2179 -x2185 -x2191 -x2180 -x2186 -x2192 x2176 x2182 x2188 x2177 x2183 x2189 x2178 x2184 x2190 x2196 x2202 x2208 x2197 x2203 x2209 x2198 x2204 -x2210 -x2194 -x2200 -x2206 -x2195 -x2201 -x2207 x2212 x2218 x2224 x2213 x2219 x2225 x2214 x2220 -x2226 -x2215 -x2221 -x2211 -x2217 -x2223 x2227 x2233 x2239 x2228 x2234 x2240 x2229 x2235 -x2241 -x2230 -x2236 -x2231 -x2237 -x2242 -x2248 -x2254 -x2243 -x2249 x2255 x2244 x2250 x2245 x2251 x2246 x2252 -x2260 -x2266 -x2256 -x2262 x2268 x2257 x2263 x2258 x2264 x2259 x2265 -x2272 -x2278 -x2273 -x2279 x2269 x2275 x2270 x2276 x2271 x2277 x2283 x2289 x2284 x2290 x2285 -x2291 -x2281 -x2287 -x2282 -x2288 x2293 x2299 x2294 x2300 x2295 -x2301 -x2296 -x2292 -x2298 x2302 x2308 x2303 x2309 x2304 -x2310 -x2305 -x2306 -x2311 -x2317 -x2312 x2318 x2313 x2314 x2315 -x2323 -x2319 x2325 x2320 x2321 x2322 -x2329 -x2330 x2326 x2327 x2328 x2334 x2335 -x2336 -x2332 -x2333 x2338 x2339 -x2340 -x2337 x2341 x2342 -x2343 -x2344 x2345 x2346 -x6 -x74 -x12 -x80 -x18 -x86 -x24 -x92 -x30 -x98 -x36 -x104 -x42 -x110 -x48 -x116
3600.05/3611.60	v -x54 -x122 -x60 -x128 -x66 -x134 -x141 -x147 -x153 -x159 -x165 -x171 -x177 -x183 -x189 -x195 x201 -x207 -x213 x219 -x225 -x231 -x237 -x243 -x249 -x255 -x261 -x272 -x278 -x284 -x290 -x296 -x302 -x308 -x314 -x320 -x326 -x336 -x342 -x348 -x354 -x360 -x366 -x372 -x378 -x384 -x390 -x399 -x405 -x411 -x417 -x423 -x429 -x435 -x441 -x447 -x453 -x461 -x467 -x473 -x479 -x485 -x491 -x497 -x503 -x509 -x515 -x522 -x528 -x534 -x540 -x546 -x552 -x558 -x564 -x570 x576 -x582 x588 -x594 -x600 -x606 -x612 -x618 -x624 -x630 -x641 -x647 -x653 -x659 -x665 -x671 -x677 -x683 -x689 -x699 -x705 -x711 -x717 -x723 -x729 -x735 -x741 -x747 -x756 -x762 -x768 -x774 -x780 -x786 -x792 -x798 -x804 -x812 -x818 -x824 -x830 -x836 -x842 -x848 -x854 -x860 -x867 -x873 -x879 -x885 -x891 -x897 -x903 -x909 x915 x921 -x927 -x933 -x939 -x945 -x951 -x957 -x963 -x974 -x980 -x986 -x992 -x998 -x1004 -x1010 -x1016 -x1026 -x1032 -x1038 -x1044 -x1050 -x1056 -x1062 -x1068 -x1077 -x1083 -x1089 -x1095 -x1101 -x1107 -x1113 -x1119 -x1127 -x1133 -x1139 -x1145 -x1151 -x1157 -x1163 -x1169 -x1176 -x1182 -x1188 -x1194 -x1200 -x1206 -x1212 x1218 x1224 x1230 x1236 x1242 x1248 x1254 x1260 -x1271 -x1277 -x1283 -x1289 -x1295 -x1301 -x1307 -x1317 -x1323 -x1329 -x1335 -x1341 -x1347 -x1353 -x1362 -x1368 -x1374 -x1380 -x1386 -x1392 -x1398 -x1406 -x1412 -x1418 -x1424 -x1430 -x1436 -x1442 -x1449 -x1455 -x1461 -x1467 -x1473 -x1479 x1485 -x1491 -x1497 -x1503 -x1509 -x1515 -x1521 -x1532 -x1538 -x1544 -x1550 -x1556 -x1562 -x1572 -x1578 -x1584 -x1590 -x1596 -x1602 -x1611 -x1617 -x1623 -x1629 -x1635 -x1641 -x1649 -x1655 -x1661 -x1667 -x1673 -x1679 -x1686 -x1692 -x1698 -x1704 -x1710 x1716 -x1722 -x1728 -x1734 -x1740 -x1746 -x1757 -x1763 -x1769 -x1775 -x1781 -x1791 -x1797 -x1803 -x1809 -x1815 -x1824 -x1830 -x1836 -x1842 -x1848 -x1856 -x1862 -x1868 -x1874 -x1880 -x1887 -x1893 -x1899 -x1905 x1911 -x1917 -x1923 -x1929 -x1935 -x1946 -x1952 -x1958 -x1964 -x1974 -x1980 -x1986 -x1992 -x2001 -x2007 -x2013 -x2019 -x2027 -x2033 -x2039 -x2045 -x2052 -x2058 -x2064 x2070 -x2076 -x2082 -x2088 -x2099 -x2105 -x2111 -x2121 -x2127 -x2133 -x2142 -x2148 -x2154 -x2162 -x2168 -x2174 -x2181 -x2187 x2193 -x2199 -x2205 -x2216 -x2222 -x2232 -x2238 -x2247 -x2253 -x2261 -x2267 -x2274 x2280 -x2286 -x2297 -x2307 -x2316 -x2324 x2331
3600.36/3611.98	c received SIGTERM, forwarding to pbsolver...
3600.36/3611.98	c failed to send SIGTERM to pbsolver: [Errno 3] No such process

Verifier Data 

OK	-1167

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: 63708 MiB (61619 MiB free)
  memory of node 1: 64465 MiB (59253 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530522-1752262436/watcher-4530522-1752262436 -o /tmp/evaluation-result-4530522-1752262436/solver-4530522-1752262436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752253208-142842 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530522-1752262436.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=145015, runsolver pid=145012
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.12 4.11 4.09 5/270 145020
/proc/meminfo: memFree=123767124/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=1186292 memory=31032 CPUtime=0.06 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 3552 0 0 0 5 1 0 0 20 0 1 0 141922088 1214763008 7758 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 296573 7758 4853 1 0 268595 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190484 KiB
Current children cumulated memory: 34104 KiB

[startup+0.206025 s]*
/proc/loadavg: 4.12 4.11 4.09 5/270 145020
/proc/meminfo: memFree=123737392/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=1213208 memory=64952 CPUtime=0.16 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 9468 0 0 0 14 2 0 0 20 0 1 0 141922088 1242324992 16238 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 303302 16238 7637 1 0 274660 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1217400 KiB
Current children cumulated memory: 68024 KiB

[startup+0.305943 s]*
/proc/loadavg: 4.12 4.11 4.09 5/270 145020
/proc/meminfo: memFree=123721516/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=1238892 memory=89784 CPUtime=0.26 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 15680 0 0 0 23 3 0 0 20 0 1 0 141922088 1268625408 22446 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 309723 22446 7637 1 0 281081 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1243084 KiB
Current children cumulated memory: 92856 KiB

[startup+0.700214 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 145020
/proc/meminfo: memFree=123673132/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=1352808 memory=204344 CPUtime=0.65 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 44197 0 0 0 57 8 0 0 20 0 1 0 141922088 1385275392 51086 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 338202 51086 7797 1 0 309560 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1357000 KiB
Current children cumulated memory: 207416 KiB

[startup+1.50021 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 145020
/proc/meminfo: memFree=123483832/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=1501568 memory=351544 CPUtime=1.45 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 80895 0 0 0 132 13 0 0 20 0 1 0 141922088 1537605632 87886 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 375392 87886 7893 1 0 346750 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1505760 KiB
Current children cumulated memory: 354616 KiB

[startup+3.10587 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 145020
/proc/meminfo: memFree=123387448/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=1594008 memory=443192 CPUtime=3.05 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 103787 0 0 0 289 16 0 0 20 0 1 0 141922088 1632264192 110798 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 398502 110798 7925 1 0 369860 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1598200 KiB
Current children cumulated memory: 446264 KiB

[startup+6.3002 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 145021
/proc/meminfo: memFree=122786056/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2225888 memory=1015620 CPUtime=6.24 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 162785 0 0 0 591 33 0 0 20 0 1 0 141922088 2279309312 253905 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 556472 253905 8117 1 0 527830 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2230080 KiB
Current children cumulated memory: 1018692 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.13 4.10 5/270 145021
/proc/meminfo: memFree=122789640/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2225888 memory=1015748 CPUtime=12.61 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 162826 0 0 0 1228 33 0 0 20 0 1 0 141922088 2279309312 253937 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 556472 253937 8117 1 0 527830 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 2230080 KiB
Current children cumulated memory: 1018820 KiB

[startup+25.5002 s]
/proc/loadavg: 4.36 4.17 4.11 5/270 145021
/proc/meminfo: memFree=122767880/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2225888 memory=1017156 CPUtime=25.37 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 163187 0 0 0 2504 33 0 0 20 0 1 0 141922088 2279309312 254289 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 556472 254289 8117 1 0 527830 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 2230080 KiB
Current children cumulated memory: 1020228 KiB

[startup+51.1059 s]
/proc/loadavg: 4.36 4.19 4.12 5/270 145021
/proc/meminfo: memFree=122757800/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2228732 memory=1020780 CPUtime=50.89 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 163561 0 0 0 5056 33 0 0 20 0 1 0 141922088 2282221568 255195 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 557183 255195 8117 1 0 528541 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 2232924 KiB
Current children cumulated memory: 1023852 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/269 145023
/proc/meminfo: memFree=122745368/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2233252 memory=1023980 CPUtime=101.9 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 164475 0 0 0 10156 34 0 0 20 0 1 0 141922088 2286850048 255995 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 558313 255995 8117 1 0 529671 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 2237444 KiB
Current children cumulated memory: 1027052 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/268 145025
/proc/meminfo: memFree=122718016/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2233252 memory=1024364 CPUtime=161.7 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 164592 0 0 0 16135 35 0 0 20 0 1 0 141922088 2286850048 256091 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 558313 256091 8117 1 0 529671 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 2237444 KiB
Current children cumulated memory: 1027436 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 4.18 4.12 5/268 145027
/proc/meminfo: memFree=122720396/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2238164 memory=1026284 CPUtime=221.5 cores=5,7
/proc/145020/stat : 145020 (python3) R 145015 145015 142829 0 -1 4194304 165434 0 0 0 22115 35 0 0 20 0 1 0 141922088 2291879936 256571 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 559541 256571 8149 1 0 530899 0
Current children cumulated CPU time: 221.5 s

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

/proc/loadavg: 3.12 3.11 3.27 4/262 145361
/proc/meminfo: memFree=121381564/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2381304 memory=1153244 CPUtime=998.16 cores=5,7
/proc/145020/stat : 145020 (python3) S 145015 145015 142829 0 -1 4194304 224488 0 0 0 99764 52 0 0 20 0 1 0 141922088 2438455296 288311 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 595326 288311 8213 1 0 566684 0
[pid=145212] ppid=145020 vsize=327744 memory=325568 CPUtime=2213.79 cores=5,7
/proc/145212/stat : 145212 (naps-1.03a6) R 145020 145212 145212 0 -1 4194304 87413 0 0 0 221302 77 0 0 20 0 1 0 142022242 335609856 81392 18446744073709551615 4198400 7047149 140733038390256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38899712 140733038397809 140733038397937 140733038397937 140733038403529 0
/proc/145212/statm: 81936 81392 608 696 0 81097 0
Current children cumulated CPU time: 3211.95 s
Current children cumulated vsize: 2713240 KiB
Current children cumulated memory: 1481884 KiB

[startup+3282.3 s]
/proc/loadavg: 3.10 3.11 3.26 4/262 145363
/proc/meminfo: memFree=121388004/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2381304 memory=1153244 CPUtime=998.16 cores=5,7
/proc/145020/stat : 145020 (python3) S 145015 145015 142829 0 -1 4194304 224488 0 0 0 99764 52 0 0 20 0 1 0 141922088 2438455296 288311 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 595326 288311 8213 1 0 566684 0
[pid=145212] ppid=145020 vsize=333832 memory=331656 CPUtime=2273.6 cores=5,7
/proc/145212/stat : 145212 (naps-1.03a6) R 145020 145212 145212 0 -1 4194304 88097 0 0 0 227282 78 0 0 20 0 1 0 142022242 341843968 82914 18446744073709551615 4198400 7047149 140733038390256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38899712 140733038397809 140733038397937 140733038397937 140733038403529 0
/proc/145212/statm: 83458 82914 608 696 0 82619 0
Current children cumulated CPU time: 3271.76 s
Current children cumulated vsize: 2719328 KiB
Current children cumulated memory: 1487972 KiB

[startup+3342.3 s]
/proc/loadavg: 3.14 3.12 3.25 4/262 145365
/proc/meminfo: memFree=121361900/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2381304 memory=1153244 CPUtime=998.16 cores=5,7
/proc/145020/stat : 145020 (python3) S 145015 145015 142829 0 -1 4194304 224488 0 0 0 99764 52 0 0 20 0 1 0 141922088 2438455296 288311 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 595326 288311 8213 1 0 566684 0
[pid=145212] ppid=145020 vsize=344996 memory=342820 CPUtime=2333.42 cores=5,7
/proc/145212/stat : 145212 (naps-1.03a6) R 145020 145212 145212 0 -1 4194304 88933 0 0 0 233262 80 0 0 20 0 1 0 142022242 353275904 85705 18446744073709551615 4198400 7047149 140733038390256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38899712 140733038397809 140733038397937 140733038397937 140733038403529 0
/proc/145212/statm: 86249 85705 608 696 0 85410 0
Current children cumulated CPU time: 3331.58 s
Current children cumulated vsize: 2730492 KiB
Current children cumulated memory: 1499136 KiB

[startup+3402.3 s]
/proc/loadavg: 3.11 3.11 3.24 4/262 145367
/proc/meminfo: memFree=121358584/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2381304 memory=1153244 CPUtime=998.16 cores=5,7
/proc/145020/stat : 145020 (python3) S 145015 145015 142829 0 -1 4194304 224488 0 0 0 99764 52 0 0 20 0 1 0 141922088 2438455296 288311 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 595326 288311 8213 1 0 566684 0
[pid=145212] ppid=145020 vsize=347496 memory=345320 CPUtime=2393.24 cores=5,7
/proc/145212/stat : 145212 (naps-1.03a6) R 145020 145212 145212 0 -1 4194304 89439 0 0 0 239242 82 0 0 20 0 1 0 142022242 355835904 86330 18446744073709551615 4198400 7047149 140733038390256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38899712 140733038397809 140733038397937 140733038397937 140733038403529 0
/proc/145212/statm: 86874 86330 608 696 0 86035 0
Current children cumulated CPU time: 3391.4 s
Current children cumulated vsize: 2732992 KiB
Current children cumulated memory: 1501636 KiB

[startup+3462.3 s]
/proc/loadavg: 3.08 3.10 3.23 4/263 145376
/proc/meminfo: memFree=121337548/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2381304 memory=1153244 CPUtime=998.16 cores=5,7
/proc/145020/stat : 145020 (python3) S 145015 145015 142829 0 -1 4194304 224488 0 0 0 99764 52 0 0 20 0 1 0 141922088 2438455296 288311 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 595326 288311 8213 1 0 566684 0
[pid=145212] ppid=145020 vsize=355344 memory=353168 CPUtime=2453.05 cores=5,7
/proc/145212/stat : 145212 (naps-1.03a6) R 145020 145212 145212 0 -1 4194304 90357 0 0 0 245221 84 0 0 20 0 1 0 142022242 363872256 88292 18446744073709551615 4198400 7047149 140733038390256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38899712 140733038397809 140733038397937 140733038397937 140733038403529 0
/proc/145212/statm: 88836 88292 608 696 0 87997 0
Current children cumulated CPU time: 3451.21 s
Current children cumulated vsize: 2740840 KiB
Current children cumulated memory: 1509484 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.11 3.22 4/263 145378
/proc/meminfo: memFree=121407284/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2381304 memory=1153244 CPUtime=998.16 cores=5,7
/proc/145020/stat : 145020 (python3) S 145015 145015 142829 0 -1 4194304 224488 0 0 0 99764 52 0 0 20 0 1 0 141922088 2438455296 288311 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 595326 288311 8213 1 0 566684 0
[pid=145212] ppid=145020 vsize=362544 memory=360348 CPUtime=2512.86 cores=5,7
/proc/145212/stat : 145212 (naps-1.03a6) R 145020 145212 145212 0 -1 4194304 91491 0 0 0 251201 85 0 0 20 0 1 0 142022242 371245056 90087 18446744073709551615 4198400 7047149 140733038390256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38899712 140733038397809 140733038397937 140733038397937 140733038403529 0
/proc/145212/statm: 90636 90087 608 696 0 89797 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 2748040 KiB
Current children cumulated memory: 1516664 KiB

[startup+3582.3 s]
/proc/loadavg: 3.10 3.11 3.21 4/263 145380
/proc/meminfo: memFree=121357820/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2381304 memory=1153244 CPUtime=998.16 cores=5,7
/proc/145020/stat : 145020 (python3) S 145015 145015 142829 0 -1 4194304 224488 0 0 0 99764 52 0 0 20 0 1 0 141922088 2438455296 288311 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 595326 288311 8213 1 0 566684 0
[pid=145212] ppid=145020 vsize=358756 memory=356580 CPUtime=2572.68 cores=5,7
/proc/145212/stat : 145212 (naps-1.03a6) R 145020 145212 145212 0 -1 4194304 91981 0 0 0 257181 87 0 0 20 0 1 0 142022242 367366144 89145 18446744073709551615 4198400 7047149 140733038390256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38899712 140733038397809 140733038397937 140733038397937 140733038403529 0
/proc/145212/statm: 89689 89145 608 696 0 88850 0
Current children cumulated CPU time: 3570.84 s
Current children cumulated vsize: 2744252 KiB
Current children cumulated memory: 1512896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 3.17 3.13 3.21 3/255 145411
/proc/meminfo: memFree=123774268/131249996 swapFree=33010160/33010684
[pid=145015] ppid=145012 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/145015/stat : 145015 (scip-naps-1.00a) S 145012 145015 142829 0 -1 4194304 255 339 0 0 0 0 0 0 20 0 1 0 141922086 4292608 768 18446744073709551615 94539928571904 94539929466437 140724147081424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539929705488 94539929753232 94539961004032 140724147083675 140724147083774 140724147083774 140724147089378 0
/proc/145015/statm: 1048 768 704 219 0 110 0
[pid=145020] ppid=145015 vsize=2381304 memory=1153244 CPUtime=998.16 cores=5,7
/proc/145020/stat : 145020 (python3) S 145015 145015 142829 0 -1 4194304 224488 0 0 0 99764 52 0 0 20 0 1 0 141922088 2438455296 288311 18446744073709551615 94889007017984 94889007018361 140736664730464 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94889007029656 94889007030276 94889020837888 140736664734046 140736664734240 140736664734240 140736664739815 0
/proc/145020/statm: 595326 288311 8213 1 0 566684 0
[pid=145212] ppid=145020 vsize=353384 memory=351208 CPUtime=2601.89 cores=5,7
/proc/145212/stat : 145212 (naps-1.03a6) R 145020 145212 145212 0 -1 4194304 92568 0 0 0 260100 89 0 0 20 0 1 0 142022242 361865216 87802 18446744073709551615 4198400 7047149 140733038390256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38899712 140733038397809 140733038397937 140733038397937 140733038403529 0
/proc/145212/statm: 88346 87802 608 696 0 87507 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2738880 KiB
Current children cumulated memory: 1507524 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.006811 s

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

# cumulated CPU time of all completed processes:  user=3598.99 s, system=1.51189 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+3612 s]*
/proc/loadavg: 3.17 3.13 3.21 3/253 145411
/proc/meminfo: memFree=124568336/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.006811 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3612.03
CPU time (s): 3600.5
CPU user time (s): 3598.99
CPU system time (s): 1.51189
CPU usage (%): 99.6809
Max. virtual memory (cumulated for all children) (KiB): 2887424
Max. memory (cumulated for all children) (KiB): 1655964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.99
system time used= 1.51189
maximum resident set size= 1256556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408281
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 395
involuntary context switches= 1924


# summary of solver processes directly reported to runsolver:
#   pid: 145015,145020
#   total CPU time (s): 3600.5
#   total CPU user time (s): 3598.99
#   total CPU system time (s): 1.51189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37405 second user time and 17.9963 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-11 21:33:57
IDJOB=4530522
IDBENCH=178227
IDSOLVER=3388
FILE ID=nodeC029/4530522-1752262436
RUNJOBID= nodeC029-1752253208-142842
SLURM_JOB_ID= 9682582
Free space on /tmp= 432172 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530522-1752262436/watcher-4530522-1752262436 -o /tmp/evaluation-result-4530522-1752262436/solver-4530522-1752262436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752253208-142842 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530522-1752262436.opb

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

MD5SUM BENCH= 1733aa67cc51115e0f42d9b93b5f287e
RANDOM SEED=964170537

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123774336 kB
MemAvailable:   127492104 kB
Buffers:            2128 kB
Cached:          4504604 kB
SwapCached:           40 kB
Active:          2703224 kB
Inactive:        4061368 kB
Active(anon):    2271120 kB
Inactive(anon):     4764 kB
Active(file):     432104 kB
Inactive(file):  4056604 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31804 kB
Writeback:            12 kB
AnonPages:       2260948 kB
Mapped:           131756 kB
Shmem:             18020 kB
KReclaimable:     136600 kB
Slab:             230316 kB
SReclaimable:     136600 kB
SUnreclaim:        93716 kB
KernelStack:        4352 kB
PageTables:         8160 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5977900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:    571392 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432184 MiB
End job on nodeC029 at 2025-07-11 22:34:09