Trace number 350565

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.16SAT39 1800.02 1800.5

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-vpm1.opb
MD5SUM019e5a614038472d624f56ab4ecfb30e
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39
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 38
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 constraint82
Number of terms in the objective function 168
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 168
Number of bits of the sum of numbers in the objective function 8
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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/350565-1176520669/instance-350565-1176520669.opb
0.00/0.00	c File size is 106651 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
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: 12852 Watch. Lit: 8083
0.00/0.02	c Obj. Vars: 168 (6.10022 % of total variables)
0.06/0.07	c Pre-processing Time: 0.068 s
100.16/100.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
100.16/100.27	c        0   1861      301     9230   30     6439   18460      0      0 0.07
100.16/100.27	c      101   1861      402    13814   34     7426   20307    101   1311 0.08
100.16/100.27	c      251   1861      552    20027   36     7922   22338    251   2820 0.09
100.16/100.27	c      476   1861      777    31189   40     8419   24572    476   4288 0.11
100.16/100.27	c      814   1861     1115    53986   48     9343   27030    814   5575 0.15
100.16/100.27	c     1322   1861     1623    75618   46    10293   29734   1322   6417 0.21
100.16/100.27	c     2086   1861     2387   108529   45    11810   32708   2086   6930 0.30
100.16/100.27	c     3232   1861     3533   204915   58    14224   35979   3232   7378 0.44
100.16/100.27	c     4953   1861     5254   305962   58    17614   39577   4953   6025 0.82
100.16/100.27	c     7538   1861     7839   487049   62    22967   43535   7538   6153 1.23
100.16/100.27	c    11418   1861    11719   772672   65    30638   47889  11418   3755 3.04
100.16/100.27	c    17243   1861    17544  1097653   62    42368   52678  17243   3129 5.51
100.16/100.27	c    25980   1861    26281  1572378   59    59869   57946  25980   3248 8.00
100.16/100.27	c    39094   1861    39395  2484997   63    86017   63741  39094   2003 19.51
100.16/100.27	c    58765   1861    59066  3518533   59   125274   70116  58765   1082 54.29
100.16/100.27	c    88275   1861    28959  1405998   48    64998   77128  28658    885 99.71
100.16/100.27	o 39	100.244
1799.92/1800.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.92/1800.47	c    92052   1861    32737  1647780   50    72774   19460  32436    918 100.25
1799.92/1800.47	c    92152   1861    10132   549569   54    27582   21407   9831    902 102.13
1799.92/1800.47	c    92403   1861    10383   564409   54    28196   23548  10082    904 102.20
1799.92/1800.47	c    92878   1861    10858   576576   53    28903   25903  10557    908 102.25
1799.92/1800.47	c    93691   1861    11671   599417   51    30592   28494  11370    915 102.36
1799.92/1800.47	c    95011   1861    12991   639064   49    33230   31344  12690    926 102.56
1799.92/1800.47	c    97092   1861    15072   712784   47    37401   34479  14771    942 103.01
1799.92/1800.47	c   100315   1861    18295   933054   51    43954   37927  17994    968 103.56
1799.92/1800.47	c   105251   1861    23231  1228275   52    53617   41720  22930   1004 104.78
1799.92/1800.47	c   112757   1861    30737  1926855   62    68749   45893  30436   1049 107.42
1799.92/1800.47	c   124119   1861    42099  2808639   66    91442   50483  41798   1084 114.49
1799.92/1800.47	c   141263   1861    19148   942316   49    45535   55532  18847   1087 129.84
1799.92/1800.48	c   167082   1861    44967  2222644   49    97217   61086  44666    997 167.54
1799.92/1800.48	c   205916   1861    32993  3882660  117    73337   67195  32692    925 222.51
1799.92/1800.48	c   264268   1861    34364  1905952   55    75942   73915  34063    666 396.58
1799.92/1800.48	c   351904   1861    59620  5922995   99   126467   81307  59319    540 651.09
1799.92/1800.48	c   483457   1861    49325  2749070   55   105876   89438  49024    371 1299.81
1799.92/1800.48	c Resources Exceeded
1799.92/1800.48	v x2587 -x2588 x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 x2597 x2598 x2599 x2600 x2601 x2602 x2603 x2604 -x2605
1799.92/1800.48	v -x2606 x2607 x2608 -x2609 x2610 -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 x2618 x2619 -x2620 -x2621 -x2622 -x2623
1799.92/1800.48	v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 -x2641
1799.92/1800.48	v -x2642 -x2643 x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659
1799.92/1800.48	v -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 x2669 x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677
1799.92/1800.48	v -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 x2694 -x2695
1799.92/1800.48	v -x2696 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 x2713
1799.92/1800.48	v -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
1799.92/1800.48	v -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 x2745 -x2746 -x2747 -x2748
1799.92/1800.48	v -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752
1799.92/1800.48	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
1799.92/1800.48	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1799.92/1800.48	v -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1799.92/1800.48	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1799.92/1800.48	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 x857
1799.92/1800.48	v -x858 -x859 -x860 -x861 x862 x863 x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
1799.92/1800.48	v x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900
1799.92/1800.48	v x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 x917 x918 -x919 -x920 x921 -x922
1799.92/1800.48	v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943
1799.92/1800.48	v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964
1799.92/1800.48	v x965 -x966 -x967 x968 -x969 x970 x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1799.92/1800.48	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1799.92/1800.48	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1799.92/1800.48	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1799.92/1800.48	v -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1799.92/1800.48	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1799.92/1800.48	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091
1799.92/1800.48	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1799.92/1800.48	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1799.92/1800.48	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1799.92/1800.48	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1799.92/1800.48	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1799.92/1800.48	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1799.92/1800.48	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
1799.92/1800.48	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
1799.92/1800.48	v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
1799.92/1800.48	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1799.92/1800.48	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278
1799.92/1800.48	v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295
1799.92/1800.48	v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312
1799.92/1800.48	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329
1799.92/1800.48	v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1799.92/1800.48	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1799.92/1800.48	v -x1364 -x1365 x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1799.92/1800.48	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399
1799.92/1800.48	v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416
1799.92/1800.48	v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433
1799.92/1800.48	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
1799.92/1800.48	v x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1799.92/1800.48	v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1799.92/1800.48	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 x1499 x1500 -x1501 x1502 x1503
1799.92/1800.48	v x1504 x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521
1799.92/1800.48	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538
1799.92/1800.48	v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555
1799.92/1800.48	v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572
1799.92/1800.48	v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589
1799.92/1800.48	v -x1590 -x1591 x1592 x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607
1799.92/1800.48	v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624
1799.92/1800.48	v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641
1799.92/1800.48	v -x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 -x1649 x1650 -x1651 -x1652 -x1653 x1654 x1655 -x1656 x1657 x1658 -x1659
1799.92/1800.48	v x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676
1799.92/1800.48	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693
1799.92/1800.48	v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
1799.92/1800.48	v -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727
1799.92/1800.48	v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744
1799.92/1800.48	v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761
1799.92/1800.48	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
1799.92/1800.48	v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 x1789 -x1790 x1791 x1792 x1793 -x1794 -x1795 -x1796
1799.92/1800.48	v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813
1799.92/1800.48	v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
1799.92/1800.48	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847
1799.92/1800.48	v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864
1799.92/1800.48	v -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881
1799.92/1800.48	v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898
1799.92/1800.48	v x1899 x1900 x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916
1799.92/1800.48	v -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933
1799.92/1800.48	v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
1799.92/1800.48	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 x1966 x1967 x1968
1799.92/1800.48	v x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985
1799.92/1800.48	v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002
1799.92/1800.48	v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019
1799.92/1800.48	v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036
1799.92/1800.48	v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053
1799.92/1800.48	v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
1799.92/1800.48	v x2071 -x2072 -x2073 x2074 x2075 x2076 x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088
1799.92/1800.48	v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105
1799.92/1800.48	v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122
1799.92/1800.48	v -x2123 -x2124 -x2125 x2126 -x2127 -x2128 x2129 -x2130 x2131 x2132 x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
1799.92/1800.48	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157
1799.92/1800.48	v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174
1799.92/1800.48	v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191
1799.92/1800.48	v -x2192 -x2193 x2194 x2195 -x2196 x2197 x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209
1799.92/1800.48	v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226
1799.92/1800.48	v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243
1799.92/1800.48	v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
1799.92/1800.48	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277
1799.92/1800.48	v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294
1799.92/1800.48	v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311
1799.92/1800.48	v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328
1799.92/1800.48	v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345
1799.92/1800.48	v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363
1799.92/1800.48	v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
1799.92/1800.48	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397
1799.92/1800.48	v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414
1799.92/1800.48	v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431
1799.92/1800.48	v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448
1799.92/1800.48	v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465
1799.92/1800.48	v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483
1799.92/1800.48	v x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
1799.92/1800.48	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517
1799.92/1800.48	v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534
1799.92/1800.48	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551
1799.92/1800.48	v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568
1799.92/1800.48	v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585
1799.92/1800.48	v -x2586 -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
1799.92/1800.48	v -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
1799.92/1800.48	v -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
1799.92/1800.48	v x81 x82 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
1799.92/1800.48	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 x125 x126 -x127 -x128
1799.92/1800.48	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1799.92/1800.48	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1799.92/1800.48	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1799.92/1800.48	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1799.92/1800.48	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 x233
1799.92/1800.48	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x249 x250 -x251 -x252 -x253 -x254
1799.92/1800.48	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1799.92/1800.48	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296
1799.92/1800.48	v -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317
1799.92/1800.48	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 -x336 -x337 -x338
1799.92/1800.48	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1799.92/1800.48	v -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1799.92/1800.48	v -x381 x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401
1799.92/1800.48	v x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1799.92/1800.48	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 x434 -x435 x436 -x437 -x438 x439 -x440 -x441 -x442 -x443
1799.92/1800.48	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464
1799.92/1800.48	v -x465 -x466 -x467 -x468 -x469 -x470 x471 x472 -x473 x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1799.92/1800.48	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506
1799.92/1800.48	v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527
1799.92/1800.48	v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 x540 x541 -x542 -x543 -x544 -x545 x546 x547 -x548 x549
1799.92/1800.48	v x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1799.92/1800.48	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
1799.92/1800.48	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612
1799.92/1800.48	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
1799.92/1800.48	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 x652 x653 -x654
1799.92/1800.48	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675
1799.92/1800.48	v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696
1799.92/1800.48	v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
1799.92/1800.48	v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738
1799.92/1800.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.92/1800.48	c   32   623755  30989   733746    32458  1723855  32157    346 1800.00
1799.92/1800.48	c Objective: 39
1799.92/1800.48	s SATISFIABLE
1799.92/1800.48	c Total time: 1800 s

