Trace number 1877042

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.1SAT-41 1798.27 1799.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUM20471e978018d28aed0ca16c46de4e3d
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 benchmark1798.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -51
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94226
Number of constraints which are clauses94226
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: Cardinality Constraint 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-1877042-1245167055.opb
0.00/0.00	c File size is 2294904 bytes.
0.19/0.28	c Highest Coefficient sum: 1272
0.19/0.28	c Parsing was ok!!
0.19/0.28	c Total parsing time: 0.278 s
0.29/0.31	c Var: 1272 Constr: 94226 94226/0/0 Lit: 188452 Watch. Lit: 188452
0.29/0.31	c Obj. Vars: 1272 (100 % of total variables)
2.89/2.91	c Pre-processing Time: 2.911 s
2.89/2.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.91	c        0   1272    94226   188452    2   188452   31408      0      0 2.91
2.89/2.91	c Switching off lower bounding mode.
2.89/2.93	o -36
2.89/2.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.98	c        0   1272    94227   189724    2   188490   32408      1      0 2.93
2.89/2.98	o -37
3.39/3.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.47	c       26   1272    94255   224279    2   188583   32408     29      8 2.98
3.39/3.47	c      127   1272    94366   360883    3   188805   35649    140     40 3.15
3.39/3.47	o -38
3.59/3.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.66	c      299   1272    94543   579036    6   189197   32408    317     86 3.48
3.59/3.66	c      399   1272    94651   711914    7   189413   35649    425    109 3.66
3.59/3.66	o -39
155.03/155.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
155.03/155.19	c      399   1272    94652   713186    7   189454   32408    426    108 3.67
155.03/155.19	c      499   1272    94760   845969    8   189670   35649    534    129 3.85
155.03/155.19	c      749   1272    95043  1193345   12   190236   39214    817    173 4.32
155.03/155.19	c     1224   1272    95568  1838149   19   191286   43136   1342    233 5.24
155.03/155.19	c     2038   1272    96449  2921123   30   193048   47450   2223    284 7.18
155.03/155.19	c     3358   1272    97908  4713208   48   195966   52196   3682    330 10.17
155.03/155.19	c     5439   1272   100255  7595102   75   200660   57416   6029    344 15.81
155.03/155.19	c     8662   1272   103903 12074888  116   207956   63158   9677    335 25.83
155.03/155.19	c    13598   1272   109502 18948884  173   219154   69474  15276    294 46.09
155.03/155.19	c    21105   1272   117986 29366733  248   236122   76422  23760    264 79.94
155.03/155.19	c    32466   1272   131046 45389753  346   262242   84065  36820    219 148.12
155.03/155.19	o -40
357.62/357.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
357.62/357.89	c    34176   1272   132918 47690027  358   266026   32408  38692    220 155.13
357.62/357.89	c    34277   1272   107186 16092139  150   214412   35649  12960    196 174.12
357.62/357.89	c    34527   1272   107456 16423554  152   214952   39214  13230    197 174.79
357.62/357.89	c    35003   1272   107973 17058467  157   215986   43136  13747    198 176.07
357.62/357.89	c    35816   1272   108894 18187807  167   217828   47450  14668    201 178.15
357.62/357.89	c    37136   1272   110352 19978073  181   220744   52196  16126    203 182.53
357.62/357.89	c    39217   1272   112659 22810327  202   225396   57416  18433    207 189.11
357.62/357.89	c    42441   1272   116317 27298948  234   232712   63158  22091    208 203.29
357.62/357.89	c    47379   1272   121959 34217869  280   244033   69474  27733    205 230.06
357.62/357.89	c    54885   1272   130382 44553021  341   260879   76422  36156    201 272.18
357.62/357.89	c    66247   1272   143076 60124242  420   286339   84065  48850    185 356.76
357.62/357.89	o -41
1797.91/1798.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.79	c    66429   1272   143279 60373499  421   286786   32408  49053    185 357.72
1797.91/1798.79	c    66530   1272   107119 16004362  149   214351   35649  12893    179 371.14
1797.91/1798.79	c    66781   1272   107398 16346407  152   214909   39214  13172    179 371.82
1797.91/1798.79	c    67256   1272   107921 16987986  157   215955   43136  13695    180 373.47
1797.91/1798.79	c    68070   1272   108845 18120453  166   217803   47450  14619    180 377.18
1797.91/1798.79	c    69390   1272   110325 19934759  180   220763   52196  16099    182 380.70
1797.91/1798.79	c    71472   1272   112657 22793280  202   225427   57416  18431    184 387.40
1797.91/1798.79	c    74696   1272   116286 27242758  234   232685   63158  22060    187 398.99
1797.91/1798.79	c    79632   1272   121788 33985471  279   243728   69474  27562    188 422.38
1797.91/1798.79	c    87138   1272   130175 44269140  340   260502   76422  35949    185 470.94
1797.91/1798.79	c    98499   1272   142934 59905059  419   286058   84065  48708    185 529.87
1797.91/1798.79	c   115643   1272   162389 83747159  515   325046   92472  68163    172 671.44
1797.91/1798.79	c   141462   1272   110834 20516394  185   221854  101720  16608    141 1002.27
1797.91/1798.79	c   180294   1272   154468 73958099  478   309231  111893  60242    132 1364.05
1797.91/1798.79	c Resources Exceeded
1797.91/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 
1797.91/1798.79	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.79	c   41   221867  19938   247837   201060 131032562 106834    123 1798.01
1797.91/1798.79	c Objective: -41
1797.91/1798.79	s SATISFIABLE
1797.91/1798.79	c Total time: 1798.01 s

