Trace number 2685098

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12013_1-unsat.opb
MD5SUM4ae026821d0930247b1eee2eafe8a46e
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.480926
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables29282
Total number of constraints92908
Number of constraints which are clauses92428
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint93
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 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 554
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.25	c PB-wave - v2
0.00/0.25	c command line = ./PB-wave
0.00/0.25	c seed = 94876824
0.00/0.25	c cutoff = 1000000
0.00/0.25	c tries = 1000000
0.00/0.25	c heuristic = c best, noise 50 / 100
0.00/0.25	#var 29282 #con 92908
0.00/0.25	mode is SAT
0.00/0.25	c tail starts after flip = 87846
0.00/0.25	c numatom = 29282, numclause = 92908, numliterals = 241292
0.00/0.25	c wff read in
0.00/0.25	c 
0.00/0.25	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.25	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.25	c       this      this      this      this      this      this   success   success       until         std
0.00/0.25	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.25	c
2.69/2.77	c      1022      1376   1371.23    166.09      8.26   1000000         0
5.28/5.31	c      1084      1253   1401.33    185.90      7.54   1000000         0
7.78/7.84	c      1108      1139   1392.74    189.09      7.37   1000000         0
10.28/10.36	c      1111      1293   1387.45    166.95      8.31   1000000         0
12.78/12.89	c      1102      1328   1393.78    188.58      7.39   1000000         0
15.39/15.43	c      1101      1392   1413.49    144.31      9.79   1000000         0
17.88/17.97	c      1105      1287   1409.02    157.25      8.96   1000000         0
20.38/20.48	c      1074      1362   1365.77    150.23      9.09   1000000         0
22.99/23.02	c      1155      1288   1414.88    175.76      8.05   1000000         0
25.48/25.54	c      1075      1289   1363.32    202.72      6.73   1000000         0
27.98/28.06	c      1123      1242   1382.05    152.64      9.05   1000000         0
30.48/30.59	c      1077      1460   1387.89    175.60      7.90   1000000         0
33.08/33.12	c      1072      1283   1386.40    184.45      7.52   1000000         0
35.58/35.66	c      1118      1380   1394.84    157.25      8.87   1000000         0
38.08/38.20	c      1046      1321   1414.96    192.72      7.34   1000000         0
40.68/40.73	c      1040      1437   1403.02    189.16      7.42   1000000         0
43.18/43.25	c      1073      1264   1374.46    163.70      8.40   1000000         0
45.67/45.80	c      1119      1284   1413.99    181.54      7.79   1000000         0
48.28/48.32	c      1085      1264   1361.54    171.07      7.96   1000000         0
50.77/50.85	c      1048      1466   1382.47    152.76      9.05   1000000         0
53.27/53.38	c      1100      1461   1391.88    151.60      9.18   1000000         0
55.87/55.91	c      1097      1295   1382.62    165.61      8.35   1000000         0
58.37/58.42	c      1089      1382   1352.99    172.97      7.82   1000000         0
60.87/60.95	c      1133      1332   1375.38    149.21      9.22   1000000         0
63.37/63.48	c      1123      1231   1433.08    166.37      8.61   1000000         0
65.97/66.02	c      1115      1226   1411.96    183.29      7.70   1000000         0
68.47/68.56	c      1053      1428   1408.17    190.97      7.37   1000000         0
70.97/71.09	c      1106      1305   1405.81    186.61      7.53   1000000         0
73.57/73.61	c      1116      1296   1389.85    179.81      7.73   1000000         0
76.07/76.14	c      1068      1343   1405.27    212.00      6.63   1000000         0
78.57/78.69	c      1145      1335   1417.74    167.26      8.48   1000000         0
81.16/81.22	c      1127      1398   1407.53    202.22      6.96   1000000         0
83.66/83.77	c      1132      1660   1411.21    152.56      9.25   1000000         0
86.26/86.30	c      1104      1304   1392.23    190.81      7.30   1000000         0
88.76/88.82	c      1108      1306   1381.94    181.24      7.62   1000000         0
91.27/91.36	c      1089      1309   1415.19    192.61      7.35   1000000         0
93.76/93.89	c      1096      1436   1388.62    168.63      8.23   1000000         0
96.36/96.41	c      1113      1301   1384.12    183.54      7.54   1000000         0
98.87/98.94	c      1103      1443   1397.03    176.26      7.93   1000000         0
101.36/101.46	c      1021      1484   1352.32    170.04      7.95   1000000         0
103.86/103.99	c      1045      1374   1387.65    194.71      7.13   1000000         0
106.46/106.50	c      1097      1462   1364.95    164.95      8.27   1000000         0
108.96/109.02	c      1117      1405   1400.60    219.01      6.40   1000000         0
111.46/111.56	c      1107      1533   1413.63    204.56      6.91   1000000         0
113.96/114.09	c      1092      1432   1380.30    173.42      7.96   1000000         0
116.56/116.62	c      1130      1154   1395.85    154.43      9.04   1000000         0
119.05/119.15	c      1102      1287   1397.98    201.41      6.94   1000000         0
121.56/121.69	c      1110      1302   1411.52    199.35      7.08   1000000         0
124.16/124.21	c      1045      1266   1376.51    189.09      7.28   1000000         0
126.65/126.74	c      1071      1425   1401.14    166.61      8.41   1000000         0
129.15/129.27	c      1071      1440   1380.21    186.50      7.40   1000000         0
131.65/131.79	c      1068      1364   1373.56    161.56      8.50   1000000         0
134.25/134.33	c      1081      1317   1413.85    187.53      7.54   1000000         0
136.75/136.86	c      1121      1367   1399.82    162.55      8.61   1000000         0
139.25/139.38	c      1090      1497   1356.63    143.71      9.44   1000000         0
141.86/141.90	c      1126      1477   1388.56    147.98      9.38   1000000         0
144.35/144.43	c      1083      1450   1384.19    185.03      7.48   1000000         0
146.85/146.94	c      1073      1311   1367.96    199.73      6.85   1000000         0
149.35/149.47	c      1106      1188   1394.90    164.43      8.48   1000000         0
151.95/152.02	c      1110      1449   1418.14    213.14      6.65   1000000         0
154.45/154.54	c      1074      1229   1398.38    162.77      8.59   1000000         0
156.95/157.07	c      1027      1456   1394.82    230.82      6.04   1000000         0
159.54/159.60	c      1082      1278   1380.75    206.24      6.69   1000000         0
162.05/162.12	c      1050      1395   1398.77    204.40      6.84   1000000         0
164.54/164.65	c      1071      1476   1393.06    167.74      8.31   1000000         0
167.05/167.18	c      1143      1347   1395.67    197.92      7.05   1000000         0
169.64/169.73	c      1137      1479   1400.61    189.94      7.37   1000000         0
172.14/172.27	c      1106      1249   1418.98    214.36      6.62   1000000         0
174.75/174.80	c      1074      1473   1399.40    158.82      8.81   1000000         0
177.24/177.33	c      1093      1153   1397.90    197.44      7.08   1000000         0
179.74/179.87	c      1107      1295   1381.47    155.48      8.89   1000000         0
182.24/182.39	c      1090      1197   1386.02    184.22      7.52   1000000         0
184.84/184.93	c      1074      1435   1404.49    181.44      7.74   1000000         0
187.34/187.46	c      1156      1504   1420.82    168.61      8.43   1000000         0
189.84/189.98	c      1065      1370   1371.37    154.26      8.89   1000000         0
192.44/192.52	c      1117      1380   1419.59    195.79      7.25   1000000         0
194.94/195.04	c      1047      1354   1376.89    140.56      9.80   1000000         0
197.43/197.57	c      1131      1277   1398.88    155.93      8.97   1000000         0
200.04/200.10	c      1139      1381   1377.70    138.19      9.97   1000000         0
202.53/202.64	c      1106      1302   1395.65    159.65      8.74   1000000         0
205.03/205.17	c      1041      1270   1400.04    188.82      7.41   1000000         0
207.53/207.69	c      1086      1298   1378.13    135.51     10.17   1000000         0
210.13/210.23	c      1115      1216   1412.16    203.33      6.95   1000000         0
212.63/212.75	c      1101      1397   1407.02    218.37      6.44   1000000         0
215.13/215.27	c      1051      1378   1368.18    172.67      7.92   1000000         0
217.74/217.82	c      1131      1310   1426.89    184.17      7.75   1000000         0
220.23/220.33	c      1103      1270   1362.33    162.40      8.39   1000000         0
222.73/222.87	c      1136      1404   1417.13    180.13      7.87   1000000         0
225.23/225.39	c      1070      1372   1388.27    178.27      7.79   1000000         0
227.83/227.92	c      1082      1407   1385.81    160.30      8.65   1000000         0
230.33/230.43	c      1020      1304   1357.70    188.71      7.19   1000000         0
232.83/232.97	c      1073      1353   1430.22    196.29      7.29   1000000         0
235.42/235.51	c      1149      1448   1411.65    183.41      7.70   1000000         0
237.92/238.03	c      1050      1469   1384.02    151.61      9.13   1000000         0
240.42/240.56	c      1075      1395   1394.07    171.96      8.11   1000000         0
242.93/243.08	c      1057      1272   1375.64    155.33      8.86   1000000         0
245.52/245.61	c      1133      1301   1387.08    195.01      7.11   1000000         0
248.02/248.14	c      1100      1218   1381.68    158.37      8.72   1000000         0
250.52/250.68	c      1109      1231   1402.67    209.37      6.70   1000000         0
253.12/253.22	c      1115      1316   1420.25    165.89      8.56   1000000         0
255.62/255.75	c      1108      1298   1377.19    165.56      8.32   1000000         0
258.12/258.28	c      1075      1254   1390.54    179.25      7.76   1000000         0
260.63/260.79	c      1107      1323   1370.08    156.77      8.74   1000000         0
263.22/263.34	c      1125      1490   1408.01    184.31      7.64   1000000         0
265.72/265.86	c      1083      1415   1372.48    162.80      8.43   1000000         0
268.22/268.39	c      1080      1363   1407.81    170.05      8.28   1000000         0
270.81/270.93	c      1121      1279   1405.79    192.12      7.32   1000000         0
273.31/273.45	c      1095      1361   1381.72    177.13      7.80   1000000         0
275.81/275.98	c      1103      1324   1416.95    220.75      6.42   1000000         0
278.41/278.50	c      1031      1366   1378.78    185.09      7.45   1000000         0
280.91/281.04	c      1094      1413   1419.69    217.47      6.53   1000000         0
283.41/283.59	c      1042      1519   1402.79    172.49      8.13   1000000         0
286.01/286.13	c      1146      1276   1437.63    209.76      6.85   1000000         0
288.51/288.66	c      1144      1450   1424.29    212.17      6.71   1000000         0
291.11/291.20	c      1042      1346   1408.66    178.91      7.87   1000000         0
293.62/293.73	c      1060      1465   1370.61    174.43      7.86   1000000         0
296.11/296.25	c      1087      1192   1389.09    152.58      9.10   1000000         0
298.61/298.78	c      1104      1252   1390.25    181.47      7.66   1000000         0
301.21/301.32	c      1057      1314   1395.93    183.23      7.62   1000000         0
303.71/303.86	c      1129      1353   1424.66    179.20      7.95   1000000         0
306.21/306.38	c      1066      1312   1390.77    161.02      8.64   1000000         0
308.81/308.91	c      1057      1320   1387.85    195.30      7.11   1000000         0
311.30/311.43	c      1051      1217   1376.15    184.31      7.47   1000000         0
313.80/313.96	c      1069      1376   1394.29    198.52      7.02   1000000         0
316.40/316.50	c      1075      1311   1372.88    199.84      6.87   1000000         0
318.91/319.04	c      1146      1195   1394.80    164.62      8.47   1000000         0
321.40/321.57	c      1083      1358   1403.64    200.12      7.01   1000000         0
324.00/324.11	c      1063      1528   1400.89    167.15      8.38   1000000         0
326.51/326.64	c      1086      1361   1385.30    192.77      7.19   1000000         0
329.00/329.17	c      1120      1368   1398.04    184.58      7.57   1000000         0
331.50/331.69	c      1125      1516   1379.74    177.55      7.77   1000000         0
334.10/334.22	c      1116      1132   1403.12    166.08      8.45   1000000         0
336.60/336.76	c      1093      1255   1417.01    182.07      7.78   1000000         0
339.20/339.30	c      1145      1412   1392.22    140.11      9.94   1000000         0
341.70/341.82	c      1129      1193   1380.54    161.60      8.54   1000000         0
344.20/344.36	c      1067      1308   1384.74    174.75      7.92   1000000         0
346.70/346.89	c      1120      1429   1409.27    161.83      8.71   1000000         0
349.29/349.42	c       992      1458   1385.29    176.30      7.86   1000000         0
351.80/351.94	c      1074      1200   1357.66    146.63      9.26   1000000         0
354.29/354.46	c      1097      1255   1389.12    165.56      8.39   1000000         0
356.79/357.00	c      1086      1387   1395.62    188.71      7.40   1000000         0
359.39/359.53	c      1091      1319   1399.62    191.74      7.30   1000000         0
361.89/362.07	c      1077      1478   1386.17    170.99      8.11   1000000         0
364.39/364.59	c      1093      1333   1392.33    215.17      6.47   1000000         0
366.99/367.13	c      1062      1370   1399.44    193.33      7.24   1000000         0
369.50/369.66	c      1110      1431   1402.04    175.32      8.00   1000000         0
372.09/372.20	c      1122      1358   1424.48    170.55      8.35   1000000         0
374.59/374.71	c      1121      1226   1357.45    151.49      8.96   1000000         0
377.09/377.24	c      1100      1479   1387.90    175.99      7.89   1000000         0
379.59/379.75	c      1077      1512   1373.86    173.49      7.92   1000000         0
382.09/382.28	c      1078      1411   1376.33    164.54      8.36   1000000         0
384.69/384.82	c      1103      1385   1402.98    209.55      6.70   1000000         0
387.19/387.35	c      1108      1345   1376.38    205.50      6.70   1000000         0
389.68/389.88	c      1129      1364   1406.13    217.70      6.46   1000000         0
392.28/392.41	c      1071      1229   1404.58    216.94      6.47   1000000         0
394.79/394.94	c      1109      1417   1388.15    185.76      7.47   1000000         0
397.28/397.48	c      1079      1411   1401.03    205.25      6.83   1000000         0
399.88/400.03	c      1101      1349   1395.94    192.15      7.26   1000000         0
402.39/402.56	c      1120      1324   1401.25    158.64      8.83   1000000         0
404.88/405.09	c      1099      1335   1387.75    172.61      8.04   1000000         0
407.48/407.61	c      1051      1471   1373.61    191.29      7.18   1000000         0
409.98/410.14	c      1140      1216   1404.31    193.66      7.25   1000000         0
412.48/412.68	c      1093      1337   1409.22    183.06      7.70   1000000         0
415.08/415.22	c      1122      1342   1405.94    197.12      7.13   1000000         0
417.58/417.75	c      1107      1439   1400.10    155.76      8.99   1000000         0
420.08/420.28	c      1058      1229   1393.40    161.00      8.65   1000000         0
422.68/422.81	c      1078      1408   1409.07    180.70      7.80   1000000         0
425.17/425.35	c      1151      1337   1422.38    167.09      8.51   1000000         0
427.68/427.88	c      1072      1188   1377.74    184.77      7.46   1000000         0
430.27/430.40	c      1071      1463   1378.15    171.90      8.02   1000000         0
432.77/432.93	c      1069      1280   1395.56    173.89      8.03   1000000         0
435.27/435.45	c      1054      1353   1389.34    210.52      6.60   1000000         0
437.77/437.99	c      1072      1141   1403.80    181.80      7.72   1000000         0
440.37/440.53	c      1050      1223   1401.27    221.25      6.33   1000000         0
442.87/443.07	c      1157      1507   1420.55    182.84      7.77   1000000         0
445.47/445.61	c      1098      1210   1402.98    176.96      7.93   1000000         0
447.97/448.13	c      1077      1266   1362.93    209.81      6.50   1000000         0
450.47/450.65	c      1117      1570   1382.17    155.96      8.86   1000000         0
452.97/453.18	c      1078      1182   1393.10    193.29      7.21   1000000         0
455.57/455.73	c      1095      1424   1410.22    173.47      8.13   1000000         0
458.06/458.26	c      1074      1416   1416.42    198.16      7.15   1000000         0
460.56/460.79	c      1076      1305   1376.11    140.55      9.79   1000000         0
463.16/463.33	c      1126      1275   1402.51    190.24      7.37   1000000         0
465.66/465.87	c      1071      1506   1415.27    189.74      7.46   1000000         0
468.26/468.40	c      1115      1400   1398.48    180.12      7.76   1000000         0
470.76/470.94	c      1123      1219   1409.90    191.20      7.37   1000000         0
473.26/473.47	c      1098      1447   1385.19    167.86      8.25   1000000         0
475.86/476.01	c      1068      1274   1423.37    184.33      7.72   1000000         0
478.37/478.53	c      1120      1366   1381.92    159.16      8.68   1000000         0
480.86/481.06	c      1054      1354   1402.85    182.92      7.67   1000000         0
483.36/483.60	c      1096      1241   1418.79    212.84      6.67   1000000         0
485.96/486.14	c      1053      1345   1420.34    195.45      7.27   1000000         0
488.46/488.68	c      1142      1363   1403.21    194.01      7.23   1000000         0
491.06/491.21	c      1091      1321   1394.40    158.26      8.81   1000000         0
493.55/493.74	c      1136      1178   1420.41    181.16      7.84   1000000         0
496.05/496.27	c      1134      1403   1404.15    165.46      8.49   1000000         0
498.65/498.80	c      1074      1304   1378.01    160.79      8.57   1000000         0
501.15/501.33	c      1144      1412   1391.20    159.68      8.71   1000000         0
503.66/503.85	c      1092      1194   1368.89    154.85      8.84   1000000         0
506.15/506.37	c      1040      1387   1358.28    187.95      7.23   1000000         0
508.75/508.90	c      1038      1374   1400.65    173.72      8.06   1000000         0
511.26/511.42	c      1136      1265   1377.57    147.06      9.37   1000000         0
513.75/513.95	c      1112      1441   1410.73    179.71      7.85   1000000         0
516.25/516.46	c      1097      1398   1379.79    172.78      7.99   1000000         0
518.85/519.00	c      1078      1285   1395.07    180.99      7.71   1000000         0
521.35/521.54	c      1100      1436   1414.05    212.70      6.65   1000000         0
523.85/524.07	c      1072      1316   1385.28    164.95      8.40   1000000         0
526.45/526.60	c      1037      1387   1411.66    206.16      6.85   1000000         0
528.95/529.13	c      1098      1422   1378.42    169.00      8.16   1000000         0
531.45/531.64	c      1066      1284   1354.03    160.85      8.42   1000000         0
533.94/534.17	c      1120      1366   1404.88    173.01      8.12   1000000         0
536.55/536.72	c      1138      1382   1426.82    208.91      6.83   1000000         0
539.04/539.25	c      1025      1360   1376.34    154.59      8.90   1000000         0
541.54/541.79	c      1078      1285   1410.90    180.94      7.80   1000000         0
544.15/544.33	c      1077      1427   1429.48    185.06      7.72   1000000         0
546.65/546.86	c      1080      1364   1384.77    163.81      8.45   1000000         0
549.15/549.38	c      1008      1305   1376.74    181.63      7.58   1000000         0
551.65/551.89	c      1111      1330   1362.14    150.05      9.08   1000000         0
554.25/554.42	c      1081      1463   1403.58    168.26      8.34   1000000         0
556.75/556.94	c      1016      1301   1365.70    187.32      7.29   1000000         0
559.25/559.49	c      1122      1329   1430.69    179.89      7.95   1000000         0
561.85/562.02	c      1060      1319   1389.77    176.39      7.88   1000000         0
564.34/564.54	c      1081      1395   1370.13    184.75      7.42   1000000         0
566.84/567.07	c      1053      1397   1391.83    136.27     10.21   1000000         0
569.44/569.64	c      1088      1473   1374.54    203.18      6.77   1000000         0
571.94/572.15	c      1105      1373   1374.13    176.54      7.78   1000000         0
574.44/574.69	c      1150      1342   1397.56    171.37      8.15   1000000         0
577.04/577.22	c      1070      1250   1389.43    184.82      7.52   1000000         0
579.55/579.75	c      1107      1431   1375.76    163.24      8.43   1000000         0
582.04/582.27	c      1120      1282   1379.18    174.81      7.89   1000000         0
584.54/584.78	c      1018      1321   1352.13    172.03      7.86   1000000         0
587.14/587.32	c      1086      1374   1398.44    192.88      7.25   1000000         0
589.64/589.83	c      1086      1184   1379.98    150.13      9.19   1000000         0
592.14/592.35	c      1079      1310   1372.33    157.85      8.69   1000000         0
594.63/594.87	c      1068      1602   1379.75    161.52      8.54   1000000         0
597.23/597.41	c      1076      1237   1392.40    211.32      6.59   1000000         0
599.73/599.93	c      1087      1404   1377.96    174.34      7.90   1000000         0
602.23/602.44	c      1065      1255   1371.18    157.33      8.72   1000000         0
604.74/604.97	c      1071      1410   1390.11    169.16      8.22   1000000         0
607.33/607.50	c      1085      1408   1402.11    167.57      8.37   1000000         0
609.83/610.02	c      1039      1337   1363.87    179.07      7.62   1000000         0
612.33/612.54	c      1142      1407   1399.54    164.91      8.49   1000000         0
614.83/615.07	c      1012      1567   1401.84    158.68      8.83   1000000         0
617.33/617.58	c      1046      1341   1371.38    193.74      7.08   1000000         0
619.93/620.11	c      1036      1238   1395.10    221.11      6.31   1000000         0
622.43/622.64	c      1097      1450   1401.42    180.76      7.75   1000000         0
624.93/625.18	c      1116      1487   1402.05    204.15      6.87   1000000         0
627.53/627.70	c      1074      1349   1369.75    166.42      8.23   1000000         0
630.03/630.23	c      1096      1535   1402.69    161.72      8.67   1000000         0
632.52/632.76	c      1159      1435   1403.51    166.25      8.44   1000000         0
635.02/635.28	c      1072      1376   1380.21    182.11      7.58   1000000         0
637.62/637.81	c      1114      1273   1380.26    190.41      7.25   1000000         0
640.12/640.34	c      1091      1441   1410.34    170.78      8.26   1000000         0
642.62/642.85	c      1051      1252   1367.96    179.06      7.64   1000000         0
645.12/645.39	c      1131      1465   1398.82    184.96      7.56   1000000         0
647.73/647.92	c      1113      1460   1403.04    177.79      7.89   1000000         0
650.22/650.43	c      1064      1351   1377.90    190.14      7.25   1000000         0
652.72/652.96	c      1103      1267   1404.18    196.58      7.14   1000000         0
655.32/655.50	c      1100      1391   1421.82    193.83      7.34   1000000         0
657.82/658.04	c      1118      1505   1416.80    164.49      8.61   1000000         0
660.32/660.56	c      1073      1313   1392.85    165.93      8.39   1000000         0
662.82/663.09	c      1051      1424   1401.70    186.15      7.53   1000000         0
665.41/665.62	c      1046      1464   1379.08    203.36      6.78   1000000         0
667.91/668.14	c      1119      1318   1373.86    142.04      9.67   1000000         0
670.41/670.67	c      1118      1367   1394.87    185.21      7.53   1000000         0
672.92/673.20	c      1080      1174   1398.17    170.84      8.18   1000000         0
675.51/675.72	c      1107      1385   1377.46    165.46      8.32   1000000         0
678.01/678.23	c      1018      1360   1393.24    174.76      7.97   1000000         0
680.51/680.75	c      1107      1358   1388.95    171.29      8.11   1000000         0
683.01/683.27	c      1091      1339   1408.19    189.06      7.45   1000000         0
685.51/685.80	c      1078      1402   1396.16    151.59      9.21   1000000         0
688.11/688.32	c      1035      1244   1377.69    197.94      6.96   1000000         0
690.62/690.85	c      1030      1313   1389.84    202.38      6.87   1000000         0
693.11/693.36	c      1107      1247   1361.91    138.35      9.84   1000000         0
695.71/695.90	c      1101      1251   1411.93    198.85      7.10   1000000         0
698.21/698.44	c      1140      1621   1433.30    163.56      8.76   1000000         0
700.71/700.97	c      1088      1429   1418.70    220.05      6.45   1000000         0
703.31/703.50	c      1114      1287   1403.41    171.49      8.18   1000000         0
705.80/706.03	c      1133      1248   1396.24    154.97      9.01   1000000         0
708.30/708.56	c      1059      1558   1381.37    160.44      8.61   1000000         0
710.80/711.08	c      1054      1381   1388.45    179.02      7.76   1000000         0
713.40/713.62	c      1088      1331   1399.53    168.53      8.30   1000000         0
715.91/716.15	c      1092      1318   1394.56    168.31      8.29   1000000         0
718.40/718.67	c      1160      1447   1407.92    173.62      8.11   1000000         0
721.00/721.20	c      1090      1542   1394.28    173.92      8.02   1000000         0
723.50/723.72	c      1106      1168   1397.65    167.98      8.32   1000000         0
726.00/726.25	c      1086      1397   1415.30    199.68      7.09   1000000         0
728.50/728.76	c      1068      1341   1361.27    144.52      9.42   1000000         0
730.99/731.28	c      1098      1389   1391.27    208.38      6.68   1000000         0
733.50/733.79	c      1039      1460   1375.81    198.73      6.92   1000000         0
736.09/736.31	c      1065      1384   1386.47    153.27      9.05   1000000         0
738.59/738.86	c      1088      1416   1457.56    186.89      7.80   1000000         0
741.10/741.39	c      1087      1417   1402.20    154.50      9.08   1000000         0
743.69/743.91	c      1040      1445   1384.97    216.38      6.40   1000000         0
746.19/746.42	c      1054      1438   1365.19    168.89      8.08   1000000         0
748.69/748.95	c      1027      1405   1386.29    175.74      7.89   1000000         0
751.19/751.47	c      1064      1425   1382.57    182.76      7.57   1000000         0
753.69/753.99	c      1133      1380   1396.46    169.47      8.24   1000000         0
756.29/756.50	c      1125      1306   1380.70    189.98      7.27   1000000         0
758.80/759.02	c      1077      1300   1386.34    196.31      7.06   1000000         0
761.29/761.55	c      1071      1392   1378.86    134.47     10.25   1000000         0
763.79/764.07	c      1084      1394   1397.00    142.11      9.83   1000000         0
766.39/766.60	c      1104      1281   1376.26    188.46      7.30   1000000         0
768.89/769.12	c      1028      1251   1383.65    204.07      6.78   1000000         0
771.38/771.67	c      1083      1376   1421.86    167.90      8.47   1000000         0
773.98/774.21	c      1112      1262   1416.40    197.84      7.16   1000000         0
776.48/776.74	c      1056      1269   1401.26    176.01      7.96   1000000         0
778.98/779.26	c      1065      1221   1362.07    135.93     10.02   1000000         0
781.48/781.79	c      1020      1284   1370.60    171.28      8.00   1000000         0
784.09/784.31	c      1115      1277   1395.02    212.03      6.58   1000000         0
786.58/786.83	c      1135      1189   1411.80    188.38      7.49   1000000         0
789.08/789.37	c      1098      1314   1409.65    157.60      8.94   1000000         0
791.58/791.88	c      1079      1397   1377.18    188.64      7.30   1000000         0
794.18/794.42	c      1122      1385   1404.60    168.69      8.33   1000000         0
796.68/796.95	c      1068      1378   1387.97    192.24      7.22   1000000         0
799.18/799.46	c      1081      1282   1369.96    151.97      9.01   1000000         0
801.68/801.98	c      1113      1366   1370.97    138.86      9.87   1000000         0
804.28/804.51	c      1137      1271   1386.67    152.45      9.10   1000000         0
806.78/807.04	c      1121      1497   1409.34    158.55      8.89   1000000         0
809.28/809.57	c      1028      1369   1412.69    207.53      6.81   1000000         0
811.77/812.09	c      1130      1236   1398.88    190.35      7.35   1000000         0
814.37/814.62	c      1033      1386   1391.80    244.90      5.68   1000000         0
816.87/817.14	c      1130      1350   1393.87    183.81      7.58   1000000         0
819.37/819.67	c      1096      1362   1393.31    187.94      7.41   1000000         0
821.97/822.21	c      1083      1330   1398.67    195.08      7.17   1000000         0
824.47/824.74	c      1156      1361   1406.72    172.48      8.16   1000000         0
826.98/827.27	c      1104      1265   1413.21    151.83      9.31   1000000         0
829.47/829.78	c      1108      1308   1380.76    166.18      8.31   1000000         0
832.07/832.31	c      1105      1283   1420.09    168.25      8.44   1000000         0
834.58/834.86	c      1068      1361   1426.22    230.11      6.20   1000000         0
837.07/837.38	c      1050      1633   1392.72    187.45      7.43   1000000         0
839.67/839.93	c      1117      1315   1422.33    224.47      6.34   1000000         0
842.17/842.44	c      1090      1359   1384.95    150.34      9.21   1000000         0
844.66/844.98	c      1135      1373   1421.72    209.01      6.80   1000000         0
847.16/847.49	c      1098      1272   1380.76    187.12      7.38   1000000         0
849.76/850.00	c      1093      1274   1365.02    180.46      7.56   1000000         0
852.27/852.52	c      1082      1361   1352.33    175.17      7.72   1000000         0
854.76/855.05	c      1074      1450   1384.15    176.35      7.85   1000000         0
857.26/857.56	c      1060      1487   1381.64    176.78      7.82   1000000         0
859.76/860.08	c      1053      1310   1399.64    186.18      7.52   1000000         0
862.36/862.60	c      1093      1214   1354.80    162.07      8.36   1000000         0
864.86/865.14	c      1066      1448   1385.43    181.48      7.63   1000000         0
867.36/867.66	c      1072      1326   1378.41    166.32      8.29   1000000         0
869.87/870.19	c      1110      1346   1383.01    175.84      7.87   1000000         0
872.46/872.72	c      1122      1307   1405.34    172.76      8.13   1000000         0
874.96/875.24	c      1096      1318   1409.86    200.78      7.02   1000000         0
877.46/877.77	c      1137      1316   1409.04    180.75      7.80   1000000         0
879.96/880.29	c      1066      1413   1367.55    148.38      9.22   1000000         0
882.55/882.82	c      1078      1197   1407.67    175.64      8.01   1000000         0
885.05/885.35	c      1094      1325   1407.49    225.64      6.24   1000000         0
887.65/887.91	c      1171      1227   1445.60    184.21      7.85   1000000         0
890.15/890.46	c      1122      1504   1413.43    152.82      9.25   1000000         0
892.65/892.96	c      1036      1509   1378.99    151.68      9.09   1000000         0
895.16/895.49	c      1074      1422   1401.04    160.84      8.71   1000000         0
897.75/898.02	c      1124      1283   1407.94    199.29      7.06   1000000         0
900.25/900.54	c      1107      1352   1383.62    166.86      8.29   1000000         0
902.75/903.08	c      1114      1215   1405.73    155.36      9.05   1000000         0
905.35/905.61	c      1086      1421   1385.39    187.50      7.39   1000000         0
907.85/908.15	c      1091      1422   1426.62    194.02      7.35   1000000         0
910.35/910.67	c      1089      1153   1392.05    163.84      8.50   1000000         0
912.95/913.20	c      1059      1364   1402.28    171.73      8.17   1000000         0
915.44/915.73	c      1100      1441   1389.06    220.58      6.30   1000000         0
917.95/918.26	c      1074      1439   1395.90    187.99      7.43   1000000         0
920.54/920.80	c      1092      1354   1419.90    146.27      9.71   1000000         0
923.04/923.33	c      1102      1673   1410.15    140.53     10.03   1000000         0
925.54/925.87	c      1099      1318   1399.73    193.39      7.24   1000000         0
928.05/928.39	c      1117      1442   1399.67    171.20      8.18   1000000         0
930.64/930.92	c      1087      1372   1405.27    190.87      7.36   1000000         0
933.14/933.44	c      1097      1300   1387.37    171.06      8.11   1000000         0
935.64/935.97	c      1121      1301   1388.24    181.65      7.64   1000000         0
938.14/938.48	c      1106      1338   1387.25    184.09      7.54   1000000         0
940.74/941.02	c      1111      1365   1423.93    188.97      7.54   1000000         0
943.24/943.55	c      1120      1344   1403.56    187.40      7.49   1000000         0
945.75/946.07	c      1092      1324   1395.96    171.13      8.16   1000000         0
948.24/948.59	c      1074      1479   1376.61    175.97      7.82   1000000         0
950.74/951.09	c      1045      1397   1342.29    175.34      7.66   1000000         0
953.34/953.61	c      1107      1492   1380.19    151.73      9.10   1000000         0
955.84/956.13	c      1090      1505   1399.04    180.06      7.77   1000000         0
958.34/958.66	c      1115      1508   1407.43    175.43      8.02   1000000         0
960.83/961.18	c      1088      1468   1383.63    186.48      7.42   1000000         0
963.43/963.70	c      1045      1303   1368.05    160.52      8.52   1000000         0
965.93/966.23	c      1089      1277   1396.70    181.17      7.71   1000000         0
968.43/968.74	c      1079      1215   1368.84    179.06      7.64   1000000         0
970.94/971.27	c      1079      1238   1416.14    188.03      7.53   1000000         0
973.43/973.78	c      1052      1492   1382.01    197.22      7.01   1000000         0
976.03/976.32	c      1147      1287   1418.94    187.77      7.56   1000000         0
978.53/978.85	c      1071      1226   1391.39    208.24      6.68   1000000         0
981.03/981.36	c      1090      1232   1360.32    158.73      8.57   1000000         0
983.63/983.90	c      1116      1294   1408.10    174.65      8.06   1000000         0
986.13/986.43	c      1156      1509   1435.11    174.14      8.24   1000000         0
988.63/988.96	c      1064      1386   1369.44    187.70      7.30   1000000         0
991.12/991.47	c      1054      1509   1367.37    183.96      7.43   1000000         0
993.72/994.01	c      1158      1337   1416.55    183.20      7.73   1000000         0
996.23/996.55	c      1129      1213   1425.13    224.51      6.35   1000000         0
998.72/999.08	c      1069      1269   1394.50    210.43      6.63   1000000         0
1001.22/1001.59	c      1061      1394   1361.46    168.66      8.07   1000000         0
1003.82/1004.12	c       998      1191   1379.07    206.09      6.69   1000000         0
1006.32/1006.63	c      1058      1387   1377.10    150.89      9.13   1000000         0
1008.82/1009.16	c      1158      1396   1402.44    179.15      7.83   1000000         0
1011.32/1011.69	c      1144      1435   1394.60    159.11      8.77   1000000         0
1013.93/1014.22	c      1118      1406   1392.95    160.04      8.70   1000000         0
1016.42/1016.74	c      1135      1365   1393.58    167.50      8.32   1000000         0
1018.92/1019.27	c      1165      1329   1402.09    156.83      8.94   1000000         0
1021.42/1021.78	c      1113      1246   1365.43    153.92      8.87   1000000         0
1023.92/1024.29	c      1085      1323   1356.88    141.23      9.61   1000000         0
1026.52/1026.80	c      1059      1398   1392.06    173.36      8.03   1000000         0
1029.02/1029.34	c      1124      1254   1404.84    185.02      7.59   1000000         0
1031.52/1031.86	c      1104      1366   1377.02    176.41      7.81   1000000         0
1034.01/1034.37	c      1093      1173   1382.28    151.29      9.14   1000000         0
1036.61/1036.91	c      1107      1347   1397.17    116.89     11.95   1000000         0
1039.12/1039.43	c      1116      1334   1409.35    185.15      7.61   1000000         0
1041.61/1041.98	c      1127      1277   1449.42    225.09      6.44   1000000         0
1044.21/1044.51	c      1042      1368   1371.94    181.94      7.54   1000000         0
1046.71/1047.04	c      1113      1253   1410.35    145.30      9.71   1000000         0
1049.21/1049.56	c      1066      1367   1377.03    167.41      8.23   1000000         0
1051.71/1052.07	c      1087      1365   1370.51    166.38      8.24   1000000         0
1054.21/1054.59	c      1117      1463   1404.13    174.67      8.04   1000000         0
1056.81/1057.13	c      1137      1480   1415.25    181.05      7.82   1000000         0
1059.31/1059.66	c      1071      1278   1384.98    169.00      8.20   1000000         0
1061.81/1062.18	c      1115      1392   1387.32    195.44      7.10   1000000         0
1064.31/1064.69	c      1119      1307   1403.53    157.65      8.90   1000000         0
1066.90/1067.21	c      1082      1252   1365.21    189.17      7.22   1000000         0
1069.40/1069.74	c      1111      1238   1410.56    170.26      8.28   1000000         0
1071.91/1072.26	c      1087      1385   1379.38    166.01      8.31   1000000         0
1074.41/1074.76	c      1119      1347   1352.27    159.39      8.48   1000000         0
1076.90/1077.28	c      1066      1242   1388.81    205.43      6.76   1000000         0
1079.50/1079.82	c      1081      1430   1404.46    217.14      6.47   1000000         0
1082.01/1082.32	c      1118      1396   1381.09    185.71      7.44   1000000         0
1084.49/1084.87	c      1082      1308   1395.42    194.32      7.18   1000000         0
1086.99/1087.38	c      1110      1309   1362.65    171.88      7.93   1000000         0
1089.59/1089.91	c      1068      1315   1403.92    182.07      7.71   1000000         0
1092.09/1092.43	c      1090      1480   1384.46    179.25      7.72   1000000         0
1094.59/1094.96	c      1086      1540   1415.18    190.61      7.42   1000000         0
1097.19/1097.51	c      1118      1423   1410.43    184.08      7.66   1000000         0
1099.70/1100.03	c      1134      1352   1402.88    173.46      8.09   1000000         0
1102.19/1102.56	c      1095      1393   1397.75    182.62      7.65   1000000         0
1104.79/1105.10	c      1104      1380   1397.83    148.89      9.39   1000000         0
1107.30/1107.64	c      1119      1331   1418.41    157.01      9.03   1000000         0
1109.79/1110.16	c      1157      1310   1403.17    151.71      9.25   1000000         0
1112.29/1112.69	c      1117      1386   1407.22    179.63      7.83   1000000         0
1114.89/1115.22	c      1070      1256   1404.15    189.95      7.39   1000000         0
1117.39/1117.74	c      1083      1439   1390.15    172.69      8.05   1000000         0
1119.89/1120.27	c      1117      1436   1408.21    203.16      6.93   1000000         0
1122.39/1122.80	c      1035      1301   1385.01    192.17      7.21   1000000         0
1124.99/1125.32	c      1115      1303   1408.39    186.34      7.56   1000000         0
1127.48/1127.86	c      1146      1204   1420.94    161.08      8.82   1000000         0
1130.08/1130.40	c      1102      1326   1414.85    172.69      8.19   1000000         0
1132.59/1132.92	c      1090      1384   1380.81    154.47      8.94   1000000         0
1135.08/1135.45	c      1102      1399   1397.66    164.01      8.52   1000000         0
1137.58/1137.98	c      1091      1355   1393.34    203.79      6.84   1000000         0
1140.18/1140.51	c      1088      1276   1405.08    181.78      7.73   1000000         0
1142.68/1143.03	c      1114      1166   1403.26    154.27      9.10   1000000         0
1145.18/1145.56	c      1144      1529   1395.01    202.77      6.88   1000000         0
1147.68/1148.08	c      1100      1241   1389.12    148.41      9.36   1000000         0
1150.29/1150.62	c      1125      1307   1434.50    227.65      6.30   1000000         0
1152.78/1153.14	c      1108      1278   1390.23    148.60      9.36   1000000         0
1155.28/1155.68	c      1058      1509   1425.49    212.84      6.70   1000000         0
1157.88/1158.20	c      1084      1277   1384.06    160.78      8.61   1000000         0
1160.38/1160.73	c      1097      1467   1407.56    174.85      8.05   1000000         0
1162.88/1163.26	c      1075      1376   1402.80    178.72      7.85   1000000         0
1165.37/1165.79	c      1107      1403   1390.13    146.83      9.47   1000000         0
1167.97/1168.31	c      1080      1303   1385.05    167.67      8.26   1000000         0
1170.47/1170.83	c      1059      1339   1383.42    172.67      8.01   1000000         0
1172.97/1173.35	c      1064      1343   1383.61    179.72      7.70   1000000         0
1175.48/1175.89	c      1065      1387   1418.96    168.98      8.40   1000000         0
1178.07/1178.42	c      1105      1251   1391.68    147.40      9.44   1000000         0
1180.57/1180.95	c      1121      1382   1393.42    170.57      8.17   1000000         0
1183.07/1183.48	c      1140      1266   1414.23    172.97      8.18   1000000         0
1185.67/1186.00	c      1080      1233   1378.26    196.77      7.00   1000000         0
1188.17/1188.53	c      1119      1381   1407.40    154.90      9.09   1000000         0
1190.67/1191.05	c      1180      1324   1410.72    151.85      9.29   1000000         0
1193.18/1193.58	c      1120      1343   1398.22    199.13      7.02   1000000         0
1195.77/1196.10	c      1096      1357   1408.46    191.94      7.34   1000000         0
1198.27/1198.62	c      1093      1299   1388.35    168.49      8.24   1000000         0
1200.77/1201.15	c      1123      1436   1396.89    187.20      7.46   1000000         0
1203.27/1203.69	c      1067      1180   1388.99    158.29      8.77   1000000         0
1205.86/1206.20	c      1124      1380   1375.66    160.02      8.60   1000000         0
1208.36/1208.74	c      1047      1391   1396.22    179.65      7.77   1000000         0
1210.86/1211.27	c      1105      1523   1398.69    220.31      6.35   1000000         0
1213.36/1213.79	c      1099      1379   1380.30    198.27      6.96   1000000         0
1215.96/1216.33	c      1106      1428   1434.26    178.51      8.03   1000000         0
1218.47/1218.87	c      1111      1395   1430.54    206.25      6.94   1000000         0
1221.06/1221.41	c      1120      1153   1403.88    186.91      7.51   1000000         0
1223.56/1223.94	c      1140      1325   1421.29    184.11      7.72   1000000         0
1226.07/1226.44	c      1119      1294   1373.21    166.73      8.24   1000000         0
1228.56/1228.98	c      1052      1351   1374.29    184.84      7.43   1000000         0
1231.16/1231.50	c      1128      1468   1401.95    182.48      7.68   1000000         0
1233.66/1234.01	c      1011      1278   1353.37    198.30      6.82   1000000         0
1236.16/1236.53	c      1120      1469   1391.91    181.57      7.67   1000000         0
1238.66/1239.07	c      1112      1412   1418.93    188.30      7.54   1000000         0
1241.26/1241.60	c      1120      1360   1390.50    157.39      8.83   1000000         0
1243.76/1244.14	c      1078      1163   1399.83    185.46      7.55   1000000         0
1246.25/1246.67	c      1044      1483   1408.70    201.72      6.98   1000000         0
1248.75/1249.17	c      1091      1364   1358.63    154.57      8.79   1000000         0
1251.25/1251.70	c      1068      1284   1374.50    174.74      7.87   1000000         0
1253.85/1254.22	c      1117      1195   1394.69    170.94      8.16   1000000         0
1256.35/1256.74	c      1126      1345   1403.39    173.15      8.11   1000000         0
1258.85/1259.26	c      1127      1321   1392.05    184.41      7.55   1000000         0
1261.36/1261.79	c      1093      1321   1387.29    176.92      7.84   1000000         0
1263.95/1264.31	c      1071      1374   1396.79    158.89      8.79   1000000         0
1266.45/1266.83	c      1112      1500   1405.55    164.76      8.53   1000000         0
1268.96/1269.37	c      1115      1275   1414.03    214.00      6.61   1000000         0
1271.45/1271.90	c      1104      1295   1382.09    158.30      8.73   1000000         0
1274.05/1274.43	c      1077      1307   1403.70    146.79      9.56   1000000         0
1276.55/1276.95	c      1093      1197   1391.28    176.43      7.89   1000000         0
1279.05/1279.47	c      1103      1432   1380.91    144.05      9.59   1000000         0
1281.65/1282.00	c      1081      1325   1421.52    178.77      7.95   1000000         0
1284.14/1284.53	c      1071      1261   1401.63    188.81      7.42   1000000         0
1286.65/1287.04	c      1106      1389   1393.47    160.76      8.67   1000000         0
1289.14/1289.57	c      1060      1402   1382.19    203.28      6.80   1000000         0
1291.74/1292.10	c      1133      1337   1400.95    174.56      8.03   1000000         0
1294.25/1294.61	c      1099      1284   1378.13    175.03      7.87   1000000         0
1296.74/1297.16	c      1078      1392   1441.75    208.96      6.90   1000000         0
1299.24/1299.69	c      1129      1525   1415.89    146.73      9.65   1000000         0
1301.84/1302.22	c      1071      1302   1397.99    153.58      9.10   1000000         0
1304.34/1304.75	c      1091      1295   1381.81    187.25      7.38   1000000         0
1306.84/1307.27	c      1071      1258   1388.54    187.91      7.39   1000000         0
1309.34/1309.80	c      1104      1274   1388.90    194.83      7.13   1000000         0
1311.95/1312.32	c      1054      1382   1420.49    180.54      7.87   1000000         0
1314.44/1314.84	c      1144      1295   1386.66    167.88      8.26   1000000         0
1316.94/1317.37	c      1084      1410   1391.07    185.83      7.49   1000000         0
1319.44/1319.89	c      1086      1534   1410.16    175.14      8.05   1000000         0
1322.04/1322.41	c      1099      1412   1376.70    157.22      8.76   1000000         0
1324.53/1324.94	c      1107      1262   1388.87    165.83      8.38   1000000         0
1327.03/1327.48	c      1109      1349   1400.83    180.16      7.78   1000000         0
1329.63/1330.01	c      1077      1357   1377.83    180.87      7.62   1000000         0
1332.13/1332.53	c      1107      1171   1394.78    185.25      7.53   1000000         0
1334.63/1335.07	c      1077      1318   1406.43    204.51      6.88   1000000         0
1337.14/1337.58	c      1095      1226   1388.19    195.43      7.10   1000000         0
1339.73/1340.11	c      1107      1289   1393.71    155.60      8.96   1000000         0
1342.23/1342.63	c      1026      1409   1387.19    200.45      6.92   1000000         0
1344.73/1345.17	c      1032      1359   1421.26    196.88      7.22   1000000         0
1347.33/1347.71	c      1047      1171   1420.46    185.45      7.66   1000000         0
1349.83/1350.22	c      1079      1315   1361.70    171.05      7.96   1000000         0
1352.33/1352.75	c      1144      1249   1403.78    176.87      7.94   1000000         0
1354.84/1355.28	c      1086      1350   1408.68    179.46      7.85   1000000         0
1357.43/1357.81	c      1073      1469   1394.17    181.17      7.70   1000000         0
1359.93/1360.36	c      1092      1171   1433.31    187.76      7.63   1000000         0
1362.43/1362.90	c      1151      1384   1437.65    180.37      7.97   1000000         0
1365.02/1365.43	c      1099      1435   1388.20    173.42      8.00   1000000         0
1367.52/1367.95	c      1106      1139   1399.74    215.03      6.51   1000000         0
1370.02/1370.47	c      1140      1376   1394.44    162.24      8.59   1000000         0
1372.52/1372.99	c      1108      1298   1360.01    160.49      8.47   1000000         0
1375.02/1375.49	c      1030      1267   1364.85    152.03      8.98   1000000         0
1377.62/1378.02	c      1117      1326   1417.70    179.86      7.88   1000000         0
1380.13/1380.55	c      1107      1282   1396.67    197.95      7.06   1000000         0
1382.62/1383.08	c      1062      1474   1394.95    177.80      7.85   1000000         0
1385.22/1385.60	c      1094      1315   1375.80    170.05      8.09   1000000         0
1387.73/1388.11	c      1084      1458   1372.72    144.84      9.48   1000000         0
1390.22/1390.63	c      1075      1369   1390.41    209.24      6.65   1000000         0
1392.72/1393.16	c      1066      1575   1401.70    196.66      7.13   1000000         0
1395.22/1395.67	c      1083      1292   1390.63    150.50      9.24   1000000         0
1397.72/1398.19	c      1102      1279   1366.98    164.08      8.33   1000000         0
1400.31/1400.71	c      1127      1399   1364.38    162.60      8.39   1000000         0
1402.81/1403.23	c      1068      1310   1406.44    164.87      8.53   1000000         0
1405.32/1405.75	c      1083      1334   1392.38    186.11      7.48   1000000         0
1407.81/1408.29	c      1097      1319   1410.22    157.12      8.98   1000000         0
1410.41/1410.81	c      1071      1289   1385.38    184.73      7.50   1000000         0
1412.91/1413.33	c      1102      1334   1392.31    176.90      7.87   1000000         0
1415.41/1415.86	c      1059      1339   1408.23    182.58      7.71   1000000         0
1417.91/1418.37	c      1092      1333   1364.22    163.18      8.36   1000000         0
1420.41/1420.88	c      1137      1291   1389.41    144.93      9.59   1000000         0
1422.92/1423.40	c      1075      1223   1382.48    180.77      7.65   1000000         0
1425.51/1425.91	c      1077      1317   1367.41    176.00      7.77   1000000         0
1428.01/1428.44	c      1060      1308   1395.68    198.84      7.02   1000000         0
1430.51/1430.98	c      1102      1337   1412.34    144.02      9.81   1000000         0
1433.11/1433.50	c      1101      1543   1389.93    198.24      7.01   1000000         0
1435.60/1436.01	c      1120      1220   1386.39    162.53      8.53   1000000         0
1438.10/1438.55	c      1130      1365   1417.71    202.52      7.00   1000000         0
1440.61/1441.06	c      1050      1235   1365.13    165.46      8.25   1000000         0
1443.10/1443.59	c      1075      1334   1387.95    185.36      7.49   1000000         0
1445.70/1446.11	c      1092      1341   1380.79    182.98      7.55   1000000         0
1448.21/1448.63	c      1113      1451   1381.27    184.46      7.49   1000000         0
1450.70/1451.15	c      1120      1330   1380.05    172.07      8.02   1000000         0
1453.20/1453.68	c      1064      1299   1375.87    187.70      7.33   1000000         0
1455.80/1456.22	c      1111      1289   1412.61    183.83      7.68   1000000         0
1458.30/1458.75	c      1100      1436   1405.88    164.10      8.57   1000000         0
1460.80/1461.27	c      1092      1318   1389.00    209.72      6.62   1000000         0
1463.30/1463.79	c      1077      1413   1393.15    176.36      7.90   1000000         0
1465.90/1466.30	c      1095      1314   1368.92    186.91      7.32   1000000         0
1468.40/1468.83	c      1106      1521   1392.74    144.30      9.65   1000000         0
1470.90/1471.36	c      1093      1397   1402.52    211.81      6.62   1000000         0
1473.40/1473.89	c      1090      1418   1390.04    169.58      8.20   1000000         0
1475.99/1476.41	c      1013      1306   1384.58    180.23      7.68   1000000         0
1478.49/1478.94	c      1030      1321   1391.49    169.09      8.23   1000000         0
1480.99/1481.46	c      1146      1355   1396.93    177.52      7.87   1000000         0
1483.50/1483.98	c      1136      1271   1379.18    148.95      9.26   1000000         0
1486.09/1486.50	c      1093      1236   1392.22    184.87      7.53   1000000         0
1488.59/1489.03	c      1031      1259   1420.74    170.86      8.32   1000000         0
1491.10/1491.55	c      1025      1358   1385.30    169.36      8.18   1000000         0
1493.59/1494.07	c      1100      1279   1375.55    184.64      7.45   1000000         0
1496.09/1496.59	c      1075      1294   1376.45    172.09      8.00   1000000         0
1498.69/1499.12	c      1113      1401   1410.68    194.49      7.25   1000000         0
1501.19/1501.66	c      1170      1330   1408.73    181.38      7.77   1000000         0
1503.79/1504.20	c      1038      1470   1401.05    171.42      8.17   1000000         0
1506.29/1506.72	c      1083      1347   1393.02    183.11      7.61   1000000         0
1508.79/1509.26	c      1111      1384   1406.02    150.46      9.35   1000000         0
1511.28/1511.77	c      1074      1276   1384.03    184.00      7.52   1000000         0
1513.88/1514.31	c      1076      1444   1398.78    166.01      8.43   1000000         0
1516.39/1516.84	c      1061      1360   1386.96    187.89      7.38   1000000         0
1518.88/1519.36	c      1091      1198   1394.74    165.15      8.45   1000000         0
1521.38/1521.88	c      1046      1480   1394.56    166.87      8.36   1000000         0
1523.98/1524.41	c      1078      1413   1375.93    199.85      6.88   1000000         0
1526.48/1526.92	c      1136      1313   1383.58    211.80      6.53   1000000         0
1528.98/1529.46	c      1107      1298   1423.23    172.21      8.26   1000000         0
1531.48/1531.97	c      1105      1414   1386.38    180.32      7.69   1000000         0
1533.98/1534.48	c      1091      1263   1379.94    175.66      7.86   1000000         0
1536.58/1537.02	c      1118      1398   1422.01    192.44      7.39   1000000         0
1539.08/1539.55	c      1075      1360   1393.37    217.36      6.41   1000000         0
1541.58/1542.06	c      1144      1278   1371.17    159.39      8.60   1000000         0
1544.07/1544.59	c      1043      1294   1398.06    182.14      7.68   1000000         0
1546.67/1547.11	c      1034      1371   1377.78    180.66      7.63   1000000         0
1549.17/1549.64	c      1110      1273   1423.48    200.69      7.09   1000000         0
1551.68/1552.16	c      1053      1444   1388.34    185.77      7.47   1000000         0
1554.17/1554.67	c      1074      1401   1365.17    180.65      7.56   1000000         0
1556.77/1557.22	c      1135      1464   1413.26    198.10      7.13   1000000         0
1559.28/1559.74	c      1096      1227   1387.79    208.74      6.65   1000000         0
1561.77/1562.26	c      1087      1344   1381.35    177.77      7.77   1000000         0
1564.27/1564.80	c      1130      1411   1392.63    164.31      8.48   1000000         0
1566.87/1567.32	c      1126      1305   1382.14    195.71      7.06   1000000         0
1569.37/1569.84	c      1062      1436   1376.11    189.93      7.25   1000000         0
1571.87/1572.36	c      1103      1382   1382.98    146.95      9.41   1000000         0
1574.37/1574.89	c      1068      1305   1383.63    161.54      8.57   1000000         0
1576.97/1577.41	c      1061      1318   1364.72    203.59      6.70   1000000         0
1579.46/1579.94	c      1136      1321   1401.42    148.05      9.47   1000000         0
1581.96/1582.46	c      1086      1405   1403.65    170.77      8.22   1000000         0
1584.46/1584.99	c      1097      1317   1402.40    172.80      8.12   1000000         0
1587.06/1587.51	c      1053      1288   1386.31    173.46      7.99   1000000         0
1589.56/1590.03	c      1078      1412   1376.94    176.84      7.79   1000000         0
1592.06/1592.55	c      1111      1218   1391.53    161.14      8.64   1000000         0
1594.57/1595.08	c      1014      1393   1391.17    216.35      6.43   1000000         0
1597.16/1597.60	c      1064      1378   1387.26    191.96      7.23   1000000         0
1599.66/1600.12	c      1078      1231   1388.28    181.68      7.64   1000000         0
1602.17/1602.65	c      1033      1401   1400.94    189.53      7.39   1000000         0
1604.66/1605.18	c      1066      1307   1408.10    185.16      7.60   1000000         0
1607.26/1607.70	c      1103      1369   1379.82    174.72      7.90   1000000         0
1609.76/1610.23	c      1122      1373   1388.99    150.99      9.20   1000000         0
1612.25/1612.74	c      1076      1313   1378.00    178.89      7.70   1000000         0
1614.76/1615.27	c      1105      1253   1389.62    167.57      8.29   1000000         0
1617.26/1617.79	c      1075      1414   1389.68    167.50      8.30   1000000         0
1619.86/1620.32	c      1086      1432   1388.98    197.40      7.04   1000000         0
1622.35/1622.85	c      1043      1343   1384.80    157.10      8.81   1000000         0
1624.85/1625.39	c      1088      1313   1386.15    160.16      8.65   1000000         0
1627.46/1627.92	c      1128      1435   1412.91    199.93      7.07   1000000         0
1629.95/1630.44	c      1077      1415   1386.09    158.52      8.74   1000000         0
1632.45/1632.95	c      1050      1167   1385.17    179.37      7.72   1000000         0
1634.95/1635.47	c      1086      1267   1375.88    199.51      6.90   1000000         0
1637.46/1638.00	c      1107      1274   1374.78    170.48      8.06   1000000         0
1640.05/1640.51	c      1062      1431   1385.18    177.31      7.81   1000000         0
1642.55/1643.04	c      1112      1414   1389.26    189.28      7.34   1000000         0
1645.05/1645.57	c      1040      1229   1400.71    149.42      9.37   1000000         0
1647.65/1648.10	c      1133      1371   1397.29    166.48      8.39   1000000         0
1650.15/1650.61	c      1001      1481   1378.78    177.61      7.76   1000000         0
1652.65/1653.15	c      1078      1320   1391.77    195.57      7.12   1000000         0
1655.15/1655.67	c      1045      1426   1384.03    219.42      6.31   1000000         0
1657.65/1658.18	c       993      1242   1359.06    171.62      7.92   1000000         0
1660.24/1660.70	c      1150      1302   1411.43    150.71      9.37   1000000         0
1662.75/1663.23	c      1090      1325   1393.09    187.93      7.41   1000000         0
1665.24/1665.76	c      1128      1290   1397.32    158.11      8.84   1000000         0
1667.74/1668.29	c      1093      1374   1410.49    171.57      8.22   1000000         0
1670.35/1670.82	c      1148      1422   1425.07    202.07      7.05   1000000         0
1672.84/1673.34	c      1084      1284   1379.72    160.18      8.61   1000000         0
1675.34/1675.86	c      1080      1538   1407.66    172.52      8.16   1000000         0
1677.84/1678.39	c      1062      1258   1400.22    169.35      8.27   1000000         0
1680.44/1680.91	c      1105      1358   1403.90    175.49      8.00   1000000         0
1682.94/1683.43	c      1107      1341   1362.22    147.67      9.23   1000000         0
1685.44/1685.95	c      1099      1428   1377.53    191.12      7.21   1000000         0
1687.94/1688.47	c      1038      1460   1389.30    163.36      8.50   1000000         0
1690.44/1690.99	c      1104      1269   1384.94    206.26      6.71   1000000         0
1693.04/1693.53	c      1133      1301   1401.66    169.90      8.25   1000000         0
1695.54/1696.06	c      1109      1296   1406.25    169.57      8.29   1000000         0
1698.03/1698.59	c      1096      1401   1424.08    167.61      8.50   1000000         0
1700.63/1701.12	c      1122      1382   1416.79    177.44      7.98   1000000         0
1703.13/1703.65	c      1100      1235   1388.27    163.77      8.48   1000000         0
1705.64/1706.17	c      1069      1203   1373.91    180.17      7.63   1000000         0
1708.13/1708.69	c      1012      1295   1385.62    169.42      8.18   1000000         0
1710.73/1711.23	c      1118      1307   1423.98    195.78      7.27   1000000         0
1713.24/1713.75	c      1107      1285   1383.18    147.06      9.41   1000000         0
1715.73/1716.27	c      1133      1439   1395.29    165.37      8.44   1000000         0
1718.33/1718.80	c      1114      1423   1391.56    142.08      9.79   1000000         0
1720.83/1721.32	c      1121      1302   1385.01    183.71      7.54   1000000         0
1723.33/1723.84	c      1075      1488   1388.47    170.81      8.13   1000000         0
1725.83/1726.37	c      1047      1395   1382.72    174.20      7.94   1000000         0
1728.43/1728.90	c      1109      1504   1421.04    171.47      8.29   1000000         0
1730.93/1731.43	c      1124      1355   1379.05    153.73      8.97   1000000         0
1733.42/1733.96	c      1118      1188   1360.54    156.30      8.70   1000000         0
1735.92/1736.50	c      1171      1329   1422.41    171.08      8.31   1000000         0
1738.53/1739.03	c      1078      1401   1405.26    162.89      8.63   1000000         0
1741.02/1741.55	c      1061      1265   1378.08    194.24      7.09   1000000         0
1743.52/1744.07	c      1133      1429   1392.59    123.51     11.28   1000000         0
1746.12/1746.61	c      1159      1327   1413.39    191.19      7.39   1000000         0
1748.62/1749.13	c      1048      1376   1384.18    178.06      7.77   1000000         0
1751.12/1751.66	c      1114      1243   1410.54    221.37      6.37   1000000         0
1753.72/1754.20	c      1093      1365   1389.17    165.13      8.41   1000000         0
1756.23/1756.72	c      1020      1345   1401.66    183.55      7.64   1000000         0
1758.72/1759.25	c      1079      1256   1393.32    214.94      6.48   1000000         0
1761.22/1761.77	c      1070      1270   1401.50    150.93      9.29   1000000         0
1763.82/1764.31	c      1053      1288   1388.47    181.07      7.67   1000000         0
1766.32/1766.83	c      1064      1321   1378.63    216.22      6.38   1000000         0
1768.82/1769.35	c      1111      1382   1402.80    144.01      9.74   1000000         0
1771.32/1771.86	c      1121      1336   1369.52    169.48      8.08   1000000         0
1773.82/1774.39	c      1185      1348   1395.37    149.47      9.34   1000000         0
1776.41/1776.91	c      1063      1276   1372.90    160.28      8.57   1000000         0
1778.91/1779.43	c      1116      1288   1383.36    156.70      8.83   1000000         0
1781.42/1781.97	c      1039      1372   1416.01    149.97      9.44   1000000         0
1783.91/1784.49	c      1166      1297   1380.19    145.80      9.47   1000000         0
1786.51/1787.01	c      1078      1350   1380.40    190.42      7.25   1000000         0
1789.01/1789.57	c      1187      1314   1446.81    197.22      7.34   1000000         0
1791.51/1792.07	c      1112      1242   1366.45    168.22      8.12   1000000         0
1794.01/1794.59	c      1113      1344   1391.42    181.65      7.66   1000000         0
1796.61/1797.12	c      1093      1457   1399.91    158.76      8.82   1000000         0
1799.12/1799.64	c      1120      1344   1378.38    183.15      7.53   1000000         0
1800.02/1800.51	HOME/run: line 2: 22751 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-2685098-1278439774/watcher-2685098-1278439774 -o /tmp/evaluation-result-2685098-1278439774/solver-2685098-1278439774 -C 1800 -W 2000 -M 1800 run HOME/instance-2685098-1278439774.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.79 1.99 1.71 3/106 22750
/proc/meminfo: memFree=1469844/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) R 22748 22750 22163 0 -1 4202496 344 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906286997 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0

