Trace number 2684972

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-wave alpha 2? (TO) 1800.1 1800.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12027_7-unsat.opb
MD5SUM9cb7abe340995f692b6fcedb078085dd
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.20466
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables27588
Total number of constraints91561
Number of constraints which are clauses91109
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints452
Minimum length of a constraint1
Maximum length of a constraint66
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 415
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.23	c PB-wave - v2
0.00/0.23	c command line = ./PB-wave
0.00/0.23	c seed = 88710910
0.00/0.23	c cutoff = 1000000
0.00/0.23	c tries = 1000000
0.00/0.23	c heuristic = c best, noise 50 / 100
0.00/0.23	#var 27588 #con 91561
0.00/0.23	mode is SAT
0.00/0.23	c tail starts after flip = 82764
0.00/0.23	c numatom = 27588, numclause = 91561, numliterals = 221812
0.00/0.23	c wff read in
0.00/0.23	c 
0.00/0.23	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.23	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.23	c       this      this      this      this      this      this   success   success       until         std
0.00/0.23	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.23	c
2.49/2.55	c       864      1065   1163.12    134.99      8.62   1000000         0
4.79/4.87	c       946      1179   1185.94    146.01      8.12   1000000         0
7.09/7.19	c       885      1159   1182.59    154.75      7.64   1000000         0
9.49/9.52	c       957      1138   1195.57    150.38      7.95   1000000         0
11.79/11.83	c       854      1224   1162.25    144.93      8.02   1000000         0
14.09/14.15	c       871      1124   1182.34    159.02      7.43   1000000         0
16.40/16.46	c       898      1107   1146.57    125.40      9.14   1000000         0
18.70/18.78	c       886      1092   1178.22    145.74      8.08   1000000         0
20.99/21.09	c       895      1165   1165.79    144.04      8.09   1000000         0
23.39/23.41	c       945      1109   1184.31    141.16      8.39   1000000         0
25.69/25.74	c       896      1153   1174.63    172.18      6.82   1000000         0
27.99/28.05	c       913      1173   1174.35    133.50      8.80   1000000         0
30.29/30.37	c       904       981   1159.35    138.76      8.35   1000000         0
32.58/32.68	c       874      1134   1167.90    130.77      8.93   1000000         0
34.98/35.01	c       938      1116   1187.46    140.97      8.42   1000000         0
37.29/37.34	c       892      1066   1200.58    134.81      8.91   1000000         0
39.59/39.66	c       840      1079   1171.08    148.16      7.90   1000000         0
41.88/41.97	c       911      1146   1178.86    170.15      6.93   1000000         0
44.28/44.30	c       833       974   1205.97    183.06      6.59   1000000         0
46.58/46.61	c       921      1147   1158.91    141.90      8.17   1000000         0
48.88/48.93	c       908       937   1188.35    145.29      8.18   1000000         0
51.18/51.26	c       865       909   1162.24    140.00      8.30   1000000         0
53.48/53.57	c       836      1038   1175.13    154.28      7.62   1000000         0
55.78/55.89	c       890      1122   1178.33    134.42      8.77   1000000         0
58.18/58.22	c       906      1161   1191.63    139.18      8.56   1000000         0
60.48/60.54	c       911      1162   1183.50    167.29      7.07   1000000         0
62.77/62.85	c       785      1102   1171.74    149.61      7.83   1000000         0
65.07/65.16	c       833      1143   1137.50    150.22      7.57   1000000         0
67.37/67.48	c       830      1161   1178.03    170.20      6.92   1000000         0
69.77/69.80	c       906      1142   1175.44    146.64      8.02   1000000         0
72.07/72.12	c       877      1129   1179.62    138.27      8.53   1000000         0
74.37/74.44	c       913      1313   1164.05    133.27      8.73   1000000         0
76.67/76.76	c       900      1088   1182.51    153.97      7.68   1000000         0
78.97/79.07	c       868      1254   1174.15    135.43      8.67   1000000         0
81.28/81.38	c       879      1337   1147.06    141.66      8.10   1000000         0
83.67/83.70	c       931      1218   1186.05    149.97      7.91   1000000         0
85.97/86.01	c       875      1117   1169.97    175.53      6.67   1000000         0
88.27/88.32	c       918      1000   1159.72    132.88      8.73   1000000         0
90.57/90.65	c       922      1118   1196.55    170.06      7.04   1000000         0
92.86/92.97	c       901      1177   1165.97    143.99      8.10   1000000         0
95.16/95.29	c       897      1256   1169.26    163.04      7.17   1000000         0
97.56/97.60	c       902      1146   1174.80    179.89      6.53   1000000         0
99.86/99.92	c       912      1190   1180.44    160.04      7.38   1000000         0
102.17/102.23	c       868      1138   1168.85    141.91      8.24   1000000         0
104.47/104.56	c       902      1284   1197.80    181.67      6.59   1000000         0
106.76/106.87	c       755      1213   1179.88    171.90      6.86   1000000         0
109.16/109.20	c       940      1101   1199.61    162.00      7.40   1000000         0
111.46/111.52	c       897      1068   1178.17    143.60      8.20   1000000         0
113.76/113.83	c       897      1140   1178.41    148.18      7.95   1000000         0
116.06/116.16	c       895      1313   1188.30    155.41      7.65   1000000         0
118.36/118.47	c       899      1055   1156.84    150.36      7.69   1000000         0
120.76/120.80	c       905      1024   1187.93    151.32      7.85   1000000         0
123.06/123.12	c       841      1253   1178.97    145.71      8.09   1000000         0
125.36/125.44	c       880      1192   1183.25    165.50      7.15   1000000         0
127.65/127.77	c       894      1037   1183.31    146.35      8.09   1000000         0
129.95/130.09	c       912      1082   1183.17    179.95      6.58   1000000         0
132.35/132.42	c       886      1199   1187.70    153.17      7.75   1000000         0
134.65/134.74	c       908      1219   1173.38    138.52      8.47   1000000         0
136.95/137.08	c       892      1221   1193.67    174.35      6.85   1000000         0
139.35/139.40	c       884      1119   1180.94    138.69      8.51   1000000         0
141.65/141.73	c       913      1108   1178.17    185.45      6.35   1000000         0
143.96/144.04	c       899      1196   1147.69    141.30      8.12   1000000         0
146.26/146.35	c       896      1258   1174.21    152.38      7.71   1000000         0
148.55/148.67	c       862      1092   1154.85    121.51      9.50   1000000         0
150.85/150.98	c       884      1242   1159.14    149.61      7.75   1000000         0
153.25/153.30	c       894      1070   1179.10    136.58      8.63   1000000         0
155.55/155.61	c       900      1144   1167.99    140.09      8.34   1000000         0
157.85/157.94	c       934      1185   1187.84    124.25      9.56   1000000         0
160.15/160.26	c       935      1114   1191.87    159.78      7.46   1000000         0
162.45/162.57	c       930      1079   1162.47    143.95      8.08   1000000         0
164.74/164.88	c       899       998   1165.12    130.67      8.92   1000000         0
167.05/167.20	c       825      1132   1156.35    152.22      7.60   1000000         0
169.44/169.52	c       928      1195   1171.21    139.89      8.37   1000000         0
171.74/171.84	c       902      1282   1180.68    154.60      7.64   1000000         0
174.04/174.17	c       925      1045   1190.68    168.23      7.08   1000000         0
176.44/176.51	c       936      1038   1202.23    194.05      6.20   1000000         0
178.74/178.83	c       913      1232   1174.39    165.20      7.11   1000000         0
181.04/181.15	c       909      1077   1200.09    155.18      7.73   1000000         0
183.34/183.46	c       902      1174   1163.13    146.61      7.93   1000000         0
185.64/185.77	c       871      1201   1154.75    144.23      8.01   1000000         0
187.94/188.08	c       861      1197   1164.95    148.98      7.82   1000000         0
190.34/190.41	c       912      1050   1199.52    159.73      7.51   1000000         0
192.64/192.73	c       894      1102   1177.31    154.95      7.60   1000000         0
194.94/195.04	c       877      1102   1168.79    139.25      8.39   1000000         0
197.24/197.34	c       857       982   1148.65    137.97      8.33   1000000         0
199.53/199.67	c       958      1182   1196.43    141.58      8.45   1000000         0
201.93/202.00	c       889      1322   1191.27    134.24      8.87   1000000         0
204.23/204.31	c       834       913   1159.99    194.27      5.97   1000000         0
206.53/206.63	c       919      1148   1168.79    130.45      8.96   1000000         0
208.84/208.94	c       855      1255   1165.70    165.24      7.05   1000000         0
211.14/211.26	c       936      1166   1177.57    149.33      7.89   1000000         0
213.42/213.55	c       876      1154   1163.97    151.15      7.70   1000000         0
215.72/215.87	c       897      1027   1165.09    140.88      8.27   1000000         0
218.02/218.19	c       911      1017   1168.10    132.38      8.82   1000000         0
220.42/220.50	c       890      1060   1176.95    139.02      8.47   1000000         0
222.72/222.83	c       903      1080   1195.84    151.88      7.87   1000000         0
225.02/225.14	c       871      1065   1172.34    142.30      8.24   1000000         0
227.32/227.46	c       872      1219   1162.28    134.21      8.66   1000000         0
229.62/229.77	c       864      1081   1164.30    153.84      7.57   1000000         0
231.92/232.09	c       876      1015   1175.97    147.01      8.00   1000000         0
234.32/234.41	c       897      1261   1161.87    151.66      7.66   1000000         0
236.62/236.72	c       849      1151   1175.02    119.62      9.82   1000000         0
238.92/239.03	c       887      1225   1158.58    153.58      7.54   1000000         0
241.22/241.35	c       870      1028   1173.27    174.30      6.73   1000000         0
243.51/243.67	c       907      1270   1187.64    127.97      9.28   1000000         0
245.81/245.99	c       880      1261   1178.19    141.22      8.34   1000000         0
248.21/248.31	c       876      1065   1161.25    168.37      6.90   1000000         0
250.51/250.63	c       901      1213   1178.87    151.46      7.78   1000000         0
252.82/252.94	c       909      1141   1193.71    143.13      8.34   1000000         0
255.12/255.24	c       910      1039   1137.73    130.40      8.73   1000000         0
257.41/257.56	c       919      1126   1177.97    150.12      7.85   1000000         0
259.71/259.88	c       890      1014   1171.40    156.07      7.51   1000000         0
262.11/262.20	c       920      1195   1198.22    140.94      8.50   1000000         0
264.41/264.51	c       871      1069   1169.75    136.16      8.59   1000000         0
266.71/266.83	c       874       997   1190.28    155.22      7.67   1000000         0
269.01/269.15	c       887      1214   1180.31    159.60      7.40   1000000         0
271.31/271.46	c       899      1262   1176.21    149.18      7.88   1000000         0
273.61/273.78	c       862      1241   1166.76    153.93      7.58   1000000         0
276.01/276.11	c       927      1133   1195.41    159.58      7.49   1000000         0
278.31/278.43	c       902      1025   1177.85    140.39      8.39   1000000         0
280.60/280.74	c       933      1096   1185.78    133.94      8.85   1000000         0
282.90/283.06	c       944      1136   1156.34    139.16      8.31   1000000         0
285.20/285.40	c       940      1158   1197.56    159.17      7.52   1000000         0
287.60/287.71	c       900      1104   1185.17    182.86      6.48   1000000         0
289.90/290.04	c       900      1179   1170.89    137.46      8.52   1000000         0
292.20/292.36	c       856      1115   1173.33    157.58      7.45   1000000         0
294.50/294.66	c       879      1030   1158.73    140.70      8.24   1000000         0
296.81/296.99	c       939      1198   1185.98    162.20      7.31   1000000         0
299.11/299.30	c       845      1238   1152.30    122.57      9.40   1000000         0
301.50/301.61	c       924      1056   1168.17    143.67      8.13   1000000         0
303.80/303.93	c       915      1089   1156.54    183.58      6.30   1000000         0
306.10/306.24	c       890      1058   1155.86    158.40      7.30   1000000         0
308.40/308.56	c       915      1142   1174.50    125.86      9.33   1000000         0
310.70/310.88	c       896      1046   1177.87    142.90      8.24   1000000         0
313.09/313.21	c       894      1139   1180.34    176.26      6.70   1000000         0
315.39/315.53	c       938      1162   1181.49    125.94      9.38   1000000         0
317.70/317.86	c       900      1153   1181.86    161.41      7.32   1000000         0
320.00/320.18	c       950      1052   1198.58    202.02      5.93   1000000         0
322.29/322.49	c       874      1184   1163.11    155.56      7.48   1000000         0
324.69/324.81	c       899      1042   1167.32    156.17      7.47   1000000         0
326.99/327.11	c       859      1142   1141.19    158.88      7.18   1000000         0
329.29/329.43	c       869      1183   1170.25    172.73      6.77   1000000         0
331.59/331.74	c       922      1111   1171.26    135.08      8.67   1000000         0
333.89/334.05	c       920      1064   1168.84    143.32      8.16   1000000         0
336.19/336.37	c       893      1223   1178.34    135.60      8.69   1000000         0
338.49/338.69	c       922      1174   1170.92    154.45      7.58   1000000         0
340.89/341.01	c       901      1071   1187.56    150.53      7.89   1000000         0
343.19/343.33	c       874      1176   1161.27    144.99      8.01   1000000         0
345.49/345.65	c       851      1085   1176.82    152.10      7.74   1000000         0
347.79/347.97	c       881      1008   1163.75    162.82      7.15   1000000         0
350.08/350.29	c       862      1242   1178.58    167.81      7.02   1000000         0
352.48/352.61	c       913      1052   1169.27    141.85      8.24   1000000         0
354.78/354.93	c       911      1110   1179.10    170.50      6.92   1000000         0
357.08/357.24	c       855      1142   1165.79    127.40      9.15   1000000         0
359.38/359.56	c       845      1162   1180.70    172.49      6.84   1000000         0
361.69/361.88	c       930      1083   1172.16    152.52      7.69   1000000         0
363.99/364.18	c       839      1103   1161.90    139.04      8.36   1000000         0
366.28/366.50	c       915      1092   1166.77    148.26      7.87   1000000         0
368.68/368.82	c       924      1106   1196.57    161.47      7.41   1000000         0
370.98/371.12	c       880      1105   1147.68    121.04      9.48   1000000         0
373.28/373.43	c       901      1234   1163.36    139.71      8.33   1000000         0
375.58/375.76	c       913      1237   1205.60    156.47      7.70   1000000         0
377.88/378.08	c       918      1121   1182.80    146.06      8.10   1000000         0
380.28/380.40	c       905      1229   1158.04    146.58      7.90   1000000         0
382.58/382.73	c       855      1085   1172.42    162.89      7.20   1000000         0
384.88/385.07	c       973      1255   1206.75    134.86      8.95   1000000         0
387.28/387.40	c       930      1140   1169.21    155.12      7.54   1000000         0
389.57/389.71	c       859      1076   1173.44    169.32      6.93   1000000         0
391.87/392.03	c       855      1315   1174.91    147.82      7.95   1000000         0
394.17/394.35	c       856      1078   1168.62    130.82      8.93   1000000         0
396.47/396.66	c       930      1123   1181.80    154.28      7.66   1000000         0
398.77/398.96	c       877      1168   1156.89    141.80      8.16   1000000         0
401.07/401.28	c       893      1033   1170.26    165.27      7.08   1000000         0
403.37/403.60	c       917      1281   1180.22    152.08      7.76   1000000         0
405.78/405.92	c       923      1211   1170.95    145.73      8.04   1000000         0
408.07/408.24	c       865      1036   1176.38    153.58      7.66   1000000         0
410.37/410.55	c       850      1093   1168.62    180.51      6.47   1000000         0
412.67/412.88	c       903      1316   1192.56    148.84      8.01   1000000         0
415.07/415.20	c       801      1245   1171.89    162.19      7.23   1000000         0
417.37/417.50	c       888      1160   1143.13    136.17      8.39   1000000         0
419.67/419.82	c       905      1160   1184.63    186.72      6.34   1000000         0
421.97/422.15	c       925      1279   1211.41    156.07      7.76   1000000         0
424.26/424.47	c       915      1241   1184.62    157.32      7.53   1000000         0
426.57/426.79	c       875      1170   1166.85    148.48      7.86   1000000         0
428.96/429.10	c       906      1079   1184.30    117.27     10.10   1000000         0
431.26/431.41	c       899      1119   1153.04    123.94      9.30   1000000         0
433.56/433.73	c       911      1226   1195.85    144.91      8.25   1000000         0
435.86/436.04	c       897      1368   1157.11    145.69      7.94   1000000         0
438.16/438.36	c       929      1033   1164.80    160.94      7.24   1000000         0
440.46/440.68	c       882       992   1166.91    151.68      7.69   1000000         0
442.86/443.00	c       912      1118   1183.75    136.69      8.66   1000000         0
445.16/445.32	c       920      1012   1174.75    142.68      8.23   1000000         0
447.47/447.64	c       894       979   1188.28    207.93      5.71   1000000         0
449.77/449.96	c       874      1311   1164.31    158.87      7.33   1000000         0
452.06/452.27	c       835      1256   1161.65    162.46      7.15   1000000         0
454.46/454.61	c       938      1073   1184.23    184.49      6.42   1000000         0
456.76/456.92	c       880      1173   1166.34    160.71      7.26   1000000         0
459.06/459.22	c       853      1044   1154.41    163.08      7.08   1000000         0
461.35/461.54	c       888      1153   1175.17    129.98      9.04   1000000         0
463.65/463.86	c       854      1202   1175.64    163.54      7.19   1000000         0
465.95/466.17	c       882       932   1161.58    177.67      6.54   1000000         0
468.25/468.49	c       876      1111   1173.57    159.97      7.34   1000000         0
470.66/470.81	c       954      1191   1168.64    118.65      9.85   1000000         0
472.95/473.12	c       917      1103   1184.13    155.93      7.59   1000000         0
475.25/475.45	c       935      1127   1183.37    160.19      7.39   1000000         0
477.55/477.77	c       936      1031   1186.49    131.43      9.03   1000000         0
479.85/480.08	c       832      1065   1152.48    167.29      6.89   1000000         0
482.25/482.40	c       952      1005   1177.35    136.17      8.65   1000000         0
484.55/484.72	c       899      1153   1178.42    158.36      7.44   1000000         0
486.85/487.04	c       883      1108   1184.64    136.42      8.68   1000000         0
489.15/489.35	c       911      1131   1166.93    122.51      9.53   1000000         0
491.45/491.67	c       885      1040   1170.55    185.27      6.32   1000000         0
493.75/493.97	c       857      1155   1152.64    143.42      8.04   1000000         0
496.05/496.29	c       901      1137   1172.81    166.94      7.03   1000000         0
498.45/498.62	c       942      1195   1195.97    149.51      8.00   1000000         0
500.74/500.95	c       917      1167   1192.13    156.01      7.64   1000000         0
503.04/503.28	c       863      1096   1199.69    170.56      7.03   1000000         0
505.34/505.60	c       861      1181   1166.33    158.46      7.36   1000000         0
507.74/507.90	c       919      1270   1155.46    159.67      7.24   1000000         0
510.04/510.22	c       886      1212   1180.56    164.86      7.16   1000000         0
512.35/512.54	c       879      1108   1181.34    151.90      7.78   1000000         0
514.65/514.85	c       837      1162   1163.44    150.07      7.75   1000000         0
516.94/517.18	c       926      1228   1197.96    122.82      9.75   1000000         0
519.24/519.48	c       865      1085   1127.51    148.42      7.60   1000000         0
521.54/521.79	c       856      1072   1163.21    133.52      8.71   1000000         0
523.94/524.10	c       853      1188   1178.37    171.70      6.86   1000000         0
526.24/526.42	c       894      1214   1163.48    143.66      8.10   1000000         0
528.54/528.75	c       923      1016   1181.36    181.03      6.53   1000000         0
530.84/531.08	c       917      1127   1190.26    147.50      8.07   1000000         0
533.24/533.41	c       931      1344   1189.77    162.99      7.30   1000000         0
535.54/535.73	c       860      1236   1170.95    135.23      8.66   1000000         0
537.83/538.06	c       899      1037   1205.17    147.93      8.15   1000000         0
540.13/540.38	c       961      1157   1198.26    135.61      8.84   1000000         0
542.53/542.71	c       930      1141   1178.48    165.63      7.12   1000000         0
544.83/545.01	c       908      1116   1174.91    144.35      8.14   1000000         0
547.13/547.34	c       872      1076   1199.57    169.84      7.06   1000000         0
549.43/549.67	c       896      1089   1187.55    148.97      7.97   1000000         0
551.73/551.99	c       888      1122   1199.57    169.33      7.08   1000000         0
554.03/554.30	c       868      1243   1153.70    124.05      9.30   1000000         0
556.44/556.61	c       820       973   1167.50    162.79      7.17   1000000         0
558.73/558.94	c       879      1148   1174.61    157.44      7.46   1000000         0
561.03/561.25	c       889      1179   1184.52    137.05      8.64   1000000         0
563.33/563.56	c       850      1065   1156.71    168.43      6.87   1000000         0
565.63/565.87	c       885      1042   1153.75    152.60      7.56   1000000         0
567.92/568.18	c       903      1261   1186.70    157.48      7.54   1000000         0
570.32/570.50	c       846      1320   1167.95    139.00      8.40   1000000         0
572.62/572.82	c       907      1114   1186.31    130.47      9.09   1000000         0
574.92/575.15	c       914      1113   1179.29    170.93      6.90   1000000         0
577.23/577.47	c       914      1102   1180.77    169.21      6.98   1000000         0
579.53/579.79	c       870      1117   1171.32    175.83      6.66   1000000         0
581.92/582.12	c       899      1015   1192.29    182.14      6.55   1000000         0
584.22/584.44	c       897      1186   1169.58    138.96      8.42   1000000         0
586.52/586.75	c       829      1051   1179.71    157.97      7.47   1000000         0
588.82/589.06	c       885      1115   1174.25    186.82      6.29   1000000         0
591.12/591.39	c       950      1039   1181.16    165.14      7.15   1000000         0
593.52/593.70	c       903      1068   1166.52    143.12      8.15   1000000         0
595.82/596.01	c       876      1052   1175.20    154.77      7.59   1000000         0
598.12/598.33	c       946      1102   1174.63    147.98      7.94   1000000         0
600.42/600.65	c       920       952   1177.69    154.81      7.61   1000000         0
602.72/602.97	c       925      1190   1177.35    144.31      8.16   1000000         0
605.01/605.27	c       737      1067   1161.32    163.07      7.12   1000000         0
607.31/607.59	c       903      1129   1174.32    148.95      7.88   1000000         0
609.71/609.91	c       894      1292   1177.19    136.71      8.61   1000000         0
612.01/612.23	c       897      1126   1161.66    145.54      7.98   1000000         0
614.31/614.54	c       895      1050   1156.90    160.18      7.22   1000000         0
616.61/616.87	c       936      1218   1174.54    133.84      8.78   1000000         0
618.91/619.19	c       912      1232   1173.52    176.96      6.63   1000000         0
621.22/621.49	c       853      1252   1159.09    123.24      9.40   1000000         0
623.61/623.81	c       913      1256   1178.48    186.99      6.30   1000000         0
625.91/626.12	c       875      1121   1154.59    150.37      7.68   1000000         0
628.21/628.43	c       924      1237   1165.60    121.95      9.56   1000000         0
630.51/630.74	c       884      1185   1162.74    133.40      8.72   1000000         0
632.81/633.06	c       917      1132   1180.14    137.37      8.59   1000000         0
635.11/635.39	c       942      1294   1191.99    150.47      7.92   1000000         0
637.41/637.70	c       889      1271   1172.21    164.80      7.11   1000000         0
639.80/640.01	c       853      1036   1174.93    135.73      8.66   1000000         0
642.11/642.33	c       899      1085   1180.26    154.15      7.66   1000000         0
644.41/644.65	c       851      1084   1148.94    144.03      7.98   1000000         0
646.70/646.97	c       964      1052   1193.03    141.28      8.44   1000000         0
649.10/649.30	c       902      1112   1176.60    163.41      7.20   1000000         0
651.40/651.61	c       848      1130   1157.15    138.87      8.33   1000000         0
653.70/653.94	c       948      1241   1200.19    157.62      7.61   1000000         0
656.00/656.27	c       916      1089   1185.90    162.65      7.29   1000000         0
658.30/658.59	c       836       995   1191.68    159.13      7.49   1000000         0
660.70/660.90	c       907      1169   1158.74    158.67      7.30   1000000         0
663.01/663.22	c       906      1102   1177.95    165.42      7.12   1000000         0
665.30/665.54	c       900      1231   1182.65    139.45      8.48   1000000         0
667.60/667.87	c       890      1199   1187.86    159.62      7.44   1000000         0
669.90/670.18	c       872      1060   1168.13    131.20      8.90   1000000         0
672.29/672.50	c       883      1236   1202.43    153.33      7.84   1000000         0
674.59/674.82	c       856      1277   1150.75    138.93      8.28   1000000         0
676.89/677.13	c       849      1246   1158.63    155.90      7.43   1000000         0
679.19/679.45	c       922      1179   1183.51    147.72      8.01   1000000         0
681.49/681.76	c       904      1075   1164.65    140.72      8.28   1000000         0
683.79/684.08	c       880      1113   1173.16    177.49      6.61   1000000         0
686.10/686.39	c       888      1132   1166.10    155.66      7.49   1000000         0
688.49/688.72	c       867      1098   1187.70    150.52      7.89   1000000         0
690.79/691.03	c       885      1065   1150.32    130.89      8.79   1000000         0
693.09/693.37	c       899      1268   1212.38    204.31      5.93   1000000         0
695.39/695.69	c       924      1280   1201.13    141.01      8.52   1000000         0
697.79/698.02	c       966       976   1196.83    150.86      7.93   1000000         0
700.09/700.33	c       855      1116   1149.98    157.87      7.28   1000000         0
702.39/702.63	c       904      1199   1148.42    158.27      7.26   1000000         0
704.68/704.95	c       951      1211   1191.33    129.05      9.23   1000000         0
706.99/707.29	c       885      1034   1203.96    155.83      7.73   1000000         0
709.38/709.62	c       886      1160   1180.56    176.48      6.69   1000000         0
711.68/711.94	c       926      1076   1179.08    167.09      7.06   1000000         0
713.98/714.27	c       912      1100   1188.39    163.27      7.28   1000000         0
716.28/716.58	c       902      1124   1152.85    143.60      8.03   1000000         0
718.58/718.90	c       935       975   1188.26    152.59      7.79   1000000         0
720.98/721.22	c       850      1067   1171.97    157.07      7.46   1000000         0
723.28/723.55	c       830      1186   1186.60    150.05      7.91   1000000         0
725.58/725.87	c       935      1064   1175.21    137.31      8.56   1000000         0
727.89/728.19	c       905      1220   1175.47    144.24      8.15   1000000         0
730.28/730.50	c       900      1261   1164.50    137.75      8.45   1000000         0
732.58/732.81	c       847      1119   1164.26    131.44      8.86   1000000         0
734.88/735.13	c       887      1102   1190.39    139.56      8.53   1000000         0
737.18/737.45	c       912      1258   1172.12    111.27     10.53   1000000         0
739.48/739.78	c       850      1222   1187.88    182.75      6.50   1000000         0
741.87/742.10	c       897      1223   1174.91    128.15      9.17   1000000         0
744.17/744.42	c       862      1072   1160.24    132.71      8.74   1000000         0
746.47/746.74	c       937      1120   1189.97    133.23      8.93   1000000         0
748.78/749.06	c       931      1033   1181.04    161.62      7.31   1000000         0
751.08/751.37	c       885      1062   1170.64    155.73      7.52   1000000         0
753.37/753.69	c       863      1051   1177.31    144.54      8.15   1000000         0
755.77/756.02	c       916      1109   1183.71    149.00      7.94   1000000         0
758.07/758.34	c       881      1000   1184.89    156.67      7.56   1000000         0
760.37/760.66	c       915      1161   1176.43    124.15      9.48   1000000         0
762.67/762.98	c       897      1202   1177.54    128.03      9.20   1000000         0
764.97/765.29	c       927      1187   1178.74    140.21      8.41   1000000         0
767.37/767.60	c       900      1167   1171.08    133.23      8.79   1000000         0
769.67/769.92	c       882      1169   1174.53    154.88      7.58   1000000         0
771.97/772.25	c       891      1277   1197.55    143.12      8.37   1000000         0
774.27/774.57	c       856      1149   1176.99    174.07      6.76   1000000         0
776.66/776.90	c       890      1156   1178.39    130.29      9.04   1000000         0
778.96/779.23	c       888      1193   1192.05    173.78      6.86   1000000         0
781.26/781.56	c       836       941   1178.69    143.99      8.19   1000000         0
783.56/783.86	c       896      1055   1145.95    123.55      9.28   1000000         0
785.86/786.17	c       876      1064   1170.98    134.92      8.68   1000000         0
788.26/788.51	c       913      1159   1210.50    185.28      6.53   1000000         0
790.57/790.82	c       900      1061   1170.68    153.09      7.65   1000000         0
792.87/793.15	c       877      1183   1179.03    167.64      7.03   1000000         0
795.16/795.46	c       899      1107   1146.16    134.85      8.50   1000000         0
797.46/797.78	c       872      1211   1167.49    139.54      8.37   1000000         0
799.86/800.10	c       911      1121   1187.58    155.00      7.66   1000000         0
802.16/802.43	c       950      1098   1194.24    168.03      7.11   1000000         0
804.46/804.74	c       893      1047   1159.86    150.17      7.72   1000000         0
806.76/807.06	c       926      1161   1168.78    146.69      7.97   1000000         0
809.06/809.37	c       787      1068   1163.87    171.54      6.78   1000000         0
811.35/811.69	c       895      1120   1175.57    165.64      7.10   1000000         0
813.76/814.02	c       898      1225   1185.37    183.95      6.44   1000000         0
816.05/816.33	c       886      1055   1156.12    144.16      8.02   1000000         0
818.35/818.64	c       896      1111   1164.66    145.73      7.99   1000000         0
820.65/820.96	c       911      1122   1178.41    152.62      7.72   1000000         0
822.95/823.29	c       857      1188   1185.14    171.88      6.90   1000000         0
825.35/825.61	c       923      1164   1199.75    148.90      8.06   1000000         0
827.65/827.93	c       908      1083   1178.00    115.09     10.24   1000000         0
829.95/830.27	c       943      1149   1213.20    136.70      8.88   1000000         0
832.36/832.61	c       880      1190   1205.96    158.32      7.62   1000000         0
834.66/834.93	c       893      1235   1187.21    172.66      6.88   1000000         0
836.95/837.24	c       911      1186   1172.38    160.36      7.31   1000000         0
839.25/839.56	c       849      1063   1167.01    152.91      7.63   1000000         0
841.55/841.86	c       891      1151   1150.02    144.35      7.97   1000000         0
843.85/844.17	c       849      1091   1165.77    125.13      9.32   1000000         0
846.25/846.50	c       938      1058   1192.64    154.09      7.74   1000000         0
848.55/848.81	c       872      1048   1156.41    162.56      7.11   1000000         0
850.84/851.15	c       900      1244   1205.77    174.29      6.92   1000000         0
853.14/853.48	c       921      1051   1163.14    155.13      7.50   1000000         0
855.45/855.80	c       949      1023   1173.98    133.89      8.77   1000000         0
857.84/858.11	c       873      1161   1175.94    161.30      7.29   1000000         0
860.14/860.43	c       878      1178   1182.08    153.59      7.70   1000000         0
862.44/862.75	c       919      1228   1174.44    123.29      9.53   1000000         0
864.74/865.09	c       941      1176   1196.35    138.05      8.67   1000000         0
867.14/867.40	c       889      1179   1162.63    141.51      8.22   1000000         0
869.44/869.73	c       875      1167   1185.19    169.34      7.00   1000000         0
871.74/872.05	c       918      1076   1183.00    152.50      7.76   1000000         0
874.04/874.37	c       895      1212   1170.70    152.27      7.69   1000000         0
876.34/876.69	c       871      1035   1176.32    156.52      7.52   1000000         0
878.64/878.99	c       889      1193   1152.83    121.24      9.51   1000000         0
881.04/881.31	c       908      1280   1192.91    182.47      6.54   1000000         0
883.34/883.63	c       919      1122   1178.83    149.81      7.87   1000000         0
885.64/885.94	c       867      1125   1175.00    163.32      7.19   1000000         0
887.93/888.25	c       877      1130   1156.09    159.11      7.27   1000000         0
890.23/890.57	c       952      1101   1175.77    134.96      8.71   1000000         0
892.53/892.89	c       886      1117   1169.52    146.21      8.00   1000000         0
894.93/895.21	c       959      1169   1200.06    188.73      6.36   1000000         0
897.24/897.54	c       940      1113   1191.31    143.18      8.32   1000000         0
899.54/899.85	c       860      1224   1167.97    137.64      8.49   1000000         0
901.83/902.17	c       893      1000   1179.06    179.43      6.57   1000000         0
904.13/904.48	c       853      1068   1160.45    140.41      8.26   1000000         0
906.53/906.81	c       938      1255   1190.78    150.85      7.89   1000000         0
908.83/909.12	c       880      1282   1175.88    180.78      6.50   1000000         0
911.13/911.43	c       881      1261   1161.65    159.76      7.27   1000000         0
913.43/913.76	c       944      1052   1195.35    168.65      7.09   1000000         0
915.72/916.08	c       883      1092   1179.54    185.83      6.35   1000000         0
918.13/918.41	c       903      1191   1171.64    144.13      8.13   1000000         0
920.43/920.73	c       939      1259   1179.85    143.60      8.22   1000000         0
922.73/923.05	c       906      1115   1174.74    154.68      7.59   1000000         0
925.03/925.37	c       914      1046   1185.70    164.31      7.22   1000000         0
927.33/927.69	c       925      1084   1185.36    156.17      7.59   1000000         0
929.73/930.01	c       879      1090   1183.40    158.93      7.45   1000000         0
932.03/932.33	c       849      1147   1170.37    172.81      6.77   1000000         0
934.33/934.65	c       879      1108   1152.97    172.53      6.68   1000000         0
936.63/936.97	c       914      1157   1191.05    157.85      7.55   1000000         0
939.03/939.31	c       910      1057   1189.55    159.77      7.45   1000000         0
941.33/941.61	c       880      1247   1146.61    138.21      8.30   1000000         0
943.63/943.93	c       917      1232   1166.41    157.49      7.41   1000000         0
945.92/946.24	c       786      1130   1156.64    131.50      8.80   1000000         0
948.22/948.56	c       879      1059   1184.22    152.13      7.78   1000000         0
950.52/950.88	c       957      1070   1185.27    129.90      9.12   1000000         0
952.82/953.20	c       920      1082   1166.88    135.90      8.59   1000000         0
955.22/955.51	c       892      1039   1178.55    159.71      7.38   1000000         0
957.52/957.83	c       907      1209   1170.52    166.49      7.03   1000000         0
959.82/960.13	c       887      1036   1160.12    131.57      8.82   1000000         0
962.13/962.45	c       908      1085   1179.51    155.55      7.58   1000000         0
964.43/964.76	c       919      1162   1142.52    139.25      8.20   1000000         0
966.72/967.07	c       861      1157   1162.47    134.29      8.66   1000000         0
969.12/969.40	c       911      1151   1192.90    135.22      8.82   1000000         0
971.42/971.72	c       889       926   1170.55    145.00      8.07   1000000         0
973.72/974.03	c       850      1242   1177.84    133.66      8.81   1000000         0
976.02/976.37	c       907      1088   1179.08    141.43      8.34   1000000         0
978.32/978.68	c       892      1194   1153.64    118.45      9.74   1000000         0
980.71/981.00	c       925      1163   1169.92    149.44      7.83   1000000         0
983.02/983.32	c       926      1131   1160.24    153.25      7.57   1000000         0
985.32/985.63	c       885      1146   1155.97    167.36      6.91   1000000         0
987.61/987.94	c       887       971   1161.88    172.65      6.73   1000000         0
989.91/990.26	c       951      1145   1197.51    145.90      8.21   1000000         0
992.21/992.59	c       932      1162   1184.60    113.57     10.43   1000000         0
994.61/994.91	c       899      1098   1171.60    147.01      7.97   1000000         0
996.91/997.22	c       899      1065   1173.59    159.31      7.37   1000000         0
999.21/999.55	c       862      1318   1197.99    153.06      7.83   1000000         0
1001.51/1001.88	c       923      1107   1183.61    163.98      7.22   1000000         0
1003.81/1004.19	c       928      1101   1153.47    140.89      8.19   1000000         0
1006.11/1006.50	c       906      1045   1165.76    134.82      8.65   1000000         0
1008.51/1008.82	c       898      1168   1178.47    167.19      7.05   1000000         0
1010.81/1011.14	c       899      1165   1187.71    162.88      7.29   1000000         0
1013.11/1013.48	c       892      1116   1194.42    164.42      7.26   1000000         0
1015.50/1015.81	c       910      1220   1195.19    181.69      6.58   1000000         0
1017.80/1018.13	c       872      1222   1182.54    174.58      6.77   1000000         0
1020.10/1020.45	c       917      1157   1178.41    176.92      6.66   1000000         0
1022.40/1022.77	c       870      1080   1178.06    120.58      9.77   1000000         0
1024.81/1025.10	c       853      1173   1189.41    154.56      7.70   1000000         0
1027.11/1027.44	c       938      1215   1192.04    158.13      7.54   1000000         0
1029.40/1029.74	c       923      1226   1171.78    168.60      6.95   1000000         0
1031.70/1032.06	c       924      1205   1174.13    143.98      8.15   1000000         0
1034.00/1034.39	c       904      1269   1200.30    160.93      7.46   1000000         0
1036.40/1036.72	c       871      1374   1176.01    147.16      7.99   1000000         0
1038.70/1039.03	c       899      1106   1177.89    151.56      7.77   1000000         0
1041.00/1041.35	c       828      1284   1168.16    169.26      6.90   1000000         0
1043.30/1043.66	c       919      1198   1161.57    133.38      8.71   1000000         0
1045.60/1045.98	c       890      1196   1187.24    169.10      7.02   1000000         0
1048.00/1048.31	c       851      1063   1187.97    168.44      7.05   1000000         0
1050.30/1050.62	c       917      1080   1162.29    153.05      7.59   1000000         0
1052.59/1052.95	c       909      1032   1174.40    147.82      7.95   1000000         0
1054.89/1055.27	c       908      1006   1186.73    181.19      6.55   1000000         0
1057.19/1057.60	c       903      1028   1178.59    134.56      8.76   1000000         0
1059.59/1059.93	c       941      1049   1194.29    148.46      8.04   1000000         0
1061.89/1062.26	c       914      1164   1198.06    158.59      7.55   1000000         0
1064.19/1064.58	c       895      1052   1185.57    147.93      8.01   1000000         0
1066.60/1066.91	c       910      1112   1179.40    136.37      8.65   1000000         0
1068.90/1069.22	c       814      1118   1163.08    144.72      8.04   1000000         0
1071.19/1071.54	c       929      1141   1182.61    176.64      6.69   1000000         0
1073.49/1073.84	c       852       867   1138.08    161.99      7.03   1000000         0
1075.79/1076.15	c       887      1151   1170.13    188.62      6.20   1000000         0
1078.09/1078.47	c       900      1294   1183.43    151.41      7.82   1000000         0
1080.39/1080.79	c       887      1135   1174.79    172.38      6.82   1000000         0
1082.79/1083.11	c       929      1153   1173.24    140.07      8.38   1000000         0
1085.09/1085.42	c       901      1181   1171.92    188.82      6.21   1000000         0
1087.39/1087.74	c       839      1175   1164.09    172.27      6.76   1000000         0
1089.69/1090.06	c       830      1257   1158.11    150.84      7.68   1000000         0
1091.99/1092.38	c       903      1148   1158.40    134.91      8.59   1000000         0
1094.38/1094.71	c       900      1145   1182.79    156.08      7.58   1000000         0
1096.68/1097.03	c       883      1215   1166.15    161.41      7.22   1000000         0
1098.98/1099.36	c       952      1058   1181.21    145.75      8.10   1000000         0
1101.28/1101.67	c       869      1055   1174.65    151.54      7.75   1000000         0
1103.68/1104.00	c       863      1082   1197.87    150.98      7.93   1000000         0
1105.98/1106.31	c       933      1180   1171.76    145.68      8.04   1000000         0
1108.28/1108.64	c       910      1263   1194.59    199.85      5.98   1000000         0
1110.59/1110.95	c       909      1103   1160.13    131.68      8.81   1000000         0
1112.89/1113.27	c       866      1226   1178.04    188.50      6.25   1000000         0
1115.18/1115.59	c       860      1151   1164.18    138.33      8.42   1000000         0
1117.58/1117.90	c       914      1120   1165.84    144.48      8.07   1000000         0
1119.88/1120.21	c       880      1142   1166.76    150.43      7.76   1000000         0
1122.18/1122.54	c       903      1054   1195.61    175.88      6.80   1000000         0
1124.48/1124.85	c       839      1088   1171.48    167.97      6.97   1000000         0
1126.78/1127.16	c       901      1197   1146.61    153.62      7.46   1000000         0
1129.08/1129.47	c       921      1186   1150.14    126.09      9.12   1000000         0
1131.37/1131.79	c       848      1107   1187.74    167.06      7.11   1000000         0
1133.68/1134.10	c       858      1164   1167.10    153.74      7.59   1000000         0
1136.07/1136.42	c       838      1230   1172.62    156.62      7.49   1000000         0
1138.37/1138.74	c       871      1061   1171.32    138.40      8.46   1000000         0
1140.67/1141.06	c       931      1157   1182.81    136.63      8.66   1000000         0
1142.97/1143.38	c       879      1154   1176.96    159.14      7.40   1000000         0
1145.27/1145.69	c       837      1140   1161.96    144.92      8.02   1000000         0
1147.67/1148.01	c       892      1043   1177.23    142.47      8.26   1000000         0
1149.97/1150.32	c       850      1022   1158.97    164.16      7.06   1000000         0
1152.27/1152.62	c       889      1259   1156.32    126.25      9.16   1000000         0
1154.58/1154.94	c       862      1183   1175.43    173.05      6.79   1000000         0
1156.88/1157.25	c       920      1120   1167.37    177.63      6.57   1000000         0
1159.17/1159.57	c       899      1180   1180.20    132.76      8.89   1000000         0
1161.57/1161.90	c       890      1061   1186.85    167.68      7.08   1000000         0
1163.87/1164.22	c       870      1078   1167.99    150.22      7.78   1000000         0
1166.17/1166.53	c       884      1056   1164.48    140.94      8.26   1000000         0
1168.46/1168.84	c       819      1097   1160.59    175.30      6.62   1000000         0
1170.76/1171.16	c       887      1011   1178.58    170.53      6.91   1000000         0
1173.06/1173.49	c       875      1062   1183.60    132.06      8.96   1000000         0
1175.47/1175.81	c       893      1078   1150.09    140.37      8.19   1000000         0
1177.77/1178.12	c       901      1015   1166.61    130.06      8.97   1000000         0
1180.06/1180.42	c       892      1142   1143.49    163.23      7.01   1000000         0
1182.36/1182.73	c       938      1184   1170.92    130.71      8.96   1000000         0
1184.66/1185.04	c       887      1042   1161.71    115.27     10.08   1000000         0
1186.96/1187.38	c       865      1161   1214.12    147.85      8.21   1000000         0
1189.36/1189.70	c       842      1135   1171.21    146.43      8.00   1000000         0
1191.66/1192.02	c       865      1087   1170.85    168.74      6.94   1000000         0
1193.96/1194.35	c       903      1295   1199.42    173.12      6.93   1000000         0
1196.26/1196.68	c       877       947   1178.35    150.30      7.84   1000000         0
1198.56/1198.99	c       869      1186   1157.99    169.79      6.82   1000000         0
1200.96/1201.31	c       927       993   1183.20    151.06      7.83   1000000         0
1203.26/1203.64	c       916      1159   1200.76    146.13      8.22   1000000         0
1205.55/1205.97	c       927      1156   1183.88    173.07      6.84   1000000         0
1207.85/1208.29	c       931      1185   1186.60    157.98      7.51   1000000         0
1210.25/1210.61	c       894      1243   1174.81    156.85      7.49   1000000         0
1212.55/1212.93	c       838      1343   1159.86    140.49      8.26   1000000         0
1214.85/1215.24	c       906      1208   1157.66    147.02      7.87   1000000         0
1217.15/1217.55	c       846      1233   1149.92    152.49      7.54   1000000         0
1219.46/1219.87	c       861      1244   1184.97    169.34      7.00   1000000         0
1221.76/1222.17	c       863      1047   1154.78    138.09      8.36   1000000         0
1224.05/1224.48	c       853      1136   1155.67    155.24      7.44   1000000         0
1226.45/1226.80	c       855      1027   1167.95    152.78      7.64   1000000         0
1228.75/1229.12	c       900      1311   1178.03    151.70      7.77   1000000         0
1231.05/1231.44	c       867      1172   1175.95    135.17      8.70   1000000         0
1233.35/1233.77	c       938      1079   1195.92    175.04      6.83   1000000         0
1235.75/1236.11	c       911      1038   1223.60    167.57      7.30   1000000         0
1238.04/1238.42	c       773      1104   1169.00    150.99      7.74   1000000         0
1240.35/1240.75	c       859      1056   1176.57    152.09      7.74   1000000         0
1242.65/1243.06	c       877      1274   1174.93    166.20      7.07   1000000         0
1244.94/1245.39	c       915      1323   1184.62    145.44      8.15   1000000         0
1247.34/1247.71	c       894      1180   1168.22    145.00      8.06   1000000         0
1249.64/1250.03	c       912      1081   1198.65    176.81      6.78   1000000         0
1251.94/1252.37	c       907      1277   1189.32    177.16      6.71   1000000         0
1254.24/1254.69	c       915      1275   1187.29    147.20      8.07   1000000         0
1256.64/1257.02	c       888      1041   1187.73    158.67      7.49   1000000         0
1258.94/1259.34	c       898      1161   1164.33    154.46      7.54   1000000         0
1261.25/1261.65	c       933      1206   1169.36    140.18      8.34   1000000         0
1263.54/1263.97	c       952      1010   1177.85    151.35      7.78   1000000         0
1265.84/1266.28	c       868      1155   1165.44    128.62      9.06   1000000         0
1268.24/1268.61	c       916      1173   1180.94    177.18      6.67   1000000         0
1270.54/1270.94	c       906      1246   1195.11    166.73      7.17   1000000         0
1272.83/1273.27	c       949      1110   1191.89    149.33      7.98   1000000         0
1275.13/1275.58	c       890      1049   1165.94    143.29      8.14   1000000         0
1277.53/1277.90	c       896      1081   1159.35    145.67      7.96   1000000         0
1279.83/1280.21	c       888      1142   1142.45    132.15      8.65   1000000         0
1282.14/1282.54	c       889      1413   1175.00    150.88      7.79   1000000         0
1284.44/1284.87	c       883      1105   1178.92    159.00      7.41   1000000         0
1286.73/1287.18	c       902      1109   1170.45    167.85      6.97   1000000         0
1289.13/1289.50	c       909      1118   1180.20    183.08      6.45   1000000         0
1291.43/1291.82	c       861      1077   1177.79    154.79      7.61   1000000         0
1293.73/1294.15	c       891      1159   1172.69    145.48      8.06   1000000         0
1296.03/1296.46	c       891      1180   1165.12    149.82      7.78   1000000         0
1298.33/1298.78	c       912      1264   1187.35    131.01      9.06   1000000         0
1300.73/1301.12	c       885      1129   1181.36    169.71      6.96   1000000         0
1303.03/1303.44	c       872      1041   1176.68    150.97      7.79   1000000         0
1305.33/1305.75	c       884      1026   1155.79    149.44      7.73   1000000         0
1307.62/1308.07	c       878      1198   1171.62    159.61      7.34   1000000         0
1309.92/1310.38	c       922      1082   1184.35    146.54      8.08   1000000         0
1312.22/1312.68	c       857      1138   1140.53    147.99      7.71   1000000         0
1314.62/1315.01	c       919      1110   1189.38    144.88      8.21   1000000         0
1316.92/1317.33	c       930      1083   1166.70    156.00      7.48   1000000         0
1319.22/1319.64	c       887      1020   1168.28    159.49      7.33   1000000         0
1321.52/1321.94	c       885      1230   1154.03    129.03      8.94   1000000         0
1323.82/1324.27	c       905      1016   1179.86    159.05      7.42   1000000         0
1326.12/1326.60	c       885      1111   1196.48    134.79      8.88   1000000         0
1328.52/1328.92	c       892      1175   1192.89    170.96      6.98   1000000         0
1330.82/1331.24	c       909      1198   1170.23    159.67      7.33   1000000         0
1333.11/1333.56	c       886      1280   1172.08    162.02      7.23   1000000         0
1335.41/1335.86	c       924      1073   1159.89    124.17      9.34   1000000         0
1337.71/1338.18	c       909      1188   1147.52    154.65      7.42   1000000         0
1340.01/1340.48	c       903      1082   1171.61    154.84      7.57   1000000         0
1342.41/1342.80	c       931      1252   1194.00    155.33      7.69   1000000         0
1344.71/1345.11	c       847       933   1161.53    174.77      6.65   1000000         0
1347.02/1347.42	c       918      1138   1160.69    140.93      8.24   1000000         0
1349.32/1349.73	c       894      1344   1160.30    162.07      7.16   1000000         0
1351.61/1352.05	c       878       978   1171.15    143.81      8.14   1000000         0
1353.91/1354.38	c       941      1100   1195.83    130.89      9.14   1000000         0
1356.31/1356.71	c       899      1128   1192.18    150.36      7.93   1000000         0
1358.61/1359.03	c       884      1092   1180.23    151.91      7.77   1000000         0
1360.91/1361.34	c       910      1119   1166.15    122.76      9.50   1000000         0
1363.21/1363.66	c       843      1264   1177.00    187.30      6.28   1000000         0
1365.51/1365.97	c       849      1119   1182.42    188.58      6.27   1000000         0
1367.81/1368.29	c       853      1187   1165.00    118.96      9.79   1000000         0
1370.11/1370.60	c       888      1117   1155.37    138.83      8.32   1000000         0
1372.50/1372.92	c       912      1207   1163.53    131.54      8.85   1000000         0
1374.80/1375.26	c       916      1181   1206.06    168.62      7.15   1000000         0
1377.10/1377.57	c       930      1174   1174.97    141.45      8.31   1000000         0
1379.40/1379.89	c       880       937   1171.80    155.90      7.52   1000000         0
1381.80/1382.22	c       929      1354   1191.61    168.23      7.08   1000000         0
1384.10/1384.54	c       876      1289   1178.89    165.97      7.10   1000000         0
1386.40/1386.84	c       809      1152   1151.82    132.36      8.70   1000000         0
1388.70/1389.16	c       854      1240   1172.34    161.30      7.27   1000000         0
1391.00/1391.46	c       911      1000   1159.87    146.22      7.93   1000000         0
1393.30/1393.78	c       885      1061   1175.09    136.23      8.63   1000000         0
1395.59/1396.09	c       880      1138   1162.31    157.94      7.36   1000000         0
1397.89/1398.39	c       916      1042   1137.40    133.38      8.53   1000000         0
1400.29/1400.71	c       899      1179   1181.97    179.46      6.59   1000000         0
1402.59/1403.02	c       888      1218   1164.33    138.31      8.42   1000000         0
1404.89/1405.34	c       922      1167   1164.60    159.77      7.29   1000000         0
1407.19/1407.64	c       896      1080   1151.71    167.42      6.88   1000000         0
1409.49/1409.95	c       859       887   1150.73    150.04      7.67   1000000         0
1411.79/1412.29	c       907       998   1214.65    195.86      6.20   1000000         0
1414.10/1414.60	c       832      1023   1151.29    165.93      6.94   1000000         0
1416.49/1416.92	c       871      1203   1176.32    157.39      7.47   1000000         0
1418.79/1419.23	c       839       933   1153.46    137.48      8.39   1000000         0
1421.09/1421.54	c       909      1084   1167.58    149.40      7.82   1000000         0
1423.39/1423.85	c       888      1181   1148.42    141.66      8.11   1000000         0
1425.69/1426.16	c       905      1071   1165.38    130.93      8.90   1000000         0
1427.99/1428.47	c       931      1214   1168.48    160.18      7.29   1000000         0
1430.29/1430.79	c       920      1186   1177.65    116.86     10.08   1000000         0
1432.69/1433.12	c       929      1326   1206.02    146.22      8.25   1000000         0
1434.99/1435.42	c       916      1216   1165.40    117.03      9.96   1000000         0
1437.29/1437.74	c       877      1258   1168.65    141.55      8.26   1000000         0
1439.58/1440.07	c       909      1071   1188.72    185.97      6.39   1000000         0
1441.88/1442.38	c       884      1174   1181.56    159.55      7.41   1000000         0
1444.28/1444.70	c       837      1037   1158.19    155.96      7.43   1000000         0
1446.58/1447.01	c       870       991   1159.62    141.70      8.18   1000000         0
1448.88/1449.34	c       892      1239   1182.25    123.58      9.57   1000000         0
1451.18/1451.66	c       870      1151   1173.83    146.17      8.03   1000000         0
1453.48/1453.99	c       904      1100   1183.74    145.77      8.12   1000000         0
1455.78/1456.30	c       918      1066   1134.16    124.05      9.14   1000000         0
1458.18/1458.61	c       876      1221   1164.47    161.67      7.20   1000000         0
1460.47/1460.92	c       921       959   1164.45    137.09      8.49   1000000         0
1462.77/1463.24	c       948       997   1175.67    173.92      6.76   1000000         0
1465.07/1465.57	c       839      1236   1178.78    157.13      7.50   1000000         0
1467.37/1467.88	c       896      1123   1164.80    134.57      8.66   1000000         0
1469.77/1470.20	c       902      1151   1186.67    163.45      7.26   1000000         0
1472.07/1472.52	c       894      1119   1175.06    124.95      9.40   1000000         0
1474.37/1474.85	c       881      1114   1186.08    154.33      7.69   1000000         0
1476.67/1477.18	c       877      1208   1196.32    163.54      7.32   1000000         0
1478.98/1479.49	c       877      1028   1155.30    155.24      7.44   1000000         0
1481.37/1481.80	c       860       941   1138.75    140.48      8.11   1000000         0
1483.67/1484.12	c       924      1211   1191.70    156.51      7.61   1000000         0
1485.97/1486.44	c       883      1115   1162.48    129.39      8.98   1000000         0
1488.27/1488.75	c       905      1252   1160.61    150.45      7.71   1000000         0
1490.57/1491.06	c       863      1215   1166.98    168.41      6.93   1000000         0
1492.87/1493.37	c       895      1038   1155.20    168.26      6.87   1000000         0
1495.16/1495.67	c       894      1263   1165.07    131.04      8.89   1000000         0
1497.46/1497.98	c       867      1253   1162.82    137.55      8.45   1000000         0
1499.87/1500.30	c       945      1137   1167.58    149.05      7.83   1000000         0
1502.17/1502.62	c       876      1176   1177.63    167.18      7.04   1000000         0
1504.46/1504.93	c       844      1138   1158.04    155.79      7.43   1000000         0
1506.76/1507.24	c       924      1193   1173.03    133.31      8.80   1000000         0
1509.06/1509.57	c       881      1081   1180.75    129.41      9.12   1000000         0
1511.36/1511.87	c       846      1103   1148.94    148.85      7.72   1000000         0
1513.66/1514.19	c       955       995   1179.23    148.41      7.95   1000000         0
1516.06/1516.52	c       898      1152   1192.61    168.81      7.06   1000000         0
1518.36/1518.84	c       931      1232   1182.65    148.49      7.96   1000000         0
1520.66/1521.15	c       914      1181   1165.32    149.01      7.82   1000000         0
1522.97/1523.47	c       915       966   1170.09    129.12      9.06   1000000         0
1525.27/1525.78	c       845      1029   1154.94    140.35      8.23   1000000         0
1527.66/1528.10	c       908      1226   1184.06    150.21      7.88   1000000         0
1529.96/1530.41	c       929      1072   1165.35    150.50      7.74   1000000         0
1532.26/1532.72	c       866      1258   1141.76    150.40      7.59   1000000         0
1534.55/1535.04	c       905       970   1182.96    138.80      8.52   1000000         0
1536.85/1537.36	c       888      1070   1181.76    163.35      7.23   1000000         0
1539.15/1539.68	c       900      1279   1183.42    153.45      7.71   1000000         0
1541.55/1542.00	c       840      1062   1174.96    163.24      7.20   1000000         0
1543.86/1544.31	c       920      1174   1189.84    152.71      7.79   1000000         0
1546.16/1546.64	c       891      1103   1197.98    143.89      8.33   1000000         0
1548.45/1548.96	c       856      1072   1184.93    153.94      7.70   1000000         0
1550.75/1551.30	c       935      1130   1197.65    170.72      7.02   1000000         0
1553.15/1553.61	c       876      1260   1167.44    163.19      7.15   1000000         0
1555.45/1555.92	c       843      1133   1173.74    149.79      7.84   1000000         0
1557.75/1558.26	c       883      1101   1185.42    168.44      7.04   1000000         0
1560.05/1560.57	c       932      1090   1183.18    129.75      9.12   1000000         0
1562.35/1562.88	c       892      1110   1157.19    131.71      8.79   1000000         0
1564.65/1565.19	c       825      1087   1176.20    171.63      6.85   1000000         0
1567.05/1567.50	c       867      1195   1158.78    132.42      8.75   1000000         0
1569.35/1569.82	c       936      1014   1170.85    134.14      8.73   1000000         0
1571.64/1572.13	c       905      1153   1186.39    154.63      7.67   1000000         0
1573.94/1574.45	c       929      1224   1160.92    131.23      8.85   1000000         0
1576.24/1576.77	c       902      1066   1175.37    168.31      6.98   1000000         0
1578.54/1579.08	c       928      1133   1157.22    142.20      8.14   1000000         0
1580.94/1581.40	c       915      1116   1180.95    173.31      6.81   1000000         0
1583.24/1583.72	c       879      1239   1174.00    165.87      7.08   1000000         0
1585.53/1586.05	c       883      1117   1196.48    176.10      6.79   1000000         0
1587.84/1588.37	c       870      1136   1172.91    147.34      7.96   1000000         0
1590.14/1590.67	c       888      1089   1150.05    157.49      7.30   1000000         0
1592.43/1592.99	c       827      1180   1172.40    133.11      8.81   1000000         0
1594.83/1595.31	c       883      1129   1167.29    142.95      8.17   1000000         0
1597.13/1597.62	c       897      1127   1172.30    160.42      7.31   1000000         0
1599.43/1599.94	c       815      1180   1177.26    119.30      9.87   1000000         0
1601.73/1602.25	c       904      1016   1167.75    154.16      7.57   1000000         0
1604.03/1604.58	c       930      1109   1193.12    159.79      7.47   1000000         0
1606.43/1606.90	c       859      1229   1161.22    141.95      8.18   1000000         0
1608.74/1609.22	c       885      1142   1181.02    152.36      7.75   1000000         0
1611.04/1611.53	c       837      1165   1162.94    147.93      7.86   1000000         0
1613.33/1613.84	c       923      1170   1171.04    133.12      8.80   1000000         0
1615.63/1616.14	c       908      1105   1167.60    150.28      7.77   1000000         0
1617.93/1618.47	c       858      1215   1174.46    158.27      7.42   1000000         0
1620.23/1620.79	c       908      1138   1181.37    155.45      7.60   1000000         0
1622.62/1623.10	c       856      1172   1154.28    142.58      8.10   1000000         0
1624.92/1625.42	c       919      1157   1181.58    136.53      8.65   1000000         0
1627.22/1627.74	c       943      1054   1174.68    142.80      8.23   1000000         0
1629.52/1630.06	c       897      1178   1164.69    157.24      7.41   1000000         0
1631.83/1632.38	c       879      1100   1171.09    148.23      7.90   1000000         0
1634.22/1634.70	c       847      1249   1172.34    142.22      8.24   1000000         0
1636.52/1637.02	c       850      1242   1179.68    176.21      6.69   1000000         0
1638.82/1639.33	c       860      1085   1160.18    133.00      8.72   1000000         0
1641.12/1641.65	c       879      1167   1169.62    150.26      7.78   1000000         0
1643.42/1643.96	c       922      1184   1173.55    128.09      9.16   1000000         0
1645.72/1646.28	c       926      1171   1199.37    148.64      8.07   1000000         0
1648.12/1648.60	c       894      1220   1170.06    133.68      8.75   1000000         0
1650.42/1650.92	c       886      1094   1173.96    147.33      7.97   1000000         0
1652.72/1653.24	c       897      1070   1160.48    150.18      7.73   1000000         0
1655.02/1655.56	c       944      1039   1182.09    151.36      7.81   1000000         0
1657.32/1657.88	c       886      1031   1179.48    150.01      7.86   1000000         0
1659.61/1660.20	c       934      1089   1190.59    141.14      8.44   1000000         0
1662.01/1662.52	c       875      1211   1176.17    196.47      5.99   1000000         0
1664.31/1664.84	c       912      1236   1188.37    159.21      7.46   1000000         0
1666.61/1667.16	c       858      1104   1168.54    160.71      7.27   1000000         0
1668.91/1669.48	c       914      1254   1198.18    171.32      6.99   1000000         0
1671.31/1671.80	c       875      1211   1168.53    165.67      7.05   1000000         0
1673.62/1674.12	c       864      1283   1161.97    164.36      7.07   1000000         0
1675.92/1676.44	c       875      1271   1172.74    177.30      6.61   1000000         0
1678.21/1678.76	c       911      1176   1186.33    129.75      9.14   1000000         0
1680.51/1681.08	c       903      1067   1165.03    124.77      9.34   1000000         0
1682.81/1683.39	c       901      1133   1182.16    123.44      9.58   1000000         0
1685.21/1685.72	c       932      1113   1197.04    161.72      7.40   1000000         0
1687.51/1688.03	c       872       978   1168.71    135.58      8.62   1000000         0
1689.81/1690.35	c       927      1094   1183.75    139.23      8.50   1000000         0
1692.10/1692.67	c       924      1129   1196.94    148.52      8.06   1000000         0
1694.40/1694.98	c       902      1175   1177.58    147.13      8.00   1000000         0
1696.81/1697.31	c       881      1096   1181.70    168.01      7.03   1000000         0
1699.10/1699.66	c       940      1107   1226.59    152.20      8.06   1000000         0
1701.40/1701.98	c       911      1073   1188.57    168.28      7.06   1000000         0
1703.70/1704.29	c       895      1176   1168.86    136.14      8.59   1000000         0
1706.10/1706.62	c       963      1141   1213.92    153.41      7.91   1000000         0
1708.40/1708.93	c       907      1036   1167.16    153.67      7.60   1000000         0
1710.70/1711.26	c       893      1132   1188.53    165.66      7.17   1000000         0
1713.00/1713.58	c       881      1162   1175.40    143.39      8.20   1000000         0
1715.30/1715.89	c       867      1033   1171.60    128.80      9.10   1000000         0
1717.70/1718.21	c       889      1072   1180.40    145.51      8.11   1000000         0
1719.99/1720.54	c       849      1162   1177.60    157.02      7.50   1000000         0
1722.29/1722.86	c       853      1031   1174.33    160.33      7.32   1000000         0
1724.59/1725.16	c       841      1350   1153.47    151.02      7.64   1000000         0
1726.89/1727.48	c       863      1063   1166.00    144.29      8.08   1000000         0
1729.29/1729.80	c       867      1031   1179.61    163.86      7.20   1000000         0
1731.59/1732.11	c       862      1113   1153.93    153.76      7.50   1000000         0
1733.89/1734.44	c       911      1180   1173.83    174.14      6.74   1000000         0
1736.19/1736.75	c       930      1205   1174.79    149.49      7.86   1000000         0
1738.49/1739.08	c       828      1098   1172.49    137.52      8.53   1000000         0
1740.79/1741.38	c       851      1227   1159.61    154.62      7.50   1000000         0
1743.18/1743.71	c       900      1190   1193.01    157.60      7.57   1000000         0
1745.48/1746.03	c       864      1115   1164.18    160.98      7.23   1000000         0
1747.78/1748.34	c       858      1069   1175.58    132.99      8.84   1000000         0
1750.08/1750.66	c       891      1066   1187.49    149.84      7.93   1000000         0
1752.38/1752.98	c       902      1174   1165.05    128.67      9.05   1000000         0
1754.68/1755.28	c       880      1106   1150.96    144.26      7.98   1000000         0
1756.98/1757.59	c       896      1123   1167.78    132.48      8.81   1000000         0
1759.39/1759.91	c       899      1123   1160.80    140.99      8.23   1000000         0
1761.69/1762.22	c       915      1120   1164.21    154.22      7.55   1000000         0
1763.98/1764.54	c       899      1140   1173.20    152.88      7.67   1000000         0
1766.28/1766.86	c       825      1093   1176.63    172.01      6.84   1000000         0
1768.58/1769.18	c       952      1152   1183.55    158.18      7.48   1000000         0
1770.88/1771.50	c       852       954   1161.79    156.93      7.40   1000000         0
1773.28/1773.83	c       934      1214   1179.00    151.58      7.78   1000000         0
1775.58/1776.14	c       928      1164   1165.26    141.03      8.26   1000000         0
1777.88/1778.44	c       895      1017   1151.85    166.13      6.93   1000000         0
1780.18/1780.76	c       860      1245   1180.05    140.37      8.41   1000000         0
1782.48/1783.08	c       886      1003   1182.60    149.13      7.93   1000000         0
1784.78/1785.40	c       891      1123   1172.05    169.42      6.92   1000000         0
1787.17/1787.72	c       896      1057   1165.81    144.41      8.07   1000000         0
1789.47/1790.02	c       858      1202   1162.23    167.69      6.93   1000000         0
1791.77/1792.35	c       920      1137   1203.45    152.09      7.91   1000000         0
1794.07/1794.66	c       816      1097   1170.31    138.84      8.43   1000000         0
1796.37/1796.97	c       872      1108   1161.49    155.04      7.49   1000000         0
1798.67/1799.27	c       927      1130   1160.16    144.11      8.05   1000000         0
1800.09/1800.61	HOME/run: line 2: 18501 Terminated              ./PB-wave < $1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684972-1278437208/watcher-2684972-1278437208 -o /tmp/evaluation-result-2684972-1278437208/solver-2684972-1278437208 -C 1800 -W 2000 -M 1800 run HOME/instance-2684972-1278437208.opb 

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


