3600.04/3608.90 c Filename:instance-4484761-1751294883.opb, Cutoff_time:3600, memory_limit_gb:500000
3600.04/3608.90 c Use Presolve
3600.04/3608.90 c Parse finsih
3600.04/3608.90 c Start Presolve
3600.04/3608.90 c After Reduce Vars: 1400 Clauses: 110779 Top clause weight: 1401 Hard Clauses: 109379
3600.04/3608.90 c Use LS-small
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o 0
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -1
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -2
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -3
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -4
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -5
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -6
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -7
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -8
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -9
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -10
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -11
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -12
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -13
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -14
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -15
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -16
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -17
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -18
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -19
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -20
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -21
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -22
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -23
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -24
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -25
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -26
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -27
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -28
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -29
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -30
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -31
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -32
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -33
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -34
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -35
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -36
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -37
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -47
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -51
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -52
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -53
3600.04/3608.90 c Use postsolve
3600.04/3608.90 o -54
3600.04/3608.90 s SATISFIABLE
3600.04/3608.92 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -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 -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 -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 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
3600.04/3608.92 c Use postsolve
3600.04/3608.92 c Done 34.52s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61932 MiB free)
memory of node 1: 64465 MiB (63938 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484761-1751294883/watcher-4484761-1751294883 -o /tmp/evaluation-result-4484761-1751294883/solver-4484761-1751294883 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751291273-47121 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4484761-1751294883.opb -t 3600 -s 2013572875 --no-s
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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=47522, runsolver pid=47519
[startup+0.100058 s]*
/proc/loadavg: 4.15 4.10 4.09 4/260 47536
/proc/meminfo: memFree=128892204/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=26716 memory=12144 CPUtime=0.09 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 2599 0 0 0 9 0 0 0 20 0 1 0 45165868 27357184 3036 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 3 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 6679 3036 1056 2752 0 3332 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26716 KiB
Current children cumulated memory: 12144 KiB
[startup+0.205444 s]*
/proc/loadavg: 4.15 4.10 4.09 4/259 47540
/proc/meminfo: memFree=128900080/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=36960 memory=19860 CPUtime=0.19 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 3526 0 0 0 19 0 0 0 20 0 1 0 45165868 37847040 4965 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 9240 4965 1056 2752 0 5893 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36960 KiB
Current children cumulated memory: 19860 KiB
[startup+0.305367 s]*
/proc/loadavg: 4.15 4.10 4.09 5/259 47545
/proc/meminfo: memFree=128891440/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=32860 memory=17808 CPUtime=0.29 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 3527 0 0 0 29 0 0 0 20 0 1 0 45165868 33648640 4452 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 8215 4452 1056 2752 0 4868 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32860 KiB
Current children cumulated memory: 17808 KiB
[startup+0.700122 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 47554
/proc/meminfo: memFree=128849912/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=74184 memory=59204 CPUtime=0.68 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 10349 0 0 0 67 1 0 0 20 0 1 0 45165868 75964416 14801 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 18546 14801 1120 2752 0 15199 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74184 KiB
Current children cumulated memory: 59204 KiB
[startup+1.50016 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 47554
/proc/meminfo: memFree=128813936/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=74184 memory=59204 CPUtime=1.48 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 10349 0 0 0 147 1 0 0 20 0 1 0 45165868 75964416 14801 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 18546 14801 1120 2752 0 15199 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74184 KiB
Current children cumulated memory: 59204 KiB
[startup+3.10563 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 47554
/proc/meminfo: memFree=128718268/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=104908 memory=86460 CPUtime=3.08 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 59335 0 0 0 298 10 0 0 20 0 1 0 45165868 107425792 21615 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 26227 21615 1120 2752 0 22880 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 104908 KiB
Current children cumulated memory: 86460 KiB
[startup+6.30017 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 47554
/proc/meminfo: memFree=128718708/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=73384 CPUtime=6.27 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 132571 0 0 0 604 23 0 0 20 0 1 0 45165868 93220864 18346 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 18346 1152 2752 0 19412 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 73384 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 47554
/proc/meminfo: memFree=128718716/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=73392 CPUtime=12.65 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 138426 0 0 0 1241 24 0 0 20 0 1 0 45165868 93220864 18348 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 18348 1152 2752 0 19412 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 73392 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 47554
/proc/meminfo: memFree=128718716/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=73392 CPUtime=25.41 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 138429 0 0 0 2517 24 0 0 20 0 1 0 45165868 93220864 18348 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 18348 1152 2752 0 19412 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 73392 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 47554
/proc/meminfo: memFree=128691416/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=73392 CPUtime=50.94 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141358 0 0 0 5070 24 0 0 20 0 1 0 45165868 93220864 18348 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 18348 1152 2752 0 19412 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 73392 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 47556
/proc/meminfo: memFree=128675852/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=73392 CPUtime=101.99 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141374 0 0 0 10175 24 0 0 20 0 1 0 45165868 93220864 18348 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 18348 1152 2752 0 19412 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 73392 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 47566
/proc/meminfo: memFree=128674720/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=161.83 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141410 0 0 0 16159 24 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/263 47568
/proc/meminfo: memFree=128660240/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=221.68 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141433 0 0 0 22144 24 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 47570
/proc/meminfo: memFree=128661092/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=281.54 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141433 0 0 0 28129 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 47574
/proc/meminfo: memFree=128661956/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=341.4 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141456 0 0 0 34115 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 47577
/proc/meminfo: memFree=128662540/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=401.25 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141479 0 0 0 40100 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 47579
/proc/meminfo: memFree=128663088/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=461.1 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141479 0 0 0 46085 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
Current children cumulated memory: 76464 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 47718
/proc/meminfo: memFree=128689372/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=2915.11 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141663 0 0 0 291486 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 2915.11 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 47720
/proc/meminfo: memFree=128689488/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=2974.97 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141663 0 0 0 297472 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 2974.97 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 47722
/proc/meminfo: memFree=128690340/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3034.82 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141686 0 0 0 303457 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3034.82 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 47724
/proc/meminfo: memFree=128690636/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3094.67 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141686 0 0 0 309442 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3094.67 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 47733
/proc/meminfo: memFree=128692872/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3154.53 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141686 0 0 0 315428 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3154.53 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 47736
/proc/meminfo: memFree=128693420/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3214.38 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141686 0 0 0 321413 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 47738
/proc/meminfo: memFree=128695344/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3274.24 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141686 0 0 0 327399 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3274.24 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 47740
/proc/meminfo: memFree=128696196/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3334.09 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141709 0 0 0 333384 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3334.09 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 47743
/proc/meminfo: memFree=128696572/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3393.94 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141709 0 0 0 339369 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.16 4.12 5/264 47745
/proc/meminfo: memFree=128697928/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3453.8 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141709 0 0 0 345355 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3453.8 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 47747
/proc/meminfo: memFree=128698728/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3513.65 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141709 0 0 0 351340 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3513.65 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/264 47750
/proc/meminfo: memFree=128699848/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3573.5 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141709 0 0 0 357325 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3573.5 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.19 4.16 4.12 4/260 47759
/proc/meminfo: memFree=128770064/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3600.04 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141709 0 0 0 359979 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.93 s]
# the end of solver process 47522 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.81 s, system=0.256225 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.19 4.16 4.12 4/260 47759
/proc/meminfo: memFree=128770064/131250000 swapFree=33010684/33010684
[pid=47522] ppid=47519 vsize=91036 memory=76464 CPUtime=3600.04 cores=1,3
/proc/47522/stat : 47522 (NuPBO-DeepOpt+) R 47519 47522 47109 0 -1 4194304 141709 0 0 0 359979 25 0 0 20 0 1 0 45165868 93220864 19116 18446744073709551615 4198400 15468185 140723258468480 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33046528 140723258476945 140723258477061 140723258477061 140723258482663 0
/proc/47522/statm: 22759 19116 1152 2752 0 19412 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 76464 KiB
Child status: 10
Real time (s): 3608.93
CPU time (s): 3600.07
CPU user time (s): 3599.81
CPU system time (s): 0.256225
CPU usage (%): 99.7546
Max. virtual memory (cumulated for all children) (KiB): 104908
Max. memory (cumulated for all children) (KiB): 86460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.81
system time used= 0.256225
maximum resident set size= 90088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144644
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= 22
involuntary context switches= 19654
# summary of solver processes directly reported to runsolver:
# pid: 47522
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.81
# total CPU system time (s): 0.256225
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05638 second user time and 15.7304 second system time
The end
Begin job on nodeC016 at 2025-06-30 16:48:03
IDJOB=4484761
IDBENCH=146669
IDSOLVER=3342
FILE ID=nodeC016/4484761-1751294883
RUNJOBID= nodeC016-1751291273-47121
SLURM_JOB_ID= 9594251
Free space on /tmp= 433012 MiB
SOLVER NAME= NuPBO-DeepOpt+ 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
COMMAND LINE= ./NuPBO-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484761-1751294883/watcher-4484761-1751294883 -o /tmp/evaluation-result-4484761-1751294883/solver-4484761-1751294883 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751291273-47121 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4484761-1751294883.opb -t 3600 -s 2013572875 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3ad6c959019bf046c7e592cfae8de121
RANDOM SEED=2013572875
nodeC016 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.707
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.48
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 : 3596.746
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.48
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 : 3341.278
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.48
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.742
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.48
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.728
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.48
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.741
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.48
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.228
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.48
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 : 3600.300
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128900144 kB
MemAvailable: 129734324 kB
Buffers: 3280 kB
Cached: 1637788 kB
SwapCached: 0 kB
Active: 387228 kB
Inactive: 1380428 kB
Active(anon): 144660 kB
Inactive(anon): 0 kB
Active(file): 242568 kB
Inactive(file): 1380428 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 53908 kB
Writeback: 0 kB
AnonPages: 129728 kB
Mapped: 112276 kB
Shmem: 18072 kB
KReclaimable: 100844 kB
Slab: 187940 kB
SReclaimable: 100844 kB
SUnreclaim: 87096 kB
KernelStack: 4192 kB
PageTables: 3076 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 454792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 47104 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC016 at 2025-06-30 17:48:12