Trace number 2699136

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 11.0053 11.005

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
MD5SUM17c8063899ee49ebb532fe8c9b769f44
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.033993
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1804
Total number of constraints4931
Number of soft constraints4931
Number of constraints which are clauses4707
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints224
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 248953
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 248952
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 64
Number of bits of the biggest sum of numbers7
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 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.03	c constraints 0/224 clauses 0/4707 units 0
0.00/0.03	c vars 1804
0.19/0.26	c 0.251961 44.918 73 6871
0.19/0.26	o 2719
0.19/0.28	c 0.255961 45.4375 95 12615
0.19/0.28	o 2718
0.29/0.32	c 0.264959 45.4375 133 17873
0.29/0.32	o 2714
0.29/0.35	c 0.268959 45.4375 142 36867
0.29/0.35	o 2632
0.39/0.42	c 0.278957 45.4375 203 53112
0.39/0.42	o 2631
0.69/0.75	c 0.351946 45.4375 479 64452
0.69/0.75	o 2630
0.89/0.92	c 0.39194 45.4375 595 72899
0.89/0.92	o 2628
0.89/0.99	c 0.407937 45.4375 648 76594
0.89/0.99	o 2617
1.00/1.01	c 0.416936 45.4375 664 83689
1.00/1.01	o 2534
1.00/1.03	c 0.419936 45.4375 673 87632
1.00/1.03	o 2530
1.00/1.04	c 0.424935 45.4375 675 97003
1.00/1.04	o 2090
1.00/1.06	c 0.431934 45.4375 683 100251
1.00/1.06	o 2086
1.19/1.29	c 0.482926 45.4375 830 105304
1.19/1.29	o 2085
1.49/1.52	c 0.52292 45.4375 958 111281
1.49/1.52	o 2083
1.49/1.56	c 0.527919 45.4375 974 114355
1.49/1.56	o 2081
1.49/1.58	c 0.532918 45.4375 984 119040
1.49/1.58	o 2068
1.59/1.60	c 0.538918 45.4375 987 127459
1.59/1.60	o 2053
1.59/1.62	c 0.541917 45.4375 989 135868
1.59/1.62	o 2041
1.59/1.63	c 0.545917 45.4375 990 139828
1.59/1.63	o 2022
1.59/1.64	c 0.547916 45.4375 990 144356
1.59/1.64	o 1993
1.59/1.65	c 0.549916 45.4375 990 146981
1.59/1.65	o 1991
1.59/1.67	c 0.552915 45.4375 992 153481
1.59/1.67	o 1989
1.59/1.69	c 0.558915 45.4375 996 159016
1.59/1.69	o 1982
1.69/1.76	c 0.574912 45.4375 1021 161002
1.69/1.76	o 1980
1.69/1.78	c 0.582911 45.4375 1031 165647
1.69/1.78	o 1949
1.79/1.80	c 0.58591 45.4375 1033 171471
1.79/1.80	o 1933
1.89/1.99	c 0.627904 45.4375 1138 174797
1.89/1.99	o 1928
1.99/2.01	c 0.631903 45.4375 1140 176747
1.99/2.01	o 1925
1.99/2.03	c 0.637903 45.4375 1146 179418
1.99/2.03	o 1922
1.99/2.05	c 0.640902 45.4375 1150 188708
1.99/2.05	o 1341
1.99/2.06	c 0.642902 45.4375 1151 194613
1.99/2.06	o 1181
1.99/2.07	c 0.645901 45.4375 1153 197729
1.99/2.07	o 1174
1.99/2.08	c 0.647901 45.4375 1158 201930
1.99/2.08	o 1172
2.09/2.10	c 0.650901 45.4375 1161 207546
2.09/2.10	o 1166
2.09/2.12	c 0.6549 45.4375 1165 214184
2.09/2.12	o 1163
2.09/2.13	c 0.658899 45.4375 1175 215621
2.09/2.13	o 1161
2.29/2.33	c 0.691894 45.5664 1281 218216
2.29/2.33	o 1160
2.29/2.39	c 0.701893 45.5664 1301 219361
2.29/2.39	o 1159
2.39/2.46	c 0.71989 45.5664 1328 220095
2.39/2.46	o 1158
2.39/2.47	c 0.726889 45.5664 1328 221542
2.39/2.47	o 1157
2.39/2.48	c 0.732888 45.5664 1328 222692
2.39/2.48	o 1153
2.39/2.49	c 0.736887 45.5664 1329 223900
2.39/2.49	o 1148
2.49/2.52	c 0.746886 45.5664 1339 225354
2.49/2.52	o 1147
2.49/2.53	c 0.749886 45.5664 1342 227762
2.49/2.53	o 1142
2.59/2.62	c 0.78288 45.5664 1375 229463
2.59/2.62	o 1138
2.69/2.77	c 0.835872 45.5664 1434 230411
2.69/2.77	o 1137
2.69/2.78	c 0.842871 45.5664 1435 236511
2.69/2.78	o 1131
2.69/2.79	c 0.847871 45.5664 1436 239425
2.69/2.79	o 1130
2.79/2.81	c 0.85287 45.5664 1437 243342
2.79/2.81	o 1119
2.79/2.82	c 0.856869 45.5664 1437 245969
2.79/2.82	o 1111
2.79/2.83	c 0.860869 45.5664 1438 251530
2.79/2.83	o 1085
2.79/2.84	c 0.866868 45.5664 1439 254366
2.79/2.84	o 1074
2.79/2.87	c 0.877866 45.5664 1444 258729
2.79/2.87	o 1066
2.89/2.94	c 0.896863 45.5664 1479 260833
2.89/2.94	o 1057
3.00/3.02	c 0.922859 45.5664 1538 261748
3.00/3.02	o 1056
3.09/3.13	c 0.955854 45.5664 1582 262598
3.09/3.13	o 1055
3.09/3.14	c 0.960853 45.5664 1582 263287
3.09/3.14	o 1052
3.09/3.16	c 0.971852 45.5664 1591 264366
3.09/3.16	o 1050
3.09/3.17	c 0.976851 45.5664 1591 265392
3.09/3.17	o 1043
3.09/3.19	c 0.98285 45.5664 1597 266681
3.09/3.19	o 1033
3.39/3.41	c 1.05984 45.5664 1699 269103
3.39/3.41	o 1028
3.39/3.42	c 1.06384 45.5664 1699 270841
3.39/3.42	o 1021
3.39/3.43	c 1.06984 45.5664 1701 272435
3.39/3.43	o 1020
3.39/3.46	c 1.08083 45.5664 1712 277208
3.39/3.46	o 1019
3.59/3.64	c 1.14682 45.5664 1816 281347
3.59/3.64	o 1006
3.69/3.70	c 1.17782 45.5664 1846 282446
3.69/3.70	o 1005
3.69/3.75	c 1.19282 45.6953 1873 283433
3.69/3.75	o 1004
3.69/3.77	c 1.19582 45.6953 1878 284816
3.69/3.77	o 1002
3.90/3.94	c 1.24981 45.6953 1979 286765
3.90/3.94	o 1000
3.90/3.97	c 1.26581 45.6953 1992 287901
3.90/3.97	o 999
3.90/3.98	c 1.26881 45.6953 1995 289808
3.90/3.98	o 998
3.90/3.99	c 1.27181 45.6953 1995 292601
3.90/3.99	o 995
3.99/4.01	c 1.27981 45.6953 2001 293856
3.99/4.01	o 994
3.99/4.02	c 1.2838 45.6953 2003 297684
3.99/4.02	o 982
3.99/4.03	c 1.2878 45.6953 2005 301178
3.99/4.03	o 971
3.99/4.04	c 1.2908 45.6953 2006 304660
3.99/4.04	o 965
3.99/4.06	c 1.2938 45.6953 2006 307803
3.99/4.06	o 962
3.99/4.07	c 1.2968 45.6953 2008 312070
3.99/4.07	o 960
4.40/4.46	c 1.35979 45.6953 2167 314075
4.40/4.46	o 957
4.59/4.65	c 1.39679 45.6953 2270 315693
4.59/4.65	o 955
4.59/4.68	c 1.40379 45.6953 2282 316385
4.59/4.68	o 954
4.69/4.77	c 1.42178 45.6953 2315 317281
4.69/4.77	o 953
4.79/4.83	c 1.43178 45.6953 2337 318041
4.79/4.83	o 950
4.90/4.95	c 1.45278 45.6953 2378 318477
4.90/4.95	o 949
4.90/4.97	c 1.45578 45.6953 2379 322418
4.90/4.97	o 942
4.90/4.98	c 1.45878 45.6953 2379 324746
4.90/4.98	o 938
4.90/4.99	c 1.46178 45.6953 2379 327694
4.90/4.99	o 927
4.99/5.01	c 1.46678 45.6953 2381 331470
4.99/5.01	o 915
4.99/5.03	c 1.47378 45.6953 2386 332356
4.99/5.03	o 914
4.99/5.05	c 1.48177 45.6953 2394 333620
4.99/5.05	o 908
4.99/5.07	c 1.48777 45.6953 2398 336149
4.99/5.07	o 906
4.99/5.08	c 1.49077 45.6953 2398 337494
4.99/5.08	o 905
4.99/5.09	c 1.49677 45.6953 2400 339071
4.99/5.09	o 903
5.09/5.10	c 1.50077 45.6953 2401 340233
5.09/5.10	o 895
5.09/5.11	c 1.50377 45.6953 2401 341065
5.09/5.11	o 892
5.09/5.13	c 1.50977 45.6953 2404 342003
5.09/5.13	o 890
5.29/5.34	c 1.54476 45.6953 2488 342661
5.29/5.34	o 889
5.40/5.50	c 1.56476 45.8242 2562 343523
5.40/5.50	o 888
5.50/5.51	c 1.56876 45.8242 2564 345016
5.50/5.51	o 883
5.50/5.52	c 1.57176 45.8242 2565 346085
5.50/5.52	o 882
5.50/5.59	c 1.58876 45.8242 2589 347966
5.50/5.59	o 880
5.59/5.60	c 1.59276 45.8242 2590 349175
5.59/5.60	o 871
5.59/5.61	c 1.59876 45.8242 2595 349905
5.59/5.61	o 870
5.59/5.63	c 1.60476 45.8242 2602 351478
5.59/5.63	o 866
5.79/5.84	c 1.63775 45.8242 2703 353278
5.79/5.84	o 865
5.79/5.89	c 1.64475 45.8242 2722 354235
5.79/5.89	o 864
5.89/5.90	c 1.64775 45.8242 2725 355152
5.89/5.90	o 862
5.89/5.91	c 1.65075 45.8242 2730 356543
5.89/5.91	o 854
5.89/5.92	c 1.65375 45.8242 2731 358375
5.89/5.92	o 847
5.89/5.93	c 1.65675 45.8242 2733 359688
5.89/5.93	o 846
5.89/5.95	c 1.66075 45.8242 2734 361723
5.89/5.95	o 833
5.89/5.97	c 1.66875 45.8242 2736 363814
5.89/5.97	o 825
5.89/5.98	c 1.67274 45.8242 2738 365532
5.89/5.98	o 824
5.89/5.99	c 1.67575 45.8242 2741 368084
5.89/5.99	o 816
5.99/6.01	c 1.67874 45.8242 2747 372136
5.99/6.01	o 814
5.99/6.02	c 1.67974 45.8242 2755 374653
5.99/6.02	o 813
5.99/6.04	c 1.68474 45.8242 2758 378197
5.99/6.04	o 809
5.99/6.05	c 1.68874 45.8242 2760 379581
5.99/6.05	o 806
5.99/6.07	c 1.69274 45.8242 2762 382721
5.99/6.07	o 796
5.99/6.08	c 1.69574 45.8242 2764 386057
5.99/6.08	o 790
5.99/6.09	c 1.69674 45.8242 2765 387958
5.99/6.09	o 780
6.09/6.10	c 1.70274 45.8242 2768 389627
6.09/6.10	o 775
6.09/6.12	c 1.70474 45.8242 2770 390668
6.09/6.12	o 765
6.09/6.13	c 1.70674 45.8242 2771 393618
6.09/6.13	o 757
6.09/6.14	c 1.70974 45.8242 2772 395800
6.09/6.14	o 753
6.09/6.15	c 1.71274 45.8242 2773 398640
6.09/6.15	o 748
6.09/6.16	c 1.71474 45.8242 2773 401027
6.09/6.16	o 742
6.09/6.18	c 1.71874 46.1406 2775 404569
6.09/6.18	o 731
6.09/6.19	c 1.72274 46.1406 2779 408337
6.09/6.19	o 723
6.19/6.26	c 1.73673 46.1406 2808 409868
6.19/6.26	o 722
6.19/6.27	c 1.73873 46.1406 2810 410466
6.19/6.27	o 721
6.19/6.28	c 1.74174 46.1406 2811 411936
6.19/6.28	o 715
6.29/6.30	c 1.74573 46.1406 2815 413117
6.29/6.30	o 709
6.29/6.33	c 1.75573 46.1406 2825 415010
6.29/6.33	o 696
6.29/6.36	c 1.76373 46.1406 2850 415643
6.29/6.36	o 695
6.29/6.37	c 1.76973 46.1406 2853 416653
6.29/6.37	o 686
6.29/6.38	c 1.77173 46.1406 2854 417411
6.29/6.38	o 684
6.29/6.39	c 1.77673 46.1406 2855 418236
6.29/6.39	o 678
6.39/6.40	c 1.77873 46.1406 2856 419587
6.39/6.40	o 671
6.39/6.41	c 1.78073 46.1406 2862 420197
6.39/6.41	o 670
6.50/6.58	c 1.81072 46.1406 2930 420840
6.50/6.58	o 667
6.50/6.60	c 1.81672 46.1406 2935 421268
6.50/6.60	o 665
6.60/6.66	c 1.82772 46.1406 2956 421651
6.60/6.66	o 664
6.69/6.74	c 1.84272 46.1406 2994 422000
6.69/6.74	o 663
6.69/6.75	c 1.84772 46.1406 3002 422517
6.69/6.75	o 661
6.69/6.78	c 1.85572 46.1406 3009 422908
6.69/6.78	o 659
6.79/6.83	c 1.86372 46.1406 3023 423335
6.79/6.83	o 658
6.79/6.84	c 1.86772 46.1406 3025 423656
6.79/6.84	o 657
6.89/6.91	c 1.88471 46.1406 3051 424481
6.89/6.91	o 656
6.89/6.92	c 1.88871 46.1406 3052 425414
6.89/6.92	o 652
6.89/6.93	c 1.89171 46.1406 3053 426267
6.89/6.93	o 651
6.89/6.94	c 1.89571 46.1406 3054 427353
6.89/6.94	o 646
6.89/6.96	c 1.89771 46.1406 3056 428642
6.89/6.96	o 641
6.89/6.97	c 1.90171 46.1406 3057 429695
6.89/6.97	o 639
6.89/6.98	c 1.90371 46.1406 3057 430590
6.89/6.98	o 636
6.99/7.00	c 1.91171 46.1406 3061 431703
6.99/7.00	o 633
6.99/7.02	c 1.91671 46.1406 3065 432206
6.99/7.02	o 632
6.99/7.03	c 1.91971 46.1406 3067 433206
6.99/7.03	o 631
6.99/7.06	c 1.92471 46.1406 3074 436336
6.99/7.06	o 628
6.99/7.08	c 1.93271 46.1406 3082 437457
6.99/7.08	o 625
7.29/7.38	c 1.9687 46.1406 1633 439623
7.29/7.38	o 618
7.39/7.40	c 1.9757 46.1406 1641 440056
7.39/7.40	o 617
7.49/7.58	c 2.01669 46.1406 1766 441277
7.49/7.58	o 614
7.59/7.68	c 2.03569 46.1406 1818 441930
7.59/7.68	o 610
7.59/7.70	c 2.04269 46.1406 1822 442601
7.59/7.70	o 606
7.70/7.71	c 2.04569 46.1406 1822 443326
7.70/7.71	o 604
7.70/7.72	c 2.04969 46.1406 1822 444059
7.70/7.72	o 601
7.70/7.73	c 2.05269 46.1406 1822 444797
7.70/7.73	o 595
7.70/7.74	c 2.05669 46.1406 1822 446024
7.70/7.74	o 580
7.70/7.75	c 2.05969 46.1406 1824 447903
7.70/7.75	o 579
7.70/7.76	c 2.06169 46.1406 1824 448950
7.70/7.76	o 577
7.70/7.78	c 2.06569 46.1406 1827 449624
7.70/7.78	o 576
7.70/7.79	c 2.06868 46.1406 1831 450527
7.70/7.79	o 571
7.90/7.92	c 2.08668 46.1406 1878 451032
7.90/7.92	o 570
7.90/7.94	c 2.09168 46.1406 1881 452183
7.90/7.94	o 563
7.90/7.95	c 2.09468 46.1406 1889 454103
7.90/7.95	o 550
7.90/7.96	c 2.09868 46.1406 1890 455264
7.90/7.96	o 548
7.90/7.98	c 2.10168 46.1406 1893 456964
7.90/7.98	o 547
7.90/7.99	c 2.10368 46.1406 1894 457753
7.90/7.99	o 544
7.99/8.00	c 2.10768 46.1406 1898 458929
7.99/8.00	o 543
7.99/8.01	c 2.11168 46.1406 1900 461153
7.99/8.01	o 519
7.99/8.02	c 2.11568 46.1406 1901 462534
7.99/8.02	o 508
7.99/8.03	c 2.11968 46.1406 1902 464532
7.99/8.03	o 484
7.99/8.04	c 2.12168 46.1406 1903 466247
7.99/8.04	o 476
7.99/8.05	c 2.12568 46.1406 1905 467461
7.99/8.05	o 462
7.99/8.06	c 2.12768 46.1406 1906 468064
7.99/8.06	o 457
7.99/8.09	c 2.13468 46.1406 1914 468886
7.99/8.09	o 454
8.09/8.16	c 2.15567 46.1406 1946 469338
8.09/8.16	o 453
8.20/8.24	c 2.17367 46.1406 1994 469836
8.20/8.24	o 452
8.20/8.25	c 2.17967 46.1406 1996 470392
8.20/8.25	o 450
8.20/8.27	c 2.18567 46.1406 1999 471000
8.20/8.27	o 443
8.20/8.28	c 2.18967 46.1406 2002 471869
8.20/8.28	o 436
8.29/8.32	c 2.19567 46.1406 2016 472868
8.29/8.32	o 433
8.29/8.33	c 2.19966 46.1406 2018 473202
8.29/8.33	o 432
8.29/8.34	c 2.20366 46.1406 2020 473686
8.29/8.34	o 429
8.29/8.36	c 2.20866 46.1406 2026 474174
8.29/8.36	o 426
8.29/8.37	c 2.21266 46.1406 2029 474568
8.29/8.37	o 424
8.29/8.39	c 2.21666 46.1406 2029 474791
8.29/8.39	o 423
8.39/8.41	c 2.22166 46.1406 2035 475706
8.39/8.41	o 421
8.39/8.43	c 2.22566 46.1406 2037 476311
8.39/8.43	o 416
8.39/8.44	c 2.23066 46.1406 2041 476569
8.39/8.44	o 415
8.39/8.45	c 2.23466 46.1406 2042 476846
8.39/8.45	o 414
8.39/8.47	c 2.24066 46.1406 2045 477272
8.39/8.47	o 413
8.49/8.52	c 2.24666 46.1406 2069 477899
8.49/8.52	o 412
8.49/8.53	c 2.25166 46.1406 2071 478414
8.49/8.53	o 411
8.49/8.55	c 2.25666 46.1406 2075 478792
8.49/8.55	o 410
8.49/8.56	c 2.25966 46.1406 2076 479284
8.49/8.56	o 407
8.49/8.58	c 2.26465 46.1406 2080 479463
8.49/8.58	o 406
8.49/8.59	c 2.27065 46.1406 2082 479977
8.49/8.59	o 405
8.60/8.62	c 2.27565 46.1406 2085 480258
8.60/8.62	o 404
8.60/8.63	c 2.27965 46.1406 2086 480702
8.60/8.63	o 403
8.60/8.64	c 2.28265 46.1406 2086 481419
8.60/8.64	o 397
8.60/8.65	c 2.28665 46.1406 2087 481967
8.60/8.65	o 393
8.60/8.66	c 2.29065 46.1406 2087 482421
8.60/8.66	o 391
8.60/8.67	c 2.29465 46.1406 2088 483100
8.60/8.67	o 386
8.60/8.68	c 2.29765 46.1406 2088 483807
8.60/8.68	o 379
8.60/8.69	c 2.30065 46.1406 2088 484158
8.60/8.69	o 378
8.70/8.70	c 2.30465 46.1406 2090 484770
8.70/8.70	o 375
8.70/8.72	c 2.30865 46.1406 2093 485248
8.70/8.72	o 374
8.70/8.73	c 2.31365 46.1406 2096 485739
8.70/8.73	o 373
8.70/8.75	c 2.32065 46.1406 2098 486165
8.70/8.75	o 372
8.70/8.77	c 2.32465 46.1406 2100 486558
8.70/8.77	o 371
8.70/8.78	c 2.32765 46.1406 2100 487008
8.70/8.78	o 370
8.70/8.79	c 2.33264 46.1406 2101 487501
8.70/8.79	o 369
8.70/8.80	c 2.33764 46.1406 2102 488162
8.70/8.80	o 368
8.79/8.82	c 2.34364 46.1406 2106 488542
8.79/8.82	o 367
8.79/8.83	c 2.34964 46.1406 2110 489144
8.79/8.83	o 361
8.79/8.85	c 2.35264 46.1406 2112 489802
8.79/8.85	o 360
8.79/8.87	c 2.36064 46.1406 2123 490207
8.79/8.87	o 359
8.79/8.88	c 2.36464 46.1406 2126 490597
8.79/8.88	o 358
8.89/8.90	c 2.36864 46.1406 2129 490810
8.89/8.90	o 357
8.89/8.91	c 2.37064 46.1406 2130 491056
8.89/8.91	o 356
8.89/8.92	c 2.37464 46.1406 2132 491343
8.89/8.92	o 355
9.09/9.12	c 2.40463 46.1406 2237 491984
9.09/9.12	o 354
9.09/9.13	c 2.40863 46.1406 2238 492706
9.09/9.13	o 348
9.09/9.14	c 2.41263 46.1406 2239 493208
9.09/9.14	o 346
9.09/9.15	c 2.41663 46.1406 2239 493610
9.09/9.15	o 342
9.09/9.16	c 2.41963 46.1406 2240 493860
9.09/9.16	o 340
9.09/9.18	c 2.42563 46.1406 2241 494014
9.09/9.18	o 339
9.09/9.20	c 2.42963 46.1406 2245 494241
9.09/9.20	o 338
9.19/9.21	c 2.43563 46.1406 2245 495013
9.19/9.21	o 329
9.19/9.22	c 2.43863 46.1406 2245 495431
9.19/9.22	o 326
9.19/9.23	c 2.44263 46.1406 2245 496100
9.19/9.23	o 318
9.19/9.24	c 2.44663 46.1406 2245 496349
9.19/9.24	o 317
9.19/9.25	c 2.45263 46.1406 2245 496866
9.19/9.25	o 312
9.19/9.26	c 2.45663 46.1406 2245 497103
9.19/9.26	o 311
9.19/9.27	c 2.45963 46.1406 2245 497705
9.19/9.27	o 306
9.19/9.28	c 2.46462 46.1406 2245 498344
9.19/9.28	o 298
9.19/9.29	c 2.47262 46.1406 2245 498567
9.19/9.29	o 297
9.29/9.30	c 2.47762 46.1406 2245 498907
9.29/9.30	o 296
9.29/9.31	c 2.48662 46.1406 2245 499479
9.29/9.31	o 289
9.29/9.32	c 2.49162 46.1406 2245 499762
9.29/9.32	o 287
9.29/9.33	c 2.49462 46.1406 2245 499953
9.29/9.33	o 286
9.29/9.34	c 2.49762 46.1406 2245 500140
9.29/9.34	o 285
9.29/9.36	c 2.50562 46.1406 2247 500764
9.29/9.36	o 279
9.29/9.37	c 2.51262 46.1406 2250 500919
9.29/9.37	o 278
9.29/9.38	c 2.51862 46.1406 2252 501115
9.29/9.38	o 277
9.29/9.40	c 2.52462 46.1406 2252 501277
9.29/9.40	o 276
9.39/9.41	c 2.52861 46.1406 2252 501429
9.39/9.41	o 275
9.39/9.42	c 2.53461 46.1406 2252 501732
9.39/9.42	o 272
9.39/9.43	c 2.53961 46.1406 2252 501882
9.39/9.43	o 271
9.39/9.44	c 2.54261 46.1406 2252 502036
9.39/9.44	o 270
9.39/9.45	c 2.54861 46.1406 2252 502243
9.39/9.45	o 269
9.39/9.46	c 2.55461 46.1406 2252 502469
9.39/9.46	o 267
9.39/9.47	c 2.55961 46.1406 2252 502620
9.39/9.47	o 266
9.39/9.48	c 2.56461 46.1406 2252 502770
9.39/9.48	o 265
9.39/9.49	c 2.57061 46.1406 2253 502934
9.39/9.49	o 264
9.49/9.51	c 2.58061 46.1406 2256 503331
9.49/9.51	o 263
9.49/9.52	c 2.58761 46.1406 2258 503643
9.49/9.52	o 262
9.49/9.55	c 2.6006 46.1406 2273 504116
9.49/9.55	o 261
9.49/9.57	c 2.6086 46.1406 2275 504270
9.49/9.57	o 260
9.49/9.58	c 2.6136 46.1406 2279 504630
9.49/9.58	o 258
9.49/9.59	c 2.6206 46.1406 2288 505467
9.49/9.59	o 250
9.60/9.61	c 2.6256 46.1406 2297 505670
9.60/9.61	o 249
9.60/9.62	c 2.6356 46.1406 2298 505853
9.60/9.62	o 248
9.60/9.64	c 2.6396 46.1406 2298 505958
9.60/9.64	o 247
9.60/9.65	c 2.6476 46.1406 2306 506128
9.60/9.65	o 246
9.60/9.67	c 2.6536 46.1406 2308 506326
9.60/9.67	o 245
9.60/9.68	c 2.65959 46.1406 2312 506523
9.60/9.68	o 244
9.60/9.69	c 2.66559 46.1406 2314 507130
9.60/9.69	o 236
9.69/9.70	c 2.67059 46.1406 2315 507252
9.69/9.70	o 235
9.69/9.72	c 2.67659 46.1406 2320 507566
9.69/9.72	o 232
9.69/9.73	c 2.68259 46.1406 2320 508073
9.69/9.73	o 227
9.69/9.74	c 2.68559 46.1406 2320 508637
9.69/9.74	o 220
9.69/9.75	c 2.69159 46.1406 2320 509132
9.69/9.75	o 214
9.69/9.76	c 2.69959 46.1406 2320 509349
9.69/9.76	o 213
9.69/9.77	c 2.70359 46.1406 2320 509521
9.69/9.77	o 212
9.69/9.78	c 2.70859 46.1406 2320 509835
9.69/9.78	o 209
9.69/9.80	c 2.71359 46.1406 2320 510003
9.69/9.80	o 208
9.80/9.81	c 2.71859 46.1406 2320 510242
9.80/9.81	o 207
9.80/9.82	c 2.72458 46.1406 2320 510490
9.80/9.82	o 205
9.80/9.83	c 2.73058 46.1406 2320 511226
9.80/9.83	o 195
9.80/9.84	c 2.73658 46.1406 2320 511750
9.80/9.84	o 188
9.80/9.85	c 2.74358 46.1406 2320 512120
9.80/9.85	o 185
9.80/9.86	c 2.74758 46.1406 2320 512895
9.80/9.86	o 174
9.80/9.87	c 2.74958 46.1406 2320 513187
9.80/9.87	o 171
9.80/9.88	c 2.75158 46.1406 2320 513555
9.80/9.88	o 167
9.80/9.89	c 2.75758 46.1406 2320 513749
9.80/9.89	o 166
9.80/9.90	c 2.76258 46.1406 2320 513956
9.80/9.90	o 165
9.90/9.91	c 2.76658 46.1406 2320 514633
9.90/9.91	o 155
9.90/9.92	c 2.77258 46.1406 2320 514922
9.90/9.92	o 152
9.90/9.94	c 2.78158 46.1406 2321 515285
9.90/9.94	o 149
9.90/9.95	c 2.78858 46.1406 2322 515438
9.90/9.95	o 148
9.90/9.96	c 2.79257 46.1406 2326 515662
9.90/9.96	o 147
9.90/9.97	c 2.79757 46.1406 2326 515782
9.90/9.97	o 146
9.90/9.98	c 2.80557 46.1406 2327 515986
9.90/9.98	o 145
9.90/9.99	c 2.81057 46.1406 2327 516137
9.90/9.99	o 144
9.99/10.01	c 2.81857 46.1406 2331 516665
9.99/10.01	o 140
9.99/10.03	c 2.82757 46.1406 2337 516823
9.99/10.03	o 139
9.99/10.06	c 2.84057 46.1406 2351 517055
9.99/10.06	o 138
9.99/10.07	c 2.84857 46.1406 2353 517686
9.99/10.07	o 130
9.99/10.09	c 2.85656 46.1406 2356 517834
9.99/10.09	o 129
10.10/10.10	c 2.86256 46.1406 2360 518367
10.10/10.10	o 123
10.10/10.11	c 2.86956 46.1406 2361 518838
10.10/10.11	o 120
10.10/10.12	c 2.87656 46.1406 2361 518967
10.10/10.12	o 119
10.10/10.13	c 2.88056 46.1406 2364 519113
10.10/10.13	o 118
10.10/10.14	c 2.88756 46.1406 2364 519224
10.10/10.14	o 117
10.10/10.15	c 2.89256 46.1406 2364 519365
10.10/10.15	o 116
10.10/10.16	c 2.89656 46.1406 2365 519495
10.10/10.16	o 115
10.10/10.17	c 2.90056 46.1406 2365 519700
10.10/10.17	o 113
10.10/10.18	c 2.90556 46.1406 2367 519815
10.10/10.18	o 112
10.10/10.19	c 2.91056 46.1406 2367 519929
10.10/10.19	o 111
10.20/10.20	c 2.91356 46.1406 2368 520072
10.20/10.20	o 110
10.20/10.22	c 2.92056 46.1406 2371 520184
10.20/10.22	o 109
10.20/10.23	c 2.92256 46.1406 2371 520292
10.20/10.23	o 108
10.20/10.25	c 2.92755 46.1406 2374 520479
10.20/10.25	o 107
10.20/10.26	c 2.93155 46.1406 2376 520624
10.20/10.26	o 106
10.20/10.27	c 2.93555 46.1406 2378 520724
10.20/10.27	o 105
10.20/10.29	c 2.94055 46.1406 2387 520852
10.20/10.29	o 104
10.29/10.30	c 2.94355 46.1406 2388 521193
10.29/10.30	o 100
10.29/10.31	c 2.94655 46.1406 2389 521390
10.29/10.31	o 98
10.29/10.33	c 2.94955 46.1406 2389 521583
10.29/10.33	o 96
10.29/10.34	c 2.95255 46.1406 2390 521766
10.29/10.34	o 95
10.29/10.35	c 2.95655 46.1406 2391 521855
10.29/10.35	o 94
10.29/10.36	c 2.96055 46.1406 2391 521955
10.29/10.36	o 93
10.29/10.37	c 2.96355 46.1406 1151 522070
10.29/10.37	o 92
10.29/10.38	c 2.96655 46.1406 1153 522241
10.29/10.38	o 91
10.29/10.39	c 2.97055 46.1406 1153 522357
10.29/10.39	o 90
10.39/10.40	c 2.97555 46.1406 1153 522646
10.39/10.40	o 87
10.39/10.41	c 2.97955 46.1406 1153 522876
10.39/10.41	o 85
10.39/10.42	c 2.98255 46.1406 1153 523040
10.39/10.42	o 84
10.39/10.43	c 2.98754 46.1406 694 523159
10.39/10.43	o 83
10.39/10.44	c 2.99154 46.1406 695 523610
10.39/10.44	o 77
10.39/10.45	c 2.99654 46.1406 698 523727
10.39/10.45	o 76
10.39/10.46	c 2.99854 46.1406 700 523843
10.39/10.46	o 75
10.39/10.47	c 3.00454 46.1406 406 524040
10.39/10.47	o 74
10.39/10.48	c 3.00654 46.1406 409 524160
10.39/10.48	o 73
10.39/10.49	c 3.01254 46.1406 410 524275
10.39/10.49	o 72
10.49/10.50	c 3.01654 46.1406 406 524373
10.49/10.50	o 71
10.49/10.51	c 3.02054 46.1406 409 524545
10.49/10.51	o 70
10.49/10.52	c 3.02454 46.1406 409 524620
10.49/10.52	o 69
10.49/10.54	c 3.02954 46.1406 413 524748
10.49/10.54	o 68
10.49/10.55	c 3.03354 46.1406 398 524917
10.49/10.55	o 67
10.49/10.56	c 3.03654 46.1406 399 525129
10.49/10.56	o 65
10.49/10.57	c 3.04154 46.1406 401 525291
10.49/10.57	o 64
10.49/10.58	c 3.04654 46.1406 406 525413
10.49/10.58	o 63
10.49/10.58	c 3.05154 46.1406 406 525673
10.49/10.58	o 60
10.49/10.59	c 3.05454 46.1406 406 525752
10.49/10.59	o 59
10.59/10.60	c 3.05854 46.1406 406 525859
10.59/10.60	o 58
10.59/10.61	c 3.06253 46.1406 399 525966
10.59/10.61	o 57
10.59/10.61	c 3.06653 46.1406 399 526204
10.59/10.61	o 54
10.59/10.62	c 3.07053 46.1406 399 526278
10.59/10.62	o 53
10.59/10.63	c 3.07453 46.1406 399 526368
10.59/10.63	o 52
10.59/10.64	c 3.07853 46.1406 387 526448
10.59/10.64	o 51
10.59/10.64	c 3.08053 46.1406 387 526542
10.59/10.64	o 50
10.59/10.65	c 3.08353 46.1406 387 526613
10.59/10.65	o 49
10.59/10.66	c 3.08453 46.1406 389 526763
10.59/10.66	o 48
10.59/10.66	c 3.08753 46.1406 389 526849
10.59/10.66	o 47
10.59/10.67	c 3.09153 46.1406 381 526935
10.59/10.67	o 46
10.59/10.68	c 3.09653 46.1406 384 527089
10.59/10.68	o 45
10.59/10.68	c 3.09953 46.1406 385 527208
10.59/10.68	o 44
10.59/10.69	c 3.10253 46.1406 386 527337
10.59/10.69	o 43
10.69/10.70	c 3.10453 46.1406 380 527463
10.69/10.70	o 42
10.69/10.70	c 3.10853 46.1406 381 527578
10.69/10.70	o 41
10.69/10.71	c 3.11153 46.1406 381 527664
10.69/10.71	o 40
10.69/10.72	c 3.11353 46.1406 381 527754
10.69/10.72	o 39
10.69/10.72	c 3.11653 46.1406 381 527837
10.69/10.72	o 38
10.69/10.73	c 3.11952 46.1406 382 527961
10.69/10.73	o 37
10.69/10.73	c 3.12453 46.1406 382 528049
10.69/10.73	o 36
10.69/10.74	c 3.12852 46.1406 382 528145
10.69/10.74	o 35
10.69/10.74	c 3.13152 46.1406 382 528232
10.69/10.74	o 34
10.69/10.75	c 3.13552 46.1406 382 528309
10.69/10.75	o 33
10.69/10.76	c 3.13952 46.1406 352 528419
10.69/10.76	o 32
10.69/10.76	c 3.14552 46.1406 354 528575
10.69/10.76	o 31
10.69/10.77	c 3.14952 46.1406 355 528665
10.69/10.77	o 30
10.69/10.77	c 3.15352 46.1406 355 528749
10.69/10.77	o 29
10.69/10.78	c 3.15552 46.1406 355 528834
10.69/10.78	o 28
10.69/10.79	c 3.16052 46.1406 359 528983
10.69/10.79	o 27
10.79/10.81	c 3.17552 46.1406 397 529163
10.79/10.81	o 26
10.79/10.82	c 3.18052 46.1406 400 529232
10.79/10.82	o 25
10.79/10.82	c 3.18252 46.1406 402 529310
10.79/10.82	o 24
10.79/10.83	c 3.18651 46.1406 403 529381
10.79/10.83	o 23
10.79/10.83	c 3.18952 46.1406 403 529453
10.79/10.83	o 22
10.79/10.84	c 3.19251 46.1406 403 529522
10.79/10.84	o 21
10.79/10.85	c 3.20051 46.1406 424 529692
10.79/10.85	o 20
10.79/10.85	c 3.20351 46.1406 425 529774
10.79/10.85	o 19
10.79/10.86	c 3.20751 46.1406 427 529857
10.79/10.86	o 18
10.79/10.86	c 3.20851 46.1406 431 529935
10.79/10.86	o 17
10.79/10.87	c 3.21151 46.1406 426 530017
10.79/10.87	o 16
10.79/10.87	c 3.21451 46.1406 426 530127
10.79/10.87	o 15
10.79/10.88	c 3.21751 46.1406 426 530211
10.79/10.88	o 14
10.79/10.88	c 3.21951 46.1406 426 530287
10.79/10.88	o 13
10.79/10.88	c 3.22251 46.1406 426 530371
10.79/10.88	o 12
10.79/10.89	c 3.22451 46.1406 426 530441
10.79/10.89	o 11
10.79/10.89	c 3.22651 46.1406 426 530616
10.79/10.89	o 9
10.79/10.90	c 3.23051 46.1406 420 530699
10.79/10.90	o 8
10.79/10.90	c 3.23351 46.1406 420 530771
10.79/10.90	o 7
10.90/10.90	c 3.23551 46.1406 420 530851
10.90/10.90	o 6
10.90/10.91	c 3.23751 46.1406 420 530920
10.90/10.91	o 5
10.90/10.91	c 3.23951 46.1406 420 530993
10.90/10.91	o 4
10.90/10.91	c 3.24251 46.1406 422 531076
10.90/10.91	o 3
10.90/10.92	c 3.24451 46.1406 424 531252
10.90/10.92	o 1
10.90/10.93	c 3.2575 46.1406 524 531398
10.90/10.93	s OPTIMUM FOUND
10.90/10.93	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 -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 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 -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 -x107 -x108 -x109 x110 x111 -x112 -x113 -x114 x115 -x116 x117 x118 -x119 -x120 -x121 x122 -x123 x124 x125 -x126 x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 x143 -x144 -x145 x146 x147 x148 x149 x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 -x178 x179 x180 -x181 -x182 x183 x184 x185 x186 x187 x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 x196 x197 x198 -x199 -x200 x201 x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 x214 x215 -x216 x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 x231 x232 x233 x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 x247 x248 x249 x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 x259 x260 x261 x262 -x263 -x264 x265 -x266 -x267 x268 x269 -x270 -x271 x272 -x273 x274 x275 -x276 -x277 x278 x279 x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 x288 x289 x290 x291 x292 -x293 -x294 x295 -x296 x297 x298 x299 -x300 -x301 x302 x303 x304 -x305 -x306 -x307 -x308 -x309 x310 x311 x312 -x313 x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 -x330 -x331 x332 x333 x334 x335 -x336 x337 -x338 -x339 -x340 x341 x342 x343 -x344 x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 x357 -x358 -x359 x360 -x361 x362 x363 -x364 -x365 x366 x367 -x368 -x369 x370 x371 x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 -x415 -x416 -x417 -x418 x419 -x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 x429 x430 x431 -x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 x443 x444 x445 -x446 -x447 -x448 x449 x450 -x451 -x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 x571 x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 x620 x621 x622 x623 x624 x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 x638 x639 x640 x641 -x642 x643 -x644 x645 x646 -x647 x648 -x649 x650 x651 x652 x653 -x654 -x655 -x656 x657 x658 x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 x687 x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 x702 x703 x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 x734 x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 x746 x747 x748 x749 x750 x751 x752 -x753 -x754 x755 -x756 x757 x758 x759 -x760 -x761 -x762 -x763 x764 x765 x766 x767 x768 x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 x873 x874 x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 -x934 -x935 -x936 -x937 -x938 x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 x970 -x971 -x972 -x973 -x974 -x975 x976 x977 x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 x1015 x1016 x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 x1079 x1080 x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 x1194 -x1195 -x1196 x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 x1222 -x1223 -x1224 x1225 x1226 x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 x1392 x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 x1407 -x1408 -x1409 x1410 -x1411 x1412 x1413 x1414 x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 x1445 x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 x1457 -x1458 x1459 x1460 x1461 x1462 -x1463 -x1464 x1465 -x1466 x1467 x1468 x1469 -x1470 -x1471 x1472 x1473 -x1474 -x1475 x1476 x1477 x1478 x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 x1582 x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 x1655 x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 x1667 x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 x1692 x1693 -x1694 x1695 x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 x1707 x1708 -x1709 x1710 x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 x1731 x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 x1752 -x1753 -x1754 -x1755 -x1756 x1757 x1758 x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 x1793 x1794 -x1795 -x1796 x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699136-1278465265/watcher-2699136-1278465265 -o /tmp/evaluation-result-2699136-1278465265/solver-2699136-1278465265 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699136-1278465265.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.99 1.96 3/178 12929
/proc/meminfo: memFree=29763956/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=2136 CPUtime=0
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 256 0 0 0 0 0 0 0 21 0 1 0 14740570 2187264 175 4089446400 134512640 136422188 4289312368 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12929/statm: 534 175 144 467 0 65 0