[startup+0 s]
/proc/loadavg: 1.47 1.13 1.03 3/106 18500
/proc/meminfo: memFree=1835312/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) R 18498 18500 17827 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393754517 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0

[startup+0.01776 s]
/proc/loadavg: 1.47 1.13 1.03 3/106 18500
/proc/meminfo: memFree=1835312/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100766 s]
/proc/loadavg: 1.47 1.13 1.03 3/106 18500
/proc/meminfo: memFree=1835312/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300874 s]
/proc/loadavg: 1.47 1.13 1.03 3/106 18500
/proc/meminfo: memFree=1835312/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700819 s]
/proc/loadavg: 1.47 1.13 1.03 3/106 18500
/proc/meminfo: memFree=1835312/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50089 s]
/proc/loadavg: 1.47 1.13 1.03 2/108 18503
/proc/meminfo: memFree=1826864/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1.49
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2149 0 0 0 148 1 0 0 25 0 1 0 11928165 41422848 2078 1992294400 134512640 135071400 4290957888 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2078 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10103 s]
/proc/loadavg: 1.47 1.13 1.03 2/108 18503
/proc/meminfo: memFree=1826740/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=3.09
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 308 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30132 s]
/proc/loadavg: 1.43 1.13 1.03 2/108 18503
/proc/meminfo: memFree=1826616/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=6.29
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 628 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7019 s]
/proc/loadavg: 1.40 1.13 1.03 2/108 18503
/proc/meminfo: memFree=1826492/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=12.69
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 1268 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.501 s]
/proc/loadavg: 1.31 1.12 1.03 2/108 18503
/proc/meminfo: memFree=1826492/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=25.49
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 2548 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49152

