Trace number 2699952

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 387.75 387.738

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
MD5SUM8b86218007c145a9ce1787d0bbf0d30b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark395
Best CPU time to get the best result obtained on this benchmark1.59076
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 constraints1000
Number of soft constraints900
Number of constraints which are clauses900
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 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
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/900 units 0
0.00/0.00	c vars 200
0.00/0.04	c 0.036994 10.2188 1 2043
0.00/0.04	o 32337
0.00/0.04	c 0.036994 10.457 1 2991
0.00/0.04	o 30721
0.00/0.04	c 0.037994 10.457 1 3157
0.00/0.04	o 30641
0.03/0.04	c 0.037994 10.457 1 4099
0.03/0.04	o 29503
0.03/0.04	c 0.037994 10.457 3 5039
0.03/0.04	o 28761
0.03/0.05	c 0.037994 10.457 3 5979
0.03/0.05	o 17828
0.03/0.05	c 0.037994 10.457 3 6920
0.03/0.05	o 16291
0.03/0.05	c 0.038994 10.457 45 7329
0.03/0.05	o 16172
0.09/0.18	c 0.06499 10.457 585 10293
0.09/0.18	o 16147
0.19/0.21	c 0.070989 10.457 424 11202
0.19/0.21	o 15896
0.19/0.29	c 0.091986 10.582 658 13442
0.19/0.29	o 15704
0.29/0.36	c 0.103984 10.582 725 15157
0.29/0.36	o 15531
0.89/0.99	c 0.209968 10.707 703 23285
0.89/0.99	o 15358
1.00/1.04	c 0.224965 10.707 381 24958
1.00/1.04	o 14969
1.49/1.59	c 0.341948 10.707 520 32924
1.49/1.59	o 14940
1.59/1.68	c 0.362944 10.707 381 34897
1.59/1.68	o 14902
2.90/2.97	c 0.577912 10.832 719 48970
2.90/2.97	o 14871
3.79/3.84	c 0.763883 10.8281 974 64673
3.79/3.84	o 14864
4.19/4.29	c 0.858869 10.8281 882 73513
4.19/4.29	o 14360
4.40/4.41	c 0.880866 10.8281 648 75772
4.40/4.41	o 14134
4.99/5.09	c 1.00785 10.8281 949 84741
4.99/5.09	o 14087
5.08/5.12	c 1.01585 10.8281 386 85886
5.08/5.12	o 13902
5.59/5.67	c 1.12983 10.8281 577 95951
5.59/5.67	o 13869
5.89/5.93	c 1.18982 10.8281 643 101248
5.89/5.93	o 13835
6.08/6.12	c 1.22281 10.8281 500 104279
6.08/6.12	o 13741
6.08/6.14	c 1.23281 10.8281 645 104894
6.08/6.14	o 13681
6.59/6.66	c 1.3258 10.8281 685 114061
6.59/6.66	o 13651
6.99/7.01	c 1.37279 10.8281 941 117418
6.99/7.01	o 13639
7.19/7.23	c 1.41978 10.8281 441 121960
7.19/7.23	o 13127
9.80/9.85	c 1.88271 10.9492 889 163274
9.80/9.85	o 13115
12.89/12.92	c 2.45163 10.9492 691 203732
12.89/12.92	o 12948
12.89/12.93	c 2.45463 10.9492 458 204307
12.89/12.93	o 12943
13.59/13.61	c 2.58761 10.9492 665 215505
13.59/13.61	o 12839
13.59/13.64	c 2.5926 10.9492 418 216092
13.59/13.64	o 12821
15.29/15.36	c 2.86156 10.9492 501 238742
15.29/15.36	o 12726
15.49/15.53	c 2.89656 10.9492 685 241726
15.49/15.53	o 12713
16.99/17.07	c 3.19751 11.0742 703 267180
16.99/17.07	o 12623
16.99/17.09	c 3.19851 11.0742 496 268248
16.99/17.09	o 12159
18.49/18.56	c 3.45947 11.0742 402 289266
18.49/18.56	o 12123
19.89/19.91	c 3.71843 11.0742 645 308452
19.89/19.91	o 11924
21.19/21.23	c 3.9514 11.0742 868 325956
21.19/21.23	o 11854
21.29/21.32	c 3.9694 11.0742 535 327639
21.29/21.32	o 11835
23.00/23.06	c 4.26535 11.0742 722 348608
23.00/23.06	o 11725
31.09/31.10	c 5.65714 11.1992 489 431227
31.09/31.10	o 11416
33.49/33.52	c 6.06308 11.1992 625 463750
33.49/33.52	o 11352
33.89/33.92	c 6.13107 11.1992 648 469993
33.89/33.92	o 11338
34.09/34.11	c 6.15906 11.1992 646 473585
34.09/34.11	o 11309
35.20/35.27	c 6.36403 11.1992 582 488457
35.20/35.27	o 11208
35.29/35.31	c 6.36903 11.1992 439 489346
35.29/35.31	o 10946
36.99/37.02	c 6.65999 11.1992 724 508244
36.99/37.02	o 10931
38.19/38.23	c 6.88995 11.1992 624 524332
38.19/38.23	o 10892
40.99/41.02	c 7.40487 11.1992 546 564123
40.99/41.02	o 10847
42.29/42.32	c 7.61484 11.1992 592 578327
42.29/42.32	o 10791
42.49/42.59	c 7.65484 11.1992 494 582668
42.49/42.59	o 10743
47.79/47.86	c 8.64069 11.3242 569 641880
47.79/47.87	o 10740
48.49/48.51	c 8.74867 11.3242 965 651410
48.49/48.51	o 10732
51.60/51.65	c 9.24959 11.3242 465 686796
51.60/51.65	o 10710
57.69/57.73	c 10.2644 11.3242 638 754293
57.69/57.73	o 10690
57.69/57.75	c 10.2694 11.3242 407 754902
57.69/57.75	o 10657
59.40/59.43	c 10.5244 11.3242 645 776947
59.40/59.43	o 10617
59.80/59.80	c 10.6014 11.3242 636 781896
59.80/59.80	o 10585
60.79/60.86	c 10.7574 11.3242 719 794544
60.79/60.86	o 10530
60.99/61.03	c 10.7834 11.3242 533 797234
60.99/61.03	o 10490
62.89/62.96	c 11.1133 11.3242 985 820411
62.89/62.96	o 10380
65.60/65.65	c 11.6052 11.3242 706 848368
65.60/65.65	o 10346
70.50/70.50	c 12.4311 11.4453 640 911173
70.50/70.50	o 10165
70.59/70.65	c 12.4561 11.4453 704 913427
70.59/70.65	o 10118
71.50/71.53	c 12.6111 11.4453 747 924835
71.50/71.53	o 10113
75.29/75.39	c 13.242 11.4453 494 968686
75.29/75.39	o 9954
78.69/78.72	c 13.7989 11.4453 602 1011493
78.69/78.72	o 9945
80.59/80.64	c 14.1059 11.4453 680 1035520
80.59/80.64	o 9890
85.19/85.23	c 14.8787 11.4453 860 1087438
85.19/85.23	o 9797
85.89/85.97	c 14.9937 11.4453 638 1096912
85.89/85.97	o 9755
87.59/87.69	c 15.2877 11.4453 477 1120071
87.59/87.69	o 9737
89.09/89.18	c 15.5226 11.4453 693 1138654
89.09/89.18	o 9630
93.79/93.86	c 16.2745 11.4453 909 1197353
93.79/93.86	o 9499
95.49/95.54	c 16.5525 11.4453 589 1217236
95.49/95.54	o 9477
97.59/97.69	c 16.8914 11.4453 879 1237698
97.59/97.69	o 9453
97.80/97.87	c 16.9244 11.4453 671 1240523
97.80/97.87	o 9423
107.80/107.82	c 18.6152 11.5703 794 1358827
107.80/107.82	o 9362
114.30/114.32	c 19.697 11.5703 744 1434103
114.30/114.32	o 9359
115.59/115.61	c 19.909 11.5703 668 1450715
115.59/115.61	o 9354
115.69/115.79	c 19.936 11.5703 816 1453285
115.69/115.79	o 9317
116.89/116.99	c 20.1539 11.5703 764 1467398
116.89/116.99	o 9305
118.39/118.48	c 20.4209 11.5703 554 1486599
118.39/118.48	o 9255
118.79/118.83	c 20.4739 11.5703 566 1492258
118.79/118.83	o 9235
121.40/121.41	c 20.8638 11.5703 562 1518992
121.40/121.41	o 9194
124.50/124.54	c 21.3558 11.5703 745 1557744
124.50/124.54	o 9159
124.79/124.85	c 21.4107 11.5703 659 1561554
124.79/124.85	o 9086
127.30/127.32	c 21.8037 11.5703 583 1591446
127.30/127.32	o 8932
127.79/127.81	c 21.8767 11.5703 656 1597519
127.79/127.81	o 8843
130.59/130.69	c 22.3766 11.5703 818 1629414
130.59/130.69	o 8799
131.90/131.95	c 22.5926 11.6953 1050 1643952
131.90/131.95	o 8761
134.89/134.95	c 23.0745 11.6953 806 1682789
134.89/134.95	o 8700
136.40/136.48	c 23.3435 11.6953 528 1702593
136.40/136.48	o 8672
136.90/136.96	c 23.4214 11.6953 694 1708504
136.90/136.96	o 8625
140.50/140.58	c 24.0363 11.6953 929 1747007
140.50/140.58	o 8610
146.70/146.77	c 25.0712 11.6953 849 1818426
146.70/146.77	o 8609
146.79/146.86	c 25.0912 11.6953 791 1819490
146.79/146.86	o 8407
154.19/154.28	c 26.3 11.6953 607 1900314
154.19/154.28	o 8369
154.30/154.38	c 26.31 11.6953 654 1901836
154.30/154.38	o 8317
155.39/155.44	c 26.487 11.6953 458 1914867
155.39/155.44	o 8126
159.59/159.67	c 27.2069 11.6953 829 1964920
159.59/159.67	o 8066
163.00/163.08	c 27.7598 11.6953 541 1998185
163.00/163.08	o 7996
164.70/164.77	c 28.0247 11.6953 936 2016459
164.70/164.77	o 7980
167.29/167.35	c 28.3867 11.6953 729 2041141
167.29/167.35	o 7974
168.10/168.19	c 28.5307 11.6953 712 2050093
168.10/168.19	o 7935
175.00/175.05	c 29.6545 11.6953 568 2117682
175.00/175.05	o 7912
178.69/178.74	c 30.2714 11.6953 750 2157329
178.69/178.74	o 7639
179.09/179.14	c 30.3284 11.6953 518 2163047
179.09/179.14	o 7567
183.30/183.39	c 30.9963 11.8164 1055 2202148
183.30/183.39	o 7562
185.99/186.01	c 31.3772 11.8164 521 2231103
185.99/186.01	o 7406
187.39/187.43	c 31.6132 11.8164 562 2244543
187.39/187.43	o 7164
187.90/187.97	c 31.7122 11.8164 756 2250121
187.90/187.97	o 7105
191.19/191.24	c 32.2261 11.8164 778 2282066
191.19/191.24	o 7095
191.49/191.53	c 32.2701 11.8164 677 2285134
191.49/191.53	o 6951
192.80/192.88	c 32.4691 11.8164 849 2299033
192.80/192.88	o 6882
195.49/195.59	c 32.923 11.8164 889 2325832
195.49/195.59	o 6847
196.50/196.56	c 33.083 11.8164 789 2336104
196.50/196.56	o 6795
197.10/197.17	c 33.184 11.8164 665 2341633
197.10/197.17	o 6768
212.60/212.61	c 35.5616 11.8164 578 2466342
212.60/212.61	o 6750
213.79/213.84	c 35.7456 11.8164 718 2478935
213.79/213.84	o 6677
215.10/215.14	c 35.9345 11.8164 774 2492411
215.10/215.14	o 6568
215.60/215.69	c 36.0085 11.8164 839 2497175
215.60/215.69	o 6411
216.19/216.28	c 36.0785 11.8164 567 2502666
216.19/216.28	o 6332
219.90/220.00	c 36.6454 11.8164 837 2537112
219.90/220.00	o 6258
221.30/221.31	c 36.8334 11.8164 740 2549073
221.30/221.31	o 6242
223.89/223.98	c 37.1903 11.8164 574 2574552
223.89/223.98	o 6035
228.70/228.72	c 37.9112 11.8164 605 2615668
228.70/228.72	o 5981
230.10/230.15	c 38.1392 11.8164 1013 2627181
230.10/230.15	o 5932
230.79/230.82	c 38.2312 11.8164 658 2633700
230.79/230.82	o 5887
230.79/230.85	c 38.2362 11.8164 769 2634134
230.79/230.85	o 5852
231.60/231.66	c 38.3502 11.8164 688 2641871
231.60/231.66	o 5786
233.21/233.27	c 38.5921 11.8164 890 2657024
233.21/233.27	o 5721
237.40/237.47	c 39.153 11.8164 913 2696093
237.40/237.47	o 5694
238.20/238.20	c 39.274 11.8164 955 2703465
238.20/238.20	o 5665
240.60/240.60	c 39.623 11.8164 684 2724230
240.60/240.60	o 5635
255.40/255.45	c 41.8386 11.8164 798 2839239
255.40/255.45	o 5584
257.20/257.28	c 42.0766 11.8164 933 2855265
257.20/257.28	o 5514
258.90/258.97	c 42.2786 11.9453 820 2870747
258.90/258.97	o 5347
259.30/259.30	c 42.3196 11.9453 682 2873473
259.30/259.30	o 5329
266.10/266.13	c 43.3774 11.9453 671 2932508
266.10/266.13	o 5323
268.59/268.67	c 43.7773 11.9453 739 2957963
268.59/268.67	o 5263
270.30/270.31	c 44.0253 11.9453 687 2971412
270.30/270.31	o 5193
272.20/272.22	c 44.2953 11.9453 653 2988157
272.20/272.22	o 5146
275.80/275.86	c 44.8232 11.9453 614 3015784
275.80/275.86	o 5058
276.01/276.03	c 44.8572 11.9453 444 3017402
276.01/276.03	o 5054
276.01/276.08	c 44.8672 11.9453 629 3017984
276.01/276.08	o 5027
277.70/277.70	c 45.1171 11.9453 625 3031601
277.70/277.70	o 4993
281.60/281.65	c 45.6551 11.9453 649 3063627
281.60/281.65	o 4980
281.70/281.73	c 45.6631 11.9453 552 3064542
281.70/281.73	o 4977
282.90/282.95	c 45.847 11.9453 763 3075274
282.90/282.95	o 4976
289.20/289.20	c 46.7549 11.9453 789 3124892
289.20/289.20	o 4899
291.00/291.00	c 47.0279 11.9453 673 3140260
291.00/291.00	o 4889
291.80/291.81	c 47.1398 11.9453 935 3147064
291.80/291.81	o 4786
295.40/295.44	c 47.6438 11.9453 601 3177190
295.40/295.44	o 4706
300.30/300.32	c 48.3996 11.9453 910 3211557
300.30/300.32	o 4665
300.60/300.62	c 48.4326 11.9453 912 3213528
300.60/300.62	o 4585
300.70/300.75	c 48.4556 11.9453 917 3214730
300.70/300.75	o 4545
305.60/305.68	c 49.2145 11.9453 717 3253435
305.60/305.68	o 4507
306.70/306.72	c 49.3425 11.9453 695 3262151
306.70/306.72	o 4493
312.60/312.63	c 50.1964 11.9453 605 3307415
312.60/312.63	o 4450
312.80/312.82	c 50.2224 11.9453 486 3309330
312.80/312.82	o 4216
313.80/313.86	c 50.3563 11.9453 765 3317873
313.80/313.86	o 4088
313.90/313.94	c 50.3663 11.9453 612 3318595
313.90/313.94	o 4063
314.30/314.31	c 50.4233 11.9453 809 3322236
314.30/314.31	o 3989
314.70/314.79	c 50.4983 11.9453 675 3325865
314.70/314.79	o 3970
316.20/316.24	c 50.7133 11.9453 686 3335081
316.20/316.24	o 3935
316.50/316.54	c 50.7633 11.9453 859 3337789
316.50/316.54	o 3893
319.60/319.68	c 51.2082 11.9453 924 3362266
319.60/319.68	o 3775
320.80/320.89	c 51.3912 11.9453 521 3371304
320.80/320.89	o 3750
321.11/321.19	c 51.4262 11.9453 926 3373066
321.11/321.19	o 3727
321.70/321.78	c 51.5212 11.9453 796 3377719
321.70/321.78	o 3601
323.80/323.81	c 51.8281 12.0703 518 3392505
323.80/323.81	o 3591
326.50/326.52	c 52.2431 12.0703 520 3411895
326.50/326.52	o 3553
331.01/331.08	c 52.907 12.0703 890 3445815
331.01/331.08	o 3494
331.10/331.18	c 52.918 12.0703 786 3446681
331.10/331.18	o 3459
331.50/331.57	c 52.9889 12.0703 435 3450164
331.50/331.57	o 3445
332.90/332.90	c 53.1849 12.0703 969 3460456
332.90/332.90	o 3418
332.90/332.98	c 53.1979 12.0703 746 3461235
332.90/332.98	o 3329
334.00/334.07	c 53.3679 12.0703 568 3469752
334.00/334.07	o 3262
334.81/334.85	c 53.4649 12.0703 977 3476068
334.81/334.85	o 3186
335.70/335.72	c 53.6108 12.0703 581 3482431
335.70/335.72	o 3137
336.90/336.94	c 53.8018 12.0703 757 3490394
336.90/336.94	o 3105
338.00/338.00	c 53.9418 12.0703 710 3498317
338.00/338.00	o 3103
338.20/338.20	c 53.9698 12.0703 860 3499940
338.20/338.20	o 3075
338.40/338.49	c 54.0038 12.0703 901 3502118
338.40/338.49	o 3038
338.80/338.80	c 54.0498 12.0703 544 3504260
338.80/338.80	o 2867
339.30/339.30	c 54.1278 12.0703 651 3507313
339.30/339.30	o 2676
343.80/343.81	c 54.7877 12.0703 630 3534818
343.80/343.81	o 2619
345.20/345.24	c 54.9916 12.0703 643 3544195
345.20/345.24	o 2583
345.80/345.89	c 55.0846 12.0703 798 3548628
345.80/345.89	o 2564
349.71/349.80	c 55.6355 12.0703 512 3573413
349.71/349.80	o 2536
350.20/350.20	c 55.6985 12.0703 833 3576090
350.20/350.20	o 2495
353.20/353.27	c 56.1575 12.0703 917 3595655
353.20/353.27	o 2487
353.30/353.32	c 56.1655 12.0703 602 3596004
353.30/353.32	o 2462
353.30/353.35	c 56.1695 12.0703 696 3596245
353.30/353.35	o 2426
354.51/354.56	c 56.3584 12.0703 567 3603327
354.51/354.56	o 2335
354.70/354.75	c 56.3914 12.0703 687 3604664
354.70/354.75	o 2316
360.10/360.16	c 57.1473 12.0703 665 3637902
360.10/360.16	o 2310
362.20/362.20	c 57.4443 12.0703 867 3650804
362.20/362.20	o 2296
362.40/362.42	c 57.4813 12.0703 622 3652700
362.40/362.42	o 2230
362.80/362.80	c 57.5303 12.0703 875 3655597
362.80/362.80	o 2158
363.21/363.25	c 57.6022 12.0703 893 3658635
363.21/363.25	o 2060
363.80/363.85	c 57.6742 12.0703 863 3662073
363.80/363.85	o 2052
366.90/366.92	c 58.1282 12.0703 574 3677988
366.90/366.92	o 2039
368.60/368.62	c 58.3901 12.0703 717 3689396
368.60/368.62	o 2021
368.60/368.66	c 58.3971 12.0703 859 3689738
368.60/368.66	o 1999
368.71/368.72	c 58.4031 12.0703 573 3690118
368.71/368.72	o 1967
368.71/368.79	c 58.4101 12.0703 821 3690849
368.71/368.79	o 1868
370.10/370.10	c 58.6081 12.0703 914 3698893
370.10/370.10	o 1828
370.51/370.56	c 58.6611 12.0703 881 3701861
370.51/370.56	o 1728
370.61/370.66	c 58.6761 12.0703 737 3702460
370.61/370.66	o 1716
373.61/373.61	c 59.155 12.3125 623 3721027
373.61/373.61	o 1686
373.80/373.89	c 59.203 12.3125 627 3723223
373.80/373.89	o 1530
373.91/373.94	c 59.216 12.3125 769 3723665
373.91/373.94	o 1502
375.40/375.41	c 59.469 12.3125 667 3732641
375.40/375.41	o 1493
375.80/375.80	c 59.5299 12.3125 928 3734688
375.80/375.80	o 1492
376.00/376.07	c 59.5799 12.3125 884 3736563
376.00/376.07	o 1366
376.11/376.18	c 59.6009 12.3125 753 3737202
376.11/376.18	o 1360
376.40/376.40	c 59.6389 12.3125 907 3738466
376.40/376.40	o 1345
377.80/377.86	c 59.9069 12.3125 708 3747254
377.80/377.86	o 1336
379.91/379.95	c 60.2758 12.3125 878 3760214
379.91/379.95	o 1316
380.90/380.91	c 60.4488 12.3125 558 3766098
380.90/380.91	o 1295
380.90/380.94	c 60.4518 12.3125 635 3766351
380.90/380.94	o 1233
382.90/382.97	c 60.7988 12.4414 525 3777979
382.90/382.97	o 1172
384.20/384.28	c 61.0487 12.4414 823 3786134
384.20/384.28	o 1114
384.51/384.56	c 61.1017 12.4414 822 3787827
384.51/384.56	o 1096
384.70/384.73	c 61.1307 12.4414 880 3788904
384.70/384.73	o 1064
385.10/385.10	c 61.1977 12.4414 772 3791746
385.10/385.10	o 985
385.70/385.76	c 61.3047 12.4414 924 3796157
385.70/385.76	o 937
386.21/386.29	c 61.4067 12.4414 863 3799446
386.21/386.29	o 862
386.80/386.85	c 61.5156 12.4414 709 3803058
386.80/386.85	o 755
386.90/386.92	c 61.5296 12.4414 901 3803445
386.90/386.92	o 749
386.90/386.99	c 61.5496 12.4414 1094 3803855
386.90/386.99	o 722
387.30/387.32	c 61.6166 12.4414 732 3806092
387.30/387.32	o 698
387.40/387.41	c 61.6456 12.4414 1144 3806784
387.40/387.41	o 657
387.40/387.47	c 61.6616 12.4414 840 3807234
387.40/387.47	o 611
387.50/387.56	c 61.6856 12.4414 1275 3807915
387.50/387.56	o 575
387.60/387.63	c 61.7056 12.4414 960 3808387
387.60/387.63	o 565
387.60/387.68	c 61.7196 12.4414 1147 3808717
387.60/387.68	o 524
387.70/387.70	c 61.7266 12.4414 1256 3808913
387.70/387.70	o 480
387.70/387.71	c 61.7366 12.4414 1342 3809063
387.70/387.71	o 434
387.70/387.72	c 61.7376 12.4414 1059 3809126
387.70/387.72	o 395
387.70/387.72	c 61.7416 12.4414 1096 3809166
387.70/387.72	s OPTIMUM FOUND
387.70/387.72	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	395

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699952-1278533860/watcher-2699952-1278533860 -o /tmp/evaluation-result-2699952-1278533860/solver-2699952-1278533860 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699952-1278533860.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: 0.11 0.04 0.01 3/178 19601
/proc/meminfo: memFree=28703404/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=2136 CPUtime=0
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 255 0 0 0 0 0 0 0 21 0 1 0 21600802 2187264 175 4089446400 134512640 136421960 4288125456 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19601/statm: 534 175 144 467 0 65 0

