Trace number 1878287

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
bsolo 3.1 clSAT (TO)-10 1800.16 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_3.opb
MD5SUM29cda419af6adbdf14450bbe70fbdfc2
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 benchmark1797.84
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)6180
Sum of products size (including duplicates)12360
Number of different products3090
Sum of products size6180

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: Clause 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-1878287-1245210622.opb
0.00/0.00	c File size is 259160 bytes.
0.00/0.03	c Highest Coefficient sum: 200
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.037 s
0.00/0.04	c Var: 3290 Constr: 6482 3190/202/3090 Lit: 25320 Watch. Lit: 22032
0.00/0.04	c Obj. Vars: 100 (3.03951 % of total variables)
3.88/3.94	c Pre-processing Time: 3.94 s
3.88/3.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.88/3.94	c        0   3290     6482    25320    3    22032   84386      0      0 3.94
3.88/3.94	c Switching off lower bounding mode.
3.88/3.94	o -1
3.88/3.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.88/3.95	c        0   3290     6483    25420    3    22035   84452      1      0 3.94
3.88/3.95	o -2
3.99/4.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.06	c        4   3290     6488    25963    4    22047   84486      6      1 3.95
3.99/4.06	c      104   3290     6588    41748    6    22247   92935    106     26 3.99
3.99/4.06	o -3
4.18/5.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.18/5.33	c      323   3290     6808    74125   10    22690   84519    326     79 4.07
4.18/5.33	c      423   3290     6908    86520   12    22890   92971    426    102 4.11
4.18/5.33	c      673   3290     7158   125681   17    23390  102269    676    159 4.21
4.18/5.33	c     1148   3290     7633   204918   26    24340  112496   1151    262 4.37
4.18/5.33	c     1961   3290     8446   345675   40    25966  123746   1964    423 4.63
4.18/5.33	c     3281   3290     9766   585095   59    28606  136121   3284    651 5.04
4.18/5.33	o -9
5.61/5.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.61/5.65	c     4015   3290    10501   644816   61    30085   84719   4019    752 5.34
5.61/5.65	c     4115   3290    10601   658265   62    30285   93191   4119    761 5.41
5.61/5.65	c     4365   3290    10851   696549   64    30785  102511   4369    783 5.57
5.61/5.65	o -10
1800.03/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.60	c     4556   3290    11043   718810   65    31179   84752   4561    806 5.65
1800.03/1800.60	c     4656   3290    11143   734331   65    31379   93228   4661    817 5.69
1800.03/1800.60	c     4906   3290    11393   772360   67    31879  102551   4911    844 5.81
1800.03/1800.60	c     5381   3290    11868   849628   71    32829  112807   5386    891 6.04
1800.03/1800.60	c     6194   3290    12681   974891   76    34455  124088   6199    961 6.44
1800.03/1800.60	c     7514   3290    14001  1168552   83    37095  136497   7519   1055 7.12
1800.03/1800.60	c     9595   3290    16082  1513272   94    41257  150147   9600   1188 8.07
1800.03/1800.60	c    12818   3290    19305  2030826  105    47703  165162  12823   1291 9.93
1800.03/1800.60	c    17754   3290    24241  2703104  111    57575  181679  17759   1290 13.76
1800.03/1800.60	c    25260   3290    31747  3871846  121    72587  199847  25265   1298 19.45
1800.03/1800.60	c    36621   3290    43108  5727968  132    95309  219832  36626   1225 29.89
1800.03/1800.60	c    53765   3290    60252  8432439  139   129597  241816  53770   1156 46.50
1800.03/1800.60	c    79584   3290    86071 12561889  145   181235  265998  79589    953 83.43
1800.03/1800.60	c   118416   3290   124903 18942210  151   258899  292598 118421    733 161.34
1800.03/1800.60	c   176768   3290   183255 27715887  151   375603  321858 176773    372 474.99
1800.03/1800.60	c   264400   3290   270887 39577681  146   550867  354044 264405    289 912.46
1800.03/1800.60	c Caught signal: 15
1800.03/1800.60	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 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -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.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.60	c   28   357067    390   365442   352419 52090769 345937    198 1800.04
1800.03/1800.60	c Objective: -10
1800.03/1800.60	s SATISFIABLE
1800.03/1800.60	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-1878287-1245210622/watcher-1878287-1245210622 -o /tmp/evaluation-result-1878287-1245210622/solver-1878287-1245210622 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878287-1245210622.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8657
/proc/meminfo: memFree=1773120/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=18788 CPUtime=0
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 188662236 19238912 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 4697 246 174 640 0 3989 0

