Trace number 2700315

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 82.6914 82.6924

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh16_wcsp.wbo
MD5SUM8941aeee87a1a646f79f1fa97035d3b2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.042992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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.00	c constraints 100/0 clauses 0/850 units 0
0.00/0.00	c vars 200
0.00/0.04	c 0.037994 9.94922 1 1947
0.00/0.04	o 29848
0.03/0.04	c 0.038994 10.1172 1 2430
0.03/0.04	o 29389
0.03/0.04	c 0.038994 10.1172 1 2684
0.03/0.04	o 29204
0.03/0.04	c 0.039993 10.1172 2 3585
0.03/0.04	o 27355
0.03/0.04	c 0.039993 10.1172 2 4482
0.03/0.04	o 12585
0.03/0.04	c 0.040993 10.1172 3 5139
0.03/0.04	o 12182
0.03/0.05	c 0.041993 10.1172 6 5389
0.03/0.05	o 12153
0.03/0.05	c 0.041993 10.1172 54 5761
0.03/0.05	o 12113
1.49/1.57	c 0.549916 10.3672 591 27471
1.49/1.57	o 12049
1.89/1.97	c 0.619905 10.3672 666 33240
1.89/1.97	o 11985
2.10/2.19	c 0.6559 10.3672 627 37350
2.10/2.19	o 11964
2.59/2.63	c 0.726889 10.4922 933 41411
2.59/2.63	o 11890
3.09/3.15	c 0.817875 10.4922 631 48816
3.09/3.15	o 11807
3.09/3.20	c 0.827874 10.4922 531 49758
3.09/3.20	o 11695
3.80/3.80	c 0.951855 10.4922 589 58812
3.80/3.80	o 11636
4.09/4.10	c 0.991849 10.4922 559 63715
4.09/4.10	o 11581
4.09/4.11	c 0.994848 10.4922 628 64001
4.09/4.11	o 11579
4.79/4.85	c 1.12483 10.4922 513 74301
4.79/4.85	o 11530
4.89/4.92	c 1.13283 10.4922 886 75560
4.89/4.92	o 11458
4.89/4.95	c 1.13683 10.4922 610 76226
4.89/4.95	o 11375
6.10/6.19	c 1.3338 10.4922 741 91380
6.10/6.19	o 11361
6.60/6.63	c 1.45678 10.4922 681 98117
6.60/6.63	o 11221
6.79/6.82	c 1.52377 10.4922 470 100630
6.79/6.82	o 11168
7.69/7.75	c 1.84372 10.6172 587 110201
7.69/7.75	o 11082
7.99/8.06	c 1.92771 10.6172 711 115551
7.99/8.06	o 11059
8.39/8.41	c 2.00069 10.6172 529 120926
8.39/8.41	o 10910
9.39/9.40	c 2.17167 10.6172 742 134361
9.39/9.40	o 10848
9.90/9.92	c 2.27465 10.6172 510 141099
9.90/9.92	o 10786
10.09/10.11	c 2.30465 10.6172 927 143662
10.09/10.11	o 10702
10.09/10.15	c 2.31065 10.6172 685 144387
10.09/10.15	o 10601
12.59/12.65	c 2.78558 10.7422 614 177609
12.59/12.65	o 10521
13.19/13.26	c 2.93055 10.7422 907 185547
13.19/13.26	o 10289
13.19/13.28	c 2.93955 10.7422 562 186065
13.19/13.28	o 10262
13.29/13.34	c 2.96655 10.7422 475 186909
13.29/13.34	o 10241
13.39/13.40	c 2.98455 10.7422 403 187844
13.39/13.40	o 10220
13.39/13.49	c 3.03354 10.7422 569 189510
13.39/13.49	o 10135
13.79/13.80	c 3.14852 10.7422 538 194251
13.79/13.80	o 10104
13.79/13.80	c 3.15052 10.7422 543 194479
13.79/13.80	o 10000
13.79/13.86	c 3.17852 10.7422 437 195684
13.79/13.86	o 9745
13.89/13.92	c 3.20351 10.7422 380 196858
13.89/13.92	o 9606
13.99/14.08	c 3.2595 10.7422 636 198553
13.99/14.08	o 9604
15.99/16.06	c 3.64545 10.7422 783 222020
15.99/16.06	o 9505
15.99/16.09	c 3.65144 10.7422 544 222660
15.99/16.09	o 9393
16.29/16.35	c 3.70444 10.7422 657 226218
16.29/16.35	o 9093
16.40/16.41	c 3.71443 10.7422 518 227042
16.40/16.41	o 9036
17.09/17.15	c 3.84341 10.7422 538 236272
17.09/17.15	o 9032
19.99/20.07	c 4.41233 10.7422 689 267670
19.99/20.07	o 8940
20.09/20.13	c 4.43633 10.7422 391 269059
20.09/20.13	o 8931
20.59/20.67	c 4.6093 10.7422 530 275222
20.59/20.67	o 8864
20.80/20.88	c 4.65529 10.7422 558 278397
20.80/20.88	o 8863
22.09/22.19	c 4.90125 10.7422 873 293174
22.09/22.19	o 8851
23.09/23.19	c 5.07223 10.7422 567 307736
23.09/23.19	o 8793
25.39/25.47	c 5.45217 10.8672 539 332366
25.39/25.47	o 8774
25.99/26.08	c 5.54216 10.8672 817 338635
25.99/26.08	o 8716
26.69/26.78	c 5.76912 10.8672 568 346341
26.69/26.78	o 8621
27.39/27.46	c 5.99009 10.8672 911 355708
27.39/27.46	o 8311
27.79/27.84	c 6.06208 10.8672 573 360479
27.79/27.84	o 8277
27.89/27.95	c 6.07907 10.8672 576 361782
27.89/27.95	o 8201
28.50/28.51	c 6.15906 10.8672 778 368338
28.50/28.51	o 8060
29.89/29.92	c 6.39403 10.8672 646 381299
29.89/29.92	o 8005
30.19/30.20	c 6.44002 10.8672 529 384762
30.19/30.20	o 7984
31.59/31.61	c 6.69798 10.8672 634 401681
31.59/31.61	o 7947
32.39/32.47	c 6.82796 10.8672 745 411364
32.39/32.47	o 7943
33.89/33.95	c 7.30589 10.8672 725 425318
33.89/33.95	o 7916
34.09/34.20	c 7.35288 10.8672 572 428141
34.09/34.20	o 7896
34.29/34.38	c 7.38588 10.8672 624 430313
34.29/34.38	o 7832
35.39/35.43	c 7.56485 10.8672 710 441496
35.39/35.43	o 7810
36.59/36.66	c 7.74382 10.8672 594 456387
36.59/36.66	o 7568
36.69/36.70	c 7.75482 10.8672 407 456916
36.69/36.70	o 7530
36.90/36.97	c 7.79382 10.8672 723 459629
36.90/36.97	o 7435
37.49/37.50	c 7.8808 10.8672 649 466526
37.49/37.50	o 7427
38.30/38.39	c 8.03078 10.9922 525 473742
38.30/38.39	o 7359
38.50/38.50	c 8.04678 10.9922 615 475085
38.50/38.50	o 7159
38.59/38.65	c 8.06077 10.9922 846 476566
38.59/38.65	o 7022
38.90/38.95	c 8.10277 10.9922 700 480111
38.90/38.95	o 6886
40.79/40.86	c 8.61169 10.9922 885 498328
40.79/40.86	o 6883
40.89/40.90	c 8.61469 10.9922 586 498815
40.89/40.90	o 6862
41.59/41.63	c 8.72067 10.9922 741 507283
41.59/41.63	o 6831
42.69/42.70	c 8.89365 10.9922 707 517072
42.69/42.70	o 6775
43.39/43.45	c 9.02363 10.9922 532 524785
43.39/43.45	o 6684
43.78/43.85	c 9.07862 10.9922 531 528822
43.78/43.85	o 6609
44.19/44.22	c 9.13461 10.9922 535 531832
44.19/44.22	o 6554
44.19/44.28	c 9.14461 10.9922 775 532501
44.19/44.28	o 6442
44.99/45.07	c 9.25759 10.9922 590 540693
44.99/45.07	o 6433
45.39/45.42	c 9.31458 10.9922 426 544662
45.39/45.42	o 6376
51.48/51.52	c 10.5814 10.9922 898 600283
51.48/51.52	o 6364
52.39/52.43	c 10.7184 10.9922 549 610485
52.39/52.43	o 6363
52.69/52.76	c 10.8224 10.9922 652 613544
52.69/52.76	o 6282
53.59/53.65	c 11.1403 11.1172 691 622520
53.59/53.65	o 6277
53.69/53.79	c 11.1893 11.1172 576 624177
53.69/53.79	o 6276
54.39/54.41	c 11.3063 11.1172 614 630246
54.39/54.41	o 6227
55.09/55.19	c 11.4443 11.1172 694 639077
55.09/55.19	o 6212
55.39/55.47	c 11.4833 11.1172 702 642153
55.39/55.47	o 6184
57.89/57.94	c 11.8522 11.1172 612 663429
57.89/57.94	o 6176
57.89/57.98	c 11.8542 11.1172 399 663956
57.89/57.98	o 6078
58.79/58.84	c 11.9802 11.1172 707 672629
58.79/58.84	o 5948
59.19/59.21	c 12.0912 11.1172 566 676244
59.19/59.21	o 5921
60.09/60.10	c 12.3901 11.1172 506 684020
60.09/60.10	o 5911
61.39/61.45	c 12.6261 11.1172 429 696420
61.39/61.45	o 5740
61.79/61.84	c 12.6751 11.1172 792 701111
61.79/61.84	o 5642
61.99/62.05	c 12.7071 11.1172 520 703645
61.99/62.05	o 5355
63.59/63.63	c 12.927 11.1172 410 717907
63.59/63.63	o 5319
63.89/63.91	c 12.966 11.1172 742 720882
63.89/63.91	o 5207
64.00/64.03	c 12.981 11.1172 475 722225
64.00/64.03	o 5197
64.09/64.11	c 12.988 11.1172 752 723017
64.09/64.11	o 5136
64.09/64.13	c 12.991 11.1172 422 723165
64.09/64.13	o 5129
64.80/64.83	c 13.116 11.1172 594 729139
64.80/64.83	o 5008
64.90/64.98	c 13.134 11.1172 726 730465
64.90/64.98	o 4942
66.49/66.56	c 13.5939 11.1172 951 744838
66.49/66.56	o 4931
67.79/67.88	c 13.8889 11.1172 736 756461
67.79/67.88	o 4918
67.99/68.02	c 13.9029 11.1172 447 757749
67.99/68.02	o 4777
68.19/68.23	c 13.9339 11.1172 821 759721
68.19/68.23	o 4665
68.29/68.30	c 13.9499 11.1172 700 760649
68.29/68.30	o 4629
68.29/68.32	c 13.9559 11.1172 782 761007
68.29/68.32	o 4442
68.29/68.34	c 13.9599 11.1172 446 761195
68.29/68.34	o 4432
68.79/68.82	c 14.0319 11.1172 499 765428
68.79/68.82	o 4188
69.30/69.31	c 14.1149 11.1172 757 770184
69.30/69.31	o 4155
71.09/71.14	c 14.3768 11.1172 620 785549
71.09/71.14	o 4111
71.29/71.35	c 14.3958 11.1172 572 787329
71.29/71.35	o 4085
71.69/71.76	c 14.4628 11.1172 552 790245
71.69/71.76	o 4084
72.09/72.19	c 14.5498 11.1172 540 792713
72.09/72.19	o 4057
73.09/73.14	c 14.8887 11.1172 849 800374
73.09/73.14	o 4032
73.60/73.65	c 15.0127 11.1172 746 805174
73.60/73.65	o 3880
73.70/73.71	c 15.0217 11.1172 558 805725
73.70/73.71	o 3839
73.99/74.01	c 15.0597 11.1172 761 808097
73.99/74.01	o 3724
74.39/74.48	c 15.1257 11.1172 844 811793
74.39/74.48	o 3644
75.39/75.42	c 15.2797 11.2383 912 819347
75.39/75.42	o 3641
75.39/75.46	c 15.2837 11.2383 624 819894
75.39/75.46	o 3572
75.39/75.49	c 15.2887 11.2383 741 820253
75.39/75.49	o 3557
75.49/75.52	c 15.2957 11.2383 829 820501
75.49/75.52	o 3536
75.49/75.55	c 15.2997 11.2383 506 820811
75.49/75.55	o 3516
75.59/75.61	c 15.3057 11.2383 660 821313
75.59/75.61	o 3417
75.79/75.85	c 15.3407 11.2383 829 823671
75.79/75.85	o 3397
75.79/75.89	c 15.3457 11.2383 547 824336
75.79/75.89	o 3247
75.89/75.96	c 15.3587 11.2383 757 824881
75.89/75.96	o 3239
76.39/76.47	c 15.4287 11.2383 490 828900
76.39/76.47	o 3092
76.39/76.48	c 15.4297 11.2383 519 829080
76.39/76.48	o 2983
76.59/76.60	c 15.4527 11.2383 542 830227
76.59/76.60	o 2896
77.09/77.14	c 15.5606 11.2383 539 834394
77.09/77.14	o 2687
77.79/77.81	c 15.6596 11.2383 453 839073
77.79/77.81	o 2658
77.79/77.84	c 15.6646 11.2383 515 839267
77.79/77.84	o 2632
78.19/78.23	c 15.7266 11.2383 817 841784
78.19/78.23	o 2501
78.19/78.24	c 15.7286 11.2383 445 841951
78.19/78.24	o 2465
78.49/78.58	c 15.7786 11.2383 584 844379
78.49/78.58	o 2378
78.59/78.60	c 15.7806 11.2383 618 844467
78.59/78.60	o 2368
78.59/78.69	c 15.8016 11.2383 877 845069
78.59/78.69	o 2309
79.09/79.13	c 15.9686 11.2383 989 847896
79.09/79.13	o 2260
79.09/79.20	c 15.9946 11.2383 668 848455
79.09/79.20	o 2227
79.29/79.30	c 16.0416 11.2383 667 849360
79.29/79.30	o 2203
79.39/79.42	c 16.0856 11.2383 607 850187
79.39/79.42	o 2202
79.39/79.48	c 16.1105 11.2383 780 850594
79.39/79.48	o 2129
79.49/79.54	c 16.1285 11.2383 550 851063
79.49/79.54	o 2097
79.59/79.66	c 16.1815 11.2383 558 851810
79.59/79.66	o 2091
79.69/79.76	c 16.2195 11.2383 499 852691
79.69/79.76	o 2079
79.79/79.89	c 16.2525 11.2383 877 853640
79.79/79.89	o 2069
79.89/79.97	c 16.2755 11.2383 663 854213
79.89/79.97	o 2056
79.89/79.99	c 16.2785 11.2383 707 854412
79.89/79.99	o 1956
79.99/80.00	c 16.2785 11.2383 740 854522
79.99/80.00	o 1935
80.30/80.30	c 16.3265 11.2383 748 856567
80.30/80.30	o 1854
80.39/80.49	c 16.3555 11.2383 819 857762
80.39/80.49	o 1818
80.49/80.50	c 16.3585 11.2383 449 857905
80.49/80.50	o 1800
80.59/80.66	c 16.3905 11.3633 541 858992
80.59/80.66	o 1797
80.69/80.75	c 16.4105 11.3633 448 859777
80.69/80.75	o 1745
80.79/80.86	c 16.4295 11.3633 738 860385
80.79/80.86	o 1741
80.89/80.92	c 16.4435 11.3633 492 860878
80.89/80.92	o 1676
80.89/80.97	c 16.4555 11.3633 689 861360
80.89/80.97	o 1660
80.99/81.04	c 16.4665 11.3633 494 861926
80.99/81.04	o 1542
80.99/81.09	c 16.4725 11.3633 637 862277
80.99/81.09	o 1521
81.39/81.44	c 16.5335 11.3633 783 864511
81.39/81.44	o 1518
81.39/81.49	c 16.5455 11.3633 506 864939
81.39/81.49	o 1432
81.59/81.66	c 16.5705 11.3633 555 866046
81.59/81.66	o 1423
81.69/81.76	c 16.5885 11.3633 836 866768
81.69/81.76	o 1361
81.69/81.78	c 16.5935 11.3633 486 866991
81.69/81.78	o 1331
81.79/81.84	c 16.5995 11.3633 638 867434
81.79/81.84	o 1330
81.90/81.90	c 16.6105 11.3633 826 867856
81.90/81.90	o 1309
81.90/81.97	c 16.6225 11.3633 608 868332
81.90/81.97	o 1237
81.90/81.98	c 16.6255 11.3633 651 868444
81.90/81.98	o 1218
81.99/82.03	c 16.6325 11.3633 791 868859
81.99/82.03	o 1177
82.09/82.12	c 16.6515 11.3633 622 869373
82.09/82.12	o 1156
82.09/82.13	c 16.6595 11.3633 690 869530
82.09/82.13	o 1145
82.09/82.15	c 16.6615 11.3633 731 869685
82.09/82.15	o 1061
82.19/82.24	c 16.6915 11.3633 630 870371
82.19/82.24	o 1021
82.19/82.26	c 16.6975 11.3633 696 870558
82.19/82.26	o 971
82.29/82.34	c 16.7145 11.3633 966 871119
82.29/82.34	o 915
82.29/82.34	c 16.7165 11.3633 489 871178
82.29/82.34	o 869
82.29/82.36	c 16.7205 11.3633 560 871312
82.29/82.36	o 866
82.29/82.37	c 16.7205 11.3633 592 871589
82.29/82.37	o 723
82.29/82.39	c 16.7275 11.3633 696 871777
82.29/82.39	o 684
82.29/82.40	c 16.7305 11.3633 714 871834
82.29/82.40	o 682
82.40/82.43	c 16.7385 11.3633 786 872051
82.40/82.43	o 658
82.40/82.43	c 16.7385 11.3633 793 872113
82.40/82.43	o 605
82.40/82.45	c 16.7425 11.3633 886 872288
82.40/82.45	o 593
82.40/82.47	c 16.7465 11.3633 929 872390
82.40/82.47	o 581
82.50/82.53	c 16.7575 11.4883 1093 872848
82.50/82.53	o 557
82.50/82.55	c 16.7655 11.4883 643 873110
82.50/82.55	o 536
82.50/82.56	c 16.7735 11.4883 723 873229
82.50/82.56	o 522
82.50/82.57	c 16.7744 11.4883 765 873303
82.50/82.57	o 520
82.59/82.60	c 16.7784 11.4883 880 873641
82.59/82.60	o 428
82.59/82.61	c 16.7814 11.4883 910 873748
82.59/82.61	o 386
82.59/82.61	c 16.7824 11.4883 917 873776
82.59/82.61	o 382
82.59/82.61	c 16.7844 11.4883 943 873835
82.59/82.61	o 375
82.59/82.62	c 16.7874 11.4883 980 873988
82.59/82.62	o 278
82.59/82.62	c 16.7894 11.4883 1011 874057
82.59/82.62	o 262
82.59/82.62	c 16.7894 11.4883 1012 874098
82.59/82.62	o 234
82.59/82.62	c 16.7894 11.4883 816 874140
82.59/82.62	o 199
82.59/82.63	c 16.7894 11.4883 816 874167
82.59/82.63	o 193
82.59/82.63	c 16.7934 11.4883 878 874277
82.59/82.63	o 167
82.59/82.64	c 16.7944 11.4883 894 874312
82.59/82.64	o 153
82.59/82.64	c 16.7964 11.4883 924 874357
82.59/82.64	o 142
82.59/82.64	c 16.7974 11.4883 966 874427
82.59/82.64	o 140
82.59/82.65	c 16.7984 11.4883 785 874451
82.59/82.65	o 128
82.59/82.65	c 16.7994 11.4883 792 874495
82.59/82.65	o 100
82.59/82.65	c 16.8044 11.4883 853 874613
82.59/82.65	o 58
82.59/82.65	c 16.8054 11.4883 875 874652
82.59/82.65	o 55
82.59/82.66	c 16.8064 11.4883 906 874716
82.59/82.66	o 52
82.59/82.66	c 16.8074 11.4883 928 874762
82.59/82.66	o 28
82.59/82.66	c 16.8084 11.4883 721 874841
82.59/82.66	o 19
82.59/82.66	c 16.8094 11.4883 724 874862
82.59/82.66	o 17
82.59/82.67	c 16.8094 11.4883 724 874880
82.59/82.67	o 6
82.59/82.68	c 16.8154 11.4883 866 875056
82.59/82.68	s OPTIMUM FOUND
82.59/82.68	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

