Trace number 2700423

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 180.228 180.221

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
MD5SUMf2d449aa8c80edec7a2d4cb4a780c49d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark333
Best CPU time to get the best result obtained on this benchmark2.84657
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 constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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.03	c 0.034994 9.94922 1 1952
0.00/0.03	o 22916
0.00/0.04	c 0.034994 10.1133 3 2142
0.00/0.04	o 22820
0.00/0.04	c 0.034994 10.1133 3 3021
0.00/0.04	o 16572
0.00/0.04	c 0.034994 10.1133 3 3438
0.00/0.04	o 16565
0.00/0.04	c 0.034994 10.1133 3 4035
0.00/0.04	o 16393
0.00/0.04	c 0.034994 10.1133 4 4823
0.00/0.04	o 15727
0.00/0.05	c 0.035994 10.1133 5 5743
0.00/0.05	o 12189
0.39/0.47	c 0.119981 10.3633 527 13074
0.39/0.47	o 12184
0.59/0.62	c 0.161975 10.3633 556 15174
0.59/0.62	o 11748
0.59/0.64	c 0.167974 10.3633 393 15886
0.59/0.64	o 11711
0.79/0.85	c 0.217966 10.3633 920 19029
0.79/0.85	o 11610
1.79/1.87	c 0.45893 10.3633 455 33849
1.79/1.87	o 11408
1.79/1.87	c 0.45993 10.3633 459 34028
1.79/1.87	o 11406
1.79/1.89	c 0.462929 10.3633 525 34413
1.79/1.89	o 11316
2.10/2.18	c 0.513921 10.3633 608 39019
2.10/2.18	o 11275
2.59/2.66	c 0.592909 10.3633 755 46728
2.59/2.66	o 11162
2.79/2.80	c 0.617906 10.3633 404 49238
2.79/2.80	o 11159
2.79/2.83	c 0.619905 10.3633 498 49659
2.79/2.83	o 11064
3.19/3.26	c 0.686895 10.3633 691 56109
3.19/3.26	o 11023
6.29/6.31	c 1.24181 10.6133 815 85943
6.29/6.31	o 10986
6.69/6.76	c 1.3238 10.6133 600 92222
6.69/6.76	o 10944
7.09/7.17	c 1.41878 10.6133 502 98518
7.09/7.17	o 10724
7.19/7.28	c 1.44778 10.6133 588 100056
7.19/7.28	o 10718
8.19/8.26	c 1.72474 10.6133 632 115009
8.19/8.26	o 10523
9.19/9.26	c 1.92671 10.6133 416 128607
9.19/9.26	o 10353
9.80/9.83	c 2.01869 10.6133 665 135908
9.80/9.83	o 10091
9.90/9.99	c 2.05169 10.6133 733 138756
9.90/9.99	o 9913
10.49/10.57	c 2.13768 10.6133 499 145161
10.49/10.57	o 9752
10.70/10.76	c 2.17067 10.6133 938 147014
10.70/10.76	o 9717
11.09/11.10	c 2.23566 10.6133 709 151616
11.09/11.10	o 9597
11.60/11.70	c 2.32065 10.6133 550 159749
11.60/11.70	o 9372
13.49/13.52	c 2.67559 10.6133 466 180539
13.49/13.52	o 9253
14.79/14.80	c 2.98655 10.6133 675 197796
14.79/14.80	o 9194
14.99/15.07	c 3.03854 10.6133 757 200804
14.99/15.07	o 9177
16.09/16.13	c 3.21051 10.7383 702 213779
16.09/16.13	o 9175
16.29/16.35	c 3.24351 10.7383 851 215783
16.29/16.35	o 8961
16.50/16.60	c 3.2915 10.7383 569 219688
16.50/16.60	o 8832
16.59/16.62	c 3.2965 10.7383 344 220289
16.59/16.62	o 8817
16.79/16.81	c 3.32949 10.7383 744 222506
16.79/16.81	o 8778
17.19/17.24	c 3.40348 10.7383 529 228540
17.19/17.24	o 8752
17.50/17.60	c 3.45647 10.7383 485 232536
17.50/17.60	o 8572
18.09/18.15	c 3.54646 10.7383 565 239899
18.09/18.15	o 8469
18.89/18.91	c 3.66644 10.7383 522 248145
18.89/18.91	o 8379
19.40/19.48	c 3.75343 10.7383 693 253435
19.40/19.48	o 8358
19.70/19.74	c 3.80542 10.7383 468 256894
19.70/19.74	o 8287
20.80/20.82	c 4.07038 10.7383 638 269682
20.80/20.82	o 8278
20.99/21.06	c 4.12637 10.7383 640 272554
20.99/21.06	o 8275
21.89/21.97	c 4.31334 10.7383 702 281944
21.89/21.97	o 8212
22.59/22.66	c 4.41133 10.7383 526 286588
22.59/22.66	o 8145
23.10/23.14	c 4.48832 10.7383 767 291902
23.10/23.14	o 8060
23.20/23.23	c 4.50532 10.7383 743 292983
23.20/23.23	o 7977
23.79/23.85	c 4.6043 10.7383 659 300880
23.79/23.85	o 7923
25.49/25.51	c 4.88026 10.7383 716 319932
25.49/25.51	o 7917
25.69/25.75	c 4.91625 10.8594 957 322345
25.69/25.75	o 7815
26.09/26.18	c 4.98224 10.8594 625 327802
26.09/26.18	o 7703
29.70/29.75	c 5.65014 10.8594 596 368508
29.70/29.75	o 7643
32.20/32.25	c 6.03808 10.8594 472 394944
32.20/32.25	o 7599
32.29/32.32	c 6.04808 10.8594 707 395597
32.29/32.32	o 7586
32.49/32.51	c 6.07708 10.8594 750 397478
32.49/32.51	o 7581
33.10/33.13	c 6.16906 10.8594 846 405512
33.10/33.13	o 7534
33.59/33.66	c 6.30304 10.8594 616 412377
33.59/33.66	o 7512
34.10/34.18	c 6.42802 10.8594 701 419356
34.10/34.18	o 7427
35.00/35.09	c 6.583 10.8594 731 429713
35.00/35.09	o 7250
35.19/35.22	c 6.61199 10.8594 479 431290
35.19/35.22	o 7198
37.60/37.63	c 6.99894 10.8594 701 451365
37.60/37.63	o 7153
40.09/40.14	c 7.44487 10.8594 725 475537
40.09/40.14	o 7131
44.69/44.78	c 8.28074 10.9805 542 510247
44.69/44.78	o 7101
45.99/46.01	c 8.47071 10.9805 474 522658
45.99/46.01	o 7042
45.99/46.10	c 8.49571 10.9805 783 523493
45.99/46.10	o 6916
47.59/47.64	c 8.85665 10.9805 430 539062
47.59/47.64	o 6723
48.09/48.16	c 8.95264 10.9805 758 545087
48.09/48.16	o 6716
49.19/49.22	c 9.10661 10.9805 700 555889
49.19/49.22	o 6671
49.30/49.31	c 9.12261 10.9805 419 557398
49.30/49.31	o 6610
49.30/49.36	c 9.12861 10.9805 615 558025
49.30/49.36	o 6542
54.19/54.27	c 10.0785 10.9805 599 606695
54.19/54.27	o 6511
55.59/55.60	c 10.3064 10.9805 526 619172
55.59/55.60	o 6506
55.80/55.87	c 10.3444 10.9805 849 621889
55.80/55.87	o 6370
60.99/61.06	c 11.2703 10.9805 816 667362
60.99/61.06	o 6342
61.10/61.12	c 11.2773 10.9805 739 668405
61.10/61.12	o 6133
61.40/61.41	c 11.3213 10.9805 553 670872
61.40/61.41	o 6016
62.99/63.06	c 11.5592 10.9805 753 686479
62.99/63.06	o 5953
64.00/64.02	c 11.6952 10.9805 461 696941
64.00/64.02	o 5863
64.29/64.35	c 11.7562 10.9805 760 699684
64.29/64.35	o 5830
65.79/65.83	c 11.9782 10.9805 593 710553
65.79/65.83	o 5777
69.20/69.26	c 12.7121 11.1055 471 743360
69.20/69.26	o 5744
71.70/71.73	c 13.092 11.1055 895 762582
71.70/71.73	o 5715
71.99/72.08	c 13.138 11.1055 509 765909
71.99/72.08	o 5638
72.90/72.96	c 13.307 11.1055 866 772570
72.90/72.96	o 5623
73.60/73.61	c 13.469 11.1055 683 779318
73.60/73.61	o 5545
73.60/73.65	c 13.483 11.1055 466 779989
73.60/73.65	o 5477
77.69/77.75	c 14.1069 11.1055 607 814504
77.69/77.75	o 5373
85.30/85.39	c 15.3587 11.1055 913 881368
85.30/85.39	o 5264
87.40/87.40	c 15.8116 11.1055 783 898610
87.40/87.40	o 5238
91.30/91.32	c 16.3975 11.1055 532 931222
91.30/91.32	o 5104
92.50/92.50	c 16.5835 11.1055 461 941196
92.50/92.50	o 5051
92.89/92.93	c 16.6835 11.1055 799 945195
92.89/92.93	o 5016
93.50/93.53	c 16.8424 11.1055 864 949891
93.50/93.53	o 5015
94.99/95.00	c 17.1004 11.1055 709 961798
94.99/95.00	o 4997
100.49/100.55	c 18.0123 11.1055 602 1005286
100.49/100.55	o 4989
100.49/100.58	c 18.0183 11.1055 756 1005824
100.49/100.58	o 4934
100.99/101.07	c 18.0832 11.1055 525 1010042
100.99/101.07	o 4878
103.70/103.72	c 18.4932 11.1055 750 1031046
103.70/103.72	o 4803
103.89/103.99	c 18.5282 11.1055 488 1033287
103.89/103.99	o 4748
104.30/104.31	c 18.5752 11.1055 704 1035550
104.30/104.31	o 4702
104.60/104.69	c 18.6352 11.2305 801 1038593
104.60/104.69	o 4685
109.00/109.00	c 19.423 11.2305 787 1074559
109.00/109.00	o 4662
109.90/109.98	c 19.566 11.2305 720 1083019
109.90/109.98	o 4604
111.19/111.22	c 19.75 11.2305 734 1092808
111.19/111.22	o 4569
114.30/114.33	c 20.3969 11.2305 884 1115759
114.30/114.33	o 4510
114.60/114.65	c 20.4549 11.2305 828 1118679
114.60/114.65	o 4463
115.90/115.98	c 20.6499 11.2305 492 1129143
115.90/115.98	o 4421
117.20/117.28	c 20.8398 11.2305 530 1140977
117.20/117.28	o 4320
118.09/118.14	c 20.9678 11.2305 698 1146481
118.09/118.14	o 4293
119.40/119.40	c 21.2378 11.2305 484 1155818
119.40/119.40	o 4264
119.50/119.51	c 21.2668 11.2305 500 1157017
119.50/119.51	o 4223
119.70/119.78	c 21.3298 11.2305 507 1158792
119.70/119.78	o 4212
122.89/122.95	c 21.8557 11.2305 707 1181424
122.89/122.95	o 4130
123.11/123.11	c 21.8827 11.2305 883 1182794
123.11/123.11	o 3960
124.69/124.79	c 22.1486 11.2305 534 1196329
124.69/124.79	o 3902
129.70/129.79	c 23.0165 11.2305 777 1233666
129.70/129.79	o 3802
130.60/130.62	c 23.1135 11.2305 719 1239869
130.60/130.62	o 3798
131.80/131.90	c 23.3504 11.2305 484 1250342
131.80/131.90	o 3643
133.01/133.02	c 23.6534 11.2305 862 1256623
133.01/133.02	o 3622
134.40/134.40	c 23.8754 11.2305 592 1267436
134.40/134.40	o 3603
136.89/136.99	c 24.2403 11.2305 762 1287168
136.89/136.99	o 3568
137.51/137.59	c 24.3233 11.2305 803 1290913
137.51/137.59	o 3563
137.60/137.66	c 24.3333 11.2305 667 1291751
137.60/137.66	o 3459
137.90/137.96	c 24.3703 11.2305 448 1294450
137.90/137.96	o 3424
139.79/139.86	c 24.7742 11.2305 482 1306365
139.79/139.86	o 3415
141.09/141.15	c 24.9582 11.2305 579 1316095
141.09/141.15	o 3302
145.00/145.04	c 25.6081 11.2305 680 1341664
145.00/145.04	o 3299
145.10/145.14	c 25.6401 11.2305 606 1342510
145.10/145.14	o 3257
147.20/147.25	c 26.064 11.3516 724 1357115
147.20/147.25	o 3203
149.30/149.37	c 26.386 11.3516 819 1373431
149.30/149.37	o 3024
150.90/150.93	c 26.582 11.3516 667 1383608
150.90/150.93	o 2989
151.40/151.46	c 26.6749 11.3516 801 1387509
151.40/151.46	o 2964
151.49/151.51	c 26.6859 11.3516 571 1387959
151.49/151.51	o 2941
151.90/151.99	c 26.8059 11.3516 808 1391659
151.90/151.99	o 2834
152.09/152.19	c 26.8519 11.3516 647 1393115
152.09/152.19	o 2818
153.59/153.63	c 27.1109 11.3516 807 1402245
153.59/153.63	o 2796
153.79/153.80	c 27.1389 11.3516 540 1403455
153.79/153.80	o 2779
158.30/158.35	c 27.9058 11.3516 746 1432802
158.30/158.35	o 2776
158.30/158.38	c 27.9098 11.3516 834 1433133
158.30/158.38	o 2713
160.09/160.15	c 28.3007 11.3516 708 1444827
160.09/160.15	o 2676
160.30/160.38	c 28.3197 11.3516 532 1446490
160.30/160.38	o 2581
160.40/160.49	c 28.3297 11.3516 473 1447354
160.40/160.49	o 2570
160.51/160.57	c 28.3477 11.3516 718 1448042
160.51/160.57	o 2542
161.30/161.33	c 28.4767 11.3516 679 1453239
161.30/161.33	o 2518
161.50/161.57	c 28.5117 11.3516 552 1454889
161.50/161.57	o 2497
161.89/161.98	c 28.5747 11.3516 525 1457944
161.89/161.98	o 2473
162.40/162.42	c 28.6416 11.3516 486 1460586
162.40/162.42	o 2424
162.40/162.48	c 28.6446 11.3516 651 1461106
162.40/162.48	o 2404
162.99/163.02	c 28.7356 11.3516 577 1464925
162.99/163.02	o 2382
163.20/163.26	c 28.7876 11.3516 944 1466784
163.20/163.26	o 2272
163.40/163.42	c 28.8176 11.3516 524 1468105
163.40/163.42	o 2248
164.10/164.11	c 28.9286 11.3516 672 1472669
164.10/164.11	o 2224
165.20/165.25	c 29.1906 11.3516 616 1479893
165.20/165.25	o 2051
165.29/165.35	c 29.2146 11.3516 503 1480620
165.29/165.35	o 2049
165.70/165.76	c 29.3215 11.3516 543 1483467
165.70/165.76	o 2029
165.80/165.82	c 29.3385 11.3516 719 1484010
165.80/165.82	o 1966
166.30/166.30	c 29.4525 11.4766 513 1486874
166.30/166.30	o 1931
167.11/167.16	c 29.5965 11.4766 494 1491793
167.11/167.16	o 1927
167.60/167.60	c 29.6665 11.4766 473 1494373
167.60/167.60	o 1925
167.89/168.00	c 29.7275 11.4766 782 1496900
167.89/168.00	o 1891
167.99/168.06	c 29.7405 11.4766 616 1497500
167.99/168.06	o 1853
169.30/169.34	c 29.9714 11.4766 554 1505330
169.30/169.34	o 1815
170.80/170.80	c 30.1814 11.4766 669 1514769
170.80/170.80	o 1804
171.19/171.20	c 30.2624 11.4766 491 1517106
171.19/171.20	o 1784
171.30/171.39	c 30.3114 11.4766 563 1518044
171.30/171.39	o 1713
171.90/171.93	c 30.4494 11.4766 872 1521844
171.90/171.93	o 1684
172.00/172.09	c 30.4964 11.4766 449 1522775
172.00/172.09	o 1676
172.80/172.83	c 30.6493 11.4766 445 1527141
172.80/172.83	o 1662
173.40/173.42	c 30.7373 11.4766 479 1530369
173.40/173.42	o 1607
173.50/173.54	c 30.7513 11.4766 776 1530981
173.50/173.54	o 1603
175.00/175.09	c 31.0003 11.4766 584 1540526
175.00/175.09	o 1602
175.10/175.16	c 31.0123 11.4766 823 1541004
175.10/175.16	o 1589
175.20/175.26	c 31.0313 11.4766 749 1541688
175.20/175.26	o 1572
175.30/175.37	c 31.0503 11.4766 616 1542235
175.30/175.37	o 1516
175.40/175.44	c 31.0693 11.4766 477 1543019
175.40/175.44	o 1505
175.80/175.86	c 31.1333 11.4766 431 1545526
175.80/175.86	o 1494
176.40/176.41	c 31.2273 11.4766 768 1549215
176.40/176.41	o 1387
176.40/176.41	c 31.2283 11.4766 773 1549275
176.40/176.41	o 1378
176.40/176.42	c 31.2323 11.4766 787 1549354
176.40/176.42	o 1358
176.40/176.48	c 31.2402 11.4766 513 1549751
176.40/176.48	o 1357
176.60/176.66	c 31.2762 11.4766 616 1550990
176.60/176.66	o 1355
176.79/176.81	c 31.3022 11.4766 612 1551989
176.79/176.81	o 1352
176.90/176.98	c 31.3282 11.4766 755 1553388
176.90/176.98	o 1319
177.01/177.06	c 31.3432 11.4766 558 1553885
177.01/177.06	o 1287
177.01/177.09	c 31.3512 11.4766 636 1554030
177.01/177.09	o 1284
177.10/177.18	c 31.3662 11.4766 503 1554759
177.10/177.18	o 1100
177.49/177.51	c 31.4502 11.6016 790 1556705
177.49/177.51	o 1079
177.90/177.93	c 31.5652 11.6016 762 1559328
177.90/177.93	o 1078
177.90/177.98	c 31.5802 11.6016 475 1559612
177.90/177.98	o 1058
178.10/178.18	c 31.6362 11.6016 667 1560887
178.10/178.18	o 1048
178.39/178.41	c 31.7112 11.5977 1022 1562293
178.39/178.41	o 1015
178.50/178.50	c 31.7412 11.5977 800 1562956
178.50/178.50	o 932
179.00/179.07	c 31.8782 11.5977 916 1566573
179.00/179.07	o 926
179.20/179.30	c 31.9431 11.5977 790 1568148
179.20/179.30	o 916
179.39/179.44	c 31.9661 11.5977 795 1569128
179.39/179.44	o 893
179.49/179.52	c 31.9871 11.5977 636 1569667
179.49/179.52	o 878
179.49/179.55	c 31.9931 11.5977 727 1569928
179.49/179.55	o 749
179.60/179.66	c 32.0131 11.5977 591 1570604
179.60/179.66	o 711
179.60/179.69	c 32.0211 11.5977 724 1570922
179.60/179.69	o 653
179.80/179.81	c 32.0591 11.5977 810 1572040
179.80/179.81	o 570
179.90/179.93	c 32.1011 11.5977 783 1572938
179.90/179.93	o 508
180.00/180.01	c 32.1291 11.5977 657 1573636
180.00/180.01	o 482
180.00/180.08	c 32.1491 11.5977 961 1574100
180.00/180.08	o 476
180.10/180.10	c 32.1571 11.5977 1049 1574245
180.10/180.10	o 467
180.10/180.13	c 32.1661 11.5977 1177 1574493
180.10/180.13	o 420
180.10/180.19	c 32.1951 11.5977 923 1575008
180.10/180.19	o 399
180.20/180.20	c 32.1971 11.5977 974 1575105
180.20/180.20	o 340
180.20/180.21	c 32.1991 11.5977 1016 1575167
180.20/180.21	o 333
180.20/180.21	c 32.1991 11.5977 1038 1575193
180.20/180.21	s OPTIMUM FOUND
180.20/180.21	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	333

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700423-1278535559/watcher-2700423-1278535559 -o /tmp/evaluation-result-2700423-1278535559/solver-2700423-1278535559 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700423-1278535559.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.15 2.08 2.06 4/178 18233
/proc/meminfo: memFree=28108976/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=2136 CPUtime=0
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 262 0 0 0 0 0 0 0 21 0 1 0 21770943 2187264 181 4089446400 134512640 136422188 4289479024 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18233/statm: 534 181 144 467 0 65 0

