Trace number 3463203

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.2SAT-41 1798.05 1798

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-46
Best CPU time to get the best result obtained on this benchmark1797.42
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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463203-1307177910.opb
0.00/0.00	c File size is 2299186 bytes.
0.09/0.14	c Highest Coefficient sum: 1272
0.09/0.14	c Parsing was ok!!
0.09/0.14	c Total parsing time: 0.139 s
0.09/0.15	c Var: 1272 Constr: 94289 94289/0/0 Lit: 188578 Watch. Lit: 188578
0.09/0.15	c Obj. Vars: 1272 (100 % of total variables)
0.79/0.86	c Pre-processing Time: 0.865 s
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c        0   1272    94289   188578    2   188578   31429      0      0 0.86
0.79/0.86	c Switching off lower bounding mode.
0.79/0.87	o -38
0.89/0.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.95	c        0   1272    94290   189850    2   188618   32429      1      0 0.87
0.89/0.95	o -39
15.59/15.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.59/15.68	c       64   1272    94364   280887    2   188805   32429     75     67 0.95
15.59/15.68	c      164   1272    94474   415958    4   189025   35672    185    151 1.08
15.59/15.68	c      414   1272    94756   762688    8   189589   39240    467    294 1.40
15.59/15.68	c      889   1272    95287  1415005   14   190651   43165    998    422 2.10
15.59/15.68	c     1703   1272    96190  2524242   26   192457   47482   1901    520 3.27
15.59/15.68	c     3023   1272    97685  4359510   44   195447   52231   3396    572 5.28
15.59/15.68	c     5104   1272    99957  7152229   71   199991   57455   5668    596 8.55
15.59/15.68	c     8327   1272   103679 11720999  113   207435   63201   9390    531 15.67
15.59/15.68	o -40
24.99/25.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.99/25.08	c     8327   1272   103680 11722271  113   207477   32429   9391    530 15.69
24.99/25.08	c     8427   1272   103790 11857332  114   207697   35672   9501    531 15.84
24.99/25.08	c     8678   1272   104082 12215501  117   208281   39240   9793    534 16.25
24.99/25.08	c     9153   1272   104616 12870829  123   209349   43165  10327    536 17.06
24.99/25.08	c     9966   1272   105517 13976564  132   211151   47482  11228    540 18.44
24.99/25.08	c    11286   1272   106977 15768593  147   214071   52231  12688    541 20.85
24.99/25.08	c    13368   1272   109284 18599317  170   218685   57455  14995    534 25.01
24.99/25.08	o -41
1797.95/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1797.95	c    13393   1272   109312 18633750  170   218782   32429  15023    533 25.08
1797.95/1797.95	c    13495   1272   109427 18774804  171   219012   35672  15138    533 25.30
1797.95/1797.95	c    13747   1272   109701 19110908  174   219560   39240  15412    534 25.73
1797.95/1797.95	c    14222   1272   110208 19733114  179   220574   43165  15919    535 26.54
1797.95/1797.95	c    15035   1272   111092 20817410  187   222342   47482  16803    535 28.06
1797.95/1797.95	c    16355   1272   112545 22599845  200   225248   52231  18256    527 31.02
1797.95/1797.95	c    18436   1272   114888 25472337  221   229973   57455  20599    519 35.50
1797.95/1797.95	c    21659   1272   118461 29854990  252   237119   63201  24172    511 42.31
1797.95/1797.95	c    26596   1272   123981 36623702  295   248159   69522  29692    482 55.12
1797.95/1797.95	c    34102   1272   132371 46904664  354   265016   76475  38082    436 78.14
1797.95/1797.95	c    45463   1272   145159 62542493  430   290666   84123  50870    384 118.34
1797.95/1797.95	c Reducing formula size due to memory constraints
1797.95/1797.95	c Memory Limit: 1000.00 MB  Used: 1006.06 MB
1797.95/1797.95	c    62607   1272   112481 22496020  199   225003  129933  18192    321 194.58
1797.95/1797.95	c    88426   1272   141631 58187876  410   283590  142927  47342    260 339.80
1797.95/1797.95	c Reducing formula size due to memory constraints
1797.95/1797.95	c Memory Limit: 1000.00 MB  Used: 1004.03 MB
1797.95/1797.95	c   127258   1272   133292 47915634  359   266733  129950  39003    243 521.66
1797.95/1797.95	c Reducing formula size due to memory constraints
1797.95/1797.95	c Memory Limit: 1000.00 MB  Used: 1002.72 MB
1797.95/1797.95	c   185610   1272   147383 65275814  442   294919  130121  53094    236 783.34
1797.95/1797.95	c Reducing formula size due to memory constraints
1797.95/1797.95	c Memory Limit: 1000.00 MB  Used: 1006.79 MB
1797.95/1797.95	c Reducing formula size due to memory constraints
1797.95/1797.95	c Memory Limit: 1000.00 MB  Used: 1011.36 MB
1797.95/1797.95	c   273242   1272   142850 59617730  417   286055  130069  48561    205 1331.50
1797.95/1797.95	c Reducing formula size due to memory constraints
1797.95/1797.95	c Memory Limit: 1000.00 MB  Used: 1009.91 MB
1797.95/1797.95	c Reducing formula size due to memory constraints
1797.95/1797.95	c Memory Limit: 1000.00 MB  Used: 1012.10 MB
1797.95/1797.95	c Resources Exceeded
1797.95/1797.95	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.95/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.95	c   32   358513  33208   400666   135110 50177207  40821    199 1798.01
1797.95/1797.95	c Objective: -41
1797.95/1797.95	s SATISFIABLE
1797.95/1797.95	c Total time: 1798.01 s

