Trace number 40100

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, and are wall clock time (not CPU 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
bsolo 2006/05SAT4722 1800.06 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM1a5510d564851e49e3b50f1a87922ca2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4722
Best CPU time to get the best result obtained on this benchmark74.2547
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4722
Optimality of the best value was proved YES
Number of variables1989
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3
Maximum length of a constraint1989
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
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 (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.09	c Initial problem consists of 1989 variables and 193 constraints.
0.09	c Switching on LPR.
0.09	c No problem reductions applied in OPT. instance.
0.10	c	preprocess terminated. Elapsed time: 0.083
0.10	c After prepocess the problem consists of 1989 variables and 193 constraints.
0.25	c Initial Lower Bound: 4657
1.27	o 4781
1.27	c NEW SOLUTION FOUND: 4781 @ 1.256
2.16	o 4775
2.16	c NEW SOLUTION FOUND: 4775 @ 2.144
3.33	o 4764
3.33	c NEW SOLUTION FOUND: 4764 @ 3.31
14.07	c Restart #1 #Var: 1989 LB: 4657 @ 14.043
21.13	o 4761
21.13	c NEW SOLUTION FOUND: 4761 @ 21.099
22.37	o 4760
22.37	c NEW SOLUTION FOUND: 4760 @ 22.347
30.84	o 4758
30.84	c NEW SOLUTION FOUND: 4758 @ 30.811
45.07	c Restart #2 #Var: 1989 LB: 4657 @ 45.032
50.39	o 4753
50.39	c NEW SOLUTION FOUND: 4753 @ 50.356
50.60	o 4751
50.60	c NEW SOLUTION FOUND: 4751 @ 50.566
58.75	o 4747
58.75	c NEW SOLUTION FOUND: 4747 @ 58.714
88.12	o 4745
88.12	c NEW SOLUTION FOUND: 4745 @ 88.074
118.61	o 4738
118.61	c NEW SOLUTION FOUND: 4738 @ 118.55
124.38	o 4737
124.38	c NEW SOLUTION FOUND: 4737 @ 124.32
162.29	c Restart #3 #Var: 1989 LB: 4657 @ 162.22
202.45	o 4729
202.45	c NEW SOLUTION FOUND: 4729 @ 202.37
202.66	o 4727
202.66	c NEW SOLUTION FOUND: 4727 @ 202.58
203.50	o 4724
203.50	c NEW SOLUTION FOUND: 4724 @ 203.41
203.65	o 4722
203.65	c NEW SOLUTION FOUND: 4722 @ 203.57
248.05	c Restart #4 #Var: 1989 LB: 4657 @ 247.96
296.12	c Restart #5 #Var: 1989 LB: 4657 @ 296.01
358.69	c Restart #6 #Var: 1989 LB: 4657 @ 358.57
428.06	c Restart #7 #Var: 1989 LB: 4657 @ 427.91
514.39	c Restart #8 #Var: 1989 LB: 4657 @ 514.22
594.70	c Restart #9 #Var: 1989 LB: 4657 @ 594.51
698.19	c Restart #10 #Var: 1989 LB: 4657 @ 697.98
828.48	c Restart #11 #Var: 1989 LB: 4657 @ 828.23
953.13	c Restart #12 #Var: 1989 LB: 4657 @ 952.85
1087.95	c Restart #13 #Var: 1989 LB: 4657 @ 1087.6
1233.48	c Restart #14 #Var: 1988 LB: 4658 @ 1233.1
1398.31	c Restart #15 #Var: 1988 LB: 4658 @ 1397.9
1574.94	c Restart #16 #Var: 1988 LB: 4658 @ 1574.4
1734.07	c Restart #17 #Var: 1988 LB: 4658 @ 1733.5
1800.65	s SATISFIABLE
1800.65	c Cost: 4722
1800.65	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
1800.65	v -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
1800.65	v -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
1800.65	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.65	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.65	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.65	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167
1800.65	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.65	v -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.65	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.65	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.65	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.65	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.65	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.65	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.65	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.65	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.65	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.65	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.65	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.65	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.65	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.65	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.65	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.65	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.65	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.65	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.65	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.65	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.65	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.65	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.65	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.65	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.65	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.65	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.65	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.65	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.65	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.65	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.65	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.65	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.65	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.65	v -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.65	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.65	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965
1800.65	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986
1800.65	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.65	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.65	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.65	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056
1800.65	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.65	v -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.65	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.65	v x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.65	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.65	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1800.65	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1800.65	v -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1800.65	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209
1800.65	v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1800.65	v -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1800.65	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1800.65	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.65	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.65	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311
1800.65	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
1800.65	v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345
1800.65	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
1800.65	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.65	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
1800.65	v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
1800.65	v -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1800.65	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
1800.65	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464
1800.65	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1800.65	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
1800.65	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
1800.65	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
1800.65	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1800.65	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1800.65	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
1800.65	v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1800.65	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.65	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
1800.65	v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651
1800.65	v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668
1800.65	v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
1800.65	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
1800.65	v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719
1800.65	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736
1800.65	v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753
1800.65	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
1800.65	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
1800.65	v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804
1800.65	v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1800.65	v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
1800.65	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1800.65	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1800.65	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1800.65	v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906
1800.65	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923
1800.65	v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
1800.65	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958
1800.65	v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
1800.65	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989
1800.65	c Exit Code: 10
1800.65	c Total time: 1800.1 s

Verifier Data (download as text)

OK	4722

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node86/watcher-40100-1149367074 -o ROOT/results/node86/solver-40100-1149367074 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node86/40100-1149367074/instance-40100-1149367074.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/68 18017
/proc/meminfo: memFree=1726992/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=3440 CPUtime=0
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 58 0 0 0 0 0 0 0 19 0 1 0 202346624 3522560 42 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5667613 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 860 46 33 55 0 42 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.95 0.98 2/68 18017
/proc/meminfo: memFree=1721376/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9784 CPUtime=9.97
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 32395 0 2 0 984 13 0 0 25 0 1 0 202346624 10018816 1707 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159332423 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18017/statm: 2446 1707 430 55 0 1337 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 9784

[startup+20.0085 s]
/proc/loadavg: 0.94 0.96 0.98 2/68 18017
/proc/meminfo: memFree=1721184/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9656 CPUtime=19.97
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 49640 0 2 0 1976 21 0 0 25 0 1 0 202346624 9887744 1727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2414 1727 431 55 0 1305 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 9656

[startup+30.0147 s]
/proc/loadavg: 0.95 0.96 0.98 2/68 18017
/proc/meminfo: memFree=1721056/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9700 CPUtime=29.98
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 56559 0 2 0 2973 25 0 0 25 0 1 0 202346624 9932800 1738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2425 1738 431 55 0 1316 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 9700

[startup+40.0208 s]
/proc/loadavg: 0.95 0.96 0.98 2/68 18017
/proc/meminfo: memFree=1720864/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10200 CPUtime=39.98
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 67353 0 2 0 3968 30 0 0 25 0 1 0 202346624 10444800 1824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255649 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2550 1824 431 55 0 1441 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 10200

[startup+50.027 s]
/proc/loadavg: 0.96 0.96 0.98 2/68 18017
/proc/meminfo: memFree=1721056/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10104 CPUtime=49.98
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 83548 0 2 0 4962 36 0 0 25 0 1 0 202346624 10346496 1777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2526 1777 431 55 0 1417 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 10104

[startup+60.0331 s]
/proc/loadavg: 0.97 0.96 0.98 2/68 18017
/proc/meminfo: memFree=1720928/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9808 CPUtime=59.99
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 99318 0 2 0 5956 43 0 0 25 0 1 0 202346624 10043392 1765 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2452 1765 431 55 0 1343 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 9808

[startup+70.0392 s]
/proc/loadavg: 0.97 0.96 0.98 2/68 18017
/proc/meminfo: memFree=1720864/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9736 CPUtime=69.99
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 119494 0 2 0 6947 52 0 0 25 0 1 0 202346624 9969664 1747 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2434 1747 431 55 0 1325 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 9736

[startup+80.0454 s]
/proc/loadavg: 0.98 0.96 0.98 2/68 18017
/proc/meminfo: memFree=1720992/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10252 CPUtime=79.99
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 140895 0 2 0 7937 62 0 0 25 0 1 0 202346624 10498048 1824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6131985 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2563 1824 431 55 0 1454 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 10252

[startup+90.0515 s]
/proc/loadavg: 0.98 0.96 0.98 2/68 18017
/proc/meminfo: memFree=1721056/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10328 CPUtime=90
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 157465 0 2 0 8930 70 0 0 25 0 1 0 202346624 10575872 1842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159242967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2582 1842 431 55 0 1473 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 10328

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.98 2/68 18017
/proc/meminfo: memFree=1721056/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10140 CPUtime=100
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 178119 0 2 0 9922 78 0 0 25 0 1 0 202346624 10383360 1796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2535 1796 431 55 0 1426 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 10140

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.98 2/68 18017
/proc/meminfo: memFree=1720544/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10220 CPUtime=110
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 197919 0 3 0 10914 86 0 0 25 0 1 0 202346624 10465280 1850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159257375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2555 1850 439 55 0 1446 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 10220

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18017
/proc/meminfo: memFree=1720544/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10284 CPUtime=120
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 219684 0 3 0 11906 94 0 0 25 0 1 0 202346624 10530816 1865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159266532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2571 1865 439 55 0 1462 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 10284

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18017
/proc/meminfo: memFree=1720736/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10176 CPUtime=130
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 241438 0 3 0 12898 102 0 0 25 0 1 0 202346624 10420224 1817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2544 1817 439 55 0 1435 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 10176

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18017
/proc/meminfo: memFree=1720608/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10260 CPUtime=140.01
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 260038 0 3 0 13891 110 0 0 25 0 1 0 202346624 10506240 1859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346445 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2565 1859 439 55 0 1456 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 10260

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18017
/proc/meminfo: memFree=1720672/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10212 CPUtime=150.01
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 281574 0 3 0 14882 119 0 0 25 0 1 0 202346624 10457088 1842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2553 1842 439 55 0 1444 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 10212

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18017
/proc/meminfo: memFree=1720608/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10240 CPUtime=160.01
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 304863 0 3 0 15873 128 0 0 25 0 1 0 202346624 10485760 1854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497215 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2560 1854 439 55 0 1451 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 10240

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18017
/proc/meminfo: memFree=1720800/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10044 CPUtime=170.02
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 322323 0 3 0 16866 136 0 0 25 0 1 0 202346624 10285056 1804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255725 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2511 1804 439 55 0 1402 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 10044

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18017
/proc/meminfo: memFree=1720544/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10284 CPUtime=180.02
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 339014 0 3 0 17858 144 0 0 25 0 1 0 202346624 10530816 1867 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159494705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2571 1867 439 55 0 1462 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 10284

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18017
/proc/meminfo: memFree=1720672/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10256 CPUtime=190.02
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 358952 0 3 0 18850 152 0 0 25 0 1 0 202346624 10502144 1832 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2564 1832 439 55 0 1455 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 10256

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18017
/proc/meminfo: memFree=1720800/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9736 CPUtime=200.03
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 380623 0 3 0 19841 162 0 0 25 0 1 0 202346624 9969664 1755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536030 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2434 1755 439 55 0 1325 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 9736

[startup+210.121 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18017
/proc/meminfo: memFree=1720608/2055892 swapFree=4084792/4096564

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

/proc/18017/statm: 2467 1790 441 55 0 1358 0
Current children cumulated CPU time (s) 1760.46
Current children cumulated vsize (Kb) 9868

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1719968/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10428 CPUtime=1770.46
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3512992 0 3 0 175576 1470 0 0 25 0 1 0 202346624 10678272 1879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2607 1879 441 55 0 1498 0
Current children cumulated CPU time (s) 1770.46
Current children cumulated vsize (Kb) 10428

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720288/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9736 CPUtime=1780.46
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3540052 0 3 0 176565 1481 0 0 25 0 1 0 202346624 9969664 1757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684584 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2434 1757 441 55 0 1325 0
Current children cumulated CPU time (s) 1780.46
Current children cumulated vsize (Kb) 9736

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1719968/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10316 CPUtime=1781.46
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3542580 0 3 0 176664 1482 0 0 25 0 1 0 202346624 10563584 1876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159260762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2579 1876 441 55 0 1470 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 10316

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720160/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10272 CPUtime=1782.47
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3545203 0 3 0 176764 1483 0 0 25 0 1 0 202346624 10518528 1840 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159267625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2568 1840 441 55 0 1459 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 10272

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720032/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10364 CPUtime=1783.47
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3547364 0 3 0 176864 1483 0 0 25 0 1 0 202346624 10612736 1863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159257349 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2591 1863 441 55 0 1482 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 10364

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720288/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10076 CPUtime=1784.48
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3550063 0 3 0 176964 1484 0 0 25 0 1 0 202346624 10317824 1813 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160200484 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2519 1813 441 55 0 1410 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 10076

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1719968/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10056 CPUtime=1785.48
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3552743 0 3 0 177063 1485 0 0 25 0 1 0 202346624 10297344 1805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158522249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2514 1805 441 55 0 1405 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 10056

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1719968/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10460 CPUtime=1786.49
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3555321 0 3 0 177163 1486 0 0 25 0 1 0 202346624 10711040 1887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159257998 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2615 1887 441 55 0 1506 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 10460

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720160/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9820 CPUtime=1787.49
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3558212 0 3 0 177262 1487 0 0 25 0 1 0 202346624 10055680 1778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541752 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2455 1778 441 55 0 1346 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 9820

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720032/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10256 CPUtime=1788.5
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3560968 0 3 0 177361 1489 0 0 25 0 1 0 202346624 10502144 1859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160276697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2564 1859 441 55 0 1455 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 10256

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720160/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9828 CPUtime=1789.5
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3563586 0 3 0 177460 1490 0 0 25 0 1 0 202346624 10063872 1780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603384 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2457 1780 441 55 0 1348 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 9828

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720288/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9736 CPUtime=1790.51
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3566282 0 3 0 177560 1491 0 0 25 0 1 0 202346624 9969664 1757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2434 1757 441 55 0 1325 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 9736

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1719968/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10328 CPUtime=1791.51
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3568946 0 3 0 177659 1492 0 0 25 0 1 0 202346624 10575872 1879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159258029 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2582 1879 441 55 0 1473 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 10328

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1719968/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10356 CPUtime=1792.52
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3571658 0 3 0 177759 1493 0 0 25 0 1 0 202346624 10604544 1886 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159257997 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2589 1886 441 55 0 1480 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (Kb) 10356

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720160/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9736 CPUtime=1793.52
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3574144 0 3 0 177858 1494 0 0 25 0 1 0 202346624 9969664 1757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2434 1757 441 55 0 1325 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 9736

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1719904/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10480 CPUtime=1794.53
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3576727 0 3 0 177958 1495 0 0 25 0 1 0 202346624 10731520 1892 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159257379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2620 1892 441 55 0 1511 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 10480

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720288/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10088 CPUtime=1795.53
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3579578 0 3 0 178057 1496 0 0 25 0 1 0 202346624 10330112 1815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160191297 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2522 1815 441 55 0 1413 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 10088

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720032/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=9968 CPUtime=1796.54
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3581919 0 3 0 178156 1498 0 0 25 0 1 0 202346624 10207232 1783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2492 1783 441 55 0 1383 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 9968

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720288/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10188 CPUtime=1797.54
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3584400 0 3 0 178255 1499 0 0 25 0 1 0 202346624 10432512 1816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477374 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2547 1816 441 55 0 1438 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 10188

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1720032/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10352 CPUtime=1798.54
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3586425 0 3 0 178354 1500 0 0 25 0 1 0 202346624 10600448 1859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159258066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2588 1859 441 55 0 1479 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (Kb) 10352

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 18214
/proc/meminfo: memFree=1719968/2055892 swapFree=4084792/4096564
[pid=18017] ppid=18015 vsize=10324 CPUtime=1799.55
/proc/18017/stat : 18017 (bsolo) R 18015 18017 17971 0 -1 0 3588789 0 3 0 178454 1501 0 0 25 0 1 0 202346624 10571776 1878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160353642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18017/statm: 2581 1878 441 55 0 1472 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 10324

Child status: 10
Real time (s): 1800.66
CPU time (s): 1800.06
CPU user time (s): 1785.03
CPU system time (s): 15.0247
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (Kb): 10532

Launcher Data (download as text)

Begin job on node86 on Sat Jun  3 20:37:54 UTC 2006


FILE ID= 40100-1149367074

PBS_JOBID= 311906

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node86/40100-1149367074/instance-40100-1149367074.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node86/watcher-40100-1149367074 -o ROOT/results/node86/solver-40100-1149367074 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node86/40100-1149367074/instance-40100-1149367074.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  1a5510d564851e49e3b50f1a87922ca2

RANDOM SEED= 100234060


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.19
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1727392 kB
Buffers:         16584 kB
Cached:         250788 kB
SwapCached:       2928 kB
Active:          23960 kB
Inactive:       252096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1727392 kB
SwapTotal:     4096564 kB
SwapFree:      4084792 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          15148 kB
Slab:            39136 kB
Committed_AS:   369212 kB
PageTables:       1300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node86 on Sat Jun  3 21:07:55 UTC 2006