Verifier Data 

OK	6

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700315-1278534711/watcher-2700315-1278534711 -o /tmp/evaluation-result-2700315-1278534711/solver-2700315-1278534711 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700315-1278534711.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: 2.06 2.74 2.11 4/178 20297
/proc/meminfo: memFree=28847384/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=2136 CPUtime=0
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 260 0 0 0 0 0 0 0 22 0 1 0 21684909 2187264 180 4089446400 134512640 136422188 4289415872 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20297/statm: 534 180 144 467 0 65 0

[startup+0.0420751 s]
/proc/loadavg: 2.06 2.74 2.11 4/178 20297
/proc/meminfo: memFree=28847384/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=10356 CPUtime=0.03
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2326 0 0 0 3 0 0 0 22 0 1 0 21684909 10604544 2245 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2589 2245 237 467 0 2120 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10356

[startup+0.101061 s]
/proc/loadavg: 2.06 2.74 2.11 4/178 20297
/proc/meminfo: memFree=28847384/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=10484 CPUtime=0.09
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2345 0 0 0 5 4 0 0 22 0 1 0 21684909 10735616 2257 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2621 2257 238 467 0 2152 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10484

[startup+0.301023 s]
/proc/loadavg: 2.06 2.74 2.11 4/178 20297
/proc/meminfo: memFree=28847384/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=10612 CPUtime=0.29
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2373 0 0 0 14 15 0 0 22 0 1 0 21684909 10866688 2285 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2653 2285 238 467 0 2184 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10612

