Trace number 2684930

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
MD5SUM336dbbe12a18bfd6b8d34c583a70b44b
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 benchmark1480.58
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables32186
Total number of constraints107047
Number of constraints which are clauses106519
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints528
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 26
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 561
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.27	c PB-wave - v2
0.00/0.27	c command line = ./PB-wave
0.00/0.27	c seed = 123022039
0.00/0.27	c cutoff = 1000000
0.00/0.27	c tries = 1000000
0.00/0.27	c heuristic = c best, noise 50 / 100
0.00/0.27	#var 32186 #con 107047
0.00/0.27	mode is SAT
0.00/0.27	c tail starts after flip = 96558
0.00/0.27	c numatom = 32186, numclause = 107047, numliterals = 275165
0.00/0.27	c wff read in
0.00/0.27	c 
0.00/0.27	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.27	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.27	c       this      this      this      this      this      this   success   success       until         std
0.00/0.27	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.27	c
2.88/2.91	c      1107      1463   1418.98    176.58      8.04   1000000         0
5.49/5.54	c      1111      1487   1386.57    126.76     10.94   1000000         0
8.08/8.17	c      1051      1439   1379.18    146.80      9.39   1000000         0
10.78/10.81	c      1138      1525   1423.80    160.92      8.85   1000000         0
13.38/13.44	c      1134      1330   1394.81    160.68      8.68   1000000         0
15.98/16.05	c      1094      1197   1369.35    141.96      9.65   1000000         0
18.59/18.69	c      1102      1281   1389.42    115.75     12.00   1000000         0
21.28/21.34	c      1157      1432   1409.76    127.33     11.07   1000000         0
23.88/23.97	c      1091      1297   1391.90    148.12      9.40   1000000         0
26.58/26.62	c      1151      1289   1411.57    165.66      8.52   1000000         0
29.18/29.25	c      1136      1315   1400.60    139.69     10.03   1000000         0
31.78/31.90	c      1157      1391   1418.27    133.38     10.63   1000000         0
34.47/34.51	c      1122      1436   1377.66    124.80     11.04   1000000         0
37.07/37.14	c      1122      1478   1408.65    112.71     12.50   1000000         0
39.67/39.79	c      1079      1332   1395.79    167.06      8.36   1000000         0
42.37/42.43	c      1150      1371   1410.92    173.94      8.11   1000000         0
44.98/45.06	c      1054      1276   1380.06    148.36      9.30   1000000         0
47.57/47.68	c      1084      1269   1375.18    145.87      9.43   1000000         0
50.27/50.31	c      1117      1376   1397.35    142.14      9.83   1000000         0
52.87/52.96	c      1160      1311   1421.74    159.74      8.90   1000000         0
55.47/55.59	c      1078      1347   1397.01    121.83     11.47   1000000         0
58.18/58.21	c      1172      1394   1377.60    104.67     13.16   1000000         0
60.77/60.84	c      1112      1408   1378.98    129.78     10.63   1000000         0
63.37/63.46	c      1090      1496   1399.06    146.35      9.56   1000000         0
65.97/66.08	c      1104      1316   1378.21    167.19      8.24   1000000         0
68.66/68.70	c      1055      1240   1386.04    158.21      8.76   1000000         0
71.26/71.36	c      1144      1329   1406.87    160.38      8.77   1000000         0
73.96/74.00	c      1178      1345   1417.59    129.37     10.96   1000000         0
76.56/76.64	c      1154      1333   1402.69    152.72      9.18   1000000         0
79.17/79.27	c      1122      1422   1390.86    146.44      9.50   1000000         0
81.86/81.91	c      1149      1275   1413.26    141.54      9.98   1000000         0
84.46/84.54	c      1100      1326   1401.09    159.21      8.80   1000000         0
87.06/87.18	c      1124      1441   1397.03    151.63      9.21   1000000         0
89.76/89.81	c      1144      1350   1379.77    126.99     10.87   1000000         0
92.37/92.45	c      1131      1433   1403.13    141.19      9.94   1000000         0
94.96/95.09	c      1156      1206   1403.45    146.82      9.56   1000000         0
97.66/97.72	c      1105      1234   1387.12    159.20      8.71   1000000         0
100.26/100.35	c      1085      1502   1397.71    163.52      8.55   1000000         0
102.86/102.99	c      1102      1580   1388.72    154.60      8.98   1000000         0
105.56/105.62	c      1092      1491   1385.66    142.77      9.71   1000000         0
108.16/108.25	c      1135      1280   1399.63    149.15      9.38   1000000         0
110.75/110.87	c      1088      1422   1353.80    111.66     12.12   1000000         0
113.35/113.49	c      1117      1360   1383.08    164.25      8.42   1000000         0
116.05/116.12	c      1163      1321   1398.50    133.39     10.48   1000000         0
118.66/118.76	c      1133      1373   1409.89    147.64      9.55   1000000         0
121.25/121.39	c      1157      1463   1394.98    163.63      8.53   1000000         0
123.95/124.01	c      1070      1402   1387.71    145.42      9.54   1000000         0
126.55/126.64	c      1099      1439   1393.39    160.65      8.67   1000000         0
129.15/129.28	c      1004      1290   1394.64    163.98      8.50   1000000         0
131.86/131.94	c      1155      1333   1433.87    167.10      8.58   1000000         0
134.45/134.58	c      1181      1412   1409.10    150.07      9.39   1000000         0
137.15/137.20	c      1096      1439   1391.74    164.60      8.46   1000000         0
139.75/139.84	c      1124      1427   1416.77    163.82      8.65   1000000         0
142.35/142.48	c      1122      1390   1407.45    102.84     13.69   1000000         0
145.05/145.10	c      1118      1294   1372.72    143.45      9.57   1000000         0
147.64/147.74	c      1104      1511   1410.93    142.15      9.93   1000000         0
150.24/150.36	c      1126      1494   1382.67    139.44      9.92   1000000         0
152.94/153.01	c      1113      1449   1400.61    132.93     10.54   1000000         0
155.54/155.64	c      1115      1351   1403.36    142.93      9.82   1000000         0
158.14/158.28	c      1165      1438   1404.41    136.04     10.32   1000000         0
160.84/160.91	c      1126      1205   1390.44    131.68     10.56   1000000         0
163.44/163.54	c      1129      1283   1389.28    148.17      9.38   1000000         0
166.05/166.19	c      1116      1394   1417.00    185.84      7.62   1000000         0
168.75/168.83	c      1140      1220   1418.81    156.51      9.07   1000000         0
171.35/171.47	c      1119      1435   1389.14    125.73     11.05   1000000         0
173.95/174.09	c      1083      1240   1402.66    129.91     10.80   1000000         0
176.65/176.73	c      1152      1283   1406.38    140.30     10.02   1000000         0
179.25/179.36	c      1074      1428   1392.55    179.49      7.76   1000000         0
181.84/181.98	c      1143      1452   1394.03    160.33      8.69   1000000         0
184.54/184.62	c      1087      1474   1394.51    161.47      8.64   1000000         0
187.14/187.26	c      1139      1381   1404.09    140.95      9.96   1000000         0
189.84/189.90	c      1112      1336   1411.42    144.64      9.76   1000000         0
192.45/192.54	c      1143      1386   1420.34    132.55     10.72   1000000         0
195.04/195.19	c      1089      1363   1424.08    161.05      8.84   1000000         0
197.74/197.82	c      1123      1362   1395.20    136.62     10.21   1000000         0
200.34/200.44	c      1149      1252   1385.83    136.90     10.12   1000000         0
202.94/203.09	c      1100      1316   1411.02    155.03      9.10   1000000         0
205.65/205.73	c      1178      1304   1420.50    156.71      9.06   1000000         0
208.24/208.36	c      1120      1390   1386.13    130.41     10.63   1000000         0
210.94/211.00	c      1154      1373   1424.99    143.18      9.95   1000000         0
213.54/213.63	c      1102      1430   1368.39    120.34     11.37   1000000         0
216.14/216.27	c      1102      1329   1398.41    134.48     10.40   1000000         0
218.84/218.92	c      1147      1467   1418.72    147.38      9.63   1000000         0
221.43/221.55	c      1169      1445   1395.26    123.32     11.31   1000000         0
224.03/224.17	c      1082      1345   1384.61    166.34      8.32   1000000         0
226.63/226.79	c      1124      1304   1384.83    165.44      8.37   1000000         0
229.33/229.44	c      1071      1301   1418.18    150.27      9.44   1000000         0
231.94/232.08	c      1154      1382   1411.85    152.24      9.27   1000000         0
234.63/234.72	c      1190      1393   1398.99    114.22     12.25   1000000         0
237.23/237.34	c      1146      1321   1380.32    168.15      8.21   1000000         0
239.83/239.98	c      1147      1379   1400.53    181.56      7.71   1000000         0
242.53/242.61	c      1100      1231   1380.45    121.49     11.36   1000000         0
245.14/245.24	c      1134      1175   1384.19    134.56     10.29   1000000         0
247.73/247.87	c      1134      1392   1409.36    157.13      8.97   1000000         0
250.43/250.51	c      1125      1359   1400.14    147.80      9.47   1000000         0
253.03/253.14	c      1144      1300   1383.16    125.48     11.02   1000000         0
255.63/255.78	c      1082      1498   1404.64    161.92      8.68   1000000         0
258.33/258.41	c      1094      1345   1391.82    155.14      8.97   1000000         0
260.92/261.05	c      1138      1433   1417.18    150.57      9.41   1000000         0
263.52/263.69	c      1081      1423   1406.65    176.68      7.96   1000000         0
266.22/266.33	c      1117      1324   1395.89    137.54     10.15   1000000         0
268.82/268.96	c      1145      1298   1407.25    137.75     10.22   1000000         0
271.53/271.60	c      1124      1441   1403.12    179.55      7.81   1000000         0
274.12/274.23	c      1110      1317   1401.72    132.60     10.57   1000000         0
276.72/276.88	c      1097      1353   1415.18    173.64      8.15   1000000         0
279.42/279.52	c      1161      1339   1410.81    140.48     10.04   1000000         0
282.02/282.16	c      1088      1328   1383.11    136.94     10.10   1000000         0
284.62/284.79	c      1103      1455   1400.71    154.17      9.09   1000000         0
287.32/287.43	c      1061      1320   1420.25    146.63      9.69   1000000         0
289.92/290.06	c      1095      1307   1417.42    158.71      8.93   1000000         0
292.62/292.70	c      1131      1249   1408.38    140.91      9.99   1000000         0
295.22/295.34	c      1108      1584   1408.54    174.37      8.08   1000000         0
297.81/297.98	c      1057      1462   1416.20    143.45      9.87   1000000         0
300.51/300.61	c      1119      1496   1389.63    128.61     10.80   1000000         0
303.11/303.26	c      1134      1352   1408.39    145.26      9.70   1000000         0
305.81/305.91	c      1131      1313   1400.65    156.02      8.98   1000000         0
308.41/308.53	c      1060      1431   1380.68    134.86     10.24   1000000         0
311.01/311.15	c      1117      1312   1374.00    160.74      8.55   1000000         0
313.61/313.77	c      1137      1289   1378.09    145.58      9.47   1000000         0
316.21/316.39	c      1069      1266   1373.67    140.65      9.77   1000000         0
318.92/319.04	c      1116      1356   1406.33    139.87     10.05   1000000         0
321.51/321.67	c      1127      1340   1401.57    132.35     10.59   1000000         0
324.21/324.30	c      1090      1296   1380.25    141.66      9.74   1000000         0
326.81/326.94	c      1170      1346   1404.04    150.72      9.32   1000000         0
329.41/329.58	c      1155      1264   1412.81    147.41      9.58   1000000         0
332.11/332.21	c      1105      1325   1405.18    155.39      9.04   1000000         0
334.70/334.85	c      1173      1425   1408.17    138.00     10.20   1000000         0
337.30/337.49	c      1090      1269   1383.48    154.58      8.95   1000000         0
340.00/340.12	c      1096      1496   1400.82    175.99      7.96   1000000         0
342.60/342.76	c      1194      1449   1412.29    136.83     10.32   1000000         0
345.21/345.40	c      1145      1465   1414.60    122.57     11.54   1000000         0
347.90/348.03	c      1097      1372   1378.76    131.49     10.49   1000000         0
350.50/350.65	c      1037      1303   1383.30    160.91      8.60   1000000         0
353.10/353.29	c      1112      1299   1395.52    144.28      9.67   1000000         0
355.80/355.93	c      1160      1449   1413.17    163.79      8.63   1000000         0
358.40/358.55	c      1134      1305   1395.31    151.18      9.23   1000000         0
361.10/361.20	c      1155      1218   1407.23    146.11      9.63   1000000         0
363.70/363.83	c      1118      1383   1385.69    133.96     10.34   1000000         0
366.30/366.47	c      1142      1371   1401.50    157.93      8.87   1000000         0
368.89/369.09	c      1099      1353   1372.52    157.20      8.73   1000000         0
371.60/371.72	c      1079      1328   1390.03    166.51      8.35   1000000         0
374.19/374.35	c      1119      1268   1389.38    136.90     10.15   1000000         0
376.79/376.99	c      1107      1552   1420.09    155.24      9.15   1000000         0
379.49/379.63	c      1149      1484   1402.38    143.42      9.78   1000000         0
382.09/382.26	c      1147      1333   1391.97    135.03     10.31   1000000         0
384.69/384.89	c      1094      1415   1406.25    143.02      9.83   1000000         0
387.39/387.53	c      1056      1505   1406.76    166.43      8.45   1000000         0
389.99/390.18	c      1136      1384   1403.48    150.06      9.35   1000000         0
392.69/392.82	c      1163      1387   1412.75    138.01     10.24   1000000         0
395.29/395.45	c      1154      1486   1402.83    171.06      8.20   1000000         0
397.89/398.08	c      1104      1442   1390.90    138.53     10.04   1000000         0
400.59/400.73	c      1107      1279   1402.52    163.82      8.56   1000000         0
403.19/403.34	c      1071      1246   1362.32    131.23     10.38   1000000         0
405.79/405.97	c      1036      1467   1413.16    142.43      9.92   1000000         0
408.48/408.60	c      1118      1327   1383.29    138.04     10.02   1000000         0
411.08/411.24	c      1102      1341   1412.89    143.54      9.84   1000000         0
413.68/413.87	c      1109      1370   1400.21    150.38      9.31   1000000         0
416.38/416.50	c      1137      1354   1397.57    180.75      7.73   1000000         0
418.99/419.12	c      1146      1391   1381.40    115.16     12.00   1000000         0
421.58/421.77	c      1150      1254   1417.60    168.82      8.40   1000000         0
424.28/424.40	c      1121      1370   1415.15    154.55      9.16   1000000         0
426.88/427.03	c      1096      1309   1393.39    150.46      9.26   1000000         0
429.48/429.66	c      1159      1295   1398.85    124.92     11.20   1000000         0
432.19/432.31	c      1155      1242   1424.05    159.64      8.92   1000000         0
434.78/434.94	c      1101      1478   1409.57    141.39      9.97   1000000         0
437.38/437.58	c      1146      1293   1421.43    133.76     10.63   1000000         0
440.08/440.24	c      1140      1429   1429.27    179.47      7.96   1000000         0
442.68/442.86	c      1154      1381   1389.66    174.69      7.96   1000000         0
445.38/445.51	c      1135      1342   1418.05    142.29      9.97   1000000         0
447.97/448.12	c      1087      1351   1355.73    133.66     10.14   1000000         0
450.57/450.74	c      1080      1233   1389.84    142.71      9.74   1000000         0
453.17/453.37	c      1137      1358   1377.90    153.88      8.95   1000000         0
455.87/456.01	c      1121      1439   1399.40    139.89     10.00   1000000         0
458.48/458.66	c      1122      1252   1408.30    130.69     10.78   1000000         0
461.07/461.29	c      1061      1334   1406.18    155.78      9.03   1000000         0
463.77/463.94	c      1161      1413   1399.11    146.51      9.55   1000000         0
466.37/466.58	c      1170      1449   1420.04    161.78      8.78   1000000         0
469.07/469.22	c      1028      1455   1395.04    154.08      9.05   1000000         0
471.68/471.84	c      1166      1406   1419.86    102.78     13.81   1000000         0
474.27/474.48	c      1090      1396   1392.13    129.76     10.73   1000000         0
476.97/477.12	c      1123      1502   1415.23    132.81     10.66   1000000         0
479.57/479.76	c      1071      1321   1400.61    143.39      9.77   1000000         0
482.27/482.40	c      1148      1336   1420.47    149.73      9.49   1000000         0
484.87/485.02	c      1113      1344   1363.09    107.01     12.74   1000000         0
487.46/487.66	c      1138      1253   1412.55    137.59     10.27   1000000         0
490.06/490.29	c      1159      1375   1401.86    146.09      9.60   1000000         0
492.76/492.94	c      1130      1475   1404.71    157.40      8.92   1000000         0
495.36/495.57	c      1117      1382   1382.65    148.32      9.32   1000000         0
498.07/498.20	c      1125      1259   1402.75    133.61     10.50   1000000         0
500.66/500.83	c      1101      1295   1400.55    153.38      9.13   1000000         0
503.26/503.47	c      1147      1359   1402.80    142.56      9.84   1000000         0
505.96/506.11	c      1147      1400   1408.43    133.31     10.56   1000000         0
508.56/508.73	c      1104      1361   1357.97    117.67     11.54   1000000         0
511.16/511.35	c      1083      1467   1373.75    146.32      9.39   1000000         0
513.76/513.97	c      1137      1418   1378.27    102.58     13.44   1000000         0
516.46/516.61	c      1099      1390   1384.22    130.29     10.62   1000000         0
519.06/519.25	c      1071      1434   1420.91    169.28      8.39   1000000         0
521.65/521.87	c      1040      1178   1366.31    150.47      9.08   1000000         0
524.35/524.50	c      1102      1329   1415.32    163.58      8.65   1000000         0
526.95/527.15	c      1159      1455   1413.86    141.38     10.00   1000000         0
529.55/529.77	c      1133      1475   1382.25    150.89      9.16   1000000         0
532.16/532.40	c      1173      1381   1404.00    123.43     11.37   1000000         0
534.85/535.04	c      1142      1383   1412.60    157.77      8.95   1000000         0
537.45/537.66	c      1113      1346   1377.01    135.07     10.19   1000000         0
540.05/540.29	c      1130      1339   1390.52    123.28     11.28   1000000         0
542.75/542.93	c      1143      1346   1399.79    152.29      9.19   1000000         0
545.35/545.56	c      1167      1562   1399.90    141.86      9.87   1000000         0
547.95/548.19	c      1145      1311   1392.64    126.67     10.99   1000000         0
550.65/550.81	c      1095      1247   1351.71    130.00     10.40   1000000         0
553.25/553.45	c      1099      1584   1405.93    129.78     10.83   1000000         0
555.84/556.09	c      1143      1332   1399.36    140.40      9.97   1000000         0
558.55/558.72	c      1116      1380   1402.71    161.94      8.66   1000000         0
561.14/561.34	c      1130      1386   1391.92    109.12     12.76   1000000         0
563.74/563.97	c      1087      1475   1390.69    141.05      9.86   1000000         0
566.44/566.60	c      1123      1459   1399.55    138.57     10.10   1000000         0
569.04/569.24	c      1130      1369   1395.74    131.03     10.65   1000000         0
571.64/571.88	c      1148      1400   1412.92    152.19      9.28   1000000         0
574.34/574.51	c      1113      1173   1394.32    170.15      8.19   1000000         0
576.94/577.15	c      1142      1345   1422.63    124.31     11.44   1000000         0
579.55/579.78	c      1124      1432   1389.09    136.44     10.18   1000000         0
582.24/582.41	c      1096      1407   1382.72    131.81     10.49   1000000         0
584.84/585.03	c      1143      1387   1394.26    145.78      9.56   1000000         0
587.44/587.68	c      1153      1278   1398.35    157.13      8.90   1000000         0
590.14/590.31	c      1156      1261   1402.09    168.38      8.33   1000000         0
592.74/592.97	c      1187      1358   1436.96    168.57      8.52   1000000         0
595.43/595.61	c      1079      1302   1386.45    142.27      9.75   1000000         0
598.03/598.25	c      1127      1329   1397.50    139.49     10.02   1000000         0
600.63/600.89	c      1148      1409   1408.87    121.78     11.57   1000000         0
603.33/603.53	c      1115      1384   1395.78    145.09      9.62   1000000         0
605.94/606.17	c      1152      1429   1404.64    138.91     10.11   1000000         0
608.63/608.80	c      1135      1377   1404.11    126.91     11.06   1000000         0
611.23/611.44	c      1136      1376   1396.15    148.73      9.39   1000000         0
613.83/614.07	c      1171      1581   1410.42    145.73      9.68   1000000         0
616.53/616.70	c      1097      1346   1414.86    171.76      8.24   1000000         0
619.14/619.34	c      1133      1358   1414.68    139.01     10.18   1000000         0
621.73/621.97	c      1041      1372   1375.14    163.89      8.39   1000000         0
624.43/624.60	c      1123      1326   1389.48    133.67     10.39   1000000         0
627.03/627.23	c      1114      1295   1390.18    111.81     12.43   1000000         0
629.63/629.86	c      1054      1172   1402.18    158.69      8.84   1000000         0
632.23/632.49	c      1123      1470   1381.30    148.97      9.27   1000000         0
634.92/635.14	c      1142      1232   1409.21    128.24     10.99   1000000         0
637.52/637.76	c      1119      1193   1385.65    136.63     10.14   1000000         0
640.22/640.40	c      1165      1368   1414.54    152.15      9.30   1000000         0
642.82/643.03	c      1112      1203   1395.17    145.21      9.61   1000000         0
645.43/645.67	c      1127      1391   1402.71    134.17     10.45   1000000         0
648.02/648.30	c      1074      1484   1379.41    165.09      8.36   1000000         0
650.72/650.94	c      1150      1254   1399.02    117.75     11.88   1000000         0
653.32/653.57	c      1123      1369   1392.86    150.14      9.28   1000000         0
655.92/656.20	c      1154      1326   1394.53    149.86      9.31   1000000         0
658.62/658.84	c      1117      1501   1414.45    158.21      8.94   1000000         0
661.22/661.47	c      1088      1464   1393.51    159.36      8.74   1000000         0
663.92/664.11	c      1089      1584   1406.45    141.45      9.94   1000000         0
666.52/666.73	c      1124      1275   1393.53    154.34      9.03   1000000         0
669.12/669.36	c      1083      1527   1390.38    142.58      9.75   1000000         0
671.71/671.97	c      1111      1451   1359.03    133.61     10.17   1000000         0
674.41/674.61	c      1133      1363   1408.37    115.04     12.24   1000000         0
677.01/677.23	c      1105      1415   1370.89    155.34      8.83   1000000         0
679.62/679.88	c      1177      1444   1425.72    135.85     10.50   1000000         0
682.31/682.50	c      1114      1246   1389.56    138.28     10.05   1000000         0
684.91/685.12	c      1100      1373   1376.81    134.25     10.26   1000000         0
687.51/687.74	c      1108      1375   1374.06    123.58     11.12   1000000         0
690.11/690.37	c      1184      1447   1430.29    153.40      9.32   1000000         0
692.82/693.01	c      1164      1405   1396.00    111.10     12.57   1000000         0
695.41/695.64	c      1105      1412   1406.84    152.91      9.20   1000000         0
698.01/698.27	c      1078      1252   1395.52    131.72     10.59   1000000         0
700.71/700.90	c      1121      1410   1378.55    167.27      8.24   1000000         0
703.31/703.55	c      1179      1392   1415.24    140.22     10.09   1000000         0
705.91/706.19	c      1118      1419   1404.28    155.43      9.04   1000000         0
708.60/708.82	c      1096      1139   1399.82    143.03      9.79   1000000         0
711.20/711.46	c      1176      1262   1405.03    147.96      9.50   1000000         0
713.80/714.09	c      1118      1456   1406.72    142.64      9.86   1000000         0
716.50/716.71	c      1134      1481   1387.09    164.45      8.43   1000000         0
719.11/719.35	c      1093      1393   1393.38    149.86      9.30   1000000         0
721.70/721.98	c      1126      1440   1393.34    151.70      9.18   1000000         0
724.40/724.62	c      1096      1250   1398.48    139.57     10.02   1000000         0
727.00/727.28	c      1116      1321   1429.46    159.78      8.95   1000000         0
729.70/729.91	c      1071      1397   1362.72    139.68      9.76   1000000         0
732.31/732.55	c      1145      1363   1399.23    121.89     11.48   1000000         0
735.00/735.20	c      1168      1297   1409.52    127.58     11.05   1000000         0
737.60/737.82	c      1168      1408   1394.25    128.15     10.88   1000000         0
740.20/740.46	c      1111      1241   1415.66    128.33     11.03   1000000         0
742.90/743.10	c      1114      1395   1403.65    149.94      9.36   1000000         0
745.50/745.74	c      1100      1409   1401.74    184.67      7.59   1000000         0
748.10/748.38	c      1136      1401   1413.67    141.75      9.97   1000000         0
750.79/751.02	c      1162      1521   1412.42    136.80     10.32   1000000         0
753.39/753.66	c      1207      1252   1415.95    173.39      8.17   1000000         0
755.99/756.29	c      1165      1378   1403.53    139.14     10.09   1000000         0
758.70/758.93	c      1122      1418   1399.28    144.79      9.66   1000000         0
761.29/761.56	c      1146      1460   1391.10    115.17     12.08   1000000         0
763.89/764.18	c      1058      1352   1364.39    136.14     10.02   1000000         0
766.59/766.82	c      1190      1461   1411.39    132.26     10.67   1000000         0
769.19/769.46	c      1095      1495   1408.41    144.96      9.72   1000000         0
771.90/772.10	c      1198      1419   1421.52    133.08     10.68   1000000         0
774.49/774.74	c      1116      1334   1398.48    125.74     11.12   1000000         0
777.09/777.38	c      1150      1316   1400.69    138.61     10.11   1000000         0
779.79/780.01	c      1161      1525   1387.93    161.21      8.61   1000000         0
782.39/782.64	c      1099      1346   1377.90    146.16      9.43   1000000         0
784.99/785.29	c      1146      1322   1418.51    125.48     11.30   1000000         0
787.68/787.92	c      1131      1306   1396.78    153.30      9.11   1000000         0
790.28/790.55	c      1152      1352   1404.78    112.41     12.50   1000000         0
792.89/793.20	c      1130      1477   1421.20    147.36      9.64   1000000         0
795.58/795.81	c      1064      1278   1370.28    147.18      9.31   1000000         0
798.18/798.45	c      1171      1398   1421.73    166.88      8.52   1000000         0
800.78/801.09	c      1105      1499   1400.04    133.41     10.49   1000000         0
803.48/803.72	c      1083      1408   1400.91    149.69      9.36   1000000         0
806.09/806.36	c      1142      1311   1404.34    144.64      9.71   1000000         0
808.78/809.01	c      1095      1357   1429.73    155.29      9.21   1000000         0
811.38/811.64	c      1140      1453   1393.72    144.78      9.63   1000000         0
813.98/814.28	c      1094      1487   1392.10    125.68     11.08   1000000         0
816.68/816.92	c      1140      1287   1415.30    164.38      8.61   1000000         0
819.28/819.56	c      1102      1203   1383.85    110.37     12.54   1000000         0
821.88/822.20	c      1131      1367   1399.26    142.93      9.79   1000000         0
824.57/824.83	c      1126      1555   1403.13    147.06      9.54   1000000         0
827.17/827.45	c      1077      1341   1381.13    130.32     10.60   1000000         0
829.77/830.08	c      1138      1358   1394.79    147.93      9.43   1000000         0
832.48/832.72	c      1144      1388   1412.11    148.70      9.50   1000000         0
835.07/835.36	c      1143      1328   1416.21    163.02      8.69   1000000         0
837.67/837.98	c      1122      1416   1382.11    128.78     10.73   1000000         0
840.37/840.61	c      1124      1320   1377.75    114.52     12.03   1000000         0
842.97/843.25	c      1137      1509   1404.11    148.13      9.48   1000000         0
845.58/845.89	c      1095      1240   1396.02    133.66     10.44   1000000         0
848.27/848.53	c      1137      1383   1405.00    138.44     10.15   1000000         0
850.87/851.18	c      1151      1488   1424.07    159.14      8.95   1000000         0
853.57/853.80	c      1115      1263   1373.04    157.66      8.71   1000000         0
856.17/856.44	c      1126      1413   1389.33    117.26     11.85   1000000         0
858.77/859.08	c      1082      1327   1402.75    184.87      7.59   1000000         0
861.47/861.70	c      1095      1377   1388.75    140.72      9.87   1000000         0
864.06/864.34	c      1103      1350   1407.94    168.75      8.34   1000000         0
866.66/866.97	c      1113      1299   1394.37    148.74      9.37   1000000         0
869.36/869.60	c      1128      1276   1407.64    169.74      8.29   1000000         0
871.97/872.26	c      1125      1252   1427.65    176.81      8.07   1000000         0
874.56/874.89	c      1165      1294   1406.62    116.94     12.03   1000000         0
877.26/877.53	c      1164      1310   1421.57    175.56      8.10   1000000         0
879.86/880.17	c      1119      1338   1394.37    134.73     10.35   1000000         0
882.46/882.79	c      1104      1346   1381.31    126.04     10.96   1000000         0
885.17/885.42	c      1148      1339   1415.02    175.96      8.04   1000000         0
887.76/888.06	c      1150      1393   1382.97    141.94      9.74   1000000         0
890.36/890.69	c      1041      1331   1386.65    146.53      9.46   1000000         0
893.06/893.33	c      1159      1337   1441.61    129.76     11.11   1000000         0
895.66/895.97	c      1141      1397   1412.73    145.86      9.69   1000000         0
898.36/898.61	c      1105      1324   1414.78    151.96      9.31   1000000         0
900.96/901.24	c      1116      1554   1386.44    132.36     10.47   1000000         0
903.55/903.85	c      1113      1324   1349.94    124.16     10.87   1000000         0
906.16/906.47	c      1124      1420   1388.55    137.55     10.10   1000000         0
908.85/909.11	c      1150      1549   1422.37    136.95     10.39   1000000         0
911.45/911.75	c      1111      1567   1392.23    154.78      9.00   1000000         0
914.05/914.39	c      1098      1225   1414.09    174.08      8.12   1000000         0
916.75/917.03	c      1100      1307   1406.77    146.13      9.63   1000000         0
919.36/919.66	c      1123      1334   1390.09    145.32      9.57   1000000         0
921.95/922.29	c      1141      1335   1389.97    149.21      9.32   1000000         0
924.65/924.93	c      1091      1269   1395.49    143.63      9.72   1000000         0
927.25/927.57	c      1149      1346   1408.02    137.63     10.23   1000000         0
929.85/930.20	c      1070      1325   1372.97    151.22      9.08   1000000         0
932.55/932.84	c      1152      1244   1409.01    151.08      9.33   1000000         0
935.15/935.47	c      1149      1339   1417.22    118.13     12.00   1000000         0
937.85/938.10	c      1128      1414   1383.00    113.61     12.17   1000000         0
940.45/940.73	c      1065      1255   1400.50    130.74     10.71   1000000         0
943.04/943.34	c      1067      1400   1361.16    168.69      8.07   1000000         0
945.65/945.98	c      1126      1381   1408.71    149.01      9.45   1000000         0
948.34/948.61	c      1106      1350   1376.52    164.49      8.37   1000000         0
950.94/951.25	c      1099      1377   1388.69    151.84      9.15   1000000         0
953.54/953.89	c      1138      1424   1385.38    120.38     11.51   1000000         0
956.24/956.53	c      1089      1503   1391.50    133.20     10.45   1000000         0
958.85/959.17	c      1153      1360   1406.13    151.25      9.30   1000000         0
961.54/961.81	c      1108      1240   1413.32    153.43      9.21   1000000         0
964.14/964.45	c      1151      1339   1394.76    137.99     10.11   1000000         0
966.74/967.08	c      1102      1354   1394.93    117.17     11.91   1000000         0
969.44/969.70	c      1083      1301   1365.78    150.08      9.10   1000000         0
972.04/972.33	c      1106      1461   1404.92    137.10     10.25   1000000         0
974.64/974.96	c      1152      1415   1387.31    110.18     12.59   1000000         0
977.34/977.60	c      1143      1292   1388.32    117.74     11.79   1000000         0
979.94/980.24	c      1109      1393   1401.27    154.90      9.05   1000000         0
982.53/982.87	c      1021      1373   1403.37    146.49      9.58   1000000         0
985.24/985.50	c      1118      1316   1396.64    156.22      8.94   1000000         0
987.83/988.14	c      1108      1346   1401.00    135.76     10.32   1000000         0
990.43/990.78	c      1118      1348   1409.52    150.38      9.37   1000000         0
993.13/993.40	c      1112      1357   1369.70    132.48     10.34   1000000         0
995.73/996.03	c      1097      1400   1357.80    141.39      9.60   1000000         0
998.33/998.67	c      1104      1418   1411.27    152.58      9.25   1000000         0
1001.03/1001.30	c      1150      1362   1409.37    134.42     10.48   1000000         0
1003.63/1003.95	c      1143      1448   1424.51    167.44      8.51   1000000         0
1006.24/1006.57	c      1137      1394   1374.76    127.88     10.75   1000000         0
1008.93/1009.21	c      1210      1435   1431.86    125.66     11.39   1000000         0
1011.53/1011.83	c      1073      1285   1364.28    140.35      9.72   1000000         0
1014.13/1014.47	c      1131      1473   1410.79    134.09     10.52   1000000         0
1016.72/1017.09	c      1134      1310   1388.18    123.82     11.21   1000000         0
1019.43/1019.72	c      1158      1407   1400.27    166.65      8.40   1000000         0
1022.02/1022.34	c      1089      1478   1365.40    154.63      8.83   1000000         0
1024.62/1024.98	c      1094      1387   1414.45    167.03      8.47   1000000         0
1027.32/1027.63	c      1156      1474   1415.09    173.51      8.16   1000000         0
1029.92/1030.25	c      1109      1343   1368.56    141.22      9.69   1000000         0
1032.53/1032.88	c      1129      1294   1394.07    160.08      8.71   1000000         0
1035.22/1035.51	c      1144      1436   1375.65    135.24     10.17   1000000         0
1037.82/1038.14	c      1093      1350   1388.15    145.33      9.55   1000000         0
1040.42/1040.77	c      1159      1370   1407.30    141.59      9.94   1000000         0
1043.12/1043.40	c      1103      1443   1384.46    132.10     10.48   1000000         0
1045.73/1046.04	c      1125      1321   1413.63    145.49      9.72   1000000         0
1048.32/1048.67	c      1131      1252   1382.05    153.77      8.99   1000000         0
1051.02/1051.31	c      1117      1339   1397.49    155.49      8.99   1000000         0
1053.62/1053.94	c      1153      1444   1408.89    140.05     10.06   1000000         0
1056.22/1056.57	c      1125      1299   1381.34    167.69      8.24   1000000         0
1058.82/1059.19	c      1121      1435   1385.64    147.50      9.39   1000000         0
1061.51/1061.84	c      1111      1399   1400.22    161.06      8.69   1000000         0
1064.11/1064.47	c      1163      1308   1405.36    119.88     11.72   1000000         0
1066.81/1067.10	c      1099      1225   1385.43    125.82     11.01   1000000         0
1069.41/1069.73	c      1149      1311   1390.67    147.23      9.45   1000000         0
1072.01/1072.38	c      1124      1364   1401.32    139.72     10.03   1000000         0
1074.71/1075.00	c      1163      1404   1396.78    134.47     10.39   1000000         0
1077.31/1077.64	c      1175      1381   1400.96    141.27      9.92   1000000         0
1079.92/1080.27	c      1081      1374   1410.07    147.30      9.57   1000000         0
1082.61/1082.91	c      1141      1302   1404.97    157.62      8.91   1000000         0
1085.21/1085.57	c      1202      1312   1426.10    147.48      9.67   1000000         0
1087.91/1088.21	c      1152      1423   1419.56    141.22     10.05   1000000         0
1090.51/1090.84	c      1126      1256   1397.57    159.96      8.74   1000000         0
1093.11/1093.48	c      1118      1454   1405.89    171.35      8.20   1000000         0
1095.80/1096.11	c      1094      1350   1385.41    169.55      8.17   1000000         0
1098.40/1098.75	c      1098      1389   1398.85    158.72      8.81   1000000         0
1101.00/1101.39	c      1133      1291   1400.54    151.78      9.23   1000000         0
1103.70/1104.04	c      1134      1252   1419.94    135.63     10.47   1000000         0
1106.31/1106.66	c      1061      1277   1370.39    129.22     10.61   1000000         0
1109.00/1109.30	c      1120      1492   1426.10    155.92      9.15   1000000         0
1111.60/1111.93	c      1127      1339   1390.33    122.95     11.31   1000000         0
1114.20/1114.58	c      1095      1443   1414.82    175.33      8.07   1000000         0
1116.90/1117.21	c      1116      1347   1395.21    129.58     10.77   1000000         0
1119.50/1119.84	c      1043      1267   1377.94    145.18      9.49   1000000         0
1122.10/1122.47	c      1114      1345   1397.64    137.74     10.15   1000000         0
1124.80/1125.11	c      1121      1507   1397.54    153.00      9.13   1000000         0
1127.40/1127.74	c      1160      1441   1396.86    157.59      8.86   1000000         0
1130.00/1130.39	c      1115      1540   1403.50    169.10      8.30   1000000         0
1132.70/1133.02	c      1122      1481   1387.12    130.61     10.62   1000000         0
1135.29/1135.66	c      1137      1530   1415.01    158.16      8.95   1000000         0
1137.89/1138.28	c      1118      1357   1389.19    136.40     10.18   1000000         0
1140.59/1140.92	c      1144      1498   1400.44    148.80      9.41   1000000         0
1143.19/1143.54	c      1092      1308   1381.12    130.40     10.59   1000000         0
1145.80/1146.17	c      1110      1350   1378.44    128.09     10.76   1000000         0
1148.39/1148.78	c      1057      1300   1342.19    141.09      9.51   1000000         0
1151.09/1151.40	c      1122      1342   1388.57    120.31     11.54   1000000         0
1153.69/1154.04	c      1128      1167   1422.61    175.00      8.13   1000000         0
1156.29/1156.68	c      1093      1370   1403.80    150.16      9.35   1000000         0
1158.99/1159.33	c      1142      1405   1412.56    160.96      8.78   1000000         0
1161.59/1161.95	c      1090      1458   1400.55    128.89     10.87   1000000         0
1164.19/1164.58	c      1096      1267   1389.17    144.63      9.61   1000000         0
1166.89/1167.20	c      1119      1404   1385.73    155.59      8.91   1000000         0
1169.49/1169.84	c      1141      1410   1402.38    111.94     12.53   1000000         0
1172.08/1172.48	c      1172      1503   1412.47    132.03     10.70   1000000         0
1174.78/1175.12	c      1093      1413   1390.68    114.84     12.11   1000000         0
1177.38/1177.77	c      1166      1441   1425.27    120.90     11.79   1000000         0
1179.99/1180.39	c      1127      1315   1372.00    150.19      9.13   1000000         0
1182.68/1183.03	c      1108      1312   1421.87    129.34     10.99   1000000         0
1185.28/1185.67	c      1100      1167   1397.05    135.32     10.32   1000000         0
1187.98/1188.30	c      1126      1424   1416.53    169.80      8.34   1000000         0
1190.58/1190.94	c      1103      1343   1387.68    171.50      8.09   1000000         0
1193.19/1193.57	c      1072      1352   1406.01    151.73      9.27   1000000         0
1195.88/1196.20	c      1090      1331   1366.78    143.73      9.51   1000000         0
1198.48/1198.83	c      1123      1288   1389.39    168.67      8.24   1000000         0
1201.08/1201.47	c      1105      1280   1382.59    130.06     10.63   1000000         0
1203.78/1204.11	c      1118      1280   1382.39    169.02      8.18   1000000         0
1206.38/1206.73	c      1121      1406   1372.91    131.55     10.44   1000000         0
1208.97/1209.36	c      1055      1418   1401.91    168.85      8.30   1000000         0
1211.57/1212.00	c      1108      1370   1395.23    131.39     10.62   1000000         0
1214.27/1214.63	c      1138      1434   1413.17    141.53      9.99   1000000         0
1216.87/1217.27	c      1134      1224   1393.49    152.79      9.12   1000000         0
1219.58/1219.92	c      1197      1313   1428.21    132.83     10.75   1000000         0
1222.17/1222.56	c      1150      1412   1412.46    168.61      8.38   1000000         0
1224.77/1225.19	c      1102      1405   1386.12    154.23      8.99   1000000         0
1227.47/1227.85	c      1141      1476   1448.87    152.36      9.51   1000000         0
1230.07/1230.47	c      1099      1245   1375.04    135.43     10.15   1000000         0
1232.68/1233.10	c      1091      1313   1373.41    150.18      9.15   1000000         0
1235.37/1235.72	c      1105      1355   1369.80    128.78     10.64   1000000         0
1237.97/1238.36	c      1056      1374   1389.57    147.31      9.43   1000000         0
1240.57/1240.99	c      1149      1334   1403.78    130.68     10.74   1000000         0
1243.27/1243.62	c      1107      1389   1399.82    170.93      8.19   1000000         0
1245.87/1246.25	c      1115      1499   1385.01    131.66     10.52   1000000         0
1248.56/1248.90	c      1182      1482   1429.21    166.06      8.61   1000000         0
1251.16/1251.54	c      1153      1445   1394.90    132.46     10.53   1000000         0
1253.76/1254.17	c      1169      1403   1388.77    116.97     11.87   1000000         0
1256.46/1256.81	c      1168      1368   1416.57    178.15      7.95   1000000         0
1259.07/1259.45	c      1154      1297   1398.90    155.20      9.01   1000000         0
1261.66/1262.09	c      1140      1494   1398.12    150.80      9.27   1000000         0
1264.36/1264.72	c      1155      1369   1406.26    154.10      9.13   1000000         0
1266.96/1267.35	c      1098      1440   1389.18    149.06      9.32   1000000         0
1269.56/1269.98	c      1101      1381   1390.75    118.86     11.70   1000000         0
1272.26/1272.61	c      1140      1468   1398.72    118.20     11.83   1000000         0
1274.86/1275.24	c      1162      1402   1393.01    136.23     10.23   1000000         0
1277.46/1277.87	c      1131      1418   1409.86    108.76     12.96   1000000         0
1280.16/1280.51	c      1113      1437   1418.82    180.18      7.87   1000000         0
1282.75/1283.14	c      1124      1413   1401.18    126.77     11.05   1000000         0
1285.35/1285.78	c      1129      1346   1409.14    158.00      8.92   1000000         0
1288.05/1288.40	c      1150      1362   1387.07    145.03      9.56   1000000         0
1290.65/1291.03	c      1154      1349   1405.66    141.96      9.90   1000000         0
1293.26/1293.67	c      1055      1267   1390.80    154.06      9.03   1000000         0
1295.95/1296.30	c      1113      1284   1383.36    130.64     10.59   1000000         0
1298.55/1298.93	c      1084      1358   1387.73    138.61     10.01   1000000         0
1301.15/1301.56	c      1104      1394   1375.89    146.16      9.41   1000000         0
1303.85/1304.20	c      1130      1275   1386.48    151.93      9.13   1000000         0
1306.46/1306.84	c      1122      1387   1398.74    147.61      9.48   1000000         0
1309.05/1309.47	c      1157      1442   1427.79    159.63      8.94   1000000         0
1311.75/1312.11	c      1056      1400   1405.27    145.74      9.64   1000000         0
1314.35/1314.74	c      1118      1365   1394.65    128.18     10.88   1000000         0
1316.94/1317.39	c      1100      1498   1419.41    158.54      8.95   1000000         0
1319.65/1320.02	c      1116      1250   1402.04    148.27      9.46   1000000         0
1322.24/1322.66	c      1129      1433   1393.68    133.78     10.42   1000000         0
1324.84/1325.29	c      1127      1344   1407.79    169.36      8.31   1000000         0
1327.54/1327.92	c      1125      1309   1407.43    145.98      9.64   1000000         0
1330.14/1330.56	c      1085      1381   1411.20    163.54      8.63   1000000         0
1332.75/1333.19	c      1120      1344   1384.58    156.61      8.84   1000000         0
1335.44/1335.83	c      1139      1401   1404.50    163.87      8.57   1000000         0
1338.04/1338.47	c      1087      1342   1394.74    132.88     10.50   1000000         0
1340.74/1341.11	c      1081      1319   1387.98    128.14     10.83   1000000         0
1343.34/1343.75	c      1175      1292   1415.18    141.15     10.03   1000000         0
1345.95/1346.37	c      1047      1250   1372.96    138.40      9.92   1000000         0
1348.54/1348.98	c      1108      1335   1391.36    152.16      9.14   1000000         0
1351.24/1351.64	c      1170      1508   1443.36    147.60      9.78   1000000         0
1353.84/1354.26	c      1113      1213   1369.90    164.53      8.33   1000000         0
1356.44/1356.89	c      1133      1289   1386.13    138.55     10.00   1000000         0
1359.14/1359.52	c      1146      1473   1389.26    124.74     11.14   1000000         0
1361.73/1362.15	c      1149      1325   1376.84    127.75     10.78   1000000         0
1364.33/1364.78	c      1130      1270   1405.11    135.24     10.39   1000000         0
1367.03/1367.40	c      1105      1386   1386.71    152.45      9.10   1000000         0
1369.63/1370.04	c      1080      1362   1392.58    186.63      7.46   1000000         0
1372.23/1372.67	c      1100      1334   1380.41    143.55      9.62   1000000         0
1374.93/1375.30	c      1104      1408   1391.62    154.40      9.01   1000000         0
1377.53/1377.94	c      1057      1431   1403.51    158.72      8.84   1000000         0
1380.14/1380.58	c      1146      1453   1396.52    144.67      9.65   1000000         0
1382.83/1383.22	c      1071      1333   1413.01    135.47     10.43   1000000         0
1385.43/1385.86	c      1134      1307   1420.53    169.33      8.39   1000000         0
1388.13/1388.52	c      1114      1311   1420.42    175.74      8.08   1000000         0
1390.73/1391.15	c      1152      1490   1420.82    151.54      9.38   1000000         0
1393.33/1393.79	c      1097      1336   1414.41    164.73      8.59   1000000         0
1396.02/1396.43	c      1136      1234   1410.13    160.70      8.77   1000000         0
1398.62/1399.06	c      1100      1402   1379.29    139.70      9.87   1000000         0
1401.32/1401.71	c      1157      1409   1442.96    147.59      9.78   1000000         0
1403.92/1404.34	c      1050      1292   1398.37    121.38     11.52   1000000         0
1406.53/1406.98	c      1137      1412   1403.38    165.98      8.45   1000000         0
1409.22/1409.62	c      1129      1489   1409.81    151.16      9.33   1000000         0
1411.82/1412.26	c      1136      1285   1408.70    133.07     10.59   1000000         0
1414.52/1414.90	c      1091      1338   1401.51    146.36      9.58   1000000         0
1417.12/1417.52	c      1101      1373   1379.39    159.74      8.64   1000000         0
1419.72/1420.16	c      1134      1505   1392.44    123.36     11.29   1000000         0
1422.32/1422.77	c      1117      1322   1378.15    133.85     10.30   1000000         0
1424.92/1425.39	c      1104      1296   1407.52    157.72      8.92   1000000         0
1427.61/1428.02	c      1127      1223   1380.68    140.87      9.80   1000000         0
1430.21/1430.67	c      1156      1331   1413.56    148.34      9.53   1000000         0
1432.92/1433.31	c      1125      1365   1419.64    150.63      9.42   1000000         0
1435.51/1435.93	c      1043      1448   1394.86    177.10      7.88   1000000         0
1438.11/1438.57	c      1102      1300   1426.15    141.80     10.06   1000000         0
1440.81/1441.21	c      1090      1303   1400.21    127.35     10.99   1000000         0
1443.41/1443.84	c      1166      1309   1393.59    105.91     13.16   1000000         0
1446.02/1446.47	c      1116      1468   1401.18    128.70     10.89   1000000         0
1448.61/1449.09	c      1112      1378   1384.21    137.47     10.07   1000000         0
1451.31/1451.72	c      1145      1194   1385.85    116.23     11.92   1000000         0
1453.91/1454.36	c      1148      1396   1393.68    128.88     10.81   1000000         0
1456.51/1457.00	c      1097      1168   1391.80    144.88      9.61   1000000         0
1459.21/1459.63	c      1125      1339   1391.69    159.76      8.71   1000000         0
1461.81/1462.26	c      1122      1297   1393.84    159.64      8.73   1000000         0
1464.41/1464.89	c      1027      1326   1386.77    190.73      7.27   1000000         0
1467.10/1467.53	c      1170      1344   1406.31    138.00     10.19   1000000         0
1469.70/1470.15	c      1062      1266   1378.04    149.49      9.22   1000000         0
1472.30/1472.78	c      1034      1262   1393.91    145.23      9.60   1000000         0
1475.00/1475.44	c      1151      1452   1440.27    158.38      9.09   1000000         0
1477.60/1478.08	c      1081      1335   1391.61    141.67      9.82   1000000         0
1480.30/1480.71	c      1112      1233   1391.13    162.04      8.59   1000000         0
1482.90/1483.35	c      1122      1398   1388.24    140.33      9.89   1000000         0
1485.50/1485.99	c      1130      1450   1401.85    164.98      8.50   1000000         0
1488.20/1488.62	c      1121      1302   1407.62    152.02      9.26   1000000         0
1490.80/1491.27	c      1115      1353   1427.59    202.35      7.06   1000000         0
1493.50/1493.92	c      1125      1429   1407.94    157.87      8.92   1000000         0
1496.10/1496.55	c      1138      1399   1398.03    132.97     10.51   1000000         0
1498.70/1499.18	c      1136      1338   1410.73    122.82     11.49   1000000         0
1501.40/1501.82	c      1115      1475   1409.10    143.05      9.85   1000000         0
1503.99/1504.45	c      1086      1306   1380.14    130.98     10.54   1000000         0
1506.60/1507.08	c      1047      1431   1392.80    177.28      7.86   1000000         0
1509.29/1509.73	c      1183      1217   1412.40    125.17     11.28   1000000         0
1511.89/1512.37	c      1181      1302   1417.99    147.32      9.63   1000000         0
1514.49/1514.99	c      1069      1291   1388.30    169.40      8.20   1000000         0
1517.19/1517.62	c      1134      1403   1401.59    133.39     10.51   1000000         0
1519.80/1520.26	c      1149      1346   1393.59    140.09      9.95   1000000         0
1522.49/1522.90	c      1124      1509   1404.98    147.65      9.52   1000000         0
1525.09/1525.55	c      1165      1339   1435.89    146.68      9.79   1000000         0
1527.69/1528.19	c      1138      1293   1399.41    127.99     10.93   1000000         0
1530.39/1530.83	c      1118      1378   1403.87    149.83      9.37   1000000         0
1532.99/1533.45	c      1154      1212   1385.64    114.96     12.05   1000000         0
1535.69/1536.10	c      1077      1378   1408.00    151.24      9.31   1000000         0
1538.29/1538.73	c      1125      1450   1403.07    119.36     11.75   1000000         0
1540.89/1541.37	c      1157      1220   1409.87    158.15      8.91   1000000         0
1543.59/1544.00	c      1109      1356   1378.79    155.85      8.85   1000000         0
1546.19/1546.61	c      1082      1367   1365.76    142.81      9.56   1000000         0
1548.78/1549.25	c      1121      1431   1402.35    115.53     12.14   1000000         0
1551.38/1551.88	c      1126      1462   1398.25    121.49     11.51   1000000         0
1554.08/1554.50	c      1111      1490   1384.36    123.50     11.21   1000000         0
1556.68/1557.14	c      1115      1333   1414.89    149.80      9.44   1000000         0
1559.29/1559.77	c      1067      1306   1380.83    135.91     10.16   1000000         0
1561.98/1562.41	c      1112      1420   1414.50    163.50      8.65   1000000         0
1564.58/1565.05	c      1143      1353   1409.04    143.48      9.82   1000000         0
1567.18/1567.68	c      1177      1312   1411.23    127.80     11.04   1000000         0
1569.88/1570.33	c      1134      1510   1437.29    171.01      8.40   1000000         0
1572.48/1572.96	c      1101      1420   1389.52    124.61     11.15   1000000         0
1575.08/1575.59	c      1048      1473   1407.72    145.01      9.71   1000000         0
1577.78/1578.23	c      1133      1344   1404.80    155.68      9.02   1000000         0
1580.38/1580.87	c      1123      1335   1388.92    157.14      8.84   1000000         0
1583.07/1583.52	c      1080      1386   1408.27    143.61      9.81   1000000         0
1585.68/1586.15	c      1057      1451   1386.84    163.96      8.46   1000000         0
1588.27/1588.78	c      1085      1388   1383.11    144.60      9.57   1000000         0
1590.97/1591.41	c      1128      1397   1394.61    125.62     11.10   1000000         0
1593.57/1594.05	c      1103      1349   1409.30    136.27     10.34   1000000         0
1596.17/1596.68	c      1130      1182   1395.66    122.93     11.35   1000000         0
1598.88/1599.31	c      1118      1379   1391.86    138.86     10.02   1000000         0
1601.47/1601.95	c      1105      1418   1402.56    135.35     10.36   1000000         0
1604.07/1604.59	c      1128      1502   1422.80    162.39      8.76   1000000         0
1606.77/1607.23	c      1123      1345   1392.91    150.24      9.27   1000000         0
1609.37/1609.86	c      1156      1373   1402.22    143.10      9.80   1000000         0
1611.97/1612.49	c      1168      1443   1390.92    136.77     10.17   1000000         0
1614.67/1615.14	c      1120      1402   1395.67    146.23      9.54   1000000         0
1617.27/1617.79	c      1100      1433   1407.25    161.26      8.73   1000000         0
1619.97/1620.43	c      1104      1393   1396.36    162.10      8.61   1000000         0
1622.57/1623.05	c      1052      1426   1395.62    154.80      9.02   1000000         0
1625.16/1625.67	c      1110      1381   1374.38    151.28      9.09   1000000         0
1627.76/1628.28	c      1059      1314   1374.42    145.21      9.46   1000000         0
1630.46/1630.92	c      1154      1565   1417.05    165.52      8.56   1000000         0
1633.07/1633.55	c      1157      1406   1404.93    142.96      9.83   1000000         0
1635.66/1636.18	c      1128      1413   1397.15    131.83     10.60   1000000         0
1638.36/1638.82	c      1163      1366   1401.75    149.50      9.38   1000000         0
1640.96/1641.46	c      1147      1403   1407.47    157.81      8.92   1000000         0
1643.66/1644.10	c      1109      1372   1411.38    149.93      9.41   1000000         0
1646.27/1646.75	c      1146      1300   1414.00    150.79      9.38   1000000         0
1648.86/1649.38	c      1137      1343   1391.76    152.66      9.12   1000000         0
1651.56/1652.02	c      1149      1372   1406.93    137.34     10.24   1000000         0
1654.16/1654.67	c      1140      1464   1409.70    145.83      9.67   1000000         0
1656.86/1657.30	c      1126      1402   1399.64    141.31      9.90   1000000         0
1659.46/1659.94	c      1070      1374   1402.75    145.60      9.63   1000000         0
1662.05/1662.58	c      1087      1312   1396.45    139.96      9.98   1000000         0
1664.75/1665.20	c      1051      1395   1368.36    165.92      8.25   1000000         0
1667.35/1667.83	c      1176      1358   1402.35    130.39     10.75   1000000         0
1669.95/1670.46	c      1082      1470   1381.05    143.09      9.65   1000000         0
1672.66/1673.10	c      1146      1234   1393.27    152.56      9.13   1000000         0
1675.25/1675.73	c      1104      1430   1386.07    153.68      9.02   1000000         0
1677.85/1678.36	c      1098      1446   1396.30    192.18      7.27   1000000         0
1680.45/1680.98	c      1131      1439   1390.12    142.22      9.77   1000000         0
1683.15/1683.63	c      1160      1287   1412.39    161.52      8.74   1000000         0
1685.75/1686.25	c      1138      1313   1392.77    149.09      9.34   1000000         0
1688.35/1688.88	c      1110      1296   1404.50    194.79      7.21   1000000         0
1691.05/1691.52	c      1141      1410   1397.49    146.22      9.56   1000000         0
1693.64/1694.16	c      1160      1180   1413.13    156.38      9.04   1000000         0
1696.24/1696.79	c      1116      1290   1404.91    144.52      9.72   1000000         0
1698.95/1699.42	c      1140      1411   1378.45    135.44     10.18   1000000         0
1701.54/1702.05	c      1104      1229   1397.86    148.83      9.39   1000000         0
1704.14/1704.69	c      1114      1436   1410.33    132.67     10.63   1000000         0
1706.84/1707.33	c      1091      1361   1399.33    147.33      9.50   1000000         0
1709.44/1709.95	c      1135      1381   1381.19    134.86     10.24   1000000         0
1712.04/1712.60	c      1148      1471   1408.38    133.54     10.55   1000000         0
1714.74/1715.25	c      1131      1429   1428.29    143.68      9.94   1000000         0
1717.34/1717.88	c      1087      1391   1380.17    138.77      9.95   1000000         0
1720.04/1720.51	c      1109      1338   1394.22    128.02     10.89   1000000         0
1722.64/1723.13	c      1104      1284   1375.41    143.17      9.61   1000000         0
1725.24/1725.77	c      1107      1440   1419.16    128.93     11.01   1000000         0
1727.94/1728.41	c      1032      1393   1394.47    159.21      8.76   1000000         0
1730.54/1731.05	c      1091      1419   1381.10    161.42      8.56   1000000         0
1733.14/1733.67	c      1098      1277   1350.25    115.91     11.65   1000000         0
1735.83/1736.30	c      1045      1290   1381.81    128.92     10.72   1000000         0
1738.43/1738.92	c      1125      1370   1383.43    145.45      9.51   1000000         0
1741.03/1741.55	c      1100      1352   1402.48    164.37      8.53   1000000         0
1743.63/1744.17	c      1106      1404   1368.50    117.76     11.62   1000000         0
1746.35/1746.81	c      1149      1334   1393.09    133.25     10.45   1000000         0
1748.94/1749.43	c      1132      1542   1384.67    148.05      9.35   1000000         0
1751.54/1752.07	c      1090      1504   1390.00    143.73      9.67   1000000         0
1754.24/1754.72	c      1144      1386   1430.83    142.90     10.01   1000000         0
1756.84/1757.36	c      1156      1257   1401.84    146.42      9.57   1000000         0
1759.44/1760.00	c      1136      1368   1408.20    126.12     11.17   1000000         0
1762.14/1762.63	c      1074      1373   1381.07    137.59     10.04   1000000         0
1764.74/1765.26	c      1156      1492   1408.21    149.31      9.43   1000000         0
1767.44/1767.90	c      1111      1222   1393.87    153.39      9.09   1000000         0
1770.03/1770.54	c      1084      1388   1392.25    138.89     10.02   1000000         0
1772.64/1773.18	c      1108      1324   1404.30    172.66      8.13   1000000         0
1775.33/1775.81	c      1104      1209   1388.05    175.79      7.90   1000000         0
1777.93/1778.44	c      1148      1382   1393.75    152.18      9.16   1000000         0
1780.53/1781.07	c      1132      1368   1383.30    123.38     11.21   1000000         0
1783.13/1783.69	c      1137      1323   1384.55    161.56      8.57   1000000         0
1785.84/1786.34	c      1087      1426   1394.55    147.56      9.45   1000000         0
1788.43/1788.97	c      1136      1290   1387.87    157.78      8.80   1000000         0
1791.13/1791.61	c      1135      1359   1394.29    142.62      9.78   1000000         0
1793.73/1794.25	c      1161      1416   1404.41    147.02      9.55   1000000         0
1796.43/1796.91	c      1083      1243   1410.81    155.10      9.10   1000000         0
1799.03/1799.55	c      1168      1433   1415.22    133.08     10.63   1000000         0
1800.03/1800.51	HOME/run: line 2: 24761 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-2684930-1278437114/watcher-2684930-1278437114 -o /tmp/evaluation-result-2684930-1278437114/solver-2684930-1278437114 -C 1800 -W 2000 -M 1800 run HOME/instance-2684930-1278437114.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.06 1.01 1.00 3/105 24760
/proc/meminfo: memFree=1469080/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) R 24758 24760 24561 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558405013 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0

