Trace number 1879606

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbOPT5 1308.64 1309.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_2.opb
MD5SUM1e64c526f9351931db225cdff75c2df5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark102.96
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3074
Sum of products size (including duplicates)6148
Number of different products3074
Sum of products size6148

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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879606-1245245778.opb
0.00/0.00	c File size is 219680 bytes.
0.00/0.02	c Highest Coefficient sum: 100
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.028 s
0.00/0.03	c Var: 3174 Constr: 6248 3174/0/3074 Lit: 21618 Watch. Lit: 15570
0.00/0.03	c Obj. Vars: 100 (3.1506 % of total variables)
0.19/0.21	c Pre-processing Time: 0.208 s
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3174     6248    21618    3    15570   19501      0      0 0.21
0.19/0.21	c Switching off lower bounding mode.
0.19/0.21	o 99
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3174     6249    21718    3    15573   19568      1      0 0.21
0.19/0.21	o 98
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3174     6250    21818    3    15577   19668      2      0 0.21
0.19/0.21	o 97
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        1   3174     6253    22116    3    15588   19701      5      4 0.22
0.19/0.22	o 8
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        1   3174     6254    22216    3    15682   20568      6      4 0.22
0.19/0.22	o 7
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        7   3174     6265    23938    3    16141   20568     17     30 0.23
0.29/0.32	c      110   3174     6460    63438    9    23687   22625    212    359 0.31
0.29/0.32	o 6
9.78/9.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.78/9.86	c      121   3174     6483    68258   10    24381   20568    235    374 0.32
9.78/9.86	c      221   3174     6682   111039   16    30041   22625    434    439 0.50
9.78/9.86	c      472   3174     7181   243351   33    46263   24888    933    430 1.10
9.78/9.86	c      947   3174     8131   501786   61    74394   27377   1883    348 2.72
9.78/9.86	c     1761   3174     9755   964490   98   124571   30115   3507    256 6.87
9.78/9.86	o 5
1308.53/1309.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1308.53/1309.27	c     2094   3174    10422  1207915  115   139001   20568   4174    212 9.85
1308.53/1309.27	c     2199   3174    10629  1267577  119   138193   22625   4381    204 10.76
1308.53/1309.27	c     2449   3174    11126  1452817  130   150484   24888   4878    182 13.43
1308.53/1309.27	c     2924   3174    12076  1847325  152   181810   27377   5828    157 18.56
1308.53/1309.27	c     3739   3174    13705  2339262  170   211937   30115   7457    122 30.54
1308.53/1309.27	c     5059   3174    16343  3061880  187   255321   33127  10095     85 58.97
1308.53/1309.27	c     7140   3174    20499  3954387  192   352149   36440  14251     62 114.81
1308.53/1309.27	c    10363   3174    26942  5357851  198   490038   40085  20694     44 230.81
1308.53/1309.27	c    15299   3174    36808  7416579  201   684866   44094  30560     30 499.12
1308.53/1309.27	c    22810   3174    29612  3977070  134   523634   48504  23364     18 1228.92
1308.53/1309.27	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 
1308.53/1309.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1308.53/1309.27	c   21    24769   7119    53272    33522  4681705  27274     18 1308.61
1308.53/1309.27	c Objective: 5
1308.53/1309.27	s OPTIMUM FOUND
1308.53/1309.27	c Total time: 1308.61 s

Verifier Data 

OK	5

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879606-1245245778/watcher-1879606-1245245778 -o /tmp/evaluation-result-1879606-1245245778/solver-1879606-1245245778 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879606-1245245778.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 20903
/proc/meminfo: memFree=1687592/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=18748 CPUtime=0
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 192175905 19197952 252 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 4687 255 175 640 0 3989 0