[startup+0.0803201 s]
/proc/loadavg: 2.15 2.08 2.06 4/178 18233
/proc/meminfo: memFree=28108976/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=10352 CPUtime=0.07
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2337 0 0 0 4 3 0 0 21 0 1 0 21770943 10600448 2249 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2588 2249 238 467 0 2119 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10352

[startup+0.100311 s]
/proc/loadavg: 2.15 2.08 2.06 4/178 18233
/proc/meminfo: memFree=28108976/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=10480 CPUtime=0.09
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2343 0 0 0 4 5 0 0 21 0 1 0 21770943 10731520 2255 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2620 2255 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.30028 s]
/proc/loadavg: 2.15 2.08 2.06 4/178 18233
/proc/meminfo: memFree=28108976/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=10608 CPUtime=0.29
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2371 0 0 0 7 22 0 0 21 0 1 0 21770943 10862592 2283 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2652 2283 238 467 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10608

[startup+0.700181 s]
/proc/loadavg: 2.15 2.08 2.06 4/178 18233
/proc/meminfo: memFree=28108976/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=10608 CPUtime=0.69
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2380 0 0 0 17 52 0 0 22 0 1 0 21770943 10862592 2289 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2652 2289 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50103 s]
/proc/loadavg: 2.15 2.08 2.06 3/179 18234
/proc/meminfo: memFree=28100292/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=10608 CPUtime=1.49
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2394 0 0 0 38 111 0 0 25 0 1 0 21770943 10862592 2302 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2652 2302 238 467 0 2183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10608