[startup+0.700948 s]
/proc/loadavg: 2.06 2.74 2.11 4/178 20297
/proc/meminfo: memFree=28847384/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=10612 CPUtime=0.69
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2386 0 0 0 29 40 0 0 24 0 1 0 21684909 10866688 2298 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2653 2298 238 467 0 2184 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10612

[startup+1.50086 s]
/proc/loadavg: 2.06 2.74 2.11 3/179 20298
/proc/meminfo: memFree=28836960/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=10612 CPUtime=1.49
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2400 0 0 0 52 97 0 0 25 0 1 0 21684909 10866688 2312 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2653 2312 238 467 0 2184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10612

[startup+3.10055 s]
/proc/loadavg: 2.06 2.74 2.11 3/179 20298
/proc/meminfo: memFree=28835224/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=10740 CPUtime=3.09
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2411 0 0 0 80 229 0 0 25 0 1 0 21684909 10997760 2319 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2685 2319 238 467 0 2216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10740

[startup+6.30093 s]
/proc/loadavg: 2.06 2.73 2.11 3/179 20298
/proc/meminfo: memFree=28832132/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=10740 CPUtime=6.29
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2445 0 0 0 135 494 0 0 25 0 1 0 21684909 10997760 2344 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2685 2344 238 467 0 2216 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10740

