Trace number 2656650

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-41 1798.11 1798.84

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: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656650-1276503043.opb
0.00/0.00	c File size is 2299186 bytes.
0.29/0.37	c Highest Coefficient sum: 1272
0.29/0.37	c Parsing was ok!!
0.29/0.37	c Total parsing time: 0.371 s
0.39/0.40	c Var: 1272 Constr: 94289 94289/0/0 Lit: 188578 Watch. Lit: 188578
0.39/0.40	c Obj. Vars: 1272 (100 % of total variables)
3.19/3.23	c Pre-processing Time: 3.228 s
3.19/3.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.23	c        0   1272    94289   188578    2   188578   31429      0      0 3.23
3.19/3.23	c Switching off lower bounding mode.
3.19/3.24	o -38
3.29/3.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.38	c        0   1272    94290   189850    2   188618   32429      1      0 3.25
3.29/3.38	o -39
31.28/31.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.28/31.37	c       64   1272    94364   280887    2   188805   32429     75     18 3.39
31.28/31.37	c      164   1272    94474   415958    4   189025   35672    185     45 3.60
31.28/31.37	c      414   1272    94756   762688    8   189589   39240    467     99 4.17
31.28/31.37	c      889   1272    95287  1415005   14   190651   43165    998    164 5.39
31.28/31.37	c     1703   1272    96190  2524242   26   192457   47482   1901    226 7.52
31.28/31.37	c     3023   1272    97685  4359510   44   195447   52231   3396    266 11.33
31.28/31.37	c     5104   1272    99957  7152229   71   199991   57455   5668    289 17.62
31.28/31.37	c     8327   1272   103679 11720999  113   207435   63201   9390    265 31.32
31.28/31.37	o -40
49.97/50.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.97/50.00	c     8327   1272   103680 11722271  113   207477   32429   9391    265 31.36
49.97/50.00	c     8427   1272   103790 11857332  114   207697   35672   9501    266 31.67
49.97/50.00	c     8678   1272   104082 12215501  117   208281   39240   9793    267 32.49
49.97/50.00	c     9153   1272   104616 12870829  123   209349   43165  10327    268 34.14
49.97/50.00	c     9966   1272   105517 13976564  132   211151   47482  11228    270 36.88
49.97/50.00	c    11286   1272   106977 15768593  147   214071   52231  12688    271 41.60
49.97/50.00	c    13368   1272   109284 18599317  170   218685   57455  14995    268 49.79
49.97/50.00	o -41
1797.96/1798.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.74	c    13393   1272   109312 18633750  170   218782   32429  15023    267 49.98
1797.96/1798.74	c    13495   1272   109427 18774804  171   219012   35672  15138    267 50.48
1797.96/1798.74	c    13747   1272   109701 19110908  174   219560   39240  15412    267 51.35
1797.96/1798.74	c    14222   1272   110208 19733114  179   220574   43165  15919    268 52.95
1797.96/1798.74	c    15035   1272   111092 20817410  187   222342   47482  16803    268 55.95
1797.96/1798.74	c    16355   1272   112545 22599845  200   225248   52231  18256    263 61.97
1797.96/1798.74	c    18436   1272   114888 25472337  221   229973   57455  20599    258 71.36
1797.96/1798.74	c    21659   1272   118461 29854990  252   237119   63201  24172    251 86.06
1797.96/1798.74	c    26596   1272   123981 36623702  295   248159   69522  29692    234 113.43
1797.96/1798.74	c    34102   1272   132371 46904664  354   265016   76475  38082    208 163.95
1797.96/1798.74	c    45463   1272   145159 62542493  430   290666   84123  50870    180 251.57
1797.96/1798.74	c Reducing formula size due to memory constraints
1797.96/1798.74	c Memory Limit: 1000.00 MB  Used: 1006.06 MB
1797.96/1798.74	c    62607   1272   112481 22496020  199   225003  129933  18192    148 420.29
1797.96/1798.74	c    88426   1272   141631 58187876  410   283590  142927  47342    127 695.03
1797.96/1798.74	c Reducing formula size due to memory constraints
1797.96/1798.74	c Memory Limit: 1000.00 MB  Used: 1004.03 MB
1797.96/1798.74	c   127258   1272   133292 47915634  359   266733  129950  39003    117 1081.52
1797.96/1798.74	c Reducing formula size due to memory constraints
1797.96/1798.74	c Memory Limit: 1000.00 MB  Used: 1002.72 MB
1797.96/1798.74	c   185610   1272   147383 65275814  442   294919  130121  53094    110 1677.70
1797.96/1798.74	c Reducing formula size due to memory constraints
1797.96/1798.74	c Memory Limit: 1000.00 MB  Used: 1006.79 MB
1797.96/1798.74	c Resources Exceeded
1797.96/1798.74	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.96/1798.74	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.74	c   31   197143  18987   222001   108699 17853887  14410    109 1798.01
1797.96/1798.74	c Objective: -41
1797.96/1798.74	s SATISFIABLE
1797.96/1798.74	c Total time: 1798.01 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-2656650-1276503043/watcher-2656650-1276503043 -o /tmp/evaluation-result-2656650-1276503043/solver-2656650-1276503043 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656650-1276503043.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: 1.00 1.00 1.06 3/106 29858
/proc/meminfo: memFree=1809692/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=13180 CPUtime=0
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 25905990 13496320 280 1992294400 134512640 137138936 4289934928 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 3295 280 177 642 0 2089 0