[startup+3.10075 s]
/proc/loadavg: 2.15 2.08 2.06 3/179 18234
/proc/meminfo: memFree=28100052/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=10608 CPUtime=3.1
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2412 0 0 0 66 244 0 0 25 0 1 0 21770943 10862592 2313 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2652 2313 238 467 0 2183 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10608

[startup+6.30115 s]
/proc/loadavg: 2.13 2.07 2.06 3/179 18234
/proc/meminfo: memFree=28100320/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=10864 CPUtime=6.29
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2452 0 0 0 123 506 0 0 25 0 1 0 21770943 11124736 2352 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2716 2352 238 467 0 2247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10864

[startup+12.7009 s]
/proc/loadavg: 2.12 2.07 2.06 3/179 18234
/proc/meminfo: memFree=28100884/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=10864 CPUtime=12.69
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2487 0 0 0 251 1018 0 0 25 0 1 0 21770943 11124736 2375 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2716 2375 238 467 0 2247 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10864

[startup+25.5005 s]
/proc/loadavg: 2.16 2.08 2.06 3/179 18235
/proc/meminfo: memFree=28089932/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=10992 CPUtime=25.49
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2540 0 0 0 487 2062 0 0 25 0 1 0 21770943 11255808 2407 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2748 2407 238 467 0 2279 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10992

