Trace number 354642

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
PBS4 2007-03-23No Cert. 1800.09 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-saucier.r.opb
MD5SUMaa80468537d69826ea16800f352007ec
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1800.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables6207
Total number of constraints171
Number of constraints which are clauses171
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint5184
Number of terms in the objective function 6207
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6207
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6207
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/354642-1176721084/instance-354642-1176721084.opb ......
1.99/2.04	c done parsing opb.
1.99/2.04	o 6207
2.19/2.25	o 6206
2.40/2.46	o 6205
2.59/2.68	o 6204
2.79/2.89	o 6203
3.09/3.10	o 6202
3.29/3.31	o 6201
3.49/3.53	o 6200
3.69/3.74	o 6199
3.90/3.95	o 6198
4.09/4.16	o 6197
4.30/4.37	o 6196
4.49/4.59	o 6195
4.79/4.80	o 6194
4.99/5.01	o 6193
5.19/5.22	o 6192
5.40/5.44	o 6191
5.59/5.65	o 6190
5.79/5.86	o 6189
5.99/6.07	o 6188
6.19/6.28	o 6187
6.39/6.50	o 6186
6.69/6.71	o 6185
6.89/6.92	o 6184
7.09/7.13	o 6183
7.29/7.34	o 6182
7.49/7.55	o 6181
7.69/7.77	o 6180
7.89/7.98	o 6179
8.09/8.19	o 6178
8.39/8.40	o 6177
8.59/8.61	o 6176
8.80/8.82	o 6175
8.99/9.04	o 6174
9.19/9.25	o 6173
9.39/9.46	o 6172
9.59/9.67	o 6171
9.79/9.88	o 6170
9.99/10.09	o 6169
10.28/10.30	o 6168
10.49/10.51	o 6167
10.69/10.72	o 6166
10.90/10.93	o 6165
11.09/11.14	o 6164
11.29/11.35	o 6163
11.49/11.56	o 6162
11.69/11.77	o 6161
11.89/11.98	o 6160
12.10/12.18	o 6159
12.29/12.39	o 6158
12.59/12.60	o 6157
12.79/12.81	o 6156
12.99/13.02	o 6155
13.19/13.23	o 6154
13.39/13.44	o 6153
13.58/13.65	o 6152
13.79/13.85	o 6151
13.99/14.06	o 6150
14.19/14.27	o 6149
14.39/14.48	o 6148
14.58/14.69	o 6147
14.89/14.90	o 6146
15.08/15.11	o 6145
15.29/15.31	o 6144
15.48/15.52	o 6143
15.69/15.73	o 6142
15.89/15.94	o 6141
16.09/16.14	o 6140
16.29/16.35	o 6139
16.49/16.56	o 6138
16.69/16.77	o 6137
16.89/16.98	o 6136
17.08/17.18	o 6135
17.29/17.39	o 6134
17.49/17.60	o 6133
17.78/17.81	o 6132
17.99/18.01	o 6131
18.18/18.22	o 6130
18.38/18.43	o 6129
18.59/18.64	o 6128
18.78/18.84	o 6127
18.99/19.05	o 6126
19.18/19.26	o 6125
19.39/19.47	o 6124
19.59/19.67	o 6123
19.79/19.88	o 6122
19.99/20.09	o 6121
20.29/20.30	o 6120
20.48/20.51	o 6119
20.68/20.72	o 6118
20.89/20.93	o 6117
21.09/21.13	o 6116
21.28/21.34	o 6115
21.48/21.55	o 6114
21.69/21.76	o 6113
21.89/21.97	o 6112
22.08/22.18	o 6111
22.28/22.39	o 6110
22.59/22.60	o 6109
22.78/22.81	o 6108
22.99/23.02	o 6107
23.18/23.22	o 6106
23.39/23.43	o 6105
23.59/23.64	o 6104
23.78/23.85	o 6103
23.99/24.06	o 6102
24.19/24.27	o 6101
24.38/24.48	o 6100
24.59/24.69	o 6099
24.78/24.89	o 6098
25.09/25.10	o 6097
25.29/25.31	o 6096
25.49/25.52	o 6095
25.68/25.73	o 6094
25.89/25.94	o 6093
26.09/26.15	o 6092
26.29/26.35	o 6091
26.49/26.56	o 6090
26.68/26.77	o 6089
26.89/26.98	o 6088
27.08/27.19	o 6087
27.29/27.40	o 6086
27.59/27.60	o 6085
27.78/27.81	o 6084
27.99/28.02	o 6083
28.18/28.23	o 6082
28.38/28.44	o 6081
28.59/28.65	o 6080
28.78/28.85	o 6079
28.98/29.06	o 6078
29.19/29.27	o 6077
29.38/29.48	o 6076
29.59/29.69	o 6075
29.78/29.89	o 6074
30.09/30.10	o 6073
30.28/30.31	o 6072
30.49/30.51	o 6071
30.68/30.72	o 6070
30.88/30.92	o 6069
31.09/31.13	o 6068
31.28/31.34	o 6067
31.48/31.54	o 6066
31.69/31.75	o 6065
31.89/31.95	o 6064
32.08/32.16	o 6063
32.28/32.37	o 6062
32.48/32.57	o 6061
32.69/32.78	o 6060
32.88/32.98	o 6059
33.09/33.19	o 6058
33.28/33.40	o 6057
33.59/33.60	o 6056
33.78/33.81	o 6055
33.98/34.01	o 6054
34.19/34.22	o 6053
34.38/34.42	o 6052
34.58/34.63	o 6051
34.78/34.83	o 6050
34.98/35.04	o 6049
35.18/35.25	o 6048
35.38/35.45	o 6047
35.58/35.66	o 6046
35.78/35.86	o 6045
35.98/36.07	o 6044
36.19/36.27	o 6043
36.38/36.48	o 6042
36.59/36.68	o 6041
36.78/36.89	o 6040
36.98/37.09	o 6039
37.28/37.30	o 6038
37.48/37.50	o 6037
37.68/37.71	o 6036
37.88/37.91	o 6035
38.08/38.12	o 6034
38.28/38.32	o 6033
38.49/38.53	o 6032
38.68/38.73	o 6031
38.89/38.94	o 6030
39.08/39.14	o 6029
39.28/39.34	o 6028
39.49/39.55	o 6027
39.68/39.75	o 6026
39.89/39.96	o 6025
40.08/40.16	o 6024
40.28/40.37	o 6023
40.48/40.58	o 6022
40.69/40.78	o 6021
40.88/40.99	o 6020
41.08/41.19	o 6019
41.38/41.40	o 6018
41.58/41.61	o 6017
41.79/41.81	o 6016
41.98/42.02	o 6015
42.18/42.22	o 6014
42.38/42.43	o 6013
42.58/42.63	o 6012
42.78/42.84	o 6011
42.98/43.04	o 6010
43.18/43.25	o 6009
43.38/43.45	o 6008
43.58/43.66	o 6007
43.78/43.86	o 6006
43.98/44.07	o 6005
44.18/44.27	o 6004
44.38/44.48	o 6003
44.58/44.68	o 6002
44.78/44.89	o 6001
44.98/45.09	o 6000
45.18/45.30	o 5999
45.48/45.50	o 5998
45.68/45.71	o 5997
45.88/45.91	o 5986
46.08/46.12	o 5966
46.28/46.32	o 5965
46.48/46.52	o 5964
46.68/46.73	o 5963
46.88/46.93	o 5962
47.08/47.13	o 5961
47.28/47.34	o 5960
47.48/47.54	o 5959
47.68/47.74	o 5958
47.88/47.95	o 5957
48.08/48.15	o 5956
48.28/48.35	o 5955
48.48/48.55	o 5954
48.68/48.76	o 5953
48.88/48.96	o 5952
49.08/49.16	o 5951
49.28/49.36	o 5950
49.48/49.57	o 5949
49.68/49.77	o 5948
49.88/49.97	o 5947
50.08/50.17	o 5946
50.28/50.37	o 5945
50.48/50.57	o 5944
50.68/50.77	o 5943
50.88/50.97	o 5942
51.08/51.17	o 5941
51.27/51.38	o 5940
51.47/51.58	o 5939
51.68/51.78	o 5938
51.88/51.98	o 5937
52.07/52.18	o 5936
52.28/52.38	o 5935
52.48/52.58	o 5934
52.68/52.78	o 5887
52.88/52.98	o 5886
53.08/53.17	o 5875
53.28/53.37	o 5872
53.48/53.57	o 5871
53.68/53.77	o 5870
53.88/53.97	o 5869
54.08/54.16	o 5868
54.28/54.36	o 5867
54.47/54.56	o 5866
54.68/54.76	o 5865
54.88/54.96	o 5864
55.08/55.15	o 5863
55.28/55.35	o 5862
55.48/55.55	o 5861
55.67/55.75	o 5860
55.88/55.94	o 5859
56.08/56.14	o 5858
56.28/56.34	o 5857
56.48/56.54	o 5856
56.68/56.73	o 5855
56.87/56.93	o 5854
57.08/57.13	o 5853
57.27/57.32	o 5852
57.48/57.52	o 5851
57.67/57.72	o 5850
57.88/57.91	o 5849
58.08/58.11	o 5848
58.28/58.31	o 5847
58.48/58.50	o 5846
58.68/58.70	o 5845
58.87/58.90	o 5844
58.97/59.09	o 5843
59.17/59.29	o 5842
59.38/59.49	o 5841
59.58/59.68	o 5840
59.77/59.88	o 5839
59.98/60.08	o 5838
60.17/60.28	o 5837
60.38/60.47	o 5836
60.57/60.67	o 5835
60.78/60.80	o 3057
60.88/60.91	o 3056
60.98/61.02	o 3055
61.07/61.12	o 3054
61.18/61.23	o 3053
61.27/61.34	o 3052
61.37/61.45	o 3051
61.48/61.56	o 3050
61.58/61.66	o 3046
61.68/61.77	o 3045
61.78/61.88	o 3044
61.87/61.99	o 3043
62.07/62.10	o 3042
62.18/62.21	o 3041
62.28/62.32	o 3031
62.37/62.42	o 3030
62.48/62.53	o 3029
62.57/62.64	o 3028
62.68/62.75	o 3027
62.78/62.85	o 3026
62.87/62.96	o 3025
62.98/63.07	o 3024
63.08/63.17	o 3023
63.18/63.28	o 3022
63.27/63.39	o 3021
63.37/63.49	o 3020
63.57/63.60	o 3019
63.68/63.71	o 3018
63.78/63.81	o 3017
63.87/63.92	o 3016
63.98/64.03	o 3015
64.07/64.14	o 3014
64.17/64.24	o 3013
64.27/64.35	o 3012
64.38/64.46	o 3011
64.48/64.56	o 3010
64.57/64.67	o 3009
64.68/64.78	o 3008
64.78/64.88	o 3007
64.88/64.99	o 3006
64.97/65.09	o 3005
65.17/65.20	o 3004
65.28/65.31	o 3003
65.37/65.41	o 3002
65.47/65.52	o 3001
65.57/65.63	o 3000
65.68/65.73	o 2999
65.77/65.84	o 2998
65.88/65.95	o 2997
65.97/66.05	o 2996
66.08/66.16	o 2995
66.17/66.27	o 2994
66.28/66.37	o 2993
66.38/66.48	o 2992
66.47/66.59	o 2991
66.58/66.69	o 2990
66.77/66.80	o 2989
66.88/66.90	o 2988
66.98/67.01	o 2987
67.08/67.11	o 2986
67.17/67.22	o 2985
67.27/67.33	o 2984
67.38/67.43	o 2983
67.47/67.53	o 2982
67.57/67.64	o 2981
67.67/67.75	o 2980
67.78/67.85	o 2979
67.87/67.96	o 2978
67.97/68.06	o 2977
68.07/68.17	o 2976
68.18/68.27	o 2975
68.27/68.38	o 2974
68.38/68.49	o 2973
68.48/68.59	o 2972
68.67/68.70	o 2971
68.78/68.80	o 2970
68.88/68.91	o 2969
68.97/69.01	o 2968
69.08/69.12	o 2967
69.18/69.23	o 2966
69.28/69.33	o 2965
69.37/69.44	o 2964
69.47/69.54	o 2963
69.58/69.64	o 2962
69.67/69.75	o 2961
69.77/69.85	o 2960
69.88/69.96	o 2959
69.97/70.06	o 2958
70.07/70.17	o 2957
70.18/70.27	o 2956
70.28/70.37	o 2955
70.38/70.48	o 2954
70.47/70.58	o 2953
70.58/70.68	o 2952
70.68/70.79	o 2951
70.77/70.89	o 2950
70.88/70.99	o 2949
70.97/71.10	o 2948
71.17/71.20	o 2947
71.27/71.30	o 2946
71.37/71.41	o 2945
71.48/71.51	o 2944
71.58/71.61	o 2943
71.67/71.72	o 2942
71.78/71.82	o 2941
71.87/71.92	o 2940
71.97/72.03	o 2939
72.07/72.13	o 2938
72.17/72.23	o 2937
72.27/72.34	o 2936
72.37/72.44	o 2935
72.47/72.54	o 2934
72.58/72.65	o 2933
72.67/72.75	o 2932
72.77/72.85	o 2931
72.88/72.96	o 2930
72.97/73.06	o 2929
73.07/73.16	o 2928
73.18/73.27	o 2927
73.27/73.37	o 2926
73.38/73.47	o 2925
73.47/73.57	o 2924
73.57/73.68	o 2923
73.67/73.78	o 2922
73.77/73.88	o 2921
73.87/73.98	o 2920
73.97/74.09	o 2919
74.07/74.19	o 2918
74.17/74.29	o 2917
74.37/74.40	o 2916
74.47/74.50	o 2915
74.57/74.60	o 2914
74.67/74.71	o 2913
74.77/74.81	o 2912
74.87/74.91	o 2911
74.97/75.01	o 2910
75.07/75.12	o 2909
75.17/75.22	o 2908
75.27/75.32	o 2907
75.37/75.42	o 2906
75.47/75.52	o 2905
75.57/75.63	o 2904
75.67/75.73	o 2903
75.78/75.83	o 2902
75.87/75.93	o 2901
75.97/76.04	o 2900
76.07/76.14	o 2899
76.17/76.24	o 2898
76.28/76.34	o 2897
76.37/76.44	o 2896
76.47/76.55	o 2895
76.57/76.65	o 2894
76.67/76.75	o 2893
76.78/76.85	o 2892
76.87/76.95	o 2891
76.98/77.05	o 2890
77.07/77.16	o 2889
77.17/77.26	o 2888
77.27/77.36	o 2887
77.37/77.46	o 2886
77.47/77.56	o 2885
77.57/77.66	o 2884
77.67/77.76	o 2883
77.77/77.87	o 2882
77.87/77.97	o 2881
77.98/78.07	o 2880
78.07/78.17	o 2879
78.17/78.27	o 2878
78.27/78.37	o 2877
78.37/78.47	o 2876
78.47/78.57	o 2875
78.57/78.68	o 2874
78.67/78.78	o 2873
78.77/78.88	o 2872
78.87/78.98	o 2871
78.97/79.08	o 2870
79.07/79.18	o 2869
79.18/79.28	o 2868
79.27/79.38	o 2867
79.37/79.48	o 2866
79.48/79.58	o 2865
79.57/79.68	o 2864
79.67/79.79	o 2863
79.77/79.89	o 2862
79.87/79.99	o 2861
79.97/80.09	o 2860
80.07/80.19	o 2859
80.17/80.29	o 2858
80.28/80.39	o 2857
80.37/80.49	o 2856
80.48/80.59	o 2855
80.57/80.70	o 2854
80.77/80.80	o 2853
80.87/80.90	o 2852
80.97/81.00	o 2851
81.07/81.10	o 2850
81.17/81.20	o 2849
81.27/81.30	o 2848
81.37/81.40	o 2847
81.47/81.50	o 2846
81.57/81.60	o 2845
81.67/81.71	o 2844
81.77/81.81	o 2843
81.87/81.91	o 2842
81.97/82.01	o 2841
82.07/82.11	o 2840
82.17/82.21	o 2839
82.27/82.31	o 2838
82.37/82.41	o 2837
82.47/82.51	o 2836
82.57/82.61	o 2835
82.67/82.71	o 2834
82.77/82.81	o 2833
82.97/83.01	o 2832
82.97/83.08	o 1678
83.07/83.15	o 1677
83.17/83.21	o 1676
83.17/83.27	o 1665
83.27/83.34	o 1664
83.37/83.40	o 1663
83.37/83.46	o 1662
83.47/83.53	o 1661
83.47/83.59	o 1660
83.58/83.66	o 1659
83.66/83.72	o 1658
83.66/83.78	o 1657
83.77/83.85	o 1656
83.87/83.91	o 1655
83.87/83.98	o 1631
83.97/84.04	o 1630
84.07/84.10	o 1629
84.07/84.16	o 1628
84.17/84.23	o 1627
84.17/84.29	o 1626
84.27/84.35	o 1625
84.37/84.41	o 1624
84.37/84.47	o 1623
84.47/84.53	o 1622
84.47/84.60	o 1621
84.57/84.66	o 1620
84.67/84.72	o 1619
84.67/84.78	o 1618
84.77/84.84	o 1617
84.87/84.90	o 1616
84.87/84.97	o 1615
84.96/85.02	o 1614
84.96/85.08	o 1613
85.07/85.14	o 1612
85.17/85.20	o 1611
85.17/85.26	o 1610
85.27/85.31	o 1609
85.37/85.44	o 1608
85.37/85.49	o 1607
85.47/85.55	o 1606
85.57/85.61	o 1605
85.57/85.67	o 1604
85.68/85.72	o 1603
85.68/85.78	o 1602
85.78/85.84	o 1601
85.87/85.90	o 1600
85.87/85.95	o 1599
85.97/86.01	o 1598
85.97/86.07	o 1597
86.07/86.13	o 1596
86.07/86.19	o 1595
86.17/86.24	o 1594
86.27/86.30	o 1593
86.27/86.35	o 1592
86.37/86.41	o 1591
86.37/86.47	o 1590
86.47/86.52	o 1589
86.47/86.58	o 1588
86.57/86.63	o 1587
86.57/86.69	o 1586
86.66/86.75	o 1585
86.77/86.81	o 1584
86.77/86.87	o 1583
86.87/86.92	o 1582
86.87/86.98	o 1581
86.97/87.03	o 1580
86.97/87.09	o 1579
87.07/87.14	o 1578
87.17/87.20	o 1577
87.17/87.25	o 1576
87.27/87.31	o 1575
87.27/87.37	o 1574
87.36/87.42	o 1573
87.36/87.48	o 1572
87.47/87.54	o 1571
87.57/87.60	o 1570
87.57/87.65	o 1569
87.67/87.71	o 1568
87.67/87.77	o 1567
87.77/87.83	o 1566
87.77/87.89	o 1565
87.87/87.94	o 1564
87.87/88.00	o 1563
87.97/88.06	o 1562
88.07/88.11	o 1561
88.07/88.17	o 1560
88.17/88.23	o 1559
88.17/88.28	o 1558
88.26/88.34	o 1557
88.37/88.40	o 1556
88.37/88.45	o 1555
88.47/88.51	o 1554
88.47/88.57	o 1553
88.57/88.62	o 1552
88.57/88.68	o 1551
88.67/88.74	o 1550
88.67/88.79	o 1549
88.77/88.85	o 1548
88.87/88.91	o 1547
88.87/88.96	o 1546
88.97/89.02	o 1545
88.97/89.08	o 1544
89.07/89.13	o 1543
89.07/89.19	o 1542
89.16/89.24	o 1541
89.27/89.30	o 1540
89.27/89.36	o 1539
89.37/89.41	o 1538
89.37/89.47	o 1537
89.46/89.52	o 1536
89.46/89.58	o 1535
89.57/89.63	o 1534
89.57/89.69	o 1533
89.66/89.75	o 1532
89.76/89.80	o 1531
89.76/89.86	o 1530
89.87/89.91	o 1529
89.87/89.97	o 1528
89.97/90.02	o 1527
89.97/90.08	o 1526
90.08/90.13	o 1525
90.08/90.19	o 1524
90.17/90.24	o 1523
90.27/90.30	o 1522
90.27/90.35	o 1521
90.37/90.41	o 1520
90.37/90.46	o 1519
90.47/90.52	o 1518
90.47/90.57	o 1517
90.56/90.63	o 1516
90.56/90.68	o 1515
90.67/90.74	o 1514
90.67/90.79	o 1513
90.77/90.85	o 1512
90.87/90.90	o 1511
90.87/90.96	o 1510
90.97/91.01	o 1509
90.97/91.07	o 1508
91.07/91.12	o 1507
91.07/91.18	o 1506
91.18/91.23	o 1505
91.18/91.29	o 1504
91.27/91.35	o 1503
91.37/91.40	o 1502
91.37/91.45	o 1501
91.47/91.51	o 1500
91.47/91.56	o 1499
91.57/91.62	o 1498
91.57/91.67	o 1497
91.67/91.73	o 1496
91.67/91.78	o 1495
91.77/91.84	o 1494
91.77/91.89	o 1493
91.87/91.95	o 1492
91.96/92.00	o 1491
91.96/92.06	o 1490
92.07/92.11	o 1489
92.07/92.16	o 1488
92.17/92.22	o 1487
92.17/92.27	o 1486
92.27/92.33	o 1485
92.27/92.38	o 1484
92.37/92.44	o 1483
92.37/92.49	o 1482
92.47/92.55	o 1481
92.57/92.60	o 1480
92.57/92.65	o 1479
92.66/92.71	o 1478
92.66/92.76	o 1477
92.77/92.81	o 1476
92.77/92.87	o 1475
92.87/92.92	o 1474
92.87/92.98	o 1473
92.96/93.03	o 1472
92.96/93.08	o 1471
93.07/93.14	o 1470
93.07/93.19	o 1469
93.17/93.25	o 1468
93.27/93.30	o 1467
93.27/93.35	o 1466
93.37/93.41	o 1465
93.37/93.46	o 1464
93.47/93.51	o 1463
93.47/93.57	o 1462
93.57/93.62	o 1461
93.57/93.68	o 1460
93.67/93.73	o 1459
93.67/93.78	o 1458
93.77/93.84	o 1457
93.77/93.89	o 1456
93.87/93.94	o 1455
93.87/94.00	o 1454
93.96/94.05	o 1453
94.07/94.10	o 1452
94.07/94.16	o 1451
94.17/94.21	o 1450
94.17/94.26	o 1449
94.27/94.32	o 1448
94.27/94.37	o 1447
94.37/94.42	o 1446
94.37/94.48	o 1445
94.48/94.53	o 1444
94.48/94.59	o 1443
94.57/94.64	o 1442
94.57/94.69	o 1441
94.66/94.75	o 1440
94.77/94.80	o 1439
94.77/94.85	o 1438
94.86/94.90	o 1437
94.86/94.96	o 1436
94.97/95.01	o 1435
94.97/95.06	o 1434
95.06/95.11	o 1433
95.06/95.17	o 1432
95.16/95.22	o 1431
95.16/95.27	o 1430
95.26/95.33	o 1429
95.26/95.38	o 1428
95.37/95.43	o 1427
95.37/95.48	o 1426
95.46/95.54	o 1425
95.46/95.59	o 1424
95.57/95.64	o 1423
95.57/95.70	o 1422
95.67/95.75	o 1421
95.77/95.80	o 1420
95.77/95.85	o 1419
95.86/95.91	o 1418
95.86/95.96	o 1417
95.96/96.01	o 1416
95.96/96.06	o 1415
96.07/96.11	o 1414
96.07/96.17	o 1413
96.17/96.22	o 1412
96.17/96.27	o 1411
96.26/96.32	o 1410
96.26/96.37	o 1409
96.37/96.43	o 1408
96.37/96.48	o 1407
96.47/96.53	o 1406
96.47/96.58	o 1405
96.57/96.63	o 1404
96.57/96.69	o 1403
96.67/96.74	o 1402
96.67/96.79	o 1401
96.77/96.84	o 1400
96.77/96.89	o 1399
96.87/96.94	o 1398
96.87/96.99	o 1397
96.97/97.04	o 1396
96.97/97.09	o 1395
97.06/97.15	o 1394
97.06/97.20	o 1393
97.16/97.25	o 1392
97.26/97.30	o 1391
97.26/97.35	o 1390
97.36/97.40	o 1389
97.36/97.45	o 1388
97.47/97.50	o 1387
97.47/97.55	o 1386
97.56/97.60	o 1385
97.56/97.65	o 1384
97.67/97.70	o 1383
97.67/97.76	o 1382
97.77/97.81	o 1381
97.77/97.86	o 1380
97.87/97.91	o 1379
97.87/97.96	o 1378
97.97/98.01	o 1377
97.97/98.06	o 1376
98.06/98.11	o 1375
98.06/98.16	o 1374
98.17/98.21	o 1373
98.17/98.26	o 1372
98.27/98.31	o 1371
98.27/98.36	o 1370
98.36/98.41	o 1369
98.36/98.46	o 1368
98.46/98.51	o 1367
98.46/98.56	o 1366
98.57/98.61	o 1365
98.57/98.66	o 1364
98.67/98.71	o 1363
98.67/98.76	o 1362
98.77/98.81	o 1361
98.77/98.86	o 1360
98.86/98.91	o 1359
98.86/98.96	o 1358
98.97/99.01	o 1357
98.97/99.06	o 1356
99.07/99.11	o 1355
99.07/99.16	o 1354
99.16/99.21	o 1353
99.16/99.26	o 1352
99.27/99.31	o 1351
99.27/99.35	o 1350
99.36/99.40	o 1349
99.36/99.45	o 1348
99.47/99.50	o 1347
99.47/99.55	o 1346
99.57/99.60	o 1345
99.57/99.65	o 1344
99.67/99.70	o 1343
99.67/99.75	o 1342
99.67/99.79	o 1341
99.76/99.84	o 1340
99.76/99.89	o 1339
99.87/99.94	o 1338
99.87/99.99	o 1337
99.97/100.04	o 1336
99.97/100.08	o 1335
100.07/100.13	o 1334
100.07/100.18	o 1333
100.17/100.23	o 1332
100.17/100.28	o 1331
100.27/100.33	o 1330
100.27/100.38	o 1329
100.36/100.42	o 1328
100.36/100.47	o 1327
100.46/100.52	o 1326
100.46/100.57	o 1325
100.57/100.62	o 1324
100.57/100.67	o 1323
100.66/100.72	o 1322
100.66/100.76	o 1321
100.76/100.81	o 1320
100.76/100.86	o 1319
100.87/100.91	o 1318
100.87/100.95	o 1317
100.97/101.00	o 1316
100.97/101.05	o 1315
100.97/101.10	o 1314
101.07/101.15	o 1313
101.07/101.19	o 1312
101.17/101.24	o 1311
101.17/101.29	o 1310
101.26/101.34	o 1309
101.26/101.38	o 1308
101.37/101.43	o 1307
101.37/101.48	o 1306
101.46/101.53	o 1305
101.46/101.57	o 1304
101.56/101.62	o 1303
101.56/101.67	o 1302
101.67/101.71	o 1301
101.67/101.76	o 1300
101.76/101.81	o 1299
101.76/101.86	o 1298
101.86/101.90	o 1297
101.86/101.95	o 1296
101.97/102.00	o 1295
101.97/102.04	o 1294
101.97/102.09	o 1293
102.06/102.14	o 1292
102.06/102.19	o 1291
102.17/102.23	o 1290
102.17/102.28	o 1289
102.27/102.33	o 1288
102.27/102.37	o 1287
102.36/102.42	o 1286
102.36/102.47	o 1285
102.46/102.51	o 1284
102.46/102.56	o 1283
102.57/102.60	o 1282
102.57/102.65	o 1281
102.57/102.70	o 1280
102.66/102.74	o 1279
102.66/102.79	o 1278
102.76/102.84	o 1277
102.76/102.88	o 1276
102.86/102.93	o 1275
102.86/102.97	o 1274
102.96/103.02	o 1273
102.96/103.07	o 1272
103.06/103.11	o 1271
103.06/103.16	o 1270
103.17/103.20	o 1269
103.17/103.25	o 1268
103.17/103.30	o 1267
103.27/103.34	o 1266
103.27/103.39	o 1265
103.36/103.43	o 1264
103.36/103.48	o 1263
103.46/103.53	o 1262
103.46/103.57	o 1261
103.56/103.62	o 1260
103.56/103.66	o 1259
103.66/103.71	o 1258
103.66/103.75	o 1257
103.76/103.80	o 1256
103.76/103.84	o 1255
103.76/103.89	o 1254
103.86/103.93	o 1253
103.86/103.98	o 1252
103.96/104.02	o 1251
103.96/104.07	o 1250
104.06/104.11	o 1249
104.06/104.16	o 1248
104.16/104.20	o 1247
104.16/104.25	o 1246
104.16/104.29	o 1245
104.26/104.34	o 1244
104.26/104.38	o 1243
104.36/104.43	o 1242
104.36/104.47	o 1241
104.47/104.52	o 1240
104.47/104.56	o 1239
104.56/104.61	o 1238
104.56/104.65	o 1237
104.56/104.69	o 1236
104.66/104.74	o 1235
104.66/104.78	o 1234
104.76/104.83	o 1233
104.76/104.87	o 1232
104.86/104.91	o 1231
104.86/104.96	o 1230
104.96/105.00	o 1229
104.96/105.05	o 1228
104.96/105.09	o 1227
105.06/105.13	o 1226
105.06/105.18	o 1225
105.16/105.22	o 1224
105.16/105.27	o 1223
105.26/105.31	o 1222
105.26/105.35	o 1221
105.26/105.40	o 1220
105.36/105.44	o 1219
105.36/105.48	o 1218
105.46/105.53	o 1217
105.46/105.57	o 1216
105.57/105.61	o 1215
105.57/105.66	o 1214
105.66/105.70	o 1213
105.66/105.74	o 1212
105.66/105.79	o 1211
105.76/105.83	o 1210
105.76/105.87	o 1209
105.86/105.92	o 1208
105.86/105.96	o 1207
105.96/106.00	o 1206
105.96/106.05	o 1205
105.96/106.09	o 1204
106.06/106.13	o 1203
106.06/106.18	o 1202
106.16/106.22	o 1201
106.16/106.26	o 1200
106.26/106.31	o 1199
106.26/106.35	o 1198
106.26/106.39	o 1197
106.36/106.44	o 1196
106.36/106.48	o 1195
106.46/106.52	o 1194
106.46/106.56	o 1193
106.57/106.61	o 1192
106.57/106.65	o 1191
106.57/106.69	o 1190
106.66/106.73	o 1189
106.66/106.78	o 1188
106.76/106.82	o 1187
106.76/106.86	o 1186
106.86/106.90	o 1185
106.86/106.94	o 1184
106.86/106.99	o 1183
106.96/107.03	o 1182
106.96/107.07	o 1181
107.06/107.11	o 1180
107.06/107.16	o 1179
107.15/107.20	o 1178
107.15/107.24	o 1177
107.15/107.28	o 1176
107.25/107.33	o 1175
107.25/107.37	o 1174
107.36/107.41	o 1173
107.36/107.45	o 1172
107.36/107.49	o 1171
107.46/107.54	o 1170
107.46/107.58	o 1169
107.56/107.62	o 1168
107.56/107.66	o 1167
107.67/107.70	o 1166
107.67/107.74	o 1165
107.67/107.79	o 1164
107.76/107.83	o 1163
107.76/107.87	o 1162
107.86/107.91	o 1161
107.86/107.95	o 1160
107.86/107.99	o 1159
107.95/108.03	o 1158
107.95/108.07	o 1157
108.06/108.12	o 1156
108.06/108.16	o 1155
108.15/108.20	o 1154
108.15/108.24	o 1153
108.15/108.28	o 1152
108.26/108.32	o 1151
108.26/108.36	o 1150
108.36/108.40	o 1149
108.36/108.44	o 1148
108.36/108.48	o 1147
108.45/108.52	o 1146
108.45/108.56	o 1145
108.56/108.60	o 1144
108.56/108.65	o 1143
108.56/108.69	o 1142
108.66/108.73	o 1141
108.66/108.77	o 1140
108.76/108.81	o 1139
108.76/108.85	o 1138
108.76/108.89	o 1137
108.86/108.93	o 1136
108.86/108.97	o 1135
108.96/109.01	o 1134
108.96/109.05	o 1133
108.96/109.09	o 1132
109.05/109.13	o 1131
109.05/109.17	o 1130
109.16/109.21	o 1129
109.16/109.25	o 1128
109.16/109.29	o 1127
109.25/109.33	o 1126
109.25/109.37	o 1125
109.35/109.41	o 1124
109.35/109.45	o 1123
109.35/109.49	o 1122
109.46/109.53	o 1121
109.46/109.57	o 1120
109.55/109.61	o 1119
109.55/109.65	o 1118
109.55/109.69	o 1117
109.65/109.73	o 1116
109.65/109.77	o 1115
109.76/109.81	o 1114
109.76/109.85	o 1113
109.76/109.89	o 1112
109.86/109.93	o 1111
109.86/109.97	o 1110
109.96/110.01	o 1109
109.96/110.04	o 1108
109.96/110.08	o 1107
110.05/110.12	o 1106
110.05/110.16	o 1105
110.16/110.20	o 1104
110.16/110.24	o 1103
110.16/110.28	o 1102
110.26/110.32	o 1101
110.26/110.36	o 1100
110.26/110.40	o 1099
110.35/110.43	o 1098
110.35/110.47	o 1097
110.45/110.51	o 1096
110.45/110.55	o 1095
110.45/110.59	o 1094
110.56/110.63	o 1093
110.56/110.66	o 1092
110.65/110.70	o 1091
110.65/110.74	o 1090
110.65/110.78	o 1089
110.76/110.82	o 1088
110.76/110.86	o 1087
110.76/110.89	o 1086
110.86/110.93	o 1085
110.86/110.97	o 1084
110.96/111.01	o 1083
110.96/111.05	o 1082
110.96/111.09	o 1081
111.06/111.12	o 1080
111.06/111.16	o 1079
111.16/111.20	o 1078
111.16/111.24	o 1077
111.16/111.28	o 1076
111.25/111.31	o 1075
111.25/111.35	o 1074
111.25/111.39	o 1073
111.35/111.43	o 1072
111.35/111.46	o 1071
111.46/111.50	o 1070
111.46/111.54	o 1069
111.46/111.58	o 1068
111.56/111.61	o 1067
111.56/111.65	o 1066
111.56/111.69	o 1065
111.65/111.73	o 1064
111.65/111.76	o 1063
111.76/111.80	o 1062
111.76/111.84	o 1061
111.76/111.87	o 1060
111.85/111.91	o 1059
111.85/111.95	o 1058
111.85/111.99	o 1057
111.95/112.02	o 1056
111.95/112.06	o 1055
111.95/112.10	o 1054
112.06/112.13	o 1053
112.06/112.17	o 1052
112.16/112.21	o 1051
112.16/112.24	o 1050
112.16/112.28	o 1049
112.26/112.32	o 1048
112.26/112.35	o 1047
112.26/112.39	o 1046
112.35/112.43	o 1045
112.35/112.46	o 1044
112.46/112.50	o 1043
112.46/112.54	o 1042
112.46/112.57	o 1041
112.55/112.61	o 1040
112.55/112.65	o 1039
112.55/112.68	o 1038
112.65/112.72	o 1037
112.65/112.76	o 1036
112.65/112.79	o 1035
112.76/112.83	o 1034
112.76/112.86	o 1033
112.85/112.90	o 1032
112.85/112.94	o 1031
112.85/112.97	o 1030
112.95/113.01	o 1029
112.95/113.05	o 1028
112.95/113.08	o 1027
113.06/113.12	o 1026
113.06/113.15	o 1025
113.06/113.19	o 1024
113.16/113.23	o 1023
113.16/113.26	o 1022
113.16/113.30	o 1021
113.26/113.33	o 1020
113.26/113.37	o 1019
113.36/113.41	o 1018
113.36/113.44	o 1017
113.36/113.48	o 1016
113.45/113.51	o 1015
113.45/113.55	o 1014
113.45/113.58	o 1013
113.55/113.62	o 1012
113.55/113.65	o 1011
113.55/113.69	o 1010
113.66/113.73	o 1009
113.66/113.76	o 1008
113.66/113.79	o 1007
113.75/113.83	o 1006
113.75/113.87	o 1005
113.85/113.90	o 1004
113.85/113.94	o 1003
113.85/113.97	o 1002
113.96/114.01	o 1001
113.96/114.04	o 1000
113.96/114.08	o 999
114.06/114.11	o 998
114.06/114.15	o 997
114.06/114.18	o 996
114.15/114.21	o 995
114.15/114.25	o 994
114.15/114.28	o 993
114.26/114.32	o 992
114.26/114.35	o 991
114.26/114.39	o 990
114.36/114.42	o 989
114.36/114.46	o 988
114.36/114.49	o 987
114.45/114.53	o 986
114.45/114.56	o 985
114.55/114.60	o 984
114.55/114.63	o 983
114.55/114.67	o 982
114.65/114.70	o 981
114.65/114.73	o 980
114.65/114.77	o 979
114.76/114.80	o 978
114.76/114.84	o 977
114.76/114.87	o 976
114.85/114.90	o 975
114.85/114.94	o 974
114.85/114.97	o 973
114.95/115.01	o 972
114.95/115.04	o 971
114.95/115.08	o 970
115.06/115.11	o 969
115.06/115.15	o 968
115.06/115.18	o 967
115.15/115.21	o 966
115.15/115.25	o 965
115.15/115.28	o 964
115.25/115.31	o 963
115.25/115.35	o 962
115.25/115.38	o 961
115.35/115.42	o 960
115.35/115.45	o 959
115.35/115.48	o 958
115.46/115.52	o 957
115.46/115.55	o 956
115.46/115.58	o 955
115.56/115.62	o 954
115.56/115.65	o 953
115.56/115.68	o 952
115.65/115.72	o 951
115.65/115.75	o 950
115.65/115.79	o 949
115.75/115.82	o 948
115.75/115.85	o 947
115.75/115.88	o 946
115.86/115.92	o 945
115.86/115.95	o 944
115.86/115.98	o 943
115.95/116.02	o 942
115.95/116.05	o 941
115.95/116.08	o 940
116.05/116.12	o 939
116.05/116.15	o 938
116.05/116.18	o 937
116.16/116.22	o 936
116.16/116.25	o 935
116.16/116.28	o 934
116.26/116.31	o 933
116.26/116.35	o 932
116.26/116.38	o 931
116.35/116.41	o 930
116.35/116.44	o 929
116.35/116.48	o 928
116.45/116.51	o 927
116.45/116.54	o 926
116.45/116.58	o 925
116.56/116.61	o 924
116.56/116.64	o 923
116.56/116.67	o 922
116.65/116.71	o 921
116.65/116.74	o 920
116.65/116.77	o 919
116.76/116.81	o 918
116.76/116.84	o 917
116.76/116.87	o 916
116.85/116.90	o 915
116.85/116.93	o 914
116.85/116.97	o 913
116.95/117.00	o 912
116.95/117.03	o 911
116.95/117.06	o 910
116.95/117.09	o 909
117.05/117.13	o 908
117.05/117.16	o 907
117.05/117.19	o 906
117.15/117.22	o 905
117.15/117.25	o 904
117.15/117.29	o 903
117.25/117.32	o 902
117.25/117.35	o 901
117.25/117.38	o 900
117.35/117.41	o 899
117.35/117.45	o 898
117.35/117.48	o 897
117.45/117.51	o 896
117.45/117.54	o 895
117.45/117.57	o 894
117.55/117.60	o 893
117.55/117.64	o 892
117.55/117.67	o 891
117.55/117.70	o 890
117.65/117.73	o 889
117.65/117.76	o 888
117.65/117.79	o 887
117.75/117.83	o 886
117.75/117.86	o 885
117.75/117.89	o 884
117.85/117.92	o 883
117.85/117.95	o 882
117.85/117.98	o 881
117.95/118.01	o 880
117.95/118.05	o 879
117.95/118.08	o 878
118.05/118.11	o 877
118.05/118.14	o 876
118.05/118.17	o 875
118.15/118.20	o 874
118.15/118.23	o 873
118.15/118.26	o 872
118.15/118.30	o 871
118.25/118.33	o 870
118.25/118.36	o 869
118.25/118.39	o 868
118.35/118.42	o 867
118.35/118.45	o 866
118.35/118.48	o 865
118.46/118.51	o 864
118.46/118.54	o 863
118.46/118.57	o 862
118.55/118.60	o 861
118.55/118.63	o 860
118.55/118.66	o 859
118.55/118.70	o 858
118.65/118.73	o 857
118.65/118.76	o 856
118.65/118.79	o 855
118.76/118.82	o 854
118.76/118.85	o 853
118.76/118.88	o 852
118.85/118.91	o 851
118.85/118.94	o 850
118.85/118.97	o 849
118.95/119.00	o 848
118.95/119.03	o 847
118.95/119.06	o 846
118.95/119.09	o 845
119.06/119.12	o 844
119.06/119.15	o 843
119.06/119.18	o 842
119.15/119.21	o 841
119.15/119.24	o 840
119.15/119.27	o 839
119.25/119.31	o 838
119.25/119.34	o 837
119.25/119.37	o 836
119.25/119.39	o 835
119.35/119.42	o 834
119.35/119.45	o 833
119.35/119.48	o 832
119.45/119.51	o 831
119.45/119.54	o 830
119.45/119.57	o 829
119.55/119.60	o 828
119.55/119.63	o 827
119.55/119.66	o 826
119.55/119.69	o 825
119.65/119.72	o 824
119.65/119.75	o 823
119.65/119.78	o 822
119.76/119.81	o 821
119.76/119.84	o 820
119.76/119.87	o 819
119.76/119.90	o 818
119.85/119.93	o 817
119.85/119.98	o 816
119.95/120.02	o 815
119.95/120.05	o 814
119.95/120.08	o 813
120.05/120.11	o 812
120.05/120.14	o 811
120.05/120.17	o 810
120.15/120.20	o 809
120.15/120.23	o 808
120.15/120.26	o 807
120.15/120.29	o 806
120.25/120.32	o 805
120.25/120.35	o 804
120.25/120.38	o 803
120.35/120.41	o 802
120.35/120.44	o 801
120.35/120.47	o 800
120.45/120.51	o 799
120.45/120.54	o 798
120.45/120.57	o 797
120.45/120.59	o 796
120.55/120.62	o 795
120.55/120.65	o 794
120.55/120.68	o 793
120.65/120.71	o 792
120.65/120.74	o 791
120.65/120.77	o 790
120.65/120.79	o 789
120.75/120.82	o 788
120.75/120.85	o 787
120.75/120.88	o 786
120.85/120.90	o 785
120.85/120.93	o 784
120.85/120.96	o 783
120.96/121.02	o 782
120.96/121.05	o 781
120.96/121.08	o 780
121.05/121.11	o 779
121.05/121.14	o 778
121.05/121.17	o 777
121.15/121.20	o 776
121.15/121.23	o 775
121.15/121.26	o 774
121.15/121.28	o 773
121.25/121.31	o 772
121.25/121.34	o 771
121.25/121.37	o 770
121.35/121.40	o 769
121.35/121.43	o 768
121.35/121.46	o 767
121.35/121.49	o 766
121.45/121.51	o 765
121.45/121.54	o 764
121.45/121.57	o 763
121.54/121.60	o 762
121.54/121.63	o 761
121.54/121.66	o 760
121.54/121.68	o 759
121.65/121.71	o 758
121.65/121.74	o 757
121.65/121.77	o 756
121.65/121.80	o 755
121.75/121.82	o 754
121.75/121.85	o 753
121.75/121.88	o 752
121.85/121.90	o 751
121.85/121.93	o 750
121.85/121.96	o 749
121.85/121.98	o 748
121.95/122.01	o 747
121.95/122.04	o 746
121.95/122.06	o 745
121.95/122.09	o 744
122.05/122.12	o 743
122.05/122.14	o 742
122.05/122.17	o 741
122.14/122.20	o 740
122.14/122.22	o 739
122.14/122.25	o 738
122.14/122.28	o 737
122.24/122.30	o 736
122.24/122.33	o 735
122.24/122.36	o 734
122.24/122.38	o 733
122.35/122.41	o 732
122.35/122.43	o 731
122.35/122.46	o 730
122.35/122.49	o 729
122.45/122.51	o 728
122.45/122.54	o 727
122.45/122.56	o 726
122.45/122.59	o 725
122.54/122.62	o 724
122.54/122.64	o 723
122.54/122.67	o 722
122.54/122.69	o 721
122.64/122.72	o 720
122.64/122.74	o 719
122.64/122.77	o 718
122.64/122.80	o 717
122.74/122.82	o 716
122.74/122.85	o 715
122.74/122.87	o 714
122.84/122.90	o 713
122.84/122.92	o 712
122.84/122.95	o 711
122.84/122.97	o 710
122.95/123.00	o 709
122.95/123.02	o 708
122.95/123.05	o 707
122.95/123.07	o 706
122.95/123.10	o 705
123.05/123.12	o 704
123.05/123.15	o 703
123.05/123.17	o 702
123.05/123.20	o 701
123.15/123.22	o 700
123.15/123.25	o 699
123.15/123.27	o 698
123.15/123.30	o 697
123.24/123.32	o 696
123.24/123.35	o 695
123.24/123.37	o 694
123.24/123.40	o 693
123.34/123.42	o 692
123.34/123.45	o 691
123.34/123.47	o 690
123.34/123.49	o 689
123.44/123.52	o 688
123.44/123.54	o 687
123.44/123.57	o 686
123.44/123.59	o 685
123.54/123.61	o 684
123.54/123.64	o 683
123.54/123.66	o 682
123.54/123.69	o 681
123.64/123.71	o 680
123.64/123.73	o 679
123.64/123.76	o 678
123.64/123.78	o 677
123.74/123.80	o 676
123.74/123.83	o 675
123.74/123.85	o 674
123.74/123.88	o 673
123.84/123.90	o 672
123.84/123.92	o 671
123.84/123.95	o 670
123.84/123.97	o 669
123.84/123.99	o 668
123.94/124.02	o 667
123.94/124.04	o 666
123.94/124.06	o 665
123.94/124.09	o 664
124.04/124.11	o 663
124.04/124.13	o 662
124.04/124.15	o 661
124.04/124.18	o 660
124.14/124.20	o 659
124.14/124.22	o 658
124.14/124.25	o 657
124.14/124.27	o 656
124.14/124.29	o 655
124.24/124.32	o 654
124.24/124.34	o 653
124.24/124.36	o 652
124.24/124.38	o 651
124.34/124.41	o 650
124.34/124.43	o 649
124.34/124.45	o 648
124.34/124.47	o 647
124.44/124.50	o 646
124.44/124.52	o 645
124.44/124.54	o 644
124.44/124.56	o 643
124.44/124.59	o 642
124.54/124.61	o 641
124.54/124.63	o 640
124.54/124.65	o 639
124.54/124.68	o 638
124.64/124.70	o 637
124.64/124.72	o 636
124.64/124.74	o 635
124.64/124.77	o 634
124.64/124.79	o 633
124.74/124.81	o 632
124.74/124.83	o 631
124.74/124.85	o 630
124.74/124.88	o 629
124.84/124.90	o 628
124.84/124.92	o 627
124.84/124.94	o 626
124.84/124.96	o 625
124.84/124.98	o 624
124.94/125.01	o 623
124.94/125.03	o 622
124.94/125.05	o 621
124.94/125.07	o 620
124.94/125.09	o 619
125.04/125.12	o 618
125.04/125.14	o 617
125.04/125.16	o 616
125.04/125.18	o 615
125.13/125.20	o 614
125.13/125.22	o 613
125.13/125.24	o 612
125.13/125.26	o 611
125.13/125.29	o 610
125.24/125.31	o 609
125.24/125.33	o 608
125.24/125.35	o 607
125.24/125.37	o 606
125.24/125.39	o 605
125.34/125.41	o 604
125.34/125.43	o 603
125.34/125.45	o 602
125.34/125.48	o 601
125.34/125.50	o 600
125.44/125.52	o 599
125.44/125.54	o 598
125.44/125.56	o 597
125.44/125.58	o 596
125.54/125.60	o 595
125.54/125.62	o 594
125.54/125.64	o 593
125.54/125.66	o 592
125.54/125.68	o 591
125.64/125.70	o 590
125.64/125.73	o 589
125.64/125.75	o 588
125.64/125.77	o 587
125.64/125.79	o 586
125.74/125.81	o 585
125.74/125.83	o 584
125.74/125.85	o 583
125.74/125.87	o 582
125.74/125.89	o 581
125.84/125.91	o 580
125.84/125.93	o 579
125.84/125.95	o 578
125.84/125.97	o 577
125.84/125.99	o 576
125.93/126.01	o 575
125.93/126.03	o 574
125.93/126.05	o 573
125.93/126.07	o 572
125.93/126.09	o 571
126.04/126.11	o 570
126.04/126.13	o 569
126.04/126.15	o 568
126.04/126.17	o 567
126.04/126.19	o 566
126.14/126.21	o 565
126.14/126.23	o 564
126.14/126.25	o 563
126.14/126.27	o 562
126.14/126.29	o 561
126.23/126.31	o 560
126.23/126.33	o 559
126.23/126.35	o 558
126.23/126.37	o 557
126.23/126.39	o 556
126.34/126.41	o 555
126.34/126.43	o 554
126.34/126.45	o 553
126.34/126.47	o 552
126.34/126.49	o 551
126.44/126.50	o 550
126.44/126.52	o 549
126.44/126.54	o 548
126.44/126.56	o 547
126.44/126.58	o 546
126.53/126.60	o 545
126.53/126.62	o 544
126.53/126.64	o 543
126.53/126.66	o 542
126.53/126.68	o 541
126.53/126.70	o 540
126.63/126.71	o 539
126.63/126.73	o 538
126.63/126.75	o 537
126.63/126.77	o 536
126.63/126.79	o 535
126.73/126.81	o 534
126.73/126.83	o 533
126.73/126.85	o 532
126.73/126.87	o 531
126.73/126.89	o 530
126.83/126.90	o 529
126.83/126.92	o 528
126.83/126.94	o 527
126.83/126.96	o 526
126.83/126.98	o 525
126.83/127.00	o 524
126.94/127.02	o 523
126.94/127.03	o 522
126.94/127.05	o 521
126.94/127.07	o 520
126.94/127.09	o 519
127.04/127.11	o 518
127.04/127.13	o 517
127.04/127.15	o 516
127.04/127.16	o 515
127.04/127.18	o 514
127.14/127.20	o 513
127.14/127.22	o 512
127.14/127.24	o 511
127.14/127.25	o 510
127.14/127.27	o 509
127.14/127.29	o 508
127.24/127.31	o 507
127.24/127.33	o 506
127.24/127.34	o 505
127.24/127.36	o 504
127.24/127.38	o 503
127.33/127.40	o 502
127.33/127.42	o 501
127.33/127.43	o 500
127.33/127.45	o 499
127.33/127.47	o 498
127.33/127.49	o 497
127.43/127.50	o 496
127.43/127.52	o 495
127.43/127.54	o 494
127.43/127.56	o 493
127.43/127.57	o 492
127.43/127.59	o 491
127.54/127.61	o 490
127.54/127.63	o 489
127.54/127.64	o 488
127.54/127.66	o 487
127.54/127.68	o 486
127.63/127.70	o 485
127.63/127.71	o 484
127.63/127.73	o 483
127.63/127.75	o 482
127.63/127.77	o 481
127.63/127.78	o 480
127.74/127.80	o 479
127.74/127.82	o 478
127.74/127.83	o 477
127.74/127.85	o 476
127.74/127.87	o 475
127.74/127.89	o 474
127.83/127.90	o 473
127.83/127.92	o 472
127.83/127.94	o 471
127.83/127.95	o 470
127.83/127.97	o 469
127.83/127.99	o 468
127.94/128.00	o 467
127.94/128.02	o 466
127.94/128.04	o 465
127.94/128.06	o 464
127.94/128.07	o 463
127.94/128.09	o 462
128.03/128.11	o 461
128.03/128.12	o 460
128.03/128.14	o 459
128.03/128.16	o 458
128.03/128.17	o 457
128.03/128.19	o 456
128.13/128.21	o 455
128.13/128.22	o 454
128.13/128.24	o 453
128.13/128.25	o 452
128.13/128.27	o 451
128.13/128.29	o 450
128.24/128.30	o 449
128.24/128.32	o 448
128.24/128.34	o 447
128.24/128.35	o 446
128.24/128.37	o 445
128.24/128.38	o 444
128.33/128.40	o 443
128.33/128.42	o 442
128.33/128.43	o 441
128.33/128.45	o 440
128.33/128.47	o 439
128.33/128.48	o 438
128.43/128.50	o 437
128.43/128.51	o 436
128.43/128.53	o 435
128.43/128.55	o 434
128.43/128.56	o 433
128.43/128.58	o 432
128.43/128.59	o 431
128.54/128.61	o 430
128.54/128.62	o 429
128.54/128.64	o 428
128.54/128.66	o 427
128.54/128.67	o 426
128.64/128.70	o 425
128.64/128.72	o 424
128.64/128.73	o 423
128.64/128.75	o 422
128.64/128.76	o 421
128.64/128.78	o 420
128.64/128.80	o 419
128.73/128.81	o 418
128.73/128.83	o 417
128.73/128.84	o 416
128.73/128.86	o 415
128.73/128.87	o 414
128.73/128.89	o 413
128.83/128.90	o 412
128.83/128.92	o 411
128.83/128.93	o 410
128.83/128.95	o 409
128.83/128.97	o 408
128.83/128.98	o 407
128.83/129.00	o 406
128.94/129.01	o 405
128.94/129.03	o 404
128.94/129.04	o 403
128.94/129.06	o 402
128.94/129.07	o 401
128.94/129.09	o 400
129.04/129.10	o 399
129.04/129.12	o 398
129.04/129.13	o 397
129.04/129.15	o 396
129.04/129.16	o 395
129.04/129.17	o 394
129.04/129.19	o 393
129.14/129.20	o 392
129.14/129.22	o 391
129.14/129.23	o 390
129.14/129.25	o 389
129.14/129.26	o 388
129.14/129.28	o 387
129.14/129.29	o 386
129.23/129.30	o 385
129.23/129.32	o 384
129.23/129.33	o 383
129.23/129.34	o 382
129.23/129.36	o 381
129.23/129.37	o 380
129.23/129.39	o 379
129.33/129.40	o 378
129.33/129.41	o 377
129.33/129.43	o 376
129.33/129.44	o 375
129.33/129.45	o 374
129.33/129.47	o 373
129.33/129.48	o 372
129.33/129.49	o 371
129.43/129.51	o 370
129.43/129.52	o 369
129.43/129.53	o 368
129.43/129.54	o 367
129.43/129.56	o 366
129.43/129.57	o 365
129.43/129.58	o 364
129.54/129.60	o 363
129.54/129.61	o 362
129.54/129.62	o 361
129.54/129.64	o 360
129.54/129.65	o 359
129.54/129.66	o 358
129.54/129.67	o 357
129.54/129.69	o 356
129.54/129.70	o 355
129.64/129.71	o 354
129.64/129.72	o 353
129.64/129.74	o 352
129.64/129.75	o 351
129.64/129.76	o 350
129.64/129.77	o 349
129.64/129.79	o 348
129.64/129.80	o 347
129.73/129.81	o 346
129.73/129.82	o 345
129.73/129.84	o 344
129.73/129.85	o 343
129.73/129.86	o 342
129.73/129.87	o 341
129.73/129.88	o 340
129.83/129.90	o 339
129.83/129.91	o 338
129.83/129.92	o 337
129.83/129.93	o 336
129.83/129.94	o 335
129.83/129.96	o 334
129.83/129.97	o 333
129.83/129.98	o 332
129.83/129.99	o 331
129.94/130.00	o 330
129.94/130.02	o 329
129.94/130.03	o 328
129.94/130.04	o 327
129.94/130.05	o 326
129.94/130.06	o 325
129.94/130.07	o 324
129.94/130.08	o 323
129.94/130.10	o 322
130.03/130.11	o 321
130.03/130.12	o 320
130.03/130.13	o 319
130.03/130.14	o 318
130.03/130.15	o 317
130.03/130.16	o 316
130.03/130.17	o 315
130.03/130.19	o 314
130.03/130.20	o 313
130.13/130.21	o 312
130.13/130.22	o 311
130.13/130.23	o 310
130.13/130.24	o 309
130.13/130.25	o 308
130.13/130.26	o 307
130.13/130.27	o 306
130.13/130.28	o 305
130.13/130.30	o 304
130.24/130.31	o 303
130.24/130.32	o 302
130.24/130.33	o 301
130.24/130.35	o 300
130.24/130.36	o 299
130.24/130.37	o 298
130.24/130.39	o 297
130.33/130.40	o 296
130.33/130.41	o 295
130.33/130.42	o 294
130.33/130.43	o 293
130.33/130.44	o 292
130.33/130.46	o 291
130.33/130.47	o 290
130.33/130.48	o 289
130.33/130.49	o 288
130.43/130.50	o 287
130.43/130.51	o 286
130.43/130.53	o 285
130.43/130.54	o 284
130.43/130.55	o 283
130.43/130.56	o 282
130.43/130.57	o 281
130.43/130.58	o 280
130.43/130.59	o 279
130.54/130.60	o 278
130.54/130.62	o 277
130.54/130.63	o 276
130.54/130.64	o 275
130.54/130.65	o 274
130.54/130.66	o 273
130.54/130.67	o 272
130.54/130.68	o 271
130.54/130.69	o 270
130.63/130.70	o 269
130.63/130.72	o 268
130.63/130.73	o 267
130.63/130.74	o 266
130.63/130.75	o 265
130.63/130.76	o 264
130.63/130.77	o 263
130.63/130.78	o 262
130.63/130.79	o 261
130.63/130.80	o 260
130.74/130.81	o 259
130.74/130.82	o 258
130.74/130.83	o 257
130.74/130.83	o 256
130.74/130.84	o 255
130.74/130.85	o 254
130.74/130.86	o 253
130.74/130.87	o 252
130.74/130.88	o 251
130.74/130.89	o 250
130.83/130.90	o 249
130.83/130.91	o 248
130.83/130.92	o 247
130.83/130.93	o 246
130.83/130.94	o 245
130.83/130.95	o 244
130.83/130.96	o 243
130.83/130.97	o 242
130.83/130.98	o 241
130.83/130.99	o 240
130.83/131.00	o 239
130.92/131.00	o 238
130.92/131.01	o 237
130.92/131.02	o 236
130.92/131.03	o 235
130.92/131.04	o 234
130.92/131.05	o 233
130.92/131.06	o 232
130.92/131.07	o 231
130.92/131.08	o 230
130.92/131.09	o 229
130.92/131.10	o 228
131.03/131.10	o 227
131.03/131.11	o 226
131.03/131.12	o 225
131.03/131.13	o 224
131.03/131.14	o 223
131.03/131.15	o 222
131.03/131.16	o 221
131.03/131.17	o 220
131.03/131.18	o 219
131.03/131.18	o 218
131.03/131.19	o 217
131.13/131.20	o 216
131.13/131.21	o 215
131.13/131.22	o 214
131.13/131.23	o 213
131.13/131.24	o 212
131.13/131.25	o 211
131.13/131.25	o 210
131.13/131.26	o 209
131.13/131.27	o 208
131.13/131.28	o 207
131.13/131.29	o 206
131.13/131.30	o 205
131.22/131.30	o 204
131.22/131.31	o 203
131.22/131.32	o 202
131.22/131.33	o 201
131.22/131.34	o 200
131.22/131.34	o 199
131.22/131.35	o 198
131.22/131.36	o 197
131.22/131.37	o 196
131.22/131.37	o 195
131.22/131.38	o 194
131.22/131.39	o 193
131.33/131.40	o 192
131.33/131.40	o 191
131.33/131.41	o 190
131.33/131.42	o 189
131.33/131.43	o 188
131.33/131.44	o 187
131.33/131.44	o 186
131.33/131.45	o 185
131.33/131.46	o 184
131.33/131.46	o 183
131.33/131.47	o 182
131.33/131.48	o 181
131.33/131.49	o 180
131.33/131.49	o 179
131.43/131.50	o 178
131.43/131.51	o 177
131.43/131.51	o 176
131.43/131.52	o 175
131.43/131.53	o 174
131.43/131.53	o 173
131.43/131.54	o 172
131.43/131.55	o 171
131.43/131.56	o 170
131.43/131.57	o 169
131.43/131.58	o 168
131.43/131.58	o 167
131.43/131.59	o 166
131.53/131.60	o 165
131.53/131.61	o 164
131.53/131.61	o 163
131.53/131.62	o 162
131.53/131.63	o 161
131.53/131.63	o 160
131.53/131.64	o 159
131.53/131.65	o 158
131.53/131.65	o 157
131.53/131.66	o 156
131.53/131.67	o 155
131.53/131.67	o 154
131.53/131.68	o 153
131.53/131.69	o 152
131.53/131.70	o 151
131.63/131.70	o 150
131.63/131.71	o 149
131.63/131.72	o 148
131.63/131.72	o 147
131.63/131.73	o 146
131.63/131.74	o 145
131.63/131.74	o 144
131.63/131.75	o 143
131.63/131.75	o 142
131.63/131.76	o 141
131.63/131.76	o 140
131.63/131.77	o 139
131.63/131.78	o 138
131.63/131.78	o 137
131.63/131.79	o 136
131.63/131.79	o 135
131.73/131.80	o 134
131.73/131.80	o 133
131.73/131.81	o 132
131.73/131.81	o 131
131.73/131.82	o 130
131.73/131.82	o 129
131.73/131.83	o 128
131.73/131.83	o 127
131.73/131.84	o 126
131.73/131.84	o 125
131.73/131.85	o 124
131.73/131.85	o 123
131.73/131.86	o 122
131.73/131.86	o 121
131.73/131.87	o 120
131.73/131.87	o 119
131.73/131.88	o 118
131.73/131.88	o 117
131.73/131.89	o 116
131.73/131.89	o 115
131.73/131.90	o 114
131.83/131.90	o 113
131.83/131.91	o 112
131.83/131.91	o 111
131.83/131.91	o 110
131.83/131.92	o 109
131.83/131.92	o 108
131.83/131.93	o 107
131.83/131.93	o 106
131.83/131.94	o 105
131.83/131.94	o 104
131.83/131.94	o 103
131.83/131.95	o 102
131.83/131.95	o 101
131.83/131.96	o 100
131.83/131.96	o 99
131.83/131.97	o 98
131.83/131.97	o 97
131.83/131.97	o 96
131.83/131.98	o 95
131.83/131.98	o 94
131.83/131.99	o 93
131.83/131.99	o 92
131.83/132.00	o 91
131.83/132.00	o 90
131.93/132.00	o 89
131.93/132.01	o 88
131.93/132.01	o 87
131.93/132.01	o 86
131.93/132.02	o 85
131.93/132.02	o 84
131.93/132.03	o 83
131.93/132.03	o 82
131.93/132.03	o 81
131.93/132.04	o 80
131.93/132.04	o 79
131.93/132.04	o 78
131.93/132.05	o 77
131.93/132.05	o 76
131.93/132.05	o 75
131.93/132.06	o 74
131.93/132.06	o 73
131.93/132.06	o 72
131.93/132.07	o 71
131.93/132.07	o 70
131.93/132.07	o 69
131.93/132.08	o 68
131.93/132.08	o 67
131.93/132.08	o 66
131.93/132.09	o 65
131.93/132.09	o 64
131.93/132.09	o 63
131.93/132.09	o 62
131.93/132.10	o 61
132.02/132.10	o 60
132.02/132.10	o 59
132.02/132.10	o 58
132.02/132.11	o 57
132.02/132.11	o 56
132.02/132.11	o 55
132.02/132.11	o 54
132.02/132.12	o 53
132.02/132.12	o 52
132.02/132.12	o 51
132.02/132.12	o 50
132.02/132.13	o 49
132.02/132.13	o 48
132.02/132.13	o 47
132.02/132.13	o 46
132.02/132.13	o 45
132.02/132.14	o 44
132.02/132.14	o 43
132.02/132.14	o 42
132.02/132.14	o 41
132.02/132.14	o 40
132.02/132.15	o 39
132.02/132.15	o 38
132.02/132.15	o 37
132.02/132.15	o 36
132.02/132.15	o 35
132.02/132.16	o 34
132.02/132.16	o 33
132.02/132.16	o 32
132.02/132.16	o 31
132.02/132.17	o 30
132.02/132.17	o 29
149.72/149.89	o 28
1800.08/1800.70	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/354642-1176721084/instance-354642-1176721084.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node72/watcher-354642-1176721084 -o ROOT/results/node72/solver-354642-1176721084 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354642-1176721084/PBS4 /tmp/evaluation/354642-1176721084/instance-354642-1176721084.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6654
/proc/meminfo: memFree=1800376/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=2192 CPUtime=0
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 337 0 0 0 0 0 0 0 18 0 1 0 148146877 2244608 319 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/6654/statm: 548 319 86 219 0 325 0

