Trace number 2684874

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12021_4-sat.opb
MD5SUMdffa0ccdf702b378cae9eb862001c6aa
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.07983
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables32912
Total number of constraints109489
Number of constraints which are clauses108949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints540
Minimum length of a constraint1
Maximum length of a constraint36
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 213
Number of bits of the biggest sum of numbers8
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.27	c PB-wave - v2
0.00/0.27	c command line = ./PB-wave
0.00/0.27	c seed = 22794684
0.00/0.27	c cutoff = 1000000
0.00/0.27	c tries = 1000000
0.00/0.27	c heuristic = c best, noise 50 / 100
0.00/0.27	#var 32912 #con 109489
0.00/0.27	mode is SAT
0.00/0.27	c tail starts after flip = 98736
0.00/0.27	c numatom = 32912, numclause = 109489, numliterals = 249066
0.00/0.27	c wff read in
0.00/0.27	c 
0.00/0.27	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.27	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.27	c       this      this      this      this      this      this   success   success       until         std
0.00/0.27	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.27	c
2.38/2.45	c       816      1010   1108.61    182.29      6.08   1000000         0
4.58/4.63	c       831      1055   1113.87    196.70      5.66   1000000         0
6.78/6.80	c       794      1075   1093.91    214.74      5.09   1000000         0
8.88/8.97	c       826      1155   1090.37    200.37      5.44   1000000         0
11.08/11.15	c       812       961   1110.96    165.44      6.72   1000000         0
13.28/13.33	c       844      1050   1111.47    201.61      5.51   1000000         0
15.39/15.50	c       734      1137   1091.41    216.83      5.03   1000000         0
17.59/17.68	c       842       914   1101.00    198.47      5.55   1000000         0
19.78/19.84	c       752      1173   1071.37    205.62      5.21   1000000         0
21.98/22.02	c       831      1126   1091.85    232.68      4.69   1000000         0
24.08/24.20	c       849      1001   1129.63    213.11      5.30   1000000         0
26.28/26.40	c       865      1052   1124.94    216.44      5.20   1000000         0
28.48/28.60	c       801      1154   1128.02    210.34      5.36   1000000         0
30.68/30.78	c       812      1099   1102.24    199.03      5.54   1000000         0
32.88/32.94	c       836      1051   1100.71    202.52      5.44   1000000         0
35.08/35.12	c       837       952   1095.52    172.46      6.35   1000000         0
37.28/37.30	c       807       983   1105.48    232.06      4.76   1000000         0
39.37/39.48	c       825      1167   1099.91    200.07      5.50   1000000         0
41.57/41.68	c       805      1261   1121.17    223.29      5.02   1000000         0
43.77/43.86	c       824      1165   1113.38    183.76      6.06   1000000         0
45.97/46.03	c       799       986   1091.56    195.20      5.59   1000000         0
48.17/48.20	c       861      1042   1105.50    176.97      6.25   1000000         0
50.27/50.38	c       831      1052   1108.61    177.58      6.24   1000000         0
52.47/52.55	c       782      1147   1081.01    203.22      5.32   1000000         0
54.67/54.73	c       827       979   1120.34    206.00      5.44   1000000         0
56.87/56.91	c       820      1228   1119.63    202.83      5.52   1000000         0
58.97/59.09	c       832      1160   1107.58    202.54      5.47   1000000         0
61.17/61.27	c       830      1032   1116.91    182.32      6.13   1000000         0
63.37/63.46	c       852      1053   1111.73    209.89      5.30   1000000         0
65.57/65.61	c       787       885   1065.19    161.57      6.59   1000000         0
67.67/67.79	c       835      1033   1110.07    220.12      5.04   1000000         0
69.87/69.97	c       870       957   1101.20    166.90      6.60   1000000         0
72.07/72.17	c       853      1134   1128.22    200.63      5.62   1000000         0
74.27/74.35	c       833       953   1113.46    215.69      5.16   1000000         0
76.47/76.53	c       822      1093   1101.44    222.25      4.96   1000000         0
78.67/78.71	c       829      1105   1094.95    182.35      6.00   1000000         0
80.76/80.88	c       847      1261   1114.20    180.66      6.17   1000000         0
82.96/83.04	c       767      1081   1066.44    199.91      5.33   1000000         0
85.16/85.24	c       830      1081   1130.31    257.22      4.39   1000000         0
87.36/87.41	c       798       967   1089.64    206.97      5.26   1000000         0
89.46/89.59	c       798      1093   1092.62    214.84      5.09   1000000         0
91.66/91.77	c       837      1102   1115.98    176.02      6.34   1000000         0
93.86/93.95	c       809      1118   1102.70    190.82      5.78   1000000         0
96.06/96.12	c       788       939   1100.15    179.91      6.11   1000000         0
98.26/98.31	c       877      1119   1114.71    194.87      5.72   1000000         0
100.36/100.47	c       833      1064   1071.32    154.47      6.94   1000000         0
102.56/102.64	c       827      1100   1095.57    202.44      5.41   1000000         0
104.76/104.84	c       833      1030   1113.84    212.35      5.25   1000000         0
106.96/107.03	c       859       986   1115.55    222.57      5.01   1000000         0
109.06/109.19	c       806      1012   1087.11    178.91      6.08   1000000         0
111.26/111.36	c       795       981   1082.44    205.42      5.27   1000000         0
113.46/113.54	c       815      1033   1111.51    207.89      5.35   1000000         0
115.66/115.72	c       844      1036   1121.98    180.37      6.22   1000000         0
117.86/117.91	c       856      1160   1113.31    179.20      6.21   1000000         0
119.96/120.08	c       848      1046   1093.26    190.74      5.73   1000000         0
122.16/122.26	c       830      1095   1113.49    178.14      6.25   1000000         0
124.36/124.46	c       890      1085   1126.83    163.42      6.90   1000000         0
126.56/126.63	c       831       980   1091.96    175.64      6.22   1000000         0
128.76/128.81	c       821       971   1092.38    189.60      5.76   1000000         0
130.86/130.98	c       834       974   1094.06    210.02      5.21   1000000         0
133.06/133.15	c       809      1007   1091.34    211.82      5.15   1000000         0
135.26/135.33	c       818      1088   1114.44    193.13      5.77   1000000         0
137.46/137.52	c       857      1097   1124.93    205.42      5.48   1000000         0
139.56/139.70	c       788      1034   1096.47    203.93      5.38   1000000         0
141.76/141.88	c       860      1093   1114.44    167.84      6.64   1000000         0
143.96/144.07	c       785      1099   1109.36    256.97      4.32   1000000         0
146.16/146.26	c       859      1212   1105.17    192.30      5.75   1000000         0
148.36/148.42	c       835      1078   1099.30    178.68      6.15   1000000         0
150.45/150.59	c       803      1002   1088.24    155.53      7.00   1000000         0
152.65/152.76	c       819       996   1082.47    205.39      5.27   1000000         0
154.85/154.93	c       845      1114   1102.74    198.66      5.55   1000000         0
157.05/157.11	c       821      1046   1096.83    170.50      6.43   1000000         0
159.15/159.29	c       774       987   1103.03    239.84      4.60   1000000         0
161.35/161.49	c       822      1079   1142.40    210.34      5.43   1000000         0
163.55/163.66	c       807      1082   1103.69    211.69      5.21   1000000         0
165.75/165.86	c       827      1091   1128.09    202.37      5.57   1000000         0
167.95/168.03	c       799       880   1081.66    217.99      4.96   1000000         0
170.15/170.22	c       856      1101   1121.48    185.27      6.05   1000000         0
172.24/172.37	c       832      1076   1076.43    148.43      7.25   1000000         0
174.44/174.58	c       830      1139   1139.16    208.03      5.48   1000000         0
176.64/176.77	c       818       972   1113.90    232.75      4.79   1000000         0
178.84/178.93	c       797      1008   1066.37    200.52      5.32   1000000         0
181.04/181.10	c       860       957   1095.22    165.42      6.62   1000000         0
183.14/183.27	c       785      1024   1096.82    181.07      6.06   1000000         0
185.34/185.44	c       886      1113   1102.03    156.41      7.05   1000000         0
187.54/187.63	c       800      1140   1096.44    210.48      5.21   1000000         0
189.74/189.80	c       830       990   1093.43    172.32      6.35   1000000         0
191.84/191.96	c       814       942   1082.07    179.17      6.04   1000000         0
194.04/194.15	c       816       977   1124.60    240.61      4.67   1000000         0
196.24/196.34	c       808      1169   1103.61    214.79      5.14   1000000         0
198.44/198.51	c       813      1037   1111.36    183.36      6.06   1000000         0
200.64/200.70	c       845       994   1119.65    201.58      5.55   1000000         0
202.74/202.89	c       853      1029   1109.95    210.82      5.26   1000000         0
204.94/205.08	c       854       992   1105.86    197.08      5.61   1000000         0
207.14/207.25	c       831       905   1081.56    222.55      4.86   1000000         0
209.34/209.44	c       799       980   1119.04    210.02      5.33   1000000         0
211.54/211.63	c       810      1002   1137.46    205.82      5.53   1000000         0
213.74/213.80	c       848      1002   1106.54    175.28      6.31   1000000         0
215.84/215.98	c       802       960   1096.51    219.24      5.00   1000000         0
218.04/218.15	c       816      1167   1091.08    159.96      6.82   1000000         0
220.24/220.34	c       801      1033   1124.08    240.19      4.68   1000000         0
222.44/222.52	c       799      1154   1098.25    207.45      5.29   1000000         0
224.63/224.70	c       781       968   1090.44    197.43      5.52   1000000         0
226.73/226.89	c       836      1034   1127.13    213.80      5.27   1000000         0
228.93/229.08	c       858      1156   1113.89    221.21      5.04   1000000         0
231.13/231.26	c       822      1197   1119.04    145.09      7.71   1000000         0
233.33/233.43	c       801      1075   1071.67    177.72      6.03   1000000         0
235.53/235.61	c       806      1080   1108.18    186.75      5.93   1000000         0
237.63/237.79	c       754       910   1087.70    192.94      5.64   1000000         0
239.83/239.97	c       812      1088   1108.00    233.33      4.75   1000000         0
242.03/242.14	c       833      1053   1098.84    175.16      6.27   1000000         0
244.23/244.34	c       847      1247   1128.01    230.51      4.89   1000000         0
246.43/246.50	c       828      1047   1077.18    173.01      6.23   1000000         0
248.54/248.68	c       824       970   1103.27    201.12      5.49   1000000         0
250.73/250.86	c       853      1064   1095.61    179.86      6.09   1000000         0
252.93/253.04	c       832      1061   1098.74    168.08      6.54   1000000         0
255.13/255.24	c       839      1144   1119.42    189.20      5.92   1000000         0
257.33/257.42	c       835      1159   1099.75    199.81      5.50   1000000         0
259.43/259.60	c       846      1127   1121.66    198.55      5.65   1000000         0
261.63/261.78	c       847      1025   1111.91    198.97      5.59   1000000         0
263.83/263.97	c       872      1050   1128.87    187.78      6.01   1000000         0
266.03/266.14	c       777       970   1080.48    190.67      5.67   1000000         0
268.23/268.34	c       756       997   1120.38    231.63      4.84   1000000         0
270.43/270.51	c       808      1002   1097.91    175.48      6.26   1000000         0
272.63/272.71	c       837      1099   1129.87    248.26      4.55   1000000         0
274.72/274.89	c       817       959   1095.77    213.00      5.14   1000000         0
276.92/277.08	c       802      1031   1118.84    250.57      4.47   1000000         0
279.12/279.28	c       880       957   1121.97    198.41      5.65   1000000         0
281.32/281.46	c       799      1073   1107.81    209.91      5.28   1000000         0
283.52/283.62	c       739      1028   1092.52    200.26      5.46   1000000         0
285.62/285.80	c       800       959   1090.29    201.15      5.42   1000000         0
287.82/287.97	c       784       866   1083.41    178.01      6.09   1000000         0
290.02/290.15	c       835       933   1103.37    216.73      5.09   1000000         0
292.22/292.35	c       887      1025   1143.44    203.13      5.63   1000000         0
294.42/294.53	c       815       988   1116.07    194.35      5.74   1000000         0
296.62/296.70	c       838      1222   1102.96    172.46      6.40   1000000         0
298.72/298.88	c       812      1073   1093.75    210.65      5.19   1000000         0
300.92/301.05	c       706      1080   1081.01    224.32      4.82   1000000         0
303.12/303.21	c       812      1046   1079.33    159.17      6.78   1000000         0
305.22/305.39	c       819      1117   1100.95    196.82      5.59   1000000         0
307.42/307.57	c       780       964   1108.74    198.64      5.58   1000000         0
309.61/309.74	c       825      1016   1087.52    176.16      6.17   1000000         0
311.80/311.92	c       805      1235   1097.95    202.05      5.43   1000000         0
313.90/314.09	c       836       949   1087.39    141.09      7.71   1000000         0
316.10/316.28	c       798      1061   1106.59    166.01      6.67   1000000         0
318.30/318.45	c       859      1200   1097.75    171.86      6.39   1000000         0
320.50/320.63	c       870      1103   1113.35    175.62      6.34   1000000         0
322.70/322.81	c       811       955   1106.81    214.50      5.16   1000000         0
324.80/324.98	c       803       973   1097.30    205.82      5.33   1000000         0
327.00/327.16	c       764       979   1111.23    200.75      5.54   1000000         0
329.20/329.33	c       860      1059   1081.11    170.90      6.33   1000000         0
331.40/331.52	c       845      1095   1111.55    201.86      5.51   1000000         0
333.60/333.71	c       782      1059   1116.54    233.11      4.79   1000000         0
335.70/335.88	c       814      1046   1100.25    185.11      5.94   1000000         0
337.90/338.05	c       788      1008   1108.05    203.37      5.45   1000000         0
340.10/340.23	c       795       979   1092.49    186.17      5.87   1000000         0
342.30/342.42	c       763      1068   1118.17    210.70      5.31   1000000         0
344.39/344.59	c       769      1077   1087.62    188.42      5.77   1000000         0
346.60/346.77	c       811      1003   1104.94    200.48      5.51   1000000         0
348.79/348.96	c       883      1262   1124.38    185.13      6.07   1000000         0
350.99/351.16	c       817      1150   1139.15    207.49      5.49   1000000         0
353.19/353.33	c       792      1085   1088.05    207.22      5.25   1000000         0
355.39/355.51	c       836      1056   1108.95    175.45      6.32   1000000         0
357.49/357.69	c       834       978   1095.07    186.22      5.88   1000000         0
359.69/359.86	c       730      1062   1091.04    189.85      5.75   1000000         0
361.89/362.05	c       824       937   1123.69    185.83      6.05   1000000         0
364.09/364.23	c       806      1159   1096.74    176.32      6.22   1000000         0
366.29/366.40	c       804      1011   1100.11    197.75      5.56   1000000         0
368.40/368.58	c       806      1003   1102.63    202.19      5.45   1000000         0
370.60/370.75	c       810       893   1094.21    176.58      6.20   1000000         0
372.80/372.93	c       822      1008   1101.63    215.71      5.11   1000000         0
375.00/375.12	c       860      1286   1117.25    189.81      5.89   1000000         0
377.10/377.28	c       843      1057   1093.12    176.40      6.20   1000000         0
379.29/379.46	c       813      1060   1090.71    172.72      6.31   1000000         0
381.49/381.65	c       836       924   1126.46    193.70      5.82   1000000         0
383.69/383.83	c       790      1004   1093.57    207.12      5.28   1000000         0
385.79/385.99	c       798      1083   1079.78    198.28      5.45   1000000         0
387.99/388.18	c       842       961   1118.08    152.73      7.32   1000000         0
390.19/390.36	c       814       926   1093.19    244.41      4.47   1000000         0
392.39/392.55	c       820      1197   1113.67    183.67      6.06   1000000         0
394.59/394.75	c       845      1146   1117.55    214.44      5.21   1000000         0
396.78/396.92	c       826       919   1101.00    201.94      5.45   1000000         0
398.98/399.10	c       841      1010   1103.25    164.84      6.69   1000000         0
401.08/401.29	c       786      1073   1124.77    178.86      6.29   1000000         0
403.28/403.47	c       795      1125   1092.76    204.74      5.34   1000000         0
405.48/405.64	c       837      1036   1093.06    192.30      5.68   1000000         0
407.68/407.83	c       773      1118   1105.93    198.38      5.57   1000000         0
409.78/410.00	c       791      1091   1099.34    184.69      5.95   1000000         0
411.98/412.17	c       810      1078   1106.11    161.65      6.84   1000000         0
414.18/414.36	c       826      1100   1122.83    213.93      5.25   1000000         0
416.38/416.54	c       824      1120   1105.87    203.14      5.44   1000000         0
418.58/418.73	c       793      1066   1138.99    176.38      6.46   1000000         0
420.78/420.92	c       828       952   1111.06    207.31      5.36   1000000         0
422.98/423.10	c       768      1110   1107.91    179.55      6.17   1000000         0
425.08/425.28	c       809      1163   1101.24    196.69      5.60   1000000         0
427.28/427.47	c       834      1172   1126.61    222.46      5.06   1000000         0
429.48/429.65	c       794       961   1099.80    216.30      5.08   1000000         0
431.68/431.84	c       833      1107   1118.19    160.95      6.95   1000000         0
433.88/434.02	c       815       979   1105.83    200.71      5.51   1000000         0
435.98/436.19	c       827      1060   1109.37    155.50      7.13   1000000         0
438.18/438.38	c       864      1091   1122.73    184.68      6.08   1000000         0
440.38/440.56	c       852       978   1105.55    185.69      5.95   1000000         0
442.57/442.73	c       822      1027   1087.67    190.46      5.71   1000000         0
444.77/444.90	c       808      1051   1095.74    167.36      6.55   1000000         0
446.87/447.08	c       868      1017   1105.30    181.16      6.10   1000000         0
449.07/449.27	c       865      1061   1114.35    189.72      5.87   1000000         0
451.27/451.46	c       860      1109   1109.21    192.90      5.75   1000000         0
453.47/453.65	c       846      1093   1101.62    183.76      5.99   1000000         0
455.67/455.80	c       747      1097   1065.16    193.60      5.50   1000000         0
457.77/457.99	c       808       918   1137.04    202.92      5.60   1000000         0
459.97/460.16	c       819      1268   1094.98    200.57      5.46   1000000         0
462.17/462.34	c       838      1113   1100.36    172.51      6.38   1000000         0
464.37/464.50	c       807       947   1087.27    191.84      5.67   1000000         0
466.47/466.67	c       811      1112   1098.76    184.46      5.96   1000000         0
468.67/468.86	c       827      1060   1119.58    225.83      4.96   1000000         0
470.87/471.04	c       846      1067   1110.90    170.31      6.52   1000000         0
473.07/473.23	c       818      1077   1118.33    197.50      5.66   1000000         0
475.27/475.40	c       750      1040   1090.82    201.44      5.42   1000000         0
477.37/477.57	c       794      1018   1091.94    179.53      6.08   1000000         0
479.57/479.73	c       864       927   1083.81    188.23      5.76   1000000         0
481.77/481.93	c       849      1036   1114.79    190.18      5.86   1000000         0
483.97/484.11	c       791       993   1107.53    207.58      5.34   1000000         0
486.07/486.29	c       753      1009   1093.71    229.14      4.77   1000000         0
488.27/488.47	c       808      1058   1104.41    231.46      4.77   1000000         0
490.47/490.66	c       779      1015   1108.04    185.53      5.97   1000000         0
492.67/492.84	c       842      1072   1109.80    198.23      5.60   1000000         0
494.87/495.02	c       839      1096   1098.06    194.71      5.64   1000000         0
496.97/497.20	c       799       942   1118.73    196.03      5.71   1000000         0
499.17/499.39	c       835      1153   1123.81    205.19      5.48   1000000         0
501.37/501.57	c       845      1057   1106.76    202.74      5.46   1000000         0
503.57/503.75	c       767      1162   1088.78    182.45      5.97   1000000         0
505.77/505.93	c       776      1120   1108.48    185.22      5.98   1000000         0
507.97/508.11	c       831      1087   1114.44    242.41      4.60   1000000         0
510.06/510.29	c       808       940   1083.94    168.35      6.44   1000000         0
512.26/512.47	c       834      1042   1103.43    183.76      6.00   1000000         0
514.46/514.65	c       779       896   1092.70    193.21      5.66   1000000         0
516.66/516.82	c       799      1132   1090.60    185.15      5.89   1000000         0
518.86/519.00	c       789      1065   1096.75    209.81      5.23   1000000         0
520.96/521.17	c       786      1129   1101.10    197.97      5.56   1000000         0
523.16/523.36	c       808      1073   1113.96    185.68      6.00   1000000         0
525.36/525.54	c       796      1128   1106.59    198.51      5.57   1000000         0
527.56/527.71	c       828      1019   1097.11    207.87      5.28   1000000         0
529.76/529.90	c       890      1102   1102.70    191.90      5.75   1000000         0
531.86/532.09	c       851       954   1106.63    203.25      5.44   1000000         0
534.05/534.27	c       790       943   1107.33    223.73      4.95   1000000         0
536.25/536.47	c       830      1155   1124.68    224.00      5.02   1000000         0
538.45/538.67	c       848      1061   1142.29    236.83      4.82   1000000         0
540.65/540.85	c       835       940   1105.47    198.67      5.56   1000000         0
542.85/543.02	c       856      1012   1110.61    195.13      5.69   1000000         0
544.95/545.19	c       834       973   1083.85    178.51      6.07   1000000         0
547.15/547.38	c       848      1016   1109.22    222.51      4.99   1000000         0
549.35/549.57	c       849      1042   1118.97    212.59      5.26   1000000         0
551.55/551.77	c       847      1186   1138.56    240.51      4.73   1000000         0
553.75/553.95	c       830      1132   1096.82    209.79      5.23   1000000         0
555.95/556.12	c       827      1011   1087.86    187.90      5.79   1000000         0
558.15/558.31	c       830      1066   1117.41    165.93      6.73   1000000         0
560.25/560.47	c       790      1071   1067.80    165.28      6.46   1000000         0
562.45/562.65	c       802      1046   1104.26    208.54      5.30   1000000         0
564.65/564.83	c       847      1049   1099.38    186.95      5.88   1000000         0
566.85/567.02	c       821       994   1106.77    233.43      4.74   1000000         0
569.05/569.22	c       751      1107   1129.11    226.81      4.98   1000000         0
571.15/571.39	c       826       914   1095.25    181.43      6.04   1000000         0
573.35/573.56	c       864      1048   1118.81    199.46      5.61   1000000         0
575.54/575.75	c       815      1137   1122.18    248.57      4.51   1000000         0
577.74/577.93	c       804       970   1090.85    170.14      6.41   1000000         0
579.94/580.11	c       824       939   1107.96    169.37      6.54   1000000         0
582.04/582.27	c       837      1067   1096.25    174.64      6.28   1000000         0
584.24/584.46	c       801      1038   1123.97    210.52      5.34   1000000         0
586.44/586.66	c       804      1115   1118.60    200.18      5.59   1000000         0
588.64/588.85	c       874      1057   1125.97    217.25      5.18   1000000         0
590.84/591.04	c       873      1150   1122.61    216.05      5.20   1000000         0
593.04/593.22	c       811      1084   1094.37    173.94      6.29   1000000         0
595.14/595.39	c       733      1270   1091.72    176.28      6.19   1000000         0
597.34/597.56	c       818       984   1082.60    158.49      6.83   1000000         0
599.54/599.73	c       769      1168   1094.74    173.45      6.31   1000000         0
601.64/601.89	c       746      1074   1089.18    169.00      6.44   1000000         0
603.84/604.06	c       834       979   1108.20    182.97      6.06   1000000         0
606.04/606.25	c       783       983   1098.59    156.00      7.04   1000000         0
608.24/608.43	c       796      1010   1098.60    180.14      6.10   1000000         0
610.44/610.60	c       782       978   1099.93    218.06      5.04   1000000         0
612.54/612.79	c       839       965   1103.33    204.83      5.39   1000000         0
614.74/614.96	c       805      1018   1075.75    160.02      6.72   1000000         0
616.94/617.14	c       739      1091   1112.39    186.95      5.95   1000000         0
619.04/619.29	c       785       927   1053.16    154.40      6.82   1000000         0
621.24/621.46	c       865      1078   1095.23    176.23      6.21   1000000         0
623.44/623.63	c       844      1092   1087.73    177.05      6.14   1000000         0
625.64/625.81	c       823      1079   1105.65    201.05      5.50   1000000         0
627.73/627.98	c       801       901   1093.03    196.61      5.56   1000000         0
629.93/630.16	c       777      1031   1114.34    219.09      5.09   1000000         0
632.13/632.34	c       822      1095   1103.69    228.74      4.83   1000000         0
634.33/634.53	c       869      1056   1121.12    210.92      5.32   1000000         0
636.53/636.70	c       812      1054   1101.64    194.40      5.67   1000000         0
638.63/638.89	c       835      1194   1123.31    171.97      6.53   1000000         0
640.83/641.07	c       829      1048   1103.29    159.35      6.92   1000000         0
643.03/643.25	c       839      1038   1098.93    189.16      5.81   1000000         0
645.23/645.46	c       822      1021   1133.31    218.79      5.18   1000000         0
647.43/647.64	c       837      1050   1088.14    185.94      5.85   1000000         0
649.63/649.81	c       806       923   1094.44    193.56      5.65   1000000         0
651.73/651.99	c       851      1145   1114.69    189.71      5.88   1000000         0
653.93/654.17	c       818      1059   1104.03    203.46      5.43   1000000         0
656.13/656.35	c       817       973   1113.36    145.37      7.66   1000000         0
658.33/658.53	c       846      1200   1118.18    177.87      6.29   1000000         0
660.53/660.73	c       867      1015   1125.67    182.35      6.17   1000000         0
662.73/662.91	c       789      1068   1093.23    172.78      6.33   1000000         0
664.82/665.08	c       844      1110   1112.14    174.93      6.36   1000000         0
667.02/667.26	c       823       897   1097.92    204.06      5.38   1000000         0
669.22/669.45	c       867      1056   1121.12    209.37      5.35   1000000         0
671.42/671.62	c       839      1058   1098.15    189.01      5.81   1000000         0
673.62/673.80	c       801      1196   1109.42    198.76      5.58   1000000         0
675.72/675.99	c       855      1050   1111.98    170.62      6.52   1000000         0
677.92/678.17	c       793       929   1103.68    223.42      4.94   1000000         0
680.12/680.36	c       866      1057   1124.40    222.54      5.05   1000000         0
682.32/682.56	c       856      1204   1119.04    198.51      5.64   1000000         0
684.52/684.75	c       858      1052   1126.12    165.99      6.78   1000000         0
686.72/686.93	c       767      1021   1095.50    195.08      5.62   1000000         0
688.92/689.10	c       837      1055   1112.93    176.69      6.30   1000000         0
691.02/691.28	c       842      1012   1101.36    186.80      5.90   1000000         0
693.22/693.46	c       788      1060   1112.58    202.14      5.50   1000000         0
695.42/695.65	c       856       935   1119.63    180.59      6.20   1000000         0
697.62/697.84	c       820      1061   1108.80    176.03      6.30   1000000         0
699.82/700.02	c       778      1067   1105.49    249.92      4.42   1000000         0
702.02/702.20	c       826      1136   1111.95    213.17      5.22   1000000         0
704.12/704.36	c       784      1046   1071.06    179.96      5.95   1000000         0
706.32/706.54	c       869       929   1112.77    224.67      4.95   1000000         0
708.52/708.72	c       821      1054   1100.67    224.74      4.90   1000000         0
710.71/710.91	c       818      1110   1118.04    212.89      5.25   1000000         0
712.81/713.09	c       833       984   1094.49    201.02      5.44   1000000         0
715.01/715.25	c       840       921   1083.57    191.63      5.65   1000000         0
717.21/717.45	c       852      1116   1127.71    191.13      5.90   1000000         0
719.41/719.65	c       844      1114   1135.90    170.20      6.67   1000000         0
721.61/721.83	c       810      1030   1102.07    204.43      5.39   1000000         0
723.81/724.01	c       793      1068   1108.40    215.82      5.14   1000000         0
726.01/726.20	c       856      1011   1118.13    218.34      5.12   1000000         0
728.11/728.37	c       829      1003   1112.55    182.15      6.11   1000000         0
730.31/730.56	c       781      1149   1114.25    155.24      7.18   1000000         0
732.51/732.73	c       808      1023   1093.24    161.21      6.78   1000000         0
734.71/734.91	c       812       987   1097.99    174.80      6.28   1000000         0
736.82/737.08	c       789      1098   1109.24    199.82      5.55   1000000         0
739.02/739.24	c       746      1068   1079.55    192.89      5.60   1000000         0
741.22/741.41	c       749      1114   1094.46    210.73      5.19   1000000         0
743.31/743.57	c       761       912   1069.85    183.62      5.83   1000000         0
745.51/745.76	c       839      1035   1110.90    226.03      4.91   1000000         0
747.71/747.94	c       864      1050   1108.62    206.55      5.37   1000000         0
749.91/750.12	c       809      1165   1124.37    176.22      6.38   1000000         0
752.01/752.29	c       858      1069   1106.33    163.27      6.78   1000000         0
754.21/754.49	c       838      1060   1135.34    233.52      4.86   1000000         0
756.41/756.67	c       818      1096   1096.76    199.29      5.50   1000000         0
758.60/758.86	c       793      1150   1127.95    226.04      4.99   1000000         0
760.80/761.03	c       774       989   1072.36    205.54      5.22   1000000         0
763.00/763.20	c       795      1002   1102.20    219.49      5.02   1000000         0
765.10/765.37	c       834       976   1079.01    178.79      6.04   1000000         0
767.30/767.56	c       812      1121   1114.85    209.34      5.33   1000000         0
769.50/769.75	c       832       941   1117.05    220.65      5.06   1000000         0
771.70/771.95	c       810       902   1129.45    195.81      5.77   1000000         0
773.90/774.13	c       829      1047   1119.93    168.72      6.64   1000000         0
776.10/776.33	c       848      1045   1120.48    229.01      4.89   1000000         0
778.30/778.50	c       838      1078   1085.99    176.62      6.15   1000000         0
780.40/780.68	c       790      1142   1115.34    184.49      6.05   1000000         0
782.60/782.87	c       814      1021   1112.80    181.02      6.15   1000000         0
784.80/785.05	c       818      1102   1094.08    205.42      5.33   1000000         0
787.00/787.23	c       839      1039   1112.11    205.78      5.40   1000000         0
789.20/789.42	c       886      1155   1111.98    186.39      5.97   1000000         0
791.30/791.59	c       806      1055   1079.10    186.51      5.79   1000000         0
793.50/793.77	c       847      1200   1113.13    193.50      5.75   1000000         0
795.70/795.95	c       825      1210   1106.73    185.44      5.97   1000000         0
797.90/798.12	c       813      1063   1098.29    178.09      6.17   1000000         0
800.10/800.30	c       824      1098   1089.99    191.05      5.71   1000000         0
802.20/802.48	c       765      1140   1084.84    202.02      5.37   1000000         0
804.39/804.67	c       761      1110   1110.06    177.65      6.25   1000000         0
806.59/806.85	c       858      1151   1109.76    160.49      6.91   1000000         0
808.79/809.03	c       810       988   1100.42    183.13      6.01   1000000         0
810.89/811.18	c       796       998   1071.33    166.91      6.42   1000000         0
813.09/813.37	c       841       996   1115.53    183.65      6.07   1000000         0
815.29/815.54	c       839      1165   1101.18    175.46      6.28   1000000         0
817.49/817.73	c       835      1017   1123.43    189.72      5.92   1000000         0
819.69/819.90	c       807      1012   1090.71    197.57      5.52   1000000         0
821.79/822.07	c       779      1058   1081.72    197.85      5.47   1000000         0
823.99/824.24	c       788      1041   1095.62    190.99      5.74   1000000         0
826.19/826.42	c       836      1143   1108.14    179.62      6.17   1000000         0
828.39/828.61	c       859      1091   1112.57    185.95      5.98   1000000         0
830.59/830.82	c       838       971   1132.93    224.62      5.04   1000000         0
832.79/833.00	c       806      1052   1105.64    261.74      4.22   1000000         0
834.89/835.19	c       833      1132   1117.16    231.40      4.83   1000000         0
837.09/837.34	c       804       936   1062.83    205.44      5.17   1000000         0
839.29/839.52	c       709      1002   1100.34    189.62      5.80   1000000         0
841.49/841.70	c       824      1066   1099.37    176.95      6.21   1000000         0
843.59/843.89	c       794      1016   1113.25    212.54      5.24   1000000         0
845.79/846.09	c       862      1156   1115.79    189.12      5.90   1000000         0
847.99/848.28	c       820      1091   1111.10    204.64      5.43   1000000         0
850.18/850.47	c       801      1008   1106.29    176.09      6.28   1000000         0
852.38/852.64	c       805      1075   1087.62    213.36      5.10   1000000         0
854.58/854.80	c       818      1080   1085.73    236.09      4.60   1000000         0
856.69/856.98	c       809      1183   1101.57    216.63      5.09   1000000         0
858.89/859.15	c       743      1007   1097.70    234.56      4.68   1000000         0
861.09/861.33	c       822       995   1101.18    248.17      4.44   1000000         0
863.19/863.50	c       783       993   1087.50    179.19      6.07   1000000         0
865.39/865.69	c       783      1068   1127.71    185.63      6.07   1000000         0
867.59/867.90	c       831      1203   1126.38    214.39      5.25   1000000         0
869.79/870.08	c       833      1085   1107.31    167.58      6.61   1000000         0
871.99/872.27	c       825       947   1124.04    163.53      6.87   1000000         0
874.19/874.46	c       871      1111   1112.03    200.15      5.56   1000000         0
876.38/876.63	c       813      1222   1091.77    214.89      5.08   1000000         0
878.58/878.81	c       779       857   1106.99    177.33      6.24   1000000         0
880.68/880.97	c       791      1103   1085.89    177.12      6.13   1000000         0
882.88/883.16	c       848      1047   1121.29    212.94      5.27   1000000         0
885.08/885.35	c       820      1228   1107.72    225.79      4.91   1000000         0
887.28/887.53	c       860      1085   1118.29    179.17      6.24   1000000         0
889.48/889.70	c       808      1019   1107.02    181.29      6.11   1000000         0
891.57/891.89	c       807      1169   1114.16    171.67      6.49   1000000         0
893.77/894.06	c       775      1197   1091.17    201.87      5.41   1000000         0
895.97/896.23	c       842      1103   1113.60    189.86      5.87   1000000         0
898.17/898.42	c       818       937   1109.45    180.73      6.14   1000000         0
900.37/900.60	c       823      1080   1099.61    213.59      5.15   1000000         0
902.47/902.78	c       869      1179   1102.68    204.22      5.40   1000000         0
904.67/904.96	c       847      1165   1104.93    229.72      4.81   1000000         0
906.87/907.14	c       819       945   1094.83    196.60      5.57   1000000         0
909.07/909.31	c       824      1014   1102.81    190.64      5.78   1000000         0
911.17/911.48	c       808      1031   1081.48    199.55      5.42   1000000         0
913.37/913.67	c       786       958   1114.41    193.67      5.75   1000000         0
915.58/915.84	c       857      1093   1096.47    163.43      6.71   1000000         0
917.78/918.01	c       732      1047   1100.99    192.69      5.71   1000000         0
919.88/920.19	c       784       996   1090.09    208.31      5.23   1000000         0
922.08/922.37	c       827      1133   1117.23    168.69      6.62   1000000         0
924.28/924.56	c       852      1150   1122.45    203.53      5.51   1000000         0
926.48/926.75	c       864       993   1103.17    188.81      5.84   1000000         0
928.68/928.93	c       814       953   1103.24    179.70      6.14   1000000         0
930.88/931.13	c       868      1009   1139.17    199.34      5.71   1000000         0
933.08/933.31	c       805      1106   1113.18    204.84      5.43   1000000         0
935.17/935.49	c       846      1074   1096.04    165.89      6.61   1000000         0
937.37/937.66	c       820      1160   1089.65    212.99      5.12   1000000         0
939.57/939.82	c       790       959   1063.64    182.44      5.83   1000000         0
941.77/942.01	c       836      1125   1089.91    190.63      5.72   1000000         0
943.87/944.18	c       800      1022   1109.13    169.36      6.55   1000000         0
946.07/946.36	c       816      1038   1110.67    163.47      6.79   1000000         0
948.27/948.55	c       863       997   1122.51    240.60      4.67   1000000         0
950.47/950.73	c       799      1155   1107.69    225.18      4.92   1000000         0
952.67/952.92	c       857      1206   1131.81    197.97      5.72   1000000         0
954.77/955.10	c       803      1181   1096.53    199.09      5.51   1000000         0
956.97/957.27	c       813      1049   1097.78    181.89      6.04   1000000         0
959.17/959.45	c       851      1201   1106.84    205.14      5.40   1000000         0
961.37/961.64	c       822      1135   1115.99    212.73      5.25   1000000         0
963.57/963.82	c       815       982   1102.84    207.63      5.31   1000000         0
965.77/966.00	c       812      1007   1109.28    176.17      6.30   1000000         0
967.87/968.19	c       822      1037   1111.36    219.07      5.07   1000000         0
970.07/970.37	c       826       950   1107.31    211.38      5.24   1000000         0
972.27/972.54	c       819       959   1099.20    182.35      6.03   1000000         0
974.47/974.71	c       862      1017   1091.37    174.37      6.26   1000000         0
976.66/976.90	c       868      1051   1111.92    188.78      5.89   1000000         0
978.77/979.06	c       800      1076   1075.80    166.09      6.48   1000000         0
980.97/981.25	c       835       990   1107.06    192.15      5.76   1000000         0
983.17/983.43	c       796      1017   1103.03    209.89      5.26   1000000         0
985.27/985.60	c       866      1173   1098.37    178.73      6.15   1000000         0
987.47/987.77	c       763      1139   1088.18    202.23      5.38   1000000         0
989.67/989.95	c       799      1009   1121.60    223.59      5.02   1000000         0
991.87/992.11	c       862      1167   1095.21    186.57      5.87   1000000         0
994.07/994.30	c       785      1076   1112.75    224.37      4.96   1000000         0
996.27/996.50	c       804      1068   1138.37    210.55      5.41   1000000         0
998.36/998.67	c       773      1181   1098.24    204.75      5.36   1000000         0
1000.56/1000.84	c       774      1005   1098.32    204.72      5.36   1000000         0
1002.76/1003.04	c       770      1072   1120.05    266.61      4.20   1000000         0
1004.96/1005.21	c       760      1064   1091.55    186.31      5.86   1000000         0
1007.06/1007.38	c       832      1005   1084.71    195.44      5.55   1000000         0
1009.26/1009.56	c       865      1085   1107.62    182.93      6.05   1000000         0
1011.46/1011.72	c       754       845   1082.45    160.72      6.74   1000000         0
1013.66/1013.90	c       822      1044   1092.55    208.27      5.25   1000000         0
1015.76/1016.05	c       749       926   1060.71    202.83      5.23   1000000         0
1017.96/1018.23	c       800       929   1108.80    194.64      5.70   1000000         0
1020.15/1020.41	c       807       970   1109.11    181.13      6.12   1000000         0
1022.35/1022.60	c       889      1128   1130.81    218.05      5.19   1000000         0
1024.45/1024.77	c       826      1118   1081.64    192.59      5.62   1000000         0
1026.65/1026.93	c       812      1083   1082.51    162.53      6.66   1000000         0
1028.85/1029.10	c       804      1078   1099.59    187.80      5.85   1000000         0
1030.95/1031.27	c       792       898   1103.28    177.60      6.21   1000000         0
1033.15/1033.42	c       828       990   1080.31    190.89      5.66   1000000         0
1035.35/1035.60	c       812      1007   1111.07    181.38      6.13   1000000         0
1037.45/1037.79	c       877      1004   1120.98    193.06      5.81   1000000         0
1039.65/1039.98	c       785      1090   1119.03    199.98      5.60   1000000         0
1041.85/1042.18	c       859       992   1141.15    191.36      5.96   1000000         0
1044.05/1044.35	c       821      1064   1091.93    186.67      5.85   1000000         0
1046.25/1046.52	c       831      1328   1103.46    190.00      5.81   1000000         0
1048.45/1048.72	c       822      1069   1120.79    221.45      5.06   1000000         0
1050.65/1050.90	c       820      1020   1100.11    166.09      6.62   1000000         0
1052.75/1053.09	c       834      1120   1120.40    202.26      5.54   1000000         0
1054.95/1055.26	c       855       995   1103.53    177.98      6.20   1000000         0
1057.15/1057.46	c       848      1031   1132.42    238.48      4.75   1000000         0
1059.35/1059.64	c       858      1046   1112.83    179.92      6.19   1000000         0
1061.55/1061.82	c       811      1069   1105.92    205.23      5.39   1000000         0
1063.75/1064.01	c       847      1017   1104.67    205.97      5.36   1000000         0
1065.85/1066.19	c       853      1072   1112.55    197.77      5.63   1000000         0
1068.05/1068.37	c       841       998   1104.95    179.16      6.17   1000000         0
1070.25/1070.55	c       851      1061   1099.41    186.93      5.88   1000000         0
1072.44/1072.73	c       840      1214   1106.47    170.34      6.50   1000000         0
1074.64/1074.91	c       840      1033   1102.28    154.32      7.14   1000000         0
1076.84/1077.11	c       837      1135   1127.57    224.32      5.03   1000000         0
1078.94/1079.28	c       826      1124   1085.30    174.65      6.21   1000000         0
1081.14/1081.45	c       824      1076   1094.51    196.50      5.57   1000000         0
1083.34/1083.64	c       793      1159   1103.72    203.27      5.43   1000000         0
1085.54/1085.81	c       864      1177   1106.11    158.74      6.97   1000000         0
1087.74/1088.00	c       795      1049   1111.97    215.26      5.17   1000000         0
1089.85/1090.19	c       813       982   1102.38    189.34      5.82   1000000         0
1092.05/1092.36	c       826      1034   1097.24    174.25      6.30   1000000         0
1094.25/1094.53	c       755      1090   1083.23    179.65      6.03   1000000         0
1096.45/1096.71	c       814      1138   1108.87    226.19      4.90   1000000         0
1098.54/1098.89	c       816       997   1100.49    194.40      5.66   1000000         0
1100.74/1101.06	c       771      1032   1079.84    177.95      6.07   1000000         0
1102.94/1103.23	c       848      1025   1110.42    146.81      7.56   1000000         0
1105.14/1105.40	c       733      1046   1094.04    194.60      5.62   1000000         0
1107.24/1107.57	c       781      1126   1107.48    180.58      6.13   1000000         0
1109.44/1109.75	c       772      1087   1077.18    187.86      5.73   1000000         0
1111.64/1111.91	c       814      1111   1081.48    174.53      6.20   1000000         0
1113.73/1114.09	c       840      1094   1097.34    189.88      5.78   1000000         0
1115.93/1116.27	c       835       979   1100.28    221.42      4.97   1000000         0
1118.13/1118.46	c       779       963   1120.18    188.16      5.95   1000000         0
1120.33/1120.65	c       818      1054   1115.82    252.93      4.41   1000000         0
1122.53/1122.86	c       846      1106   1140.38    192.33      5.93   1000000         0
1124.73/1125.04	c       836      1170   1103.80    205.36      5.37   1000000         0
1126.93/1127.23	c       830      1125   1115.92    220.94      5.05   1000000         0
1129.13/1129.44	c       860      1053   1124.67    191.32      5.88   1000000         0
1131.33/1131.61	c       816      1179   1110.77    156.90      7.08   1000000         0
1133.43/1133.79	c       804      1079   1099.07    191.88      5.73   1000000         0
1135.63/1135.96	c       848      1127   1115.97    195.37      5.71   1000000         0
1137.83/1138.16	c       872      1097   1126.20    199.43      5.65   1000000         0
1140.03/1140.35	c       856      1093   1130.39    198.48      5.70   1000000         0
1142.23/1142.51	c       798      1177   1080.93    168.39      6.42   1000000         0
1144.33/1144.69	c       791      1168   1100.14    150.50      7.31   1000000         0
1146.53/1146.87	c       830      1066   1085.46    215.81      5.03   1000000         0
1148.73/1149.04	c       798      1141   1115.01    179.42      6.21   1000000         0
1150.93/1151.22	c       810      1134   1083.85    205.25      5.28   1000000         0
1153.13/1153.41	c       812      1106   1128.68    182.11      6.20   1000000         0
1155.33/1155.60	c       856      1048   1127.93    171.08      6.59   1000000         0
1157.43/1157.80	c       812      1065   1116.14    200.01      5.58   1000000         0
1159.62/1159.97	c       800      1069   1103.05    176.75      6.24   1000000         0
1161.82/1162.14	c       764       991   1106.51    198.44      5.58   1000000         0
1164.02/1164.30	c       799      1074   1077.83    187.04      5.76   1000000         0
1166.12/1166.48	c       792       986   1117.43    201.88      5.54   1000000         0
1168.32/1168.68	c       849       994   1131.00    213.89      5.29   1000000         0
1170.52/1170.85	c       852      1087   1109.25    169.13      6.56   1000000         0
1172.72/1173.02	c       781      1150   1085.86    153.20      7.09   1000000         0
1174.92/1175.20	c       744      1007   1107.69    217.29      5.10   1000000         0
1177.02/1177.39	c       810      1022   1117.16    245.33      4.55   1000000         0
1179.22/1179.58	c       833      1089   1110.60    195.50      5.68   1000000         0
1181.42/1181.74	c       819      1045   1075.54    157.08      6.85   1000000         0
1183.62/1183.92	c       796      1188   1096.94    168.34      6.52   1000000         0
1185.72/1186.08	c       788       877   1064.94    205.69      5.18   1000000         0
1187.92/1188.26	c       764      1312   1093.82    236.57      4.62   1000000         0
1190.12/1190.42	c       777      1049   1074.81    202.77      5.30   1000000         0
1192.32/1192.61	c       775      1190   1110.65    193.87      5.73   1000000         0
1194.42/1194.79	c       847      1065   1110.54    181.55      6.12   1000000         0
1196.62/1196.97	c       782      1105   1102.35    219.73      5.02   1000000         0
1198.81/1199.14	c       822       979   1108.02    212.86      5.21   1000000         0
1201.01/1201.34	c       808      1131   1127.00    210.86      5.34   1000000         0
1203.21/1203.51	c       815      1008   1079.63    214.43      5.03   1000000         0
1205.41/1205.71	c       837      1073   1124.41    220.62      5.10   1000000         0
1207.52/1207.88	c       791       994   1096.68    176.30      6.22   1000000         0
1209.72/1210.05	c       823       965   1116.29    195.18      5.72   1000000         0
1211.92/1212.23	c       842       980   1095.34    198.94      5.51   1000000         0
1214.12/1214.42	c       780      1157   1111.35    198.50      5.60   1000000         0
1216.22/1216.58	c       786      1106   1091.56    191.86      5.69   1000000         0
1218.42/1218.77	c       835      1063   1113.59    231.22      4.82   1000000         0
1220.62/1220.94	c       823      1179   1092.06    199.21      5.48   1000000         0
1222.82/1223.14	c       844      1103   1125.92    213.75      5.27   1000000         0
1225.02/1225.30	c       806       979   1085.74    204.17      5.32   1000000         0
1227.11/1227.47	c       807      1075   1093.01    204.85      5.34   1000000         0
1229.31/1229.66	c       816      1009   1113.60    173.93      6.40   1000000         0
1231.51/1231.84	c       855      1072   1105.82    157.05      7.04   1000000         0
1233.71/1234.00	c       787      1105   1071.06    186.95      5.73   1000000         0
1235.81/1236.19	c       784      1219   1116.10    275.07      4.06   1000000         0
1238.01/1238.35	c       825      1136   1081.65    180.50      5.99   1000000         0
1240.21/1240.51	c       820      1040   1078.83    176.86      6.10   1000000         0
1242.31/1242.69	c       842       936   1104.18    168.90      6.54   1000000         0
1244.50/1244.87	c       829      1085   1113.99    160.86      6.93   1000000         0
1246.70/1247.06	c       803       967   1111.00    208.81      5.32   1000000         0
1248.91/1249.22	c       808       979   1075.34    211.71      5.08   1000000         0
1251.00/1251.38	c       795      1053   1075.80    167.98      6.40   1000000         0
1253.20/1253.57	c       863      1001   1101.33    160.81      6.85   1000000         0
1255.40/1255.74	c       806      1119   1095.89    190.48      5.75   1000000         0
1257.60/1257.91	c       746      1040   1097.06    211.99      5.18   1000000         0
1259.70/1260.08	c       763      1015   1090.05    202.35      5.39   1000000         0
1261.90/1262.25	c       792      1055   1081.16    192.34      5.62   1000000         0
1264.10/1264.42	c       852      1099   1097.96    200.86      5.47   1000000         0
1266.30/1266.62	c       872      1029   1131.91    191.37      5.91   1000000         0
1268.50/1268.81	c       840      1145   1141.93    218.04      5.24   1000000         0
1270.70/1271.00	c       856      1000   1099.97    170.97      6.43   1000000         0
1272.80/1273.19	c       822       910   1120.68    233.23      4.81   1000000         0
1275.00/1275.37	c       812      1073   1096.32    193.81      5.66   1000000         0
1277.20/1277.55	c       775      1000   1087.77    218.67      4.97   1000000         0
1279.40/1279.72	c       789      1210   1087.95    193.82      5.61   1000000         0
1281.50/1281.89	c       830       943   1094.22    189.10      5.79   1000000         0
1283.70/1284.07	c       783      1117   1087.14    201.92      5.38   1000000         0
1285.90/1286.26	c       810      1053   1114.57    204.65      5.45   1000000         0
1288.10/1288.44	c       826      1075   1116.34    189.00      5.91   1000000         0
1290.30/1290.60	c       839      1086   1092.44    170.82      6.40   1000000         0
1292.40/1292.79	c       831      1002   1116.36    244.91      4.56   1000000         0
1294.59/1294.98	c       806      1176   1106.71    180.31      6.14   1000000         0
1296.79/1297.16	c       800       966   1105.70    208.60      5.30   1000000         0
1298.99/1299.35	c       865      1074   1120.05    196.75      5.69   1000000         0
1301.19/1301.53	c       912       992   1116.80    156.54      7.13   1000000         0
1303.39/1303.72	c       851      1084   1117.93    173.37      6.45   1000000         0
1305.49/1305.90	c       828      1036   1105.50    187.04      5.91   1000000         0
1307.69/1308.07	c       836      1047   1111.49    204.16      5.44   1000000         0
1309.89/1310.24	c       780      1155   1101.34    241.07      4.57   1000000         0
1312.09/1312.44	c       844      1013   1126.81    189.89      5.93   1000000         0
1314.29/1314.63	c       872      1075   1123.44    181.23      6.20   1000000         0
1316.49/1316.81	c       834      1144   1112.14    187.13      5.94   1000000         0
1318.60/1318.98	c       795      1018   1098.84    182.78      6.01   1000000         0
1320.80/1321.16	c       809      1088   1099.91    194.38      5.66   1000000         0
1323.00/1323.34	c       803      1108   1109.94    200.78      5.53   1000000         0
1325.20/1325.53	c       864      1070   1121.53    190.04      5.90   1000000         0
1327.29/1327.69	c       793      1117   1081.56    167.96      6.44   1000000         0
1329.49/1329.86	c       796      1111   1087.76    181.51      5.99   1000000         0
1331.69/1332.06	c       765      1147   1116.73    212.56      5.25   1000000         0
1333.89/1334.24	c       856      1177   1090.40    189.33      5.76   1000000         0
1335.98/1336.39	c       792      1166   1071.15    153.11      7.00   1000000         0
1338.18/1338.54	c       750      1101   1076.77    169.55      6.35   1000000         0
1340.39/1340.73	c       838      1133   1120.14    170.81      6.56   1000000         0
1342.58/1342.91	c       810       899   1092.74    169.26      6.46   1000000         0
1344.68/1345.09	c       769      1148   1103.83    215.33      5.13   1000000         0
1346.88/1347.26	c       804       941   1080.26    185.60      5.82   1000000         0
1349.08/1349.45	c       828      1112   1101.79    193.42      5.70   1000000         0
1351.28/1351.64	c       842      1063   1108.43    189.56      5.85   1000000         0
1353.48/1353.82	c       793      1030   1103.86    209.71      5.26   1000000         0
1355.68/1356.00	c       774      1165   1111.06    214.74      5.17   1000000         0
1357.78/1358.18	c       804      1007   1117.15    206.76      5.40   1000000         0
1359.98/1360.37	c       839       967   1110.38    239.33      4.64   1000000         0
1362.18/1362.55	c       780      1078   1104.62    220.57      5.01   1000000         0
1364.38/1364.73	c       845      1149   1106.34    213.58      5.18   1000000         0
1366.58/1366.92	c       743      1173   1120.48    197.64      5.67   1000000         0
1368.78/1369.10	c       792      1131   1106.69    201.84      5.48   1000000         0
1370.88/1371.29	c       847      1140   1124.93    188.82      5.96   1000000         0
1373.08/1373.46	c       801      1073   1107.05    222.70      4.97   1000000         0
1375.28/1375.63	c       766      1018   1080.12    207.37      5.21   1000000         0
1377.48/1377.82	c       832       985   1125.36    190.06      5.92   1000000         0
1379.68/1380.00	c       817      1023   1102.14    164.00      6.72   1000000         0
1381.77/1382.17	c       838       984   1103.17    190.20      5.80   1000000         0
1383.97/1384.34	c       777      1253   1086.09    167.12      6.50   1000000         0
1386.17/1386.53	c       842      1007   1112.11    192.21      5.79   1000000         0
1388.37/1388.71	c       766      1080   1094.53    216.31      5.06   1000000         0
1390.47/1390.89	c       830      1064   1121.18    200.43      5.59   1000000         0
1392.67/1393.09	c       840      1111   1124.91    191.82      5.86   1000000         0
1394.87/1395.27	c       851       934   1113.41    210.31      5.29   1000000         0
1397.07/1397.46	c       801      1116   1097.55    194.89      5.63   1000000         0
1399.27/1399.62	c       794      1104   1089.46    170.67      6.38   1000000         0
1401.37/1401.78	c       798       887   1053.42    188.99      5.57   1000000         0
1403.57/1403.97	c       780      1058   1110.99    220.63      5.04   1000000         0
1405.77/1406.17	c       833      1099   1149.47    200.89      5.72   1000000         0
1407.97/1408.33	c       759      1039   1086.49    196.07      5.54   1000000         0
1410.17/1410.52	c       898      1006   1126.73    172.47      6.53   1000000         0
1412.37/1412.70	c       829      1079   1104.53    175.88      6.28   1000000         0
1414.47/1414.87	c       865      1125   1101.96    165.09      6.67   1000000         0
1416.67/1417.04	c       752      1119   1096.47    206.06      5.32   1000000         0
1418.87/1419.22	c       796      1074   1103.90    202.20      5.46   1000000         0
1420.97/1421.39	c       839      1069   1117.55    214.58      5.21   1000000         0
1423.17/1423.56	c       831      1160   1091.86    164.17      6.65   1000000         0
1425.37/1425.75	c       753      1078   1113.50    231.23      4.82   1000000         0
1427.56/1427.93	c       847      1038   1106.89    222.55      4.97   1000000         0
1429.76/1430.11	c       884      1085   1114.04    177.78      6.27   1000000         0
1431.96/1432.33	c       806       949   1115.23    253.44      4.40   1000000         0
1434.16/1434.53	c       822      1077   1125.02    206.58      5.45   1000000         0
1436.36/1436.70	c       833       959   1084.94    210.32      5.16   1000000         0
1438.47/1438.88	c       784      1094   1107.63    193.68      5.72   1000000         0
1440.67/1441.06	c       794      1160   1089.87    176.46      6.18   1000000         0
1442.87/1443.25	c       857      1106   1121.46    192.86      5.82   1000000         0
1445.07/1445.44	c       778       991   1109.83    216.69      5.12   1000000         0
1447.27/1447.62	c       844      1284   1107.07    192.65      5.75   1000000         0
1449.37/1449.79	c       837       929   1085.83    155.49      6.98   1000000         0
1451.57/1451.97	c       805      1118   1100.98    215.08      5.12   1000000         0
1453.77/1454.16	c       855      1082   1132.62    190.61      5.94   1000000         0
1455.97/1456.34	c       828      1047   1099.14    198.79      5.53   1000000         0
1458.17/1458.52	c       766      1006   1089.35    215.87      5.05   1000000         0
1460.36/1460.71	c       860      1100   1130.95    207.76      5.44   1000000         0
1462.46/1462.88	c       851      1169   1088.74    182.74      5.96   1000000         0
1464.66/1465.08	c       777      1027   1132.32    161.72      7.00   1000000         0
1466.86/1467.26	c       825       941   1111.82    212.92      5.22   1000000         0
1469.06/1469.43	c       832       943   1086.09    172.77      6.29   1000000         0
1471.26/1471.62	c       842      1075   1104.38    223.64      4.94   1000000         0
1473.45/1473.80	c       847       975   1106.93    214.42      5.16   1000000         0
1475.55/1475.97	c       770      1096   1098.60    166.76      6.59   1000000         0
1477.75/1478.15	c       786      1091   1099.93    213.26      5.16   1000000         0
1479.95/1480.34	c       801      1024   1110.41    227.57      4.88   1000000         0
1482.15/1482.52	c       851       998   1090.64    194.65      5.60   1000000         0
1484.25/1484.68	c       850      1209   1079.09    157.45      6.85   1000000         0
1486.45/1486.87	c       788      1153   1102.20    213.24      5.17   1000000         0
1488.65/1489.06	c       871      1094   1119.36    194.43      5.76   1000000         0
1490.85/1491.23	c       845       976   1094.43    151.73      7.21   1000000         0
1493.05/1493.41	c       811       931   1097.53    217.79      5.04   1000000         0
1495.15/1495.57	c       802       991   1076.48    168.21      6.40   1000000         0
1497.35/1497.74	c       865      1010   1098.08    183.37      5.99   1000000         0
1499.55/1499.93	c       850      1032   1118.82    190.03      5.89   1000000         0
1501.75/1502.12	c       856      1096   1120.10    156.01      7.18   1000000         0
1503.95/1504.31	c       851      1198   1122.66    184.05      6.10   1000000         0
1506.15/1506.50	c       793      1064   1118.78    208.96      5.35   1000000         0
1508.25/1508.68	c       797      1161   1106.73    183.27      6.04   1000000         0
1510.45/1510.85	c       817      1033   1086.05    152.09      7.14   1000000         0
1512.65/1513.03	c       872      1016   1123.39    170.34      6.60   1000000         0
1514.84/1515.21	c       814      1088   1113.62    220.03      5.06   1000000         0
1516.94/1517.37	c       826      1040   1081.14    173.04      6.25   1000000         0
1519.14/1519.57	c       862      1138   1147.51    196.87      5.83   1000000         0
1521.34/1521.77	c       832      1097   1145.10    204.96      5.59   1000000         0
1523.54/1523.93	c       793      1035   1074.23    187.79      5.72   1000000         0
1525.74/1526.12	c       799      1098   1130.92    165.71      6.82   1000000         0
1527.84/1528.30	c       778      1161   1096.55    218.65      5.02   1000000         0
1530.04/1530.47	c       868      1136   1107.04    193.76      5.71   1000000         0
1532.24/1532.66	c       849      1098   1100.91    184.93      5.95   1000000         0
1534.44/1534.87	c       878      1047   1139.82    195.95      5.82   1000000         0
1536.64/1537.04	c       829      1159   1104.00    177.56      6.22   1000000         0
1538.84/1539.21	c       831      1042   1111.01    201.87      5.50   1000000         0
1541.04/1541.40	c       813      1144   1107.45    197.39      5.61   1000000         0
1543.14/1543.57	c       827      1138   1099.04    199.48      5.51   1000000         0
1545.34/1545.76	c       859      1200   1107.75    151.33      7.32   1000000         0
1547.54/1547.94	c       828      1261   1109.60    164.05      6.76   1000000         0
1549.74/1550.11	c       713      1014   1076.67    159.45      6.75   1000000         0
1551.94/1552.30	c       816      1039   1109.63    168.98      6.57   1000000         0
1554.04/1554.49	c       880      1215   1123.46    212.88      5.28   1000000         0
1556.24/1556.67	c       799      1226   1097.39    174.44      6.29   1000000         0
1558.43/1558.83	c       784      1067   1073.09    214.19      5.01   1000000         0
1560.63/1561.02	c       805      1178   1114.88    202.19      5.51   1000000         0
1562.83/1563.22	c       856       970   1120.13    221.38      5.06   1000000         0
1565.03/1565.40	c       842      1139   1097.20    211.05      5.20   1000000         0
1567.14/1567.59	c       853       961   1108.06    202.69      5.47   1000000         0
1569.34/1569.75	c       793      1045   1068.54    165.91      6.44   1000000         0
1571.54/1571.93	c       814      1041   1111.20    185.15      6.00   1000000         0
1573.74/1574.12	c       834      1060   1103.16    210.20      5.25   1000000         0
1575.84/1576.30	c       805      1033   1103.97    207.53      5.32   1000000         0
1578.04/1578.48	c       787      1129   1111.66    214.90      5.17   1000000         0
1580.24/1580.65	c       801       967   1091.33    205.34      5.31   1000000         0
1582.44/1582.83	c       812      1023   1099.78    181.05      6.07   1000000         0
1584.64/1585.02	c       866       989   1133.45    201.23      5.63   1000000         0
1586.84/1587.21	c       783      1111   1131.71    203.21      5.57   1000000         0
1588.93/1589.39	c       807      1091   1100.24    193.62      5.68   1000000         0
1591.13/1591.57	c       844       973   1100.41    209.66      5.25   1000000         0
1593.33/1593.75	c       834      1082   1103.41    163.16      6.76   1000000         0
1595.53/1595.93	c       866      1010   1100.61    173.13      6.36   1000000         0
1597.73/1598.11	c       798      1059   1108.85    200.67      5.53   1000000         0
1599.93/1600.30	c       890      1058   1130.93    178.30      6.34   1000000         0
1602.13/1602.50	c       867      1111   1122.03    205.88      5.45   1000000         0
1604.23/1604.67	c       846      1031   1106.57    174.08      6.36   1000000         0
1606.42/1606.85	c       828      1032   1096.52    195.46      5.61   1000000         0
1608.62/1609.03	c       845      1031   1110.19    202.65      5.48   1000000         0
1610.82/1611.21	c       834      1044   1112.91    185.19      6.01   1000000         0
1613.02/1613.40	c       831       954   1108.67    224.04      4.95   1000000         0
1615.12/1615.57	c       800      1082   1081.54    174.61      6.19   1000000         0
1617.32/1617.75	c       870       947   1108.91    168.27      6.59   1000000         0
1619.52/1619.93	c       826      1014   1087.53    220.91      4.92   1000000         0
1621.72/1622.11	c       811       976   1109.55    188.70      5.88   1000000         0
1623.82/1624.27	c       773      1026   1070.72    167.71      6.38   1000000         0
1626.02/1626.46	c       858      1213   1135.30    198.48      5.72   1000000         0
1628.22/1628.64	c       823      1082   1104.41    227.88      4.85   1000000         0
1630.42/1630.82	c       813      1077   1085.32    184.68      5.88   1000000         0
1632.62/1633.00	c       811      1043   1106.40    179.18      6.17   1000000         0
1634.72/1635.15	c       762      1014   1058.09    173.68      6.09   1000000         0
1636.92/1637.33	c       813      1173   1100.70    181.51      6.06   1000000         0
1639.12/1639.51	c       854      1101   1111.90    195.63      5.68   1000000         0
1641.22/1641.68	c       748       996   1117.06    216.08      5.17   1000000         0
1643.42/1643.88	c       872      1246   1132.24    194.19      5.83   1000000         0
1645.62/1646.06	c       855       915   1100.73    188.35      5.84   1000000         0
1647.82/1648.22	c       790      1000   1063.20    185.49      5.73   1000000         0
1650.02/1650.41	c       820      1124   1112.74    214.57      5.19   1000000         0
1652.21/1652.61	c       850      1056   1125.03    206.22      5.46   1000000         0
1654.31/1654.78	c       821      1191   1102.30    194.50      5.67   1000000         0
1656.51/1656.97	c       839       979   1117.75    233.37      4.79   1000000         0
1658.71/1659.15	c       828       985   1102.99    183.58      6.01   1000000         0
1660.91/1661.33	c       823      1097   1118.98    183.70      6.09   1000000         0
1663.11/1663.52	c       846      1014   1104.66    177.93      6.21   1000000         0
1665.21/1665.68	c       869      1074   1086.94    185.76      5.85   1000000         0
1667.41/1667.86	c       715      1086   1087.53    188.49      5.77   1000000         0
1669.61/1670.05	c       794      1111   1127.44    195.15      5.78   1000000         0
1671.81/1672.23	c       824      1138   1104.57    205.66      5.37   1000000         0
1673.91/1674.39	c       828       926   1083.36    151.23      7.16   1000000         0
1676.11/1676.58	c       865      1045   1107.43    158.88      6.97   1000000         0
1678.31/1678.75	c       843      1024   1091.91    187.44      5.83   1000000         0
1680.51/1680.92	c       834       911   1079.08    156.57      6.89   1000000         0
1682.61/1683.09	c       796      1091   1089.03    191.87      5.68   1000000         0
1684.81/1685.26	c       795      1122   1084.06    173.71      6.24   1000000         0
1687.01/1687.46	c       851      1024   1120.89    213.43      5.25   1000000         0
1689.21/1689.64	c       823       990   1112.32    191.34      5.81   1000000         0
1691.41/1691.82	c       807      1072   1098.49    155.04      7.09   1000000         0
1693.51/1694.00	c       819      1037   1104.63    208.31      5.30   1000000         0
1695.71/1696.18	c       784      1164   1110.40    184.60      6.02   1000000         0
1697.91/1698.35	c       842      1060   1091.23    200.93      5.43   1000000         0
1700.11/1700.53	c       788      1139   1115.69    202.55      5.51   1000000         0
1702.31/1702.70	c       793       986   1092.45    204.26      5.35   1000000         0
1704.40/1704.88	c       852      1182   1101.07    163.33      6.74   1000000         0
1706.60/1707.06	c       838      1010   1094.38    192.99      5.67   1000000         0
1708.80/1709.24	c       840       942   1098.16    223.29      4.92   1000000         0
1711.00/1711.42	c       832      1009   1112.16    235.68      4.72   1000000         0
1713.20/1713.62	c       854      1191   1151.21    188.87      6.10   1000000         0
1715.30/1715.79	c       829      1045   1095.25    176.91      6.19   1000000         0
1717.50/1717.96	c       799       967   1097.42    181.51      6.05   1000000         0
1719.70/1720.16	c       880      1082   1140.11    195.44      5.83   1000000         0
1721.90/1722.33	c       839      1168   1105.60    181.21      6.10   1000000         0
1724.10/1724.52	c       759      1082   1110.68    190.11      5.84   1000000         0
1726.20/1726.70	c       816      1102   1119.65    224.28      4.99   1000000         0
1728.40/1728.87	c       858      1177   1089.18    177.95      6.12   1000000         0
1730.59/1731.05	c       832      1045   1119.52    183.61      6.10   1000000         0
1732.79/1733.23	c       799      1127   1107.71    166.90      6.64   1000000         0
1734.99/1735.40	c       846       972   1094.70    169.58      6.46   1000000         0
1737.09/1737.58	c       843      1164   1110.66    219.49      5.06   1000000         0
1739.29/1739.78	c       780      1170   1114.13    240.83      4.63   1000000         0
1741.49/1741.96	c       853      1110   1084.86    167.84      6.46   1000000         0
1743.69/1744.14	c       800      1159   1109.73    188.75      5.88   1000000         0
1745.89/1746.32	c       833       972   1093.29    215.13      5.08   1000000         0
1748.09/1748.50	c       840       974   1117.78    178.97      6.25   1000000         0
1750.19/1750.67	c       813      1070   1095.80    173.34      6.32   1000000         0
1752.39/1752.85	c       831      1092   1108.49    193.43      5.73   1000000         0
1754.59/1755.03	c       768      1032   1099.64    190.35      5.78   1000000         0
1756.79/1757.23	c       838      1095   1123.50    230.27      4.88   1000000         0
1758.99/1759.41	c       814      1027   1115.38    205.12      5.44   1000000         0
1761.09/1761.59	c       797      1095   1092.12    189.58      5.76   1000000         0
1763.29/1763.76	c       808      1004   1117.34    182.12      6.14   1000000         0
1765.49/1765.94	c       802      1140   1104.41    186.16      5.93   1000000         0
1767.69/1768.13	c       800       931   1116.06    177.20      6.30   1000000         0
1769.88/1770.31	c       782      1080   1099.26    207.65      5.29   1000000         0
1771.98/1772.48	c       775       984   1101.43    219.55      5.02   1000000         0
1774.18/1774.66	c       766      1052   1098.93    202.93      5.42   1000000         0
1776.38/1776.83	c       811      1000   1096.93    170.13      6.45   1000000         0
1778.58/1779.00	c       802      1091   1085.57    213.67      5.08   1000000         0
1780.68/1781.18	c       719      1218   1101.03    211.38      5.21   1000000         0
1782.88/1783.36	c       848      1045   1132.26    232.53      4.87   1000000         0
1785.08/1785.53	c       841      1023   1086.33    160.25      6.78   1000000         0
1787.28/1787.70	c       756      1106   1086.55    174.22      6.24   1000000         0
1789.38/1789.88	c       865      1237   1104.27    157.53      7.01   1000000         0
1791.58/1792.06	c       834      1027   1097.80    171.00      6.42   1000000         0
1793.78/1794.24	c       820      1163   1103.46    191.44      5.76   1000000         0
1795.98/1796.43	c       802      1155   1120.05    200.29      5.59   1000000         0
1798.18/1798.62	c       851      1049   1114.34    214.54      5.19   1000000         0
1800.09/1800.51	HOME/run: line 2: 18451 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-2684874-1278435350/watcher-2684874-1278435350 -o /tmp/evaluation-result-2684874-1278435350/solver-2684874-1278435350 -C 1800 -W 2000 -M 1800 run HOME/instance-2684874-1278435350.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.36 1.08 0.94 3/106 18450
/proc/meminfo: memFree=1463932/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) R 18448 18450 17984 0 -1 4202496 344 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179989397 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0