[startup+51.1007 s]
/proc/loadavg: 2.11 2.08 2.06 3/179 18236
/proc/meminfo: memFree=28058236/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11240 CPUtime=51.09
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2608 0 0 0 941 4168 0 0 25 0 1 0 21770943 11509760 2453 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2810 2453 238 467 0 2341 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11240

[startup+102.307 s]
/proc/loadavg: 2.04 2.06 2.06 3/179 18237
/proc/meminfo: memFree=28013776/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11368 CPUtime=102.3
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2687 0 0 0 1827 8403 0 0 25 0 1 0 21770943 11640832 2505 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2842 2505 238 467 0 2373 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11368

[startup+162.301 s]
/proc/loadavg: 2.01 2.05 2.05 3/179 18238
/proc/meminfo: memFree=28007748/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11620 CPUtime=162.3
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2798 0 0 0 2862 13368 0 0 25 0 1 0 21770943 11898880 2567 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2905 2567 238 467 0 2436 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 11620

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

[startup+166.301 s]
/proc/loadavg: 2.01 2.05 2.05 3/179 18239
/proc/meminfo: memFree=28007744/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11748 CPUtime=166.3
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2818 0 0 0 2945 13685 0 0 25 0 1 0 21770943 12029952 2577 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2937 2577 238 467 0 2468 0
Current children cumulated CPU time (s) 166.3
Current children cumulated vsize (KiB) 11748