Verifier Data (download as text)

OK	39

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-350565-1176520669 -o ROOT/results/node19/solver-350565-1176520669 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350565-1176520669/instance-350565-1176520669.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.73 0.99 0.99 3/77 28329
/proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=11844 CPUtime=0
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 99984267 12128256 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 2961 337 282 324 0 2003 0

[startup+0.0642819 s]
/proc/loadavg: 0.73 0.99 0.99 3/77 28329
/proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=4852 CPUtime=0.06
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 645 0 0 0 6 0 0 0 18 0 1 0 99984267 4968448 586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 1213 586 307 324 0 282 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4852

[startup+0.101287 s]
/proc/loadavg: 0.73 0.99 0.99 3/77 28329
/proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=4852 CPUtime=0.09
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 653 0 0 0 9 0 0 0 18 0 1 0 99984267 4968448 594 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 1213 594 311 324 0 282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4852

[startup+0.301308 s]
/proc/loadavg: 0.73 0.99 0.99 3/77 28329
/proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=6156 CPUtime=0.29
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 969 0 0 0 29 0 0 0 19 0 1 0 99984267 6303744 910 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 1539 910 312 324 0 608 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6156

[startup+0.701351 s]
/proc/loadavg: 0.73 0.99 0.99 3/77 28329
/proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=8616 CPUtime=0.69
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 1579 0 0 0 69 0 0 0 22 0 1 0 99984267 8822784 1520 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 2154 1520 312 324 0 1223 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8616