[startup+0.0508831 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 20903
/proc/meminfo: memFree=1687592/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=12260 CPUtime=0.04
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 687 0 0 0 4 0 0 0 18 0 1 0 192175905 12554240 617 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 3065 617 189 640 0 2421 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12260

[startup+0.101888 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 20903
/proc/meminfo: memFree=1687592/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=12260 CPUtime=0.09
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 687 0 0 0 9 0 0 0 18 0 1 0 192175905 12554240 617 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 3065 617 189 640 0 2421 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12260

[startup+0.301913 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 20903
/proc/meminfo: memFree=1687592/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=12988 CPUtime=0.29
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 995 0 0 0 28 1 0 0 19 0 1 0 192175905 13299712 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 3247 826 197 640 0 2603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12988

[startup+0.701961 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 20903
/proc/meminfo: memFree=1687592/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=14772 CPUtime=0.69
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 1432 0 0 0 68 1 0 0 23 0 1 0 192175905 15126528 1263 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 3693 1263 197 640 0 3049 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14772

[startup+1.50106 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1682336/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=16924 CPUtime=1.49
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 1993 0 0 0 147 2 0 0 25 0 1 0 192175905 17330176 1824 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 4231 1824 197 640 0 3587 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16924

[startup+3.10226 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1679200/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=20432 CPUtime=3.09
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 2852 0 0 0 307 2 0 0 25 0 1 0 192175905 20922368 2683 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 5108 2683 197 640 0 4464 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20432

[startup+6.30165 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1672864/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=26268 CPUtime=6.29
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 4319 0 0 0 626 3 0 0 25 0 1 0 192175905 26898432 4150 1992294400 134512640 137136520 4294956256 18446744073709551615 134605693 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 6567 4150 197 640 0 5923 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26268

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1664808/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=33716 CPUtime=12.68
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 6176 0 0 0 1264 4 0 0 25 0 1 0 192175905 34525184 6007 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 8429 6007 197 640 0 7785 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33716

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1654248/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=43680 CPUtime=25.47
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 8664 0 0 0 2542 5 0 0 25 0 1 0 192175905 44728320 8495 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 10920 8495 197 640 0 10276 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43680

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1643112/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=54944 CPUtime=51.05
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 11484 0 0 0 5098 7 0 0 25 0 1 0 192175905 56262656 11315 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 13736 11315 197 640 0 13092 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 54944

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1629864/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=67952 CPUtime=102.24
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 14724 0 0 0 10213 11 0 0 25 0 1 0 192175905 69582848 14555 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 16988 14555 197 640 0 16344 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 67952

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1616872/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=80944 CPUtime=162.2
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 17996 0 0 0 16206 14 0 0 25 0 1 0 192175905 82886656 17827 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 20236 17827 197 640 0 19592 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 80944

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1606184/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=91384 CPUtime=222.18
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 20606 0 0 0 22202 16 0 0 25 0 1 0 192175905 93577216 20437 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 22846 20437 197 640 0 22202 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 91384

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1597864/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=99804 CPUtime=282.14
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 22699 0 0 0 28197 17 0 0 25 0 1 0 192175905 102199296 22530 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 24951 22530 197 640 0 24307 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 99804

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1590504/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=107156 CPUtime=342.12
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 24530 0 0 0 34192 20 0 0 25 0 1 0 192175905 109727744 24361 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 26789 24361 197 640 0 26145 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 107156

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1583144/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=114400 CPUtime=402.09
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 26356 0 0 0 40188 21 0 0 25 0 1 0 192175905 117145600 26187 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 28600 26187 197 640 0 27956 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 114400

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1578088/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=119504 CPUtime=462.02
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 27612 0 0 0 46180 22 0 0 25 0 1 0 192175905 122372096 27443 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 29876 27443 197 640 0 29232 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 119504

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1571624/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=125984 CPUtime=522
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 29235 0 0 0 52177 23 0 0 25 0 1 0 192175905 129007616 29066 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 31496 29066 197 640 0 30852 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 125984

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1566824/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=130656 CPUtime=581.97
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 30420 0 0 0 58173 24 0 0 25 0 1 0 192175905 133791744 30251 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 32664 30251 197 640 0 32020 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 130656

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1560296/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=137048 CPUtime=641.94
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 32015 0 0 0 64169 25 0 0 25 0 1 0 192175905 140337152 31846 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 34262 31846 197 640 0 33618 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 137048

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1556456/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=140948 CPUtime=701.91
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 32974 0 0 0 70164 27 0 0 25 0 1 0 192175905 144330752 32805 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 35237 32805 197 640 0 34593 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 140948

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1552040/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=145136 CPUtime=761.89
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 34046 0 0 0 76162 27 0 0 25 0 1 0 192175905 148619264 33877 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 36284 33877 197 640 0 35640 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 145136

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1547496/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=149836 CPUtime=821.85
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 35211 0 0 0 82157 28 0 0 25 0 1 0 192175905 153432064 35042 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 37459 35042 197 640 0 36815 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 149836

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1543144/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=154064 CPUtime=881.83
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 36270 0 0 0 88154 29 0 0 25 0 1 0 192175905 157761536 36101 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 38516 36101 197 640 0 37872 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 154064

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1539432/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=157780 CPUtime=941.81
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37203 0 0 0 94150 31 0 0 25 0 1 0 192175905 161566720 37034 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39445 37034 197 640 0 38801 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 157780

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20904
/proc/meminfo: memFree=1538280/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1001.78
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 100147 31 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 158776

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1538280/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1061.74
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 106143 31 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 158776

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1538216/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1121.72
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 112141 31 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 158776

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1538216/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1181.69
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 118138 31 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 158776

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1538024/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1241.66
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 124134 32 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1241.66
Current children cumulated vsize (KiB) 158776

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1537960/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1301.64
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 130132 32 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1301.64
Current children cumulated vsize (KiB) 158776

Solver just ended. Dumping a history of the last processes samples

[startup+1305.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1537960/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1304.83
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 130451 32 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1304.83
Current children cumulated vsize (KiB) 158776

[startup+1307.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1537960/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1306.43
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 130611 32 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1306.43
Current children cumulated vsize (KiB) 158776

[startup+1307.91 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1537960/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1307.24
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 130692 32 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1307.24
Current children cumulated vsize (KiB) 158776

[startup+1308.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1537960/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1308.03
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 130771 32 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1308.03
Current children cumulated vsize (KiB) 158776

[startup+1309.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1537960/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1308.43
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 130811 32 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1308.43
Current children cumulated vsize (KiB) 158776

[startup+1309.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20906
/proc/meminfo: memFree=1537960/2055920 swapFree=4192812/4192956
[pid=20903] ppid=20901 vsize=158776 CPUtime=1308.53
/proc/20903/stat : 20903 (bsolo) R 20901 20903 20492 0 -1 4194304 37475 0 0 0 130821 32 0 0 25 0 1 0 192175905 162586624 37262 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20903/statm: 39694 37262 197 640 0 39050 0
Current children cumulated CPU time (s) 1308.53
Current children cumulated vsize (KiB) 158776

Child status: 0
Real time (s): 1309.3
CPU time (s): 1308.64
CPU user time (s): 1308.29
CPU system time (s): 0.350946
CPU usage (%): 99.9497
Max. virtual memory (cumulated for all children) (KiB): 158952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1308.29
system time used= 0.350946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37477
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= 4
involuntary context switches= 5305

runsolver used 1.50677 second user time and 2.5956 second system time

The end

Launcher Data 

Begin job on node80 at 2009-06-17 15:36:18
IDJOB=1879606
IDBENCH=48156
IDSOLVER=701
FILE ID=node80/1879606-1245245778
PBS_JOBID= 9372271
Free space on /tmp= 66532 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_2.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879606-1245245778/watcher-1879606-1245245778 -o /tmp/evaluation-result-1879606-1245245778/solver-1879606-1245245778 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879606-1245245778.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5
RANDOM SEED=1807827251

node80.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.234
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	: 5914.62
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.234
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1688272 kB
Buffers:         10552 kB
Cached:         297352 kB
SwapCached:          0 kB
Active:          34292 kB
Inactive:       287460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1688272 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3976 kB
Writeback:           0 kB
Mapped:          23644 kB
Slab:            31816 kB
Committed_AS:    81176 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879606-1245245778.opb

Free space on /tmp at the end= 66528 MiB
End job on node80 at 2009-06-17 15:58:08