[startup+172.707 s]
/proc/loadavg: 2.09 2.06 2.06 3/179 18239
/proc/meminfo: memFree=28006624/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11748 CPUtime=172.7
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2835 0 0 0 3062 14208 0 0 25 0 1 0 21770943 12029952 2583 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2937 2583 238 467 0 2468 0
Current children cumulated CPU time (s) 172.7
Current children cumulated vsize (KiB) 11748

[startup+175.901 s]
/proc/loadavg: 2.08 2.06 2.06 3/179 18239
/proc/meminfo: memFree=28006364/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11748 CPUtime=175.9
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2851 0 0 0 3114 14476 0 0 25 0 1 0 21770943 12029952 2590 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2937 2590 238 467 0 2468 0
Current children cumulated CPU time (s) 175.9
Current children cumulated vsize (KiB) 11748

[startup+177.501 s]
/proc/loadavg: 2.08 2.06 2.06 3/179 18239
/proc/meminfo: memFree=28006364/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11876 CPUtime=177.49
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2880 0 0 0 3144 14605 0 0 25 0 1 0 21770943 12161024 2609 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2969 2609 238 467 0 2500 0
Current children cumulated CPU time (s) 177.49
Current children cumulated vsize (KiB) 11876

[startup+179.101 s]
/proc/loadavg: 2.08 2.06 2.06 3/179 18239
/proc/meminfo: memFree=28006364/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11872 CPUtime=179.1
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2891 0 0 0 3188 14722 0 0 25 0 1 0 21770943 12156928 2613 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2968 2613 238 467 0 2499 0
Current children cumulated CPU time (s) 179.1
Current children cumulated vsize (KiB) 11872

