Trace number 4503896

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
toulbar2 2025-06-13SAT (TO)12559271 3600.09 3608.81

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
MD5SUMd01f39fb61de71c60f300d6712f658b6
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 benchmark2899749
Best CPU time to get the best result obtained on this benchmark124.337
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
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 

12.35/12.42	o 152672357
725.62/727.47	o 55346007
809.62/811.68	o 40583529
811.81/813.80	o 40549563
835.46/837.59	o 23720963
853.61/855.74	o 17960615
853.61/855.74	o 17958151
853.61/855.74	o 17955967
853.61/855.74	o 17950947
853.61/855.74	o 17950133
853.61/855.75	o 17942759
853.61/855.75	o 17939013
853.61/855.75	o 17937739
867.38/869.58	o 16508487
867.38/869.58	o 16505717
867.38/869.58	o 16450757
867.38/869.58	o 16448397
867.38/869.58	o 16333581
867.48/869.61	o 16320915
867.48/869.61	o 16302819
867.48/869.62	o 16288441
874.36/876.51	o 16248175
874.36/876.51	o 16247647
874.36/876.52	o 16241501
874.36/876.52	o 16236853
874.36/876.52	o 16228325
874.36/876.57	o 16224585
874.46/876.63	o 16214489
874.46/876.63	o 16207839
874.46/876.63	o 16201313
2130.96/2136.20	o 14849571
2131.06/2136.20	o 14842907
2131.06/2136.20	o 14826611
2131.06/2136.20	o 14759623
2131.06/2136.20	o 14744983
2131.06/2136.20	o 14676177
2131.06/2136.20	o 14553561
2131.06/2136.20	o 14530299
2131.06/2136.21	o 14491889
2131.06/2136.23	o 14466643
2131.06/2136.23	o 14443683
2131.06/2136.23	o 14321067
2131.06/2136.25	o 14259161
2131.06/2136.28	o 14198333
2131.06/2136.28	o 14194337
2131.06/2136.28	o 14190145
2131.06/2136.29	o 14184633
2131.16/2136.38	o 14096127
2131.16/2136.38	o 14042199
2131.16/2136.39	o 14021849
2131.36/2136.52	o 14003871
2131.36/2136.52	o 13949943
2131.46/2136.61	o 13943043
2131.66/2136.87	o 13941679
2131.66/2136.88	o 13927039
2133.25/2138.43	o 13925733
2133.25/2138.44	o 13923415
2133.25/2138.44	o 13921541
2133.86/2139.09	o 13920349
2133.86/2139.09	o 13887799
2191.01/2196.31	o 13360341
2191.01/2196.31	o 13347493
2191.01/2196.31	o 13330135
2191.01/2196.31	o 13303105
2191.01/2196.31	o 13267825
2191.01/2196.31	o 13224585
2191.01/2196.31	o 13178859
2191.01/2196.31	o 13125453
2191.01/2196.31	o 13100333
2191.01/2196.31	o 13068099
2191.01/2196.32	o 13014901
2191.01/2196.32	o 13006661
2191.01/2196.32	o 12977479
2191.01/2196.32	o 12977271
2191.01/2196.33	o 12878211
2191.01/2196.33	o 12869971
2191.01/2196.33	o 12857491
2191.01/2196.33	o 12843309
2191.01/2196.33	o 12826607
2191.01/2196.34	o 12823919
2191.01/2196.34	o 12739517
2191.01/2196.34	o 12731277
2191.01/2196.34	o 12716619
2191.01/2196.34	o 12704139
2191.01/2196.34	o 12699739
2191.01/2196.36	o 12683941
2191.01/2196.39	o 12609163
2191.01/2196.39	o 12588443
2191.51/2196.89	o 12587213
2191.51/2196.89	o 12560183
2191.82/2197.19	o 12559533
2197.50/2202.83	o 12559271
3600.06/3608.80	o 12559271
3600.06/3608.80	s SATISFIABLE
3600.06/3608.80	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 x1603 x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 x1623 x1624 -x1625 -x1626 x1627 x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 x1635 x1636 x1637 -x1638 -x1639 x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 x2260 -x2261 -x2262 -x2263 -x2264 x2265 x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 x2279 -x2280 x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 x2306 -x2307 x2308 -x2309 -x2310 x2311 x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 x2320 x2321 x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 x2344 x2345 x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100

