Trace number 2656584

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 CardSAT174 1798.08 1798.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUMd431323968e1ca4dc95d181076d01437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark164
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 154
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
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-2656584-1276396525.opb
0.00/0.00	c File size is 912900 bytes.
0.09/0.15	c Highest Coefficient sum: 1024
0.09/0.15	c Parsing was ok!!
0.09/0.15	c Total parsing time: 0.158 s
0.09/0.16	c Var: 1344 Constr: 16376 8488/496/7392 Lit: 97904 Watch. Lit: 37360
0.09/0.16	c Obj. Vars: 448 (33.3333 % of total variables)
0.39/0.41	c Pre-processing Time: 0.414 s
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   1344    16376    97904    5    59536  165154      0      0 0.41
0.39/0.41	c Switching off lower bounding mode.
0.49/0.53	c      102   1344    16509   104491    6    63205  181670    133    231 0.44
0.49/0.53	c      256   1344    16704   115119    6    64906  199838    328    533 0.48
0.49/0.53	o 198
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c      344   1344    16802   126520    7    65642  166050    426    638 0.54
0.59/0.69	c      445   1344    16912   136021    8    65245  182656    536    723 0.61
0.59/0.69	o 194
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c      532   1344    17013   146028    8    65450  166050    637    771 0.69
0.89/0.97	c      633   1344    17129   152439    8    64427  182656    753    827 0.77
0.89/0.97	o 192
1.00/1.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.06	c      855   1344    17382   182852   10    65182  166050   1006    880 0.97
1.00/1.06	c      955   1344    17495   191798   10    64778  182656   1119    925 1.03
1.00/1.06	o 186
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c      980   1344    17525   195408   11    65109  166050   1149    924 1.06
1.39/1.43	c     1080   1344    17664   203860   11    64891  182656   1288    981 1.10
1.39/1.43	c     1330   1344    17974   231685   12    65672  200922   1598   1048 1.27
1.39/1.43	o 184
1.79/1.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.84	c     1522   1344    18202   254156   13    66922  166050   1826   1063 1.43
1.79/1.84	c     1622   1344    18313   269662   14    67337  182656   1937   1055 1.54
1.79/1.84	c     1874   1344    18613   303045   16    67749  200922   2237   1041 1.80
1.79/1.84	o 176
855.55/855.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
855.55/855.87	c     1935   1344    18683   308401   16    68490  166050   2307   1047 1.85
855.55/855.87	c     2035   1344    18790   317191   16    67615  182656   2414   1037 1.96
855.55/855.87	c     2287   1344    19101   367746   19    68471  200922   2725    984 2.32
855.55/855.87	c     2763   1344    19701   474041   24    71177  221015   3325    879 3.14
855.55/855.87	c     3576   1344    20681   604559   29    73593  243117   4305    810 4.41
855.55/855.87	c     4898   1344    22321   849386   38    75067  267429   5945    791 6.18
855.55/855.87	c     6980   1344    24869  1474612   59    79853  294172   8493    632 11.04
855.55/855.87	c    10203   1344    29006  2582648   89    93590  323590  12630    469 21.71
855.55/855.87	c    15143   1344    35174  4312518  122   108402  355950  18798    330 45.86
855.55/855.87	c    22649   1344    44854  6848979  152   128025  391546  28478    268 84.41
855.55/855.87	c    34010   1344    59009 10216453  173   161998  430701  42633    206 164.54
855.55/855.87	c    51155   1344    81853 17281383  211   214302  473772  65477    145 352.77
855.55/855.87	c    76975   1344   115936 27845377  240   293594  521150  99560    106 725.55
855.55/855.87	o 174
1797.96/1798.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.55	c    84116   1344   125298 30752521  245   313626  166050 108922     98 855.62
1797.96/1798.55	c    84216   1344   125416 30761894  245   313716  182656 109040     98 857.61
1797.96/1798.55	c    84467   1344   125707 30794204  244   315849  200922 109331     97 862.22
1797.96/1798.55	c    84942   1344   126310 30963150  245   316704  221015 109934     97 871.37
1797.96/1798.55	c    85755   1344   127249 31107184  244   320525  243117 110873     96 884.82
1797.96/1798.55	c    87075   1344   128959 31353575  243   323068  267429 112583     95 907.51
1797.96/1798.55	c    89157   1344   131544 31862721  242   331336  294172 115168     94 940.68
1797.96/1798.55	c    92380   1344   135770 32680085  240   339021  323590 119394     92 999.84
1797.96/1798.55	c    97317   1344   142225 34326989  241   356106  355950 125849     88 1102.30
1797.96/1798.55	c   104823   1344   151887 36686530  241   377387  391546 135511     83 1251.57
1797.96/1798.55	c   116184   1344   166480 40990912  246   415680  430701 150104     76 1514.22
1797.96/1798.55	c Resources Exceeded
1797.96/1798.55	v -x897 x898 -x899 x900 -x901 x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 x960 x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 x1026 x1027 -x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 x1150 x1151 -x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 x1213 -x1214 x1215 -x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 x1275 -x1276 -x1277 x1278 -x1279 x1280 x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 x1340 -x1341 -x1342 x1343 -x1344 -x2 -x66 -x130 -x194 -x258 -x322 -x386 -x450 -x514 -x578 -x642 -x706 -x770 x834 -x3 -x67 -x131 -x195 -x259 -x323 x387 -x451 -x515 -x579 -x643 -x707 -x771 -x835 -x4 -x68 -x132 -x196 -x260 -x324 -x388 -x452 -x516 -x580 -x644 -x708 x772 -x836 -x5 -x69 -x133 x197 -x261 -x325 -x389 -x453 -x517 -x581 -x645 -x709 -x773 -x837 -x6 -x70 -x134 -x198 x262 -x326 -x390 -x454 -x518 -x582 -x646 -x710 -x774 -x838 -x7 -x71 -x135 -x199 -x263 -x327 -x391 -x455 -x519 x583 -x647 -x711 -x775 -x839 -x8 -x72 -x136 -x200 -x264 -x328 -x392 -x456 -x520 -x584 -x648 x712 -x776 -x840 -x9 x73 -x137 -x201 -x265 -x329 -x393 -x457 -x521 -x585 -x649 -x713 -x777 -x841 -x11 -x75 -x139 -x203 -x267 -x331 -x395 -x459 -x523 -x587 x651 -x715 -x779 -x843 -x12 -x76 -x140 -x204 -x268 -x332 -x396 x460 -x524 -x588 -x652 -x716 -x780 -x844 -x13 -x77 -x141 -x205 -x269 -x333 -x397 -x461 x525 -x589 -x653 -x717 -x781 -x845 -x14 -x78 -x142 -x206 -x270 -x334 -x398 -x462 -x526 -x590 -x654 x718 -x782 -x846 -x15 -x79 x143 -x207 -x271 -x335 -x399 -x463 -x527 -x591 -x655 -x719 -x783 -x847 -x16 -x80 -x144 x208 -x272 -x336 -x400 -x464 -x528 -x592 -x656 -x720 -x784 -x848 -x17 -x81 x145 -x209 -x273 -x337 -x401 -x465 -x529 -x593 -x657 -x721 -x785 -x849 -x18 -x82 -x146 -x210 -x274 -x338 -x402 -x466 -x530 -x594 -x658 -x722 x786 -x850 -x20 -x84 -x148 -x212 -x276 -x340 -x404 -x468 -x532 -x596 -x660 -x724 -x788 x852 -x21 -x85 -x149 -x213 -x277 -x341 -x405 -x469 -x533 x597 -x661 -x725 -x789 -x853 -x22 -x86 -x150 -x214 -x278 x342 -x406 -x470 -x534 -x598 -x662 -x726 -x790 -x854 -x23 -x87 -x151 x215 -x279 -x343 -x407 -x471 -x535 -x599 -x663 -x727 -x791 -x855 -x24 -x88 -x152 -x216 -x280 -x344 -x408 x472 -x536 -x600 -x664 -x728 -x792 -x856 -x25 -x89 -x153 -x217 -x281 -x345 -x409 -x473 -x537 -x601 x665 -x729 -x793 -x857 -x26 -x90 -x154 -x218 -x282 -x346 -x410 -x474 -x538 x602 -x666 -x730 -x794 -x858 -x27 -x91 -x155 -x219 -x283 -x347 -x411 -x475 x539 -x603 -x667 -x731 -x795 -x859 -x29 -x93 -x157 -x221 -x285 -x349 x413 -x477 -x541 -x605 -x669 -x733 -x797 -x861 -x30 -x94 -x158 x222 -x286 -x350 -x414 -x478 -x542 -x606 -x670 -x734 -x798 -x862 -x31 x95 -x159 -x223 -x287 -x351 -x415 -x479 -x543 -x607 -x671 -x735 -x799 -x863 -x32 -x96 x160 -x224 -x288 -x352 -x416 -x480 -x544 -x608 -x672 -x736 -x800 -x864 -x33 -x97 -x161 -x225 -x289 x353 -x417 -x481 -x545 -x609 -x673 -x737 -x801 -x865 -x34 -x98 -x162 -x226 x290 -x354 -x418 -x482 -x546 -x610 -x674 -x738 -x802 -x866 x35 -x99 -x163 -x227 -x291 -x355 -x419 -x483 -x547 -x611 -x675 -x739 -x803 -x867 -x36 -x100 -x164 -x228 -x292 -x356 -x420 -x484 -x548 -x612 -x676 x740 -x804 -x868 -x38 -x102 -x166 -x230 -x294 -x358 -x422 -x486 -x550 -x614 x678 -x742 -x806 -x870 -x39 -x103 -x167 -x231 -x295 -x359 -x423 x487 -x551 -x615 -x679 -x743 -x807 -x871 -x40 x104 -x168 -x232 -x296 -x360 -x424 -x488 -x552 -x616 -x680 -x744 -x808 -x872 -x41 -x105 -x169 -x233 -x297 -x361 -x425 x489 -x553 -x617 -x681 -x745 -x809 -x873 -x42 -x106 -x170 -x234 -x298 -x362 x426 -x490 -x554 -x618 -x682 -x746 -x810 -x874 -x43 x107 -x171 -x235 -x299 -x363 -x427 -x491 -x555 -x619 -x683 -x747 -x811 -x875 x44 -x108 -x172 -x236 -x300 -x364 -x428 -x492 -x556 -x620 -x684 -x748 -x812 -x876 -x45 -x109 x173 -x237 -x301 -x365 -x429 -x493 -x557 -x621 -x685 -x749 -x813 -x877 -x47 -x111 -x175 -x239 -x303 -x367 -x431 -x495 -x559 -x623 -x687 -x751 -x815 x879 -x48 -x112 -x176 -x240 -x304 -x368 -x432 -x496 -x560 x624 -x688 -x752 -x816 -x880 x49 -x113 -x177 -x241 -x305 -x369 -x433 -x497 -x561 -x625 -x689 -x753 -x817 -x881 -x50 -x114 -x178 -x242 -x306 x370 -x434 -x498 -x562 -x626 -x690 -x754 -x818 -x882 -x51 -x115 -x179 -x243 -x307 -x371 -x435 -x499 -x563 -x627 -x691 x755 -x819 -x883 -x52 -x116 -x180 -x244 x308 -x372 -x436 -x500 -x564 -x628 -x692 -x756 -x820 -x884 -x53 -x117 -x181 -x245 -x309 -x373 -x437 -x501 -x565 -x629 -x693 -x757 x821 -x885 -x54 -x118 -x182 -x246 -x310 -x374 -x438 -x502 x566 -x630 -x694 -x758 -x822 -x886 -x56 -x120 -x184 -x248 -x312 -x376 -x440 -x504 -x568 -x632 x696 -x760 -x824 -x888 -x57 -x121 -x185 -x249 -x313 -x377 -x441 -x505 x569 -x633 -x697 -x761 -x825 -x889 x58 -x122 -x186 -x250 -x314 -x378 -x442 -x506 -x570 -x634 -x698 -x762 -x826 -x890 -x59 -x123 -x187 -x251 x315 -x379 -x443 -x507 -x571 -x635 -x699 -x763 -x827 -x891 -x60 -x124 -x188 -x252 -x316 x380 -x444 -x508 -x572 -x636 -x700 -x764 -x828 -x892 -x61 -x125 -x189 -x253 -x317 -x381 -x445 -x509 -x573 -x637 -x701 -x765 -x829 x893 -x62 -x126 -x190 -x254 -x318 -x382 -x446 -x510 -x574 -x638 -x702 -x766 x830 -x894 -x63 -x127 -x191 -x255 -x319 -x383 x447 -x511 -x575 -x639 -x703 -x767 -x831 -x895 x10 -x74 -x138 -x202 x266 x330 x394 -x458 -x522 x586 -x650 -x714 x778 x842 x19 x83 -x147 -x211 x275 -x339 x403 -x467 x531 -x595 x659 x723 -x787 -x851 x28 -x92 -x156 -x220 x284 x348 -x412 x476 -x540 -x604 -x668 x732 x796 x860 -x37 -x101 x165 x229 -x293 -x357 x421 -x485 x549 x613 -x677 -x741 x805 x869 -x46 -x110 -x174 x238 x302 x366 -x430 -x494 x558 -x622 x686 x750 x814 -x878 -x55 x119 x183 x247 -x311 -x375 x439 x503 -x567 x631 -x695 -x759 -x823 x887 -x64 x128 x192 x256 -x320 -x384 -x448 x512 -x576 x640 x704 x768 -x832 -x896 x1 x65 x129 -x193 -x257 x321 -x385 x449 x513 -x577 x641 -x705 -x769 -x833 
1797.96/1798.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.55	c   38   130963  40130   322012   185280 45531744 168904     72 1798.02
1797.96/1798.55	c Objective: 174
1797.96/1798.55	s SATISFIABLE
1797.96/1798.55	c Total time: 1798.02 s