[startup+0.083507 s]
/proc/loadavg: 1.79 1.99 1.71 3/106 22750
/proc/meminfo: memFree=1469844/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101481 s]
/proc/loadavg: 1.79 1.99 1.71 3/106 22750
/proc/meminfo: memFree=1469844/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301495 s]
/proc/loadavg: 1.79 1.99 1.71 3/106 22750
/proc/meminfo: memFree=1469844/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701522 s]
/proc/loadavg: 1.79 1.99 1.71 3/106 22750
/proc/meminfo: memFree=1469844/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50158 s]
/proc/loadavg: 1.79 1.99 1.71 2/108 22752
/proc/meminfo: memFree=1461148/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1.49
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2221 0 0 0 149 0 0 0 25 0 1 0 12188892 41422848 2150 1992294400 134512640 135071400 4289536208 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2150 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10169 s]
/proc/loadavg: 1.79 1.99 1.71 2/108 22752
/proc/meminfo: memFree=1460900/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=3.09
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 309 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30091 s]
/proc/loadavg: 1.73 1.97 1.71 2/108 22752
/proc/meminfo: memFree=1460900/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=6.28
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 628 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7014 s]
/proc/loadavg: 1.67 1.96 1.70 2/108 22752
/proc/meminfo: memFree=1460776/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=12.68
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 1268 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5012 s]
/proc/loadavg: 1.52 1.91 1.69 2/108 22753
/proc/meminfo: memFree=1460776/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=25.48
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 2548 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.101 s]
/proc/loadavg: 1.34 1.84 1.67 2/108 22753
/proc/meminfo: memFree=1460776/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=51.07
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 5107 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 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.15 1.70 1.63 2/108 22755
/proc/meminfo: memFree=1460528/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=102.27
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 10227 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 1.05 1.57 1.59 2/108 22756
/proc/meminfo: memFree=1460528/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=162.25
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 16225 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 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.02 1.47 1.55 2/108 22757
/proc/meminfo: memFree=1460404/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=222.23
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 22223 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.38 1.52 2/108 22759
/proc/meminfo: memFree=1460404/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=282.21
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 28221 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.31 1.48 2/108 22761
/proc/meminfo: memFree=1460404/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=342.2
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 34220 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134526328 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.45 2/108 22763
/proc/meminfo: memFree=1460156/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=402.18
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2230 0 0 0 40218 0 0 0 25 0 1 0 12188892 41422848 2159 1992294400 134512640 135071400 4289536208 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2159 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1121.99
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 112198 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/108 22786
/proc/meminfo: memFree=1458792/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1181.97
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 118196 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/108 22788
/proc/meminfo: memFree=1458544/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1241.96
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 124195 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/108 22790
/proc/meminfo: memFree=1458296/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1301.95
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 130194 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/108 22791
/proc/meminfo: memFree=1458296/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1361.93
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 136192 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.13 2/108 22792
/proc/meminfo: memFree=1458172/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1421.92
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 142191 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134519878 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 22794
/proc/meminfo: memFree=1458048/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1481.89
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 148188 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 22796
/proc/meminfo: memFree=1457924/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1541.88
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 154187 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 22798
/proc/meminfo: memFree=1457800/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1601.86
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 160185 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 22799
/proc/meminfo: memFree=1457800/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1661.84
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 166183 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134519716 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 22800
/proc/meminfo: memFree=1457676/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1721.83
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 172182 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134526127 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 22802
/proc/meminfo: memFree=1457428/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1781.81
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 178180 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 22803
/proc/meminfo: memFree=1457428/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1800.02
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 180001 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 22803
/proc/meminfo: memFree=1457428/2059040 swapFree=4192956/4192956
[pid=22750] ppid=22748 vsize=8700 CPUtime=0
/proc/22750/stat : 22750 (run) S 22748 22750 22163 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12188892 8908800 244 1992294400 4194304 4922060 140735958980032 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22750/statm: 2175 244 204 178 0 68 0
[pid=22751] ppid=22750 vsize=40452 CPUtime=1800.02
/proc/22751/stat : 22751 (PB-wave) R 22750 22750 22163 0 -1 4202496 2231 0 0 0 180001 1 0 0 25 0 1 0 12188892 41422848 2160 1992294400 134512640 135071400 4289536208 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22751/statm: 10113 2160 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1800.01
CPU system time (s): 0.020996
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.96455 second user time and 8.5617 second system time

The end

Launcher Data 

Begin job on node030 at 2010-07-06 20:09:34
IDJOB=2685098
IDBENCH=74540
IDSOLVER=1171
FILE ID=node030/2685098-1278439774
PBS_JOBID= 11233448
Free space on /tmp= 62504 MiB

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

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

MD5SUM BENCH= 4ae026821d0930247b1eee2eafe8a46e
RANDOM SEED=653273845

node030.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.217
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1470364 kB
Buffers:        102392 kB
Cached:         353272 kB
SwapCached:          0 kB
Active:         176564 kB
Inactive:       339256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1470364 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3812 kB
Writeback:           0 kB
AnonPages:       60100 kB
Mapped:          14484 kB
Slab:            50984 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180744 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= 62504 MiB
End job on node030 at 2010-07-06 20:39:35