[startup+179.9 s]
/proc/loadavg: 2.08 2.06 2.06 3/179 18239
/proc/meminfo: memFree=28006240/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11872 CPUtime=179.9
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2908 0 0 0 3209 14781 0 0 25 0 1 0 21770943 12156928 2623 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2968 2623 238 467 0 2499 0
Current children cumulated CPU time (s) 179.9
Current children cumulated vsize (KiB) 11872

[startup+180.1 s]
/proc/loadavg: 2.08 2.06 2.06 3/179 18239
/proc/meminfo: memFree=28006240/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11872 CPUtime=180.1
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2911 0 0 0 3215 14795 0 0 25 0 1 0 21770943 12156928 2623 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2968 2623 238 467 0 2499 0
Current children cumulated CPU time (s) 180.1
Current children cumulated vsize (KiB) 11872

[startup+180.2 s]
/proc/loadavg: 2.08 2.06 2.06 3/179 18239
/proc/meminfo: memFree=28006240/32951124 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=11872 CPUtime=180.2
/proc/18233/stat : 18233 (pbct) R 18231 18233 17447 0 -1 4202496 2914 0 0 0 3219 14801 0 0 25 0 1 0 21770943 12156928 2623 4089446400 134512640 136422188 4289479024 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18233/statm: 2968 2623 238 467 0 2499 0
Current children cumulated CPU time (s) 180.2
Current children cumulated vsize (KiB) 11872

Child status: 0
Real time (s): 180.221
CPU time (s): 180.228
CPU user time (s): 32.2071
CPU system time (s): 148.02
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 11876

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

runsolver used 0.335948 second user time and 0.661899 second system time

The end

Launcher Data 

Begin job on node102 at 2010-07-07 22:45:59
IDJOB=2700423
IDBENCH=79426
IDSOLVER=1212
FILE ID=node102/2700423-1278535559
PBS_JOBID= 11239274
Free space on /tmp= 72988 MiB

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

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

MD5SUM BENCH= f2d449aa8c80edec7a2d4cb4a780c49d
RANDOM SEED=977730363

node102.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.806
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.61
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.806
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.75
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.806
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.82
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.806
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.75
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.806
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.85
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.806
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.75
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.806
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.75
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.806
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	: 5397.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28109260 kB
Buffers:        135316 kB
Cached:        2975068 kB
SwapCached:          0 kB
Active:        2601036 kB
Inactive:      2045244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28109260 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2080 kB
Writeback:           0 kB
AnonPages:     1535920 kB
Mapped:          17320 kB
Slab:           128452 kB
PageTables:       7624 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1721124 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= 72988 MiB
End job on node102 at 2010-07-07 22:48:59