Verifier Data 

OK	-41

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877042-1245167055/watcher-1877042-1245167055 -o /tmp/evaluation-result-1877042-1245167055/solver-1877042-1245167055 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877042-1245167055.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.99 0.97 0.91 3/65 7577
/proc/meminfo: memFree=1261256/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=12968 CPUtime=0
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 184303920 13279232 249 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 3242 250 175 640 0 2037 0

[startup+0.077979 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 7577
/proc/meminfo: memFree=1261256/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=15444 CPUtime=0.07
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 1029 0 0 0 7 0 0 0 20 0 1 0 184303920 15814656 1013 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 3861 1013 321 640 0 2656 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15444

[startup+0.101981 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 7577
/proc/meminfo: memFree=1261256/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=16268 CPUtime=0.09
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 1275 0 0 0 9 0 0 0 20 0 1 0 184303920 16658432 1259 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 4067 1259 369 640 0 2862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16268

[startup+0.302003 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 7577
/proc/meminfo: memFree=1261256/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=23368 CPUtime=0.29
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 3993 0 0 0 28 1 0 0 22 0 1 0 184303920 23928832 3416 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 5842 3418 185 640 0 5198 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23368

[startup+0.701048 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 7577
/proc/meminfo: memFree=1261256/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=27468 CPUtime=0.69
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 5017 0 0 0 67 2 0 0 25 0 1 0 184303920 28127232 4440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 6867 4440 190 640 0 6223 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27468

[startup+1.50114 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 7578
/proc/meminfo: memFree=1244224/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=27468 CPUtime=1.49
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 5017 0 0 0 144 5 0 0 25 0 1 0 184303920 28127232 4440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 6867 4440 190 640 0 6223 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27468

[startup+3.10132 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 7578
/proc/meminfo: memFree=1244096/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=26236 CPUtime=3.09
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 6133 0 0 0 300 9 0 0 25 0 1 0 184303920 26865664 4136 1992294400 134512640 137136520 4294956256 18446744073709551615 136502840 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 6559 4136 196 640 0 5915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26236

[startup+6.30168 s]
/proc/loadavg: 1.15 1.00 0.92 2/66 7578
/proc/meminfo: memFree=1224384/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=53580 CPUtime=6.28
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 12974 0 0 0 616 12 0 0 25 0 1 0 184303920 54865920 10977 1992294400 134512640 137136520 4294956256 18446744073709551615 136295575 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 13395 10977 196 640 0 12751 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 53580

[startup+12.7014 s]
/proc/loadavg: 1.14 1.00 0.92 2/66 7578
/proc/meminfo: memFree=1175304/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=100868 CPUtime=12.68
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 24803 0 0 0 1251 17 0 0 25 0 1 0 184303920 103288832 22806 1992294400 134512640 137136520 4294956256 18446744073709551615 134606772 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 25217 22806 196 640 0 24573 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 100868

[startup+25.5019 s]
/proc/loadavg: 1.11 1.00 0.92 2/66 7578
/proc/meminfo: memFree=1097608/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=175084 CPUtime=25.48
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 43365 0 0 0 2523 25 0 0 25 0 1 0 184303920 179286016 41368 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 43771 41368 197 640 0 43127 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 175084

[startup+51.1018 s]
/proc/loadavg: 1.07 1.00 0.92 2/66 7578
/proc/meminfo: memFree=984392/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=289576 CPUtime=51.06
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 71988 0 0 0 5066 40 0 0 25 0 1 0 184303920 296525824 69991 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 72394 69991 197 640 0 71750 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 289576

[startup+102.306 s]
/proc/loadavg: 1.03 1.00 0.92 2/66 7578
/proc/meminfo: memFree=787720/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=483480 CPUtime=102.25
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 120436 0 0 0 10160 65 0 0 25 0 1 0 184303920 495083520 118439 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 120870 118439 197 640 0 120226 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 483480

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 0.92 2/66 7578
/proc/meminfo: memFree=638152/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=632136 CPUtime=162.22
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 157651 0 0 0 16136 86 0 0 25 0 1 0 184303920 647307264 155616 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 158034 155616 197 640 0 157390 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 632136

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7578
/proc/meminfo: memFree=638088/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=632136 CPUtime=222.19
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 157651 0 0 0 22131 88 0 0 25 0 1 0 184303920 647307264 155616 1992294400 134512640 137136520 4294956256 18446744073709551615 134551971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 158034 155616 197 640 0 157390 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 632136

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7578
/proc/meminfo: memFree=638152/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=632136 CPUtime=282.17
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 157651 0 0 0 28126 91 0 0 25 0 1 0 184303920 647307264 155616 1992294400 134512640 137136520 4294956256 18446744073709551615 134572228 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 158034 155616 197 640 0 157390 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 632136

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7578
/proc/meminfo: memFree=502152/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=768744 CPUtime=342.14
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 191806 0 0 0 34105 109 0 0 25 0 1 0 184303920 787193856 189771 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 192186 189771 197 640 0 191542 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 768744

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7578
/proc/meminfo: memFree=475592/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=794436 CPUtime=402.11
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 198261 0 0 0 40096 115 0 0 25 0 1 0 184303920 813502464 196178 1992294400 134512640 137136520 4294956256 18446744073709551615 134616499 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 198609 196178 197 640 0 197965 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 794436

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7578
/proc/meminfo: memFree=475592/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=794436 CPUtime=462.08
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 198261 0 0 0 46091 117 0 0 25 0 1 0 184303920 813502464 196178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 198609 196178 197 640 0 197965 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 794436

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7580
/proc/meminfo: memFree=475400/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=794436 CPUtime=522.05
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 198261 0 0 0 52085 120 0 0 25 0 1 0 184303920 813502464 196178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 198609 196178 197 640 0 197965 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 794436

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7580
/proc/meminfo: memFree=328648/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=942540 CPUtime=582.03
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 235284 0 0 0 58064 139 0 0 25 0 1 0 184303920 965160960 233201 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 235635 233201 197 640 0 234991 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 942540

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7580
/proc/meminfo: memFree=215432/2055920 swapFree=4181844/4192956
[pid=7577] ppid=7575 vsize=1054104 CPUtime=642.01
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 263204 0 0 0 64045 156 0 0 25 0 1 0 184303920 1079402496 261121 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 263526 261121 197 640 0 262882 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 1054104

[startup+702.302 s]

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

/proc/meminfo: memFree=17224/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1493972 CPUtime=1121.76
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 373238 0 0 0 111955 221 0 0 25 0 1 0 184303920 1529827328 371063 1992294400 134512640 137136520 4294956256 18446744073709551615 134572235 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 373493 371063 197 640 0 372849 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 1493972

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=17224/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1493972 CPUtime=1181.75
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 373238 0 0 0 117951 224 0 0 25 0 1 0 184303920 1529827328 371063 1992294400 134512640 137136520 4294956256 18446744073709551615 134571594 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 373493 371063 197 640 0 372849 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 1493972

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=17096/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1493972 CPUtime=1241.72
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 373238 0 0 0 123947 225 0 0 25 0 1 0 184303920 1529827328 371063 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 373493 371063 197 640 0 372849 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 1493972

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=17032/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1493972 CPUtime=1301.7
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 373238 0 0 0 129943 227 0 0 25 0 1 0 184303920 1529827328 371063 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 373493 371063 197 640 0 372849 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 1493972

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=17032/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1493972 CPUtime=1361.68
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 373238 0 0 0 135940 228 0 0 25 0 1 0 184303920 1529827328 371063 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 373493 371063 197 640 0 372849 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 1493972

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=17032/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1493972 CPUtime=1421.66
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 373238 0 0 0 141935 231 0 0 25 0 1 0 184303920 1529827328 371063 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 373493 371063 197 640 0 372849 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 1493972

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=17096/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1493972 CPUtime=1481.63
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 373238 0 0 0 147930 233 0 0 25 0 1 0 184303920 1529827328 371063 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 373493 371063 197 640 0 372849 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 1493972

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=17096/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1493972 CPUtime=1541.61
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 373238 0 0 0 153926 235 0 0 25 0 1 0 184303920 1529827328 371063 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 373493 371063 197 640 0 372849 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 1493972

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=17096/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1493972 CPUtime=1601.59
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 373238 0 0 0 159922 237 0 0 25 0 1 0 184303920 1529827328 371063 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 373493 371063 197 640 0 372849 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 1493972

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=14984/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1517940 CPUtime=1661.56
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 379237 0 0 0 165915 241 0 0 25 0 1 0 184303920 1554370560 377062 1992294400 134512640 137136520 4294956256 18446744073709551615 134554307 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 379485 377062 197 640 0 378841 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 1517940

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=16072/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1605284 CPUtime=1721.54
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 401089 0 0 0 171899 255 0 0 25 0 1 0 184303920 1643810816 398914 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 401321 398914 197 640 0 400677 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 1605284

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=16136/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1676188 CPUtime=1781.53
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 418814 0 0 0 177885 268 0 0 25 0 1 0 184303920 1716416512 416639 1992294400 134512640 137136520 4294956256 18446744073709551615 134542190 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 419047 416639 197 640 0 418403 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 1676188

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=15112/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1689248 CPUtime=1791.12
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 422083 0 0 0 178842 270 0 0 25 0 1 0 184303920 1729789952 419908 1992294400 134512640 137136520 4294956256 18446744073709551615 136518905 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 422312 419908 197 640 0 421668 0
Current children cumulated CPU time (s) 1791.12
Current children cumulated vsize (KiB) 1689248

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=15368/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1693560 CPUtime=1794.32
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 423149 0 0 0 179161 271 0 0 25 0 1 0 184303920 1734205440 420974 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 423390 420974 197 640 0 422746 0
Current children cumulated CPU time (s) 1794.32
Current children cumulated vsize (KiB) 1693560

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=15432/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1695864 CPUtime=1795.91
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 423713 0 0 0 179320 271 0 0 25 0 1 0 184303920 1736564736 421538 1992294400 134512640 137136520 4294956256 18446744073709551615 134598048 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 423966 421538 197 640 0 423322 0
Current children cumulated CPU time (s) 1795.91
Current children cumulated vsize (KiB) 1695864

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=15368/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1697752 CPUtime=1797.51
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 424192 0 0 0 179480 271 0 0 25 0 1 0 184303920 1738498048 422017 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 424438 422017 197 640 0 423794 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 1697752

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=15752/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=1698020 CPUtime=1797.91
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194304 424273 0 0 0 179520 271 0 0 25 0 1 0 184303920 1738772480 422098 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7577/statm: 424505 422098 197 640 0 423861 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1698020

[startup+1798.9 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=15752/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=0 CPUtime=1798.11
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194308 424298 0 0 0 179529 282 0 0 25 0 1 0 184303920 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7577/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 0

[startup+1799 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 7586
/proc/meminfo: memFree=15752/2055920 swapFree=4181848/4192956
[pid=7577] ppid=7575 vsize=0 CPUtime=1798.21
/proc/7577/stat : 7577 (bsolo) R 7575 7577 7381 0 -1 4194308 424298 0 0 0 179529 292 0 0 25 0 1 0 184303920 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7577/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1799.05
CPU time (s): 1798.27
CPU user time (s): 1795.29
CPU system time (s): 2.97155
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (KiB): 1698020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.29
system time used= 2.97155
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424298
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 5989

runsolver used 2.08968 second user time and 4.16137 second system time

The end

Launcher Data 

Begin job on node88 at 2009-06-16 17:44:15
IDJOB=1877042
IDBENCH=2258
IDSOLVER=699
FILE ID=node88/1877042-1245167055
PBS_JOBID= 9363867
Free space on /tmp= 66548 MiB

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

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

MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d
RANDOM SEED=391869200

node88.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.214
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	: 5931.00
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.214
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1261800 kB
Buffers:         43004 kB
Cached:         676344 kB
SwapCached:       5872 kB
Active:         462676 kB
Inactive:       264672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1261800 kB
SwapTotal:     4192956 kB
SwapFree:      4181844 kB
Dirty:            6184 kB
Writeback:           0 kB
Mapped:          13104 kB
Slab:            52676 kB
Committed_AS:    71016 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-1877042-1245167055.opb

Free space on /tmp at the end= 66544 MiB
End job on node88 at 2009-06-16 18:14:14