[startup+0.0463279 s]
/proc/loadavg: 0.11 0.04 0.01 3/178 19601
/proc/meminfo: memFree=28703404/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10704 CPUtime=0.03
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2392 0 0 0 3 0 0 0 21 0 1 0 21600802 10960896 2309 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19601/statm: 2676 2309 237 467 0 2207 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10704

[startup+0.100316 s]
/proc/loadavg: 0.11 0.04 0.01 3/178 19601
/proc/meminfo: memFree=28703404/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10704 CPUtime=0.09
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2408 0 0 0 4 5 0 0 21 0 1 0 21600802 10960896 2320 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19601/statm: 2676 2320 238 467 0 2207 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10704

[startup+0.30028 s]
/proc/loadavg: 0.11 0.04 0.01 3/178 19601
/proc/meminfo: memFree=28703404/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10832 CPUtime=0.29
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2437 0 0 0 9 20 0 0 21 0 1 0 21600802 11091968 2346 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19601/statm: 2708 2346 238 467 0 2239 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10832

[startup+0.700199 s]
/proc/loadavg: 0.11 0.04 0.01 3/178 19601
/proc/meminfo: memFree=28703404/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10960 CPUtime=0.69
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2474 0 0 0 16 53 0 0 22 0 1 0 21600802 11223040 2382 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19601/statm: 2740 2382 238 467 0 2271 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10960

