Trace number 1880028

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT-41 1798.27 1798.91

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUM1a88750537364c45876077f809191628
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-42
Best CPU time to get the best result obtained on this benchmark1800.49
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 constraints94308
Number of constraints which are clauses94308
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.1 - 13/04/2009 : 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: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1880028-1245236327.opb
0.00/0.00	c File size is 2301477 bytes.
0.29/0.30	c Highest Coefficient sum: 1272
0.29/0.30	c Parsing was ok!!
0.29/0.30	c Total parsing time: 0.3 s
0.29/0.33	c Var: 1272 Constr: 94308 94308/0/0 Lit: 188616 Watch. Lit: 188616
0.29/0.33	c Obj. Vars: 1272 (100 % of total variables)
3.09/3.14	c Pre-processing Time: 3.14 s
3.09/3.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.14	c        0   1272    94308   188616    2   188616   31436      0      0 3.14
3.09/3.14	c Switching off lower bounding mode.
3.09/3.15	o -35
3.09/3.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.16	c        0   1272    94309   189888    2   188653   32436      1      0 3.16
3.09/3.16	o -36
3.79/3.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.80	c        1   1272    94311   192395    2   188693   32436      3      0 3.17
3.79/3.80	c      102   1272    94502   430189    4   191815   35680    194     29 3.51
3.79/3.80	o -38
6.79/6.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.89	c      180   1272    94642   604437    6   192697   32436    334     47 3.81
6.79/6.89	c      281   1272    94841   851896    8   195435   35680    533     65 4.28
6.79/6.89	c      531   1272    95335  1465587   15   202672   39249   1027     84 6.26
6.79/6.89	o -39
11.99/12.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.99/12.02	c      595   1272    95459  1619905   16   201526   32436   1151     86 6.89
11.99/12.02	c      696   1272    95650  1857281   19   204129   35680   1342     89 7.80
11.99/12.02	c      946   1272    96139  2463620   25   210795   39249   1831     83 11.30
11.99/12.02	o -40
883.48/883.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
883.48/883.82	c      990   1272    96215  2558104   26   209625   32436   1907     82 12.02
883.48/883.82	c     1090   1272    96408  2797840   29   212482   35680   2100     78 13.84
883.48/883.82	c     1342   1272    96905  3414746   35   219952   39249   2597     73 18.15
883.48/883.82	c     1817   1272    97851  4586837   46   231478   43174   3543     62 29.22
883.48/883.82	c     2630   1272    99442  6560097   65   251287   47492   5134     52 49.83
883.48/883.82	c     3950   1272   102082  9822421   96   284375   52242   7774     41 94.98
883.48/883.82	c     6032   1272   106228 14958043  140   329363   57467  11920     31 192.53
883.48/883.82	c     9255   1272   112640 22909474  203   400783   63214  18332     23 390.93
883.48/883.82	c    14191   1272   122475 35088567  286   504234   69536  28167     17 834.64
883.48/883.82	o -41
1798.06/1798.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.06/1798.79	c    14651   1272   123393 36226356  293   444534   32436  29085     16 883.51
1798.06/1798.79	c    14751   1272   123587 36467145  295   437161   35680  29279     16 895.68
1798.06/1798.79	c    15002   1272   124087 37086865  298   443970   39249  29779     16 925.03
1798.06/1798.79	c    15477   1272   125022 38245795  305   458272   43174  30714     15 979.04
1798.06/1798.79	c    16290   1272   126642 40251646  317   478681   47492  32334     15 1075.24
1798.06/1798.79	c    17611   1272   129277 43514425  336   507808   52242  34969     14 1221.28
1798.06/1798.79	c    19692   1272   133391 48594342  364   549490   57467  39083     12 1519.80
1798.06/1798.79	c Resources Exceeded
1798.06/1798.79	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 
1798.06/1798.79	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.06/1798.79	c   25    21900   1428    24248   137782 54032584  43474     12 1798.15
1798.06/1798.79	c Objective: -41
1798.06/1798.79	s SATISFIABLE
1798.06/1798.79	c Total time: 1798.15 s

Verifier Data 

OK	-41

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880028-1245236327/watcher-1880028-1245236327 -o /tmp/evaluation-result-1880028-1245236327/solver-1880028-1245236327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880028-1245236327.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 3367
/proc/meminfo: memFree=1786412/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=12972 CPUtime=0
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 191229890 13283328 246 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 3243 247 175 640 0 2037 0

