Trace number 2684916

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.04 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12047_10-unsat.opb
MD5SUM185b639ab7915adc40998376a286d172
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 benchmark231.617
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables30492
Total number of constraints105829
Number of constraints which are clauses105329
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint1
Maximum length of a constraint68
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 421
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.25	c PB-wave - v2
0.00/0.25	c command line = ./PB-wave
0.00/0.25	c seed = 35572487
0.00/0.25	c cutoff = 1000000
0.00/0.25	c tries = 1000000
0.00/0.25	c heuristic = c best, noise 50 / 100
0.00/0.25	#var 30492 #con 105829
0.00/0.25	mode is SAT
0.00/0.25	c tail starts after flip = 91476
0.00/0.25	c numatom = 30492, numclause = 105829, numliterals = 254481
0.00/0.25	c wff read in
0.00/0.25	c 
0.00/0.25	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.25	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.25	c       this      this      this      this      this      this   success   success       until         std
0.00/0.25	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.25	c
2.59/2.62	c       810      1067   1100.38    138.71      7.93   1000000         0
4.99/5.01	c       864      1099   1125.66    139.43      8.07   1000000         0
7.29/7.39	c       907      1146   1139.76    137.80      8.27   1000000         0
9.69/9.77	c       809      1080   1124.27    122.27      9.19   1000000         0
12.09/12.16	c       875      1208   1141.54    150.35      7.59   1000000         0
14.48/14.56	c       899       996   1141.66    122.23      9.34   1000000         0
16.88/16.94	c       725      1028   1111.82    171.40      6.49   1000000         0
19.28/19.32	c       891      1040   1111.21    133.76      8.31   1000000         0
21.58/21.69	c       896      1025   1114.88    130.29      8.56   1000000         0
23.98/24.09	c       909      1198   1144.50    148.59      7.70   1000000         0
26.39/26.46	c       877      1153   1120.15    123.54      9.07   1000000         0
28.78/28.84	c       885      1060   1121.89    146.26      7.67   1000000         0
31.18/31.24	c       874      1142   1137.11    150.31      7.56   1000000         0
33.58/33.64	c       849       935   1146.48    142.03      8.07   1000000         0
35.98/36.02	c       885      1206   1120.31    138.26      8.10   1000000         0
38.39/38.41	c       844      1078   1126.11    127.26      8.85   1000000         0
40.69/40.80	c       847      1059   1122.09    119.00      9.43   1000000         0
43.08/43.16	c       894      1137   1117.46    117.88      9.48   1000000         0
45.48/45.56	c       892      1105   1136.90    126.74      8.97   1000000         0
47.88/47.94	c       887      1051   1136.49    139.74      8.13   1000000         0
50.28/50.33	c       858      1139   1133.40    130.31      8.70   1000000         0
52.68/52.73	c       911      1151   1144.54    130.66      8.76   1000000         0
55.07/55.12	c       837      1156   1132.07    139.76      8.10   1000000         0
57.47/57.51	c       847      1024   1117.48    139.83      7.99   1000000         0
59.77/59.88	c       871      1170   1112.19    125.45      8.87   1000000         0
62.17/62.29	c       883      1067   1159.87    156.77      7.40   1000000         0
64.57/64.66	c       856       974   1110.47    134.08      8.28   1000000         0
66.98/67.05	c       883      1063   1134.39    137.38      8.26   1000000         0
69.37/69.42	c       876      1042   1106.52    138.87      7.97   1000000         0
71.67/71.79	c       877      1126   1108.10    119.83      9.25   1000000         0
74.07/74.18	c       862       993   1137.62    156.98      7.25   1000000         0
76.47/76.57	c       903      1054   1141.91    117.26      9.74   1000000         0
78.87/78.98	c       870      1042   1159.13    152.66      7.59   1000000         0
81.27/81.37	c       842      1203   1136.30    125.67      9.04   1000000         0
83.67/83.75	c       878      1200   1117.05    136.01      8.21   1000000         0
86.07/86.12	c       839      1098   1115.13    179.87      6.20   1000000         0
88.47/88.51	c       887      1148   1124.63    124.42      9.04   1000000         0
90.77/90.89	c       854      1025   1124.96    113.36      9.92   1000000         0
93.16/93.27	c       861      1067   1125.60    134.99      8.34   1000000         0
95.57/95.66	c       860      1084   1128.44    133.75      8.44   1000000         0
97.96/98.04	c       874      1010   1129.47    138.98      8.13   1000000         0
100.36/100.43	c       902      1239   1140.16    144.84      7.87   1000000         0
102.76/102.82	c       846      1073   1133.83    146.94      7.72   1000000         0
105.16/105.20	c       842      1184   1131.91    129.02      8.77   1000000         0
107.46/107.58	c       809      1235   1122.26    110.60     10.15   1000000         0
109.87/109.96	c       887      1044   1129.11    124.64      9.06   1000000         0
112.26/112.35	c       848      1110   1139.61    154.68      7.37   1000000         0
114.66/114.75	c       889      1045   1129.31    152.81      7.39   1000000         0
117.06/117.14	c       906      1186   1135.16    153.91      7.38   1000000         0
119.46/119.52	c       843      1161   1119.24    141.70      7.90   1000000         0
121.76/121.89	c       904      1083   1123.96     93.40     12.03   1000000         0
124.16/124.28	c       890      1110   1127.17    155.85      7.23   1000000         0
126.56/126.68	c       890      1074   1160.12    134.32      8.64   1000000         0
128.96/129.09	c       819      1063   1129.80    163.02      6.93   1000000         0
131.45/131.50	c       907      1188   1141.13    135.93      8.39   1000000         0
133.75/133.89	c       888      1095   1127.77    126.68      8.90   1000000         0
136.15/136.26	c       867      1098   1120.40    113.92      9.83   1000000         0
138.56/138.64	c       878      1160   1125.97    133.07      8.46   1000000         0
140.95/141.02	c       830      1152   1108.71    143.93      7.70   1000000         0
143.25/143.40	c       871       918   1123.87    133.82      8.40   1000000         0
145.65/145.79	c       894      1079   1140.44    154.54      7.38   1000000         0
148.05/148.18	c       876      1031   1138.78    127.85      8.91   1000000         0
150.45/150.57	c       839      1018   1147.06    150.58      7.62   1000000         0
152.86/152.96	c       837      1032   1128.00    139.49      8.09   1000000         0
155.25/155.35	c       892      1061   1132.43    124.66      9.08   1000000         0
157.65/157.73	c       838      1065   1111.59    126.99      8.75   1000000         0
160.05/160.12	c       911      1213   1125.85    155.50      7.24   1000000         0
162.45/162.50	c       863      1113   1116.01    126.21      8.84   1000000         0
164.75/164.89	c       899      1122   1133.10    115.66      9.80   1000000         0
167.15/167.28	c       885      1223   1138.29    129.32      8.80   1000000         0
169.55/169.67	c       877      1031   1133.28    143.64      7.89   1000000         0
171.94/172.06	c       899      1038   1141.38    137.86      8.28   1000000         0
174.34/174.44	c       882      1137   1127.86    146.07      7.72   1000000         0
176.74/176.83	c       873      1070   1123.44    140.50      8.00   1000000         0
179.15/179.23	c       876       954   1134.73    141.35      8.03   1000000         0
181.54/181.61	c       848      1058   1130.91    148.29      7.63   1000000         0
183.94/184.00	c       863      1210   1120.48    120.50      9.30   1000000         0
186.24/186.39	c       881      1050   1137.85    165.46      6.88   1000000         0
188.64/188.76	c       838      1192   1104.88    125.95      8.77   1000000         0
191.04/191.14	c       852      1010   1124.96    121.50      9.26   1000000         0
193.44/193.52	c       816      1189   1113.97    125.45      8.88   1000000         0
195.84/195.90	c       824      1128   1123.23    147.84      7.60   1000000         0
198.14/198.29	c       877      1046   1136.49    158.19      7.18   1000000         0
200.54/200.68	c       896      1126   1160.30    163.50      7.10   1000000         0
202.94/203.06	c       839      1137   1116.65    132.00      8.46   1000000         0
205.33/205.44	c       841      1239   1137.50    142.23      8.00   1000000         0
207.74/207.82	c       877      1068   1121.08    129.06      8.69   1000000         0
210.13/210.20	c       859      1135   1125.25    130.52      8.62   1000000         0
212.43/212.58	c       904      1181   1119.60    123.28      9.08   1000000         0
214.83/214.98	c       863       962   1137.27    166.39      6.84   1000000         0
217.23/217.38	c       830      1153   1146.54    110.11     10.41   1000000         0
219.63/219.77	c       869      1064   1126.53    148.17      7.60   1000000         0
222.04/222.14	c       892      1160   1106.53    109.27     10.13   1000000         0
224.43/224.53	c       876      1132   1137.45    162.00      7.02   1000000         0
226.83/226.90	c       835      1060   1115.48    147.72      7.55   1000000         0
229.13/229.28	c       884      1096   1119.87    123.63      9.06   1000000         0
231.53/231.66	c       887      1030   1129.54    134.18      8.42   1000000         0
233.93/234.06	c       874      1059   1128.48    155.13      7.27   1000000         0
236.33/236.45	c       859      1067   1134.80    116.19      9.77   1000000         0
238.72/238.84	c       852      1006   1136.31    130.59      8.70   1000000         0
241.12/241.22	c       865      1163   1139.49    148.64      7.67   1000000         0
243.52/243.62	c       892      1078   1138.72    155.09      7.34   1000000         0
245.92/246.00	c       856      1059   1106.03    114.99      9.62   1000000         0
248.32/248.40	c       935      1078   1148.96    123.06      9.34   1000000         0
250.63/250.78	c       892      1117   1127.98    117.43      9.61   1000000         0
253.02/253.16	c       890       982   1125.95    131.48      8.56   1000000         0
255.42/255.55	c       883      1025   1125.84    126.72      8.88   1000000         0
257.82/257.94	c       861      1086   1133.20    151.45      7.48   1000000         0
260.22/260.32	c       892      1007   1127.46    128.88      8.75   1000000         0
262.52/262.69	c       848      1063   1101.72    143.83      7.66   1000000         0
264.92/265.07	c       883      1064   1121.39    126.04      8.90   1000000         0
267.32/267.45	c       869      1090   1118.93    149.47      7.49   1000000         0
269.72/269.83	c       851      1256   1133.74    161.73      7.01   1000000         0
272.12/272.22	c       868      1062   1125.19    145.07      7.76   1000000         0
274.52/274.61	c       873      1074   1120.89    130.10      8.62   1000000         0
276.81/276.99	c       866      1111   1131.03    144.66      7.82   1000000         0
279.22/279.38	c       891      1263   1134.73    154.01      7.37   1000000         0
281.61/281.75	c       820      1066   1108.86    119.41      9.29   1000000         0
284.01/284.13	c       845      1086   1126.26    148.10      7.60   1000000         0
286.41/286.52	c       904      1003   1142.41    138.01      8.28   1000000         0
288.71/288.89	c       876      1105   1113.96    139.12      8.01   1000000         0
291.11/291.28	c       895      1127   1135.13    130.34      8.71   1000000         0
293.52/293.66	c       906      1208   1119.53    135.73      8.25   1000000         0
295.91/296.05	c       876      1134   1124.94    135.02      8.33   1000000         0
298.31/298.44	c       911      1089   1132.12    144.35      7.84   1000000         0
300.71/300.83	c       882      1273   1138.25    129.63      8.78   1000000         0
303.11/303.22	c       853      1214   1132.20    140.23      8.07   1000000         0
305.51/305.60	c       885       976   1122.84    150.52      7.46   1000000         0
307.81/307.99	c       890      1142   1130.09    149.24      7.57   1000000         0
310.21/310.37	c       878      1137   1122.28    125.76      8.92   1000000         0
312.60/312.74	c       873      1101   1118.30    122.16      9.15   1000000         0
315.00/315.13	c       872      1100   1130.00    132.54      8.53   1000000         0
317.40/317.50	c       850      1177   1106.23    128.61      8.60   1000000         0
319.80/319.90	c       927      1077   1156.88    138.77      8.34   1000000         0
322.11/322.29	c       902      1125   1134.68    128.56      8.83   1000000         0
324.50/324.67	c       905      1189   1136.39    143.23      7.93   1000000         0
326.90/327.05	c       855      1125   1108.47    135.98      8.15   1000000         0
329.30/329.43	c       845      1107   1123.90    116.88      9.62   1000000         0
331.70/331.81	c       890      1064   1123.97    144.05      7.80   1000000         0
334.00/334.18	c       905      1133   1112.65     99.17     11.22   1000000         0
336.41/336.56	c       873      1081   1124.76    135.96      8.27   1000000         0
338.80/338.94	c       888      1046   1124.20    138.80      8.10   1000000         0
341.20/341.32	c       870      1062   1129.64    117.47      9.62   1000000         0
343.60/343.70	c       896      1006   1128.25    147.96      7.63   1000000         0
345.89/346.08	c       885      1220   1125.15    128.60      8.75   1000000         0
348.29/348.48	c       893      1024   1141.22    155.22      7.35   1000000         0
350.70/350.86	c       813      1190   1122.96    133.38      8.42   1000000         0
353.09/353.26	c       880      1075   1137.75    126.61      8.99   1000000         0
355.49/355.65	c       864      1012   1145.30    153.48      7.46   1000000         0
357.89/358.04	c       837      1149   1142.19    135.52      8.43   1000000         0
360.29/360.44	c       879      1035   1144.27    140.50      8.14   1000000         0
362.69/362.83	c       861      1010   1136.35    147.24      7.72   1000000         0
365.00/365.20	c       851      1132   1105.49    110.95      9.96   1000000         0
367.49/367.61	c       888      1136   1147.06    147.79      7.76   1000000         0
369.79/369.99	c       881      1251   1123.25    148.91      7.54   1000000         0
372.19/372.37	c       857      1059   1109.94    114.51      9.69   1000000         0
374.59/374.75	c       905      1067   1122.31    115.52      9.72   1000000         0
376.99/377.13	c       841       988   1113.52    124.73      8.93   1000000         0
379.39/379.51	c       874      1112   1125.35    156.00      7.21   1000000         0
381.79/381.90	c       877      1190   1143.73    136.41      8.38   1000000         0
384.09/384.27	c       870      1038   1129.03    145.86      7.74   1000000         0
386.49/386.66	c       859      1193   1118.51    117.20      9.54   1000000         0
388.88/389.04	c       876      1085   1120.36    156.72      7.15   1000000         0
391.28/391.42	c       902      1177   1122.68    146.17      7.68   1000000         0
393.69/393.82	c       871      1128   1155.58    157.45      7.34   1000000         0
396.08/396.21	c       885      1081   1133.91    131.17      8.64   1000000         0
398.38/398.59	c       875      1085   1130.12    111.05     10.18   1000000         0
400.78/400.98	c       889      1118   1138.41    138.89      8.20   1000000         0
403.18/403.39	c       863      1068   1136.45    156.83      7.25   1000000         0
405.58/405.77	c       905      1098   1132.66    140.10      8.08   1000000         0
407.99/408.15	c       910       957   1133.43    130.28      8.70   1000000         0
410.38/410.55	c       882      1267   1142.05    146.46      7.80   1000000         0
412.78/412.93	c       892      1047   1127.82    120.09      9.39   1000000         0
415.18/415.33	c       844      1082   1146.89    157.73      7.27   1000000         0
417.58/417.70	c       863      1123   1125.54    107.62     10.46   1000000         0
419.88/420.09	c       897      1047   1148.42    141.17      8.14   1000000         0
422.28/422.46	c       841      1009   1106.72    139.55      7.93   1000000         0
424.67/424.85	c       890      1126   1147.40    149.19      7.69   1000000         0
427.07/427.22	c       836      1164   1107.22    156.11      7.09   1000000         0
429.47/429.60	c       879      1169   1126.90    120.72      9.34   1000000         0
431.77/431.99	c       824      1085   1124.69    136.15      8.26   1000000         0
434.17/434.38	c       840      1094   1124.49    137.76      8.16   1000000         0
436.58/436.77	c       894      1091   1135.80    146.93      7.73   1000000         0
438.97/439.15	c       870      1050   1124.90    134.03      8.39   1000000         0
441.37/441.53	c       872      1064   1123.90    135.19      8.31   1000000         0
443.77/443.92	c       874      1297   1141.94    136.55      8.36   1000000         0
446.17/446.32	c       878      1057   1144.99    144.09      7.95   1000000         0
448.57/448.71	c       860      1197   1133.83    147.25      7.70   1000000         0
450.97/451.10	c       868      1010   1136.72    171.27      6.64   1000000         0
453.27/453.47	c       878       980   1111.23    129.28      8.60   1000000         0
455.67/455.86	c       831      1150   1124.71    128.86      8.73   1000000         0
458.07/458.25	c       892      1055   1133.26    124.48      9.10   1000000         0
460.47/460.63	c       877      1079   1124.87    153.27      7.34   1000000         0
462.87/463.02	c       859      1018   1124.36    161.70      6.95   1000000         0
465.26/465.40	c       872      1086   1124.31    121.81      9.23   1000000         0
467.56/467.79	c       876      1087   1129.94    123.22      9.17   1000000         0
469.96/470.19	c       914      1186   1147.83    138.91      8.26   1000000         0
472.36/472.57	c       800      1017   1127.28    144.08      7.82   1000000         0
474.76/474.96	c       889      1083   1146.11    128.43      8.92   1000000         0
477.17/477.33	c       860      1154   1123.46    134.99      8.32   1000000         0
479.56/479.70	c       872      1236   1108.63    133.10      8.33   1000000         0
481.86/482.08	c       907      1179   1131.98    114.29      9.90   1000000         0
484.26/484.48	c       872      1069   1135.99    108.43     10.48   1000000         0
486.66/486.87	c       892      1101   1140.64    136.89      8.33   1000000         0
489.06/489.24	c       838      1143   1104.46    148.82      7.42   1000000         0
491.46/491.64	c       876      1037   1135.29    149.68      7.59   1000000         0
493.86/494.02	c       871      1142   1135.14    136.96      8.29   1000000         0
496.26/496.41	c       880      1147   1141.50    133.08      8.58   1000000         0
498.56/498.79	c       873      1234   1115.07    133.13      8.38   1000000         0
500.95/501.18	c       880      1069   1130.22    127.79      8.84   1000000         0
503.35/503.56	c       833      1200   1119.83    121.83      9.19   1000000         0
505.76/505.95	c       863      1104   1136.51    113.67     10.00   1000000         0
508.15/508.34	c       844      1000   1122.81    124.22      9.04   1000000         0
510.55/510.72	c       849      1124   1118.31     99.79     11.21   1000000         0
512.95/513.11	c       876      1138   1131.90    154.19      7.34   1000000         0
515.25/515.49	c       854      1139   1116.31    168.47      6.63   1000000         0
517.65/517.87	c       885      1072   1134.81    133.88      8.48   1000000         0
520.06/520.25	c       893      1204   1125.01    144.29      7.80   1000000         0
522.45/522.63	c       920      1217   1132.14    106.62     10.62   1000000         0
524.85/525.00	c       806      1161   1115.18    138.50      8.05   1000000         0
527.15/527.38	c       898      1277   1125.28    142.45      7.90   1000000         0
529.55/529.76	c       861      1157   1125.09    146.40      7.68   1000000         0
531.95/532.15	c       854      1195   1121.91    127.49      8.80   1000000         0
534.35/534.55	c       857      1044   1140.77    165.67      6.89   1000000         0
536.74/536.93	c       869       990   1132.80    131.94      8.59   1000000         0
539.14/539.32	c       919      1102   1146.93    138.94      8.25   1000000         0
541.54/541.71	c       840      1057   1137.19    144.57      7.87   1000000         0
543.84/544.09	c       847      1287   1128.12    141.23      7.99   1000000         0
546.24/546.49	c       862      1036   1146.48    157.88      7.26   1000000         0
548.65/548.88	c       873      1197   1137.91    144.34      7.88   1000000         0
551.04/551.26	c       812       987   1121.10    134.64      8.33   1000000         0
553.44/553.64	c       868      1083   1126.24    132.51      8.50   1000000         0
555.84/556.02	c       839       903   1122.60    145.10      7.74   1000000         0
558.14/558.40	c       869      1068   1111.36    136.21      8.16   1000000         0
560.54/560.79	c       900      1086   1148.46    142.22      8.08   1000000         0
562.94/563.16	c       836      1225   1118.95    129.75      8.62   1000000         0
565.34/565.54	c       830      1017   1117.04    144.35      7.74   1000000         0
567.74/567.91	c       865      1094   1109.32    118.37      9.37   1000000         0
570.14/570.31	c       891      1115   1139.80    161.74      7.05   1000000         0
572.43/572.69	c       919      1175   1135.48    140.17      8.10   1000000         0
574.83/575.09	c       907      1052   1127.55    140.38      8.03   1000000         0
577.24/577.47	c       863      1240   1137.60    127.59      8.92   1000000         0
579.63/579.87	c       871      1242   1147.40    140.11      8.19   1000000         0
582.03/582.26	c       895      1156   1133.43    140.60      8.06   1000000         0
584.43/584.64	c       900       994   1132.15    133.89      8.46   1000000         0
586.83/587.03	c       871      1182   1136.14    123.09      9.23   1000000         0
589.23/589.42	c       894      1054   1151.07    160.43      7.17   1000000         0
591.54/591.78	c       794      1000   1092.53    125.29      8.72   1000000         0
593.93/594.17	c       820      1186   1125.82    115.26      9.77   1000000         0
596.33/596.56	c       888      1154   1136.26    107.02     10.62   1000000         0
598.73/598.95	c       869      1053   1133.06    123.34      9.19   1000000         0
601.13/601.33	c       895      1241   1126.99    105.97     10.63   1000000         0
603.53/603.71	c       891      1137   1122.07    115.96      9.68   1000000         0
605.83/606.09	c       874      1024   1120.39    104.70     10.70   1000000         0
608.23/608.47	c       851       919   1132.58    142.65      7.94   1000000         0
610.62/610.86	c       851      1147   1133.21    143.74      7.88   1000000         0
613.02/613.25	c       850       974   1137.30    148.13      7.68   1000000         0
615.42/615.64	c       864      1063   1145.64    138.88      8.25   1000000         0
617.82/618.03	c       859      1035   1128.44    158.95      7.10   1000000         0
620.23/620.42	c       907      1208   1131.00    134.63      8.40   1000000         0
622.52/622.79	c       888      1043   1124.26    141.51      7.94   1000000         0
624.92/625.18	c       876       962   1142.62    141.16      8.09   1000000         0
627.32/627.57	c       835      1249   1129.28    136.09      8.30   1000000         0
629.72/629.95	c       795      1207   1121.03    130.14      8.61   1000000         0
632.12/632.32	c       893      1121   1131.49    147.57      7.67   1000000         0
634.53/634.72	c       840       984   1142.05    127.79      8.94   1000000         0
636.82/637.09	c       899      1074   1115.27    137.64      8.10   1000000         0
639.22/639.49	c       879      1044   1151.23    128.68      8.95   1000000         0
641.62/641.86	c       938      1037   1130.57    115.02      9.83   1000000         0
644.02/644.23	c       826      1045   1105.72    136.41      8.11   1000000         0
646.41/646.62	c       870      1123   1136.77    129.74      8.76   1000000         0
648.72/649.00	c       884      1075   1130.25    110.79     10.20   1000000         0
651.11/651.37	c       884      1091   1121.59    122.78      9.13   1000000         0
653.51/653.77	c       908      1165   1143.01    159.66      7.16   1000000         0
655.91/656.14	c       853      1117   1116.21    123.24      9.06   1000000         0
658.31/658.53	c       927      1074   1137.41    115.60      9.84   1000000         0
660.71/660.91	c       880      1184   1122.56    136.52      8.22   1000000         0
663.02/663.29	c       883      1140   1126.22    153.77      7.32   1000000         0
665.41/665.67	c       837      1022   1112.00    135.63      8.20   1000000         0
667.81/668.06	c       904      1129   1144.50    155.96      7.34   1000000         0
670.21/670.44	c       845      1111   1113.59    132.54      8.40   1000000         0
672.61/672.83	c       858      1076   1149.43    138.64      8.29   1000000         0
675.01/675.23	c       853      1043   1132.27    104.71     10.81   1000000         0
677.42/677.61	c       827      1036   1137.82    167.16      6.81   1000000         0
679.81/680.00	c       863      1059   1122.59    136.86      8.20   1000000         0
682.11/682.38	c       896      1129   1125.13    126.85      8.87   1000000         0
684.51/684.76	c       814      1157   1122.57    131.97      8.51   1000000         0
686.91/687.17	c       840      1047   1156.58    160.70      7.20   1000000         0
689.30/689.55	c       883      1005   1124.39    155.56      7.23   1000000         0
691.71/691.93	c       875      1054   1133.14    139.60      8.12   1000000         0
694.10/694.33	c       874      1108   1147.34    175.24      6.55   1000000         0
696.50/696.72	c       884      1101   1127.82    155.06      7.27   1000000         0
698.90/699.11	c       904      1128   1130.57    122.49      9.23   1000000         0
701.30/701.50	c       905      1103   1143.81    138.53      8.26   1000000         0
703.71/703.91	c       889      1219   1148.89    139.93      8.21   1000000         0
706.10/706.31	c       911      1187   1165.94    147.12      7.93   1000000         0
708.40/708.69	c       870      1048   1117.66    143.97      7.76   1000000         0
710.80/711.07	c       895      1150   1127.12    125.57      8.98   1000000         0
713.20/713.46	c       893      1080   1136.15    167.89      6.77   1000000         0
715.60/715.84	c       886      1031   1113.00    124.53      8.94   1000000         0
718.00/718.22	c       865      1076   1122.73    147.44      7.61   1000000         0
720.30/720.59	c       834      1111   1119.07    139.15      8.04   1000000         0
722.69/722.98	c       899      1102   1145.75    127.01      9.02   1000000         0
725.09/725.36	c       912      1090   1120.03    128.06      8.75   1000000         0
727.49/727.74	c       916      1097   1132.72    139.92      8.10   1000000         0
729.89/730.12	c       824      1042   1115.49    135.46      8.23   1000000         0
732.30/732.50	c       876      1278   1111.29    141.60      7.85   1000000         0
734.69/734.90	c       880      1103   1149.25    157.02      7.32   1000000         0
736.99/737.27	c       868      1068   1121.10    132.79      8.44   1000000         0
739.39/739.66	c       863      1109   1129.99    120.97      9.34   1000000         0
741.79/742.05	c       847      1177   1143.65    144.91      7.89   1000000         0
744.19/744.44	c       845      1097   1134.28    120.14      9.44   1000000         0
746.60/746.84	c       879      1075   1133.80    149.83      7.57   1000000         0
748.99/749.23	c       807      1202   1141.55    141.25      8.08   1000000         0
751.39/751.62	c       809      1091   1126.71    124.30      9.06   1000000         0
753.79/754.01	c       884      1019   1129.26    127.29      8.87   1000000         0
756.09/756.39	c       843      1067   1127.91    120.28      9.38   1000000         0
758.48/758.79	c       835      1174   1143.69    172.96      6.61   1000000         0
760.89/761.19	c       849      1127   1143.35    149.48      7.65   1000000         0
763.28/763.57	c       864      1137   1112.80    145.91      7.63   1000000         0
765.68/765.97	c       842      1228   1134.12    123.46      9.19   1000000         0
768.08/768.35	c       882       968   1108.62    122.92      9.02   1000000         0
770.48/770.74	c       873      1131   1138.32    139.40      8.17   1000000         0
772.88/773.10	c       831      1033   1095.94    144.45      7.59   1000000         0
775.19/775.48	c       790      1114   1116.41    145.76      7.66   1000000         0
777.58/777.87	c       884      1043   1146.06    157.59      7.27   1000000         0
779.98/780.25	c       869       958   1121.93    153.63      7.30   1000000         0
782.38/782.63	c       864      1007   1128.99    119.01      9.49   1000000         0
784.78/785.03	c       867      1091   1148.79    155.19      7.40   1000000         0
787.18/787.42	c       853      1173   1140.63    146.70      7.78   1000000         0
789.58/789.81	c       866      1043   1118.20    126.57      8.83   1000000         0
791.98/792.20	c       866      1059   1154.91    131.18      8.80   1000000         0
794.28/794.59	c       895      1084   1126.10    126.46      8.90   1000000         0
796.68/796.97	c       841      1103   1127.32    139.37      8.09   1000000         0
799.07/799.36	c       878      1079   1126.24    155.93      7.22   1000000         0
801.47/801.74	c       883      1139   1103.27    118.91      9.28   1000000         0
803.88/804.14	c       882      1133   1153.95    162.60      7.10   1000000         0
806.27/806.51	c       907      1075   1126.87    135.98      8.29   1000000         0
808.67/808.90	c       876      1270   1122.58    157.93      7.11   1000000         0
810.97/811.28	c       870      1299   1125.32    110.39     10.19   1000000         0
813.37/813.66	c       899      1104   1127.38    124.98      9.02   1000000         0
815.77/816.05	c       903      1166   1138.06    154.96      7.34   1000000         0
818.18/818.42	c       829      1057   1106.87    106.87     10.36   1000000         0
820.57/820.80	c       880      1145   1130.20    133.64      8.46   1000000         0
822.87/823.19	c       865      1037   1127.08    143.45      7.86   1000000         0
825.27/825.58	c       898      1001   1145.26    134.27      8.53   1000000         0
827.67/827.96	c       873      1084   1133.80    145.30      7.80   1000000         0
830.07/830.34	c       802      1063   1114.71    120.99      9.21   1000000         0
832.47/832.74	c       897      1291   1146.75    147.88      7.75   1000000         0
834.87/835.13	c       891      1022   1124.99    129.00      8.72   1000000         0
837.26/837.50	c       877      1073   1118.75    132.13      8.47   1000000         0
839.56/839.87	c       851      1100   1121.67    137.50      8.16   1000000         0
841.96/842.26	c       908      1224   1130.93    128.31      8.81   1000000         0
844.36/844.65	c       889      1066   1123.07    119.17      9.42   1000000         0
846.77/847.04	c       863      1137   1133.94    133.05      8.52   1000000         0
849.16/849.43	c       887      1139   1128.34    153.19      7.37   1000000         0
851.56/851.81	c       887       976   1125.74    113.77      9.90   1000000         0
853.96/854.20	c       847      1039   1141.23    138.97      8.21   1000000         0
856.26/856.57	c       866      1057   1111.02    134.97      8.23   1000000         0
858.66/858.95	c       886      1012   1134.58    148.22      7.65   1000000         0
861.07/861.36	c       877      1124   1156.87    149.46      7.74   1000000         0
863.46/863.74	c       882      1083   1130.30    142.58      7.93   1000000         0
865.86/866.12	c       860      1190   1142.40    162.99      7.01   1000000         0
868.26/868.52	c       841      1124   1135.78    124.41      9.13   1000000         0
870.55/870.89	c       850      1123   1128.63    156.58      7.21   1000000         0
872.95/873.26	c       887      1031   1108.43    132.18      8.39   1000000         0
875.36/875.66	c       847      1104   1146.04    141.99      8.07   1000000         0
877.75/878.05	c       881      1185   1130.36    163.76      6.90   1000000         0
880.15/880.42	c       824       988   1119.51    117.75      9.51   1000000         0
882.55/882.81	c       843      1139   1138.71    139.80      8.15   1000000         0
884.85/885.19	c       829      1116   1127.75    122.86      9.18   1000000         0
887.25/887.56	c       872      1165   1112.34    115.20      9.66   1000000         0
889.66/889.95	c       924       994   1147.38    145.05      7.91   1000000         0
892.05/892.34	c       857      1253   1146.46    181.91      6.30   1000000         0
894.45/894.73	c       905      1047   1134.94    121.90      9.31   1000000         0
896.85/897.10	c       836      1115   1132.61    143.29      7.90   1000000         0
899.15/899.49	c       877      1126   1121.07    143.41      7.82   1000000         0
901.55/901.87	c       855       945   1145.65    138.54      8.27   1000000         0
903.95/904.27	c       855      1137   1157.30    150.60      7.68   1000000         0
906.35/906.66	c       891      1205   1137.36    124.92      9.11   1000000         0
908.75/909.04	c       842      1044   1121.81    116.13      9.66   1000000         0
911.14/911.45	c       916      1138   1157.92    161.71      7.16   1000000         0
913.54/913.85	c       889      1115   1130.63    113.59      9.95   1000000         0
915.95/916.22	c       858      1119   1115.42    146.18      7.63   1000000         0
918.34/918.60	c       892      1214   1116.19    114.61      9.74   1000000         0
920.64/920.99	c       880      1266   1122.89    136.74      8.21   1000000         0
923.04/923.38	c       835      1078   1145.00    119.63      9.57   1000000         0
925.44/925.77	c       841      1068   1117.97    134.53      8.31   1000000         0
927.84/928.15	c       881      1069   1135.46    126.18      9.00   1000000         0
930.25/930.55	c       879       989   1153.63    134.74      8.56   1000000         0
932.64/932.94	c       844      1102   1132.10    130.19      8.70   1000000         0
935.04/935.33	c       869      1202   1123.07    134.51      8.35   1000000         0
937.44/937.72	c       863      1145   1130.37    138.39      8.17   1000000         0
939.84/940.12	c       902      1128   1152.78    122.35      9.42   1000000         0
942.24/942.52	c       893      1174   1143.54    160.53      7.12   1000000         0
944.64/944.91	c       880      1084   1130.25    163.75      6.90   1000000         0
946.94/947.29	c       884       997   1118.33    132.10      8.47   1000000         0
949.33/949.67	c       880      1151   1124.14    148.24      7.58   1000000         0
951.73/952.06	c       916      1048   1137.64    128.04      8.88   1000000         0
954.13/954.45	c       877       990   1140.48    118.81      9.60   1000000         0
956.53/956.82	c       858       953   1132.33    156.02      7.26   1000000         0
958.84/959.20	c       882       949   1128.49    112.07     10.07   1000000         0
961.33/961.60	c       919      1072   1149.06    147.42      7.79   1000000         0
963.63/963.99	c       850      1019   1141.21    168.44      6.78   1000000         0
966.03/966.39	c       917      1135   1151.23    149.50      7.70   1000000         0
968.43/968.78	c       862      1066   1141.78    130.36      8.76   1000000         0
970.83/971.17	c       879      1129   1141.60    164.99      6.92   1000000         0
973.24/973.56	c       919      1090   1130.09    134.02      8.43   1000000         0
975.63/975.95	c       872      1018   1118.70    116.33      9.62   1000000         0
978.03/978.34	c       897      1108   1136.20    158.14      7.18   1000000         0
980.43/980.71	c       844      1153   1112.53    166.02      6.70   1000000         0
982.73/983.08	c       837      1086   1129.37    158.87      7.11   1000000         0
985.13/985.46	c       868      1152   1117.00    143.09      7.81   1000000         0
987.53/987.86	c       820      1164   1134.10    133.26      8.51   1000000         0
989.92/990.26	c       867      1241   1144.09    138.86      8.24   1000000         0
992.32/992.65	c       783      1081   1115.96    132.19      8.44   1000000         0
994.72/995.03	c       865      1109   1134.59    184.63      6.15   1000000         0
997.12/997.41	c       877      1056   1134.11    117.61      9.64   1000000         0
999.53/999.80	c       884      1063   1130.81    106.91     10.58   1000000         0
1001.83/1002.19	c       889      1093   1127.35    132.53      8.51   1000000         0
1004.22/1004.55	c       844      1075   1109.69    123.93      8.95   1000000         0
1006.62/1006.94	c       821      1175   1116.80    139.03      8.03   1000000         0
1009.02/1009.32	c       874      1235   1125.09    122.72      9.17   1000000         0
1011.32/1011.69	c       863      1232   1128.45    121.59      9.28   1000000         0
1013.72/1014.08	c       861       988   1133.25    138.45      8.19   1000000         0
1016.12/1016.46	c       876      1000   1122.35    128.84      8.71   1000000         0
1018.52/1018.83	c       830      1169   1106.78    120.42      9.19   1000000         0
1020.92/1021.21	c       862      1055   1110.59    127.28      8.73   1000000         0
1023.32/1023.60	c       892      1014   1133.42    171.83      6.60   1000000         0
1025.62/1025.97	c       857      1087   1096.25    132.82      8.25   1000000         0
1028.01/1028.36	c       879      1096   1141.81    150.48      7.59   1000000         0
1030.42/1030.75	c       900      1069   1126.01    125.60      8.96   1000000         0
1032.81/1033.13	c       861      1197   1108.48    147.86      7.50   1000000         0
1035.21/1035.50	c       838      1110   1121.26    142.82      7.85   1000000         0
1037.51/1037.90	c       922      1109   1140.26    121.79      9.36   1000000         0
1039.91/1040.29	c       864      1048   1139.23    139.71      8.15   1000000         0
1042.31/1042.68	c       828      1200   1131.69    149.08      7.59   1000000         0
1044.72/1045.05	c       825      1029   1117.47    137.67      8.12   1000000         0
1047.11/1047.45	c       907      1200   1145.78    146.17      7.84   1000000         0
1049.51/1049.83	c       911      1180   1141.85    136.35      8.37   1000000         0
1051.91/1052.22	c       880      1042   1134.85    132.28      8.58   1000000         0
1054.21/1054.59	c       883      1133   1106.15    121.98      9.07   1000000         0
1056.61/1056.98	c       907      1136   1146.51    129.62      8.84   1000000         0
1059.01/1059.37	c       895      1214   1133.25    137.95      8.21   1000000         0
1061.41/1061.76	c       878       940   1129.04    126.72      8.91   1000000         0
1063.80/1064.15	c       899      1024   1135.03    159.99      7.09   1000000         0
1066.20/1066.53	c       893      1044   1130.96    120.24      9.41   1000000         0
1068.50/1068.89	c       844       990   1109.34    106.91     10.38   1000000         0
1070.90/1071.27	c       892      1110   1114.46    124.41      8.96   1000000         0
1073.31/1073.65	c       839      1110   1123.75    135.02      8.32   1000000         0
1075.70/1076.02	c       881       965   1105.19    134.80      8.20   1000000         0
1078.10/1078.40	c       875      1124   1121.85    129.78      8.64   1000000         0
1080.40/1080.80	c       878      1218   1149.95    133.89      8.59   1000000         0
1082.80/1083.18	c       867      1154   1136.74    159.02      7.15   1000000         0
1085.20/1085.58	c       891      1111   1143.87    143.90      7.95   1000000         0
1087.61/1087.96	c       885      1161   1129.34    127.86      8.83   1000000         0
1090.00/1090.33	c       845      1056   1102.22    147.38      7.48   1000000         0
1092.40/1092.72	c       839      1065   1135.20    123.99      9.16   1000000         0
1094.80/1095.12	c       862      1129   1149.56    148.60      7.74   1000000         0
1097.20/1097.51	c       884       988   1139.01    161.16      7.07   1000000         0
1099.50/1099.89	c       873      1142   1123.69    128.78      8.73   1000000         0
1101.90/1102.28	c       899      1137   1133.57    127.23      8.91   1000000         0
1104.30/1104.66	c       845      1158   1112.70    121.77      9.14   1000000         0
1106.69/1107.03	c       876      1115   1121.17    128.01      8.76   1000000         0
1109.09/1109.44	c       825      1049   1143.93    148.15      7.72   1000000         0
1111.49/1111.82	c       882      1027   1132.50    146.71      7.72   1000000         0
1113.90/1114.21	c       858      1070   1117.29    160.68      6.95   1000000         0
1116.29/1116.60	c       808      1150   1135.19    155.65      7.29   1000000         0
1118.59/1118.99	c       916       973   1137.51    132.02      8.62   1000000         0
1120.99/1121.37	c       887      1080   1125.95    130.45      8.63   1000000         0
1123.39/1123.75	c       851       941   1114.51    116.41      9.57   1000000         0
1125.79/1126.13	c       812      1031   1135.59    150.33      7.55   1000000         0
1128.20/1128.52	c       882      1239   1147.30    113.15     10.14   1000000         0
1130.59/1130.91	c       859      1129   1147.27    144.66      7.93   1000000         0
1132.89/1133.28	c       861      1106   1123.42    128.88      8.72   1000000         0
1135.29/1135.66	c       825      1056   1123.63    126.58      8.88   1000000         0
1137.69/1138.03	c       870       963   1119.91    130.34      8.59   1000000         0
1140.09/1140.43	c       856      1119   1154.10    154.93      7.45   1000000         0
1142.49/1142.81	c       861      1131   1125.49    155.50      7.24   1000000         0
1144.88/1145.21	c       897      1032   1136.25    167.25      6.79   1000000         0
1147.28/1147.60	c       822      1130   1132.11    140.81      8.04   1000000         0
1149.68/1150.00	c       892      1067   1129.83    136.19      8.30   1000000         0
1151.98/1152.39	c       835      1258   1132.45    146.79      7.71   1000000         0
1154.38/1154.76	c       804      1094   1119.25    135.11      8.28   1000000         0
1156.79/1157.14	c       868       946   1118.81    127.96      8.74   1000000         0
1159.18/1159.53	c       872      1130   1123.18    156.76      7.17   1000000         0
1161.58/1161.91	c       874      1006   1120.65    148.52      7.55   1000000         0
1163.98/1164.31	c       869      1037   1131.04    122.89      9.20   1000000         0
1166.28/1166.68	c       836      1039   1116.25    135.84      8.22   1000000         0
1168.68/1169.08	c       910      1154   1146.87    143.68      7.98   1000000         0
1171.08/1171.47	c       913      1143   1157.80    128.23      9.03   1000000         0
1173.48/1173.85	c       863      1128   1106.66    117.56      9.41   1000000         0
1175.87/1176.24	c       898      1072   1130.34    147.99      7.64   1000000         0
1178.27/1178.62	c       862      1146   1139.65    136.15      8.37   1000000         0
1180.67/1181.02	c       874      1094   1133.09    154.57      7.33   1000000         0
1183.07/1183.41	c       860      1095   1132.78    133.18      8.51   1000000         0
1185.38/1185.80	c       878      1191   1117.88    143.15      7.81   1000000         0
1187.87/1188.20	c       899      1036   1133.57    121.07      9.36   1000000         0
1190.17/1190.57	c       878      1172   1108.44    148.50      7.46   1000000         0
1192.57/1192.94	c       836      1155   1117.27    158.66      7.04   1000000         0
1194.97/1195.31	c       869      1191   1116.63    139.58      8.00   1000000         0
1197.27/1197.68	c       849      1030   1106.70    149.14      7.42   1000000         0
1199.68/1200.07	c       879      1121   1124.07    125.27      8.97   1000000         0
1202.07/1202.45	c       869      1143   1116.60    119.90      9.31   1000000         0
1204.47/1204.83	c       839      1078   1113.18    130.04      8.56   1000000         0
1206.87/1207.21	c       859      1269   1121.42    131.37      8.54   1000000         0
1209.17/1209.59	c       854      1124   1113.62    116.32      9.57   1000000         0
1211.57/1211.98	c       881      1050   1131.07    137.14      8.25   1000000         0
1213.97/1214.37	c       867      1287   1144.04    127.70      8.96   1000000         0
1216.37/1216.76	c       901      1098   1127.07    129.75      8.69   1000000         0
1218.76/1219.15	c       874      1160   1139.42    138.93      8.20   1000000         0
1221.16/1221.54	c       820      1061   1151.09    161.15      7.14   1000000         0
1223.56/1223.92	c       833      1125   1105.80    139.29      7.94   1000000         0
1225.96/1226.30	c       886      1049   1110.86    154.64      7.18   1000000         0
1228.27/1228.69	c       899      1165   1144.39    112.69     10.16   1000000         0
1230.66/1231.08	c       810      1087   1143.52    149.03      7.67   1000000         0
1233.06/1233.49	c       882      1012   1156.31    153.63      7.53   1000000         0
1235.46/1235.88	c       878      1165   1125.02    112.82      9.97   1000000         0
1237.86/1238.25	c       884       914   1116.40    101.14     11.04   1000000         0
1240.26/1240.63	c       878      1094   1118.88    132.33      8.46   1000000         0
1242.67/1243.02	c       869      1057   1136.80    156.61      7.26   1000000         0
1245.06/1245.40	c       851      1070   1122.48    162.50      6.91   1000000         0
1247.36/1247.78	c       846      1158   1129.74    146.96      7.69   1000000         0
1249.76/1250.17	c       827      1104   1127.21    165.22      6.82   1000000         0
1252.15/1252.56	c       885      1063   1141.60    136.33      8.37   1000000         0
1254.55/1254.96	c       901      1144   1140.05    178.14      6.40   1000000         0
1256.96/1257.34	c       866      1091   1131.67    129.73      8.72   1000000         0
1259.35/1259.72	c       842      1142   1118.84    127.24      8.79   1000000         0
1261.75/1262.10	c       880      1164   1115.03    143.93      7.75   1000000         0
1264.05/1264.49	c       886      1109   1133.26    127.64      8.88   1000000         0
1266.45/1266.88	c       894      1084   1132.85    127.05      8.92   1000000         0
1268.85/1269.26	c       856      1193   1113.77    129.01      8.63   1000000         0
1271.26/1271.64	c       872      1065   1127.77    148.83      7.58   1000000         0
1273.65/1274.02	c       829      1149   1121.68    170.50      6.58   1000000         0
1276.05/1276.40	c       908      1159   1129.57    130.10      8.68   1000000         0
1278.35/1278.79	c       890      1157   1135.71    125.99      9.01   1000000         0
1280.75/1281.19	c       865      1062   1137.61    155.92      7.30   1000000         0
1283.15/1283.58	c       881      1186   1141.38    133.22      8.57   1000000         0
1285.55/1285.97	c       898      1092   1129.32    150.16      7.52   1000000         0
1287.95/1288.35	c       825      1049   1128.42    147.21      7.67   1000000         0
1290.34/1290.74	c       899      1045   1120.68    122.97      9.11   1000000         0
1292.75/1293.13	c       841      1039   1146.44    135.98      8.43   1000000         0
1295.14/1295.51	c       902      1011   1120.84    118.87      9.43   1000000         0
1297.44/1297.89	c       848       996   1102.33    121.66      9.06   1000000         0
1299.85/1300.29	c       899      1144   1151.28    148.53      7.75   1000000         0
1302.24/1302.67	c       865      1169   1121.36    122.10      9.18   1000000         0
1304.64/1305.05	c       866      1157   1125.33    170.91      6.58   1000000         0
1307.04/1307.42	c       883      1078   1109.95    129.24      8.59   1000000         0
1309.44/1309.81	c       873      1077   1129.48    133.28      8.47   1000000         0
1311.74/1312.19	c       902      1083   1134.02    132.74      8.54   1000000         0
1314.15/1314.58	c       877      1113   1125.38    127.94      8.80   1000000         0
1316.54/1316.95	c       894      1053   1122.69    125.84      8.92   1000000         0
1318.94/1319.34	c       908      1010   1150.09    130.98      8.78   1000000         0
1321.34/1321.72	c       862      1133   1123.09    139.81      8.03   1000000         0
1323.74/1324.10	c       830      1159   1132.73    128.39      8.82   1000000         0
1326.14/1326.50	c       889      1074   1144.19    119.69      9.56   1000000         0
1328.44/1328.88	c       828      1147   1121.21    139.93      8.01   1000000         0
1330.83/1331.26	c       898      1167   1120.40    130.67      8.57   1000000         0
1333.23/1333.63	c       861      1105   1136.95    146.04      7.79   1000000         0
1335.63/1336.02	c       890      1093   1132.24    162.12      6.98   1000000         0
1338.03/1338.40	c       866      1072   1119.40    137.73      8.13   1000000         0
1340.33/1340.79	c       803      1140   1137.82    138.19      8.23   1000000         0
1342.74/1343.19	c       892      1187   1152.44    132.08      8.73   1000000         0
1345.13/1345.57	c       842       993   1105.23    115.71      9.55   1000000         0
1347.53/1347.95	c       879      1107   1125.99    123.37      9.13   1000000         0
1349.93/1350.36	c       901      1143   1145.16    162.42      7.05   1000000         0
1352.33/1352.74	c       870      1204   1141.40    127.28      8.97   1000000         0
1354.74/1355.14	c       879      1107   1146.84    162.16      7.07   1000000         0
1357.13/1357.53	c       866      1187   1135.25    124.00      9.16   1000000         0
1359.53/1359.91	c       856      1140   1113.76    121.59      9.16   1000000         0
1361.83/1362.29	c       899      1065   1128.71    121.94      9.26   1000000         0
1364.23/1364.67	c       887      1014   1123.30    130.39      8.61   1000000         0
1366.63/1367.04	c       853      1071   1104.28    128.07      8.62   1000000         0
1369.03/1369.40	c       864      1036   1109.97    112.53      9.86   1000000         0
1371.33/1371.78	c       880      1094   1110.83    134.04      8.29   1000000         0
1373.72/1374.17	c       874      1097   1128.00    136.98      8.23   1000000         0
1376.12/1376.55	c       860      1159   1117.96    143.57      7.79   1000000         0
1378.52/1378.94	c       886      1087   1125.56    135.40      8.31   1000000         0
1380.92/1381.32	c       860      1033   1126.34    124.63      9.04   1000000         0
1383.22/1383.69	c       873      1161   1108.25    139.48      7.95   1000000         0
1385.63/1386.07	c       826      1108   1114.25    155.97      7.14   1000000         0
1388.02/1388.46	c       886      1106   1140.54    118.83      9.60   1000000         0
1390.42/1390.85	c       818      1060   1127.72    145.13      7.77   1000000         0
1392.82/1393.23	c       871      1165   1126.15    117.07      9.62   1000000         0
1395.22/1395.62	c       870      1155   1147.31    124.01      9.25   1000000         0
1397.62/1398.01	c       807      1047   1138.85    123.79      9.20   1000000         0
1400.02/1400.41	c       821      1218   1135.38    157.67      7.20   1000000         0
1402.32/1402.78	c       872      1290   1126.05    121.06      9.30   1000000         0
1404.72/1405.18	c       870      1039   1144.93    156.47      7.32   1000000         0
1407.12/1407.57	c       911       947   1135.93    166.57      6.82   1000000         0
1409.51/1409.95	c       829      1196   1107.36    114.32      9.69   1000000         0
1411.92/1412.33	c       883      1064   1119.06    153.55      7.29   1000000         0
1414.31/1414.72	c       872      1082   1143.73    137.64      8.31   1000000         0
1416.61/1417.09	c       920      1212   1114.78    119.67      9.32   1000000         0
1419.01/1419.48	c       891      1133   1130.26    142.08      7.96   1000000         0
1421.41/1421.87	c       886      1183   1140.70    142.32      8.01   1000000         0
1423.81/1424.24	c       895       953   1117.66     99.43     11.24   1000000         0
1426.22/1426.62	c       855      1059   1120.52    141.48      7.92   1000000         0
1428.61/1429.01	c       809      1057   1135.48    130.03      8.73   1000000         0
1430.91/1431.39	c       883      1094   1115.57    128.47      8.68   1000000         0
1433.31/1433.78	c       854       999   1145.01    165.20      6.93   1000000         0
1435.71/1436.17	c       871      1079   1130.67    151.77      7.45   1000000         0
1438.11/1438.56	c       880      1211   1132.77    117.98      9.60   1000000         0
1440.51/1440.94	c       871      1071   1122.24    146.58      7.66   1000000         0
1442.91/1443.32	c       859       985   1128.06    130.25      8.66   1000000         0
1445.31/1445.72	c       877      1185   1139.70    142.07      8.02   1000000         0
1447.70/1448.11	c       902      1037   1141.10    129.59      8.81   1000000         0
1450.00/1450.49	c       877      1112   1127.81    124.38      9.07   1000000         0
1452.50/1452.90	c       912      1188   1156.41    148.49      7.79   1000000         0
1454.81/1455.28	c       886      1147   1126.66    142.00      7.93   1000000         0
1457.20/1457.66	c       839      1077   1119.15    121.21      9.23   1000000         0
1459.60/1460.05	c       798      1219   1138.73    122.64      9.29   1000000         0
1462.00/1462.45	c       910      1099   1148.04    141.46      8.12   1000000         0
1464.40/1464.84	c       907      1146   1132.32    130.34      8.69   1000000         0
1466.80/1467.24	c       885      1187   1149.69    147.48      7.80   1000000         0
1469.21/1469.63	c       897      1128   1159.12    137.11      8.45   1000000         0
1471.60/1472.02	c       854      1041   1132.10    128.33      8.82   1000000         0
1474.00/1474.42	c       865      1055   1143.18    173.67      6.58   1000000         0
1476.40/1476.80	c       861      1031   1127.74    151.72      7.43   1000000         0
1478.70/1479.19	c       863      1199   1118.90    135.54      8.26   1000000         0
1481.10/1481.58	c       886       992   1131.82    126.37      8.96   1000000         0
1483.50/1483.96	c       839      1124   1114.11    103.39     10.78   1000000         0
1485.89/1486.35	c       865      1141   1146.01    159.71      7.18   1000000         0
1488.29/1488.74	c       857      1258   1122.56    132.72      8.46   1000000         0
1490.69/1491.11	c       838      1105   1123.44    141.95      7.91   1000000         0
1493.09/1493.51	c       894       973   1138.23    134.09      8.49   1000000         0
1495.39/1495.89	c       879      1164   1136.54    142.98      7.95   1000000         0
1497.80/1498.27	c       781      1034   1124.29    138.68      8.11   1000000         0
1500.19/1500.67	c       883      1038   1130.20    130.37      8.67   1000000         0
1502.59/1503.06	c       831      1116   1134.37    152.06      7.46   1000000         0
1504.99/1505.46	c       837      1012   1130.36    162.18      6.97   1000000         0
1507.39/1507.83	c       888      1098   1121.56    123.23      9.10   1000000         0
1509.79/1510.21	c       860      1115   1125.52    123.51      9.11   1000000         0
1512.09/1512.57	c       842      1056   1103.44    111.94      9.86   1000000         0
1514.49/1514.95	c       873      1147   1119.37    116.74      9.59   1000000         0
1516.89/1517.33	c       842      1078   1127.24    170.64      6.61   1000000         0
1519.29/1519.72	c       888      1157   1123.80    139.92      8.03   1000000         0
1521.68/1522.10	c       863      1155   1121.66    145.83      7.69   1000000         0
1523.98/1524.48	c       884      1104   1114.18    131.75      8.46   1000000         0
1526.39/1526.87	c       890      1017   1140.20    128.66      8.86   1000000         0
1528.78/1529.26	c       873      1040   1130.85    129.35      8.74   1000000         0
1531.18/1531.64	c       908      1016   1117.80    119.27      9.37   1000000         0
1533.58/1534.02	c       858      1259   1124.55    133.98      8.39   1000000         0
1535.98/1536.41	c       895       940   1126.22    145.74      7.73   1000000         0
1538.39/1538.80	c       885      1102   1144.51    138.21      8.28   1000000         0
1540.69/1541.17	c       876      1118   1119.31    156.21      7.17   1000000         0
1543.08/1543.56	c       852      1150   1134.43    140.41      8.08   1000000         0
1545.48/1545.94	c       884      1052   1120.82    108.56     10.32   1000000         0
1547.88/1548.33	c       854      1303   1128.80    160.94      7.01   1000000         0
1550.28/1550.72	c       850      1009   1136.72    129.21      8.80   1000000         0
1552.68/1553.11	c       844      1078   1152.65    170.29      6.77   1000000         0
1554.98/1555.50	c       894      1157   1119.43    140.94      7.94   1000000         0
1557.38/1557.88	c       928      1251   1138.26    123.07      9.25   1000000         0
1559.77/1560.26	c       867      1176   1118.13    120.79      9.26   1000000         0
1562.17/1562.63	c       856       973   1110.32    137.71      8.06   1000000         0
1564.57/1565.02	c       918      1070   1146.80    121.12      9.47   1000000         0
1566.98/1567.40	c       879       981   1115.51    135.65      8.22   1000000         0
1569.28/1569.78	c       859      1090   1137.57    120.30      9.46   1000000         0
1571.67/1572.19	c       876      1120   1147.91    139.86      8.21   1000000         0
1574.07/1574.59	c       897      1064   1162.06    139.17      8.35   1000000         0
1576.47/1576.98	c       832      1064   1134.05    139.04      8.16   1000000         0
1578.87/1579.37	c       852      1060   1128.00    135.65      8.32   1000000         0
1581.28/1581.75	c       912       995   1142.65    150.78      7.58   1000000         0
1583.67/1584.15	c       922      1055   1155.33    129.12      8.95   1000000         0
1586.07/1586.53	c       851      1109   1121.00    152.40      7.36   1000000         0
1588.47/1588.91	c       890      1106   1123.85    134.56      8.35   1000000         0
1590.77/1591.30	c       857      1116   1135.51    135.88      8.36   1000000         0
1593.17/1593.69	c       868      1123   1143.96    118.17      9.68   1000000         0
1595.57/1596.06	c       851      1059   1114.60    114.48      9.74   1000000         0
1597.97/1598.46	c       849      1075   1151.67    164.69      6.99   1000000         0
1600.36/1600.86	c       833      1206   1129.22    174.17      6.48   1000000         0
1602.76/1603.26	c       879      1104   1130.12    139.39      8.11   1000000         0
1605.16/1605.64	c       869      1153   1135.33    136.43      8.32   1000000         0
1607.56/1608.02	c       904      1133   1119.88    115.29      9.71   1000000         0
1609.97/1610.41	c       816      1110   1119.42    113.11      9.90   1000000         0
1612.36/1612.80	c       844      1042   1132.34    152.36      7.43   1000000         0
1614.66/1615.19	c       908      1154   1130.35    115.47      9.79   1000000         0
1617.06/1617.59	c       886      1089   1160.28    156.66      7.41   1000000         0
1619.46/1619.97	c       851      1005   1141.15    137.32      8.31   1000000         0
1621.86/1622.35	c       866      1101   1121.13    107.96     10.38   1000000         0
1624.27/1624.73	c       911      1023   1133.00    150.97      7.50   1000000         0
1626.66/1627.12	c       916      1126   1123.20    132.89      8.45   1000000         0
1629.06/1629.51	c       871       990   1138.43    146.83      7.75   1000000         0
1631.36/1631.89	c       862      1105   1124.31    135.06      8.32   1000000         0
1633.76/1634.29	c       874      1100   1151.28    147.20      7.82   1000000         0
1636.16/1636.67	c       865      1116   1123.05    142.07      7.91   1000000         0
1638.56/1639.07	c       894      1033   1141.23    136.66      8.35   1000000         0
1640.95/1641.45	c       903      1185   1123.23    120.12      9.35   1000000         0
1643.35/1643.84	c       874      1098   1137.71    149.59      7.61   1000000         0
1645.75/1646.22	c       866      1153   1140.80    161.74      7.05   1000000         0
1648.15/1648.62	c       889      1174   1131.60    149.30      7.58   1000000         0
1650.56/1651.00	c       828      1184   1122.68    132.50      8.47   1000000         0
1652.86/1653.38	c       835      1141   1123.42    145.83      7.70   1000000         0
1655.25/1655.77	c       865      1072   1117.56    165.22      6.76   1000000         0
1657.65/1658.15	c       848      1151   1120.26    142.09      7.88   1000000         0
1660.05/1660.54	c       860      1058   1128.35    161.74      6.98   1000000         0
1662.45/1662.93	c       860      1126   1140.69    152.90      7.46   1000000         0
1664.85/1665.33	c       900      1196   1137.80    138.34      8.22   1000000         0
1667.25/1667.71	c       839      1074   1137.14    135.57      8.39   1000000         0
1669.65/1670.10	c       866      1165   1125.07    161.55      6.96   1000000         0
1671.94/1672.48	c       851      1110   1123.78    120.17      9.35   1000000         0
1674.34/1674.88	c       894      1036   1147.68    143.14      8.02   1000000         0
1676.74/1677.25	c       904      1019   1123.20    136.11      8.25   1000000         0
1679.16/1679.63	c       856      1080   1117.76    106.14     10.53   1000000         0
1681.55/1682.03	c       885       997   1141.96    125.65      9.09   1000000         0
1683.95/1684.42	c       815      1051   1145.59    151.03      7.59   1000000         0
1686.25/1686.79	c       867      1039   1104.09    111.43      9.91   1000000         0
1688.65/1689.19	c       821      1029   1132.24    135.48      8.36   1000000         0
1691.05/1691.57	c       842      1078   1121.79    163.67      6.85   1000000         0
1693.46/1693.95	c       869      1185   1123.62    127.14      8.84   1000000         0
1695.85/1696.33	c       879      1064   1126.88    127.42      8.84   1000000         0
1698.25/1698.71	c       837      1127   1116.60    124.12      9.00   1000000         0
1700.65/1701.10	c       845      1260   1130.66    154.88      7.30   1000000         0
1702.95/1703.47	c       896      1065   1116.22    118.02      9.46   1000000         0
1705.35/1705.87	c       866      1063   1142.41    163.97      6.97   1000000         0
1707.75/1708.25	c       851      1343   1131.24    144.46      7.83   1000000         0
1710.15/1710.64	c       825      1117   1129.52    160.13      7.05   1000000         0
1712.54/1713.03	c       862      1115   1131.46    135.06      8.38   1000000         0
1714.94/1715.42	c       865      1131   1138.29    166.02      6.86   1000000         0
1717.34/1717.80	c       882      1047   1113.60    146.09      7.62   1000000         0
1719.64/1720.18	c       834      1041   1116.39    142.99      7.81   1000000         0
1722.05/1722.56	c       858      1071   1131.73    116.09      9.75   1000000         0
1724.44/1724.96	c       840      1109   1137.22    162.74      6.99   1000000         0
1726.84/1727.34	c       867      1185   1116.75    118.54      9.42   1000000         0
1729.24/1729.72	c       870      1159   1124.43    133.33      8.43   1000000         0
1731.54/1732.09	c       823      1191   1112.87    112.94      9.85   1000000         0
1733.94/1734.48	c       893      1047   1143.36    132.51      8.63   1000000         0
1736.35/1736.88	c       853      1059   1146.18    149.13      7.69   1000000         0
1738.74/1739.27	c       889      1104   1139.02    129.12      8.82   1000000         0
1741.14/1741.66	c       907      1109   1129.56    138.78      8.14   1000000         0
1743.54/1744.04	c       850      1044   1113.72    148.66      7.49   1000000         0
1745.94/1746.42	c       851      1054   1136.06    147.61      7.70   1000000         0
1748.33/1748.81	c       879      1091   1125.00    124.61      9.03   1000000         0
1750.74/1751.21	c       910      1108   1140.03    128.21      8.89   1000000         0
1753.13/1753.60	c       842      1162   1137.39    167.49      6.79   1000000         0
1755.43/1755.99	c       885      1141   1136.51    129.95      8.75   1000000         0
1757.83/1758.37	c       883       932   1120.56    146.01      7.67   1000000         0
1760.23/1760.75	c       872      1054   1129.80    137.95      8.19   1000000         0
1762.63/1763.11	c       848      1043   1103.59    147.06      7.50   1000000         0
1765.04/1765.51	c       851      1012   1142.78    126.84      9.01   1000000         0
1767.43/1767.90	c       841       992   1130.92    123.14      9.18   1000000         0
1769.73/1770.27	c       903      1157   1120.44    119.78      9.35   1000000         0
1772.13/1772.67	c       881      1189   1146.53    175.95      6.52   1000000         0
1774.53/1775.05	c       837      1038   1130.09    130.27      8.67   1000000         0
1776.93/1777.44	c       899      1135   1130.24    130.53      8.66   1000000         0
1779.33/1779.83	c       895      1235   1137.87    132.32      8.60   1000000         0
1781.73/1782.22	c       844      1065   1128.44    146.93      7.68   1000000         0
1784.02/1784.59	c       844      1142   1111.02    129.27      8.59   1000000         0
1786.42/1786.99	c       843      1022   1142.65    167.49      6.82   1000000         0
1788.82/1789.39	c       890      1002   1136.64    147.19      7.72   1000000         0
1791.22/1791.78	c       867      1032   1123.93    141.89      7.92   1000000         0
1793.63/1794.16	c       855      1143   1119.55    122.42      9.14   1000000         0
1796.02/1796.53	c       820      1213   1112.02    113.30      9.81   1000000         0
1798.42/1798.92	c       876      1133   1119.56    107.38     10.43   1000000         0
1800.03/1800.51	HOME/run: line 2: 19355 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-2684916-1278436643/watcher-2684916-1278436643 -o /tmp/evaluation-result-2684916-1278436643/solver-2684916-1278436643 -C 1800 -W 2000 -M 1800 run HOME/instance-2684916-1278436643.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.06 3/105 19354
/proc/meminfo: memFree=1461528/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0

