Trace number 2700420

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.1OPTIMUM 180.007 180.002

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.1 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.033994 9.94922 1 1952
0.00/0.03	o 22916
0.00/0.04	c 0.035994 10.1133 3 2142
0.00/0.04	o 22820
0.00/0.04	c 0.036994 10.1133 3 3021
0.00/0.04	o 16572
0.00/0.04	c 0.036994 10.1133 3 3438
0.00/0.04	o 16565
0.00/0.04	c 0.037994 10.1133 3 4035
0.00/0.04	o 16393
0.00/0.04	c 0.039993 10.1133 4 4823
0.00/0.04	o 15727
0.00/0.05	c 0.040993 10.1133 5 5743
0.00/0.05	o 12189
0.39/0.47	c 0.295955 10.3633 527 13074
0.39/0.47	o 12184
0.59/0.62	c 0.39294 10.3633 556 15174
0.59/0.62	o 11748
0.59/0.64	c 0.406938 10.3633 393 15886
0.59/0.64	o 11711
0.79/0.85	c 0.526919 10.3633 920 19029
0.79/0.85	o 11610
1.79/1.87	c 1.17082 10.3633 455 33849
1.79/1.87	o 11408
1.79/1.87	c 1.17382 10.3633 459 34028
1.79/1.87	o 11406
1.79/1.89	c 1.18282 10.3633 525 34413
1.79/1.89	o 11316
2.09/2.18	c 1.34479 10.3633 608 39019
2.09/2.18	o 11275
2.59/2.66	c 1.63575 10.3633 755 46728
2.59/2.66	o 11162
2.69/2.79	c 1.72374 10.3633 404 49238
2.69/2.79	o 11159
2.79/2.82	c 1.73774 10.3633 498 49659
2.79/2.82	o 11064
3.19/3.26	c 2.00869 10.3633 691 56109
3.19/3.26	o 11023
6.29/6.30	c 3.9314 10.6133 815 85943
6.29/6.30	o 10986
6.69/6.76	c 4.22936 10.6133 600 92222
6.69/6.76	o 10944
7.09/7.16	c 4.47832 10.6133 502 98518
7.09/7.16	o 10724
7.19/7.27	c 4.54731 10.6133 588 100056
7.19/7.27	o 10718
8.20/8.25	c 5.18121 10.6133 632 115009
8.20/8.25	o 10523
9.19/9.25	c 5.82211 10.6133 416 128607
9.19/9.25	o 10353
9.80/9.82	c 6.17606 10.6133 665 135908
9.80/9.82	o 10091
9.90/9.98	c 6.28204 10.6133 733 138756
9.90/9.98	o 9913
10.50/10.56	c 6.64699 10.6133 499 145161
10.50/10.56	o 9752
10.69/10.75	c 6.76597 10.6133 938 147014
10.69/10.75	o 9717
11.00/11.09	c 6.98594 10.6133 709 151616
11.00/11.09	o 9597
11.59/11.68	c 7.37088 10.6133 550 159749
11.59/11.68	o 9372
13.49/13.50	c 8.50871 10.6133 466 180539
13.49/13.50	o 9253
14.69/14.78	c 9.28859 10.6133 675 197796
14.69/14.78	o 9194
14.99/15.05	c 9.44456 10.6133 757 200804
14.99/15.05	o 9177
16.10/16.11	c 10.0985 10.7383 702 213779
16.10/16.11	o 9175
16.29/16.32	c 10.2264 10.7383 851 215783
16.29/16.32	o 8961
16.50/16.57	c 10.3734 10.7383 569 219688
16.50/16.57	o 8832
16.50/16.59	c 10.3884 10.7383 344 220289
16.50/16.59	o 8817
16.69/16.78	c 10.5044 10.7383 744 222506
16.69/16.78	o 8778
17.20/17.22	c 10.7664 10.7383 529 228540
17.20/17.22	o 8752
17.50/17.57	c 10.9923 10.7383 485 232536
17.50/17.57	o 8572
18.09/18.12	c 11.3393 10.7383 565 239899
18.09/18.12	o 8469
18.79/18.89	c 11.8002 10.7383 522 248145
18.79/18.89	o 8379
19.39/19.45	c 12.1502 10.7383 693 253435
19.39/19.45	o 8358
19.70/19.71	c 12.3131 10.7383 468 256894
19.70/19.71	o 8287
20.70/20.79	c 12.971 10.7383 638 269682
20.70/20.79	o 8278
20.99/21.03	c 13.123 10.7383 640 272554
20.99/21.03	o 8275
21.90/21.94	c 13.6819 10.7383 702 281944
21.90/21.94	o 8212
22.59/22.63	c 14.1069 10.7383 526 286588
22.59/22.63	o 8145
23.09/23.11	c 14.4028 10.7383 767 291902
23.09/23.11	o 8060
23.19/23.20	c 14.4568 10.7383 743 292983
23.19/23.20	o 7977
23.79/23.82	c 14.8297 10.7383 659 300880
23.79/23.82	o 7923
25.39/25.47	c 15.8516 10.7383 716 319932
25.39/25.47	o 7917
25.69/25.71	c 15.9916 10.8594 957 322345
25.69/25.71	o 7815
26.09/26.14	c 16.2665 10.8594 625 327802
26.09/26.14	o 7703
29.69/29.71	c 18.5122 10.8594 596 368508
29.69/29.71	o 7643
32.19/32.20	c 20.0919 10.8594 472 394944
32.19/32.20	o 7599
32.19/32.27	c 20.1349 10.8594 707 395597
32.19/32.27	o 7586
32.39/32.46	c 20.2549 10.8594 750 397478
32.39/32.46	o 7581
33.00/33.08	c 20.6369 10.8594 846 405512
33.00/33.08	o 7534
33.59/33.61	c 20.9658 10.8594 616 412377
33.59/33.61	o 7512
34.09/34.12	c 21.2728 10.8594 701 419356
34.09/34.12	o 7427
34.99/35.03	c 21.8207 10.8594 731 429713
34.99/35.03	o 7250
35.10/35.17	c 21.9007 10.8594 479 431290
35.10/35.17	o 7198
37.50/37.57	c 23.3514 10.8594 701 451365
37.50/37.57	o 7153
39.99/40.08	c 24.9462 10.8594 725 475537
39.99/40.08	o 7131
44.69/44.71	c 27.7968 10.9805 542 510247
44.69/44.71	o 7101
45.89/45.94	c 28.5527 10.9805 474 522658
45.89/45.94	o 7042
45.99/46.03	c 28.5967 10.9805 783 523493
45.99/46.03	o 6916
47.49/47.57	c 29.5165 10.9805 430 539062
47.49/47.57	o 6723
47.99/48.09	c 29.8275 10.9805 758 545087
47.99/48.09	o 6716
49.09/49.15	c 30.4744 10.9805 700 555889
49.09/49.15	o 6671
49.19/49.23	c 30.5264 10.9805 419 557398
49.19/49.23	o 6610
49.19/49.29	c 30.5634 10.9805 615 558025
49.19/49.29	o 6542
54.09/54.19	c 33.5789 10.9805 599 606695
54.09/54.19	o 6511
55.49/55.52	c 34.3678 10.9805 526 619172
55.49/55.52	o 6506
55.70/55.79	c 34.5367 10.9805 849 621889
55.70/55.79	o 6370
60.90/60.97	c 37.7023 10.9805 816 667362
60.90/60.97	o 6342
60.99/61.04	c 37.7383 10.9805 739 668405
60.99/61.04	o 6133
61.30/61.33	c 37.9282 10.9805 553 670872
61.30/61.33	o 6016
62.90/62.97	c 38.9421 10.9805 753 686479
62.90/62.97	o 5953
63.90/63.93	c 39.537 10.9805 461 696941
63.90/63.93	o 5863
64.19/64.26	c 39.757 10.9805 760 699684
64.19/64.26	o 5830
65.69/65.74	c 40.6638 10.9805 593 710553
65.69/65.74	o 5777
69.09/69.17	c 42.7455 11.1055 471 743360
69.09/69.17	o 5744
71.59/71.63	c 44.2443 11.1055 895 762582
71.59/71.63	o 5715
71.90/71.98	c 44.4542 11.1055 509 765909
71.90/71.98	o 5638
72.79/72.86	c 44.9982 11.1055 866 772570
72.79/72.86	o 5623
73.49/73.51	c 45.4031 11.1055 683 779318
73.49/73.51	o 5545
73.49/73.55	c 45.4281 11.1055 466 779989
73.49/73.55	o 5477
77.59/77.64	c 47.9387 11.1055 607 814504
77.59/77.64	o 5373
85.19/85.28	c 52.61 11.1055 913 881368
85.19/85.28	o 5264
87.19/87.28	c 53.8528 11.1055 783 898610
87.19/87.28	o 5238
91.09/91.20	c 56.2584 11.1055 532 931222
91.09/91.20	o 5104
92.30/92.38	c 56.9673 11.1055 461 941196
92.30/92.38	o 5051
92.79/92.81	c 57.2363 11.1055 799 945195
92.79/92.81	o 5016
93.40/93.41	c 57.6012 11.1055 864 949891
93.40/93.41	o 5015
94.80/94.88	c 58.5121 11.1055 709 961798
94.80/94.88	o 4997
100.39/100.42	c 61.8726 11.1055 602 1005286
100.39/100.42	o 4989
100.39/100.46	c 61.8946 11.1055 756 1005824
100.39/100.46	o 4934
100.89/100.94	c 62.1825 11.1055 525 1010042
100.89/100.94	o 4878
103.49/103.59	c 63.8513 11.1055 750 1031046
103.49/103.59	o 4803
103.80/103.86	c 64.0063 11.1055 488 1033287
103.80/103.86	o 4748
104.09/104.18	c 64.1952 11.1055 704 1035550
104.09/104.18	o 4702
104.50/104.56	c 64.4152 11.2305 801 1038593
104.50/104.56	o 4685
108.79/108.87	c 67.0768 11.2305 787 1074559
108.79/108.87	o 4662
109.80/109.85	c 67.6827 11.2305 720 1083019
109.80/109.85	o 4604
111.00/111.08	c 68.4396 11.2305 734 1092808
111.00/111.08	o 4569
114.10/114.19	c 70.3553 11.2305 884 1115759
114.10/114.19	o 4510
114.49/114.50	c 70.5593 11.2305 828 1118679
114.49/114.50	o 4463
115.79/115.84	c 71.3821 11.2305 492 1129143
115.79/115.84	o 4421
117.10/117.14	c 72.187 11.2305 530 1140977
117.10/117.14	o 4320
117.99/118.00	c 72.7169 11.2305 698 1146481
117.99/118.00	o 4293
119.19/119.26	c 73.5018 11.2305 484 1155818
119.19/119.26	o 4264
119.30/119.36	c 73.5648 11.2305 500 1157017
119.30/119.36	o 4223
119.59/119.63	c 73.7208 11.2305 507 1158792
119.59/119.63	o 4212
122.79/122.80	c 75.6605 11.2305 707 1181424
122.79/122.80	o 4130
122.90/122.96	c 75.7525 11.2305 883 1182794
122.90/122.96	o 3960
124.60/124.65	c 76.7723 11.2305 534 1196329
124.60/124.65	o 3902
129.60/129.64	c 79.8509 11.2305 777 1233666
129.60/129.64	o 3802
130.39/130.47	c 80.3448 11.2305 719 1239869
130.39/130.47	o 3798
131.70/131.75	c 81.1457 11.2305 484 1250342
131.70/131.75	o 3643
132.80/132.86	c 81.8316 11.2305 862 1256623
132.80/132.86	o 3622
134.20/134.25	c 82.7124 11.2305 592 1267436
134.20/134.25	o 3603
136.80/136.84	c 84.3142 11.2305 762 1287168
136.80/136.84	o 3568
137.40/137.43	c 84.6841 11.2305 803 1290913
137.40/137.43	o 3563
137.50/137.51	c 84.7191 11.2305 667 1291751
137.50/137.51	o 3459
137.80/137.81	c 84.8971 11.2305 448 1294450
137.80/137.81	o 3424
139.70/139.71	c 86.0599 11.2305 482 1306365
139.70/139.71	o 3415
140.89/140.99	c 86.8328 11.2305 579 1316095
140.89/140.99	o 3302
144.80/144.88	c 89.2664 11.2305 680 1341664
144.80/144.88	o 3299
144.89/144.98	c 89.3294 11.2305 606 1342510
144.89/144.98	o 3257
147.00/147.08	c 90.6112 11.3516 724 1357115
147.00/147.08	o 3203
149.20/149.21	c 91.926 11.3516 819 1373431
149.20/149.21	o 3024
150.70/150.77	c 92.9049 11.3516 667 1383608
150.70/150.77	o 2989
151.19/151.30	c 93.2008 11.3516 801 1387509
151.19/151.30	o 2964
151.30/151.35	c 93.2278 11.3516 571 1387959
151.30/151.35	o 2941
151.80/151.82	c 93.5228 11.3516 808 1391659
151.80/151.82	o 2834
152.00/152.03	c 93.6428 11.3516 647 1393115
152.00/152.03	o 2818
153.40/153.46	c 94.5316 11.3516 807 1402245
153.40/153.46	o 2796
153.60/153.63	c 94.6436 11.3516 540 1403455
153.60/153.63	o 2779
158.10/158.18	c 97.4772 11.3516 746 1432802
158.10/158.18	o 2776
158.19/158.20	c 97.4962 11.3516 834 1433133
158.19/158.20	o 2713
159.89/159.97	c 98.569 11.3516 708 1444827
159.89/159.97	o 2676
160.20/160.20	c 98.702 11.3516 532 1446490
160.20/160.20	o 2581
160.29/160.31	c 98.777 11.3516 473 1447354
160.29/160.31	o 2570
160.29/160.39	c 98.825 11.3516 718 1448042
160.29/160.39	o 2542
161.10/161.15	c 99.2889 11.3516 679 1453239
161.10/161.15	o 2518
161.29/161.39	c 99.4369 11.3516 552 1454889
161.29/161.39	o 2497
161.80/161.80	c 99.6628 11.3516 525 1457944
161.80/161.80	o 2473
162.19/162.24	c 99.9488 11.3516 486 1460586
162.19/162.24	o 2424
162.19/162.30	c 99.9818 11.3516 651 1461106
162.19/162.30	o 2404
162.80/162.84	c 100.334 11.3516 577 1464925
162.80/162.84	o 2382
163.00/163.08	c 100.479 11.3516 944 1466784
163.00/163.08	o 2272
163.20/163.24	c 100.573 11.3516 524 1468105
163.20/163.24	o 2248
163.90/163.93	c 100.998 11.3516 672 1472669
163.90/163.93	o 2224
165.00/165.06	c 101.707 11.3516 616 1479893
165.00/165.06	o 2051
165.09/165.16	c 101.776 11.3516 503 1480620
165.09/165.16	o 2049
165.49/165.57	c 102.025 11.3516 543 1483467
165.49/165.57	o 2029
165.59/165.63	c 102.07 11.3516 719 1484010
165.59/165.63	o 1966
166.10/166.11	c 102.381 11.4766 513 1486874
166.10/166.11	o 1931
166.90/166.97	c 102.898 11.4766 494 1491793
166.90/166.97	o 1927
167.40/167.41	c 103.169 11.4766 473 1494373
167.40/167.41	o 1925
167.79/167.80	c 103.426 11.4766 782 1496900
167.79/167.80	o 1891
167.79/167.87	c 103.475 11.4766 616 1497500
167.79/167.87	o 1853
169.09/169.15	c 104.269 11.4766 554 1505330
169.09/169.15	o 1815
170.60/170.61	c 105.199 11.4766 669 1514769
170.60/170.61	o 1804
170.99/171.00	c 105.45 11.4766 491 1517106
170.99/171.00	o 1784
171.10/171.19	c 105.556 11.4766 563 1518044
171.10/171.19	o 1713
171.69/171.72	c 105.885 11.4766 872 1521844
171.69/171.72	o 1684
171.80/171.89	c 105.982 11.4766 449 1522775
171.80/171.89	o 1676
172.60/172.63	c 106.453 11.4766 445 1527141
172.60/172.63	o 1662
173.20/173.22	c 106.839 11.4766 479 1530369
173.20/173.22	o 1607
173.30/173.33	c 106.902 11.4766 776 1530981
173.30/173.33	o 1603
174.80/174.88	c 107.887 11.4766 584 1540526
174.80/174.88	o 1602
174.90/174.95	c 107.943 11.4766 823 1541004
174.90/174.95	o 1589
175.00/175.05	c 107.993 11.4766 749 1541688
175.00/175.05	o 1572
175.10/175.16	c 108.058 11.4766 616 1542235
175.10/175.16	o 1516
175.20/175.23	c 108.105 11.4766 477 1543019
175.20/175.23	o 1505
175.59/175.65	c 108.351 11.4766 431 1545526
175.59/175.65	o 1494
176.19/176.20	c 108.687 11.4766 768 1549215
176.19/176.20	o 1387
176.19/176.20	c 108.688 11.4766 773 1549275
176.19/176.20	o 1378
176.19/176.21	c 108.692 11.4766 787 1549354
176.19/176.21	o 1358
176.19/176.27	c 108.731 11.4766 513 1549751
176.19/176.27	o 1357
176.40/176.45	c 108.842 11.4766 616 1550990
176.40/176.45	o 1355
176.60/176.60	c 108.936 11.4766 612 1551989
176.60/176.60	o 1352
176.69/176.77	c 109.035 11.4766 755 1553388
176.69/176.77	o 1319
176.79/176.85	c 109.095 11.4766 558 1553885
176.79/176.85	o 1287
176.79/176.88	c 109.111 11.4766 636 1554030
176.79/176.88	o 1284
176.90/176.96	c 109.164 11.4766 503 1554759
176.90/176.96	o 1100
177.19/177.29	c 109.378 11.6016 790 1556705
177.19/177.29	o 1079
177.70/177.71	c 109.651 11.6016 762 1559328
177.70/177.71	o 1078
177.70/177.77	c 109.686 11.6016 475 1559612
177.70/177.77	o 1058
177.90/177.97	c 109.807 11.6016 667 1560887
177.90/177.97	o 1048
178.10/178.19	c 109.968 11.5977 1022 1562293
178.10/178.19	o 1015
178.20/178.28	c 110.021 11.5977 800 1562956
178.20/178.28	o 932
178.80/178.85	c 110.409 11.5977 916 1566573
178.80/178.85	o 926
178.99/179.08	c 110.563 11.5977 790 1568148
178.99/179.08	o 916
179.20/179.22	c 110.656 11.5977 795 1569128
179.20/179.22	o 893
179.30/179.30	c 110.708 11.5977 636 1569667
179.30/179.30	o 878
179.30/179.33	c 110.726 11.5977 727 1569928
179.30/179.33	o 749
179.39/179.44	c 110.795 11.5977 591 1570604
179.39/179.44	o 711
179.39/179.47	c 110.818 11.5977 724 1570922
179.39/179.47	o 653
179.50/179.59	c 110.9 11.5977 810 1572040
179.50/179.59	o 570
179.69/179.71	c 110.987 11.5977 783 1572938
179.69/179.71	o 508
179.69/179.79	c 111.055 11.5977 657 1573636
179.69/179.79	o 482
179.79/179.86	c 111.111 11.5977 961 1574100
179.79/179.86	o 476
179.79/179.88	c 111.126 11.5977 1049 1574245
179.79/179.88	o 467
179.89/179.91	c 111.142 11.5977 1177 1574493
179.89/179.91	o 420
179.89/179.97	c 111.197 11.5977 923 1575008
179.89/179.97	o 399
179.89/179.98	c 111.206 11.5977 974 1575105
179.89/179.98	o 340
179.89/179.99	c 111.21 11.5977 1016 1575167
179.89/179.99	o 333
179.89/179.99	c 111.212 11.5977 1038 1575193
179.89/179.99	s OPTIMUM FOUND
179.89/179.99	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-2700420-1278535546/watcher-2700420-1278535546 -o /tmp/evaluation-result-2700420-1278535546/solver-2700420-1278535546 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700420-1278535546.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.00 2.06 2.09 4/178 21152
/proc/meminfo: memFree=29442804/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=2136 CPUtime=0
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21769027 2187264 181 4089446400 134512640 136421960 4290332560 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21152/statm: 534 181 144 467 0 65 0

