Trace number 2670913

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardSAT-47 1798 1798.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_3.opb
MD5SUM60cf9918356073587dd2c65f46896dfb
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

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.2 - 23/05/2010 : 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670913-1276711317.opb
0.00/0.00	c File size is 102565 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.017 s
0.00/0.02	c Var: 1444 Constr: 2888 1444/200/1244 Lit: 12440 Watch. Lit: 8708
0.00/0.02	c Obj. Vars: 200 (13.8504 % of total variables)
0.00/0.03	c Pre-processing Time: 0.029 s
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    200     1244     3732    3     2488     414      0      0 0.03
0.00/0.03	c Switching off lower bounding mode.
0.00/0.03	o -45
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    200     1245     3932    3     2535    1414      1      0 0.03
0.00/0.03	o -46
774.78/775.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
774.78/775.07	c        1    200     1247     4286    3     2585    1414      3     33 0.03
774.78/775.07	c      101    200     1347    19343   14     2785    1556    103   1507 0.07
774.78/775.07	c      352    200     1598    57161   35     3287    1712    354   2172 0.16
774.78/775.07	c      827    200     2076   129165   62     4243    1884    832   2369 0.35
774.78/775.07	c     1640    200     2889   251639   87     5869    2073   1645   2290 0.72
774.78/775.07	c     2961    200     4210   451183  107     8511    2281   2966   2170 1.36
774.78/775.07	c     5042    200     3747   381018  101     7583    2510   2503   2026 2.49
774.78/775.07	c     8266    200     4321   466836  108     8732    2762   3077   1913 4.32
774.78/775.07	c    13202    200     3685   368791  100     7460    3039   2441   1805 7.31
774.78/775.07	c    20708    200     5367   623623  116    10780    3343   4123   1657 12.49
774.78/775.07	c    32070    200     4461   479402  107     9049    3678   3217   1564 20.50
774.78/775.07	c    49215    200     5444   632689  116    10934    4046   4200   1532 32.12
774.78/775.07	c    75035    200     3910   402864  103     7910    4451   2666   1455 51.56
774.78/775.07	c   113867    200     6598   781891  118    13275    4897   5354   1412 80.61
774.78/775.07	c   172219    200     7354   907792  123    14837    5387   6110   1346 127.94
774.78/775.07	c   259852    200     5202   599082  115    10450    5926   3958   1272 204.24
774.78/775.07	c   391405    200     6196   748282  120    12438    6519   4952   1242 315.01
774.78/775.07	c   588837    200     8429  1034877  122    16989    7171   7185   1160 507.25
774.78/775.07	c   885089    200     6627   805547  121    13344    7889   5383   1142 774.74
774.78/775.07	o -47
1797.99/1798.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.51	c   885295    200     6834   836825  122    13805    1414   5590   1142 774.86
1797.99/1798.51	c   885395    200     2052   124331   60     4151    1556    808   1142 775.09
1797.99/1798.51	c   885645    200     2303   161827   70     4653    1712   1059   1142 775.19
1797.99/1798.51	c   886120    200     2778   232916   83     5603    1884   1534   1142 775.39
1797.99/1798.51	c   886933    200     3594   354995   98     7235    2073   2350   1143 775.76
1797.99/1798.51	c   888253    200     2469   186918   75     4985    2281   1225   1144 776.41
1797.99/1798.51	c   890335    200     4554   498794  109     9155    2510   3310   1145 777.55
1797.99/1798.51	c   893560    200     2500   190977   76     5047    2762   1256   1146 779.37
1797.99/1798.51	c   898496    200     4685   514580  109     9462    3039   3441   1148 782.38
1797.99/1798.51	c   906003    200     3427   321570   93     6901    3343   2183   1150 787.20
1797.99/1798.51	c   917364    200     5599   650591  116    11288    3678   4355   1154 794.42
1797.99/1798.51	c   934508    200     3342   313389   93     6731    4046   2098   1158 806.31
1797.99/1798.51	c   960328    200     5241   593064  113    10529    4451   3997   1163 825.58
1797.99/1798.51	c   999160    200     4273   453190  106     8638    4897   3029   1168 855.32
1797.99/1798.51	c  1057513    200     5119   562824  109    10326    5387   3875   1171 902.88
1797.99/1798.51	c  1145146    200     7018   866691  123    14083    5926   5774   1170 978.44
1797.99/1798.51	c  1276698    200     7983  1010380  126    16058    6519   6739   1174 1086.59
1797.99/1798.51	c  1474130    200     5468   634925  116    10983    7171   4224   1165 1265.22
1797.99/1798.51	c  1770382    200     8460  1034335  122    17187    7889   7216   1126 1571.51
1797.99/1798.51	c Resources Exceeded
1797.99/1798.51	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 
1797.99/1798.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.51	c   39  1958891 222218  2256494    10406  1367038   9162   1089 1798.00
1797.99/1798.51	c Objective: -47
1797.99/1798.51	s SATISFIABLE
1797.99/1798.51	c Total time: 1798 s