[startup+0.0997891 s]
/proc/loadavg: 1.36 1.08 0.94 3/106 18450
/proc/meminfo: memFree=1463932/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101788 s]
/proc/loadavg: 1.36 1.08 0.94 3/106 18450
/proc/meminfo: memFree=1463932/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301801 s]
/proc/loadavg: 1.36 1.08 0.94 3/106 18450
/proc/meminfo: memFree=1463932/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701825 s]
/proc/loadavg: 1.36 1.08 0.94 3/106 18450
/proc/meminfo: memFree=1463932/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50088 s]
/proc/loadavg: 1.36 1.08 0.94 2/108 18452
/proc/meminfo: memFree=1454492/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1.48
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2376 0 0 0 148 0 0 0 25 0 1 0 11742559 41422848 2305 1992294400 134512640 135071400 4292132528 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2305 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10098 s]
/proc/loadavg: 1.36 1.08 0.94 2/108 18452
/proc/meminfo: memFree=1454244/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=3.08
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2384 0 0 0 308 0 0 0 25 0 1 0 11742559 41422848 2313 1992294400 134512640 135071400 4292132528 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2313 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30118 s]
/proc/loadavg: 1.33 1.08 0.94 2/108 18452
/proc/meminfo: memFree=1454244/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=6.28
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2384 0 0 0 628 0 0 0 25 0 1 0 11742559 41422848 2313 1992294400 134512640 135071400 4292132528 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2313 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7006 s]
/proc/loadavg: 1.30 1.08 0.94 2/108 18452
/proc/meminfo: memFree=1454120/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=12.68
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 1268 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5014 s]
/proc/loadavg: 1.23 1.07 0.94 2/108 18452
/proc/meminfo: memFree=1454120/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=25.48
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 2548 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.102 s]
/proc/loadavg: 1.15 1.07 0.94 2/108 18452
/proc/meminfo: memFree=1454120/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=51.07
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 5107 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525915 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 1.06 1.05 0.94 2/108 18454
/proc/meminfo: memFree=1453872/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=102.27
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 10227 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525900 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 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.02 1.04 0.94 2/108 18456
/proc/meminfo: memFree=1453624/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=162.25
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 16225 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.302 s]
/proc/loadavg: 1.01 1.03 0.94 2/108 18458
/proc/meminfo: memFree=1453624/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=222.24
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 22224 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 0.94 2/108 18459
/proc/meminfo: memFree=1453500/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=282.22
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 28222 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526935 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 0.94 2/108 18469
/proc/meminfo: memFree=1452632/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=342.2
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 34220 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 0.94 2/108 18471
/proc/meminfo: memFree=1452632/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=402.18
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 40218 0 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 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/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1122.03
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 112202 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18492
/proc/meminfo: memFree=1451764/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1182.02
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 118201 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525568 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18493
/proc/meminfo: memFree=1451392/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1242.01
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 124200 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526179 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18495
/proc/meminfo: memFree=1451268/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1302
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 130199 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18497
/proc/meminfo: memFree=1451392/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1361.98
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 136197 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526294 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18499
/proc/meminfo: memFree=1451268/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1421.97
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 142196 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18503
/proc/meminfo: memFree=1450648/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1481.95
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 148194 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18504
/proc/meminfo: memFree=1450648/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1541.94
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 154193 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18506
/proc/meminfo: memFree=1450648/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1601.93
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 160192 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18508
/proc/meminfo: memFree=1450648/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1661.91
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 166190 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526127 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18510
/proc/meminfo: memFree=1450772/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1721.9
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 172189 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134537251 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18511
/proc/meminfo: memFree=1450524/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1781.88
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 178187 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18512
/proc/meminfo: memFree=1450524/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1800.09
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 180008 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18512
/proc/meminfo: memFree=1450524/2059040 swapFree=4192956/4192956
[pid=18450] ppid=18448 vsize=8700 CPUtime=0
/proc/18450/stat : 18450 (run) S 18448 18450 17984 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11742559 8908800 244 1992294400 4194304 4922060 140736345110752 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18450/statm: 2175 244 204 178 0 68 0
[pid=18451] ppid=18450 vsize=40452 CPUtime=1800.09
/proc/18451/stat : 18451 (PB-wave) R 18450 18450 17984 0 -1 4202496 2386 0 0 0 180008 1 0 0 25 0 1 0 11742559 41422848 2315 1992294400 134512640 135071400 4292132528 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18451/statm: 10113 2315 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1800.08
CPU system time (s): 0.023996
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2759
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= 4
involuntary context switches= 3462

runsolver used 2.85556 second user time and 8.67768 second system time

The end

Launcher Data 

Begin job on node039 at 2010-07-06 18:55:50
IDJOB=2684874
IDBENCH=73841
IDSOLVER=1171
FILE ID=node039/2684874-1278435350
PBS_JOBID= 11233443
Free space on /tmp= 62524 MiB

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

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

MD5SUM BENCH= dffa0ccdf702b378cae9eb862001c6aa
RANDOM SEED=1785889120

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1464452 kB
Buffers:        105580 kB
Cached:         356932 kB
SwapCached:          0 kB
Active:         195200 kB
Inactive:       327632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1464452 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4048 kB
Writeback:           0 kB
AnonPages:       60316 kB
Mapped:          14384 kB
Slab:            49876 kB
PageTables:       4224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180128 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62524 MiB
End job on node039 at 2010-07-06 19:25:51