[startup+1.50105 s]
/proc/loadavg: 0.11 0.04 0.01 3/179 19602
/proc/meminfo: memFree=28692732/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=10960 CPUtime=1.49
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2485 0 0 0 31 118 0 0 25 0 1 0 21600802 11223040 2391 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19601/statm: 2740 2391 238 467 0 2271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10960

[startup+3.10074 s]
/proc/loadavg: 0.26 0.07 0.02 3/179 19602
/proc/meminfo: memFree=28690632/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11084 CPUtime=3.1
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2505 0 0 0 60 250 0 0 25 0 1 0 21600802 11350016 2408 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19601/statm: 2771 2408 238 467 0 2302 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 11084

[startup+6.30013 s]
/proc/loadavg: 0.26 0.07 0.02 3/179 19602
/proc/meminfo: memFree=28685052/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11084 CPUtime=6.29
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2534 0 0 0 126 503 0 0 25 0 1 0 21600802 11350016 2428 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19601/statm: 2771 2428 238 467 0 2302 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11084

[startup+12.7009 s]
/proc/loadavg: 0.53 0.13 0.04 3/179 19602
/proc/meminfo: memFree=28674528/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11208 CPUtime=12.69
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2577 0 0 0 241 1028 0 0 25 0 1 0 21600802 11476992 2467 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19601/statm: 2802 2467 238 467 0 2333 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11208