[startup+51.1013 s]
/proc/loadavg: 1.20 1.11 1.03 2/108 18504
/proc/meminfo: memFree=1826492/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=51.08
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 5107 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.09 1.09 1.02 2/108 18505
/proc/meminfo: memFree=1826368/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=102.27
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 10226 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.03 1.07 1.02 2/108 18507
/proc/meminfo: memFree=1826244/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=162.25
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 16224 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.302 s]
/proc/loadavg: 1.01 1.06 1.01 2/108 18508
/proc/meminfo: memFree=1826244/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=222.22
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 22221 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/108 18510
/proc/meminfo: memFree=1826244/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=282.2
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 28219 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134571201 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 49152

[startup+342.303 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 18511
/proc/meminfo: memFree=1826244/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=342.19
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 34218 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49152

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 18513
/proc/meminfo: memFree=1826120/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=402.17
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 40216 1 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1061.99
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 106197 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18532
/proc/meminfo: memFree=1825004/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1121.98
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 112196 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134526675 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18534
/proc/meminfo: memFree=1824756/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1181.96
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 118194 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18535
/proc/meminfo: memFree=1824508/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1241.95
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 124193 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18537
/proc/meminfo: memFree=1824384/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1301.93
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 130191 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18539
/proc/meminfo: memFree=1824384/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1361.91
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 136189 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134526726 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18540
/proc/meminfo: memFree=1824260/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1421.89
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 142187 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134525893 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18542
/proc/meminfo: memFree=1824136/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1481.87
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 148185 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134526410 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18543
/proc/meminfo: memFree=1824136/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1541.85
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 154183 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18545
/proc/meminfo: memFree=1823888/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1601.83
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 160181 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18547
/proc/meminfo: memFree=1823888/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1661.81
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 166179 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134537028 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18548
/proc/meminfo: memFree=1823764/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1721.79
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 172177 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18550
/proc/meminfo: memFree=1823640/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1781.78
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 178176 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18551
/proc/meminfo: memFree=1823516/2059040 swapFree=4185408/4192956
[pid=18500] ppid=18498 vsize=8700 CPUtime=0
/proc/18500/stat : 18500 (run) S 18498 18500 17827 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11928165 8908800 244 1992294400 4194304 4922060 140736295618080 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18500/statm: 2175 244 204 178 0 68 0
[pid=18501] ppid=18500 vsize=40452 CPUtime=1800.09
/proc/18501/stat : 18501 (PB-wave) R 18500 18500 17827 0 -1 4202496 2158 0 0 0 180007 2 0 0 25 0 1 0 11928165 41422848 2087 1992294400 134512640 135071400 4290957888 18446744073709551615 134537212 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18501/statm: 10113 2087 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.1
CPU user time (s): 1800.07
CPU system time (s): 0.030995
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.05553 second user time and 8.48871 second system time

The end

Launcher Data 

Begin job on node043 at 2010-07-06 19:26:48
IDJOB=2684972
IDBENCH=74228
IDSOLVER=1171
FILE ID=node043/2684972-1278437208
PBS_JOBID= 11233478
Free space on /tmp= 62528 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12027_7-unsat.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684972-1278437208/watcher-2684972-1278437208 -o /tmp/evaluation-result-2684972-1278437208/solver-2684972-1278437208 -C 1800 -W 2000 -M 1800  run HOME/instance-2684972-1278437208.opb

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

MD5SUM BENCH= 9cb7abe340995f692b6fcedb078085dd
RANDOM SEED=771814151

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1835832 kB
Buffers:          5176 kB
Cached:          95852 kB
SwapCached:       1876 kB
Active:          37424 kB
Inactive:       118124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1835832 kB
SwapTotal:     4192956 kB
SwapFree:      4185408 kB
Dirty:            3568 kB
Writeback:           0 kB
AnonPages:       52548 kB
Mapped:          14424 kB
Slab:            45492 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62524 MiB
End job on node043 at 2010-07-06 19:56:49