[startup+12.7007 s]
/proc/loadavg: 2.05 2.72 2.11 3/179 20299
/proc/meminfo: memFree=28825328/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=10996 CPUtime=12.7
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2501 0 0 0 279 991 0 0 25 0 1 0 21684909 11259904 2390 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2749 2390 238 467 0 2280 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10996

[startup+25.5003 s]
/proc/loadavg: 2.04 2.68 2.11 3/179 20299
/proc/meminfo: memFree=28808576/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=11124 CPUtime=25.49
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2551 0 0 0 545 2004 0 0 25 0 1 0 21684909 11390976 2418 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2781 2418 238 467 0 2312 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11124

[startup+51.1004 s]
/proc/loadavg: 2.02 2.63 2.10 3/179 20299
/proc/meminfo: memFree=28774168/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=11252 CPUtime=51.09
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2639 0 0 0 1051 4058 0 0 25 0 1 0 21684909 11522048 2474 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2813 2474 238 467 0 2344 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11252

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

[startup+63.9009 s]
/proc/loadavg: 2.02 2.60 2.10 3/179 20299
/proc/meminfo: memFree=28757044/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=11380 CPUtime=63.89
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2677 0 0 0 1296 5093 0 0 25 0 1 0 21684909 11653120 2495 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2845 2495 238 467 0 2376 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 11380