[startup+0.0630301 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 29858
/proc/meminfo: memFree=1809692/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=14556 CPUtime=0.05
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 777 0 0 0 5 0 0 0 20 0 1 0 25905990 14905344 695 1992294400 134512640 137138936 4289934928 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 3639 695 255 642 0 2433 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14556

[startup+0.101039 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 29858
/proc/meminfo: memFree=1809692/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=15384 CPUtime=0.09
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 1047 0 0 0 9 0 0 0 20 0 1 0 25905990 15753216 965 1992294400 134512640 137138936 4289934928 18446744073709551615 134517245 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 3846 967 308 642 0 2640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15384

[startup+0.301081 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 29858
/proc/meminfo: memFree=1809692/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=20468 CPUtime=0.29
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 2613 0 0 0 28 1 0 0 20 0 1 0 25905990 20959232 2531 1992294400 134512640 137138936 4289934928 18446744073709551615 136496518 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 5117 2532 614 642 0 3911 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20468

[startup+0.701166 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 29858
/proc/meminfo: memFree=1809692/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=27548 CPUtime=0.69
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 5083 0 0 0 66 3 0 0 18 0 1 0 25905990 28209152 4439 1992294400 134512640 137138936 4289934928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 6887 4439 185 642 0 6243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27548

[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 1.06 3/107 29859
/proc/meminfo: memFree=1792572/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=27548 CPUtime=1.49
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 5083 0 0 0 143 6 0 0 19 0 1 0 25905990 28209152 4439 1992294400 134512640 137138936 4289934928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 6887 4439 185 642 0 6243 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27548

[startup+3.10068 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 29859
/proc/meminfo: memFree=1792076/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=27548 CPUtime=3.09
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 5083 0 0 0 297 12 0 0 22 0 1 0 25905990 28209152 4439 1992294400 134512640 137138936 4289934928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 6887 4439 185 642 0 6243 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27548

[startup+6.30136 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 29859
/proc/meminfo: memFree=1779304/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=46720 CPUtime=6.29
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 11306 0 0 0 613 16 0 0 25 0 1 0 25905990 47841280 9240 1992294400 134512640 137138936 4289934928 18446744073709551615 136500398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 11680 9241 192 642 0 11036 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46720

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 29859
/proc/meminfo: memFree=1737268/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=86616 CPUtime=12.69
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 21296 0 0 0 1248 21 0 0 25 0 1 0 25905990 88694784 19230 1992294400 134512640 137138936 4289934928 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 21654 19230 192 642 0 21010 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86616

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 29861
/proc/meminfo: memFree=1669192/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=151768 CPUtime=25.48
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 37578 0 0 0 2519 29 0 0 25 0 1 0 25905990 155410432 35512 1992294400 134512640 137138936 4289934928 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 37942 35512 192 642 0 37298 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 151768

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 29861
/proc/meminfo: memFree=1556972/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=265232 CPUtime=51.06
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 65946 0 0 0 5062 44 0 0 25 0 1 0 25905990 271597568 63880 1992294400 134512640 137138936 4289934928 18446744073709551615 134544845 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 66308 63880 192 642 0 65664 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 265232

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 29863
/proc/meminfo: memFree=1361300/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=457804 CPUtime=102.26
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 114093 0 0 0 10154 72 0 0 25 0 1 0 25905990 468791296 112027 1992294400 134512640 137138936 4289934928 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 114451 112027 192 642 0 113807 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 457804

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 29863
/proc/meminfo: memFree=1202084/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=617824 CPUtime=162.23
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 154098 0 0 0 16125 98 0 0 25 0 1 0 25905990 632651776 152032 1992294400 134512640 137138936 4289934928 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 154456 152032 192 642 0 153812 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 617824

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 29868
/proc/meminfo: memFree=1053596/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=764360 CPUtime=222.2
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 190725 0 0 0 22101 119 0 0 25 0 1 0 25905990 782704640 188659 1992294400 134512640 137138936 4289934928 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 191090 188659 192 642 0 190446 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 764360

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 29870
/proc/meminfo: memFree=930836/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=888832 CPUtime=282.17
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 221837 0 0 0 28075 142 0 0 25 0 1 0 25905990 910163968 219771 1992294400 134512640 137138936 4289934928 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 222208 219771 192 642 0 221564 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 888832

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 29872
/proc/meminfo: memFree=816012/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1002076 CPUtime=342.14
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 250140 0 0 0 34056 158 0 0 25 0 1 0 25905990 1026125824 248074 1992294400 134512640 137138936 4289934928 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 250519 248074 192 642 0 249875 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 1002076

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 29874
/proc/meminfo: memFree=775464/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1041624 CPUtime=402.12
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 40047 165 0 0 25 0 1 0 25905990 1066622976 257971 1992294400 134512640 137138936 4289934928 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 260406 257971 192 642 0 259762 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 1041624

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 29874
/proc/meminfo: memFree=775340/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1041624 CPUtime=462.1
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 46040 170 0 0 25 0 1 0 25905990 1066622976 257971 1992294400 134512640 137138936 4289934928 18446744073709551615 134618146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 260406 257971 192 642 0 259762 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1041624

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29876
/proc/meminfo: memFree=775216/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1041624 CPUtime=522.07
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 52034 173 0 0 25 0 1 0 25905990 1066622976 257971 1992294400 134512640 137138936 4289934928 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 260406 257971 192 642 0 259762 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 1041624

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29878
/proc/meminfo: memFree=775216/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1041624 CPUtime=582.04
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 58028 176 0 0 25 0 1 0 25905990 1066622976 257971 1992294400 134512640 137138936 4289934928 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 260406 257971 192 642 0 259762 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 1041624

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29880
/proc/meminfo: memFree=775092/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1041624 CPUtime=642.03
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 64024 179 0 0 25 0 1 0 25905990 1066622976 257971 1992294400 134512640 137138936 4289934928 18446744073709551615 134551815 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 260406 257971 192 642 0 259762 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 1041624

[startup+702.302 s]

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

/proc/meminfo: memFree=776828/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1121.83
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 111980 203 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 134606630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 1039388

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29894
/proc/meminfo: memFree=776704/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1181.81
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 117975 206 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 1039388

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29896
/proc/meminfo: memFree=776580/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1241.78
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 123969 209 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 1039388

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29898
/proc/meminfo: memFree=776580/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1301.77
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 129965 212 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1039388

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29898
/proc/meminfo: memFree=776580/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1361.74
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 135957 217 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1039388

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29900
/proc/meminfo: memFree=776580/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1421.72
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 141952 220 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 134542933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1039388

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29902
/proc/meminfo: memFree=776456/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1481.68
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 147945 223 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 1039388

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29904
/proc/meminfo: memFree=776580/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1541.66
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 153939 227 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 1039388

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29906
/proc/meminfo: memFree=776580/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1601.64
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 159934 230 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1039388

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29906
/proc/meminfo: memFree=776580/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1661.61
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 165929 232 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 1039388

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29908
/proc/meminfo: memFree=776456/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1039388 CPUtime=1721.59
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 260101 0 0 0 171923 236 0 0 25 0 1 0 25905990 1064333312 257423 1992294400 134512640 137138936 4289934928 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 259847 257423 192 642 0 259203 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 1039388

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29910
/proc/meminfo: memFree=771744/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1044516 CPUtime=1781.56
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 261351 0 0 0 177918 238 0 0 25 0 1 0 25905990 1069584384 258673 1992294400 134512640 137138936 4289934928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 261129 258673 192 642 0 260485 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1044516

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 29910
/proc/meminfo: memFree=771744/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1044516 CPUtime=1791.17
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 261351 0 0 0 178878 239 0 0 25 0 1 0 25905990 1069584384 258673 1992294400 134512640 137138936 4289934928 18446744073709551615 136521023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 261129 258673 192 642 0 260485 0
Current children cumulated CPU time (s) 1791.17
Current children cumulated vsize (KiB) 1044516

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29910
/proc/meminfo: memFree=771744/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1044516 CPUtime=1794.37
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 261351 0 0 0 179198 239 0 0 25 0 1 0 25905990 1069584384 258673 1992294400 134512640 137138936 4289934928 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 261129 258673 192 642 0 260485 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (KiB) 1044516

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29910
/proc/meminfo: memFree=771744/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1044516 CPUtime=1795.96
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 261351 0 0 0 179357 239 0 0 25 0 1 0 25905990 1069584384 258673 1992294400 134512640 137138936 4289934928 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 261129 258673 192 642 0 260485 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 1044516

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29910
/proc/meminfo: memFree=771744/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1044516 CPUtime=1796.76
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 261351 0 0 0 179437 239 0 0 25 0 1 0 25905990 1069584384 258673 1992294400 134512640 137138936 4289934928 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 261129 258673 192 642 0 260485 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 1044516

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29910
/proc/meminfo: memFree=771744/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1044516 CPUtime=1797.56
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 261351 0 0 0 179517 239 0 0 25 0 1 0 25905990 1069584384 258673 1992294400 134512640 137138936 4289934928 18446744073709551615 134550943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 261129 258673 192 642 0 260485 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 1044516

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29910
/proc/meminfo: memFree=771744/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=1044516 CPUtime=1797.96
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202496 261351 0 0 0 179557 239 0 0 25 0 1 0 25905990 1069584384 258673 1992294400 134512640 137138936 4289934928 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29858/statm: 261129 258673 192 642 0 260485 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 1044516

[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29910
/proc/meminfo: memFree=771744/2059040 swapFree=4140220/4192956
[pid=29858] ppid=29856 vsize=0 CPUtime=1798.06
/proc/29858/stat : 29858 (bsolo_pb10) R 29856 29858 29508 0 -1 4202500 261352 0 0 0 179561 245 0 0 25 0 1 0 25905990 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/29858/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.84
CPU time (s): 1798.11
CPU user time (s): 1795.61
CPU system time (s): 2.49662
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (KiB): 1044516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.61
system time used= 2.49662
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261352
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= 3
involuntary context switches= 6121

runsolver used 3.17652 second user time and 8.28574 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-14 10:10:44
IDJOB=2656650
IDBENCH=2257
IDSOLVER=1162
FILE ID=node010/2656650-1276503043
PBS_JOBID= 11173410
Free space on /tmp= 62496 MiB

SOLVER NAME= bsolo 3.2 Card
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 -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656650-1276503043/watcher-2656650-1276503043 -o /tmp/evaluation-result-2656650-1276503043/solver-2656650-1276503043 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656650-1276503043.opb

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

MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d
RANDOM SEED=583079255

node010.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.267
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.53
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.267
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:       1810220 kB
Buffers:         64708 kB
Cached:         105344 kB
SwapCached:       5836 kB
Active:          97988 kB
Inactive:        84424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1810220 kB
SwapTotal:     4192956 kB
SwapFree:      4140220 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:       10856 kB
Mapped:          12816 kB
Slab:            44668 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182688 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= 62492 MiB
End job on node010 at 2010-06-14 10:40:43