[startup+25.5005 s]
/proc/loadavg: 0.75 0.20 0.06 3/179 19602
/proc/meminfo: memFree=28655140/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11336 CPUtime=25.49
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2623 0 0 0 466 2083 0 0 25 0 1 0 21600802 11608064 2500 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19601/statm: 2834 2500 238 467 0 2365 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11336

[startup+51.1006 s]
/proc/loadavg: 1.18 0.34 0.11 3/179 19606
/proc/meminfo: memFree=28616852/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11592 CPUtime=51.09
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2674 0 0 0 916 4193 0 0 25 0 1 0 21600802 11870208 2538 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2898 2538 238 467 0 2429 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11592

[startup+102.306 s]
/proc/loadavg: 1.67 0.62 0.22 3/179 19634
/proc/meminfo: memFree=28674764/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11716 CPUtime=102.3
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2755 0 0 0 1768 8462 0 0 25 0 1 0 21600802 11997184 2596 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2929 2596 238 467 0 2460 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11716

[startup+162.3 s]
/proc/loadavg: 1.88 0.87 0.33 3/179 19636
/proc/meminfo: memFree=28552976/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=11972 CPUtime=162.29
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2830 0 0 0 2761 13468 0 0 25 0 1 0 21600802 12259328 2647 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 2993 2647 238 467 0 2524 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 11972