[startup+1.50144 s]
/proc/loadavg: 0.73 0.99 0.99 2/78 28330
/proc/meminfo: memFree=1596288/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=12384 CPUtime=1.49
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 2540 0 0 0 148 1 0 0 25 0 1 0 99984267 12681216 2481 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 3096 2481 312 324 0 2165 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12384

[startup+3.10161 s]
/proc/loadavg: 0.73 0.99 0.99 2/78 28330
/proc/meminfo: memFree=1592192/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=15880 CPUtime=3.09
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 3387 0 0 0 308 1 0 0 25 0 1 0 99984267 16261120 3328 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 3970 3328 312 324 0 3039 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15880

[startup+6.30196 s]
/proc/loadavg: 0.75 0.99 0.99 2/78 28330
/proc/meminfo: memFree=1585736/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=22512 CPUtime=6.29
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 5066 0 0 0 626 3 0 0 25 0 1 0 99984267 23052288 5007 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 5628 5007 312 324 0 4697 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22512

[startup+12.7017 s]
/proc/loadavg: 0.77 0.99 0.99 2/78 28330
/proc/meminfo: memFree=1572488/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=34456 CPUtime=12.69
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 8058 0 0 0 1262 7 0 0 25 0 1 0 99984267 35282944 7999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 8614 7999 312 324 0 7683 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34456