[startup+0.0591101 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8657
/proc/meminfo: memFree=1773120/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=12532 CPUtime=0.05
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 773 0 0 0 5 0 0 0 18 0 1 0 188662236 12832768 693 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 3133 693 189 640 0 2489 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12532

[startup+0.101114 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8657
/proc/meminfo: memFree=1773120/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=12532 CPUtime=0.09
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 774 0 0 0 9 0 0 0 18 0 1 0 188662236 12832768 694 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 3133 694 189 640 0 2489 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12532

[startup+0.301136 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8657
/proc/meminfo: memFree=1773120/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=12532 CPUtime=0.29
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 776 0 0 0 29 0 0 0 19 0 1 0 188662236 12832768 696 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 3133 696 189 640 0 2489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12532

[startup+0.701182 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8657
/proc/meminfo: memFree=1773120/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=12532 CPUtime=0.69
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 777 0 0 0 69 0 0 0 22 0 1 0 188662236 12832768 697 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 3133 697 189 640 0 2489 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12532

[startup+1.50127 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8658
/proc/meminfo: memFree=1771000/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=12532 CPUtime=1.49
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 777 0 0 0 149 0 0 0 25 0 1 0 188662236 12832768 697 1992294400 134512640 137136520 4294956256 18446744073709551615 134545035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 3133 697 189 640 0 2489 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12532

[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8658
/proc/meminfo: memFree=1770872/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=12532 CPUtime=3.09
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 777 0 0 0 309 0 0 0 25 0 1 0 188662236 12832768 697 1992294400 134512640 137136520 4294956256 18446744073709551615 134545132 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 3133 697 189 640 0 2489 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12532

[startup+6.30182 s]
/proc/loadavg: 1.00 1.00 1.00 4/65 8658
/proc/meminfo: memFree=1766648/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=24804 CPUtime=6.29
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 3928 0 0 0 625 4 0 0 25 0 1 0 188662236 25399296 3787 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 6201 3787 197 640 0 5557 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24804

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8658
/proc/meminfo: memFree=1739136/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=45852 CPUtime=12.68
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 9177 0 0 0 1261 7 0 0 25 0 1 0 188662236 46952448 9036 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 11463 9036 197 640 0 10819 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45852

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8658
/proc/meminfo: memFree=1704320/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=78884 CPUtime=25.48
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 17449 0 0 0 2534 14 0 0 25 0 1 0 188662236 80777216 17308 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 19721 17308 197 640 0 19077 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78884

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8658
/proc/meminfo: memFree=1651072/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=132388 CPUtime=51.07
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 30823 0 0 0 5081 26 0 0 25 0 1 0 188662236 135565312 30682 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 33097 30682 197 640 0 32453 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 132388

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8658
/proc/meminfo: memFree=1578496/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=204428 CPUtime=102.26
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 48828 0 0 0 10178 48 0 0 25 0 1 0 188662236 209334272 48687 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 51107 48687 197 640 0 50463 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 204428

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8660
/proc/meminfo: memFree=1515648/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=267468 CPUtime=162.23
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 64592 0 0 0 16156 67 0 0 25 0 1 0 188662236 273887232 64451 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 66867 64451 197 640 0 66223 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 267468

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8660
/proc/meminfo: memFree=1476608/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=306024 CPUtime=222.22
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 74225 0 0 0 22143 79 0 0 25 0 1 0 188662236 313368576 74084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 76506 74084 197 640 0 75862 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 306024

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8660
/proc/meminfo: memFree=1465536/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=317044 CPUtime=282.2
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 76990 0 0 0 28138 82 0 0 25 0 1 0 188662236 324653056 76849 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 79261 76849 197 640 0 78617 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 317044

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8660
/proc/meminfo: memFree=1456704/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=325948 CPUtime=342.18
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 79201 0 0 0 34134 84 0 0 25 0 1 0 188662236 333770752 79060 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 81487 79060 197 640 0 80843 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 325948

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8660
/proc/meminfo: memFree=1428032/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=354816 CPUtime=402.16
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 86432 0 0 0 40124 92 0 0 25 0 1 0 188662236 363331584 86291 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 88704 86291 197 640 0 88060 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 354816

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8660
/proc/meminfo: memFree=1402816/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=379760 CPUtime=462.14
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 92670 0 0 0 46113 101 0 0 25 0 1 0 188662236 388874240 92529 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 94940 92529 197 640 0 94296 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 379760

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8660
/proc/meminfo: memFree=1378688/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=403936 CPUtime=522.12
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 98692 0 0 0 52101 111 0 0 25 0 1 0 188662236 413630464 98551 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 100984 98551 197 640 0 100340 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 403936

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8660
/proc/meminfo: memFree=1357184/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=425268 CPUtime=582.11
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 104030 0 0 0 58091 120 0 0 25 0 1 0 188662236 435474432 103889 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 106317 103889 197 640 0 105673 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 425268

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1334200/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=448184 CPUtime=642.07
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 109773 0 0 0 64078 129 0 0 25 0 1 0 188662236 458940416 109632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 112046 109632 197 640 0 111402 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 448184

[startup+702.302 s]

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

[startup+882.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8666
/proc/meminfo: memFree=1243904/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=538092 CPUtime=882
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 132256 0 0 0 88036 164 0 0 25 0 1 0 188662236 551006208 132115 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 134523 132115 197 640 0 133879 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 538092

[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8666
/proc/meminfo: memFree=1225856/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=556360 CPUtime=941.98
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 136823 0 0 0 94027 171 0 0 25 0 1 0 188662236 569712640 136682 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 139090 136682 197 640 0 138446 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 556360

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1209728/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=572256 CPUtime=1001.96
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 140780 0 0 0 100019 177 0 0 25 0 1 0 188662236 585990144 140639 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 143064 140639 197 640 0 142420 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 572256

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1170368/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=612152 CPUtime=1061.94
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 150768 0 0 0 106004 190 0 0 25 0 1 0 188662236 626843648 150627 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 153038 150627 197 640 0 152394 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 612152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1149632/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=632248 CPUtime=1121.93
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 155777 0 0 0 111995 198 0 0 25 0 1 0 188662236 647421952 155636 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 158062 155636 197 640 0 157418 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 632248

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1138816/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=642952 CPUtime=1181.91
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 158456 0 0 0 117989 202 0 0 25 0 1 0 188662236 658382848 158315 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 160738 158315 197 640 0 160094 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 642952

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1134976/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=646760 CPUtime=1241.89
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 159416 0 0 0 123986 203 0 0 25 0 1 0 188662236 662282240 159275 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 161690 159275 197 640 0 161046 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 646760

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1132352/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=649332 CPUtime=1301.87
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 160058 0 0 0 129983 204 0 0 25 0 1 0 188662236 664915968 159917 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 162333 159917 197 640 0 161689 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 649332

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1102464/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=679392 CPUtime=1361.85
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 167560 0 0 0 135970 215 0 0 25 0 1 0 188662236 695697408 167419 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 169848 167419 197 640 0 169204 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 679392

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1075968/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=705616 CPUtime=1421.84
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 174119 0 0 0 141959 225 0 0 25 0 1 0 188662236 722550784 173978 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 176404 173978 197 640 0 175760 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 705616

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1056448/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=725196 CPUtime=1481.81
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 179021 0 0 0 147950 231 0 0 25 0 1 0 188662236 742600704 178880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 181299 178880 197 640 0 180655 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 725196

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1043968/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=737316 CPUtime=1541.8
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 182397 0 0 0 153944 236 0 0 25 0 1 0 188662236 755011584 181907 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 184329 181907 197 640 0 183685 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 737316

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1043968/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=737316 CPUtime=1601.78
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 182397 0 0 0 159942 236 0 0 25 0 1 0 188662236 755011584 181907 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 184329 181907 197 640 0 183685 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 737316

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1043968/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=737316 CPUtime=1661.76
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 182397 0 0 0 165940 236 0 0 25 0 1 0 188662236 755011584 181907 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 184329 181907 197 640 0 183685 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 737316

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1043968/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=737316 CPUtime=1721.75
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 182397 0 0 0 171939 236 0 0 25 0 1 0 188662236 755011584 181907 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 184329 181907 197 640 0 183685 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 737316

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1044032/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=737316 CPUtime=1781.73
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 182397 0 0 0 177937 236 0 0 25 0 1 0 188662236 755011584 181907 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 184329 181907 197 640 0 183685 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 737316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8666
/proc/meminfo: memFree=1044032/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=737316 CPUtime=1800.03
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194304 182397 0 0 0 179767 236 0 0 25 0 1 0 188662236 755011584 181907 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8657/statm: 184329 181907 197 640 0 183685 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 737316

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8667
/proc/meminfo: memFree=1613688/2055920 swapFree=4189872/4192956
[pid=8657] ppid=8655 vsize=0 CPUtime=1800.13
/proc/8657/stat : 8657 (bsolo) R 8655 8657 7938 0 -1 4194308 182399 0 0 0 179768 245 0 0 25 0 1 0 188662236 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/8657/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.73
CPU time (s): 1800.16
CPU user time (s): 1797.68
CPU system time (s): 2.47962
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 738712

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

runsolver used 1.42478 second user time and 4.19436 second system time

The end

Launcher Data 

Begin job on node28 at 2009-06-17 05:50:22
IDJOB=1878287
IDBENCH=48267
IDSOLVER=700
FILE ID=node28/1878287-1245210622
PBS_JOBID= 9368350
Free space on /tmp= 66176 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_3.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878287-1245210622/watcher-1878287-1245210622 -o /tmp/evaluation-result-1878287-1245210622/solver-1878287-1245210622 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878287-1245210622.opb

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

MD5SUM BENCH= 29cda419af6adbdf14450bbe70fbdfc2
RANDOM SEED=584858438

node28.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.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1773792 kB
Buffers:         52000 kB
Cached:         137424 kB
SwapCached:       1180 kB
Active:          59664 kB
Inactive:       149240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1773792 kB
SwapTotal:     4192956 kB
SwapFree:      4189872 kB
Dirty:            4020 kB
Writeback:           0 kB
Mapped:          21212 kB
Slab:            59084 kB
Committed_AS:   173548 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878287-1245210622.opb

Free space on /tmp at the end= 66172 MiB
End job on node28 at 2009-06-17 06:20:25