[startup+0.0693611 s]
/proc/loadavg: 2.00 2.06 2.09 4/178 21152
/proc/meminfo: memFree=29442804/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=10352 CPUtime=0.06
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2332 0 0 0 5 1 0 0 25 0 1 0 21769027 10600448 2245 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2588 2245 238 467 0 2119 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10352

[startup+0.100354 s]
/proc/loadavg: 2.00 2.06 2.09 4/178 21152
/proc/meminfo: memFree=29442804/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=10480 CPUtime=0.09
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2342 0 0 0 7 2 0 0 25 0 1 0 21769027 10731520 2255 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2620 2255 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.300321 s]
/proc/loadavg: 2.00 2.06 2.09 4/178 21152
/proc/meminfo: memFree=29442804/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=10608 CPUtime=0.29
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2370 0 0 0 19 10 0 0 25 0 1 0 21769027 10862592 2283 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2652 2283 238 467 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10608

[startup+0.700251 s]
/proc/loadavg: 2.00 2.06 2.09 4/178 21152
/proc/meminfo: memFree=29442804/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=10608 CPUtime=0.69
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2379 0 0 0 43 26 0 0 25 0 1 0 21769027 10862592 2289 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2652 2289 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50011 s]
/proc/loadavg: 2.00 2.06 2.09 3/179 21153
/proc/meminfo: memFree=29433248/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=10608 CPUtime=1.49
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2393 0 0 0 92 57 0 0 25 0 1 0 21769027 10862592 2302 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2652 2302 238 467 0 2183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10608

