Trace number 2671054

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClSAT (TO)-10 1800.18 1800.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_1.opb
MD5SUMfd0cd32338d58e5da2d0a0f96e14ad7d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1789.55
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6076
Sum of products size (including duplicates)12152
Number of different products3038
Sum of products size6076

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2671054-1276716679.opb
0.00/0.00	c File size is 254876 bytes.
0.00/0.04	c Highest Coefficient sum: 200
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.043 s
0.00/0.05	c Var: 3238 Constr: 6378 3138/202/3038 Lit: 24904 Watch. Lit: 21668
0.00/0.05	c Obj. Vars: 100 (3.08833 % of total variables)
3.59/3.64	c Pre-processing Time: 3.645 s
3.59/3.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.65	c        0   3238     6378    24904    3    21668   81922      0      0 3.65
3.59/3.65	c Switching off lower bounding mode.
3.59/3.65	o -1
3.59/3.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.65	c        0   3238     6379    25004    3    21671   81988      1      0 3.65
3.59/3.65	o -2
3.69/3.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.70	c        2   3238     6382    25338    3    21679   82022      4      0 3.65
3.69/3.70	c      102   3238     6482    39876    6    21879   90225    104     27 3.69
3.69/3.70	o -3
4.49/4.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.50	c      121   3238     6502    41876    6    21922   82055    124     32 3.70
4.49/4.50	c      221   3238     6602    58345    8    22122   90261    224     59 3.74
4.49/4.50	c      471   3238     6852    99251   14    22622   99288    474    123 3.82
4.49/4.50	c      946   3238     7327   178811   24    23572  109217    949    237 3.98
4.49/4.50	c     1759   3238     8140   320912   39    25198  120139   1762    416 4.22
4.49/4.50	o -9
12.88/12.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.88/12.98	c     2018   3238     8400   333281   39    25727   82255   2022    448 4.50
12.88/12.98	c     2118   3238     8500   344286   40    25927   90481   2122    464 4.56
12.88/12.98	c     2368   3238     8750   373766   42    26427   99530   2372    508 4.66
12.88/12.98	c     2844   3238     9226   429669   46    27379  109484   2848    592 4.80
12.88/12.98	c     3657   3238    10039   522603   52    29005  120433   3661    729 5.01
12.88/12.98	c     4977   3238    11359   668370   58    31645  132477   4981    921 5.40
12.88/12.98	c     7058   3238    13440   952317   70    35807  145725   7062   1126 6.26
12.88/12.98	c    10281   3238    16663  1353479   81    42253  160298  10285   1355 7.58
12.88/12.98	c    15217   3238    21599  1886571   87    52125  176328  15221   1598 9.52
12.88/12.98	o -10
1800.03/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.61	c    20956   3238    27339  2636573   96    63615   82288  20961   1614 12.98
1800.03/1800.61	c    21056   3238    27439  2651376   96    63815   90517  21061   1614 13.04
1800.03/1800.61	c    21306   3238    27689  2684242   96    64315   99569  21311   1618 13.16
1800.03/1800.61	c    21781   3238    28164  2742026   97    65265  109526  21786   1623 13.41
1800.03/1800.61	c    22594   3238    28977  2826024   97    66891  120479  22599   1650 13.69
1800.03/1800.61	c    23914   3238    30297  2964411   97    69531  132527  23919   1688 14.16
1800.03/1800.61	c    25995   3238    32378  3197795   98    73693  145780  26000   1711 15.19
1800.03/1800.61	c    29218   3238    35601  3626381  101    80139  160359  29223   1652 17.68
1800.03/1800.61	c    34155   3238    40538  4222653  104    90013  176395  34160   1640 20.82
1800.03/1800.61	c    41661   3238    48044  5453859  113   105025  194035  41666   1346 30.94
1800.03/1800.61	c    53022   3238    59405  6947163  116   127747  213439  53027   1279 41.45
1800.03/1800.61	c    70166   3238    76549  8742212  114   162035  234783  70171   1258 55.74
1800.03/1800.61	c    95985   3238   102368 11572601  113   213673  258262  95990   1061 90.41
1800.03/1800.61	c   134818   3238   141201 17357026  122   291339  284089 134823    802 168.01
1800.03/1800.61	c   193170   3238   199553 26769541  134   408043  312498 193175    576 334.82
1800.03/1800.61	c   280802   3238   287185 41209063  143   583307  343748 280807    365 768.55
1800.03/1800.61	c Caught signal: 15
1800.03/1800.61	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 x98 -x99 -x100 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 x187 x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 
1800.03/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.61	c   33   346763    298   354456   270025 38775157 263647    192 1800.04
1800.03/1800.61	c Objective: -10
1800.03/1800.61	s SATISFIABLE
1800.03/1800.61	c Total time: 1800.04 s