Verifier Data 

OK	174

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656584-1276396525/watcher-2656584-1276396525 -o /tmp/evaluation-result-2656584-1276396525/solver-2656584-1276396525 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656584-1276396525.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.04 1.07 3/106 20312
/proc/meminfo: memFree=1794320/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=11824 CPUtime=0
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 351 0 0 0 0 0 0 0 17 0 1 0 15254024 12107776 269 1992294400 134512640 137138936 4290885248 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 2956 269 176 642 0 2089 0

[startup+0.0614231 s]
/proc/loadavg: 1.00 1.04 1.07 3/106 20312
/proc/meminfo: memFree=1794320/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=12772 CPUtime=0.05
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 673 0 0 0 5 0 0 0 17 0 1 0 15254024 13078528 591 1992294400 134512640 137138936 4290885248 18446744073709551615 136527916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 3193 591 251 642 0 2326 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12772

[startup+0.101427 s]
/proc/loadavg: 1.00 1.04 1.07 3/106 20312
/proc/meminfo: memFree=1794320/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=13312 CPUtime=0.09
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 871 0 0 0 9 0 0 0 17 0 1 0 15254024 13631488 789 1992294400 134512640 137138936 4290885248 18446744073709551615 136660732 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 3328 789 311 642 0 2461 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13312