[startup+0.0273581 s]
/proc/loadavg: 1.06 1.01 1.00 3/105 24760
/proc/meminfo: memFree=1469080/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101365 s]
/proc/loadavg: 1.06 1.01 1.00 3/105 24760
/proc/meminfo: memFree=1469080/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300387 s]
/proc/loadavg: 1.06 1.01 1.00 3/105 24760
/proc/meminfo: memFree=1469080/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700429 s]
/proc/loadavg: 1.06 1.01 1.00 3/105 24760
/proc/meminfo: memFree=1469080/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50151 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 24762
/proc/meminfo: memFree=1459516/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1.48
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2431 0 0 0 148 0 0 0 25 0 1 0 11919601 41422848 2361 1992294400 134512640 135071400 4288683024 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2361 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10168 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 24762
/proc/meminfo: memFree=1459268/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=3.08
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2440 0 0 0 308 0 0 0 25 0 1 0 11919601 41422848 2370 1992294400 134512640 135071400 4288683024 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2370 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30202 s]
/proc/loadavg: 1.13 1.03 1.01 2/107 24762
/proc/meminfo: memFree=1459144/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=6.28
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2440 0 0 0 628 0 0 0 25 0 1 0 11919601 41422848 2370 1992294400 134512640 135071400 4288683024 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2370 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7017 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 24762
/proc/meminfo: memFree=1459020/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=12.68
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2440 0 0 0 1268 0 0 0 25 0 1 0 11919601 41422848 2370 1992294400 134512640 135071400 4288683024 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2370 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5011 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 24762
/proc/meminfo: memFree=1459020/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=25.48
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 2548 0 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1008 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 24763
/proc/meminfo: memFree=1458896/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=51.07
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 5107 0 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134525867 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 24765
/proc/meminfo: memFree=1458772/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=102.26
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 10226 0 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 24766
/proc/meminfo: memFree=1458648/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=162.24
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 16224 0 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134519876 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 24767
/proc/meminfo: memFree=1458524/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=222.23
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 22222 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24769
/proc/meminfo: memFree=1458524/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=282.22
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 28221 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526485 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24771
/proc/meminfo: memFree=1458524/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=342.2
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 34219 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24773
/proc/meminfo: memFree=1458524/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=402.19
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 40218 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49152