[startup+25.501 s]
/proc/loadavg: 0.89 1.00 0.99 2/78 28330
/proc/meminfo: memFree=1560264/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=45864 CPUtime=25.48
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 10912 0 0 0 2538 10 0 0 25 0 1 0 99984267 46964736 10853 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 11466 10853 312 324 0 10535 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45864

[startup+51.1018 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 28330
/proc/meminfo: memFree=1550920/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=55304 CPUtime=51.08
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 13246 0 0 0 5092 16 0 0 25 0 1 0 99984267 56631296 13187 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 13826 13187 312 324 0 12895 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55304

[startup+102.305 s]
/proc/loadavg: 0.97 1.00 0.99 2/78 28330
/proc/meminfo: memFree=1540488/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=65420 CPUtime=102.27
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 15844 0 0 0 10202 25 0 0 25 0 1 0 99984267 66990080 15715 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 16355 15715 313 324 0 15424 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 65420

[startup+162.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 28330
/proc/meminfo: memFree=1540552/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=65420 CPUtime=162.25
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 15845 0 0 0 16190 35 0 0 25 0 1 0 99984267 66990080 15716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 16355 15716 313 324 0 15424 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 65420

[startup+222.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 28330
/proc/meminfo: memFree=1540552/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=65404 CPUtime=222.24
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 15907 0 0 0 22181 43 0 0 25 0 1 0 99984267 66973696 15716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7917052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 16351 15716 313 324 0 15420 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 65404

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28330
/proc/meminfo: memFree=1524424/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=81752 CPUtime=282.22
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 20013 0 0 0 28171 51 0 0 25 0 1 0 99984267 83714048 19822 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 20438 19822 313 324 0 19507 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 81752

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28330
/proc/meminfo: memFree=1518664/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=87172 CPUtime=342.2
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21432 0 0 0 34164 56 0 0 25 0 1 0 99984267 89264128 21173 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 21793 21173 313 324 0 20862 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 87172

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28330
/proc/meminfo: memFree=1518728/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=87172 CPUtime=402.18
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21432 0 0 0 40157 61 0 0 25 0 1 0 99984267 89264128 21173 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 21793 21173 313 324 0 20862 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 87172

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28330
/proc/meminfo: memFree=1518728/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=87188 CPUtime=462.16
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21436 0 0 0 46150 66 0 0 25 0 1 0 99984267 89280512 21177 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 21797 21177 313 324 0 20866 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 87188

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28330
/proc/meminfo: memFree=1518792/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=87188 CPUtime=522.16
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21436 0 0 0 52145 71 0 0 25 0 1 0 99984267 89280512 21177 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 21797 21177 313 324 0 20866 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 87188

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28330
/proc/meminfo: memFree=1518792/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=87188 CPUtime=582.14
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21436 0 0 0 58140 74 0 0 25 0 1 0 99984267 89280512 21177 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 21797 21177 313 324 0 20866 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 87188

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28330
/proc/meminfo: memFree=1518792/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=87188 CPUtime=642.13
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21436 0 0 0 64137 76 0 0 25 0 1 0 99984267 89280512 21177 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7601268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 21797 21177 313 324 0 20866 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 87188


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

/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106284 CPUtime=1121.99
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26275 0 0 0 112097 102 0 0 25 0 1 0 99984267 108834816 25934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26571 25934 313 324 0 25640 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 106284

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499528/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106284 CPUtime=1181.98
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26275 0 0 0 118094 104 0 0 25 0 1 0 99984267 108834816 25934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26571 25934 313 324 0 25640 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 106284

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499592/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106284 CPUtime=1241.96
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26275 0 0 0 124088 108 0 0 25 0 1 0 99984267 108834816 25934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26571 25934 313 324 0 25640 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 106284

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499592/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106284 CPUtime=1301.95
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26275 0 0 0 130083 112 0 0 25 0 1 0 99984267 108834816 25934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26571 25934 313 324 0 25640 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 106284

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499592/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1361.93
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 136074 119 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 106320

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499656/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1421.92
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 142068 124 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 106320

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499656/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1481.9
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 148062 128 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 106320

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499656/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1541.89
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 154058 131 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 106320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1601.87
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 160054 133 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 106320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1661.85
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 166051 134 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 106320

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499656/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1721.84
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 172047 137 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 106320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1781.82
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 178043 139 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 106320

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1791.42
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179002 140 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 106320

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1794.62
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179322 140 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 106320

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1797.82
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179641 141 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 106320

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1798.62
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179721 141 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 106320

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1799.42
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179801 141 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 106320

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1799.82
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179841 141 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1799.82
Current children cumulated vsize (KiB) 106320

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956
[pid=28329] ppid=28327 vsize=106320 CPUtime=1799.92
/proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179851 141 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28329/statm: 26580 25942 313 324 0 25649 0
Current children cumulated CPU time (s) 1799.92
Current children cumulated vsize (KiB) 106320

Child status: 0
Real time (s): 1800.5
CPU time (s): 1800.02
CPU user time (s): 1798.59
CPU system time (s): 1.42778
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 106612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.42778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26284
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= 15
involuntary context switches= 2953

runsolver used 2.21466 second user time and 4.29335 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Apr 14 03:17:49 UTC 2007

IDJOB= 350565
IDBENCH= 1514
IDSOLVER= 163
FILE ID= node19/350565-1176520669

PBS_JOBID= 4556713

Free space on /tmp= 66541 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350565-1176520669/instance-350565-1176520669.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-350565-1176520669 -o ROOT/results/node19/solver-350565-1176520669 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350565-1176520669/instance-350565-1176520669.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  019e5a614038472d624f56ab4ecfb30e

RANDOM SEED= 426463502

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1603168 kB
Buffers:         39228 kB
Cached:         303220 kB
SwapCached:          0 kB
Active:         141008 kB
Inactive:       255144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1603168 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4728 kB
Writeback:           0 kB
Mapped:          72600 kB
Slab:            42144 kB
Committed_AS:  2697316 kB
PageTables:       1784 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= 66541 MiB

End job on node19 on Sat Apr 14 03:47:49 UTC 2007