[startup+0.301454 s]
/proc/loadavg: 1.00 1.04 1.07 3/106 20312
/proc/meminfo: memFree=1794320/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=16264 CPUtime=0.29
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 1923 0 0 0 28 1 0 0 17 0 1 0 15254024 16654336 1618 1992294400 134512640 137138936 4290885248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 4066 1618 185 642 0 3422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16264

[startup+0.701506 s]
/proc/loadavg: 1.00 1.04 1.07 3/106 20312
/proc/meminfo: memFree=1794320/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=15740 CPUtime=0.69
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 2049 0 0 0 66 3 0 0 17 0 1 0 15254024 16117760 1511 1992294400 134512640 137138936 4290885248 18446744073709551615 134578572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 3935 1511 192 642 0 3291 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15740

[startup+1.50061 s]
/proc/loadavg: 1.00 1.04 1.07 2/107 20313
/proc/meminfo: memFree=1788484/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=17244 CPUtime=1.49
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 2408 0 0 0 146 3 0 0 18 0 1 0 15254024 17657856 1870 1992294400 134512640 137138936 4290885248 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 4311 1870 192 642 0 3667 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17244

[startup+3.10082 s]
/proc/loadavg: 1.00 1.04 1.07 2/107 20313
/proc/meminfo: memFree=1786500/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=19964 CPUtime=3.09
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 3090 0 0 0 304 5 0 0 21 0 1 0 15254024 20443136 2552 1992294400 134512640 137138936 4290885248 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 4991 2552 192 642 0 4347 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19964