[startup+0.0563549 s]
/proc/loadavg: 1.93 1.99 1.96 3/178 12929
/proc/meminfo: memFree=29763956/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=10660 CPUtime=0.05
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 2377 0 0 0 5 0 0 0 21 0 1 0 14740570 10915840 2296 4089446400 134512640 136422188 4289312368 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 2665 2301 193 467 0 2196 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10660

[startup+0.100349 s]
/proc/loadavg: 1.93 1.99 1.96 3/178 12929
/proc/meminfo: memFree=29763956/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=22800 CPUtime=0.09
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 5415 0 0 0 9 0 0 0 21 0 1 0 14740570 23347200 5235 4089446400 134512640 136422188 4289312368 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 5733 5238 193 467 0 5264 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22800

[startup+0.300309 s]
/proc/loadavg: 1.93 1.99 1.96 3/178 12929
/proc/meminfo: memFree=29763956/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=46524 CPUtime=0.29
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 11529 0 0 0 26 3 0 0 21 0 1 0 14740570 47640576 10699 4089446400 134512640 136422188 4289312368 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 11631 10699 236 467 0 11162 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46524

[startup+0.700238 s]
/proc/loadavg: 1.93 1.99 1.96 3/178 12929
/proc/meminfo: memFree=29763956/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=46524 CPUtime=0.69
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 11533 0 0 0 33 36 0 0 22 0 1 0 14740570 47640576 10700 4089446400 134512640 136422188 4289312368 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 11631 10700 237 467 0 11162 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46524