[startup+70.3007 s]
/proc/loadavg: 2.02 2.58 2.10 3/179 20299
/proc/meminfo: memFree=28747124/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=11380 CPUtime=70.3
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2703 0 0 0 1427 5603 0 0 25 0 1 0 21684909 11653120 2506 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2845 2506 238 467 0 2376 0
Current children cumulated CPU time (s) 70.3
Current children cumulated vsize (KiB) 11380

[startup+76.7004 s]
/proc/loadavg: 2.02 2.57 2.10 3/179 20300
/proc/meminfo: memFree=28738436/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=11504 CPUtime=76.69
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2738 0 0 0 1547 6122 0 0 25 0 1 0 21684909 11780096 2520 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2876 2520 238 467 0 2407 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 11504

[startup+79.9008 s]
/proc/loadavg: 2.02 2.57 2.10 3/179 20300
/proc/meminfo: memFree=28734092/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=11504 CPUtime=79.89
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2777 0 0 0 1625 6364 0 0 25 0 1 0 21684909 11780096 2542 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2876 2542 238 467 0 2407 0
Current children cumulated CPU time (s) 79.89
Current children cumulated vsize (KiB) 11504

[startup+81.5005 s]
/proc/loadavg: 2.01 2.56 2.10 3/179 20300
/proc/meminfo: memFree=28731484/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=11632 CPUtime=81.49
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2802 0 0 0 1654 6495 0 0 25 0 1 0 21684909 11911168 2552 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2908 2552 238 467 0 2439 0
Current children cumulated CPU time (s) 81.49
Current children cumulated vsize (KiB) 11632