[startup+6.30124 s]
/proc/loadavg: 1.00 1.04 1.07 2/107 20313
/proc/meminfo: memFree=1780796/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=25176 CPUtime=6.29
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 4389 0 0 0 623 6 0 0 25 0 1 0 15254024 25780224 3851 1992294400 134512640 137138936 4290885248 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 6294 3851 192 642 0 5650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25176

[startup+12.7011 s]
/proc/loadavg: 1.00 1.04 1.07 2/107 20313
/proc/meminfo: memFree=1770008/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=35380 CPUtime=12.69
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 6945 0 0 0 1260 9 0 0 25 0 1 0 15254024 36229120 6407 1992294400 134512640 137138936 4290885248 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 8845 6407 192 642 0 8201 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35380

[startup+25.5018 s]
/proc/loadavg: 1.00 1.04 1.07 2/107 20313
/proc/meminfo: memFree=1752772/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=51676 CPUtime=25.48
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 11017 0 0 0 2536 12 0 0 25 0 1 0 15254024 52916224 10479 1992294400 134512640 137138936 4290885248 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 12919 10479 192 642 0 12275 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51676

[startup+51.1011 s]
/proc/loadavg: 1.06 1.05 1.07 2/107 20315
/proc/meminfo: memFree=1730204/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=74644 CPUtime=51.07
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 16752 0 0 0 5088 19 0 0 25 0 1 0 15254024 76435456 16214 1992294400 134512640 137138936 4290885248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 18661 16214 192 642 0 18017 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74644