[startup+1.5001 s]
/proc/loadavg: 1.93 1.99 1.96 3/179 12930
/proc/meminfo: memFree=29722036/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=46524 CPUtime=1.49
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 11545 0 0 0 51 98 0 0 25 0 1 0 14740570 47640576 10704 4089446400 134512640 136422188 4289312368 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 11631 10704 237 467 0 11162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46524

[startup+3.10082 s]
/proc/loadavg: 1.93 1.99 1.96 3/179 12930
/proc/meminfo: memFree=29721912/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=46656 CPUtime=3.09
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 11628 0 0 0 94 215 0 0 25 0 1 0 14740570 47775744 10745 4089446400 134512640 136422188 4289312368 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 11664 10745 237 467 0 11195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46656

[startup+6.30026 s]
/proc/loadavg: 1.93 1.99 1.96 3/179 12930
/proc/meminfo: memFree=29722216/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=47244 CPUtime=6.29
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 11825 0 0 0 174 455 0 0 21 0 1 0 14740570 48377856 10865 4089446400 134512640 136422188 4289312368 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 11811 10865 237 467 0 11342 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47244

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

[startup+9.50069 s]
/proc/loadavg: 1.94 1.99 1.96 3/179 12930
/proc/meminfo: memFree=29722456/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=47244 CPUtime=9.49
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 11962 0 0 0 257 692 0 0 25 0 1 0 14740570 48377856 10867 4089446400 134512640 136422188 4289312368 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 11811 10867 237 467 0 11342 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 47244

