Trace number 2657409

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 ClSAT-41 1798.11 1798.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM604c6b786f56b09c749bc0d6b7c8f76d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1790.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657409-1276504653.opb
0.00/0.00	c File size is 2298943 bytes.
0.28/0.37	c Highest Coefficient sum: 1272
0.28/0.37	c Parsing was ok!!
0.28/0.37	c Total parsing time: 0.367 s
0.39/0.40	c Var: 1272 Constr: 94227 94227/0/0 Lit: 188454 Watch. Lit: 188454
0.39/0.40	c Obj. Vars: 1272 (100 % of total variables)
3.20/3.23	c Pre-processing Time: 3.234 s
3.20/3.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.24	c        0   1272    94227   188454    2   188454   31409      0      0 3.23
3.20/3.24	c Switching off lower bounding mode.
3.20/3.25	o -36
3.29/3.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.33	c        0   1272    94228   189726    2   188492   32409      1      0 3.25
3.29/3.33	c      100   1272    94328   313031    3   188692   35650    101     30 3.33
3.29/3.33	o -37
3.29/3.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.34	c      100   1272    94329   314303    3   188731   32409    102     29 3.33
3.29/3.34	o -38
3.39/3.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.43	c      100   1272    94330   315575    3   188771   32409    103     29 3.34
3.39/3.43	c      200   1272    94430   438661    4   188971   35650    203     58 3.42
3.39/3.43	o -41
1797.92/1798.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.47	c      200   1272    94431   439933    4   189014   32409    204     58 3.43
1797.92/1798.47	c      301   1272    94532   563851    5   189216   35650    305     85 3.52
1797.92/1798.47	c      551   1272    94782   870682    9   189716   39216    555    147 3.74
1797.92/1798.47	c     1028   1272    95259  1456250   15   190670   43138   1032    244 4.20
1797.92/1798.47	c     1843   1272    96074  2456363   25   192300   47452   1847    351 5.24
1797.92/1798.47	c     3164   1272    97395  4077226   41   194942   52198   3168    458 6.90
1797.92/1798.47	c     5246   1272    99477  6632428   66   199106   57418   5250    541 9.68
1797.92/1798.47	c     8469   1272   102700 10587985  103   205552   63160   8473    541 15.65
1797.92/1798.47	c    13405   1272   107636 16648218  154   215424   69477  13409    502 26.67
1797.92/1798.47	c    20911   1272   115142 25858478  224   230436   76425  20915    441 47.32
1797.92/1798.47	c    32272   1272   126503 39802833  314   253158   84068  32276    316 101.90
1797.92/1798.47	c    49416   1272   143647 60842212  423   287446   92475  49420    263 187.19
1797.92/1798.47	c Reducing formula size due to memory constraints
1797.92/1798.47	c Memory Limit: 1000.00 MB  Used: 1009.79 MB
1797.92/1798.47	c    75235   1272   116325 27306244  234   232691  128397  22098    203 369.16
1797.92/1798.47	c   114067   1272   155157 74947690  483   310355  141237  60930    189 601.62
1797.92/1798.47	c Reducing formula size due to memory constraints
1797.92/1798.47	c Memory Limit: 1000.00 MB  Used: 1007.64 MB
1797.92/1798.47	c Reducing formula size due to memory constraints
1797.92/1798.47	c Memory Limit: 1000.00 MB  Used: 1008.03 MB
1797.92/1798.47	c   172420   1272   107590 16591335  154   215221  128542  13363    141 1215.46
1797.92/1798.47	c Reducing formula size due to memory constraints
1797.92/1798.47	c Memory Limit: 1000.00 MB  Used: 1010.20 MB
1797.92/1798.47	c Resources Exceeded
1797.92/1798.47	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1797.92/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.47	c   20   244810  28923   285722   126797 40183643  32570    136 1798.00
1797.92/1798.47	c Objective: -41
1797.92/1798.47	s SATISFIABLE
1797.92/1798.47	c Total time: 1798 s

Verifier Data 

OK	-41

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657409-1276504653/watcher-2657409-1276504653 -o /tmp/evaluation-result-2657409-1276504653/solver-2657409-1276504653 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657409-1276504653.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.98 0.99 3/106 28104
/proc/meminfo: memFree=1800680/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=13044 CPUtime=0
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 331 0 0 0 0 0 0 0 19 0 1 0 24120680 13357056 250 1992294400 134512640 137138936 4292793472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 3261 250 172 642 0 2055 0