Verifier Data 

OK	-41

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463203-1307177910/watcher-3463203-1307177910 -o /tmp/evaluation-result-3463203-1307177910/solver-3463203-1307177910 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463203-1307177910.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 2/524 27620
/proc/meminfo: memFree=23823176/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=14004 CPUtime=0.01 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 572 0 0 0 1 0 0 0 25 0 1 0 829388682 14340096 526 33554432000 134512640 137138936 4287832528 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 3501 526 223 642 0 2295 0

[startup+0.028374 s]
/proc/loadavg: 2.00 2.02 2.00 2/524 27620
/proc/meminfo: memFree=23823176/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=14832 CPUtime=0.02 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 836 0 0 0 2 0 0 0 25 0 1 0 829388682 15187968 790 33554432000 134512640 137138936 4287832528 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 3708 791 274 642 0 2502 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14832

[startup+0.100359 s]
/proc/loadavg: 2.00 2.02 2.00 2/524 27620
/proc/meminfo: memFree=23823176/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=19508 CPUtime=0.09 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 2302 0 0 0 9 0 0 0 25 0 1 0 829388682 19976192 2256 33554432000 134512640 137138936 4287832528 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 4877 2257 560 642 0 3671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19508

[startup+0.300329 s]
/proc/loadavg: 2.00 2.02 2.00 2/524 27620
/proc/meminfo: memFree=23823176/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=27548 CPUtime=0.29 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 5047 0 0 0 28 1 0 0 25 0 1 0 829388682 28209152 4439 33554432000 134512640 137138936 4287832528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 6887 4439 185 642 0 6243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27548

[startup+0.700256 s]
/proc/loadavg: 2.00 2.02 2.00 2/524 27620
/proc/meminfo: memFree=23823176/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=27548 CPUtime=0.69 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 5047 0 0 0 65 4 0 0 25 0 1 0 829388682 28209152 4439 33554432000 134512640 137138936 4287832528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 6887 4439 185 642 0 6243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27548