[startup+222.301 s]
/proc/loadavg: 1.95 1.07 0.43 3/179 19638
/proc/meminfo: memFree=28464004/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12096 CPUtime=222.3
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2890 0 0 0 3696 18534 0 0 25 0 1 0 21600802 12386304 2683 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3024 2683 238 467 0 2555 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 12096

[startup+282.301 s]
/proc/loadavg: 1.98 1.24 0.52 3/179 19639
/proc/meminfo: memFree=28396484/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12228 CPUtime=282.3
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2938 0 0 0 4575 23655 0 0 25 0 1 0 21600802 12521472 2707 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3057 2707 238 467 0 2588 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 12228

[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.61 3/179 19641
/proc/meminfo: memFree=28334036/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12356 CPUtime=342.3
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3012 0 0 0 5456 28774 0 0 25 0 1 0 21600802 12652544 2743 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3089 2743 238 467 0 2620 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 12356

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

[startup+358.3 s]
/proc/loadavg: 1.99 1.40 0.64 3/179 19641
/proc/meminfo: memFree=28323728/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12356 CPUtime=358.3
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3028 0 0 0 5689 30141 0 0 25 0 1 0 21600802 12652544 2749 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3089 2749 238 467 0 2620 0
Current children cumulated CPU time (s) 358.3
Current children cumulated vsize (KiB) 12356

[startup+371.101 s]
/proc/loadavg: 1.99 1.42 0.65 3/179 19642
/proc/meminfo: memFree=28310940/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12604 CPUtime=371.1
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3066 0 0 0 5875 31235 0 0 25 0 1 0 21600802 12906496 2773 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3151 2773 238 467 0 2682 0
Current children cumulated CPU time (s) 371.1
Current children cumulated vsize (KiB) 12604

[startup+377.501 s]
/proc/loadavg: 1.99 1.44 0.66 3/179 19642
/proc/meminfo: memFree=28305224/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12604 CPUtime=377.5
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3076 0 0 0 5982 31768 0 0 25 0 1 0 21600802 12906496 2775 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3151 2775 238 467 0 2682 0
Current children cumulated CPU time (s) 377.5
Current children cumulated vsize (KiB) 12604

[startup+383.906 s]
/proc/loadavg: 1.99 1.45 0.67 3/179 19642
/proc/meminfo: memFree=28298524/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12736 CPUtime=383.9
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3115 0 0 0 6097 32293 0 0 25 0 1 0 21600802 13041664 2809 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3184 2809 238 467 0 2715 0
Current children cumulated CPU time (s) 383.9
Current children cumulated vsize (KiB) 12736

[startup+385.501 s]
/proc/loadavg: 1.99 1.45 0.67 3/179 19642
/proc/meminfo: memFree=28297036/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12736 CPUtime=385.51
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3119 0 0 0 6126 32425 0 0 25 0 1 0 21600802 13041664 2809 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3184 2809 238 467 0 2715 0
Current children cumulated CPU time (s) 385.51
Current children cumulated vsize (KiB) 12736

[startup+387.101 s]
/proc/loadavg: 1.99 1.46 0.68 3/179 19642
/proc/meminfo: memFree=28294924/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12736 CPUtime=387.1
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3124 0 0 0 6156 32554 0 0 25 0 1 0 21600802 13041664 2809 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3184 2809 238 467 0 2715 0
Current children cumulated CPU time (s) 387.1
Current children cumulated vsize (KiB) 12736

[startup+387.501 s]
/proc/loadavg: 1.99 1.46 0.68 3/179 19642
/proc/meminfo: memFree=28294924/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12736 CPUtime=387.5
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3127 0 0 0 6166 32584 0 0 18 0 1 0 21600802 13041664 2809 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3184 2809 238 467 0 2715 0
Current children cumulated CPU time (s) 387.5
Current children cumulated vsize (KiB) 12736

[startup+387.701 s]
/proc/loadavg: 1.99 1.46 0.68 3/179 19642
/proc/meminfo: memFree=28294924/32950928 swapFree=67111528/67111528
[pid=19601] ppid=19599 vsize=12736 CPUtime=387.7
/proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3130 0 0 0 6172 32598 0 0 18 0 1 0 21600802 13041664 2809 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19601/statm: 3184 2809 238 467 0 2715 0
Current children cumulated CPU time (s) 387.7
Current children cumulated vsize (KiB) 12736

Child status: 0
Real time (s): 387.738
CPU time (s): 387.75
CPU user time (s): 61.7516
CPU system time (s): 325.998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 12736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.7516
system time used= 325.998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3138
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= 3
involuntary context switches= 508

runsolver used 0.555915 second user time and 1.22781 second system time

The end

Launcher Data 

Begin job on node114 at 2010-07-07 22:17:40
IDJOB=2699952
IDBENCH=79387
IDSOLVER=1208
FILE ID=node114/2699952-1278533860
PBS_JOBID= 11239250
Free space on /tmp= 73156 MiB

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

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

MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b
RANDOM SEED=1698972095

node114.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.824
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.64
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.824
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.824
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.83
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.824
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.81
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.824
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.82
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.824
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.824
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.824
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:      28704172 kB
Buffers:        133856 kB
Cached:        3862148 kB
SwapCached:          0 kB
Active:        1298028 kB
Inactive:      2786664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28704172 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8372 kB
Writeback:           0 kB
AnonPages:       88672 kB
Mapped:          17320 kB
Slab:            96764 kB
PageTables:       4708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   231764 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= 73160 MiB
End job on node114 at 2010-07-07 22:24:08