Trace number 372314

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
wildcat-rnp 2007-03-21SAT (TO)19182 1800.02 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb
MD5SUM83e4cddd78ca4f87cfb13af1d930e0cc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8781
Best CPU time to get the best result obtained on this benchmark44.9172
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8781
Optimality of the best value was proved YES
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
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 constraint1
Maximum length of a constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 365
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 525162
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 365
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 525162
Number of bits of the biggest sum of numbers20
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 
0.00/0.00	c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel)
0.00/0.00	c Developed by L. Liu  and M. Truszczynski 
0.00/0.00	c Last built on Sun 18 Mar 2007 03:03:40 PM EDT
0.00/0.00	c 
0.00/0.00	c /tmp/evaluation/372314-1177087375/wildcat-rnp /tmp/evaluation/372314-1177087375/instance-372314-1177087375.opb 480879715 
0.00/0.00	c =================================== BEGIN ===================================
0.00/0.00	c 
0.00/0.00	c Random Number Seed: 480879715
0.00/0.00	c Noise: 0.7 (70 : 100) 
0.00/0.06	c Starting searching:
0.00/0.06	c Phase 1 ...
0.00/0.07	c   trying 525162: vc 
0.00/0.07	o 257425
0.07/0.08	c   trying 256917: vc 
0.07/0.08	o 242353
0.09/0.10	c   trying 241860: vc 
0.09/0.10	o 233142
0.09/0.11	c   trying 232659: vc 
0.09/0.11	o 232022
0.09/0.13	c   trying 231540: vc 
0.09/0.13	o 219338
0.09/0.14	c   trying 218869: vc 
0.09/0.14	o 217231
0.09/0.16	c   trying 216764: vc 
0.09/0.16	o 216328
0.09/0.18	c   trying 215862: vc 
0.09/0.18	o 212081
0.09/0.19	c   trying 211620: vc 
0.09/0.19	o 208851
0.19/0.21	c   trying 208393: vc 
0.19/0.21	o 206150
0.19/0.24	c   trying 205695: vc 
0.19/0.24	o 201150
0.19/0.25	c   trying 200701: vc 
0.19/0.25	o 198349
0.19/0.29	c   trying 197903: vc 
0.19/0.29	o 197858
0.29/0.32	c   trying 197413: vc 
0.29/0.32	o 197400
0.29/0.35	c   trying 196955: vc 
0.29/0.35	o 196945
0.29/0.36	c   trying 196501: vc 
0.29/0.36	o 191144
0.49/0.51	c   trying 190706: vc 
0.49/0.51	o 190661
0.59/0.62	c   trying 190224: vc 
0.59/0.62	o 190027
0.59/0.64	c   trying 189591: vc 
0.59/0.64	o 189103
0.59/0.67	c   trying 188668: vc 
0.59/0.67	o 188608
0.59/0.69	c   trying 188173: vc 
0.59/0.69	o 187784
0.69/0.73	c   trying 187350: vc 
0.69/0.73	o 187308
0.79/0.86	c   trying 186875: vc 
0.79/0.86	o 186833
0.89/0.98	c   trying 186400: vc 
0.89/0.98	o 186393
1.00/1.07	c   trying 185961: vc 
1.00/1.07	o 185752
1.10/1.15	c   trying 185321: vc 
1.10/1.15	o 185141
1.29/1.31	c   trying 184710: vc 
1.29/1.31	o 184630
1.29/1.36	c   trying 184200: vc 
1.29/1.36	o 183846
1.29/1.39	c   trying 183417: vc 
1.29/1.39	o 183258
1.39/1.43	c   trying 182829: vc 
1.39/1.43	o 182761
1.49/1.53	c   trying 182333: vc 
1.49/1.53	o 182197
1.59/1.65	c   trying 181770: vc 
1.59/1.65	o 181595
1.79/1.82	c   trying 181168: vc 
1.79/1.82	o 181050
1.79/1.85	c   trying 180624: vc 
1.79/1.85	o 180524
1.89/1.97	c   trying 180099: vc 
1.89/1.97	o 179961
1.99/2.03	c   trying 179536: vc 
1.99/2.03	o 179474
2.19/2.28	c   trying 179050: vc 
2.19/2.28	o 179025
2.29/2.35	c   trying 178601: vc 
2.29/2.35	o 178444
2.39/2.49	c   trying 178021: vc 
2.39/2.49	o 177928
2.49/2.56	c   trying 177506: vc 
2.49/2.56	o 177302
2.69/2.71	c   trying 176880: vc 
2.69/2.71	o 176617
2.89/2.90	c   trying 176196: vc 
2.89/2.90	o 176110
2.99/3.04	c   trying 175690: vc 
2.99/3.04	o 175615
3.19/3.23	c   trying 175195: vc 
3.19/3.23	o 174939
3.29/3.31	c   trying 174520: vc 
3.29/3.31	o 174340
3.39/3.42	c   trying 173922: vc 
3.39/3.42	o 173700
3.49/3.54	c   trying 173283: vc 
3.49/3.54	o 173192
3.59/3.64	c   trying 172775: vc 
3.59/3.64	o 172562
3.79/3.88	c   trying 172146: vc 
3.79/3.88	o 171926
3.88/3.96	c   trying 171511: vc 
3.88/3.96	o 171313
3.98/4.09	c   trying 170899: vc 
3.98/4.09	o 170598
4.18/4.25	c   trying 170184: vc 
4.18/4.25	o 170049
4.29/4.35	c   trying 169636: vc 
4.29/4.35	o 169540
4.39/4.44	c   trying 169128: vc 
4.39/4.44	o 168916
4.69/4.73	c   trying 168505: vc 
4.69/4.73	o 168215
4.79/4.84	c   trying 167804: vc 
4.79/4.84	o 167794
4.99/5.04	c   trying 167384: vc 
4.99/5.04	o 167377
5.19/5.22	c   trying 166967: vc 
5.19/5.22	o 166662
5.40/5.47	c   trying 166253: vc 
5.40/5.47	o 166229
5.59/5.65	c   trying 165821: vc 
5.59/5.65	o 165614
5.79/5.81	c   trying 165207: vc 
5.79/5.81	o 165050
5.99/6.00	c   trying 164643: vc 
5.99/6.00	o 164568
6.09/6.16	c   trying 164162: vc 
6.09/6.16	o 163934
6.19/6.28	c   trying 163529: vc 
6.19/6.28	o 163375
6.39/6.42	c   trying 162970: vc 
6.39/6.42	o 162824
6.69/6.78	c   trying 162420: vc 
6.69/6.78	o 162318
6.99/7.06	c   trying 161915: vc 
6.99/7.06	o 161911
7.29/7.38	c   trying 161508: vc 
7.29/7.38	o 161341
7.49/7.53	c   trying 160939: vc 
7.49/7.53	o 160877
7.79/7.81	c   trying 160475: vc 
7.79/7.81	o 160285
7.99/8.06	c   trying 159884: vc 
7.99/8.06	o 159785
8.29/8.31	c   trying 159385: vc 
8.29/8.31	o 159325
8.49/8.54	c   trying 158925: vc 
8.49/8.54	o 158678
8.80/8.87	c   trying 158279: vc 
8.80/8.87	o 158020
9.09/9.11	c   trying 157622: vc 
9.09/9.11	o 157575
9.29/9.34	c   trying 157178: vc 
9.29/9.34	o 156873
9.49/9.55	c   trying 156476: vc 
9.49/9.55	o 156204
9.79/9.81	c   trying 155808: vc 
9.79/9.81	o 155536
9.99/10.01	c   trying 155141: vc 
9.99/10.01	o 154893
10.29/10.35	c   trying 154499: vc 
10.29/10.35	o 154255
10.59/10.65	c   trying 153862: vc 
10.59/10.65	o 153700
10.99/11.06	c   trying 153307: vc 
10.99/11.06	o 153125
11.29/11.33	c   trying 152733: vc 
11.29/11.33	o 152692
11.49/11.55	c   trying 152301: vc 
11.49/11.55	o 152288
11.79/11.81	c   trying 151897: vc 
11.79/11.81	o 151608
12.19/12.22	c   trying 151218: vc 
12.19/12.22	o 151007
12.49/12.50	c   trying 150618: vc 
12.49/12.50	o 150403
12.79/12.81	c   trying 150015: vc 
12.79/12.81	o 149827
13.09/13.13	c   trying 149439: vc 
13.09/13.13	o 149432
13.29/13.38	c   trying 149045: vc 
13.29/13.38	o 149029
13.69/13.75	c   trying 148642: vc 
13.69/13.75	o 148612
14.09/14.17	c   trying 148226: vc 
14.09/14.17	o 148155
14.39/14.46	c   trying 147770: vc 
14.39/14.46	o 147650
14.79/14.80	c   trying 147265: vc 
14.79/14.80	o 147097
15.19/15.23	c   trying 146713: vc 
15.19/15.23	o 146467
15.49/15.56	c   trying 146084: vc 
15.49/15.56	o 146044
15.89/15.99	c   trying 145661: vc 
15.89/15.99	o 145545
16.39/16.40	c   trying 145163: vc 
16.39/16.40	o 144894
16.69/16.78	c   trying 144513: vc 
16.69/16.78	o 144483
17.09/17.10	c   trying 144102: vc 
17.09/17.10	o 143994
17.59/17.62	c   trying 143614: vc 
17.59/17.62	o 143565
17.89/17.94	c   trying 143186: vc 
17.89/17.94	o 143063
18.29/18.38	c   trying 142684: vc 
18.29/18.38	o 142448
18.69/18.77	c   trying 142070: vc 
18.69/18.77	o 141824
19.19/19.20	c   trying 141447: vc 
19.19/19.20	o 141445
19.59/19.68	c   trying 141068: vc 
19.59/19.68	o 140791
20.19/20.20	c   trying 140415: vc 
20.19/20.20	o 140151
20.49/20.58	c   trying 139776: vc 
20.49/20.58	o 139707
20.89/20.99	c   trying 139333: vc 
20.89/20.99	o 139260
21.39/21.44	c   trying 138886: vc 
21.39/21.44	o 138680
21.79/21.85	c   trying 138307: vc 
21.79/21.85	o 138298
22.29/22.34	c   trying 137926: vc 
22.29/22.34	o 137873
22.69/22.71	c   trying 137501: vc 
22.69/22.71	o 137390
23.19/23.20	c   trying 137019: vc 
23.19/23.20	o 136903
23.59/23.63	c   trying 136532: vc 
23.59/23.63	o 136400
23.99/24.01	c   trying 136030: vc 
23.99/24.01	o 135838
24.39/24.45	c   trying 135469: vc 
24.39/24.45	o 135244
24.79/24.89	c   trying 134876: vc 
24.79/24.89	o 134674
25.49/25.52	c   trying 134307: vc 
25.49/25.52	o 134233
25.89/25.94	c   trying 133866: vc 
25.89/25.94	o 133619
26.39/26.42	c   trying 133253: vc 
26.39/26.42	o 133247
26.78/26.88	c   trying 132881: vc 
26.78/26.88	o 132795
27.19/27.25	c   trying 132430: vc 
27.19/27.25	o 132428
27.59/27.68	c   trying 132064: vc 
27.59/27.68	o 131787
27.98/28.09	c   trying 131423: vc 
27.98/28.09	o 131374
28.38/28.50	c   trying 131011: vc 
28.38/28.50	o 130744
28.98/29.00	c   trying 130382: vc 
28.98/29.00	o 130244
29.48/29.51	c   trying 129883: vc 
29.48/29.51	o 129648
29.98/30.05	c   trying 129287: vc 
29.98/30.05	o 129275
30.58/30.64	c   trying 128915: vc 
30.58/30.64	o 128757
31.18/31.28	c   trying 128398: vc 
31.18/31.28	o 128287
31.58/31.64	c   trying 127928: vc 
31.58/31.64	o 127861
32.28/32.34	c   trying 127503: vc 
32.28/32.34	o 127320
32.68/32.79	c   trying 126963: vc 
32.68/32.79	o 126954
33.18/33.25	c   trying 126597: vc 
33.18/33.25	o 126350
33.68/33.75	c   trying 125994: vc 
33.68/33.75	o 125764
34.08/34.12	c   trying 125409: vc 
34.08/34.12	o 125141
34.48/34.57	c   trying 124787: vc 
34.48/34.57	o 124558
34.88/34.97	c   trying 124205: vc 
34.88/34.97	o 124052
35.58/35.66	c   trying 123699: vc 
35.58/35.66	o 123486
36.08/36.10	c   trying 123134: vc 
36.08/36.10	o 122977
36.58/36.65	c   trying 122626: vc 
36.58/36.65	o 122376
37.28/37.31	c   trying 122026: vc 
37.28/37.31	o 121981
37.68/37.79	c   trying 121631: vc 
37.68/37.79	o 121451
38.28/38.32	c   trying 121102: vc 
38.28/38.32	o 121086
38.98/39.01	c   trying 120738: vc 
38.98/39.01	o 120708
39.58/39.62	c   trying 120360: vc 
39.58/39.62	o 120248
40.28/40.33	c   trying 119901: vc 
40.28/40.33	o 119888
40.68/40.79	c   trying 119541: vc 
40.68/40.79	o 119541
41.28/41.37	c   trying 119195: vc 
41.28/41.37	o 119048
41.88/41.94	c   trying 118702: vc 
41.88/41.94	o 118529
42.48/42.53	c   trying 118184: vc 
42.48/42.53	o 118184
43.28/43.34	c   trying 117840: vc 
43.28/43.34	o 117608
43.88/43.95	c   trying 117265: vc 
43.88/43.95	o 117252
44.58/44.67	c   trying 116909: vc 
44.58/44.67	o 116909
45.18/45.29	c   trying 116567: vc 
45.18/45.29	o 116417
45.77/45.88	c   trying 116075: vc 
45.77/45.88	o 115834
46.37/46.49	c   trying 115493: vc 
46.37/46.49	o 115331
47.07/47.19	c   trying 114991: vc 
47.07/47.19	o 114839
47.87/47.93	c   trying 114500: vc 
47.87/47.93	o 114244
48.77/48.82	c   trying 113906: vc 
48.77/48.82	o 113815
49.27/49.39	c   trying 113477: vc 
49.27/49.39	o 113376
49.87/49.97	c   trying 113039: vc 
49.87/49.97	o 113025
50.48/50.55	c   trying 112688: vc 
50.48/50.55	o 112461
50.97/51.02	c   trying 112125: vc 
50.97/51.02	o 112023
51.58/51.62	c   trying 111688: vc 
51.58/51.62	o 111577
52.17/52.21	c   trying 111242: vc 
52.17/52.21	o 111146
52.97/53.08	c   trying 110812: vc 
52.97/53.08	o 110614
53.67/53.73	c   trying 110281: vc 
53.67/53.73	o 110161
54.37/54.40	c   trying 109829: vc 
54.37/54.40	o 109782
54.98/55.08	c   trying 109450: vc 
54.98/55.08	o 109385
55.77/55.81	c   trying 109054: vc 
55.77/55.81	o 108965
56.27/56.30	c   trying 108634: vc 
56.27/56.30	o 108407
57.08/57.18	c   trying 108077: vc 
57.08/57.18	o 107903
57.87/57.91	c   trying 107574: vc 
57.87/57.91	o 107398
58.47/58.56	c   trying 107070: vc 
58.47/58.56	o 106843
59.27/59.36	c   trying 106516: vc 
59.27/59.36	o 106323
60.27/60.31	c   trying 105996: vc 
60.27/60.31	o 105820
60.97/61.08	c   trying 105494: vc 
60.97/61.08	o 105384
61.67/61.72	c   trying 105059: vc 
61.67/61.72	o 104795
62.17/62.28	c   trying 104471: vc 
62.17/62.28	o 104421
63.07/63.10	c   trying 104097: vc 
63.07/63.10	o 104016
63.97/64.02	c   trying 103693: vc 
63.97/64.02	o 103483
64.67/64.79	c   trying 103161: vc 
64.67/64.79	o 103128
65.27/65.39	c   trying 102806: vc 
65.27/65.39	o 102803
66.27/66.32	c   trying 102482: vc 
66.27/66.32	o 102387
67.37/67.41	c   trying 102067: vc 
67.37/67.41	o 101986
68.07/68.11	c   trying 101666: vc 
68.07/68.11	o 101470
68.87/68.93	c   trying 101151: vc 
68.87/68.93	o 101053
69.47/69.55	c   trying 100735: vc 
69.47/69.55	o 100536
70.27/70.37	c   trying 100218: vc 
70.27/70.37	o 100061
71.47/71.55	c   trying 99744: vc 
71.47/71.55	o 99567
72.37/72.48	c   trying 99251: vc 
72.37/72.48	o 99247
73.57/73.67	c   trying 98931: vc 
73.57/73.67	o 98765
74.47/74.50	c   trying 98450: vc 
74.47/74.50	o 98362
75.47/75.58	c   trying 98048: vc 
75.47/75.58	o 97935
76.47/76.50	c   trying 97622: vc 
76.47/76.50	o 97461
77.17/77.24	c   trying 97148: vc 
77.17/77.24	o 97059
78.17/78.25	c   trying 96747: vc 
78.17/78.25	o 96745
78.97/79.01	c   trying 96433: vc 
78.97/79.01	o 96286
79.86/79.92	c   trying 95975: vc 
79.86/79.92	o 95965
80.86/80.95	c   trying 95655: vc 
80.86/80.95	o 95554
81.86/82.00	c   trying 95244: vc 
81.86/82.00	o 95136
82.96/83.09	c   trying 94827: vc 
82.96/83.09	o 94608
84.06/84.11	c   trying 94300: vc 
84.06/84.11	o 94096
85.06/85.13	c   trying 93789: vc 
85.06/85.13	o 93688
86.06/86.14	c   trying 93381: vc 
86.06/86.14	o 93181
86.96/87.01	c   trying 92875: vc 
86.96/87.01	o 92685
88.26/88.38	c   trying 92380: vc 
88.26/88.38	o 92376
89.66/89.78	c   trying 92072: vc 
89.66/89.78	o 91999
91.26/91.33	c   trying 91695: vc 
91.26/91.33	o 91664
92.26/92.35	c   trying 91361: vc 
92.26/92.35	o 91124
93.16/93.22	c   trying 90822: vc 
93.16/93.22	o 90624
95.06/95.15	c   trying 90322: vc 
95.06/95.15	o 90261
96.56/96.64	c   trying 89960: vc 
96.56/96.64	o 89707
97.56/97.63	c   trying 89407: vc 
97.56/97.63	o 89344
99.36/99.45	c   trying 89045: vc 
99.36/99.45	o 88926
101.36/101.46	c   trying 88627: vc 
101.36/101.46	o 88372
102.56/102.60	c   trying 88074: vc 
102.56/102.60	o 87893
103.46/103.53	c   trying 87596: vc 
103.46/103.53	o 87505
104.26/104.36	c   trying 87209: vc 
104.26/104.36	o 86966
105.85/105.96	c   trying 86671: vc 
105.85/105.96	o 86610
106.95/107.08	c   trying 86315: vc 
106.95/107.08	o 86187
108.25/108.35	c   trying 85893: vc 
108.25/108.35	o 85770
109.45/109.56	c   trying 85477: vc 
109.45/109.56	o 85370
110.85/110.93	c   trying 85077: vc 
110.85/110.93	o 84954
112.35/112.43	c   trying 84662: vc 
112.35/112.43	o 84442
113.45/113.54	c   trying 84151: vc 
113.45/113.54	o 84094
114.75/114.81	c   trying 83804: vc 
114.75/114.81	o 83604
116.46/116.50	c   trying 83314: vc 
116.46/116.50	o 83181
118.45/118.50	c   trying 82892: vc 
118.45/118.50	o 82621
119.65/119.79	c   trying 82333: vc 
119.65/119.79	o 82224
121.15/121.21	c   trying 81937: vc 
121.15/121.21	o 81917
122.25/122.40	c   trying 81630: vc 
122.25/122.40	o 81480
124.65/124.70	c   trying 81194: vc 
124.65/124.70	o 81093
127.25/127.35	c   trying 80808: vc 
127.25/127.35	o 80560
128.65/128.78	c   trying 80276: vc 
128.65/128.78	o 80187
129.96/130.05	c   trying 79903: vc 
129.96/130.05	o 79714
131.26/131.33	c   trying 79431: vc 
131.26/131.33	o 79240
132.96/133.00	c   trying 78958: vc 
132.96/133.00	o 78784
134.16/134.23	c   trying 78503: vc 
134.16/134.23	o 78502
136.26/136.37	c   trying 78221: vc 
136.26/136.37	o 78202
138.95/139.09	c   trying 77922: vc 
138.95/139.09	o 77769
140.95/141.02	c   trying 77490: vc 
140.95/141.02	o 77354
142.15/142.24	c   trying 77075: vc 
142.15/142.24	o 76883
145.35/145.41	c   trying 76605: vc 
145.35/145.41	o 76605
146.45/146.54	c   trying 76328: vc 
146.45/146.54	o 76116
147.55/147.66	c   trying 75840: vc 
147.55/147.66	o 75835
149.65/149.72	c   trying 75559: vc 
149.65/149.72	o 75446
150.95/151.00	c   trying 75171: vc 
150.95/151.00	o 75027
153.35/153.45	c   trying 74753: vc 
153.35/153.45	o 74522
154.85/154.96	c   trying 74249: vc 
154.85/154.96	o 74060
158.75/158.81	c   trying 73787: vc 
158.75/158.81	o 73657
160.75/160.86	c   trying 73385: vc 
160.75/160.86	o 73318
162.25/162.32	c   trying 73047: vc 
162.25/162.32	o 72915
163.85/163.93	c   trying 72644: vc 
163.85/163.93	o 72538
165.95/166.09	c   trying 72268: vc 
165.95/166.09	o 71966
167.64/167.79	c   trying 71697: vc 
167.64/167.79	o 71546
169.94/170.04	c   trying 71278: vc 
169.94/170.04	o 71255
171.45/171.53	c   trying 70988: vc 
171.45/171.53	o 70987
173.34/173.45	c   trying 70720: vc 
173.34/173.45	o 70701
175.64/175.77	c   trying 70435: vc 
175.64/175.77	o 70200
177.54/177.68	c   trying 69935: vc 
177.54/177.68	o 69794
179.74/179.81	c   trying 69529: vc 
179.74/179.81	o 69314
181.84/181.99	c   trying 69050: vc 
181.84/181.99	o 68887
183.84/183.92	c   trying 68624: vc 
183.84/183.92	o 68541
186.04/186.16	c   trying 68279: vc 
186.04/186.16	o 68112
187.54/187.64	c   trying 67851: vc 
187.54/187.64	o 67645
189.54/189.64	c   trying 67384: vc 
189.54/189.64	o 67383
193.44/193.56	c   trying 67123: vc 
193.44/193.56	o 66890
196.43/196.58	c   trying 66631: vc 
196.43/196.58	o 66626
199.43/199.52	c   trying 66367: vc 
199.43/199.52	o 66161
201.33/201.47	c   trying 65903: vc 
201.33/201.47	o 65686
202.93/203.01	c   trying 65429: vc 
202.93/203.01	o 65193
206.43/206.52	c   trying 64937: vc 
206.43/206.52	o 64890
208.73/208.85	c   trying 64635: vc 
208.73/208.85	o 64537
210.63/210.71	c   trying 64282: vc 
210.63/210.71	o 64138
213.43/213.57	c   trying 63884: vc 
213.43/213.57	o 63774
216.13/216.21	c   trying 63521: vc 
216.13/216.21	o 63465
218.83/218.98	c   trying 63213: vc 
218.83/218.98	o 63115
221.12/221.29	c   trying 62863: vc 
221.12/221.29	o 62792
223.13/223.26	c   trying 62541: vc 
223.13/223.26	o 62337
225.22/225.36	c   trying 62087: vc 
225.22/225.36	o 61879
227.22/227.33	c   trying 61630: vc 
227.22/227.33	o 61563
228.63/228.77	c   trying 61314: vc 
228.63/228.77	o 61272
230.93/231.03	c   trying 61024: vc 
230.93/231.03	o 60852
233.42/233.53	c   trying 60605: vc 
233.42/233.53	o 60342
235.82/235.96	c   trying 60096: vc 
235.82/235.96	o 59933
238.62/238.71	c   trying 59688: vc 
238.62/238.71	o 59549
244.03/244.11	c   trying 59304: vc 
244.03/244.11	o 59095
246.33/246.45	c   trying 58851: vc 
246.33/246.45	o 58812
248.92/249.05	c   trying 58569: vc 
248.92/249.05	o 58385
251.12/251.20	c   trying 58143: vc 
251.12/251.20	o 57940
253.32/253.42	c   trying 57699: vc 
253.32/253.42	o 57550
255.92/256.00	c   trying 57310: vc 
255.92/256.00	o 57163
259.02/259.17	c   trying 56923: vc 
259.02/259.17	o 56691
262.12/262.27	c   trying 56452: vc 
262.12/262.27	o 56243
265.82/265.91	c   trying 56005: vc 
265.82/265.92	o 55917
267.62/267.76	c   trying 55680: vc 
267.62/267.76	o 55533
269.92/270.00	c   trying 55297: vc 
269.92/270.01	o 55296
271.22/271.38	c   trying 55060: vc 
271.22/271.38	o 54924
273.52/273.61	c   trying 54689: vc 
273.52/273.61	o 54604
276.91/277.08	c   trying 54370: vc 
276.91/277.08	o 54186
280.32/280.50	c   trying 53953: vc 
280.32/280.50	o 53753
283.72/283.85	c   trying 53521: vc 
283.72/283.85	o 53282
286.01/286.13	c   trying 53051: vc 
286.01/286.13	o 52917
289.01/289.19	c   trying 52686: vc 
289.01/289.19	o 52431
292.31/292.41	c   trying 52202: vc 
292.31/292.41	o 52078
296.71/296.86	c   trying 51849: vc 
296.71/296.86	o 51638
299.61/299.75	c   trying 51410: vc 
299.61/299.75	o 51265
302.71/302.89	c   trying 51038: vc 
302.71/302.89	o 50871
305.51/305.66	c   trying 50645: vc 
305.51/305.66	o 50421
310.11/310.23	c   trying 50196: vc 
310.11/310.23	o 50134
316.00/316.13	c   trying 49910: vc 
316.00/316.13	o 49786
320.20/320.39	c   trying 49562: vc 
320.20/320.39	o 49539
323.30/323.41	c   trying 49316: vc 
323.30/323.41	o 49287
327.40/327.50	c   trying 49064: vc 
327.40/327.50	o 48972
330.50/330.63	c   trying 48750: vc 
330.50/330.63	o 48594
334.00/334.14	c   trying 48373: vc 
334.00/334.14	o 48155
336.09/336.25	c   trying 47935: vc 
336.09/336.25	o 47759
340.59/340.71	c   trying 47540: vc 
340.59/340.71	o 47369
345.69/345.81	c   trying 47151: vc 
345.69/345.81	o 46896
347.39/347.56	c   trying 46679: vc 
347.39/347.56	o 46424
351.49/351.67	c   trying 46208: vc 
351.49/351.67	o 46192
355.19/355.31	c   trying 45977: vc 
355.19/355.31	o 45834
359.89/360.06	c   trying 45619: vc 
359.89/360.06	o 45459
364.08/364.25	c   trying 45245: vc 
364.08/364.25	o 45127
367.08/367.26	c   trying 44914: vc 
367.08/367.26	o 44679
369.68/369.82	c   trying 44467: vc 
369.68/369.82	o 44457
375.08/375.25	c   trying 44246: vc 
375.08/375.25	o 44226
379.08/379.30	c   trying 44015: vc 
379.08/379.30	o 44002
382.88/383.09	c   trying 43792: vc 
382.88/383.09	o 43737
390.09/390.23	c   trying 43527: vc 
390.09/390.23	o 43410
394.89/395.06	c   trying 43201: vc 
394.89/395.06	o 43031
398.38/398.57	c   trying 42823: vc 
398.38/398.57	o 42712
405.38/405.57	c   trying 42505: vc 
405.38/405.57	o 42371
410.58/410.72	c   trying 42165: vc 
410.58/410.72	o 42116
416.08/416.23	c   trying 41910: vc 
416.08/416.23	o 41901
420.98/421.10	c   trying 41696: vc 
420.98/421.10	o 41565
424.48/424.66	c   trying 41361: vc 
424.48/424.66	o 41205
429.87/430.02	c   trying 41002: vc 
429.87/430.02	o 40913
433.57/433.79	c   trying 40710: vc 
433.57/433.79	o 40701
439.37/439.58	c   trying 40499: vc 
439.37/439.58	o 40498
443.27/443.47	c   trying 40296: vc 
443.27/443.47	o 40159
450.46/450.69	c   trying 39958: vc 
450.46/450.69	o 39903
459.36/459.58	c   trying 39703: vc 
459.36/459.58	o 39692
462.96/463.14	c   trying 39492: vc 
462.96/463.14	o 39379
471.06/471.21	c   trying 39180: vc 
471.06/471.21	o 39116
477.45/477.67	c   trying 38918: vc 
477.45/477.67	o 38810
480.95/481.20	c   trying 38612: vc 
480.95/481.20	o 38610
487.95/488.15	c   trying 38413: vc 
487.95/488.15	o 38412
492.45/492.70	c   trying 38216: vc 
492.45/492.70	o 38122
499.25/499.44	c   trying 37926: vc 
499.25/499.44	o 37926
507.74/507.92	c   trying 37731: vc 
507.74/507.92	o 37603
512.54/512.79	c   trying 37409: vc 
512.54/512.79	o 37228
515.94/516.18	c   trying 37035: vc 
515.94/516.18	o 36836
522.04/522.21	c   trying 36644: vc 
522.04/522.21	o 36556
525.95/526.14	c   trying 36364: vc 
525.95/526.14	o 36219
534.54/534.74	c   trying 36028: vc 
534.54/534.74	o 35962
540.64/540.82	c   trying 35772: vc 
540.64/540.82	o 35772
544.84/545.00	c   trying 35582: vc 
544.84/545.00	o 35488
551.04/551.21	c   trying 35299: vc 
551.04/551.21	o 35250
558.34/558.57	c   trying 35062: vc 
558.34/558.57	o 35048
565.24/565.48	c   trying 34860: vc 
565.24/565.48	o 34651
573.33/573.57	c   trying 34464: vc 
573.33/573.57	o 34458
580.73/580.91	c   trying 34272: vc 
580.73/580.91	o 34269
588.33/588.53	c   trying 34083: vc 
588.33/588.53	o 33962
595.02/595.22	c   trying 33777: vc 
595.02/595.22	o 33634
602.72/602.93	c   trying 33450: vc 
602.72/602.93	o 33431
609.32/609.50	c   trying 33248: vc 
609.32/609.50	o 33229
615.42/615.66	c   trying 33046: vc 
615.42/615.66	o 33042
626.31/626.57	c   trying 32860: vc 
626.31/626.57	o 32802
630.31/630.58	c   trying 32620: vc 
630.31/630.58	o 32567
639.71/639.97	c   trying 32386: vc 
639.71/639.97	o 32384
653.41/653.62	c   trying 32204: vc 
653.41/653.62	o 32086
666.20/666.47	c   trying 31906: vc 
666.20/666.47	o 31891
672.40/672.61	c   trying 31712: vc 
672.40/672.61	o 31659
683.10/683.32	c   trying 31481: vc 
683.10/683.32	o 31463
692.60/692.86	c   trying 31285: vc 
692.60/692.86	o 31203
698.60/698.85	c   trying 31026: vc 
698.60/698.85	o 31000
706.40/706.63	c   trying 30823: vc 
706.40/706.63	o 30704
716.19/716.49	c   trying 30528: vc 
716.19/716.49	o 30528
727.49/727.72	c   trying 30353: vc 
727.49/727.72	o 30238
740.18/740.42	c   trying 30064: vc 
740.18/740.42	o 29934
745.59/745.87	c   trying 29760: vc 
745.59/745.87	o 29599
760.98/761.27	c   trying 29426: vc 
760.98/761.27	o 29425
772.57/772.86	c   trying 29253: vc 
772.57/772.86	o 29247
787.97/788.28	c   trying 29075: vc 
787.97/788.28	o 29019
796.07/796.36	c   trying 28848: vc 
796.07/796.36	o 28843
801.96/802.26	c   trying 28673: vc 
801.96/802.26	o 28539
809.06/809.35	c   trying 28370: vc 
809.06/809.35	o 28320
821.66/821.97	c   trying 28151: vc 
821.66/821.97	o 28119
827.75/828.06	c   trying 27951: vc 
827.75/828.06	o 27902
837.95/838.22	c   trying 27734: vc 
837.95/838.22	o 27715
866.65/866.95	c   trying 27548: vc 
866.65/866.95	o 27509
878.85/879.19	c   trying 27343: vc 
878.85/879.19	o 27273
892.24/892.56	c   trying 27107: vc 
892.24/892.56	o 27096
901.34/901.63	c   trying 26931: vc 
901.34/901.63	o 26792
919.03/919.30	c   trying 26628: vc 
919.03/919.30	o 26625
934.33/934.62	c   trying 26461: vc 
934.33/934.62	o 26358
950.32/950.66	c   trying 26195: vc 
950.32/950.66	o 26183
965.21/965.58	c   trying 26021: vc 
965.21/965.58	o 26003
974.82/975.19	c   trying 25841: vc 
974.82/975.19	o 25676
990.22/990.57	c   trying 25515: vc 
990.22/990.57	o 25460
1001.01/1001.37	c   trying 25300: vc 
1001.01/1001.37	o 25299
1011.11/1011.42	c   trying 25139: vc 
1011.11/1011.42	o 25041
1025.60/1025.99	c   trying 24882: vc 
1025.60/1025.99	o 24881
1039.80/1040.11	c   trying 24723: vc 
1039.80/1040.11	o 24706
1049.89/1050.21	c   trying 24548: vc 
1049.89/1050.21	o 24503
1063.69/1064.07	c   trying 24346: vc 
1063.69/1064.07	o 24340
1081.58/1081.96	c   trying 24183: vc 
1081.58/1081.96	o 24096
1099.84/1100.22	c   trying 23940: vc 
1099.84/1100.22	o 23859
1117.70/1118.15	c   trying 23704: vc 
1117.70/1118.15	o 23653
1131.89/1132.38	c   trying 23499: vc 
1131.89/1132.38	o 23457
1152.67/1153.17	c   trying 23303: vc 
1152.67/1153.17	o 23181
1198.56/1199.01	c   trying 23028: xvc 
1198.56/1199.01	o 22908
1209.25/1209.76	c   trying 22756: vc 
1209.25/1209.76	o 22712
1235.45/1235.92	c   trying 22561: vc 
1235.45/1235.92	o 22553
1248.74/1249.24	c   trying 22402: vc 
1248.74/1249.24	o 22280
1271.23/1271.79	c   trying 22130: vc 
1271.23/1271.79	o 22066
1352.82/1353.33	c   trying 21917: xxvc 
1352.82/1353.33	o 21743
1368.21/1368.72	c   trying 21595: vc 
1368.21/1368.72	o 21578
1412.10/1412.61	c   trying 21431: xvc 
1412.10/1412.61	o 21380
1434.59/1435.10	c   trying 21233: vc 
1434.59/1435.10	o 21161
1446.99/1447.59	c   trying 21015: vc 
1446.99/1447.59	o 20838
1530.36/1530.98	c   trying 20693: xxvc 
1530.36/1530.98	o 20551
1576.45/1577.04	c   trying 20407: xvc 
1576.45/1577.04	o 20284
1631.64/1632.21	c   trying 20141: xvc 
1631.64/1632.21	o 19964
1648.63/1649.24	c   trying 19822: vc 
1648.63/1649.24	o 19701
1664.03/1664.67	c   trying 19560: vc 
1664.03/1664.67	o 19473
1688.62/1689.23	c   trying 19333: vc 
1688.62/1689.23	o 19332
1711.21/1711.83	c   trying 19192: vc 
1711.21/1711.83	o 19182
1800.00/1800.61	c   trying 19043: xxxc 
1800.00/1800.61	c Phase 2 ...
1800.00/1800.61	c   trying 19181: c 
1800.00/1800.61	c Phase 3 ...
1800.00/1800.61	c   trying 19181 again: c 
1800.00/1800.61	s SATISFIABLE
1800.00/1800.61	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.00/1800.61	v -x29 -x30 -x31 x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55
1800.00/1800.61	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1800.00/1800.61	v x82 -x83 -x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106
1800.00/1800.61	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 -x123 x124 x125 -x126 x127 -x128
1800.00/1800.61	v -x129 -x130 -x131 x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 x149
1800.00/1800.61	v x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 x166 x167 -x168 -x169 -x170 -x171
1800.00/1800.61	v x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 x184 x185 -x186 -x187 -x188 -x189 -x190 x191 x192 x193
1800.00/1800.61	v -x194 -x195 x196 x197 x198 -x199 x200 -x201 x202 -x203 -x204 x205 -x206 x207 x208 -x209 -x210 -x211 x212 x213 x214 x215 x216
1800.00/1800.61	v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
1800.00/1800.61	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258
1800.00/1800.61	v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279
1800.00/1800.61	v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 -x295 -x296 -x297 -x298 -x299 -x300
1800.00/1800.61	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321
1800.00/1800.61	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342
1800.00/1800.61	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363
1800.00/1800.61	v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384
1800.00/1800.61	v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405
1800.00/1800.61	v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426
1800.00/1800.61	v x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447
1800.00/1800.61	v -x448 -x449 -x450 x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468
1800.00/1800.61	v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489
1800.00/1800.61	v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
1800.00/1800.61	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531
1800.00/1800.61	v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552
1800.00/1800.61	v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
1800.00/1800.61	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594
1800.00/1800.61	v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615
1800.00/1800.61	v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636
1800.00/1800.61	v -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657
1800.00/1800.61	v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
1800.00/1800.61	v -x679 -x680 -x681 -x682 -x683 x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699
1800.00/1800.61	v -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
1800.00/1800.61	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 x737 -x738 -x739 -x740 -x741
1800.00/1800.61	v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762
1800.00/1800.61	v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783
1800.00/1800.61	v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804
1800.00/1800.61	v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825
1800.00/1800.61	v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846
1800.00/1800.61	v -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867
1800.00/1800.61	v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888
1800.00/1800.61	v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 -x909
1800.00/1800.61	v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
1800.00/1800.61	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951
1800.00/1800.61	v -x952 x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972
1800.00/1800.61	v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993
1800.00/1800.61	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011
1800.00/1800.61	v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028
1800.00/1800.61	v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1800.00/1800.61	v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063
1800.00/1800.61	v -x1064 -x1065 -x1066 -x1067 -x1068 x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1800.00/1800.61	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1800.00/1800.61	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1800.00/1800.61	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1800.00/1800.61	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 x1147 -x1148 -x1149 -x1150
1800.00/1800.61	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167
1800.00/1800.61	v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184
1800.00/1800.61	v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
1800.00/1800.61	v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
1800.00/1800.61	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235
1800.00/1800.61	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252
1800.00/1800.61	v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
1800.00/1800.61	v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286
1800.00/1800.61	v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303
1800.00/1800.61	v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
1800.00/1800.61	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337
1800.00/1800.61	v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354
1800.00/1800.61	v x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372
1800.00/1800.61	v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389
1800.00/1800.61	v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406
1800.00/1800.61	v -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423
1800.00/1800.61	v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
1800.00/1800.61	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 x1456 -x1457 -x1458
1800.00/1800.61	v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475
1800.00/1800.61	v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492
1800.00/1800.61	v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509
1800.00/1800.61	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527
1800.00/1800.61	v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
1800.00/1800.61	v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 x1560 -x1561 -x1562
1800.00/1800.61	v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579
1800.00/1800.61	v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596
1800.00/1800.61	v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613
1800.00/1800.61	v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 x1630 -x1631
1800.00/1800.61	v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648
1800.00/1800.61	v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666
1800.00/1800.61	v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684
1800.00/1800.61	v x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
1800.00/1800.61	v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
1800.00/1800.61	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737
1800.00/1800.61	v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754
1800.00/1800.61	v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771
1800.00/1800.61	v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
1800.00/1800.61	v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805
1800.00/1800.61	v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822
1800.00/1800.61	v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839
1800.00/1800.61	v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 x1856 -x1857
1800.00/1800.61	v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1800.00/1800.61	v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891
1800.00/1800.61	v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908
1800.00/1800.61	v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925
1800.00/1800.61	v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1800.00/1800.61	v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959
1800.00/1800.61	v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
1800.00/1800.61	v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 x1992 -x1993 -x1994
1800.00/1800.61	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011
1800.00/1800.61	v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028
1800.00/1800.61	v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 x2042 -x2043 -x2044 -x2045 -x2046
1800.00/1800.61	v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063
1800.00/1800.61	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
1800.00/1800.61	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097
1800.00/1800.61	v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114
1800.00/1800.61	v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131
1800.00/1800.61	v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148
1800.00/1800.61	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165
1800.00/1800.61	v -x2166 x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1800.00/1800.61	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
1800.00/1800.61	v x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218
1800.00/1800.61	v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235
1800.00/1800.61	v -x2236 -x2237 -x2238 -x2239 -x2240 x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253
1800.00/1800.61	v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
1800.00/1800.61	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287
1800.00/1800.61	v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 x2304 -x2305
1800.00/1800.61	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322
1800.00/1800.61	v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339
1800.00/1800.61	v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356
1800.00/1800.61	v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373
1800.00/1800.61	v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 x2390 -x2391
1800.00/1800.61	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 x2408 -x2409
1800.00/1800.61	v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426
1800.00/1800.61	v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 x2442 -x2443 -x2444
1800.00/1800.61	v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461
1800.00/1800.61	v -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478
1800.00/1800.61	v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 -x2493 -x2494 -x2495 -x2496
1800.00/1800.61	v -x2497 -x2498 -x2499 -x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514
1800.00/1800.61	v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531
1800.00/1800.61	v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548
1800.00/1800.61	v -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565
1800.00/1800.61	v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582
1800.00/1800.61	v -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599
1800.00/1800.61	v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616
1800.00/1800.61	v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634
1800.00/1800.61	v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652
1800.00/1800.61	v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669
1800.00/1800.61	v -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686
1800.00/1800.61	v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703
1800.00/1800.61	v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
1800.00/1800.61	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737
1800.00/1800.61	v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754
1800.00/1800.61	v x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771
1800.00/1800.61	v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788
1800.00/1800.61	v -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 x2805 -x2806
1800.00/1800.61	v -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823
1800.00/1800.61	v -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841
1800.00/1800.61	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858
1800.00/1800.61	v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
1800.00/1800.61	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892
1800.00/1800.61	v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909
1800.00/1800.61	v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
1800.00/1800.61	v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943
1800.00/1800.61	v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
1800.00/1800.61	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
1800.00/1800.61	v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 x2993 -x2994 -x2995
1800.00/1800.61	v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012
1800.00/1800.61	v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029
1800.00/1800.61	v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046
1800.00/1800.61	v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063
1800.00/1800.61	v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
1800.00/1800.61	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 x3096 -x3097 -x3098
1800.00/1800.61	v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115
1800.00/1800.61	v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132
1800.00/1800.61	v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149
1800.00/1800.61	v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166
1800.00/1800.61	v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184
1800.00/1800.61	v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201
1800.00/1800.61	v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218
1800.00/1800.61	v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 x3236
1800.00/1800.61	v x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254
1800.00/1800.61	v -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271
1800.00/1800.61	v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288
1800.00/1800.61	v -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306
1800.00/1800.61	v -x3307 -x3308 -x3309 -x3310 -x3311 x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324
1800.00/1800.61	v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341
1800.00/1800.61	v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358
1800.00/1800.61	v -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375
1800.00/1800.61	v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392
1800.00/1800.61	v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410
1800.00/1800.61	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427
1800.00/1800.61	v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445
1800.00/1800.61	v -x3446 -x3447 x3448 x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463
1800.00/1800.61	v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481
1800.00/1800.61	v -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 x3494 x3495 -x3496 -x3497 -x3498 -x3499
1800.00/1800.61	v -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516
1800.00/1800.61	v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 x3525 -x3526 -x3527 -x3528 -x3529 x3530 x3531 -x3532 -x3533 -x3534
1800.00/1800.61	v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551
1800.00/1800.61	v -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568
1800.00/1800.61	v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585
1800.00/1800.61	v -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602
1800.00/1800.61	v -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 x3612 x3613 -x3614 -x3615 x3616 x3617 x3618 x3619 -x3620
1800.00/1800.61	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 x3633 -x3634 -x3635 -x3636 -x3637 -x3638
1800.00/1800.61	v -x3639 x3640 x3641 -x3642 -x3643 -x3644 -x3645 x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656
1800.00/1800.61	v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673
1800.00/1800.61	v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
1800.00/1800.61	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708
1800.00/1800.61	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725
1800.00/1800.61	v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 x3733 x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 x3743
1800.00/1800.61	v x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
1800.00/1800.61	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777
1800.00/1800.61	v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794
1800.00/1800.61	v -x3795 x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 x3812
1800.00/1800.61	v x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 x3829 -x3830
1800.00/1800.61	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848
1800.00/1800.61	v -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 x3865 -x3866
1800.00/1800.61	v -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 x3876 x3877 -x3878 -x3879 -x3880 -x3881 x3882 x3883 -x3884
1800.00/1800.61	v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901
1800.00/1800.61	v -x3902 -x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919
1800.00/1800.61	v -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 x3931 -x3932 -x3933 -x3934 -x3935 x3936 x3937
1800.00/1800.61	v x3938 x3939 x3940 x3941 x3942 x3943 -x3944 -x3945
1800.00/1800.61	c Total Number of Positive Atoms : 213
1800.00/1800.61	c 
1800.00/1800.61	c During searching:         1711.77 seconds elapsed.
1800.00/1800.61	c CPU time spent:           1711.32 seconds.
1800.00/1800.61	c 
1800.00/1800.61	c =================================== END =====================================
1800.00/1800.61	c