[startup+1.50011 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 27621
/proc/meminfo: memFree=23806316/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=33216 CPUtime=1.49 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 7901 0 0 0 143 6 0 0 25 0 1 0 829388682 34013184 5871 33554432000 134512640 137138936 4287832528 18446744073709551615 134575600 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 8304 5871 192 642 0 7660 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33216

[startup+3.10082 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 27621
/proc/meminfo: memFree=23791392/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=52652 CPUtime=3.09 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 12761 0 0 0 302 7 0 0 25 0 1 0 829388682 53915648 10731 33554432000 134512640 137138936 4287832528 18446744073709551615 134599733 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 13163 10731 192 642 0 12519 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52652

[startup+6.30024 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 27622
/proc/meminfo: memFree=23751964/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=90016 CPUtime=6.29 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 22108 0 0 0 621 8 0 0 25 0 1 0 829388682 92176384 20079 33554432000 134512640 137138936 4287832528 18446744073709551615 134603268 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 22504 20079 192 642 0 21860 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90016

[startup+12.7011 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 27622
/proc/meminfo: memFree=23684756/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=152484 CPUtime=12.7 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 37712 0 0 0 1259 11 0 0 25 0 1 0 829388682 156143616 35682 33554432000 134512640 137138936 4287832528 18446744073709551615 136507464 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 38121 35682 192 642 0 37477 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 152484

[startup+25.5008 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 27622
/proc/meminfo: memFree=23569684/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=264264 CPUtime=25.5 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 65658 0 0 0 2534 16 0 0 25 0 1 0 829388682 270606336 63629 33554432000 134512640 137138936 4287832528 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 66066 63629 192 642 0 65422 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 264264

[startup+51.1001 s]
/proc/loadavg: 2.00 2.01 2.00 4/525 27623
/proc/meminfo: memFree=23367608/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=465564 CPUtime=51.09 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 115994 0 0 0 5085 24 0 0 25 0 1 0 829388682 476737536 113964 33554432000 134512640 137138936 4287832528 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 116424 113965 192 642 0 115780 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 465564

[startup+102.32 s]
/proc/loadavg: 2.11 2.04 2.01 4/525 27624
/proc/meminfo: memFree=23076936/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=752136 CPUtime=102.31 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 187624 0 0 0 10193 38 0 0 25 0 1 0 829388682 770187264 185594 33554432000 134512640 137138936 4287832528 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 188034 185594 192 642 0 187390 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 752136

[startup+162.301 s]
/proc/loadavg: 2.23 2.08 2.02 3/525 27664
/proc/meminfo: memFree=22775228/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1013912 CPUtime=162.3 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 253077 0 0 0 16180 50 0 0 25 0 1 0 829388682 1038245888 251047 33554432000 134512640 137138936 4287832528 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 253478 251047 192 642 0 252834 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1013912

[startup+222.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/525 27665
/proc/meminfo: memFree=22397364/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1041624 CPUtime=222.3 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 260065 0 0 0 22177 53 0 0 25 0 1 0 829388682 1066622976 257971 33554432000 134512640 137138936 4287832528 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 260406 257971 192 642 0 259762 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1041624

[startup+282.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/525 27668
/proc/meminfo: memFree=22109016/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1041624 CPUtime=282.3 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 260065 0 0 0 28175 55 0 0 25 0 1 0 829388682 1066622976 257971 33554432000 134512640 137138936 4287832528 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 260406 257971 192 642 0 259762 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1041624

[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/525 27670
/proc/meminfo: memFree=21860960/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1041624 CPUtime=342.31 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 260065 0 0 0 34174 57 0 0 25 0 1 0 829388682 1066622976 257971 33554432000 134512640 137138936 4287832528 18446744073709551615 134607006 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 260406 257971 192 642 0 259762 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1041624

[startup+402.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/525 27674
/proc/meminfo: memFree=21806660/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1041624 CPUtime=402.3 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 260065 0 0 0 40172 58 0 0 25 0 1 0 829388682 1066622976 257971 33554432000 134512640 137138936 4287832528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 260406 257971 192 642 0 259762 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1041624

[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 27676
/proc/meminfo: memFree=21807108/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1041624 CPUtime=462.3 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 260065 0 0 0 46170 60 0 0 25 0 1 0 829388682 1066622976 257971 33554432000 134512640 137138936 4287832528 18446744073709551615 134618106 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 260406 257971 192 642 0 259762 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1041624

[startup+522.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/525 27677
/proc/meminfo: memFree=21807428/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1040232 CPUtime=522.31 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 260065 0 0 0 52169 62 0 0 25 0 1 0 829388682 1065197568 257634 33554432000 134512640 137138936 4287832528 18446744073709551615 134551267 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 260058 257634 192 642 0 259414 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1040232

[startup+582.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/525 27679
/proc/meminfo: memFree=21808376/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1040232 CPUtime=582.3 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 260065 0 0 0 58167 63 0 0 25 0 1 0 829388682 1065197568 257634 33554432000 134512640 137138936 4287832528 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 260058 257634 192 642 0 259414 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1040232

[startup+642.3 s]

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

/proc/meminfo: memFree=21806360/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1044368 CPUtime=1122.33 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 261067 0 0 0 112153 80 0 0 25 0 1 0 829388682 1069432832 258636 33554432000 134512640 137138936 4287832528 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 261092 258636 192 642 0 260448 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1044368

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/525 27695
/proc/meminfo: memFree=21799624/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049356 CPUtime=1182.33 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262314 0 0 0 118151 82 0 0 25 0 1 0 829388682 1074540544 259883 33554432000 134512640 137138936 4287832528 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262339 259883 192 642 0 261695 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1049356

[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/525 27697
/proc/meminfo: memFree=21798696/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049356 CPUtime=1242.33 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262314 0 0 0 124149 84 0 0 25 0 1 0 829388682 1074540544 259883 33554432000 134512640 137138936 4287832528 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262339 259883 192 642 0 261695 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1049356

[startup+1302.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/525 27698
/proc/meminfo: memFree=21798916/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049356 CPUtime=1302.34 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262314 0 0 0 130148 86 0 0 25 0 1 0 829388682 1074540544 259883 33554432000 134512640 137138936 4287832528 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262339 259883 192 642 0 261695 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1049356

[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 27700
/proc/meminfo: memFree=21797492/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049356 CPUtime=1362.33 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262314 0 0 0 136145 88 0 0 25 0 1 0 829388682 1074540544 259883 33554432000 134512640 137138936 4287832528 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262339 259883 192 642 0 261695 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1049356

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 27701
/proc/meminfo: memFree=21798812/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1048568 CPUtime=1422.35 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262314 0 0 0 142144 91 0 0 25 0 1 0 829388682 1073733632 259718 33554432000 134512640 137138936 4287832528 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262142 259718 192 642 0 261498 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1048568

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 27703
/proc/meminfo: memFree=21798760/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1048568 CPUtime=1482.33 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262314 0 0 0 148140 93 0 0 25 0 1 0 829388682 1073733632 259718 33554432000 134512640 137138936 4287832528 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262142 259718 192 642 0 261498 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1048568

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 27705
/proc/meminfo: memFree=21799840/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1048568 CPUtime=1542.34 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262314 0 0 0 154139 95 0 0 25 0 1 0 829388682 1073733632 259718 33554432000 134512640 137138936 4287832528 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262142 259718 192 642 0 261498 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1048568

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 27706
/proc/meminfo: memFree=21799428/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1048568 CPUtime=1602.34 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262314 0 0 0 160137 97 0 0 25 0 1 0 829388682 1073733632 259718 33554432000 134512640 137138936 4287832528 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262142 259718 192 642 0 261498 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1048568

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/525 27708
/proc/meminfo: memFree=21800120/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1048568 CPUtime=1662.34 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262314 0 0 0 166135 99 0 0 25 0 1 0 829388682 1073733632 259718 33554432000 134512640 137138936 4287832528 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262142 259718 192 642 0 261498 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1048568

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/525 27709
/proc/meminfo: memFree=21798708/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049884 CPUtime=1722.34 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262611 0 0 0 172134 100 0 0 25 0 1 0 829388682 1075081216 260015 33554432000 134512640 137138936 4287832528 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262471 260015 192 642 0 261827 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1049884

[startup+1782.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/525 27711
/proc/meminfo: memFree=21797544/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049884 CPUtime=1782.34 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262611 0 0 0 178131 103 0 0 25 0 1 0 829388682 1075081216 260015 33554432000 134512640 137138936 4287832528 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262471 260015 192 642 0 261827 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1049884

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

[startup+1785.5 s]
/proc/loadavg: 2.16 2.06 2.01 3/525 27711
/proc/meminfo: memFree=21798164/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049884 CPUtime=1785.54 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262611 0 0 0 178451 103 0 0 25 0 1 0 829388682 1075081216 260015 33554432000 134512640 137138936 4287832528 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262471 260015 192 642 0 261827 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1049884

[startup+1791.92 s]
/proc/loadavg: 2.13 2.06 2.01 3/525 27711
/proc/meminfo: memFree=21798156/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049884 CPUtime=1791.96 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262611 0 0 0 179093 103 0 0 25 0 1 0 829388682 1075081216 260015 33554432000 134512640 137138936 4287832528 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262471 260015 192 642 0 261827 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 1049884

[startup+1795.1 s]
/proc/loadavg: 2.13 2.06 2.01 3/525 27711
/proc/meminfo: memFree=21798156/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049884 CPUtime=1795.16 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262611 0 0 0 179412 104 0 0 25 0 1 0 829388682 1075081216 260015 33554432000 134512640 137138936 4287832528 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262471 260015 192 642 0 261827 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 1049884

[startup+1796.7 s]
/proc/loadavg: 2.12 2.06 2.01 3/525 27711
/proc/meminfo: memFree=21798156/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049884 CPUtime=1796.75 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262611 0 0 0 179571 104 0 0 25 0 1 0 829388682 1075081216 260015 33554432000 134512640 137138936 4287832528 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262471 260015 192 642 0 261827 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 1049884

[startup+1797.5 s]
/proc/loadavg: 2.12 2.06 2.01 3/525 27711
/proc/meminfo: memFree=21798156/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049884 CPUtime=1797.55 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262611 0 0 0 179651 104 0 0 25 0 1 0 829388682 1075081216 260015 33554432000 134512640 137138936 4287832528 18446744073709551615 134599724 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262471 260015 192 642 0 261827 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1049884

[startup+1797.9 s]
/proc/loadavg: 2.12 2.06 2.01 3/525 27711
/proc/meminfo: memFree=21798156/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=1049884 CPUtime=1797.95 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202496 262611 0 0 0 179691 104 0 0 25 0 1 0 829388682 1075081216 260015 33554432000 134512640 137138936 4287832528 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27620/statm: 262471 260015 192 642 0 261827 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1049884

[startup+1798 s]
/proc/loadavg: 2.12 2.06 2.01 3/525 27711
/proc/meminfo: memFree=21798156/32951124 swapFree=56930356/67111528
[pid=27620] ppid=27618 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/27620/stat : 27620 (bsolo) R 27618 27620 25956 0 -1 4202500 262612 0 0 0 179696 108 0 0 25 0 1 0 829388682 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/27620/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798
CPU time (s): 1798.05
CPU user time (s): 1796.97
CPU system time (s): 1.08583
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1049884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.97
system time used= 1.08583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262612
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= 6
involuntary context switches= 2738

runsolver used 9.34158 second user time and 21.7197 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-04 10:58:30
IDJOB=3463203
IDBENCH=2257
IDSOLVER=1955
FILE ID=node137/3463203-1307177910
RUNJOBID= node137-1307174661-27289
PBS_JOBID= 13508854
Free space on /tmp= 73724 MiB

SOLVER NAME= bsolo 3.2
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 -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463203-1307177910/watcher-3463203-1307177910 -o /tmp/evaluation-result-3463203-1307177910/solver-3463203-1307177910 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463203-1307177910.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d
RANDOM SEED=1764328530

node137.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23823456 kB
Buffers:        280928 kB
Cached:         516084 kB
SwapCached:      12312 kB
Active:        8404212 kB
Inactive:       462632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23823456 kB
SwapTotal:    67111528 kB
SwapFree:     56930356 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:     8067004 kB
Mapped:          22556 kB
Slab:           117020 kB
PageTables:      74308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162610172 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73720 MiB
End job on node137 at 2011-06-04 11:28:28