0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.05 c Default LC presolving (default).
0.00/0.05 c ** Before presolving: virtualMemUsedAtLc = 39481344, getVmSize() = 39481344, SCIPgetMemUsed() = 14569398, SCIPgetMemTotal() = 17407430, SCIPgetMemExternEstim() = 8029046
0.00/0.05 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.68/1.78 c ** Estimated virtualMemUsedAtSolver = 33588565, getVmSize() = 61284352, SCIPgetMemUsed() = 23485852, SCIPgetMemTotal() = 37418372, SCIPgetMemExternEstim() = 8029046
1.68/1.78 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.68/1.78 c Original Problem :
1.68/1.78 c Problem name : instance-4465063-1722390166
1.68/1.78 c Variables : 3823 (3823 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.78 c Constraints : 5122
1.68/1.78 c Objective sense : minimize
1.68/1.78 c Presolved Problem :
1.68/1.78 c Variables : 2498 (2498 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.78 c Constraints : 2500
1.68/1.78 c Constraints : Number
1.68/1.78 c knapsack : 1
1.68/1.78 c setppc : 1225
1.68/1.78 c linear : 1225
1.68/1.78 c indicator : 49
1.68/1.78 c ** Instance transfer method used: 0
1.68/1.79 c ** ParaScipInstance copy does not increase the number of variables. **
1.79/1.81 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.79/1.81 c Nodes Active
1.79/1.81 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.88/1.99 c * 2 0 1 1 7954029.0000 - -
1.99/2.08 c * 2 0 1 1 7648133.0000 - -
1.99/2.08 c 2 1 0 0 7648133.0000 7648133.0000 0.00%
1.99/2.10 c 2 1 0 0 7648133.0000 7648133.0000 -
1.99/2.10 c SCIP Status : c problem is solved
1.99/2.10 c Total Time : 2.0900
1.99/2.10 c solving : 2.0900
1.99/2.10 c presolving : 1.7256 (included in solving)
1.99/2.10 c B&B Tree :
1.99/2.10 c nodes (total) : 1
1.99/2.10 c Solution :
1.99/2.10 c Solutions found : 2
1.99/2.10 c Primal Bound : +7.64813300000000e+06
1.99/2.10 c Dual Bound : +7.64813300000000e+06
1.99/2.10 c Gap : 0.00000 %
1.99/2.10 o 7648133
1.99/2.10 s OPTIMUM FOUND
1.99/2.10 v -x1300 -x1299 -x1298 -x1297 -x1296 x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282
1.99/2.10 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264
1.99/2.10 v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246
1.99/2.10 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228
1.99/2.10 v -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
1.99/2.10 v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
1.99/2.10 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175
1.99/2.10 v -x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
1.99/2.10 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139
1.99/2.10 v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121
1.99/2.10 v -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103
1.99/2.10 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085
1.99/2.10 v -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067
1.99/2.10 v -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049
1.99/2.10 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
1.99/2.10 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013
1.99/2.10 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994
1.99/2.10 v -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973
1.99/2.10 v -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952
1.99/2.10 v -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931
1.99/2.10 v -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910
1.99/2.10 v -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889
1.99/2.10 v -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868
1.99/2.10 v -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 x851 -x850 -x849 -x848 -x847
1.99/2.10 v -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1.99/2.10 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806
1.99/2.10 v -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
1.99/2.10 v -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763
1.99/2.10 v -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743
1.99/2.10 v -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722
1.99/2.10 v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
1.99/2.10 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680
2.08/2.11 v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
2.08/2.11 v -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638
2.08/2.11 v -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617
2.08/2.11 v -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596
2.08/2.11 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575
2.08/2.11 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554
2.08/2.11 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533
2.08/2.11 v x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512
2.08/2.11 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
2.08/2.11 v -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
2.08/2.11 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449
2.08/2.11 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428
2.08/2.11 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407
2.08/2.11 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
2.08/2.11 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
2.08/2.11 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
2.08/2.11 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
2.08/2.11 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302
2.08/2.11 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281
2.08/2.11 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
2.08/2.11 v -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
2.08/2.11 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
2.08/2.11 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197
2.08/2.11 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176
2.08/2.11 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155
2.08/2.11 v -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
2.08/2.11 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
2.08/2.11 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
2.08/2.11 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
2.08/2.11 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 x48 -x47 x46 -x45 -x44 x43 -x42 x41 x40 -x39
2.08/2.11 v -x38 x37 x36 -x35 x34 -x33 -x32 x31 -x30 x29 -x28 x27 x26 -x25 -x24 x23 x22 -x21 -x20 x19 x18 -x17 x16 -x15 x14 -x13 x12
2.08/2.11 v -x11 -x10 x9 x8 -x7 -x6 x5 x4 -x3 x2 -x1
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: 64096 MiB (58889 MiB free)
memory of node 1: 64473 MiB (56435 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465063-1722390166/watcher-4465063-1722390166 -o /tmp/evaluation-result-4465063-1722390166/solver-4465063-1722390166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722389396-37259 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465063-1722390166.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
solver pid=38010, runsolver pid=38007
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 4.18 4.14 4.16 5/250 38011
/proc/meminfo: memFree=118063736/131655788 swapFree=131071996/131071996
[pid=38010] ppid=38007 vsize=51156 memory=39388 CPUtime=0.1 cores=4,6
/proc/38010/stat : 38010 (fscip) R 38007 38010 37248 0 -1 4194304 7503 0 0 0 9 1 0 0 20 0 1 0 5613083 52383744 9847 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
/proc/38010/statm: 12789 9847 2630 3035 0 9185 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51156 KiB
Current children cumulated memory: 39388 KiB
[startup+0.21326 s]*
/proc/loadavg: 4.18 4.14 4.16 5/250 38011
/proc/meminfo: memFree=118062568/131655788 swapFree=131071996/131071996
[pid=38010] ppid=38007 vsize=51156 memory=39388 CPUtime=0.21 cores=4,6
/proc/38010/stat : 38010 (fscip) R 38007 38010 37248 0 -1 4194304 7503 0 0 0 20 1 0 0 20 0 1 0 5613083 52383744 9847 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
/proc/38010/statm: 12789 9847 2630 3035 0 9185 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51156 KiB
Current children cumulated memory: 39388 KiB
[startup+0.313036 s]*
/proc/loadavg: 4.18 4.14 4.16 5/250 38011
/proc/meminfo: memFree=118062120/131655788 swapFree=131071996/131071996
[pid=38010] ppid=38007 vsize=51684 memory=39916 CPUtime=0.31 cores=4,6
/proc/38010/stat : 38010 (fscip) R 38007 38010 37248 0 -1 4194304 7616 0 0 0 30 1 0 0 20 0 1 0 5613083 52924416 9979 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
/proc/38010/statm: 12921 9979 2630 3035 0 9317 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51684 KiB
Current children cumulated memory: 39916 KiB
[startup+0.700344 s]
/proc/loadavg: 4.16 4.14 4.16 6/250 38011
/proc/meminfo: memFree=118060636/131655788 swapFree=131071996/131071996
[pid=38010] ppid=38007 vsize=53308 memory=41608 CPUtime=0.68 cores=4,6
/proc/38010/stat : 38010 (fscip) R 38007 38010 37248 0 -1 4194304 8003 0 0 0 67 1 0 0 20 0 1 0 5613083 54587392 10402 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
/proc/38010/statm: 13327 10402 2662 3035 0 9723 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53308 KiB
Current children cumulated memory: 41608 KiB
[startup+1.50036 s]
/proc/loadavg: 4.16 4.14 4.16 5/250 38011
/proc/meminfo: memFree=118059600/131655788 swapFree=131071996/131071996
[pid=38010] ppid=38007 vsize=55272 memory=43456 CPUtime=1.48 cores=4,6
/proc/38010/stat : 38010 (fscip) R 38007 38010 37248 0 -1 4194304 8497 0 0 0 147 1 0 0 20 0 1 0 5613083 56598528 10864 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
/proc/38010/statm: 13818 10864 2662 3035 0 10214 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55272 KiB
Current children cumulated memory: 43456 KiB
[startup+2.11915 s]
# the end of solver process 38010 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2.04893 s, system=0.049684 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60038 s]
/proc/loadavg: 4.16 4.14 4.16 5/250 38011
/proc/meminfo: memFree=118059600/131655788 swapFree=131071996/131071996
[pid=38010] ppid=38007 vsize=55272 memory=43456 CPUtime=1.58 cores=4,6
/proc/38010/stat : 38010 (fscip) R 38007 38010 37248 0 -1 4194304 8500 0 0 0 157 1 0 0 20 0 1 0 5613083 56598528 10864 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
/proc/38010/statm: 13818 10864 2662 3035 0 10214 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 55272 KiB
Current children cumulated memory: 43456 KiB
[startup+2.00043 s]*
/proc/loadavg: 4.16 4.14 4.16 5/252 38013
/proc/meminfo: memFree=118030700/131655788 swapFree=131071996/131071996
[pid=38010] ppid=38007 vsize=149532 memory=68976 CPUtime=1.99 cores=4,6
/proc/38010/stat : 38010 (fscip) S 38007 38010 37248 0 -1 1077936128 15673 0 0 0 195 4 0 0 20 0 3 0 5613083 153120768 17244 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
/proc/38010/statm: 37383 17244 2838 3035 0 21846 0
[pid=38010/tid=38012] ppid=38007 vsize=149532 memory=-5155628016044632965 CPUtime=0.19 cores=4,6
/proc/38010/task/38012/stat : 38012 (fscip) R 38007 38010 37248 0 -1 4194368 5106 0 0 0 18 1 0 0 20 0 3 0 5613261 153120768 17244 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
[pid=38010/tid=38013] ppid=38007 vsize=149532 memory=3761692298979835936 CPUtime=0 cores=4,6
/proc/38010/task/38013/stat : 38013 (fscip) S 38007 38010 37248 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5613264 153120768 17244 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 149532 KiB
Current children cumulated memory: 68976 KiB
[startup+2.11293 s]
/proc/loadavg: 4.16 4.14 4.16 5/252 38013
/proc/meminfo: memFree=118030700/131655788 swapFree=131071996/131071996
[pid=38010] ppid=38007 vsize=142856 memory=59048 CPUtime=2.08 cores=4,6
/proc/38010/stat : 38010 (fscip) R 38007 38010 37248 0 -1 4194304 15846 0 0 0 204 4 0 0 20 0 2 0 5613083 146284544 14762 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
/proc/38010/statm: 35714 14762 2918 3035 0 20353 0
[pid=38010/tid=38013] ppid=38007 vsize=142856 memory=17833 CPUtime=0 cores=4,6
/proc/38010/task/38013/stat : 38013 (fscip) S 38007 38010 37248 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 5613264 146284544 14762 134679101440 4194304 16623229 140734976580608 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 26628096 140734976582676 140734976582792 140734976582792 140734976589808 0
Current children cumulated CPU time: 2.08 s
Current children cumulated vsize: 142856 KiB
Current children cumulated memory: 59048 KiB
Child status: 0
Real time (s): 2.11922
CPU time (s): 2.09861
CPU user time (s): 2.04893
CPU system time (s): 0.049684
CPU usage (%): 99.0277
Max. virtual memory (cumulated for all children) (KiB): 149532
Max. memory (cumulated for all children) (KiB): 68976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.04893
system time used= 0.049684
maximum resident set size= 69620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 38010
# total CPU time (s): 2.09861
# total CPU user time (s): 2.04893
# total CPU system time (s): 0.049684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044071 second user time and 0.08028 second system time
The end
Begin job on nodeC006 at 2024-07-31 03:42:46
IDJOB=4465063
IDBENCH=144004
IDSOLVER=3093
FILE ID=nodeC006/4465063-1722390166
RUNJOBID= nodeC006-1722389396-37259
SLURM_JOB_ID= 8249860
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap101_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4465063-1722390166/watcher-4465063-1722390166 -o /tmp/evaluation-result-4465063-1722390166/solver-4465063-1722390166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722389396-37259 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465063-1722390166.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 67d067d79b844c4946a358fd5c7ae34f
RANDOM SEED=373331004
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.732
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 3662.268
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.306
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1695.922
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 3662.175
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.167
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.359
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 118092396 kB
MemAvailable: 125825584 kB
Buffers: 114824 kB
Cached: 8386720 kB
SwapCached: 0 kB
Active: 289080 kB
Inactive: 12688144 kB
Active(anon): 1424 kB
Inactive(anon): 4495572 kB
Active(file): 287656 kB
Inactive(file): 8192572 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28656 kB
Writeback: 0 kB
AnonPages: 4475680 kB
Mapped: 125752 kB
Shmem: 21320 kB
KReclaimable: 186316 kB
Slab: 273792 kB
SReclaimable: 186316 kB
SUnreclaim: 87476 kB
KernelStack: 4016 kB
PageTables: 18204 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2313548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1026048 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232264 kB
DirectMap2M: 16449536 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC006 at 2024-07-31 03:42:48