[startup+0.0993071 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 28104
/proc/meminfo: memFree=1800680/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=15380 CPUtime=0.09
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 1031 0 0 0 9 0 0 0 19 0 1 0 24120680 15749120 950 1992294400 134512640 137138936 4292793472 18446744073709551615 134520806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 3845 950 306 642 0 2639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15380

[startup+0.101308 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 28104
/proc/meminfo: memFree=1800680/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=15384 CPUtime=0.09
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 1049 0 0 0 9 0 0 0 19 0 1 0 24120680 15753216 968 1992294400 134512640 137138936 4292793472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 3846 968 309 642 0 2640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15384

[startup+0.300322 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 28104
/proc/meminfo: memFree=1800680/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=20468 CPUtime=0.28
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 2615 0 0 0 28 0 0 0 20 0 1 0 24120680 20959232 2534 1992294400 134512640 137138936 4292793472 18446744073709551615 136737097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 5117 2534 616 642 0 3911 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20468

[startup+0.700354 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 28104
/proc/meminfo: memFree=1800680/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=27540 CPUtime=0.68
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 5079 0 0 0 66 2 0 0 20 0 1 0 24120680 28200960 4436 1992294400 134512640 137138936 4292793472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 6885 4436 185 642 0 6241 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27540

[startup+1.50042 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28105
/proc/meminfo: memFree=1783436/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=27540 CPUtime=1.49
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 5079 0 0 0 144 5 0 0 22 0 1 0 24120680 28200960 4436 1992294400 134512640 137138936 4292793472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 6885 4436 185 642 0 6241 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27540

[startup+3.10154 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28105
/proc/meminfo: memFree=1783188/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=27540 CPUtime=3.09
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 5079 0 0 0 299 10 0 0 25 0 1 0 24120680 28200960 4436 1992294400 134512640 137138936 4292793472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 6885 4436 185 642 0 6241 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27540

[startup+6.3018 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28105
/proc/meminfo: memFree=1754296/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=67868 CPUtime=6.29
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 16604 0 0 0 612 17 0 0 25 0 1 0 24120680 69496832 14540 1992294400 134512640 137138936 4292793472 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 16967 14540 191 642 0 16323 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67868

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28107
/proc/meminfo: memFree=1679028/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=135872 CPUtime=12.68
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 33600 0 0 0 1245 23 0 0 25 0 1 0 24120680 139132928 31536 1992294400 134512640 137138936 4292793472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 33968 31536 191 642 0 33324 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 135872

[startup+25.5003 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28107
/proc/meminfo: memFree=1582184/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=229864 CPUtime=25.48
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 57081 0 0 0 2512 36 0 0 25 0 1 0 24120680 235380736 55017 1992294400 134512640 137138936 4292793472 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 57466 55017 191 642 0 56822 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 229864

[startup+51.1004 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 28110
/proc/meminfo: memFree=1432144/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=380464 CPUtime=51.08
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 94742 0 0 0 5050 58 0 0 25 0 1 0 24120680 389595136 92678 1992294400 134512640 137138936 4292793472 18446744073709551615 134618004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 95116 92678 191 642 0 94472 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 380464

[startup+102.308 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 28112
/proc/meminfo: memFree=1277268/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=532152 CPUtime=102.27
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 132671 0 0 0 10146 81 0 0 25 0 1 0 24120680 544923648 130607 1992294400 134512640 137138936 4292793472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 133038 130607 191 642 0 132394 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 532152

[startup+162.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 28114
/proc/meminfo: memFree=1074404/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=735524 CPUtime=162.25
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 183518 0 0 0 16112 113 0 0 25 0 1 0 24120680 753176576 181454 1992294400 134512640 137138936 4292793472 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 183881 181454 191 642 0 183237 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 735524

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28114
/proc/meminfo: memFree=924984/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=884560 CPUtime=222.23
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 220766 0 0 0 22089 134 0 0 25 0 1 0 24120680 905789440 218702 1992294400 134512640 137138936 4292793472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 221140 218702 191 642 0 220496 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 884560

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28116
/proc/meminfo: memFree=793048/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1017128 CPUtime=282.2
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 253899 0 0 0 28068 152 0 0 25 0 1 0 24120680 1041539072 251835 1992294400 134512640 137138936 4292793472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 254282 251835 191 642 0 253638 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1017128

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28118
/proc/meminfo: memFree=762916/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1045356 CPUtime=342.19
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 34060 159 0 0 25 0 1 0 24120680 1070444544 258893 1992294400 134512640 137138936 4292793472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261339 258893 191 642 0 260695 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1045356

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28120
/proc/meminfo: memFree=762916/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1045356 CPUtime=402.17
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 40050 167 0 0 25 0 1 0 24120680 1070444544 258893 1992294400 134512640 137138936 4292793472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261339 258893 191 642 0 260695 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1045356

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28122
/proc/meminfo: memFree=762792/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1045356 CPUtime=462.16
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 46044 172 0 0 25 0 1 0 24120680 1070444544 258893 1992294400 134512640 137138936 4292793472 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261339 258893 191 642 0 260695 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1045356

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28122
/proc/meminfo: memFree=762792/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1045356 CPUtime=522.14
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 52037 177 0 0 25 0 1 0 24120680 1070444544 258893 1992294400 134512640 137138936 4292793472 18446744073709551615 136504506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261339 258893 191 642 0 260695 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1045356

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28124
/proc/meminfo: memFree=762668/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1045356 CPUtime=582.12
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 58031 181 0 0 25 0 1 0 24120680 1070444544 258893 1992294400 134512640 137138936 4292793472 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261339 258893 191 642 0 260695 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1045356

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28126
/proc/meminfo: memFree=762668/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1044972 CPUtime=642.11
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 64027 184 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261243 258818 191 642 0 260599 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1044972

[startup+702.301 s]

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

/proc/meminfo: memFree=762420/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1044972 CPUtime=1061.99
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 105988 211 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261243 258818 191 642 0 260599 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1044972

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28138
/proc/meminfo: memFree=762420/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1044972 CPUtime=1121.98
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 111985 213 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261243 258818 191 642 0 260599 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1044972

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28140
/proc/meminfo: memFree=762420/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1044972 CPUtime=1181.97
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 117983 214 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261243 258818 191 642 0 260599 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1044972

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 28142
/proc/meminfo: memFree=762172/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1044972 CPUtime=1241.95
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 123976 219 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261243 258818 191 642 0 260599 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1044972

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28144
/proc/meminfo: memFree=762048/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1044972 CPUtime=1301.94
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 129969 225 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261243 258818 191 642 0 260599 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1044972

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28146
/proc/meminfo: memFree=762048/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1044972 CPUtime=1361.93
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 135964 229 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261243 258818 191 642 0 260599 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1044972

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28155
/proc/meminfo: memFree=762296/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1044972 CPUtime=1421.91
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 141959 232 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261243 258818 191 642 0 260599 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1044972

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28157
/proc/meminfo: memFree=762296/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1044972 CPUtime=1481.89
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 147953 236 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261243 258818 191 642 0 260599 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1044972

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28159
/proc/meminfo: memFree=762296/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1044972 CPUtime=1541.88
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 153949 239 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261243 258818 191 642 0 260599 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1044972

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28161
/proc/meminfo: memFree=761428/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1046084 CPUtime=1601.86
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 159944 242 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261521 259064 191 642 0 260877 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1046084

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 28163
/proc/meminfo: memFree=761428/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1046084 CPUtime=1661.84
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 165940 244 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261521 259064 191 642 0 260877 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1046084

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28163
/proc/meminfo: memFree=761428/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1046084 CPUtime=1721.83
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 171933 250 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261521 259064 191 642 0 260877 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1046084

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28165
/proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1046084 CPUtime=1781.82
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 177928 254 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261521 259064 191 642 0 260877 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1046084

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28165
/proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1046084 CPUtime=1791.42
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 178888 254 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261521 259064 191 642 0 260877 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 1046084

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28165
/proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1046084 CPUtime=1794.63
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 179208 255 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261521 259064 191 642 0 260877 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 1046084

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28165
/proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1046084 CPUtime=1796.22
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 179367 255 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261521 259064 191 642 0 260877 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 1046084

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28165
/proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1046084 CPUtime=1797.02
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 179447 255 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261521 259064 191 642 0 260877 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 1046084

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28165
/proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=1046084 CPUtime=1797.82
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 179527 255 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 135984564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28104/statm: 261521 259064 191 642 0 260877 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 1046084

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28165
/proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956
[pid=28104] ppid=28102 vsize=0 CPUtime=1798.02
/proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202500 261268 0 0 0 179544 258 0 0 25 0 1 0 24120680 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/28104/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.11
CPU user time (s): 1795.45
CPU system time (s): 2.65859
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1046084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.45
system time used= 2.6586
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261268
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= 4761

runsolver used 2.93955 second user time and 8.5177 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-14 10:37:33
IDJOB=2657409
IDBENCH=2259
IDSOLVER=1163
FILE ID=node026/2657409-1276504653
PBS_JOBID= 11173403
Free space on /tmp= 62516 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657409-1276504653/watcher-2657409-1276504653 -o /tmp/evaluation-result-2657409-1276504653/solver-2657409-1276504653 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657409-1276504653.opb

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

MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d
RANDOM SEED=723082607

node026.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.201
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.40
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.201
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1801084 kB
Buffers:         71988 kB
Cached:         107200 kB
SwapCached:       9576 kB
Active:         107892 kB
Inactive:        83884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1801084 kB
SwapTotal:     4192956 kB
SwapFree:      4136648 kB
Dirty:            6116 kB
Writeback:          12 kB
AnonPages:       10784 kB
Mapped:           9216 kB
Slab:            44436 kB
PageTables:       3964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181424 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62512 MiB
End job on node026 at 2010-06-14 11:07:31