[startup+10.3006 s]
/proc/loadavg: 1.94 1.99 1.96 3/179 12931
/proc/meminfo: memFree=29722332/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=47244 CPUtime=10.29
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 12033 0 0 0 294 735 0 0 25 0 1 0 14740570 48377856 10876 4089446400 134512640 136422188 4289312368 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 11811 10876 237 467 0 11342 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 47244

[startup+10.7005 s]
/proc/loadavg: 1.94 1.99 1.96 3/179 12931
/proc/meminfo: memFree=29722332/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=47244 CPUtime=10.69
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 12076 0 0 0 310 759 0 0 25 0 1 0 14740570 48377856 10876 4089446400 134512640 136422188 4289312368 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 11811 10876 237 467 0 11342 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 47244

[startup+10.9004 s]
/proc/loadavg: 1.94 1.99 1.96 3/179 12931
/proc/meminfo: memFree=29722084/32950940 swapFree=67111528/67111528
[pid=12929] ppid=12927 vsize=47244 CPUtime=10.9
/proc/12929/stat : 12929 (pbct) R 12927 12929 12330 0 -1 4202496 12111 0 0 0 323 767 0 0 25 0 1 0 14740570 48377856 10876 4089446400 134512640 136422188 4289312368 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12929/statm: 11811 10876 237 467 0 11342 0
Current children cumulated CPU time (s) 10.9
Current children cumulated vsize (KiB) 47244

