Trace number 432535

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, and are wall clock time (not CPU 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.0.17SAT (TO)117 1800.1 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUMf81823d3f3bf1b9e5d936e06c7f51a9c
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark117
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 117
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint11
Maximum length of a constraint84
Number of terms in the objective function 168
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 504
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432535-1177944624/instance-432535-1177944624.opb
0.00/0.00	c File size is 109193 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Highest Coefficient sum: 4.94187e+06
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.02 s
0.00/0.02	c Var: 2754 Constr: 486 0/0/486 Lit: 13020 Watch. Lit: 8251
0.00/0.02	c Obj. Vars: 168 (6.10022 % of total variables)
0.00/0.07	c Pre-processing Time: 0.067 s
4.79/4.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.88	c        0   1794      234     8661   37     6030   17322      0      0 0.07
4.79/4.88	c      101   1794      335    13788   41     7033   19055    101   1364 0.07
4.79/4.88	c      251   1794      485    22923   47     7557   20961    251   2885 0.09
4.79/4.88	c      476   1794      710    31978   45     7933   23058    476   4407 0.11
4.79/4.88	c      814   1794     1048    41361   39     8603   25364    814   5985 0.14
4.79/4.88	c     1322   1794     1556    51001   32     9628   27901   1322   7385 0.18
4.79/4.88	c     2085   1794     2319    70031   30    11160   30692   2085   8545 0.24
4.79/4.88	c     3233   1794     3467   117069   33    13689   33762   3233   8737 0.37
4.79/4.88	c     4954   1793     5188   173042   33    17165   37139   4954   7704 0.64
4.79/4.88	c     7539   1793     7773   244803   31    22301   40853   7539   6578 1.15
4.79/4.88	c    11420   1793    11654   359038   30    30080   44939  11420   5920 1.93
4.79/4.88	c    17242   1793    17476   517119   29    41715   49433  17242   4941 3.49
4.79/4.88	o 120	4.882
133.45/133.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
133.45/133.52	c    22695   1793    22930   973398   42    52889   17560  22696   4647 4.88
133.45/133.52	c    22796   1793     9119   574424   62    25164   19317   8885   4496 5.07
133.45/133.52	c    23046   1793     9369   582210   62    25586   21249   9135   4508 5.11
133.45/133.52	c    23522   1793     9845   593553   60    26511   23374   9611   4524 5.20
133.45/133.52	c    24335   1793    10658   618119   57    28166   25712  10424   4527 5.38
133.45/133.52	c    25655   1793    11978   688234   57    30929   28284  11744   4569 5.61
133.45/133.52	c    27736   1793    14059   764879   54    35169   31113  13825   4480 6.19
133.45/133.52	c    30961   1793    17284   904355   52    41570   34225  17050   4480 6.91
133.45/133.52	c    35897   1793    22220  1118253   50    51442   37648  21986   3550 10.11
133.45/133.52	c    43404   1793    29727  1590305   53    66555   41413  29493   3728 11.64
133.45/133.52	c    54767   1793    41090  2353407   57    89217   45555  40856   2942 18.61
133.45/133.52	c    71911   1793    23557  1575923   66    54155   50111  23323   2356 30.52
133.45/133.52	c    97736   1793    49382  2758547   55   105843   55123  49148   2001 48.84
133.45/133.52	c   136568   1793    44131  2245767   50    95252   60636  43897   1367 99.84
133.45/133.52	o 119	133.473
293.99/294.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
293.99/294.17	c   174794   1793    33540  1784748   53    74205   17560  33306   1309 133.47
293.99/294.17	c   174894   1793     9118   604395   66    25231   19317   8884   1300 134.48
293.99/294.17	c   175144   1793     9368   618112   65    25698   21249   9134   1301 134.52
293.99/294.17	c   175619   1793     9843   640152   65    26638   23374   9609   1305 134.56
293.99/294.17	c   176433   1793    10657   696665   65    28347   25712  10423   1309 134.69
293.99/294.17	c   177753   1793    11977   748881   62    30893   28284  11743   1317 134.94
293.99/294.17	c   179836   1793    14060   860839   61    35009   31113  13826   1330 135.17
293.99/294.17	c   183059   1793    17283  1014180   58    41415   34225  17049   1347 135.87
293.99/294.17	c   187995   1793    22219  1304066   58    51293   37648  21985   1374 136.76
293.99/294.17	c   195501   1793    29725  1591972   53    66371   41413  29491   1403 139.33
293.99/294.17	c   206863   1793    41087  2139265   52    89063   45555  40853   1440 143.56
293.99/294.17	c   224007   1793    24188  1733124   71    55323   50111  23954   1441 155.35
293.99/294.17	c   249826   1793    50007  3115048   62   106978   55123  49773   1379 181.10
293.99/294.17	c   288660   1793    45070  2970975   65    97029   60636  44836   1362 211.83
293.99/294.17	c   347013   1793    53454  3562429   66   113974   66700  53220   1303 266.23
293.99/294.17	o 118	294.073
369.57/369.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
369.57/369.74	c   378101   1793    28528  2328759   81    64199   17560  28294   1285 294.07
369.57/369.74	c   378202   1793     9120   726828   79    25315   19317   8886   1283 294.62
369.57/369.74	c   378454   1793     9372   732631   78    25717   21249   9138   1284 294.65
369.57/369.74	c   378929   1793     9847   742236   75    26671   23374   9613   1285 294.72
369.57/369.74	c   379744   1793    10662   757729   71    28328   25712  10428   1288 294.83
369.57/369.74	c   381064   1793    11982   827976   69    30963   28284  11748   1291 295.01
369.57/369.74	c   383145   1793    14063   890887   63    35059   31113  13829   1296 295.51
369.57/369.74	c   386368   1793    17286   971966   56    41533   34225  17052   1303 296.42
369.57/369.74	c   391304   1793    22222  1264815   56    51340   37648  21988   1315 297.39
369.57/369.74	c   398811   1793    29729  1747206   58    66347   41413  29495   1332 299.20
369.57/369.74	c   410172   1793    41090  2497003   60    89036   45555  40856   1345 304.75
369.57/369.74	c   427316   1793    22512  1643518   73    51901   50111  22278   1348 316.94
369.57/369.74	c   453139   1793    48335  2721043   56   103617   55123  48101   1388 326.25
369.57/369.74	c   491971   1793    43232  2081524   48    93367   60636  42998   1344 365.81
369.57/369.74	o 117	369.612
1800.07/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.80	c   499903   1793    51165  2903430   56   109362   17560  50931   1352 369.61
1800.07/1800.80	c   500003   1793     9119   861685   94    25209   19317   8885   1348 370.87
1800.07/1800.80	c   500254   1793     9370   870508   92    25709   21249   9136   1348 370.91
1800.07/1800.80	c   500729   1793     9845   891567   90    26624   23374   9611   1349 371.00
1800.07/1800.80	c   501543   1793    10659   933771   87    28353   25712  10425   1351 371.10
1800.07/1800.80	c   502863   1793    11979   963845   80    30939   28284  11745   1354 371.26
1800.07/1800.80	c   504944   1793    14060  1050509   74    35134   31113  13826   1358 371.63
1800.07/1800.80	c   508167   1793    17283  1177552   68    41585   34225  17049   1364 372.35
1800.07/1800.80	c   513104   1793    22220  1408732   63    51435   37648  21986   1373 373.68
1800.07/1800.80	c   520610   1793    29726  1761566   59    66419   41413  29492   1377 377.89
1800.07/1800.80	c   531972   1792    41088  2185092   53    89227   45555  40854   1372 387.52
1800.07/1800.80	c   549117   1792    23521  1112118   47    54056   50111  23287   1390 394.89
1800.07/1800.80	c   574936   1792    49340  2761393   55   105580   55123  49106   1383 415.45
1800.07/1800.80	c   613769   1792    43809  2173920   49    94570   60636  43575   1325 462.90
1800.07/1800.80	c   672121   1792    51488  4747044   92   109992   66700  51254   1267 530.22
1800.07/1800.80	c   759754   1792    27128  1354400   49    61228   73371  26894    883 860.35
1800.07/1800.80	c   891307   1792    32489  2173357   66    71932   80709  32255    686 1298.37
1800.07/1800.80	c Caught signal: 15
1800.07/1800.80	v -x848 x860 -x861 -x862 -x863 x864 x865 x866 x867 -x868 -x869 x881 x882 -x883 x884 x885 -x886 x887 x888 x889 -x890 -x902 -x903
1800.07/1800.80	v -x904 -x905 x906 x907 x908 -x909 -x910 -x911 x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x955 -x956 -x957 -x958
1800.07/1800.80	v x959 x960 -x961 -x962 -x963 -x964 x976 x977 -x978 -x979 -x980 -x981 x982 x983 -x984 -x985 -x997 -x998 -x999 x1000 -x1001 -x1002
1800.07/1800.80	v -x1003 -x1004 -x1005 x1006 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1039 x1040 x1041 -x1042
1800.07/1800.80	v -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 x1068 x1069 -x1081 -x1082
1800.07/1800.80	v -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111
1800.07/1800.80	v x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162
1800.07/1800.80	v x1163 -x1164 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1197 -x1198 -x1199 -x1200 -x1201 -x1202
1800.07/1800.80	v x1203 -x1204 -x1205 -x1206 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x912
1800.07/1800.80	v -x913 -x914 -x915 -x916 -x917 x918 -x919 x920 -x921 -x922 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.07/1800.80	v -x1142 -x1143 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2150 -x2151 -x2152 -x2153
1800.07/1800.80	v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2271 -x2272 -x2273 -x2274 x2275 -x2276 x2277 x2278 -x2279 -x2280 -x2281
1800.07/1800.80	v -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2513 -x2514 -x2515 x2516 -x2517 x2518 x2519
1800.07/1800.80	v x2520 x2521 -x2522 -x2523 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 x2642 x2643 -x2644 -x12 -x13 -x14 -x15
1800.07/1800.80	v -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x254 x255 x256 -x257
1800.07/1800.80	v x258 x259 x260 -x261 -x262 -x263 -x264 x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x496 -x497 -x498 -x499
1800.07/1800.80	v -x500 -x501 -x502 -x503 -x504 -x505 -x506 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x738 -x739 -x740
1800.07/1800.80	v -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x870 x871
1800.07/1800.80	v x872 x873 x874 x875 -x876 -x877 x878 x879 -x880 -x891 -x892 -x893 x894 x895 x896 x897 -x898 x899 x900 -x901 -x923 -x924 -x925
1800.07/1800.80	v -x926 x927 x928 -x929 -x930 -x931 x932 -x933 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x965 -x966
1800.07/1800.80	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x1007
1800.07/1800.80	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034
1800.07/1800.80	v -x1035 -x1036 -x1037 -x1038 -x1049 x1050 -x1051 x1052 -x1053 -x1054 x1055 -x1056 x1057 -x1058 -x1059 -x1070 x1071 x1072
1800.07/1800.80	v x1073 x1074 -x1075 -x1076 -x1077 x1078 x1079 -x1080 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100
1800.07/1800.80	v -x1101 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1144 -x1145 -x1146 -x1147 -x1148
1800.07/1800.80	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1800.07/1800.80	v -x1186 -x1187 -x1188 -x1189 x1190 x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1800.07/1800.80	v -x1214 -x1215 -x1216 -x1217 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1469 x1470
1800.07/1800.80	v x1471 x1472 x1473 x1474 x1475 x1476 x1477 -x1478 -x1479 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658
1800.07/1800.80	v -x1659 -x1660 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x2007 -x2008 -x2009 -x2010
1800.07/1800.80	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027
1800.07/1800.80	v -x2028 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055
1800.07/1800.80	v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072
1800.07/1800.80	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089
1800.07/1800.80	v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106
1800.07/1800.80	v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 x2114 x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124
1800.07/1800.80	v x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141
1800.07/1800.80	v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169
1800.07/1800.80	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 x2184 x2185 x2186 x2187
1800.07/1800.80	v x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206
1800.07/1800.80	v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223
1800.07/1800.80	v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
1800.07/1800.80	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 x2250 x2251 x2252 x2253 -x2254 x2255 x2256 x2257 -x2258 -x2259
1800.07/1800.80	v x2260 x2261 x2262 x2263 x2264 x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288
1800.07/1800.80	v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1800.07/1800.80	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322
1800.07/1800.80	v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 x2338 x2339 x2340
1800.07/1800.80	v x2341 -x2342 x2343 x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358
1800.07/1800.80	v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375
1800.07/1800.80	v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2403
1800.07/1800.80	v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 x2416 x2417 x2418 x2419 x2420 x2421
1800.07/1800.80	v x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438
1800.07/1800.80	v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455
1800.07/1800.80	v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472
1800.07/1800.80	v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 -x2489 -x2490 x2491
1800.07/1800.80	v x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509
1800.07/1800.80	v -x2510 -x2511 -x2512 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1800.07/1800.80	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554
1800.07/1800.80	v -x2555 -x2556 -x2557 x2558 x2559 x2560 x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 x2568 x2569 x2570 x2571 x2572 -x2573
1800.07/1800.80	v -x2574 -x2575 x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591
1800.07/1800.80	v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608
1800.07/1800.80	v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625
1800.07/1800.80	v x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
1800.07/1800.80	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671
1800.07/1800.80	v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688
1800.07/1800.80	v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
1800.07/1800.80	v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 x2713 x2714 x2715 x2716 x2717 -x2718 x2719 x2720 -x2721 -x2722 -x2723 -x2724
1800.07/1800.80	v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1800.07/1800.80	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x23 -x24 -x25 -x26 -x27 -x28
1800.07/1800.80	v -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
1800.07/1800.80	v -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
1800.07/1800.80	v -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 x93 x94 -x95 x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1800.07/1800.80	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.07/1800.80	v -x129 -x130 -x131 -x132 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
1800.07/1800.80	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181
1800.07/1800.80	v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202
1800.07/1800.80	v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223
1800.07/1800.80	v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244
1800.07/1800.80	v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276
1800.07/1800.80	v x277 x278 -x279 x280 x281 -x282 x283 x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298
1800.07/1800.80	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1800.07/1800.80	v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
1800.07/1800.80	v -x341 x342 x343 x344 -x345 x346 -x347 -x348 -x349 x350 x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362
1800.07/1800.80	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394
1800.07/1800.80	v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415
1800.07/1800.80	v -x416 -x417 -x418 -x419 -x420 x421 x422 x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436
1800.07/1800.80	v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
1800.07/1800.80	v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478
1800.07/1800.80	v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x507 -x508 -x509 -x510
1800.07/1800.80	v x511 -x512 x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531
1800.07/1800.80	v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552
1800.07/1800.80	v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
1800.07/1800.80	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594
1800.07/1800.80	v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615
1800.07/1800.80	v -x616 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.07/1800.80	v -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
1800.07/1800.80	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.07/1800.80	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.07/1800.80	v -x711 -x712 -x713 -x714 -x715 x716 x717 -x718 x719 x720 x721 x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1800.07/1800.80	v -x733 -x734 -x735 -x736 -x737 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764
1800.07/1800.80	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
1800.07/1800.80	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1800.07/1800.80	v -x807 -x808 -x809 -x810 -x811 x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827
1800.07/1800.80	v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x1225
1800.07/1800.80	v -x1226 -x1227 x1228 -x1229 -x1230 x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1800.07/1800.80	v -x1244 -x1245 -x1246 x1247 x1248 -x1249 x1250 x1251 x1252 x1253 -x1254 x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262
1800.07/1800.80	v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1290
1800.07/1800.80	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 x1306 x1307 -x1308
1800.07/1800.80	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 x1324 x1325 -x1326
1800.07/1800.80	v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343
1800.07/1800.80	v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 x1360 x1361
1800.07/1800.80	v -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 x1375 x1376 -x1377 x1378 -x1379
1800.07/1800.80	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 x1396 x1397
1800.07/1800.80	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 x1414 x1415
1800.07/1800.80	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1800.07/1800.80	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1800.07/1800.80	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466
1800.07/1800.80	v x1467 x1468 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 x1495
1800.07/1800.80	v x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 x1512 x1513
1800.07/1800.80	v -x1514 -x1515 -x1516 -x1517 -x1518 x1519 x1520 x1521 -x1522 x1523 x1524 x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531
1800.07/1800.80	v -x1532 x1533 -x1534 -x1535 x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1800.07/1800.80	v x1550 -x1551 -x1552 x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567
1800.07/1800.80	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 x1580 x1581 -x1582 -x1583 -x1584 -x1585
1800.07/1800.80	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603
1800.07/1800.80	v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621
1800.07/1800.80	v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 x1631 x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 x1639
1800.07/1800.80	v x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1661 -x1662 x1663 -x1664 -x1665 x1666 x1667 -x1668
1800.07/1800.80	v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
1800.07/1800.80	v -x1686 -x1687 -x1688 -x1689 x1690 x1691 -x1692 x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
1800.07/1800.80	v -x1704 -x1705 -x1706 -x1707 -x1708 x1709 x1710 -x1711 x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721
1800.07/1800.80	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 x1729 -x1730 x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 x1738 -x1739
1800.07/1800.80	v -x1740 x1741 x1742 -x1743 x1744 -x1745 x1746 x1747 x1748 x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758
1800.07/1800.80	v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776
1800.07/1800.80	v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793
1800.07/1800.80	v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
1800.07/1800.80	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827
1800.07/1800.80	v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1854 -x1855
1800.07/1800.80	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1800.07/1800.80	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1800.07/1800.80	v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906
1800.07/1800.80	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 x1920 x1921 -x1922 -x1923 -x1924
1800.07/1800.80	v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1800.07/1800.80	v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959
1800.07/1800.80	v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
1800.07/1800.80	v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993
1800.07/1800.80	v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006
1800.07/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.80	c   71  1065870  83923  1306073    66538  3963352  66304    592 1800.09
1800.07/1800.80	c Objective: 117
1800.07/1800.80	s SATISFIABLE
1800.07/1800.80	c Total time: 1800.09 s

Verifier Data (download as text)

OK	117

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node3/watcher-432535-1177944624 -o ROOT/results/node3/solver-432535-1177944624 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432535-1177944624/instance-432535-1177944624.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.82 3/77 23515
/proc/meminfo: memFree=1754336/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=11844 CPUtime=0
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 270500203 12128256 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 2961 335 280 324 0 2004 0

[startup+0.0741259 s]
/proc/loadavg: 0.92 0.97 0.82 3/77 23515
/proc/meminfo: memFree=1754336/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=4860 CPUtime=0.06
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 646 0 0 0 6 0 0 0 18 0 1 0 270500203 4976640 589 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11357655 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 1215 589 309 324 0 285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4860

[startup+0.101129 s]
/proc/loadavg: 0.92 0.97 0.82 3/77 23515
/proc/meminfo: memFree=1754336/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=4860 CPUtime=0.09
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 657 0 0 0 9 0 0 0 18 0 1 0 270500203 4976640 600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 1215 600 309 324 0 285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4860

[startup+0.301162 s]
/proc/loadavg: 0.92 0.97 0.82 3/77 23515
/proc/meminfo: memFree=1754336/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=5912 CPUtime=0.29
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 904 0 0 0 29 0 0 0 19 0 1 0 270500203 6053888 847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 1478 847 310 324 0 548 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5912

[startup+0.701225 s]
/proc/loadavg: 0.92 0.97 0.82 3/77 23515
/proc/meminfo: memFree=1754336/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=7356 CPUtime=0.69
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 1279 0 0 0 68 1 0 0 23 0 1 0 270500203 7532544 1222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 1839 1222 310 324 0 909 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7356

[startup+1.50236 s]
/proc/loadavg: 0.92 0.97 0.82 2/78 23516
/proc/meminfo: memFree=1749784/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=9200 CPUtime=1.49
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 1735 0 0 0 148 1 0 0 25 0 1 0 270500203 9420800 1678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 2300 1678 310 324 0 1370 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9200

[startup+3.10161 s]
/proc/loadavg: 0.92 0.97 0.82 2/78 23516
/proc/meminfo: memFree=1747160/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=12324 CPUtime=3.09
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 2523 0 0 0 308 1 0 0 25 0 1 0 270500203 12619776 2466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 3081 2466 310 324 0 2151 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12324

[startup+6.30113 s]
/proc/loadavg: 0.93 0.97 0.82 2/78 23516
/proc/meminfo: memFree=1737944/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=19596 CPUtime=6.29
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 4338 0 0 0 627 2 0 0 25 0 1 0 270500203 20066304 4281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 4899 4281 311 324 0 3969 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19596

[startup+12.7012 s]
/proc/loadavg: 0.93 0.97 0.82 2/78 23516
/proc/meminfo: memFree=1728600/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=29472 CPUtime=12.68
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 6788 0 0 0 1265 3 0 0 25 0 1 0 270500203 30179328 6731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 7368 6731 311 324 0 6438 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29472

[startup+25.5012 s]
/proc/loadavg: 0.95 0.97 0.82 2/78 23516
/proc/meminfo: memFree=1713880/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=43616 CPUtime=25.48
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 10379 0 0 0 2542 6 0 0 25 0 1 0 270500203 44662784 10275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 10904 10275 311 324 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43616

[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.82 2/78 23516
/proc/meminfo: memFree=1711384/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=46612 CPUtime=51.07
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 11121 0 0 0 5100 7 0 0 25 0 1 0 270500203 47730688 11017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11366050 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 11653 11017 311 324 0 10723 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46612

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.83 2/78 23516
/proc/meminfo: memFree=1707160/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=50268 CPUtime=102.25
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 12114 0 0 0 10217 8 0 0 25 0 1 0 270500203 51474432 11954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 12567 11954 311 324 0 11637 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 50268

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.83 2/78 23516
/proc/meminfo: memFree=1706776/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=50680 CPUtime=162.23
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 12278 0 0 0 16214 9 0 0 25 0 1 0 270500203 51896320 12057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 12670 12057 311 324 0 11740 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 50680

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.84 2/78 23516
/proc/meminfo: memFree=1697048/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=60380 CPUtime=222.21
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 14802 0 0 0 22210 11 0 0 25 0 1 0 270500203 61829120 14464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 15095 14464 311 324 0 14165 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 60380

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.84 2/78 23516
/proc/meminfo: memFree=1686488/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=70884 CPUtime=282.19
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 17497 0 0 0 28206 13 0 0 25 0 1 0 270500203 72585216 17092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 17721 17092 311 324 0 16791 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 70884

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.85 2/78 23516
/proc/meminfo: memFree=1686488/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=70884 CPUtime=342.18
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 17497 0 0 0 34204 14 0 0 25 0 1 0 270500203 72585216 17092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 17721 17092 311 324 0 16791 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 70884

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.86 2/78 23516
/proc/meminfo: memFree=1686488/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=70884 CPUtime=402.15
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 17497 0 0 0 40201 14 0 0 25 0 1 0 270500203 72585216 17092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 17721 17092 311 324 0 16791 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 70884

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.86 2/78 23516
/proc/meminfo: memFree=1686680/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=70884 CPUtime=462.13
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 17497 0 0 0 46199 14 0 0 25 0 1 0 270500203 72585216 17092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 17721 17092 311 324 0 16791 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 70884

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.87 2/78 23516
/proc/meminfo: memFree=1686680/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=70884 CPUtime=522.11
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 17497 0 0 0 52196 15 0 0 25 0 1 0 270500203 72585216 17092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 17721 17092 311 324 0 16791 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 70884

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.87 2/78 23516
/proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88800 CPUtime=582.09
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22056 0 0 0 58189 20 0 0 25 0 1 0 270500203 90931200 21584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22200 21584 311 324 0 21270 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 88800

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.88 2/84 23588
/proc/meminfo: memFree=1667432/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88800 CPUtime=642.04
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22056 0 0 0 64183 21 0 0 25 0 1 0 270500203 90931200 21584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22200 21584 311 324 0 21270 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 88800


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

[startup+822.302 s]
/proc/loadavg: 1.23 1.04 0.92 2/78 23714
/proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88800 CPUtime=821.91
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22056 0 0 0 82169 22 0 0 25 0 1 0 270500203 90931200 21584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22200 21584 311 324 0 21270 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 88800

[startup+882.301 s]
/proc/loadavg: 1.08 1.03 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88800 CPUtime=881.88
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22056 0 0 0 88166 22 0 0 25 0 1 0 270500203 90931200 21584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22200 21584 311 324 0 21270 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 88800

[startup+942.302 s]
/proc/loadavg: 1.03 1.02 0.92 2/78 23714
/proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88800 CPUtime=941.87
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22056 0 0 0 94164 23 0 0 25 0 1 0 270500203 90931200 21584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22200 21584 311 324 0 21270 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 88800

[startup+1002.3 s]
/proc/loadavg: 1.01 1.01 0.92 2/78 23714
/proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88828 CPUtime=1001.84
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 100161 23 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22207 21591 311 324 0 21277 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 88828

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88828 CPUtime=1061.83
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 106159 24 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11357935 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22207 21591 311 324 0 21277 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 88828

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88828 CPUtime=1121.81
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 112157 24 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22207 21591 311 324 0 21277 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 88828

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88828 CPUtime=1181.79
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 118154 25 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22207 21591 311 324 0 21277 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 88828

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88828 CPUtime=1241.76
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 124151 25 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22207 21591 311 324 0 21277 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 88828

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88828 CPUtime=1301.75
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 130149 26 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22207 21591 311 324 0 21277 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 88828

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88844 CPUtime=1361.72
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22067 0 0 0 136146 26 0 0 25 0 1 0 270500203 90976256 21595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22211 21595 311 324 0 21281 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 88844

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88860 CPUtime=1421.71
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 142144 27 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22215 21599 311 324 0 21285 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 88860

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88860 CPUtime=1481.68
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 148141 27 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22215 21599 311 324 0 21285 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 88860

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88860 CPUtime=1541.66
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 154138 28 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22215 21599 311 324 0 21285 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 88860

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88860 CPUtime=1601.64
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 160136 28 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22215 21599 311 324 0 21285 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 88860

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88860 CPUtime=1661.62
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 166133 29 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22215 21599 311 324 0 21285 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 88860

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88860 CPUtime=1721.59
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 172130 29 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22215 21599 311 324 0 21285 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 88860

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88860 CPUtime=1781.58
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 178128 30 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11355441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22215 21599 311 324 0 21285 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 88860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23714
/proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956
[pid=23515] ppid=23513 vsize=88860 CPUtime=1800.07
/proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 179977 30 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23515/statm: 22215 21599 311 324 0 21285 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 88860

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

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

Child status: 15
Real time (s): 1800.82
CPU time (s): 1800.1
CPU user time (s): 1799.78
CPU system time (s): 0.32295
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 89068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.32295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22075
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= 13
involuntary context switches= 37070

runsolver used 1.45378 second user time and 3.9104 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Mon Apr 30 14:50:25 UTC 2007

IDJOB= 432535
IDBENCH= 1524
IDSOLVER= 199
FILE ID= node3/432535-1177944624

PBS_JOBID= 4727672

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432535-1177944624/instance-432535-1177944624.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-432535-1177944624 -o ROOT/results/node3/solver-432535-1177944624 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432535-1177944624/instance-432535-1177944624.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  f81823d3f3bf1b9e5d936e06c7f51a9c

RANDOM SEED= 406849738

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.270
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.270
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:       1754680 kB
Buffers:         39836 kB
Cached:         167872 kB
SwapCached:      17168 kB
Active:         113988 kB
Inactive:       117048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754680 kB
SwapTotal:     4192956 kB
SwapFree:      4138948 kB
Dirty:            6708 kB
Writeback:           0 kB
Mapped:          30040 kB
Slab:            55672 kB
Committed_AS:  6270740 kB
PageTables:       1780 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node3 on Mon Apr 30 15:20:28 UTC 2007