[startup+462.3 s]

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

/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1122
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 112199 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 24793
/proc/meminfo: memFree=1456912/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1181.98
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 118197 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.09 1.07 1.00 2/107 24795
/proc/meminfo: memFree=1456664/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1241.97
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 124196 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/107 24797
/proc/meminfo: memFree=1456540/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1301.96
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 130195 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.21 1.10 1.01 2/107 24798
/proc/meminfo: memFree=1456540/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1361.93
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 136192 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 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.20 1.11 1.02 2/107 24799
/proc/meminfo: memFree=1456540/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1421.92
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 142191 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 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.07 1.08 1.01 2/107 24801
/proc/meminfo: memFree=1456416/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1481.9
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 148189 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.02 1.07 1.01 2/107 24803
/proc/meminfo: memFree=1456292/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1541.89
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 154188 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 24805
/proc/meminfo: memFree=1456168/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1601.87
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 160186 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 24806
/proc/meminfo: memFree=1456044/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1661.85
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 166184 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 24807
/proc/meminfo: memFree=1455920/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1721.84
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 172183 1 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24809
/proc/meminfo: memFree=1455672/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1781.83
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 178181 2 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24810
/proc/meminfo: memFree=1455672/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1800.03
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 180001 2 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24810
/proc/meminfo: memFree=1455672/2059040 swapFree=4192956/4192956
[pid=24760] ppid=24758 vsize=8700 CPUtime=0
/proc/24760/stat : 24760 (run) S 24758 24760 24561 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11919601 8908800 244 1992294400 4194304 4922060 140735535247280 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/24760/statm: 2175 244 204 178 0 68 0
[pid=24761] ppid=24760 vsize=40452 CPUtime=1800.03
/proc/24761/stat : 24761 (PB-wave) R 24760 24760 24561 0 -1 4202496 2441 0 0 0 180001 2 0 0 25 0 1 0 11919601 41422848 2371 1992294400 134512640 135071400 4288683024 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24761/statm: 10113 2371 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2813
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 4894

runsolver used 2.87056 second user time and 8.64768 second system time

The end

Launcher Data 

Begin job on node082 at 2010-07-06 19:25:14
IDJOB=2684930
IDBENCH=73961
IDSOLVER=1171
FILE ID=node082/2684930-1278437114
PBS_JOBID= 11233480
Free space on /tmp= 62388 MiB

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

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

MD5SUM BENCH= 336dbbe12a18bfd6b8d34c583a70b44b
RANDOM SEED=1382176139

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1469600 kB
Buffers:        105608 kB
Cached:         350996 kB
SwapCached:          0 kB
Active:         181504 kB
Inactive:       334856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1469600 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4060 kB
Writeback:           0 kB
AnonPages:       59712 kB
Mapped:          14364 kB
Slab:            51312 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180980 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62384 MiB
End job on node082 at 2010-07-06 19:55:15