Child status: 0
Real time (s): 11.005
CPU time (s): 11.0053
CPU user time (s): 3.32649
CPU system time (s): 7.67883
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 47244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.32649
system time used= 7.67883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12122
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= 2
involuntary context switches= 12

runsolver used 0.024996 second user time and 0.051992 second system time

The end

Launcher Data 

Begin job on node117 at 2010-07-07 03:14:25
IDJOB=2699136
IDBENCH=79335
IDSOLVER=1212
FILE ID=node117/2699136-1278465265
PBS_JOBID= 11233759
Free space on /tmp= 73764 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699136-1278465265/watcher-2699136-1278465265 -o /tmp/evaluation-result-2699136-1278465265/solver-2699136-1278465265 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699136-1278465265.wbo

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

MD5SUM BENCH= 17c8063899ee49ebb532fe8c9b769f44
RANDOM SEED=2132946763

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5251.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      29764856 kB
Buffers:        110924 kB
Cached:        2708240 kB
SwapCached:          0 kB
Active:        1255276 kB
Inactive:      1779072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      29764856 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1980 kB
Writeback:           0 kB
AnonPages:      214352 kB
Mapped:          15456 kB
Slab:            87492 kB
PageTables:       5500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   354212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73764 MiB
End job on node117 at 2010-07-07 03:14:36