Verifier Data 

OK	-10

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671054-1276716679/watcher-2671054-1276716679 -o /tmp/evaluation-result-2671054-1276716679/solver-2671054-1276716679 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671054-1276716679.opb 

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


[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 13529
/proc/meminfo: memFree=1843176/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=18868 CPUtime=0
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 326 0 0 0 0 0 0 0 19 0 1 0 47271599 19320832 245 1992294400 134512640 137138936 4286814800 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 4717 245 170 642 0 4010 0

[startup+0.0703611 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 13529
/proc/meminfo: memFree=1843176/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=12564 CPUtime=0.06
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 827 0 0 0 6 0 0 0 19 0 1 0 47271599 12865536 683 1992294400 134512640 137138936 4286814800 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 3141 683 184 642 0 2497 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12564

[startup+0.101364 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 13529
/proc/meminfo: memFree=1843176/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=12564 CPUtime=0.09
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 827 0 0 0 9 0 0 0 19 0 1 0 47271599 12865536 683 1992294400 134512640 137138936 4286814800 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 3141 683 184 642 0 2497 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12564

[startup+0.301387 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 13529
/proc/meminfo: memFree=1843176/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=12564 CPUtime=0.29
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 828 0 0 0 29 0 0 0 20 0 1 0 47271599 12865536 684 1992294400 134512640 137138936 4286814800 18446744073709551615 134566240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 3141 684 184 642 0 2497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12564

[startup+0.701434 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 13529
/proc/meminfo: memFree=1843176/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=12564 CPUtime=0.69
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 828 0 0 0 69 0 0 0 20 0 1 0 47271599 12865536 684 1992294400 134512640 137138936 4286814800 18446744073709551615 136511073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 3141 684 184 642 0 2497 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12564

[startup+1.50152 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 13530
/proc/meminfo: memFree=1841184/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=12564 CPUtime=1.49
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 828 0 0 0 149 0 0 0 22 0 1 0 47271599 12865536 684 1992294400 134512640 137138936 4286814800 18446744073709551615 136504176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 3141 684 184 642 0 2497 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12564

[startup+3.10071 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 13530
/proc/meminfo: memFree=1841060/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=12564 CPUtime=3.09
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 828 0 0 0 309 0 0 0 25 0 1 0 47271599 12865536 684 1992294400 134512640 137138936 4286814800 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 3141 684 184 642 0 2497 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12564

[startup+6.30108 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 13530
/proc/meminfo: memFree=1832008/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=25260 CPUtime=6.28
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 4098 0 0 0 625 3 0 0 25 0 1 0 47271599 25866240 3891 1992294400 134512640 137138936 4286814800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 6315 3891 191 642 0 5671 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25260

[startup+12.7008 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 13532
/proc/meminfo: memFree=1807952/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=47180 CPUtime=12.69
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 9553 0 0 0 1260 9 0 0 25 0 1 0 47271599 48312320 9346 1992294400 134512640 137138936 4286814800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 11795 9346 191 642 0 11151 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47180

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13532
/proc/meminfo: memFree=1776704/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=77052 CPUtime=25.48
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 17022 0 0 0 2531 17 0 0 25 0 1 0 47271599 78901248 16815 1992294400 134512640 137138936 4286814800 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 19263 16815 191 642 0 18619 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77052

[startup+51.1013 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 13532
/proc/meminfo: memFree=1730948/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=123196 CPUtime=51.08
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 28581 0 0 0 5075 33 0 0 25 0 1 0 47271599 126152704 28374 1992294400 134512640 137138936 4286814800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 30799 28374 191 642 0 30155 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 123196

[startup+102.309 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 13534
/proc/meminfo: memFree=1669444/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=183552 CPUtime=102.26
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 43666 0 0 0 10172 54 0 0 25 0 1 0 47271599 187957248 43459 1992294400 134512640 137138936 4286814800 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 45888 43459 191 642 0 45244 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 183552

[startup+162.301 s]
/proc/loadavg: 1.21 1.08 1.02 2/107 13536
/proc/meminfo: memFree=1609800/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=243680 CPUtime=162.24
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 58686 0 0 0 16145 79 0 0 25 0 1 0 47271599 249528320 58479 1992294400 134512640 137138936 4286814800 18446744073709551615 134575829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 60920 58479 191 642 0 60276 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 243680

[startup+222.301 s]
/proc/loadavg: 1.21 1.09 1.03 2/107 13536
/proc/meminfo: memFree=1565780/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=286960 CPUtime=222.22
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 69520 0 0 0 22127 95 0 0 25 0 1 0 47271599 293847040 69313 1992294400 134512640 137138936 4286814800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 71740 69313 191 642 0 71096 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 286960

[startup+282.301 s]
/proc/loadavg: 1.20 1.10 1.03 2/107 13538
/proc/meminfo: memFree=1516800/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=336204 CPUtime=282.2
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 81816 0 0 0 28106 114 0 0 25 0 1 0 47271599 344272896 81609 1992294400 134512640 137138936 4286814800 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 84051 81609 191 642 0 83407 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 336204

[startup+342.301 s]
/proc/loadavg: 1.19 1.11 1.04 2/107 13540
/proc/meminfo: memFree=1472904/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=379744 CPUtime=342.19
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 92705 0 0 0 34084 135 0 0 25 0 1 0 47271599 388857856 92498 1992294400 134512640 137138936 4286814800 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 94936 92498 191 642 0 94292 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 379744

[startup+402.301 s]
/proc/loadavg: 1.12 1.11 1.04 2/107 13542
/proc/meminfo: memFree=1439052/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=413548 CPUtime=402.16
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 101168 0 0 0 40067 149 0 0 25 0 1 0 47271599 423473152 100961 1992294400 134512640 137138936 4286814800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 103387 100961 191 642 0 102743 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 413548

[startup+462.302 s]
/proc/loadavg: 1.04 1.08 1.03 2/107 13544
/proc/meminfo: memFree=1413136/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=439120 CPUtime=462.15
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 107558 0 0 0 46053 162 0 0 25 0 1 0 47271599 449658880 107351 1992294400 134512640 137138936 4286814800 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 109780 107351 191 642 0 109136 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 439120

[startup+522.302 s]
/proc/loadavg: 1.01 1.07 1.02 2/107 13544
/proc/meminfo: memFree=1390816/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=461748 CPUtime=522.13
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 113198 0 0 0 52041 172 0 0 25 0 1 0 47271599 472829952 112991 1992294400 134512640 137138936 4286814800 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 115437 112991 191 642 0 114793 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 461748

[startup+582.302 s]
/proc/loadavg: 1.00 1.05 1.02 2/107 13546
/proc/meminfo: memFree=1365396/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=487052 CPUtime=582.11
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 119537 0 0 0 58025 186 0 0 25 0 1 0 47271599 498741248 119330 1992294400 134512640 137138936 4286814800 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 121763 119330 191 642 0 121119 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 487052

[startup+642.302 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 13548
/proc/meminfo: memFree=1342332/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=509600 CPUtime=642.09
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 125166 0 0 0 64014 195 0 0 25 0 1 0 47271599 521830400 124959 1992294400 134512640 137138936 4286814800 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 127400 124959 191 642 0 126756 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 509600

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13554
/proc/meminfo: memFree=1243628/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=607844 CPUtime=882.01
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 149726 0 0 0 87959 242 0 0 25 0 1 0 47271599 622432256 149519 1992294400 134512640 137138936 4286814800 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 151961 149519 191 642 0 151317 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 607844

[startup+942.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13556
/proc/meminfo: memFree=1235072/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=616504 CPUtime=941.99
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 151901 0 0 0 93953 246 0 0 25 0 1 0 47271599 631300096 151694 1992294400 134512640 137138936 4286814800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 154126 151694 191 642 0 153482 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 616504

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13558
/proc/meminfo: memFree=1219696/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=631644 CPUtime=1001.97
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 155685 0 0 0 99942 255 0 0 25 0 1 0 47271599 646803456 155478 1992294400 134512640 137138936 4286814800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 157911 155478 191 642 0 157267 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 631644

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13558
/proc/meminfo: memFree=1204692/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=646712 CPUtime=1061.96
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 159457 0 0 0 105933 263 0 0 25 0 1 0 47271599 662233088 159250 1992294400 134512640 137138936 4286814800 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 161678 159250 191 642 0 161034 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 646712

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13560
/proc/meminfo: memFree=1190556/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=660664 CPUtime=1121.94
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 162937 0 0 0 111924 270 0 0 25 0 1 0 47271599 676519936 162730 1992294400 134512640 137138936 4286814800 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 165166 162730 191 642 0 164522 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 660664

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13562
/proc/meminfo: memFree=1176916/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=674520 CPUtime=1181.92
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 166396 0 0 0 117914 278 0 0 25 0 1 0 47271599 690708480 166189 1992294400 134512640 137138936 4286814800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 168630 166189 191 642 0 167986 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 674520

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13564
/proc/meminfo: memFree=1163648/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=687400 CPUtime=1241.9
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 169627 0 0 0 123905 285 0 0 25 0 1 0 47271599 703897600 169420 1992294400 134512640 137138936 4286814800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 171850 169420 191 642 0 171206 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 687400

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13566
/proc/meminfo: memFree=1151000/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=699836 CPUtime=1301.89
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 172734 0 0 0 129897 292 0 0 25 0 1 0 47271599 716632064 172527 1992294400 134512640 137138936 4286814800 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 174959 172527 191 642 0 174315 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 699836

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13566
/proc/meminfo: memFree=1142320/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=707832 CPUtime=1361.86
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 175079 0 0 0 135889 297 0 0 25 0 1 0 47271599 724819968 174533 1992294400 134512640 137138936 4286814800 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 176958 174533 191 642 0 176314 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 707832

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13568
/proc/meminfo: memFree=1142320/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=707832 CPUtime=1421.85
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 175079 0 0 0 141888 297 0 0 25 0 1 0 47271599 724819968 174533 1992294400 134512640 137138936 4286814800 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 176958 174533 191 642 0 176314 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 707832

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13570
/proc/meminfo: memFree=1142320/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=707832 CPUtime=1481.83
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 175079 0 0 0 147886 297 0 0 25 0 1 0 47271599 724819968 174533 1992294400 134512640 137138936 4286814800 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 176958 174533 191 642 0 176314 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 707832

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13572
/proc/meminfo: memFree=1142320/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=707832 CPUtime=1541.81
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 175079 0 0 0 153884 297 0 0 25 0 1 0 47271599 724819968 174533 1992294400 134512640 137138936 4286814800 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 176958 174533 191 642 0 176314 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 707832

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13574
/proc/meminfo: memFree=1142320/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=707832 CPUtime=1601.79
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 175079 0 0 0 159882 297 0 0 25 0 1 0 47271599 724819968 174533 1992294400 134512640 137138936 4286814800 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 176958 174533 191 642 0 176314 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 707832

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13576
/proc/meminfo: memFree=1142320/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=707832 CPUtime=1661.77
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 175079 0 0 0 165880 297 0 0 25 0 1 0 47271599 724819968 174533 1992294400 134512640 137138936 4286814800 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 176958 174533 191 642 0 176314 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 707832

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13576
/proc/meminfo: memFree=1142320/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=707832 CPUtime=1721.76
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 175079 0 0 0 171879 297 0 0 25 0 1 0 47271599 724819968 174533 1992294400 134512640 137138936 4286814800 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 176958 174533 191 642 0 176314 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 707832

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13587
/proc/meminfo: memFree=1141328/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=707832 CPUtime=1781.72
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 175079 0 0 0 177875 297 0 0 25 0 1 0 47271599 724819968 174533 1992294400 134512640 137138936 4286814800 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 176958 174533 191 642 0 176314 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 707832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13587
/proc/meminfo: memFree=1141576/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=707832 CPUtime=1800.03
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202496 175079 0 0 0 179706 297 0 0 25 0 1 0 47271599 724819968 174533 1992294400 134512640 137138936 4286814800 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13529/statm: 176958 174533 191 642 0 176314 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 707832

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13587
/proc/meminfo: memFree=1141576/2059040 swapFree=4140048/4192956
[pid=13529] ppid=13527 vsize=0 CPUtime=1800.13
/proc/13529/stat : 13529 (bsolo_pb10) R 13527 13529 13196 0 -1 4202500 175080 0 0 0 179714 299 0 0 25 0 1 0 47271599 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/13529/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.76
CPU time (s): 1800.18
CPU user time (s): 1797.14
CPU system time (s): 3.04154
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 709188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.14
system time used= 3.04154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 4443

runsolver used 3.00454 second user time and 8.47571 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-16 21:31:19
IDJOB=2671054
IDBENCH=48243
IDSOLVER=1163
FILE ID=node006/2671054-1276716679
PBS_JOBID= 11174142
Free space on /tmp= 62504 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671054-1276716679/watcher-2671054-1276716679 -o /tmp/evaluation-result-2671054-1276716679/solver-2671054-1276716679 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2671054-1276716679.opb

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

MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d
RANDOM SEED=1592374029

node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
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.204
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1844076 kB
Buffers:         22512 kB
Cached:         111028 kB
SwapCached:       6372 kB
Active:          86520 kB
Inactive:        60864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1844076 kB
SwapTotal:     4192956 kB
SwapFree:      4140048 kB
Dirty:            4020 kB
Writeback:           0 kB
AnonPages:       12592 kB
Mapped:          13112 kB
Slab:            45744 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181708 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671054-1276716679.opb

Free space on /tmp at the end= 62500 MiB
End job on node006 at 2010-06-16 22:01:22