[startup+3.10083 s]
/proc/loadavg: 2.00 2.06 2.09 3/179 21154
/proc/meminfo: memFree=29432248/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=10608 CPUtime=3.09
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2411 0 0 0 191 118 0 0 25 0 1 0 21769027 10862592 2313 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2652 2313 238 467 0 2183 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10608

[startup+6.30027 s]
/proc/loadavg: 2.00 2.06 2.09 3/179 21154
/proc/meminfo: memFree=29427040/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=10864 CPUtime=6.29
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2451 0 0 0 392 237 0 0 25 0 1 0 21769027 11124736 2352 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2716 2352 238 467 0 2247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10864

[startup+12.7001 s]
/proc/loadavg: 2.00 2.06 2.08 3/179 21154
/proc/meminfo: memFree=29420024/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=10864 CPUtime=12.69
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2486 0 0 0 801 468 0 0 25 0 1 0 21769027 11124736 2375 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2716 2375 238 467 0 2247 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10864

[startup+25.5009 s]
/proc/loadavg: 2.00 2.05 2.08 3/179 21154
/proc/meminfo: memFree=29403480/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=10992 CPUtime=25.49
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2541 0 0 0 1586 963 0 0 25 0 1 0 21769027 11255808 2408 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2748 2408 238 467 0 2279 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10992