Verifier Data 

OK	12559271

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (56081 MiB free)
  memory of node 1: 64465 MiB (63186 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503896-1751441873/watcher-4503896-1751441873 -o /tmp/evaluation-result-4503896-1751441873/solver-4503896-1751441873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751437843-64576 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4503896-1751441873.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=65066, runsolver pid=65063
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.11 4.09 4.03 5/267 65068
/proc/meminfo: memFree=122106848/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=54120 memory=44288 CPUtime=0.09 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 10298 0 0 0 7 2 0 0 20 0 1 0 59864824 55418880 11072 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 13530 11072 928 1162 0 12139 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 47360 KiB

[startup+0.205709 s]*
/proc/loadavg: 4.11 4.09 4.03 5/267 65068
/proc/meminfo: memFree=122050652/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=112768 memory=102408 CPUtime=0.18 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 24840 0 0 0 14 4 0 0 20 0 1 0 59864824 115474432 25602 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 28192 25602 992 1162 0 26801 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 116960 KiB
Current children cumulated memory: 105480 KiB

[startup+0.305705 s]*
/proc/loadavg: 4.11 4.09 4.03 5/267 65068
/proc/meminfo: memFree=122048888/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=113388 memory=103280 CPUtime=0.28 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 25060 0 0 0 24 4 0 0 20 0 1 0 59864824 116109312 25820 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 28347 25820 1024 1162 0 26956 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 106352 KiB

[startup+0.7002 s]
/proc/loadavg: 4.11 4.09 4.03 5/267 65068
/proc/meminfo: memFree=122048888/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=113388 memory=103280 CPUtime=0.67 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 25060 0 0 0 63 4 0 0 20 0 1 0 59864824 116109312 25820 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 28347 25820 1024 1162 0 26956 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 106352 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 4.09 4.03 5/267 65068
/proc/meminfo: memFree=122048888/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=113388 memory=103280 CPUtime=1.47 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 25060 0 0 0 143 4 0 0 20 0 1 0 59864824 116109312 25820 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 28347 25820 1024 1162 0 26956 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 106352 KiB

[startup+3.10549 s]
/proc/loadavg: 4.10 4.09 4.03 5/267 65068
/proc/meminfo: memFree=122053068/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=113388 memory=103280 CPUtime=3.07 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 25060 0 0 0 303 4 0 0 20 0 1 0 59864824 116109312 25820 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 28347 25820 1024 1162 0 26956 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 106352 KiB

[startup+6.30018 s]
/proc/loadavg: 4.10 4.09 4.03 5/267 65068
/proc/meminfo: memFree=122053068/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=113388 memory=103280 CPUtime=6.26 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 25060 0 0 0 622 4 0 0 20 0 1 0 59864824 116109312 25820 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 28347 25820 1024 1162 0 26956 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 106352 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.03 5/267 65068
/proc/meminfo: memFree=122021156/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=140500 memory=134780 CPUtime=12.65 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 33757 0 0 0 1259 6 0 0 20 0 1 0 59864824 143872000 33695 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 35125 33695 1184 1162 0 33734 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 144692 KiB
Current children cumulated memory: 137852 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.03 5/267 65068
/proc/meminfo: memFree=122009896/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=140500 memory=134780 CPUtime=25.42 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 33763 0 0 0 2536 6 0 0 20 0 1 0 59864824 143872000 33695 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 35125 33695 1184 1162 0 33734 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 144692 KiB
Current children cumulated memory: 137852 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.09 4.03 5/267 65069
/proc/meminfo: memFree=122010588/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=140500 memory=134780 CPUtime=50.96 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 33763 0 0 0 5090 6 0 0 20 0 1 0 59864824 143872000 33695 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 35125 33695 1184 1162 0 33734 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 144692 KiB
Current children cumulated memory: 137852 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 65071
/proc/meminfo: memFree=121985096/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=142764 memory=137084 CPUtime=102.03 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 34335 0 0 0 10197 6 0 0 20 0 1 0 59864824 146190336 34271 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 35691 34271 1184 1162 0 34300 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 146956 KiB
Current children cumulated memory: 140156 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/269 65074
/proc/meminfo: memFree=121943688/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=142764 memory=137084 CPUtime=161.88 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 34339 0 0 0 16182 6 0 0 20 0 1 0 59864824 146190336 34271 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 35691 34271 1184 1162 0 34300 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 146956 KiB
Current children cumulated memory: 140156 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.04 5/269 65076
/proc/meminfo: memFree=121931488/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=142764 memory=137084 CPUtime=221.74 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 34339 0 0 0 22168 6 0 0 20 0 1 0 59864824 146190336 34271 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 35691 34271 1184 1162 0 34300 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 146956 KiB

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

/proc/65068/statm: 560019 376169 1184 1162 0 558628 0
Current children cumulated CPU time: 3034.99 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1507748 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/267 65223
/proc/meminfo: memFree=120189856/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=2240076 memory=1504676 CPUtime=3094.84 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 47129 0 0 0 309410 74 0 0 20 0 1 0 59864824 2293837824 376169 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 560019 376169 1184 1162 0 558628 0
Current children cumulated CPU time: 3094.84 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1507748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/267 65225
/proc/meminfo: memFree=120193316/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=2240076 memory=1504676 CPUtime=3154.7 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 47129 0 0 0 315396 74 0 0 20 0 1 0 59864824 2293837824 376169 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 560019 376169 1184 1162 0 558628 0
Current children cumulated CPU time: 3154.7 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1507748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.03 4.11 4.09 5/267 65365
/proc/meminfo: memFree=125913328/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=2240076 memory=1504676 CPUtime=3214.54 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 47134 0 0 0 321380 74 0 0 20 0 1 0 59864824 2293837824 376169 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 560019 376169 1184 1162 0 558628 0
Current children cumulated CPU time: 3214.54 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1507748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/267 65367
/proc/meminfo: memFree=125890124/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=2240076 memory=1505188 CPUtime=3274.37 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 47157 0 0 0 327363 74 0 0 20 0 1 0 59864824 2293837824 376297 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 560019 376297 1184 1162 0 558628 0
Current children cumulated CPU time: 3274.37 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1508260 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/266 65369
/proc/meminfo: memFree=125558472/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=2240076 memory=1505316 CPUtime=3334.22 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 47197 0 0 0 333348 74 0 0 20 0 1 0 59864824 2293837824 376329 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 560019 376329 1184 1162 0 558628 0
Current children cumulated CPU time: 3334.22 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1508388 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/266 65371
/proc/meminfo: memFree=124930244/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=2240076 memory=1505316 CPUtime=3394.07 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 47237 0 0 0 339333 74 0 0 20 0 1 0 59864824 2293837824 376329 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 560019 376329 1184 1162 0 558628 0
Current children cumulated CPU time: 3394.07 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1508388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 65373
/proc/meminfo: memFree=124931240/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=2240076 memory=1505316 CPUtime=3453.93 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 47274 0 0 0 345319 74 0 0 20 0 1 0 59864824 2293837824 376329 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 560019 376329 1184 1162 0 558628 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1508388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 65380
/proc/meminfo: memFree=124929920/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=2240076 memory=1505316 CPUtime=3513.78 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 47311 0 0 0 351304 74 0 0 20 0 1 0 59864824 2293837824 376329 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 560019 376329 1184 1162 0 558628 0
Current children cumulated CPU time: 3513.78 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1508388 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/267 65382
/proc/meminfo: memFree=124929824/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=2240076 memory=1505316 CPUtime=3573.63 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 47348 0 0 0 357289 74 0 0 20 0 1 0 59864824 2293837824 376329 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 560019 376329 1184 1162 0 558628 0
Current children cumulated CPU time: 3573.63 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1508388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 65382
/proc/meminfo: memFree=124930048/131249988 swapFree=33010672/33010684
[pid=65066] ppid=65063 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/65066/stat : 65066 (toulbar2.sh) S 65063 65066 64563 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59864823 4292608 768 18446744073709551615 94252789325824 94252790220357 140721860858032 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94252790459408 94252790507152 94252806373376 140721860860215 140721860860391 140721860860391 140721860865993 0
/proc/65066/statm: 1048 768 704 219 0 110 0
[pid=65068] ppid=65066 vsize=2240076 memory=1505316 CPUtime=3600.06 cores=5,7
/proc/65068/stat : 65068 (toulbar2) R 65066 65066 64563 0 -1 4194304 47349 0 0 0 359932 74 0 0 20 0 1 0 59864824 2293837824 376329 18446744073709551615 4198400 8956741 140729113264512 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 20467712 140729113270645 140729113270764 140729113270764 140729113276364 0
/proc/65068/statm: 560019 376329 1184 1162 0 558628 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2244268 KiB
Current children cumulated memory: 1508388 KiB

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

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

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

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

# cumulated CPU time of all completed processes:  user=3599.33 s, system=0.753308 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

Child status: 0

Real time (s): 3608.81
CPU time (s): 3600.09
CPU user time (s): 3599.33
CPU system time (s): 0.753308
CPU usage (%): 99.7583
Max. virtual memory (cumulated for all children) (KiB): 3292852
Max. memory (cumulated for all children) (KiB): 2154924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.33
system time used= 0.753308
maximum resident set size= 2237868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47556
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= 87
involuntary context switches= 1091


# summary of solver processes directly reported to runsolver:
#   pid: 65066,65068
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.33
#   total CPU system time (s): 0.753308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.46932 second user time and 15.9592 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-02 09:37:53
IDJOB=4503896
IDBENCH=155610
IDSOLVER=3371
FILE ID=nodeC020/4503896-1751441873
RUNJOBID= nodeC020-1751437843-64576
SLURM_JOB_ID= 9598395
Free space on /tmp= 431976 MiB

SOLVER NAME= toulbar2 2025-06-13
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= toulbar2.sh toulbar2 BENCHNAME -timer=TIMELIMIT -hve=512 -f=3 -n: -precision=0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503896-1751441873/watcher-4503896-1751441873 -o /tmp/evaluation-result-4503896-1751441873/solver-4503896-1751441873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751437843-64576 --watchdog 3760  toulbar2.sh toulbar2 HOME/instance-4503896-1751441873.opb -timer=3600 -hve=512 -f=3 -n: -precision=0

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=268608786

nodeC020 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.894
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.882
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.79
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		: 3599.452
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.79
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.886
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.79
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.891
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.79
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.695
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.79
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.205
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.895
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        122131028 kB
MemAvailable:   123638012 kB
Buffers:            2128 kB
Cached:          2310156 kB
SwapCached:            8 kB
Active:          6583952 kB
Inactive:        1859128 kB
Active(anon):    6126332 kB
Inactive(anon):    22512 kB
Active(file):     457620 kB
Inactive(file):  1836616 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6812 kB
Writeback:             0 kB
AnonPages:       6133420 kB
Mapped:           117780 kB
Shmem:             18048 kB
KReclaimable:     103972 kB
Slab:             193468 kB
SReclaimable:     103972 kB
SUnreclaim:        89496 kB
KernelStack:        4304 kB
PageTables:        15088 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    6524524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432016 MiB
End job on nodeC020 at 2025-07-02 10:38:02