Verifier Data (download as text)

OK	19182

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-372314-1177087375 -o ROOT/results/node18/solver-372314-1177087375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372314-1177087375/wildcat-rnp /tmp/evaluation/372314-1177087375/instance-372314-1177087375.opb 480879715 

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.96 0.98 0.99 2/77 15924
/proc/meminfo: memFree=1818000/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=5972 CPUtime=0
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 156654927 6115328 137 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 1493 137 105 226 0 1264 0

[startup+0.0836801 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 15924
/proc/meminfo: memFree=1818000/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=0.07
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 7 0 0 0 18 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566903 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8480

[startup+0.10168 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 15924
/proc/meminfo: memFree=1818000/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=0.09
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 9 0 0 0 18 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8480

[startup+0.301699 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 15924
/proc/meminfo: memFree=1818000/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=0.29
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 29 0 0 0 19 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8480

[startup+0.701738 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 15924
/proc/meminfo: memFree=1818000/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=0.69
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 69 0 0 0 23 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134578662 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8480

[startup+1.50182 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1815304/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1.49
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 149 0 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8480

[startup+3.10197 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1815176/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=3.09
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 309 0 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8480

[startup+6.30128 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1815056/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=6.29
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 628 1 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134601200 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8480

[startup+12.7019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1814992/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=12.69
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 1268 1 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8480

[startup+25.5011 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1814992/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=25.49
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 2548 1 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611607 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8480

[startup+51.1016 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1815056/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=51.07
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 5106 1 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868569 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8480

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1815056/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=102.26
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 10225 1 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611660 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 8480

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1814992/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=162.25
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 16223 2 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 8480

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1814928/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=222.22
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 22220 2 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607774 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 8480

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1814928/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=282.21
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 28218 3 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611561 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 8480

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15925
/proc/meminfo: memFree=1814992/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=342.19
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 34216 3 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611622 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 8480

[startup+402.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 15925
/proc/meminfo: memFree=1814928/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=402.18
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 40214 4 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611601 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 8480

[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 15925
/proc/meminfo: memFree=1815056/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=462.16
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 46212 4 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605350 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 8480

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15925
/proc/meminfo: memFree=1815120/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=522.14
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 52210 4 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611607 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 8480

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15925
/proc/meminfo: memFree=1815056/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=582.13
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 58208 5 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 8480

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15925
/proc/meminfo: memFree=1814992/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=642.11
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 64206 5 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868566 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 8480


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15925
/proc/meminfo: memFree=1814992/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=822.06
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 82200 6 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877528 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 8480

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15925
/proc/meminfo: memFree=1814992/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=882.05
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 88198 7 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868590 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 8480

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15925
/proc/meminfo: memFree=1814992/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=942.02
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 94195 7 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 8480

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15925
/proc/meminfo: memFree=1814992/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1002.01
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 100193 8 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868569 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 8480

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15925
/proc/meminfo: memFree=1814992/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1061.99
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 106191 8 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 8480

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 16093
/proc/meminfo: memFree=1813648/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1121.9
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 112179 11 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868569 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 8480

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814672/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1181.87
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 118175 12 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 8480

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814672/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1241.85
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 124173 12 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611607 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 8480

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814672/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1301.83
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 130171 12 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877538 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 8480

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814672/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1361.82
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 136169 13 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 8480

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814672/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1421.8
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 142167 13 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 8480

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814608/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1481.78
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 148165 13 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 8480

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814672/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1541.76
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 154163 13 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868569 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 8480

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814608/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1601.75
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 160161 14 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877546 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 8480

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814800/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1661.73
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 166159 14 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877546 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 8480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814800/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1721.71
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 172157 14 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 8480

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814800/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1781.7
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 178155 15 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134608007 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 8480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16123
/proc/meminfo: memFree=1814736/2055920 swapFree=4147132/4192956
[pid=15924] ppid=15922 vsize=8480 CPUtime=1800
/proc/15924/stat : 15924 (wildcat-rnp) R 15922 15924 15138 0 -1 4194304 800 0 0 0 179985 15 0 0 25 0 1 0 156654927 8683520 783 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611607 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15924/statm: 2120 783 117 226 0 1891 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 8480

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.02
CPU user time (s): 1799.87
CPU system time (s): 0.153976
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 8480

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

runsolver used 2.17167 second user time and 4.21636 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Fri Apr 20 16:42:56 UTC 2007

IDJOB= 372314
IDBENCH= 24963
IDSOLVER= 161
FILE ID= node18/372314-1177087375

PBS_JOBID= 4640304

Free space on /tmp= 66483 MiB

SOLVER NAME= wildcat-rnp 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb
COMMAND LINE= /tmp/evaluation/372314-1177087375/wildcat-rnp /tmp/evaluation/372314-1177087375/instance-372314-1177087375.opb 480879715
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-372314-1177087375 -o ROOT/results/node18/solver-372314-1177087375 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372314-1177087375/wildcat-rnp /tmp/evaluation/372314-1177087375/instance-372314-1177087375.opb 480879715

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  83e4cddd78ca4f87cfb13af1d930e0cc

RANDOM SEED= 480879715

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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	: 5914.62
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.234
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:       1818472 kB
Buffers:         46808 kB
Cached:          92652 kB
SwapCached:      14288 kB
Active:          93852 kB
Inactive:        86252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1818472 kB
SwapTotal:     4192956 kB
SwapFree:      4147132 kB
Dirty:            2556 kB
Writeback:           0 kB
Mapped:          30008 kB
Slab:            42952 kB
Committed_AS:  5321320 kB
PageTables:       1776 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= 66483 MiB

End job on node18 on Fri Apr 20 17:12:58 UTC 2007