Trace number 4457670

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
ParLS-PBO-1.1 2024-07-09SAT (TO)-246112 3600.06 3597.71

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/
normalized-knapPI_6_5000_10000_1_-246112.opb
MD5SUM7697ce5e116a18335df4b2d8fc6cc5ea
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-246112
Best CPU time to get the best result obtained on this benchmark0.064107
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint5000
Maximum length of a constraint5000
Number of terms in the objective function 5000
Biggest coefficient in the objective function 10000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 24857398
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 246112
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 25103510
Number of bits of the biggest sum of numbers25
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 

0.00/0.00	c ------------------- Paras list -------------------
0.00/0.00	c Name                	 Type      	 Now       	 Default   	 Comment
0.00/0.00	c nbcore              	 int       	 1         	 8         	 Thread number
0.00/0.00	c pool_size           	 int       	 4         	 4         	 size of solution pool
0.00/0.00	c cross_base          	 int       	 3         	 3         	 0 for best model; 1 for cur sol; 2 for diversity; 3 for recent model
0.00/0.00	c cross_heuristic     	 int       	 0         	 0         	 0 for best; 1 for same prob; 2 for prefered prob
0.00/0.00	c cross_proportion    	 int       	 100       	 100       	 The probability of choosing the pick sol when crossing
0.00/0.00	c rankpara            	 int       	 30        	 30        	 same rank para
0.00/0.00	c sharing_period      	 int       	 100000    	 1e5       	 Max no improve steps to share
0.00/0.00	c punish_period       	 int       	 500000    	 5e5       	 Max no improve steps to punish recent obj
0.00/0.00	c restart_period      	 int       	 -1        	 -1        	 Max no improve steps to restart
0.00/0.00	c gs_bound            	 double    	 0.300000  	 0.3       	 global score bound
0.00/0.00	c gs_inc              	 double    	 0.000001  	 0.000001  	 global score inc
0.00/0.00	c gs_prob             	 int       	 50        	 50        	 global score probability
0.00/0.00	c UP                  	 int       	 1         	 1         	 unit propagation
0.00/0.00	c LA                  	 int       	 1         	 1         	 literal assume
0.00/0.00	c mem_limit           	 double    	 0.000000  	 0         	 
0.00/0.00	c time_limit          	 double    	 3600.000000	 300       	 
0.00/0.00	c random_seed         	 int       	 0         	 0         	 
0.00/0.00	c bms                 	 int       	 45        	 45        	 
0.00/0.00	c --------------------------------------------------
0.00/0.00	c HOME/instance-4457670-1722998268.opb
0.00/0.00	c numVar: 5000
0.00/0.00	c numCon: 1
0.00/0.00	c numEqual: 0
0.00/0.00	c intSize: 25
0.00/0.00	c -----------------solve start----------------------
0.00/0.00	o -7575
0.00/0.00	o -15088
0.00/0.00	o -25062
0.00/0.00	o -34950
0.00/0.00	o -44841
0.00/0.00	o -54596
0.00/0.00	o -64075
0.00/0.00	o -73796
0.00/0.00	o -83768
0.00/0.00	o -93641
0.00/0.00	o -103389
0.00/0.00	o -112707
0.00/0.00	o -122439
0.00/0.00	o -132209
0.00/0.00	o -142039
0.00/0.00	o -151836
0.00/0.00	o -161611
0.00/0.00	o -171571
0.00/0.00	o -181553
0.00/0.01	o -191495
0.00/0.01	o -201016
0.00/0.01	o -210988
0.00/0.01	o -220776
0.00/0.01	o -230689
0.00/0.01	o -240582
0.10/0.11	o -246111
0.10/0.11	o -246112
3600.04/3597.70	c ending solve
3600.04/3597.70	c ending join
3600.04/3597.70	s SATISFIABLE
3600.04/3597.70	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

Verifier Data 

OK	-246112

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: 63931 MiB (62274 MiB free)
  memory of node 1: 64510 MiB (63534 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457670-1722998268/watcher-4457670-1722998268 -o /tmp/evaluation-result-4457670-1722998268/solver-4457670-1722998268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722994672-360364 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4457670-1722998268.opb --time_limit=3600 --nbcore=1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=362417, runsolver pid=362414
Current StackSize limit: 8192 KiB


[startup+0.10008 s]*
/proc/loadavg: 4.14 4.39 4.27 5/259 362419
/proc/meminfo: memFree=128824652/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=6936 CPUtime=0.1 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) R 362414 362417 360351 0 -1 1077936128 984 0 0 0 10 0 0 0 20 0 2 0 66426099 99356672 1734 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1734 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 433 0 0 0 9 0 0 0 20 0 2 0 66426099 99356672 1734 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 6936 KiB