[startup+0.0123641 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6654
/proc/meminfo: memFree=1800376/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=2336 CPUtime=0
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 148146877 2392064 349 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0
/proc/6654/statm: 584 349 86 219 0 361 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2336

[startup+0.101372 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6654
/proc/meminfo: memFree=1800376/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=2496 CPUtime=0.09
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 424 0 0 0 9 0 0 0 18 0 1 0 148146877 2555904 406 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588293 0 0 4096 0 0 0 0 17 1 0 0
/proc/6654/statm: 624 406 87 219 0 401 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2496

[startup+0.30139 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6654
/proc/meminfo: memFree=1800376/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=2812 CPUtime=0.29
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 526 0 0 0 29 0 0 0 19 0 1 0 148146877 2879488 508 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134805365 0 0 4096 0 0 0 0 17 1 0 0
/proc/6654/statm: 703 508 87 219 0 480 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2812

[startup+0.701426 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6654
/proc/meminfo: memFree=1800376/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=4604 CPUtime=0.69
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 765 0 0 0 69 0 0 0 23 0 1 0 148146877 4714496 747 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134640559 0 0 4096 0 0 0 0 17 1 0 0
/proc/6654/statm: 1151 747 88 219 0 928 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4604

[startup+1.5015 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 6655
/proc/meminfo: memFree=1796976/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=6652 CPUtime=1.49
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1243 0 0 0 149 0 0 0 25 0 1 0 148146877 6811648 1225 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 1 0 0
/proc/6654/statm: 1663 1225 88 219 0 1440 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6652

[startup+3.10165 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 6655
/proc/meminfo: memFree=1794544/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=6648 CPUtime=3.09
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1478 0 0 0 306 3 0 0 25 0 1 0 148146877 6807552 1460 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 1662 1460 103 219 0 1439 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6648

[startup+6.30194 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 6655
/proc/meminfo: memFree=1794544/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=6648 CPUtime=6.29
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1478 0 0 0 620 9 0 0 25 0 1 0 148146877 6807552 1460 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 1662 1460 103 219 0 1439 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6648

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 6655
/proc/meminfo: memFree=1794672/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=6648 CPUtime=12.69
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1478 0 0 0 1246 23 0 0 25 0 1 0 148146877 6807552 1460 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 1662 1460 103 219 0 1439 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6648

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 6655
/proc/meminfo: memFree=1794800/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=6648 CPUtime=25.49
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1481 0 0 0 2498 51 0 0 25 0 1 0 148146877 6807552 1463 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 1662 1463 103 219 0 1439 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6648

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 6655
/proc/meminfo: memFree=1794544/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=6788 CPUtime=51.08
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1543 0 0 0 5006 102 0 0 25 0 1 0 148146877 6950912 1525 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 1697 1525 103 219 0 1474 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6788

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 6655
/proc/meminfo: memFree=1789744/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=11584 CPUtime=102.27
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 2743 0 0 0 9949 278 0 0 25 0 1 0 148146877 11862016 2725 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 2896 2725 103 219 0 2673 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11584

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6655
/proc/meminfo: memFree=1767472/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=39844 CPUtime=162.22
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8303 0 0 0 15831 391 0 0 25 0 1 0 148146877 40800256 8285 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 9961 8285 103 219 0 9738 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 39844

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 6829
/proc/meminfo: memFree=1766000/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=39844 CPUtime=222.11
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8304 0 0 0 21820 391 0 0 25 0 1 0 148146877 40800256 8286 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 9961 8286 103 219 0 9738 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 39844

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1767024/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=39844 CPUtime=282.08
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8309 0 0 0 27816 392 0 0 25 0 1 0 148146877 40800256 8291 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 9961 8291 103 219 0 9738 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 39844

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1767024/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=40024 CPUtime=342.06
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8312 0 0 0 33814 392 0 0 25 0 1 0 148146877 40984576 8294 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 10006 8294 103 219 0 9783 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 40024

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1767024/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=40024 CPUtime=402.04
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8316 0 0 0 39812 392 0 0 25 0 1 0 148146877 40984576 8298 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 10006 8298 103 219 0 9783 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 40024

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1766960/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=40024 CPUtime=462.02
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8320 0 0 0 45810 392 0 0 25 0 1 0 148146877 40984576 8302 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 10006 8302 103 219 0 9783 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 40024

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1766960/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=40024 CPUtime=522.01
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8324 0 0 0 51808 393 0 0 25 0 1 0 148146877 40984576 8306 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 10006 8306 103 219 0 9783 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 40024

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1766896/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44120 CPUtime=581.99
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8329 0 0 0 57806 393 0 0 25 0 1 0 148146877 45178880 8311 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11030 8311 103 219 0 10807 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 44120

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1766768/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44120 CPUtime=641.99
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8343 0 0 0 63805 394 0 0 25 0 1 0 148146877 45178880 8325 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11030 8325 103 219 0 10807 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 44120


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1766384/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44280 CPUtime=881.92
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8397 0 0 0 87797 395 0 0 25 0 1 0 148146877 45342720 8379 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11070 8379 103 219 0 10847 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 44280

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1766192/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44424 CPUtime=941.9
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8434 0 0 0 93795 395 0 0 25 0 1 0 148146877 45490176 8416 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11106 8416 103 219 0 10883 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 44424

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1766192/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44424 CPUtime=1001.88
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8436 0 0 0 99793 395 0 0 25 0 1 0 148146877 45490176 8418 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11106 8418 103 219 0 10883 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 44424

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1766128/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44424 CPUtime=1061.87
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8439 0 0 0 105791 396 0 0 25 0 1 0 148146877 45490176 8421 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11106 8421 103 219 0 10883 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 44424

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1766064/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44424 CPUtime=1121.85
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8443 0 0 0 111789 396 0 0 25 0 1 0 148146877 45490176 8425 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11106 8425 103 219 0 10883 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 44424

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1765936/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44560 CPUtime=1181.83
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8458 0 0 0 117787 396 0 0 25 0 1 0 148146877 45629440 8440 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11140 8440 103 219 0 10917 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 44560

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1765872/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44560 CPUtime=1241.82
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8459 0 0 0 123785 397 0 0 25 0 1 0 148146877 45629440 8441 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11140 8441 103 219 0 10917 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 44560

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1765744/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44560 CPUtime=1301.8
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8484 0 0 0 129783 397 0 0 25 0 1 0 148146877 45629440 8466 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11140 8466 103 219 0 10917 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 44560

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1765616/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44560 CPUtime=1361.79
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8495 0 0 0 135781 398 0 0 25 0 1 0 148146877 45629440 8477 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11140 8477 103 219 0 10917 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 44560

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1765552/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44560 CPUtime=1421.77
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8499 0 0 0 141779 398 0 0 25 0 1 0 148146877 45629440 8481 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11140 8481 103 219 0 10917 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 44560

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1765488/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44704 CPUtime=1481.75
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8514 0 0 0 147777 398 0 0 25 0 1 0 148146877 45776896 8496 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11176 8496 103 219 0 10953 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 44704

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1765296/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44864 CPUtime=1541.74
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8547 0 0 0 153775 399 0 0 25 0 1 0 148146877 45940736 8529 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11216 8529 103 219 0 10993 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 44864

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1765168/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=44864 CPUtime=1601.72
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8565 0 0 0 159773 399 0 0 25 0 1 0 148146877 45940736 8547 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11216 8547 103 219 0 10993 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 44864

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1764976/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=45012 CPUtime=1661.71
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8605 0 0 0 165771 400 0 0 25 0 1 0 148146877 46092288 8587 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11253 8587 103 219 0 11030 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 45012

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1764784/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=45172 CPUtime=1721.69
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8647 0 0 0 171769 400 0 0 25 0 1 0 148146877 46256128 8629 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11293 8629 103 219 0 11070 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 45172

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1764656/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=45332 CPUtime=1781.67
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8671 0 0 0 177766 401 0 0 25 0 1 0 148146877 46419968 8653 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11333 8653 103 219 0 11110 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 45332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1764592/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=45332 CPUtime=1800.08
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8672 0 0 0 179607 401 0 0 25 0 1 0 148146877 46419968 8654 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11333 8654 103 219 0 11110 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 45332

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6857
/proc/meminfo: memFree=1764592/2055920 swapFree=4171536/4192956
[pid=6654] ppid=6652 vsize=45332 CPUtime=1800.08
/proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8672 0 0 0 179607 401 0 0 25 0 1 0 148146877 46419968 8654 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6654/statm: 11333 8654 103 219 0 11110 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 45332

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1796.07
CPU system time (s): 4.02039
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 45332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.07
system time used= 4.02039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8673
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= 8
involuntary context switches= 39209

runsolver used 2.31065 second user time and 4.20936 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Mon Apr 16 10:58:04 UTC 2007

IDJOB= 354642
IDBENCH= 2850
IDSOLVER= 157
FILE ID= node72/354642-1176721084

PBS_JOBID= 4559484

Free space on /tmp= 66482 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb
COMMAND LINE= /tmp/evaluation/354642-1176721084/PBS4 /tmp/evaluation/354642-1176721084/instance-354642-1176721084.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-354642-1176721084 -o ROOT/results/node72/conversion-354642-1176721084 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354642-1176721084/instance-354642-1176721084.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-354642-1176721084 -o ROOT/results/node72/solver-354642-1176721084 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/354642-1176721084/PBS4 /tmp/evaluation/354642-1176721084/instance-354642-1176721084.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  aa80468537d69826ea16800f352007ec

RANDOM SEED= 790365072

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.222
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
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.222
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1800848 kB
Buffers:         28596 kB
Cached:         146672 kB
SwapCached:       3164 kB
Active:          73100 kB
Inactive:       126036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800848 kB
SwapTotal:     4192956 kB
SwapFree:      4171536 kB
Dirty:            5524 kB
Writeback:           0 kB
Mapped:          30600 kB
Slab:            41492 kB
Committed_AS:  2660480 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66482 MiB

End job on node72 on Mon Apr 16 11:28:07 UTC 2007