[startup+102.309 s]
/proc/loadavg: 1.08 1.05 1.07 2/107 20315
/proc/meminfo: memFree=1689284/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=114832 CPUtime=102.25
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 26793 0 0 0 10195 30 0 0 25 0 1 0 15254024 117587968 26255 1992294400 134512640 137138936 4290885248 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 28708 26255 192 642 0 28064 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 114832

[startup+162.302 s]
/proc/loadavg: 1.09 1.06 1.07 2/107 20317
/proc/meminfo: memFree=1656920/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=147368 CPUtime=162.23
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 34936 0 0 0 16183 40 0 0 25 0 1 0 15254024 150904832 34398 1992294400 134512640 137138936 4290885248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 36842 34398 192 642 0 36198 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 147368

[startup+222.302 s]
/proc/loadavg: 1.08 1.06 1.07 2/107 20319
/proc/meminfo: memFree=1625300/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=178584 CPUtime=222.21
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 42747 0 0 0 22172 49 0 0 25 0 1 0 15254024 182870016 42209 1992294400 134512640 137138936 4290885248 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 44646 42209 192 642 0 44002 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 178584

[startup+282.301 s]
/proc/loadavg: 1.08 1.06 1.07 2/107 20321
/proc/meminfo: memFree=1591696/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=212724 CPUtime=282.2
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 51266 0 0 0 28164 56 0 0 25 0 1 0 15254024 217829376 50728 1992294400 134512640 137138936 4290885248 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 53181 50728 192 642 0 52537 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 212724

[startup+342.301 s]
/proc/loadavg: 1.07 1.06 1.07 2/107 20323
/proc/meminfo: memFree=1568260/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=235584 CPUtime=342.18
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 57006 0 0 0 34155 63 0 0 25 0 1 0 15254024 241238016 56468 1992294400 134512640 137138936 4290885248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 58896 56468 192 642 0 58252 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 235584

[startup+402.301 s]
/proc/loadavg: 1.07 1.06 1.07 2/107 20323
/proc/meminfo: memFree=1544080/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=259956 CPUtime=402.16
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 63100 0 0 0 40146 70 0 0 25 0 1 0 15254024 266194944 62562 1992294400 134512640 137138936 4290885248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 64989 62562 192 642 0 64345 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 259956