[startup+0.205138 s]*
/proc/loadavg: 4.14 4.39 4.27 5/259 362420
/proc/meminfo: memFree=128824368/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=6936 CPUtime=0.2 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) R 362414 362417 360351 0 -1 1077936128 984 0 0 0 20 0 0 0 20 0 2 0 66426099 99356672 1734 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1734 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=8245937348197351555 CPUtime=0.2 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 433 0 0 0 20 0 0 0 20 0 2 0 66426099 99356672 1734 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 6936 KiB

[startup+0.304829 s]*
/proc/loadavg: 4.14 4.39 4.27 5/259 362420
/proc/meminfo: memFree=128824100/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=6936 CPUtime=0.3 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) R 362414 362417 360351 0 -1 1077936128 984 0 0 0 30 0 0 0 20 0 2 0 66426099 99356672 1734 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1734 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=-7519501453625752446 CPUtime=0.3 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 433 0 0 0 30 0 0 0 20 0 2 0 66426099 99356672 1734 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 6936 KiB

[startup+0.700151 s]
/proc/loadavg: 4.14 4.39 4.27 5/259 362420
/proc/meminfo: memFree=128823948/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=6936 CPUtime=0.69 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 984 0 0 0 69 0 0 0 20 0 2 0 66426099 99356672 1734 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1734 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=16096 CPUtime=0.69 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 433 0 0 0 69 0 0 0 20 0 2 0 66426099 99356672 1734 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 6936 KiB

[startup+1.50012 s]
/proc/loadavg: 4.14 4.39 4.27 5/259 362422
/proc/meminfo: memFree=128823696/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=1.49 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 1346 0 0 0 149 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=16096 CPUtime=1.48 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 790 0 0 0 148 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+3.10465 s]
/proc/loadavg: 4.13 4.38 4.27 4/256 362422
/proc/meminfo: memFree=128824208/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3.1 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 1712 0 0 0 310 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=6936 CPUtime=3.09 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 1151 0 0 0 309 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+6.30014 s]
/proc/loadavg: 4.13 4.38 4.27 5/260 362470
/proc/meminfo: memFree=128824272/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=6.3 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 2078 0 0 0 629 1 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=6936 CPUtime=6.27 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 1512 0 0 0 627 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+12.7001 s]
/proc/loadavg: 4.19 4.38 4.27 6/260 362471
/proc/meminfo: memFree=128824188/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=12.7 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 2473 0 0 0 1268 2 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=6936 CPUtime=12.66 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 1902 0 0 0 1266 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.37 4.27 5/260 362473
/proc/meminfo: memFree=128824024/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=25.51 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 3211 0 0 0 2547 4 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=6936 CPUtime=25.42 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 2630 0 0 0 2542 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+51.1044 s]
/proc/loadavg: 4.10 4.34 4.26 5/260 362477
/proc/meminfo: memFree=128823412/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=51.12 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 4359 0 0 0 5104 8 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=50.96 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 3763 0 0 0 5096 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 51.12 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.31 4.26 5/260 362487
/proc/meminfo: memFree=128822836/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=102.36 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 5166 0 0 0 10219 17 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=36236 CPUtime=102.03 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 4560 0 0 0 10203 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 102.36 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.27 4.25 5/262 362501
/proc/meminfo: memFree=128822324/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=162.4 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 5948 0 0 0 16214 26 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=11592 CPUtime=161.89 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 5332 0 0 0 16189 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 162.4 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.23 4.23 5/261 362512
/proc/meminfo: memFree=128821596/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=222.45 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 6339 0 0 0 22211 34 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=221.74 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 5717 0 0 0 22174 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 222.45 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.22 4.23 5/261 362522
/proc/meminfo: memFree=128821284/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=282.49 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 6730 0 0 0 28206 43 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=281.6 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 6103 0 0 0 28160 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 282.49 s

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

