Trace number 4521137

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.00a1SAT (TO)-1167 3600.54 3612.43

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 

997.80/1001.54	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4521137-1751551955.opb
997.80/1001.54	c Solving mode: optimization
997.80/1001.54	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
997.80/1001.54	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
997.80/1001.54	c original problem has 2346 variables (2346 bin, 0 int, 0 impl, 0 cont) and 209576 constraints
997.80/1001.54	c feasible solution found by trivial heuristic after 0.4 seconds, objective value 0.000000e+00
997.80/1001.54	c presolving:
997.80/1001.54	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
997.80/1001.54	c    (2.6s) probing: 51/2346 (2.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
997.80/1001.54	c    (2.6s) probing aborted: 50/50 successive totally useless probings
997.80/1001.54	c    (4.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
997.80/1001.54	c symmetry computation terminated early, because number of cells 102887 in Nauty exceeds limit of 100000
997.80/1001.54	c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
997.80/1001.54	c    (4.6s) no symmetry present (symcode time: 0.25)
997.80/1001.54	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
997.80/1001.54	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
997.80/1001.54	c  0 implications, 0 cliques
997.80/1001.54	c presolved problem has 2346 variables (2346 bin, 0 int, 0 impl, 0 cont) and 209576 constraints
997.80/1001.54	c  209576 constraints of type <logicor>
997.80/1001.54	c transformed objective value is always integral (scale: 1)
997.80/1001.54	c Presolving Time: 4.37
997.80/1001.54	c transformed 1/1 original solutions to the transformed problem space
997.80/1001.54	c 
997.80/1001.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.80/1001.54	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
997.80/1001.54	c   191s|     1 |     0 | 36197 |     - |   940M |   0 |2346 | 209k| 209k|   0 |  0 |   0 |   0 |-1.322000e+03 |-1.082000e+03 |  22.18%| unknown
997.80/1001.54	c   433s|     1 |     2 | 46213 |     - |   985M |   0 |2346 | 209k| 209k|   0 |  1 |   0 |  43 |-1.321837e+03 |-1.082000e+03 |  22.17%| unknown
997.80/1001.54	c 
997.80/1001.54	c SCIP Status        : solving was interrupted [time limit reached]
997.80/1001.54	c Solving Time (sec) : 1000.01
997.80/1001.54	c Solving Nodes      : 5
997.80/1001.54	c Primal Bound       : -1.08200000000000e+03 (2 solutions)
997.80/1001.54	c Dual Bound         : -1.32164513407902e+03
997.80/1001.54	c Gap                : 22.15 %
997.80/1001.54	c All original constraints are satisfied.
997.80/1001.54	c SCIP's best solution is verified feasible for the original problem.
997.80/1001.54	c ----------------------------------------------------------------------
997.80/1001.54	c dual bound: -1321.6451340790195 -> -1321
997.80/1001.54	c primal bound: -1082.0 -> -1082
997.80/1001.54	c scip-goal-lb: -1321
997.80/1001.54	c scip-goal-ub: -1082
997.80/1001.54	c writing output to: HOME/tmpv5zp5a4a.opb
997.80/1001.54	c appending fixed variable constraints
997.80/1001.54	c scip-fixed vars: 0.00% (0/2346)
997.80/1001.54	c ----------------------------------------------------------------------
997.80/1001.54	c executing external solver: HOME/naps-1.03a6
997.80/1001.54	c ----------------------------------------------------------------------
997.80/1001.54	c command: HOME/naps-1.03a6 -goal-lb=-1321 -goal-ub=-1083 HOME/tmpv5zp5a4a.opb
997.80/1001.56	c NaPS 1.03a6.
997.80/1001.56	c Input file name: HOME/tmpv5zp5a4a.opb
999.30/1003.08	c single stage optimization mode
3600.10/3612.00	o -1083
3600.10/3612.00	o -1167
3600.10/3612.00	c
3600.10/3612.00	c *** TERMINATED *** by signal 15
3600.10/3612.00	c _____________________________________________________________________________
3600.10/3612.00	c std/band forms        : 4,0
3600.10/3612.00	c 2cl/3cl ITE-codings   : 0,0
3600.10/3612.00	c BDD/srt/adr Max costs : 0,147363,0
3600.10/3612.00	c BDDraw/bin/mul/srt/adr: 0,0,0,4,0
3600.10/3612.00	c BDD nodes             : 0
3600.10/3612.00	c Es1/CC detections     : 0,0
3600.10/3612.00	c CC sort               : 3
3600.10/3612.00	c SAT/UNSAT calls       : 2,0
3600.10/3612.00	c regenrated variables  : 193
3600.10/3612.00	c eliminated fixed lits : 0
3600.10/3612.00	c goal lit flips        : 0
3600.10/3612.00	c goal stages           : 1
3600.10/3612.00	c goal shrink           : 0
3600.10/3612.00	c goal coeff separations: 0
3600.10/3612.00	c restarts              : 77441
3600.10/3612.00	c conflicts             : 1635035        (629 /sec)
3600.10/3612.00	c decisions             : 7783635        (2992 /sec)
3600.10/3612.00	c propagations          : 4412968658     (1696348 /sec)
3600.10/3612.00	c inspects              : 0              (0 /sec)
3600.10/3612.00	c CPU time (solving tm) : 2601 s        (2600 s, SAT 1461 s, UNSAT 0 s)
3600.10/3612.00	c Time for Opt-base     : 0.00216 s
3600.10/3612.00	c Steps for Opt-base    : 0
3600.10/3612.00	c Time for BDD coding   : 0 s
3600.10/3612.00	c Time for srt coding   : 0.0244 s
3600.10/3612.00	c _____________________________________________________________________________
3600.10/3612.01	c received SIGTERM, forwarding to pbsolver...
3600.10/3612.01	s SATISFIABLE
3600.10/3612.01	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.10/3612.01	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

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: 63665 MiB (59874 MiB free)
  memory of node 1: 64507 MiB (62042 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521137-1751551955/watcher-4521137-1751551955 -o /tmp/evaluation-result-4521137-1751551955/solver-4521137-1751551955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751544246-83691 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4521137-1751551955.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=86054, runsolver pid=86051

[startup+0.100069 s]*
/proc/loadavg: 4.09 4.11 4.09 5/267 86059
/proc/meminfo: memFree=124839128/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=1186492 memory=31320 CPUtime=0.06 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 3608 0 0 0 5 1 0 0 20 0 1 0 70875817 1214967808 7830 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 296623 7830 4854 1 0 268645 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190684 KiB
Current children cumulated memory: 34264 KiB

[startup+0.205865 s]*
/proc/loadavg: 4.09 4.11 4.09 5/267 86059
/proc/meminfo: memFree=124823428/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=1214572 memory=66136 CPUtime=0.16 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 9807 0 0 0 14 2 0 0 20 0 1 0 70875817 1243721728 16534 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 303643 16534 7606 1 0 275001 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1218764 KiB
Current children cumulated memory: 69080 KiB

[startup+0.305706 s]*
/proc/loadavg: 4.09 4.11 4.09 5/267 86059
/proc/meminfo: memFree=124799236/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=1238832 memory=89688 CPUtime=0.27 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 15673 0 0 0 24 3 0 0 20 0 1 0 70875817 1268563968 22422 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 309708 22422 7606 1 0 281066 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1243024 KiB
Current children cumulated memory: 92632 KiB

[startup+0.700233 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 86059
/proc/meminfo: memFree=124746756/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=1352752 memory=204760 CPUtime=0.65 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 44278 0 0 0 58 7 0 0 20 0 1 0 70875817 1385218048 51190 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 338188 51190 7798 1 0 309546 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1356944 KiB
Current children cumulated memory: 207704 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 86059
/proc/meminfo: memFree=124545252/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=1501200 memory=351192 CPUtime=1.45 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 80795 0 0 0 132 13 0 0 20 0 1 0 70875817 1537228800 87798 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 375300 87798 7894 1 0 346658 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1505392 KiB
Current children cumulated memory: 354136 KiB

[startup+3.10592 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 86059
/proc/meminfo: memFree=124432640/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=1594240 memory=443480 CPUtime=3.05 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 103845 0 0 0 288 17 0 0 20 0 1 0 70875817 1632501760 110870 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 398560 110870 7926 1 0 369918 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1598432 KiB
Current children cumulated memory: 446424 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.13 4.09 5/267 86059
/proc/meminfo: memFree=123837720/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2225672 memory=1014524 CPUtime=6.24 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 161504 0 0 0 588 36 0 0 20 0 1 0 70875817 2279088128 253631 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 556418 253631 8118 1 0 527776 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2229864 KiB
Current children cumulated memory: 1017468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 86059
/proc/meminfo: memFree=123858348/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2225672 memory=1014652 CPUtime=12.62 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 161545 0 0 0 1226 36 0 0 20 0 1 0 70875817 2279088128 253663 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 556418 253663 8118 1 0 527776 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2229864 KiB
Current children cumulated memory: 1017596 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 86059
/proc/meminfo: memFree=123885044/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2225672 memory=1017524 CPUtime=25.37 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 161751 0 0 0 2501 36 0 0 20 0 1 0 70875817 2279088128 254381 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 556418 254381 8118 1 0 527776 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 2229864 KiB
Current children cumulated memory: 1020468 KiB

[startup+51.1059 s]
/proc/loadavg: 4.16 4.12 4.09 5/267 86060
/proc/meminfo: memFree=123855936/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2228516 memory=1020724 CPUtime=50.88 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 162544 0 0 0 5052 36 0 0 20 0 1 0 70875817 2282000384 255181 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 557129 255181 8118 1 0 528487 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 2232708 KiB
Current children cumulated memory: 1023668 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 86067
/proc/meminfo: memFree=123812136/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2233040 memory=1023796 CPUtime=101.88 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 163416 0 0 0 10150 38 0 0 20 0 1 0 70875817 2286632960 255949 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 558260 255949 8118 1 0 529618 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 2237232 KiB
Current children cumulated memory: 1026740 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 86068
/proc/meminfo: memFree=123868004/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2233040 memory=1024180 CPUtime=161.64 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 163530 0 0 0 16125 39 0 0 20 0 1 0 70875817 2286632960 256045 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 558260 256045 8118 1 0 529618 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 2237232 KiB
Current children cumulated memory: 1027124 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 86070
/proc/meminfo: memFree=123832084/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2237952 memory=1025972 CPUtime=221.43 cores=1,3
/proc/86059/stat : 86059 (python3) R 86054 86054 83653 0 -1 4194304 164000 0 0 0 22104 39 0 0 20 0 1 0 70875817 2291662848 256493 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 559488 256493 8118 1 0 530846 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 2242144 KiB

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

/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2305252 memory=1077388 CPUtime=997.86 cores=1,3
/proc/86059/stat : 86059 (python3) S 86054 86054 83653 0 -1 4194304 222911 0 0 0 99730 56 0 0 20 0 1 0 70875817 2360578048 269347 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 576313 269347 8214 1 0 547671 0
[pid=86213] ppid=86059 vsize=327744 memory=324880 CPUtime=2213.86 cores=1,3
/proc/86213/stat : 86213 (naps-1.03a6) R 86059 86213 86213 0 -1 4194304 89745 0 0 0 221317 69 0 0 20 0 1 0 70975970 335609856 81220 18446744073709551615 4198400 7047149 140730107637584 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 23175168 140730107644275 140730107644403 140730107644403 140730107649993 0
/proc/86213/statm: 81936 81220 608 696 0 81097 0
Current children cumulated CPU time: 3211.72 s
Current children cumulated vsize: 2637188 KiB
Current children cumulated memory: 1405212 KiB

[startup+3282.3 s]
/proc/loadavg: 3.33 3.87 4.01 4/263 86358
/proc/meminfo: memFree=123694492/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2305252 memory=1077388 CPUtime=997.86 cores=1,3
/proc/86059/stat : 86059 (python3) S 86054 86054 83653 0 -1 4194304 222911 0 0 0 99730 56 0 0 20 0 1 0 70875817 2360578048 269347 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 576313 269347 8214 1 0 547671 0
[pid=86213] ppid=86059 vsize=333832 memory=330968 CPUtime=2273.65 cores=1,3
/proc/86213/stat : 86213 (naps-1.03a6) R 86059 86213 86213 0 -1 4194304 90372 0 0 0 227295 70 0 0 20 0 1 0 70975970 341843968 82742 18446744073709551615 4198400 7047149 140730107637584 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 23175168 140730107644275 140730107644403 140730107644403 140730107649993 0
/proc/86213/statm: 83458 82742 608 696 0 82619 0
Current children cumulated CPU time: 3271.51 s
Current children cumulated vsize: 2643276 KiB
Current children cumulated memory: 1411300 KiB

[startup+3342.3 s]
/proc/loadavg: 3.18 3.72 3.95 4/264 86363
/proc/meminfo: memFree=123687920/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2305252 memory=1077388 CPUtime=997.86 cores=1,3
/proc/86059/stat : 86059 (python3) S 86054 86054 83653 0 -1 4194304 222911 0 0 0 99730 56 0 0 20 0 1 0 70875817 2360578048 269347 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 576313 269347 8214 1 0 547671 0
[pid=86213] ppid=86059 vsize=344996 memory=342132 CPUtime=2333.45 cores=1,3
/proc/86213/stat : 86213 (naps-1.03a6) R 86059 86213 86213 0 -1 4194304 91242 0 0 0 233274 71 0 0 20 0 1 0 70975970 353275904 85533 18446744073709551615 4198400 7047149 140730107637584 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 23175168 140730107644275 140730107644403 140730107644403 140730107649993 0
/proc/86213/statm: 86249 85533 608 696 0 85410 0
Current children cumulated CPU time: 3331.31 s
Current children cumulated vsize: 2654440 KiB
Current children cumulated memory: 1422464 KiB

[startup+3402.3 s]
/proc/loadavg: 3.11 3.60 3.90 4/264 86365
/proc/meminfo: memFree=123662996/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2305252 memory=1077388 CPUtime=997.86 cores=1,3
/proc/86059/stat : 86059 (python3) S 86054 86054 83653 0 -1 4194304 222911 0 0 0 99730 56 0 0 20 0 1 0 70875817 2360578048 269347 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 576313 269347 8214 1 0 547671 0
[pid=86213] ppid=86059 vsize=347496 memory=344632 CPUtime=2393.24 cores=1,3
/proc/86213/stat : 86213 (naps-1.03a6) R 86059 86213 86213 0 -1 4194304 91667 0 0 0 239252 72 0 0 20 0 1 0 70975970 355835904 86158 18446744073709551615 4198400 7047149 140730107637584 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 23175168 140730107644275 140730107644403 140730107644403 140730107649993 0
/proc/86213/statm: 86874 86158 608 696 0 86035 0
Current children cumulated CPU time: 3391.1 s
Current children cumulated vsize: 2656940 KiB
Current children cumulated memory: 1424964 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.52 3.85 4/264 86367
/proc/meminfo: memFree=123714972/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2305252 memory=1077388 CPUtime=997.86 cores=1,3
/proc/86059/stat : 86059 (python3) S 86054 86054 83653 0 -1 4194304 222911 0 0 0 99730 56 0 0 20 0 1 0 70875817 2360578048 269347 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 576313 269347 8214 1 0 547671 0
[pid=86213] ppid=86059 vsize=355344 memory=352480 CPUtime=2453.04 cores=1,3
/proc/86213/stat : 86213 (naps-1.03a6) R 86059 86213 86213 0 -1 4194304 92576 0 0 0 245230 74 0 0 20 0 1 0 70975970 363872256 88120 18446744073709551615 4198400 7047149 140730107637584 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 23175168 140730107644275 140730107644403 140730107644403 140730107649993 0
/proc/86213/statm: 88836 88120 608 696 0 87997 0
Current children cumulated CPU time: 3450.9 s
Current children cumulated vsize: 2664788 KiB
Current children cumulated memory: 1432812 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.44 3.80 4/264 86369
/proc/meminfo: memFree=123682556/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2305252 memory=1077388 CPUtime=997.86 cores=1,3
/proc/86059/stat : 86059 (python3) S 86054 86054 83653 0 -1 4194304 222911 0 0 0 99730 56 0 0 20 0 1 0 70875817 2360578048 269347 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 576313 269347 8214 1 0 547671 0
[pid=86213] ppid=86059 vsize=362544 memory=359632 CPUtime=2512.84 cores=1,3
/proc/86213/stat : 86213 (naps-1.03a6) R 86059 86213 86213 0 -1 4194304 93196 0 0 0 251208 76 0 0 20 0 1 0 70975970 371245056 89908 18446744073709551615 4198400 7047149 140730107637584 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 23175168 140730107644275 140730107644403 140730107644403 140730107649993 0
/proc/86213/statm: 90636 89908 608 696 0 89797 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 2671988 KiB
Current children cumulated memory: 1439964 KiB

[startup+3582.3 s]
/proc/loadavg: 3.15 3.39 3.76 4/264 86371
/proc/meminfo: memFree=123662624/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2305252 memory=1077388 CPUtime=997.86 cores=1,3
/proc/86059/stat : 86059 (python3) S 86054 86054 83653 0 -1 4194304 222911 0 0 0 99730 56 0 0 20 0 1 0 70875817 2360578048 269347 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 576313 269347 8214 1 0 547671 0
[pid=86213] ppid=86059 vsize=358756 memory=355892 CPUtime=2572.63 cores=1,3
/proc/86213/stat : 86213 (naps-1.03a6) R 86059 86213 86213 0 -1 4194304 94141 0 0 0 257186 77 0 0 20 0 1 0 70975970 367366144 88973 18446744073709551615 4198400 7047149 140730107637584 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 23175168 140730107644275 140730107644403 140730107644403 140730107649993 0
/proc/86213/statm: 89689 88973 608 696 0 88850 0
Current children cumulated CPU time: 3570.49 s
Current children cumulated vsize: 2668200 KiB
Current children cumulated memory: 1436224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 2.94 3.32 3.72 3/255 86404
/proc/meminfo: memFree=126064756/131250000 swapFree=33008100/33010684
[pid=86054] ppid=86051 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86054/stat : 86054 (scip-naps-1.00.) S 86051 86054 83653 0 -1 4194304 261 341 0 0 0 0 0 0 20 0 1 0 70875815 4292608 736 18446744073709551615 94824372281344 94824373175877 140736623070352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94824373414928 94824373462672 94824396951552 140736623077793 140736623077890 140736623077890 140736623083492 0
/proc/86054/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86054 vsize=2305252 memory=1077388 CPUtime=997.86 cores=1,3
/proc/86059/stat : 86059 (python3) S 86054 86054 83653 0 -1 4194304 222911 0 0 0 99730 56 0 0 20 0 1 0 70875817 2360578048 269347 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 576313 269347 8214 1 0 547671 0
[pid=86213] ppid=86059 vsize=353384 memory=350520 CPUtime=2602.24 cores=1,3
/proc/86213/stat : 86213 (naps-1.03a6) R 86059 86213 86213 0 -1 4194304 94770 0 0 0 260145 79 0 0 20 0 1 0 70975970 361865216 87630 18446744073709551615 4198400 7047149 140730107637584 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 23175168 140730107644275 140730107644403 140730107644403 140730107649993 0
/proc/86213/statm: 88346 87630 608 696 0 87507 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2662828 KiB
Current children cumulated memory: 1430852 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.003034 s, system=0.004362 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3599.09 s, system=1.44732 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.4 s]
/proc/loadavg: 2.94 3.32 3.72 3/253 86404
/proc/meminfo: memFree=126420972/131250000 swapFree=33008100/33010684
[pid=86059] ppid=86051 vsize=1815352 memory=647552 CPUtime=3600.49 cores=1,3
/proc/86059/stat : 86059 (python3) R 86051 86054 83653 0 -1 4194304 312804 94771 0 0 99763 61 260145 80 20 0 1 0 70875817 1858920448 161888 18446744073709551615 93954068504576 93954068504953 140731280295728 0 0 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0 93954068516248 93954068516868 93954092879872 140731280300391 140731280300578 140731280300578 140731280306151 0
/proc/86059/statm: 453838 161888 8214 1 0 425196 0
Current cumulated CPU time of completed processes: 0.007396 s
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 1815352 KiB
Current children cumulated memory: 647552 KiB

Child status: 0

Real time (s): 3612.43
CPU time (s): 3600.54
CPU user time (s): 3599.09
CPU system time (s): 1.44732
CPU usage (%): 99.671
Max. virtual memory (cumulated for all children) (KiB): 2811372
Max. memory (cumulated for all children) (KiB): 1579348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.09
system time used= 1.44732
maximum resident set size= 1257168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408546
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= 343
involuntary context switches= 5144


# summary of solver processes directly reported to runsolver:
#   pid: 86054,86059
#   total CPU time (s): 3600.54
#   total CPU user time (s): 3599.09
#   total CPU system time (s): 1.44732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.96854 second user time and 18.1238 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-03 16:12:36
IDJOB=4521137
IDBENCH=178227
IDSOLVER=3368
FILE ID=nodeC013/4521137-1751551955
RUNJOBID= nodeC013-1751544246-83691
SLURM_JOB_ID= 9598713
Free space on /tmp= 432584 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
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.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521137-1751551955/watcher-4521137-1751551955 -o /tmp/evaluation-result-4521137-1751551955/solver-4521137-1751551955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751544246-83691 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4521137-1751551955.opb

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

MD5SUM BENCH= 1733aa67cc51115e0f42d9b93b5f287e
RANDOM SEED=127702469

nodeC013 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.817
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.67
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		: 3600.211
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.67
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		: 3564.221
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.67
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		: 3599.822
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.67
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.838
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.67
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		: 3599.815
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.67
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		: 3600.133
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.67
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		: 3603.570
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124843304 kB
MemAvailable:   124998524 kB
Buffers:            1668 kB
Cached:           949532 kB
SwapCached:         2004 kB
Active:          5123460 kB
Inactive:         585264 kB
Active(anon):    4751164 kB
Inactive(anon):    17632 kB
Active(file):     372296 kB
Inactive(file):   567632 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12264 kB
Writeback:             8 kB
AnonPages:       4754452 kB
Mapped:           124732 kB
Shmem:             11272 kB
KReclaimable:     108660 kB
Slab:             198516 kB
SReclaimable:     108660 kB
SUnreclaim:        89856 kB
KernelStack:        4320 kB
PageTables:        13116 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    8616240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1718272 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432588 MiB
End job on nodeC013 at 2025-07-03 17:12:48