[startup+0.0790711 s]
/proc/loadavg: 1.00 1.00 1.06 3/105 19354
/proc/meminfo: memFree=1461528/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101073 s]
/proc/loadavg: 1.00 1.00 1.06 3/105 19354
/proc/meminfo: memFree=1461528/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301095 s]
/proc/loadavg: 1.00 1.00 1.06 3/105 19354
/proc/meminfo: memFree=1461528/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701137 s]
/proc/loadavg: 1.00 1.00 1.06 3/105 19354
/proc/meminfo: memFree=1461528/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50122 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 19356
/proc/meminfo: memFree=1452336/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1.49
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2355 0 0 0 149 0 0 0 25 0 1 0 11872948 41422848 2285 1992294400 134512640 135071400 4293681136 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2285 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.1004 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 19356
/proc/meminfo: memFree=1452088/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=3.09
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2363 0 0 0 309 0 0 0 25 0 1 0 11872948 41422848 2293 1992294400 134512640 135071400 4293681136 18446744073709551615 134519880 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2293 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30074 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 19358
/proc/meminfo: memFree=1451840/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=6.29
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2363 0 0 0 629 0 0 0 25 0 1 0 11872948 41422848 2293 1992294400 134512640 135071400 4293681136 18446744073709551615 134537251 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2293 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 19358
/proc/meminfo: memFree=1451716/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=12.69
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2363 0 0 0 1269 0 0 0 25 0 1 0 11872948 41422848 2293 1992294400 134512640 135071400 4293681136 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2293 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 19358
/proc/meminfo: memFree=1451716/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=25.48
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2363 0 0 0 2548 0 0 0 25 0 1 0 11872948 41422848 2293 1992294400 134512640 135071400 4293681136 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2293 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 19358
/proc/meminfo: memFree=1451716/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=51.08
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2363 0 0 0 5108 0 0 0 25 0 1 0 11872948 41422848 2293 1992294400 134512640 135071400 4293681136 18446744073709551615 134526633 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2293 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 19360
/proc/meminfo: memFree=1451468/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=102.27
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 10227 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 1.05 1.01 1.04 2/107 19365
/proc/meminfo: memFree=1450848/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=162.25
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 16225 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.02 1.01 1.04 2/107 19365
/proc/meminfo: memFree=1450848/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=222.23
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 22223 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 19367
/proc/meminfo: memFree=1450848/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=282.21
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 28221 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134537141 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 19369
/proc/meminfo: memFree=1450848/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=342.2
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 34220 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 19371
/proc/meminfo: memFree=1450724/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=402.18
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 40218 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1121.99
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 112199 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19391
/proc/meminfo: memFree=1449484/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1181.97
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 118197 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134572064 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19393
/proc/meminfo: memFree=1449360/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1241.96
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 124196 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19395
/proc/meminfo: memFree=1449112/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1301.95
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 130195 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19397
/proc/meminfo: memFree=1449112/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1361.93
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 136193 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134536248 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19397
/proc/meminfo: memFree=1448988/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1421.92
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 142192 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19399
/proc/meminfo: memFree=1448988/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1481.9
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 148190 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19401
/proc/meminfo: memFree=1448988/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1541.88
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 154188 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134519909 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19403
/proc/meminfo: memFree=1448740/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1601.86
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 160186 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134525834 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19405
/proc/meminfo: memFree=1448740/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1661.85
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 166185 0 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19405
/proc/meminfo: memFree=1448616/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1721.84
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 172183 1 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19407
/proc/meminfo: memFree=1448244/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1781.83
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 178182 1 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19407
/proc/meminfo: memFree=1448244/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1800.03
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 180002 1 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19407
/proc/meminfo: memFree=1448244/2059040 swapFree=4192956/4192956
[pid=19354] ppid=19352 vsize=8700 CPUtime=0
/proc/19354/stat : 19354 (run) S 19352 19354 19115 0 -1 4202496 358 0 0 0 0 0 0 0 24 0 1 0 11872948 8908800 243 1992294400 4194304 4922060 140736473660560 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19354/statm: 2175 243 204 178 0 68 0
[pid=19355] ppid=19354 vsize=40452 CPUtime=1800.03
/proc/19355/stat : 19355 (PB-wave) R 19354 19354 19115 0 -1 4202496 2364 0 0 0 180002 1 0 0 25 0 1 0 11872948 41422848 2294 1992294400 134512640 135071400 4293681136 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19355/statm: 10113 2294 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1800.02
CPU system time (s): 0.013997
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2735
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= 4097

runsolver used 2.87856 second user time and 8.63469 second system time

The end

Launcher Data 

Begin job on node081 at 2010-07-06 19:17:23
IDJOB=2684916
IDBENCH=73956
IDSOLVER=1171
FILE ID=node081/2684916-1278436643
PBS_JOBID= 11233471
Free space on /tmp= 121800 MiB

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

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

MD5SUM BENCH= 185b639ab7915adc40998376a286d172
RANDOM SEED=58711647

node081.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.242
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.48
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.242
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	: 5999.38
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1461924 kB
Buffers:        100900 kB
Cached:         364188 kB
SwapCached:          0 kB
Active:         186280 kB
Inactive:       338784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1461924 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3740 kB
Writeback:           0 kB
AnonPages:       59968 kB
Mapped:          14432 kB
Slab:            50068 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180840 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121800 MiB
End job on node081 at 2010-07-06 19:47:24