/proc/meminfo: memFree=128805856/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3044.27 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 24716 0 0 0 303941 486 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3034.63 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 23854 0 0 0 303463 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3044.27 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+3102.3 s]
/proc/loadavg: 4.26 4.34 4.26 5/260 364160
/proc/meminfo: memFree=128805856/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3104.31 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 25107 0 0 0 309936 495 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3094.48 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 24240 0 0 0 309448 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3104.31 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.32 4.26 5/265 364232
/proc/meminfo: memFree=128804888/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3164.35 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 25498 0 0 0 315929 506 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3154.33 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 24626 0 0 0 315433 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3164.35 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.29 4.25 5/264 364244
/proc/meminfo: memFree=128804852/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3224.39 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 25889 0 0 0 321925 514 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3214.18 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 25012 0 0 0 321418 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3224.39 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.27 4.25 5/264 364254
/proc/meminfo: memFree=128804656/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3284.43 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 26280 0 0 0 327919 524 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3274.03 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 25398 0 0 0 327403 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3284.43 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.25 4.24 5/263 364264
/proc/meminfo: memFree=128804312/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3344.47 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 26671 0 0 0 333913 534 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3333.88 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 25784 0 0 0 333388 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3344.47 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.26 4.25 5/263 364275
/proc/meminfo: memFree=128804032/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3404.51 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 27062 0 0 0 339909 542 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3393.73 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 26169 0 0 0 339373 0 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3404.51 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.23 4.24 5/258 364286
/proc/meminfo: memFree=128803896/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3464.55 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 27453 0 0 0 345903 552 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3453.59 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 26555 0 0 0 345358 1 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3464.55 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.23 4.24 5/259 364297
/proc/meminfo: memFree=128803604/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3524.6 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 27844 0 0 0 351896 564 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3513.44 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 26941 0 0 0 351343 1 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3524.6 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.22 4.23 5/259 364307
/proc/meminfo: memFree=128803328/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3584.64 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 28235 0 0 0 357891 573 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3573.29 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 27327 0 0 0 357328 1 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3584.64 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.7 s]
/proc/loadavg: 4.21 4.22 4.23 3/243 364372
/proc/meminfo: memFree=128814580/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3600.04 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 28235 0 0 0 359427 577 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3588.65 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 27327 0 0 0 358864 1 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.29 s, system=5.77575 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3597.7 s]
/proc/loadavg: 4.21 4.22 4.23 3/243 364372
/proc/meminfo: memFree=128814580/131524600 swapFree=131071996/131071996
[pid=362417] ppid=362414 vsize=97028 memory=7352 CPUtime=3600.04 cores=5,7
/proc/362417/stat : 362417 (ParLS-PBO) S 362414 362417 360351 0 -1 1077936128 28235 0 0 0 359427 577 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
/proc/362417/statm: 24257 1838 991 32 0 2984 0
[pid=362417/tid=362419] ppid=362414 vsize=97028 memory=7352 CPUtime=3588.65 cores=5,7
/proc/362417/task/362419/stat : 362419 (ParLS-PBO) R 362414 362417 360351 0 -1 4194368 27327 0 0 0 358864 1 0 0 20 0 2 0 66426099 99356672 1838 134679101440 4194304 4322517 140724976273984 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 32952320 140724976280589 140724976280709 140724976280709 140724976287724 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 7352 KiB

Child status: 0

Real time (s): 3597.71
CPU time (s): 3600.06
CPU user time (s): 3594.29
CPU system time (s): 5.77575
CPU usage (%): 100.065
Max. virtual memory (cumulated for all children) (KiB): 97028
Max. memory (cumulated for all children) (KiB): 7352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.29
system time used= 5.77575
maximum resident set size= 7672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28387
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= 3331091
involuntary context switches= 909


# summary of solver processes directly reported to runsolver:
#   pid: 362417
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3594.29
#   total CPU system time (s): 5.77575

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.02668 second user time and 12.7038 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-08-07 04:37:48
IDJOB=4457670
IDBENCH=176645
IDSOLVER=3054
FILE ID=nodeC023/4457670-1722998268
RUNJOBID= nodeC023-1722994672-360364
SLURM_JOB_ID= 8259127
Free space on /tmp= 890084 MiB

SOLVER NAME= ParLS-PBO-1.1 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/normalized-knapPI_6_5000_10000_1_-246112.opb
COMMAND LINE= ./ParLS-PBO --benchName=BENCHNAME --time_limit=TIMELIMIT --nbcore=1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457670-1722998268/watcher-4457670-1722998268 -o /tmp/evaluation-result-4457670-1722998268/solver-4457670-1722998268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722994672-360364 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4457670-1722998268.opb --time_limit=3600 --nbcore=1

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

MD5SUM BENCH= 7697ce5e116a18335df4b2d8fc6cc5ea
RANDOM SEED=89886027

nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3646.192
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3680.204
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.53
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		: 3600.022
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3668.607
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.53
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.989
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3630.463
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.53
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		: 3646.159
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3642.485
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128828852 kB
MemAvailable:   129754244 kB
Buffers:          366148 kB
Cached:          1403316 kB
SwapCached:            0 kB
Active:           647316 kB
Inactive:        1521860 kB
Active(anon):       1556 kB
Inactive(anon):   435868 kB
Active(file):     645760 kB
Inactive(file):  1085992 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               876 kB
Writeback:             8 kB
AnonPages:        399828 kB
Mapped:            99972 kB
Shmem:             37720 kB
KReclaimable:      66576 kB
Slab:             159932 kB
SReclaimable:      66576 kB
SUnreclaim:        93356 kB
KernelStack:        4116 kB
PageTables:        10008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     764336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            30048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      262868 kB
DirectMap2M:    17336320 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC023 at 2024-08-07 05:37:46