[startup+462.302 s]
/proc/loadavg: 1.06 1.06 1.07 2/107 20325
/proc/meminfo: memFree=1520024/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=283804 CPUtime=462.15
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 69049 0 0 0 46137 78 0 0 25 0 1 0 15254024 290615296 68511 1992294400 134512640 137138936 4290885248 18446744073709551615 134618298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 70951 68511 192 642 0 70307 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 283804

[startup+522.302 s]
/proc/loadavg: 1.02 1.05 1.06 2/107 20327
/proc/meminfo: memFree=1499192/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=304944 CPUtime=522.13
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 74344 0 0 0 52128 85 0 0 25 0 1 0 15254024 312262656 73806 1992294400 134512640 137138936 4290885248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 76236 73806 192 642 0 75592 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 304944

[startup+582.302 s]
/proc/loadavg: 1.01 1.04 1.06 2/107 20329
/proc/meminfo: memFree=1476128/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=327380 CPUtime=582.11
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 79957 0 0 0 58121 90 0 0 25 0 1 0 15254024 335237120 79419 1992294400 134512640 137138936 4290885248 18446744073709551615 134606852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 81845 79419 192 642 0 81201 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 327380

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.05 2/107 20331
/proc/meminfo: memFree=1452196/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=351148 CPUtime=642.1
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 85884 0 0 0 64114 96 0 0 25 0 1 0 15254024 359575552 85346 1992294400 134512640 137138936 4290885248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 87787 85346 192 642 0 87143 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 351148

[startup+702.301 s]

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