[startup+82.3004 s]
/proc/loadavg: 2.01 2.56 2.10 3/179 20300
/proc/meminfo: memFree=28731484/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=11632 CPUtime=82.29
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2826 0 0 0 1670 6559 0 0 25 0 1 0 21684909 11911168 2563 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2908 2563 238 467 0 2439 0
Current children cumulated CPU time (s) 82.29
Current children cumulated vsize (KiB) 11632

[startup+82.5063 s]
/proc/loadavg: 2.01 2.56 2.10 3/179 20301
/proc/meminfo: memFree=28729500/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=11632 CPUtime=82.5
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2849 0 0 0 1675 6575 0 0 25 0 1 0 21684909 11911168 2576 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20297/statm: 2908 2576 238 467 0 2439 0
Current children cumulated CPU time (s) 82.5
Current children cumulated vsize (KiB) 11632

[startup+82.6003 s]
/proc/loadavg: 2.01 2.56 2.10 3/179 20301
/proc/meminfo: memFree=28729500/32950928 swapFree=67111528/67111528
[pid=20297] ppid=20295 vsize=11760 CPUtime=82.59
/proc/20297/stat : 20297 (pbct) R 20295 20297 19207 0 -1 4202496 2858 0 0 0 1677 6582 0 0 25 0 1 0 21684909 12042240 2581 4089446400 134512640 136422188 4289415872 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20297/statm: 2940 2581 238 467 0 2471 0
Current children cumulated CPU time (s) 82.59
Current children cumulated vsize (KiB) 11760