[startup+0.012691 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 3367
/proc/meminfo: memFree=1786412/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=13248 CPUtime=0.01
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 339 0 0 0 1 0 0 0 18 0 1 0 191229890 13565952 323 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 3312 323 189 640 0 2106 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13248

[startup+0.101706 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 3367
/proc/meminfo: memFree=1786412/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=15996 CPUtime=0.09
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 1191 0 0 0 9 0 0 0 18 0 1 0 191229890 16379904 1175 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 3999 1175 353 640 0 2793 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15996

[startup+0.30174 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 3367
/proc/meminfo: memFree=1786412/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=22184 CPUtime=0.29
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 3105 0 0 0 28 1 0 0 19 0 1 0 191229890 22716416 3089 1992294400 134512640 137136520 4294956256 18446744073709551615 136571969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 5546 3089 730 640 0 4340 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22184

[startup+0.701808 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 3367
/proc/meminfo: memFree=1786412/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=27480 CPUtime=0.69
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 5022 0 0 0 67 2 0 0 22 0 1 0 191229890 28139520 4444 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 6870 4444 190 640 0 6226 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27480

[startup+1.50194 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 3368
/proc/meminfo: memFree=1769252/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=27480 CPUtime=1.49
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 5022 0 0 0 145 4 0 0 25 0 1 0 191229890 28139520 4444 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 6870 4444 190 640 0 6226 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27480

[startup+3.10122 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 3368
/proc/meminfo: memFree=1769124/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=25012 CPUtime=3.09
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 5127 0 0 0 301 8 0 0 25 0 1 0 191229890 25612288 3817 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 6253 3818 190 640 0 5609 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25012

[startup+6.30276 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 3368
/proc/meminfo: memFree=1758692/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=41116 CPUtime=6.29
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 9865 0 0 0 619 10 0 0 25 0 1 0 191229890 42102784 7865 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 10279 7865 196 640 0 9635 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41116

[startup+12.7018 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 3368
/proc/meminfo: memFree=1741220/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=56092 CPUtime=12.69
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 13616 0 0 0 1257 12 0 0 25 0 1 0 191229890 57438208 11616 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 14023 11616 196 640 0 13379 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56092

[startup+25.502 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 3368
/proc/meminfo: memFree=1719972/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=76848 CPUtime=25.48
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 18798 0 0 0 2534 14 0 0 25 0 1 0 191229890 78692352 16798 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 19212 16798 196 640 0 18568 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76848

[startup+51.1014 s]
/proc/loadavg: 0.56 0.15 0.05 2/65 3368
/proc/meminfo: memFree=1689060/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=107928 CPUtime=51.07
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 26557 0 0 0 5089 18 0 0 25 0 1 0 191229890 110518272 24557 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 26982 24557 196 640 0 26338 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 107928

[startup+102.305 s]
/proc/loadavg: 0.81 0.28 0.10 2/65 3368
/proc/meminfo: memFree=1641828/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=154584 CPUtime=102.25
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 38217 0 0 0 10200 25 0 0 25 0 1 0 191229890 158294016 36217 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 38646 36217 196 640 0 38002 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 154584

[startup+162.301 s]
/proc/loadavg: 1.03 0.44 0.16 2/65 3374
/proc/meminfo: memFree=1598684/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=197860 CPUtime=162.22
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 49061 0 0 0 16192 30 0 0 25 0 1 0 191229890 202608640 47061 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 49465 47061 196 640 0 48821 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 197860

[startup+222.301 s]
/proc/loadavg: 1.01 0.54 0.21 2/65 3374
/proc/meminfo: memFree=1564508/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=231680 CPUtime=222.21
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 57496 0 0 0 22187 34 0 0 25 0 1 0 191229890 237240320 55496 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 57920 55496 197 640 0 57276 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 231680

[startup+282.302 s]
/proc/loadavg: 1.00 0.62 0.26 2/65 3374
/proc/meminfo: memFree=1531356/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=264868 CPUtime=282.18
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 65815 0 0 0 28179 39 0 0 25 0 1 0 191229890 271224832 63815 1992294400 134512640 137136520 4294956256 18446744073709551615 136294921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 66217 63815 197 640 0 65573 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 264868

[startup+342.302 s]
/proc/loadavg: 1.00 0.69 0.30 2/65 3374
/proc/meminfo: memFree=1498652/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=297380 CPUtime=342.16
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 73921 0 0 0 34172 44 0 0 25 0 1 0 191229890 304517120 71921 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 74345 71921 197 640 0 73701 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 297380

[startup+402.302 s]
/proc/loadavg: 1.00 0.74 0.34 2/65 3374
/proc/meminfo: memFree=1473116/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=322992 CPUtime=402.14
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 80338 0 0 0 40166 48 0 0 25 0 1 0 191229890 330743808 78338 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 80748 78338 197 640 0 80104 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 322992

[startup+462.301 s]
/proc/loadavg: 1.00 0.79 0.38 2/65 3374
/proc/meminfo: memFree=1449252/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=346748 CPUtime=462.12
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 86260 0 0 0 46160 52 0 0 25 0 1 0 191229890 355069952 84260 1992294400 134512640 137136520 4294956256 18446744073709551615 136502052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 86687 84260 197 640 0 86043 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 346748

[startup+522.301 s]
/proc/loadavg: 1.00 0.82 0.41 2/65 3374
/proc/meminfo: memFree=1428772/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=367436 CPUtime=522.1
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 91442 0 0 0 52155 55 0 0 25 0 1 0 191229890 376254464 89442 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 91859 89442 197 640 0 91215 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 367436

[startup+582.302 s]
/proc/loadavg: 1.00 0.85 0.45 2/65 3374
/proc/meminfo: memFree=1407268/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=388576 CPUtime=582.08
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 96727 0 0 0 58150 58 0 0 25 0 1 0 191229890 397901824 94727 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 97144 94727 197 640 0 96500 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 388576

[startup+642.302 s]
/proc/loadavg: 1.00 0.88 0.48 2/65 3374
/proc/meminfo: memFree=1387428/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=408204 CPUtime=642.06
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 101641 0 0 0 64146 60 0 0 25 0 1 0 191229890 418000896 99641 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 102051 99641 197 640 0 101407 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 408204

[startup+702.301 s]

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

/proc/meminfo: memFree=1257124/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=538480 CPUtime=1061.91
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 134203 0 0 0 106113 78 0 0 25 0 1 0 191229890 551403520 132203 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 134620 132203 197 640 0 133976 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 538480

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.69 2/65 3374
/proc/meminfo: memFree=1240100/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=555372 CPUtime=1121.89
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 138429 0 0 0 112108 81 0 0 25 0 1 0 191229890 568700928 136429 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 138843 136429 197 640 0 138199 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 555372

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.71 2/65 3374
/proc/meminfo: memFree=1222756/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=573028 CPUtime=1181.86
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 142840 0 0 0 118102 84 0 0 25 0 1 0 191229890 586780672 140840 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 143257 140840 197 640 0 142613 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 573028

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.72 2/65 3374
/proc/meminfo: memFree=1207076/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=588312 CPUtime=1241.85
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 146661 0 0 0 124099 86 0 0 25 0 1 0 191229890 602431488 144661 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 147078 144661 197 640 0 146434 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 588312

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.74 2/65 3374
/proc/meminfo: memFree=1193060/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=602080 CPUtime=1301.83
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 150116 0 0 0 130095 88 0 0 25 0 1 0 191229890 616529920 148116 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 150520 148116 197 640 0 149876 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 602080

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.75 2/65 3374
/proc/meminfo: memFree=1179748/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=615512 CPUtime=1361.81
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 153468 0 0 0 136091 90 0 0 25 0 1 0 191229890 630284288 151468 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 153878 151468 197 640 0 153234 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 615512

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.76 2/65 3374
/proc/meminfo: memFree=1166308/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=628904 CPUtime=1421.79
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 156800 0 0 0 142087 92 0 0 25 0 1 0 191229890 643997696 154800 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 157226 154800 197 640 0 156582 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 628904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.77 2/65 3374
/proc/meminfo: memFree=1153124/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=642068 CPUtime=1481.77
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 160115 0 0 0 148083 94 0 0 25 0 1 0 191229890 657477632 158115 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 160517 158115 197 640 0 159873 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 642068

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.78 2/65 3374
/proc/meminfo: memFree=1140644/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=654392 CPUtime=1541.75
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 163184 0 0 0 154079 96 0 0 25 0 1 0 191229890 670097408 161184 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 163598 161184 197 640 0 162954 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 654392

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.80 2/65 3374
/proc/meminfo: memFree=1122468/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=672676 CPUtime=1601.73
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 167759 0 0 0 160075 98 0 0 25 0 1 0 191229890 688820224 165759 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 168169 165759 197 640 0 167525 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 672676

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.81 2/65 3374
/proc/meminfo: memFree=1106660/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=688360 CPUtime=1661.71
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 171680 0 0 0 166071 100 0 0 25 0 1 0 191229890 704880640 169680 1992294400 134512640 137136520 4294956256 18446744073709551615 134543962 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 172090 169680 197 640 0 171446 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 688360

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/65 3374
/proc/meminfo: memFree=1092068/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=703048 CPUtime=1721.68
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 175335 0 0 0 172065 103 0 0 25 0 1 0 191229890 719921152 173335 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 175762 173335 197 640 0 175118 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 703048

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/65 3374
/proc/meminfo: memFree=1077732/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=717368 CPUtime=1781.67
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 178918 0 0 0 178062 105 0 0 25 0 1 0 191229890 734584832 176918 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 179342 176918 197 640 0 178698 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 717368

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 3374
/proc/meminfo: memFree=1075492/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=719460 CPUtime=1791.26
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 179448 0 0 0 179021 105 0 0 25 0 1 0 191229890 736727040 177448 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 179865 177448 197 640 0 179221 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 719460

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 3374
/proc/meminfo: memFree=1074980/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=719964 CPUtime=1794.46
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 179567 0 0 0 179341 105 0 0 25 0 1 0 191229890 737243136 177567 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 179991 177567 197 640 0 179347 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 719964

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 3374
/proc/meminfo: memFree=1074852/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=720216 CPUtime=1796.06
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 179623 0 0 0 179501 105 0 0 25 0 1 0 191229890 737501184 177623 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 180054 177623 197 640 0 179410 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 720216

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 3374
/proc/meminfo: memFree=1074596/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=720452 CPUtime=1797.66
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 179705 0 0 0 179661 105 0 0 25 0 1 0 191229890 737742848 177705 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 180113 177705 197 640 0 179469 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 720452

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 3374
/proc/meminfo: memFree=1074404/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=720576 CPUtime=1798.06
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194304 179720 0 0 0 179701 105 0 0 25 0 1 0 191229890 737869824 177720 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 180144 177720 197 640 0 179500 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 720576

[startup+1798.9 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 3374
/proc/meminfo: memFree=1074404/2055920 swapFree=4181368/4192956
[pid=3367] ppid=3365 vsize=0 CPUtime=1798.26
/proc/3367/stat : 3367 (bsolo) R 3365 3367 3324 0 -1 4194308 179731 0 0 0 179710 116 0 0 25 0 1 0 191229890 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3367/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.26
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.91
CPU time (s): 1798.27
CPU user time (s): 1797.1
CPU system time (s): 1.16682
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 720576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.1
system time used= 1.16682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3510

runsolver used 1.47477 second user time and 3.46847 second system time

The end

Launcher Data 

Begin job on node43 at 2009-06-17 12:58:47
IDJOB=1880028
IDBENCH=2256
IDSOLVER=701
FILE ID=node43/1880028-1245236327
PBS_JOBID= 9372296
Free space on /tmp= 66184 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880028-1245236327/watcher-1880028-1245236327 -o /tmp/evaluation-result-1880028-1245236327/solver-1880028-1245236327 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880028-1245236327.opb

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

MD5SUM BENCH= 1a88750537364c45876077f809191628
RANDOM SEED=500213177

node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.281
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.281
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1786828 kB
Buffers:         62820 kB
Cached:         144736 kB
SwapCached:       5352 kB
Active:          91296 kB
Inactive:       124028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786828 kB
SwapTotal:     4192956 kB
SwapFree:      4181368 kB
Dirty:            6380 kB
Writeback:           0 kB
Mapped:          13444 kB
Slab:            39692 kB
Committed_AS:   186352 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880028-1245236327.opb

Free space on /tmp at the end= 66180 MiB
End job on node43 at 2009-06-17 13:28:46