[startup+51.1003 s]
/proc/loadavg: 2.00 2.05 2.08 3/179 21155
/proc/meminfo: memFree=29370160/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11240 CPUtime=51.09
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2606 0 0 0 3168 1941 0 0 25 0 1 0 21769027 11509760 2452 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2810 2452 238 467 0 2341 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11240

[startup+102.306 s]
/proc/loadavg: 2.00 2.04 2.08 3/179 21156
/proc/meminfo: memFree=29304636/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11368 CPUtime=102.3
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2685 0 0 0 6305 3925 0 0 25 0 1 0 21769027 11640832 2504 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2842 2504 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.00 2.03 2.07 3/179 21158
/proc/meminfo: memFree=29227960/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11620 CPUtime=162.3
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2799 0 0 0 9998 6232 0 0 25 0 1 0 21769027 11898880 2567 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/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.00 2.03 2.07 3/179 21158
/proc/meminfo: memFree=29222996/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11748 CPUtime=166.29
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2817 0 0 0 10248 6381 0 0 25 0 1 0 21769027 12029952 2576 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2937 2576 238 467 0 2468 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 11748

[startup+172.706 s]
/proc/loadavg: 2.00 2.03 2.07 3/179 21158
/proc/meminfo: memFree=29213928/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11748 CPUtime=172.7
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2834 0 0 0 10650 6620 0 0 25 0 1 0 21769027 12029952 2582 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2937 2582 238 467 0 2468 0
Current children cumulated CPU time (s) 172.7
Current children cumulated vsize (KiB) 11748