Child status: 0
Real time (s): 82.6924
CPU time (s): 82.6914
CPU user time (s): 16.8244
CPU system time (s): 65.867
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 11760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8244
system time used= 65.867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2887
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= 1
involuntary context switches= 88

runsolver used 0.109983 second user time and 0.289955 second system time

The end

Launcher Data 

Begin job on node127 at 2010-07-07 22:31:51
IDJOB=2700315
IDBENCH=79417
IDSOLVER=1212
FILE ID=node127/2700315-1278534711
PBS_JOBID= 11239223
Free space on /tmp= 73196 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh16_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700315-1278534711/watcher-2700315-1278534711 -o /tmp/evaluation-result-2700315-1278534711/solver-2700315-1278534711 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2700315-1278534711.wbo

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

MD5SUM BENCH= 8941aeee87a1a646f79f1fa97035d3b2
RANDOM SEED=657402102

node127.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.804
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.60
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.804
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	: 5424.67
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.804
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.74
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.804
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.83
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.804
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.75
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.804
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.68
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.804
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.82
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.804
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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28848028 kB
Buffers:        138204 kB
Cached:        2617676 kB
SwapCached:          0 kB
Active:        2273156 kB
Inactive:      1668908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28848028 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2080 kB
Writeback:           0 kB
AnonPages:     1186168 kB
Mapped:          16852 kB
Slab:            93156 kB
PageTables:       6872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1340128 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= 73196 MiB
End job on node127 at 2010-07-07 22:33:14