Verifier Data 

OK	-47

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670913-1276711317/watcher-2670913-1276711317 -o /tmp/evaluation-result-2670913-1276711317/solver-2670913-1276711317 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670913-1276711317.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.92 0.98 0.99 2/106 20852
/proc/meminfo: memFree=1821196/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=11032 CPUtime=0
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 12426233 11296768 262 1992294400 134512640 137138936 4287415280 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 2758 262 174 642 0 2088 0

[startup+0.0660411 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 20852
/proc/meminfo: memFree=1821196/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=11588 CPUtime=0.06
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 561 0 0 0 6 0 0 0 25 0 1 0 12426233 11866112 454 1992294400 134512640 137138936 4287415280 18446744073709551615 134606636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 2897 455 192 642 0 2253 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11588

[startup+0.101044 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 20852
/proc/meminfo: memFree=1821196/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=11700 CPUtime=0.09
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 602 0 0 0 9 0 0 0 25 0 1 0 12426233 11980800 495 1992294400 134512640 137138936 4287415280 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 2925 496 192 642 0 2281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11700

[startup+0.301061 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 20852
/proc/meminfo: memFree=1821196/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=12704 CPUtime=0.29
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 848 0 0 0 29 0 0 0 25 0 1 0 12426233 13008896 741 1992294400 134512640 137138936 4287415280 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 3176 741 192 642 0 2532 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12704

[startup+0.701095 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 20852
/proc/meminfo: memFree=1821196/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=14468 CPUtime=0.69
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 1286 0 0 0 69 0 0 0 25 0 1 0 12426233 14815232 1179 1992294400 134512640 137138936 4287415280 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 3617 1179 192 642 0 2973 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14468

[startup+1.50116 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 20853
/proc/meminfo: memFree=1816112/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=17712 CPUtime=1.49
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 2107 0 0 0 148 1 0 0 25 0 1 0 12426233 18137088 2000 1992294400 134512640 137138936 4287415280 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 4428 2000 192 642 0 3784 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17712

[startup+3.1013 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 20853
/proc/meminfo: memFree=1813012/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=18624 CPUtime=3.09
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 2325 0 0 0 307 2 0 0 25 0 1 0 12426233 19070976 2218 1992294400 134512640 137138936 4287415280 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 4656 2218 192 642 0 4012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18624

[startup+6.30058 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 20853
/proc/meminfo: memFree=1811772/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=19644 CPUtime=6.29
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 2569 0 0 0 626 3 0 0 25 0 1 0 12426233 20115456 2462 1992294400 134512640 137138936 4287415280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 4911 2462 192 642 0 4267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19644

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 20853
/proc/meminfo: memFree=1811152/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=20204 CPUtime=12.68
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 2719 0 0 0 1264 4 0 0 25 0 1 0 12426233 20688896 2612 1992294400 134512640 137138936 4287415280 18446744073709551615 134551201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 5051 2612 192 642 0 4407 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20204

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 20855
/proc/meminfo: memFree=1809912/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=21436 CPUtime=25.49
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 3030 0 0 0 2541 8 0 0 25 0 1 0 12426233 21950464 2923 1992294400 134512640 137138936 4287415280 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 5359 2923 192 642 0 4715 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21436

[startup+51.1014 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 20855
/proc/meminfo: memFree=1809292/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=22132 CPUtime=51.07
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 3211 0 0 0 5092 15 0 0 25 0 1 0 12426233 22663168 3104 1992294400 134512640 137138936 4287415280 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 5533 3104 192 642 0 4889 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22132

[startup+102.309 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 20857
/proc/meminfo: memFree=1807308/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=23916 CPUtime=102.27
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 3645 0 0 0 10198 29 0 0 25 0 1 0 12426233 24489984 3538 1992294400 134512640 137138936 4287415280 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 5979 3538 192 642 0 5335 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23916

[startup+162.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 20857
/proc/meminfo: memFree=1806192/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=24864 CPUtime=162.24
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 3896 0 0 0 16180 44 0 0 25 0 1 0 12426233 25460736 3789 1992294400 134512640 137138936 4287415280 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 6216 3789 192 642 0 5572 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24864

[startup+222.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 20859
/proc/meminfo: memFree=1805200/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=26000 CPUtime=222.22
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4173 0 0 0 22162 60 0 0 25 0 1 0 12426233 26624000 4066 1992294400 134512640 137138936 4287415280 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 6500 4066 192 642 0 5856 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 26000

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20861
/proc/meminfo: memFree=1805200/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=26000 CPUtime=282.2
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4173 0 0 0 28145 75 0 0 25 0 1 0 12426233 26624000 4066 1992294400 134512640 137138936 4287415280 18446744073709551615 136502641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 6500 4066 192 642 0 5856 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 26000

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20863
/proc/meminfo: memFree=1803960/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=27264 CPUtime=342.19
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4480 0 0 0 34131 88 0 0 25 0 1 0 12426233 27918336 4373 1992294400 134512640 137138936 4287415280 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 6816 4373 192 642 0 6172 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 27264

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20865
/proc/meminfo: memFree=1803836/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=27260 CPUtime=402.17
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4481 0 0 0 40115 102 0 0 25 0 1 0 12426233 27914240 4374 1992294400 134512640 137138936 4287415280 18446744073709551615 134552282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 6815 4374 192 642 0 6171 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 27260

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20865
/proc/meminfo: memFree=1803836/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=27208 CPUtime=462.16
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4481 0 0 0 46100 116 0 0 25 0 1 0 12426233 27860992 4374 1992294400 134512640 137138936 4287415280 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 6802 4374 192 642 0 6158 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 27208

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20867
/proc/meminfo: memFree=1802472/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=28516 CPUtime=522.14
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4813 0 0 0 52083 131 0 0 25 0 1 0 12426233 29200384 4698 1992294400 134512640 137138936 4287415280 18446744073709551615 134542280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7129 4698 192 642 0 6485 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 28516

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20869
/proc/meminfo: memFree=1802348/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=28516 CPUtime=582.13
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4815 0 0 0 58065 148 0 0 25 0 1 0 12426233 29200384 4700 1992294400 134512640 137138936 4287415280 18446744073709551615 134551183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7129 4700 192 642 0 6485 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 28516

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20871
/proc/meminfo: memFree=1802348/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=28516 CPUtime=642.11
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4815 0 0 0 64048 163 0 0 25 0 1 0 12426233 29200384 4700 1992294400 134512640 137138936 4287415280 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7129 4700 192 642 0 6485 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 28516

[startup+702.302 s]

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

/proc/meminfo: memFree=1801976/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=28012 CPUtime=1062
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4816 0 0 0 105925 275 0 0 25 0 1 0 12426233 28684288 4578 1992294400 134512640 137138936 4287415280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7003 4578 192 642 0 6359 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 28012

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20883
/proc/meminfo: memFree=1801852/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=27976 CPUtime=1121.98
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4816 0 0 0 111908 290 0 0 25 0 1 0 12426233 28647424 4569 1992294400 134512640 137138936 4287415280 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 6994 4569 192 642 0 6350 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 27976

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20885
/proc/meminfo: memFree=1801976/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=27944 CPUtime=1181.96
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4816 0 0 0 117891 305 0 0 25 0 1 0 12426233 28614656 4561 1992294400 134512640 137138936 4287415280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 6986 4561 192 642 0 6342 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 27944

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20887
/proc/meminfo: memFree=1801728/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=27944 CPUtime=1241.94
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4816 0 0 0 123875 319 0 0 25 0 1 0 12426233 28614656 4561 1992294400 134512640 137138936 4287415280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 6986 4561 192 642 0 6342 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 27944

[startup+1302.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 20889
/proc/meminfo: memFree=1801604/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=28388 CPUtime=1301.94
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4926 0 0 0 129858 336 0 0 25 0 1 0 12426233 29069312 4671 1992294400 134512640 137138936 4287415280 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7097 4671 192 642 0 6453 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 28388

[startup+1362.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 20889
/proc/meminfo: memFree=1801604/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=28388 CPUtime=1361.91
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4926 0 0 0 135842 349 0 0 25 0 1 0 12426233 29069312 4671 1992294400 134512640 137138936 4287415280 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7097 4671 192 642 0 6453 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 28388

[startup+1422.31 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 20891
/proc/meminfo: memFree=1801604/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=28388 CPUtime=1421.89
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4927 0 0 0 141825 364 0 0 25 0 1 0 12426233 29069312 4672 1992294400 134512640 137138936 4287415280 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7097 4672 192 642 0 6453 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 28388

[startup+1482.3 s]
/proc/loadavg: 1.10 1.05 1.01 2/107 20893
/proc/meminfo: memFree=1801480/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=28476 CPUtime=1481.87
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4928 0 0 0 147806 381 0 0 25 0 1 0 12426233 29159424 4673 1992294400 134512640 137138936 4287415280 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7119 4673 192 642 0 6475 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 28476

[startup+1542.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 20895
/proc/meminfo: memFree=1801480/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=28444 CPUtime=1541.85
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 4928 0 0 0 153790 395 0 0 25 0 1 0 12426233 29126656 4673 1992294400 134512640 137138936 4287415280 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7111 4673 192 642 0 6467 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 28444

[startup+1602.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 20897
/proc/meminfo: memFree=1800364/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=29920 CPUtime=1601.83
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 5289 0 0 0 159774 409 0 0 25 0 1 0 12426233 30638080 5034 1992294400 134512640 137138936 4287415280 18446744073709551615 134607612 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7480 5034 192 642 0 6836 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 29920

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 20897
/proc/meminfo: memFree=1800240/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=29900 CPUtime=1661.82
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 5289 0 0 0 165758 424 0 0 25 0 1 0 12426233 30617600 5034 1992294400 134512640 137138936 4287415280 18446744073709551615 134606973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7475 5034 192 642 0 6831 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 29900

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 20899
/proc/meminfo: memFree=1800116/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=29896 CPUtime=1721.8
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 5289 0 0 0 171742 438 0 0 25 0 1 0 12426233 30613504 5034 1992294400 134512640 137138936 4287415280 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7474 5034 192 642 0 6830 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 29896

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20901
/proc/meminfo: memFree=1799868/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=29832 CPUtime=1781.79
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 5289 0 0 0 177727 452 0 0 25 0 1 0 12426233 30547968 5033 1992294400 134512640 137138936 4287415280 18446744073709551615 134606614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7458 5033 192 642 0 6814 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 29832

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.01 1.00 3/108 20904
/proc/meminfo: memFree=1780268/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=29832 CPUtime=1791.39
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 5289 0 0 0 178684 455 0 0 25 0 1 0 12426233 30547968 5033 1992294400 134512640 137138936 4287415280 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7458 5033 192 642 0 6814 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 29832

[startup+1795.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20904
/proc/meminfo: memFree=1799372/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=29832 CPUtime=1794.58
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 5289 0 0 0 179002 456 0 0 25 0 1 0 12426233 30547968 5033 1992294400 134512640 137138936 4287415280 18446744073709551615 136500229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7458 5033 192 642 0 6814 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 29832

[startup+1796.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20904
/proc/meminfo: memFree=1799372/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=29832 CPUtime=1796.18
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 5289 0 0 0 179161 457 0 0 25 0 1 0 12426233 30547968 5033 1992294400 134512640 137138936 4287415280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7458 5033 192 642 0 6814 0
Current children cumulated CPU time (s) 1796.18
Current children cumulated vsize (KiB) 29832

[startup+1797.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20904
/proc/meminfo: memFree=1799372/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=29832 CPUtime=1796.98
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 5289 0 0 0 179241 457 0 0 25 0 1 0 12426233 30547968 5033 1992294400 134512640 137138936 4287415280 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7458 5033 192 642 0 6814 0
Current children cumulated CPU time (s) 1796.98
Current children cumulated vsize (KiB) 29832

[startup+1798.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20904
/proc/meminfo: memFree=1799372/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=29832 CPUtime=1797.78
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 5289 0 0 0 179321 457 0 0 25 0 1 0 12426233 30547968 5033 1992294400 134512640 137138936 4287415280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7458 5033 192 642 0 6814 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 29832

[startup+1798.51 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20904
/proc/meminfo: memFree=1799372/2059040 swapFree=4139892/4192956
[pid=20852] ppid=20850 vsize=29832 CPUtime=1797.99
/proc/20852/stat : 20852 (bsolo_pb10) R 20850 20852 19993 0 -1 4202496 5289 0 0 0 179342 457 0 0 25 0 1 0 12426233 30547968 5033 1992294400 134512640 137138936 4287415280 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20852/statm: 7458 5033 192 642 0 6814 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 29832

Child status: 0
Real time (s): 1798.52
CPU time (s): 1798
CPU user time (s): 1793.43
CPU system time (s): 4.5783
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 29928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.43
system time used= 4.5783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5290
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= 1
involuntary context switches= 5185

runsolver used 3.15152 second user time and 8.30674 second system time

The end

Launcher Data 

Begin job on node031 at 2010-06-16 20:01:58
IDJOB=2670913
IDBENCH=48173
IDSOLVER=1162
FILE ID=node031/2670913-1276711317
PBS_JOBID= 11174110
Free space on /tmp= 62584 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670913-1276711317/watcher-2670913-1276711317 -o /tmp/evaluation-result-2670913-1276711317/solver-2670913-1276711317 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670913-1276711317.opb

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

MD5SUM BENCH= 60cf9918356073587dd2c65f46896dfb
RANDOM SEED=1384025668

node031.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.219
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
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.219
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1821980 kB
Buffers:         42608 kB
Cached:         103040 kB
SwapCached:       6448 kB
Active:          84992 kB
Inactive:        73900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821980 kB
SwapTotal:     4192956 kB
SwapFree:      4139892 kB
Dirty:            4008 kB
Writeback:           0 kB
AnonPages:       10964 kB
Mapped:          13020 kB
Slab:            56136 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180232 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670913-1276711317.opb

Free space on /tmp at the end= 62580 MiB
End job on node031 at 2010-06-16 20:31:56