Trace number 2657575

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.8

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUMb94d4317cfb468b1c3dd3d790ff99d4d
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 benchmark1800.16
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 constraints94289
Number of constraints which are clauses94289
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-2657575-1276503166.opb
0.00/0.00	c File size is 2299186 bytes.
0.29/0.36	c Highest Coefficient sum: 1272
0.29/0.36	c Parsing was ok!!
0.29/0.36	c Total parsing time: 0.362 s
0.29/0.39	c Var: 1272 Constr: 94289 94289/0/0 Lit: 188578 Watch. Lit: 188578
0.29/0.39	c Obj. Vars: 1272 (100 % of total variables)
3.20/3.22	c Pre-processing Time: 3.219 s
3.20/3.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.22	c        0   1272    94289   188578    2   188578   31429      0      0 3.22
3.20/3.22	c Switching off lower bounding mode.
3.20/3.23	o -38
3.20/3.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.29	c        0   1272    94290   189850    2   188618   32429      1      0 3.24
3.20/3.29	o -39
31.98/32.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.98/32.07	c       64   1272    94355   269869    2   188787   32429     66     19 3.30
31.98/32.07	c      164   1272    94455   392722    4   188987   35672    166     48 3.38
31.98/32.07	c      414   1272    94705   700238    7   189487   39240    416    115 3.60
31.98/32.07	c      889   1272    95180  1284137   13   190437   43165    891    215 4.12
31.98/32.07	c     1703   1272    95994  2284664   23   192065   47482   1705    344 4.94
31.98/32.07	c     3023   1272    97314  3906332   40   194705   52231   3025    467 6.47
31.98/32.07	c     5104   1272    99395  6465593   65   198867   57455   5106    577 8.84
31.98/32.07	c     8328   1272   102619 10427392  101   205315   63201   8330    557 14.94
31.98/32.07	c    13264   1272   107555 16497018  153   215187   69522  13266    414 32.00
31.98/32.07	o -40
36.28/36.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.28/36.37	c    13279   1272   107571 16516742  153   215259   32429  13282    414 32.06
36.28/36.37	c    13379   1272   107671 16639559  154   215459   35672  13382    413 32.33
36.28/36.37	c    13629   1272   107921 16946761  157   215959   39240  13632    416 32.73
36.28/36.37	c    14105   1272   108397 17531386  161   216911   43165  14108    421 33.45
36.28/36.37	c    14918   1272   109210 18529348  169   218537   47482  14921    423 35.26
36.28/36.37	o -41
1797.90/1798.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.90/1798.69	c    15602   1272   109895 19371124  176   219948   32429  15606    429 36.36
1797.90/1798.69	c    15703   1272   109996 19495124  177   220150   35672  15707    430 36.51
1797.90/1798.69	c    15953   1272   110246 19801992  179   220650   39240  15957    430 37.06
1797.90/1798.69	c    16428   1272   110721 20385001  184   221600   43165  16432    435 37.75
1797.90/1798.69	c    17242   1272   111535 21384403  191   223228   47482  17246    442 38.95
1797.90/1798.69	c    18562   1272   112855 23004630  203   225868   52231  18566    452 40.99
1797.90/1798.69	c    20643   1272   114936 25558288  222   230030   57455  20647    451 45.76
1797.90/1798.69	c    23867   1272   118160 29513358  249   236478   63201  23871    454 52.49
1797.90/1798.69	c    28803   1272   123096 35568285  288   246350   69522  28807    458 62.81
1797.90/1798.69	c    36309   1272   130602 44777127  342   261362   76475  36313    432 83.91
1797.90/1798.69	c    47671   1272   141964 58720225  413   284086   84123  47675    392 121.35
1797.90/1798.69	c    64816   1272   159109 79753238  501   318376   92536  64820    293 220.51
1797.90/1798.69	c Reducing formula size due to memory constraints
1797.90/1798.69	c Memory Limit: 1000.00 MB  Used: 1009.93 MB
1797.90/1798.69	c    90635   1272   131776 46170928  350   263593  128457  37487    239 377.84
1797.90/1798.69	c Reducing formula size due to memory constraints
1797.90/1798.69	c Memory Limit: 1000.00 MB  Used: 1007.44 MB
1797.90/1798.69	c   129467   1272   117566 28752489  244   235173  128437  23277    195 663.90
1797.90/1798.69	c Reducing formula size due to memory constraints
1797.90/1798.69	c Memory Limit: 1000.00 MB  Used: 1007.11 MB
1797.90/1798.69	c   187819   1272   123005 35414938  287   246051  128565  28716    173 1081.21
1797.90/1798.69	c Reducing formula size due to memory constraints
1797.90/1798.69	c Memory Limit: 1000.00 MB  Used: 1008.99 MB
1797.90/1798.69	c Resources Exceeded
1797.90/1798.69	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.90/1798.69	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.69	c   30   267531  24688   298962   149584 68034152  55295    148 1798.00
1797.90/1798.69	c Objective: -41
1797.90/1798.69	s SATISFIABLE
1797.90/1798.69	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-2657575-1276503166/watcher-2657575-1276503166 -o /tmp/evaluation-result-2657575-1276503166/solver-2657575-1276503166 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657575-1276503166.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 3/106 30267
/proc/meminfo: memFree=1769488/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=13180 CPUtime=0
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 23972898 13496320 273 1992294400 134512640 137138936 4287897712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 3295 273 176 642 0 2089 0