[startup+175.9 s]
/proc/loadavg: 2.00 2.03 2.07 3/179 21158
/proc/meminfo: memFree=29208964/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11748 CPUtime=175.9
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2849 0 0 0 10850 6740 0 0 25 0 1 0 21769027 12029952 2589 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2937 2589 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.00 2.03 2.07 3/179 21158
/proc/meminfo: memFree=29208344/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11876 CPUtime=177.5
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2879 0 0 0 10951 6799 0 0 25 0 1 0 21769027 12161024 2608 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2969 2608 238 467 0 2500 0
Current children cumulated CPU time (s) 177.5
Current children cumulated vsize (KiB) 11876

[startup+179.101 s]
/proc/loadavg: 2.00 2.03 2.07 3/179 21158
/proc/meminfo: memFree=29206488/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11872 CPUtime=179.1
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2890 0 0 0 11057 6853 0 0 25 0 1 0 21769027 12156928 2612 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2968 2612 238 467 0 2499 0
Current children cumulated CPU time (s) 179.1
Current children cumulated vsize (KiB) 11872

[startup+179.501 s]
/proc/loadavg: 2.00 2.03 2.07 3/179 21158
/proc/meminfo: memFree=29205372/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11872 CPUtime=179.5
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2898 0 0 0 11083 6867 0 0 25 0 1 0 21769027 12156928 2615 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2968 2615 238 467 0 2499 0
Current children cumulated CPU time (s) 179.5
Current children cumulated vsize (KiB) 11872