/proc/meminfo: memFree=1335016/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=467888 CPUtime=1121.96
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 115058 0 0 0 112064 132 0 0 25 0 1 0 15254024 479117312 114520 1992294400 134512640 137138936 4290885248 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 116972 114520 192 642 0 116328 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 467888

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20345
/proc/meminfo: memFree=1322244/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=480568 CPUtime=1181.94
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 118249 0 0 0 118059 135 0 0 25 0 1 0 15254024 492101632 117711 1992294400 134512640 137138936 4290885248 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 120142 117711 192 642 0 119498 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 480568

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20347
/proc/meminfo: memFree=1307860/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=494716 CPUtime=1241.93
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 121784 0 0 0 124052 141 0 0 25 0 1 0 15254024 506589184 121246 1992294400 134512640 137138936 4290885248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 123679 121246 192 642 0 123035 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 494716

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20347
/proc/meminfo: memFree=1297444/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=505024 CPUtime=1301.91
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 124371 0 0 0 130047 144 0 0 25 0 1 0 15254024 517144576 123833 1992294400 134512640 137138936 4290885248 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 126256 123833 192 642 0 125612 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 505024

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20349
/proc/meminfo: memFree=1284300/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=518396 CPUtime=1361.89
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 127691 0 0 0 136041 148 0 0 25 0 1 0 15254024 530837504 127153 1992294400 134512640 137138936 4290885248 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 129599 127153 192 642 0 128955 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 518396

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20351
/proc/meminfo: memFree=1271280/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=531228 CPUtime=1421.88
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 130903 0 0 0 142037 151 0 0 25 0 1 0 15254024 543977472 130365 1992294400 134512640 137138936 4290885248 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 132807 130365 192 642 0 132163 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 531228

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20353
/proc/meminfo: memFree=1257516/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=545024 CPUtime=1481.85
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 134361 0 0 0 148030 155 0 0 25 0 1 0 15254024 558104576 133823 1992294400 134512640 137138936 4290885248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 136256 133823 192 642 0 135612 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 545024

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20364
/proc/meminfo: memFree=1244248/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=557732 CPUtime=1541.83
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 137540 0 0 0 154024 159 0 0 25 0 1 0 15254024 571117568 137002 1992294400 134512640 137138936 4290885248 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 139433 137002 192 642 0 138789 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 557732

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20364
/proc/meminfo: memFree=1233088/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=569100 CPUtime=1601.81
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 140364 0 0 0 160019 162 0 0 25 0 1 0 15254024 582758400 139826 1992294400 134512640 137138936 4290885248 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 142275 139826 192 642 0 141631 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 569100

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20366
/proc/meminfo: memFree=1220812/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=581204 CPUtime=1661.79
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 143410 0 0 0 166013 166 0 0 25 0 1 0 15254024 595152896 142872 1992294400 134512640 137138936 4290885248 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 145301 142872 192 642 0 144657 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 581204

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20368
/proc/meminfo: memFree=1207668/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=594564 CPUtime=1721.78
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 146751 0 0 0 172008 170 0 0 25 0 1 0 15254024 608833536 146213 1992294400 134512640 137138936 4290885248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 148641 146213 192 642 0 147997 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 594564

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20370
/proc/meminfo: memFree=1192540/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=609404 CPUtime=1781.75
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 150453 0 0 0 178002 173 0 0 25 0 1 0 15254024 624029696 149915 1992294400 134512640 137138936 4290885248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 152351 149915 192 642 0 151707 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 609404

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 20370
/proc/meminfo: memFree=1190432/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=611492 CPUtime=1791.36
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 150971 0 0 0 178962 174 0 0 25 0 1 0 15254024 626167808 150433 1992294400 134512640 137138936 4290885248 18446744073709551615 136501665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 152873 150433 192 642 0 152229 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 611492

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20370
/proc/meminfo: memFree=1189812/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=612048 CPUtime=1794.57
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 151123 0 0 0 179282 175 0 0 25 0 1 0 15254024 626737152 150585 1992294400 134512640 137138936 4290885248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 153012 150585 192 642 0 152368 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 612048

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20370
/proc/meminfo: memFree=1189564/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=612512 CPUtime=1796.16
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 151232 0 0 0 179441 175 0 0 25 0 1 0 15254024 627212288 150694 1992294400 134512640 137138936 4290885248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 153128 150694 192 642 0 152484 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 612512

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20370
/proc/meminfo: memFree=1189192/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=612720 CPUtime=1796.96
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 151293 0 0 0 179521 175 0 0 25 0 1 0 15254024 627425280 150755 1992294400 134512640 137138936 4290885248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 153180 150755 192 642 0 152536 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 612720

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20370
/proc/meminfo: memFree=1189192/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=612952 CPUtime=1797.76
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 151340 0 0 0 179601 175 0 0 25 0 1 0 15254024 627662848 150802 1992294400 134512640 137138936 4290885248 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 153238 150802 192 642 0 152594 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 612952

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20370
/proc/meminfo: memFree=1188944/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=612952 CPUtime=1797.96
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202496 151350 0 0 0 179621 175 0 0 25 0 1 0 15254024 627662848 150812 1992294400 134512640 137138936 4290885248 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20312/statm: 153238 150812 192 642 0 152594 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 612952

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20370
/proc/meminfo: memFree=1188944/2059040 swapFree=4140272/4192956
[pid=20312] ppid=20310 vsize=0 CPUtime=1798.05
/proc/20312/stat : 20312 (bsolo_pb10) R 20310 20312 13941 0 -1 4202500 151353 0 0 0 179626 179 0 0 25 0 1 0 15254024 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/20312/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.62
CPU time (s): 1798.08
CPU user time (s): 1796.27
CPU system time (s): 1.81272
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 612952

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

runsolver used 2.98555 second user time and 8.47271 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-13 04:35:25
IDJOB=2656584
IDBENCH=2006
IDSOLVER=1162
FILE ID=node013/2656584-1276396525
PBS_JOBID= 11173264
Free space on /tmp= 62464 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656584-1276396525/watcher-2656584-1276396525 -o /tmp/evaluation-result-2656584-1276396525/solver-2656584-1276396525 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656584-1276396525.opb

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

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=491886935

node013.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.253
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.50
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.253
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:       1794848 kB
Buffers:         34520 kB
Cached:         150632 kB
SwapCached:       6772 kB
Active:         124904 kB
Inactive:        74180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1794848 kB
SwapTotal:     4192956 kB
SwapFree:      4140272 kB
Dirty:            4816 kB
Writeback:           0 kB
AnonPages:       11564 kB
Mapped:          12888 kB
Slab:            43328 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180400 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= 62460 MiB
End job on node013 at 2010-06-13 05:05:24