[startup+0.0226471 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30267
/proc/meminfo: memFree=1769488/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=13592 CPUtime=0.02
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 474 0 0 0 2 0 0 0 20 0 1 0 23972898 13918208 392 1992294400 134512640 137138936 4287897712 18446744073709551615 136487718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 3398 393 198 642 0 2192 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13592

[startup+0.100661 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30267
/proc/meminfo: memFree=1769488/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=15520 CPUtime=0.09
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 1089 0 0 0 9 0 0 0 20 0 1 0 23972898 15892480 1007 1992294400 134512640 137138936 4287897712 18446744073709551615 136462538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 3880 1007 316 642 0 2674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15520

[startup+0.300699 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30267
/proc/meminfo: memFree=1769488/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=20608 CPUtime=0.29
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 2672 0 0 0 29 0 0 0 20 0 1 0 23972898 21102592 2590 1992294400 134512640 137138936 4287897712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 5152 2590 626 642 0 3946 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20608

[startup+0.700773 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30267
/proc/meminfo: memFree=1769488/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=27548 CPUtime=0.69
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 5083 0 0 0 67 2 0 0 20 0 1 0 23972898 28209152 4439 1992294400 134512640 137138936 4287897712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 6887 4439 185 642 0 6243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27548

[startup+1.50092 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30268
/proc/meminfo: memFree=1752244/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=27548 CPUtime=1.49
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 5083 0 0 0 144 5 0 0 23 0 1 0 23972898 28209152 4439 1992294400 134512640 137138936 4287897712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 6887 4439 185 642 0 6243 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27548

[startup+3.10122 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30268
/proc/meminfo: memFree=1751872/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=27548 CPUtime=3.09
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 5083 0 0 0 298 11 0 0 25 0 1 0 23972898 28209152 4439 1992294400 134512640 137138936 4287897712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 6887 4439 185 642 0 6243 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27548

[startup+6.30082 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30268
/proc/meminfo: memFree=1720624/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=70268 CPUtime=6.29
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 17192 0 0 0 611 18 0 0 25 0 1 0 23972898 71954432 15126 1992294400 134512640 137138936 4287897712 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 17567 15126 191 642 0 16923 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70268

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30268
/proc/meminfo: memFree=1645480/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=140304 CPUtime=12.69
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 34715 0 0 0 1243 26 0 0 25 0 1 0 23972898 143671296 32649 1992294400 134512640 137138936 4287897712 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 35076 32649 191 642 0 34432 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 140304

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 30268
/proc/meminfo: memFree=1569096/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=211096 CPUtime=25.48
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 52402 0 0 0 2513 35 0 0 25 0 1 0 23972898 216162304 50336 1992294400 134512640 137138936 4287897712 18446744073709551615 136521043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 52774 50336 191 642 0 52130 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 211096

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 30270
/proc/meminfo: memFree=1395868/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=388272 CPUtime=51.07
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 96705 0 0 0 5048 59 0 0 25 0 1 0 23972898 397590528 94639 1992294400 134512640 137138936 4287897712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 97068 94639 191 642 0 96424 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 388272

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 30272
/proc/meminfo: memFree=1077436/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=700852 CPUtime=102.25
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 174843 0 0 0 10124 101 0 0 25 0 1 0 23972898 717672448 172777 1992294400 134512640 137138936 4287897712 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 175213 172777 191 642 0 174569 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 700852

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30272
/proc/meminfo: memFree=867752/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=910816 CPUtime=162.23
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 227345 0 0 0 16087 136 0 0 25 0 1 0 23972898 932675584 225279 1992294400 134512640 137138936 4287897712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 227704 225279 191 642 0 227060 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 910816

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30274
/proc/meminfo: memFree=731352/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1045468 CPUtime=222.21
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261063 0 0 0 22061 160 0 0 25 0 1 0 23972898 1070559232 258933 1992294400 134512640 137138936 4287897712 18446744073709551615 134540707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261367 258933 191 642 0 260723 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1045468

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30276
/proc/meminfo: memFree=731352/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1045468 CPUtime=282.18
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261063 0 0 0 28051 167 0 0 25 0 1 0 23972898 1070559232 258933 1992294400 134512640 137138936 4287897712 18446744073709551615 136504461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261367 258933 191 642 0 260723 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1045468

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30278
/proc/meminfo: memFree=731352/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1045468 CPUtime=342.16
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261063 0 0 0 34045 171 0 0 25 0 1 0 23972898 1070559232 258933 1992294400 134512640 137138936 4287897712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261367 258933 191 642 0 260723 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1045468

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30278
/proc/meminfo: memFree=731352/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1045468 CPUtime=402.13
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261063 0 0 0 40037 176 0 0 25 0 1 0 23972898 1070559232 258933 1992294400 134512640 137138936 4287897712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261367 258933 191 642 0 260723 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1045468

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30280
/proc/meminfo: memFree=731352/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1045468 CPUtime=462.11
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261063 0 0 0 46031 180 0 0 25 0 1 0 23972898 1070559232 258933 1992294400 134512640 137138936 4287897712 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261367 258933 191 642 0 260723 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 1045468

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30282
/proc/meminfo: memFree=731352/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1045468 CPUtime=522.09
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261063 0 0 0 52025 184 0 0 25 0 1 0 23972898 1070559232 258933 1992294400 134512640 137138936 4287897712 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261367 258933 191 642 0 260723 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1045468

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30284
/proc/meminfo: memFree=731352/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1045468 CPUtime=582.07
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261063 0 0 0 58020 187 0 0 25 0 1 0 23972898 1070559232 258933 1992294400 134512640 137138936 4287897712 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261367 258933 191 642 0 260723 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 1045468

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30286
/proc/meminfo: memFree=731352/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044976 CPUtime=642.05
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261063 0 0 0 64015 190 0 0 25 0 1 0 23972898 1070055424 258819 1992294400 134512640 137138936 4287897712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261244 258819 191 642 0 260600 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 1044976

[startup+702.302 s]

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

/proc/meminfo: memFree=733584/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1042940 CPUtime=1061.88
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261204 0 0 0 105968 220 0 0 25 0 1 0 23972898 1067970560 258278 1992294400 134512640 137138936 4287897712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 260735 258278 191 642 0 260091 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1042940

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30298
/proc/meminfo: memFree=733460/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1042940 CPUtime=1121.86
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261204 0 0 0 111961 225 0 0 25 0 1 0 23972898 1067970560 258278 1992294400 134512640 137138936 4287897712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 260735 258278 191 642 0 260091 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1042940

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30300
/proc/meminfo: memFree=733460/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1042940 CPUtime=1181.84
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261204 0 0 0 117955 229 0 0 25 0 1 0 23972898 1067970560 258278 1992294400 134512640 137138936 4287897712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 260735 258278 191 642 0 260091 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 1042940

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30302
/proc/meminfo: memFree=733336/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1042940 CPUtime=1241.82
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261204 0 0 0 123948 234 0 0 25 0 1 0 23972898 1067970560 258278 1992294400 134512640 137138936 4287897712 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 260735 258278 191 642 0 260091 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1042940

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30304
/proc/meminfo: memFree=733336/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1042940 CPUtime=1301.81
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261204 0 0 0 129943 238 0 0 25 0 1 0 23972898 1067970560 258278 1992294400 134512640 137138936 4287897712 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 260735 258278 191 642 0 260091 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1042940

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30304
/proc/meminfo: memFree=731352/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1361.78
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 135937 241 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1044852

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30306
/proc/meminfo: memFree=731352/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1421.76
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 141931 245 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1044852

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30308
/proc/meminfo: memFree=731228/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1481.72
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 147923 249 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134573842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1044852

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30313
/proc/meminfo: memFree=731104/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1541.7
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 153919 251 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1044852

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30313
/proc/meminfo: memFree=731228/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1601.67
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 159914 253 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1044852

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30315
/proc/meminfo: memFree=731104/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1661.66
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 165910 256 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1044852

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30317
/proc/meminfo: memFree=731104/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1721.63
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 171905 258 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 1044852

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30319
/proc/meminfo: memFree=730980/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1781.61
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 177901 260 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1044852

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30319
/proc/meminfo: memFree=730980/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1791.21
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 178861 260 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1791.21
Current children cumulated vsize (KiB) 1044852

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30319
/proc/meminfo: memFree=730980/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1794.41
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 179181 260 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 1044852

[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30319
/proc/meminfo: memFree=730980/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1796
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 179340 260 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1796
Current children cumulated vsize (KiB) 1044852

[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30319
/proc/meminfo: memFree=730980/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1796.8
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 179420 260 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 1044852

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30319
/proc/meminfo: memFree=730980/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=1044852 CPUtime=1797.6
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202496 261682 0 0 0 179500 260 0 0 25 0 1 0 23972898 1069928448 258756 1992294400 134512640 137138936 4287897712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 261213 258756 191 642 0 260569 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 1044852

[startup+1798.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30319
/proc/meminfo: memFree=730980/2059040 swapFree=4142408/4192956
[pid=30267] ppid=30265 vsize=0 CPUtime=1798
/proc/30267/stat : 30267 (bsolo_pb10) R 30265 30267 29573 0 -1 4202500 261683 0 0 0 179539 261 0 0 18 0 1 0 23972898 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/30267/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.8
CPU time (s): 1798.11
CPU user time (s): 1795.4
CPU system time (s): 2.70959
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 1045724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.4
system time used= 2.70959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261683
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= 2
involuntary context switches= 7220

runsolver used 2.76058 second user time and 8.69868 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-14 10:12:46
IDJOB=2657575
IDBENCH=2257
IDSOLVER=1163
FILE ID=node019/2657575-1276503166
PBS_JOBID= 11173398
Free space on /tmp= 62376 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-2.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657575-1276503166/watcher-2657575-1276503166 -o /tmp/evaluation-result-2657575-1276503166/solver-2657575-1276503166 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657575-1276503166.opb

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

MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d
RANDOM SEED=829691242

node019.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.264
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.52
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.264
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1769892 kB
Buffers:         87460 kB
Cached:         109700 kB
SwapCached:       4636 kB
Active:         104740 kB
Inactive:       105832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1769892 kB
SwapTotal:     4192956 kB
SwapFree:      4142408 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:       11772 kB
Mapped:          13704 kB
Slab:            56808 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181716 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= 62372 MiB
End job on node019 at 2010-06-14 10:42:45