[startup+179.901 s]
/proc/loadavg: 2.00 2.03 2.07 3/179 21158
/proc/meminfo: memFree=29205372/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11872 CPUtime=179.89
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2910 0 0 0 11113 6876 0 0 25 0 1 0 21769027 12156928 2622 4089446400 134512640 136421960 4290332560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2968 2622 238 467 0 2499 0
Current children cumulated CPU time (s) 179.89
Current children cumulated vsize (KiB) 11872

[startup+180.001 s]
/proc/loadavg: 2.00 2.03 2.07 3/179 21158
/proc/meminfo: memFree=29205372/32951124 swapFree=67111528/67111528
[pid=21152] ppid=21150 vsize=11092 CPUtime=180
/proc/21152/stat : 21152 (pbct) R 21150 21152 20458 0 -1 4202496 2918 0 0 0 11122 6878 0 0 25 0 1 0 21769027 11358208 2479 4089446400 134512640 136421960 4290332560 18446744073709551615 135801178 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21152/statm: 2773 2479 241 467 0 2304 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (KiB) 11092

Child status: 0
Real time (s): 180.002
CPU time (s): 180.007
CPU user time (s): 111.22
CPU system time (s): 68.7865
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 11876

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

runsolver used 0.234964 second user time and 0.595909 second system time

The end

Launcher Data 

Begin job on node103 at 2010-07-07 22:45:46
IDJOB=2700420
IDBENCH=79426
IDSOLVER=1208
FILE ID=node103/2700420-1278535546
PBS_JOBID= 11239272
Free space on /tmp= 73740 MiB

SOLVER NAME= PB/CT 0.1
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-2700420-1278535546/watcher-2700420-1278535546 -o /tmp/evaluation-result-2700420-1278535546/solver-2700420-1278535546 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2700420-1278535546.wbo

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

MD5SUM BENCH= f2d449aa8c80edec7a2d4cb4a780c49d
RANDOM SEED=457841496

node103.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.793
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.58
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.793
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.82
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.793
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.793
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.86
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.793
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.793
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.793
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.793
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	: 5408.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29443324 kB
Buffers:        130136 kB
Cached:        2308768 kB
SwapCached:          0 kB
Active:        1894316 kB
Inactive:      1470424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29443324 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2000 kB
Writeback:           0 kB
AnonPages:      925828 kB
Mapped:          16832 kB
Slab:            78312 kB
PageTables:       6340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1072572 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= 73736 MiB
End job on node103 at 2010-07-07 22:48:47