Trace number 2700207

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 111.131 111.129

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
MD5SUM6d863641d8b2b772fe5ea25b86285712
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark99
Best CPU time to get the best result obtained on this benchmark1.02084
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/850 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.036994 9.94531 1 1945
0.00/0.03	o 26800
0.03/0.04	c 0.040993 10.1133 8 2089
0.03/0.04	o 26762
0.03/0.04	c 0.041993 10.1133 8 2979
0.03/0.04	o 22189
0.03/0.04	c 0.043993 10.1133 8 3870
0.03/0.04	o 20936
0.03/0.04	c 0.044993 10.1133 11 4179
0.03/0.04	o 20885
0.03/0.05	c 0.045993 10.1133 14 4518
0.03/0.05	o 20834
0.03/0.05	c 0.045993 10.1133 14 4972
0.03/0.05	o 20720
0.03/0.05	c 0.047992 10.1133 22 5920
0.03/0.05	o 19214
0.03/0.05	c 0.049992 10.1133 26 6825
0.03/0.05	o 17882
0.03/0.05	c 0.050992 10.1133 27 7422
0.03/0.05	o 17636
0.03/0.06	c 0.050992 10.1133 27 8000
0.03/0.06	o 17160
0.03/0.06	c 0.052991 10.1133 27 8523
0.03/0.06	o 16777
0.03/0.06	c 0.053991 10.1133 27 8889
0.03/0.06	o 16639
0.03/0.06	c 0.055991 10.1133 27 9320
0.03/0.06	o 16381
0.03/0.07	c 0.06399 10.2383 90 9857
0.03/0.07	o 16127
0.03/0.09	c 0.074988 10.2383 210 10690
0.03/0.09	o 15794
0.03/0.09	c 0.075988 10.2383 211 10921
0.03/0.09	o 15750
0.03/0.09	c 0.077988 10.2383 213 11253
0.03/0.09	o 15547
0.09/0.10	c 0.078987 10.2383 215 11873
0.09/0.10	o 15057
0.09/0.11	c 0.089986 10.2383 281 12404
0.09/0.11	o 14816
0.09/0.11	c 0.092985 10.2383 286 12617
0.09/0.11	o 14782
0.09/0.12	c 0.095985 10.2383 296 12908
0.09/0.12	o 14618
0.09/0.18	c 0.12798 10.3633 534 13898
0.09/0.18	o 14598
0.19/0.29	c 0.198969 10.3633 740 15579
0.19/0.29	o 14565
0.29/0.32	c 0.217966 10.3633 531 16338
0.29/0.32	o 14404
0.29/0.34	c 0.231964 10.3633 685 16978
0.29/0.34	o 14343
0.29/0.36	c 0.243962 10.3633 443 17618
0.29/0.36	o 14270
0.29/0.37	c 0.245962 10.3633 443 18324
0.29/0.37	o 13640
0.29/0.38	c 0.254961 10.3633 492 18690
0.29/0.38	o 13483
0.39/0.46	c 0.307953 10.3633 565 20172
0.39/0.46	o 13477
0.49/0.59	c 0.383941 10.3633 576 22924
0.49/0.59	o 13359
0.69/0.70	c 0.45793 10.3633 548 25126
0.69/0.70	o 13191
0.69/0.77	c 0.501923 10.3633 566 26378
0.69/0.77	o 13173
1.39/1.43	c 0.895863 10.4883 673 34496
1.39/1.43	o 13085
1.49/1.54	c 0.970852 10.4883 422 36030
1.49/1.54	o 13011
2.19/2.29	c 1.44378 10.4883 575 45515
2.19/2.29	o 12893
2.29/2.34	c 1.47378 10.4883 460 46717
2.29/2.34	o 12849
2.29/2.35	c 1.48377 10.4883 505 47022
2.29/2.35	o 12811
2.29/2.36	c 1.49377 10.4883 606 47526
2.29/2.36	o 12805
2.79/2.85	c 1.79873 10.6133 648 56493
2.79/2.85	o 12703
3.59/3.67	c 2.30965 10.6133 566 70984
3.59/3.67	o 12651
4.99/5.02	c 3.16852 10.6133 600 84866
4.99/5.02	o 12650
5.09/5.14	c 3.2505 10.6133 658 87145
5.09/5.14	o 12643
5.79/5.82	c 3.67244 10.6133 586 97409
5.79/5.82	o 12594
5.79/5.86	c 3.69344 10.6133 409 98001
5.79/5.86	o 12542
5.99/6.02	c 3.79142 10.6133 762 100443
5.99/6.02	o 12263
5.99/6.04	c 3.80642 10.6133 477 100833
5.99/6.04	o 12130
6.60/6.68	c 4.18336 10.6133 590 108518
6.60/6.68	o 12093
7.09/7.14	c 4.49132 10.6133 408 113965
7.09/7.14	o 12072
8.19/8.23	c 5.16621 10.6133 600 129482
8.19/8.23	o 11939
8.29/8.31	c 5.21921 10.6133 388 131211
8.29/8.31	o 11857
8.49/8.52	c 5.35419 10.6133 537 134582
8.49/8.52	o 11856
8.59/8.62	c 5.41218 10.7383 926 135777
8.59/8.62	o 11708
8.59/8.65	c 5.44017 10.7383 611 136456
8.59/8.65	o 11686
8.80/8.85	c 5.55616 10.7383 620 139876
8.80/8.85	o 11608
10.39/10.41	c 6.53801 10.7383 674 156611
10.39/10.41	o 11580
10.90/10.97	c 6.88895 10.7383 654 164229
10.90/10.97	o 11506
11.19/11.21	c 7.03093 10.7383 504 168063
11.19/11.21	o 11431
11.19/11.25	c 7.06393 10.7383 390 168871
11.19/11.25	o 11421
11.39/11.42	c 7.17691 10.7383 852 169912
11.39/11.42	o 11415
12.19/12.25	c 7.71483 10.8633 763 181164
12.19/12.25	o 11410
12.59/12.62	c 7.94379 10.8633 798 187178
12.59/12.62	o 11233
12.59/12.69	c 8.00278 10.8633 743 188189
12.59/12.69	o 11067
13.59/13.67	c 8.59569 10.8633 505 194974
13.59/13.67	o 11029
13.79/13.89	c 8.74767 10.8633 617 198784
13.79/13.89	o 10966
14.09/14.19	c 8.92964 10.8633 579 203353
14.09/14.19	o 10712
14.39/14.45	c 9.07362 10.8633 709 206294
14.39/14.45	o 10695
14.79/14.83	c 9.33058 10.8633 484 211574
14.79/14.83	o 10641
15.30/15.31	c 9.62254 10.8633 692 217472
15.30/15.31	o 10604
15.30/15.33	c 9.63453 10.8633 478 218010
15.30/15.33	o 10558
17.39/17.49	c 11.0073 10.8633 739 245866
17.39/17.49	o 10510
18.39/18.44	c 11.5982 10.8633 490 256406
18.39/18.44	o 10425
19.19/19.21	c 12.0762 10.8633 551 263800
19.19/19.21	o 10418
19.59/19.64	c 12.3501 10.8633 559 270802
19.59/19.64	o 10335
19.70/19.78	c 12.4311 10.8633 762 272538
19.70/19.78	o 10257
19.99/20.06	c 12.6011 10.8633 726 276230
19.99/20.06	o 9973
21.19/21.29	c 13.365 10.8633 601 286119
21.19/21.29	o 9928
21.49/21.52	c 13.5079 10.8633 447 290260
21.49/21.52	o 9801
21.99/22.03	c 13.8059 10.8633 616 295775
21.99/22.03	o 9761
21.99/22.05	c 13.8179 10.8633 417 296447
21.99/22.05	o 9646
22.89/22.93	c 14.3698 10.8633 668 307319
22.89/22.93	o 9556
23.49/23.58	c 14.7588 10.8633 633 314931
23.49/23.58	o 9446
24.69/24.75	c 15.4706 10.9883 968 327881
24.69/24.75	o 9371
25.49/25.58	c 15.9956 10.9883 773 334696
25.49/25.58	o 9363
25.59/25.67	c 16.0586 10.9883 747 335835
25.59/25.67	o 9315
25.69/25.76	c 16.1155 10.9883 728 336945
25.69/25.76	o 9207
26.89/26.91	c 16.8474 10.9883 793 351347
26.89/26.91	o 9204
27.79/27.87	c 17.4653 10.9883 697 361689
27.79/27.87	o 9107
27.89/27.93	c 17.4993 10.9883 549 362551
27.89/27.93	o 9101
27.99/28.06	c 17.5783 10.9883 741 364219
27.99/28.06	o 9001
28.09/28.13	c 17.6263 10.9883 687 365201
28.09/28.13	o 8899
28.19/28.21	c 17.6723 10.9883 683 366348
28.19/28.21	o 8836
29.09/29.13	c 18.2462 10.9883 666 376948
29.09/29.13	o 8819
29.19/29.24	c 18.3122 10.9883 911 378682
29.19/29.24	o 8812
29.29/29.32	c 18.3562 10.9883 824 379572
29.29/29.32	o 8775
30.49/30.54	c 19.1071 10.9883 796 394014
30.49/30.54	o 8716
30.89/30.92	c 19.3511 10.9883 706 396399
30.89/30.92	o 8644
31.09/31.12	c 19.475 10.9883 653 398489
31.09/31.12	o 8623
31.49/31.51	c 19.728 10.9883 954 402830
31.49/31.51	o 8471
32.39/32.49	c 20.3319 10.9883 795 413192
32.39/32.49	o 8411
32.59/32.61	c 20.4049 10.9883 579 414915
32.59/32.61	o 8264
32.79/32.85	c 20.5559 10.9883 492 417896
32.79/32.85	o 8250
33.10/33.15	c 20.7478 10.9883 804 421094
33.10/33.15	o 8210
33.10/33.18	c 20.7708 10.9883 575 421773
33.10/33.18	o 8170
33.19/33.23	c 20.8078 10.9883 829 422539
33.19/33.23	o 8165
34.10/34.19	c 21.4087 10.9883 953 430935
34.10/34.19	o 8067
34.59/34.62	c 21.6957 10.9883 547 435316
34.59/34.62	o 8035
34.69/34.72	c 21.7607 10.9883 905 436139
34.69/34.72	o 8018
34.99/35.05	c 21.9657 10.9883 898 439264
34.99/35.05	o 7959
34.99/35.07	c 21.9787 11.1094 577 439773
34.99/35.07	o 7932
35.40/35.40	c 22.1706 11.1094 958 442778
35.40/35.40	o 7861
36.59/36.63	c 22.9485 11.1094 697 457382
36.59/36.63	o 7753
37.29/37.34	c 23.4154 11.1094 896 464316
37.29/37.34	o 7674
37.59/37.66	c 23.6164 11.1094 653 468271
37.59/37.66	o 7652
39.69/39.72	c 24.8762 11.1094 659 486829
39.69/39.72	o 7631
40.70/40.78	c 25.5011 11.1094 681 497004
40.70/40.78	o 7465
41.09/41.16	c 25.7461 11.1094 726 501149
41.09/41.16	o 7353
42.39/42.43	c 26.513 11.1094 833 513693
42.39/42.43	o 7289
42.39/42.47	c 26.541 11.1094 557 514231
42.39/42.47	o 7245
42.80/42.87	c 26.7979 11.1094 552 518306
42.80/42.87	o 7237
42.99/43.02	c 26.8949 11.1094 668 519749
42.99/43.02	o 7231
43.29/43.35	c 27.1019 11.1094 675 522980
43.29/43.35	o 7197
43.39/43.43	c 27.1449 11.1094 535 523637
43.39/43.43	o 7167
43.90/43.91	c 27.4398 11.1094 511 527678
43.90/43.91	o 7129
44.00/44.02	c 27.5088 11.1094 891 528683
44.00/44.02	o 7055
44.19/44.22	c 27.6258 11.1094 707 530643
44.19/44.22	o 6866
44.39/44.48	c 27.7958 11.1094 534 533608
44.39/44.48	o 6764
44.59/44.64	c 27.8918 11.1094 732 535190
44.59/44.64	o 6748
45.39/45.45	c 28.3977 11.1094 588 541551
45.39/45.45	o 6691
46.20/46.22	c 28.8806 11.1094 614 547676
46.20/46.22	o 6687
47.30/47.38	c 29.5935 11.1094 638 556743
47.30/47.38	o 6628
47.39/47.44	c 29.6355 11.1094 810 557324
47.39/47.44	o 6528
47.99/48.06	c 30.0034 11.1094 595 562990
47.99/48.06	o 6449
48.69/48.74	c 30.4434 11.1094 865 569711
48.69/48.74	o 6354
48.89/48.99	c 30.6253 11.1094 584 572573
48.89/48.99	o 6343
49.19/49.20	c 30.7573 11.1094 662 574978
49.19/49.20	o 6300
50.09/50.13	c 31.3122 11.1094 627 582631
50.09/50.13	o 6288
51.00/51.07	c 31.8912 11.2305 786 590516
51.00/51.07	o 6261
51.19/51.25	c 32.0061 11.2305 548 592055
51.19/51.25	o 6226
51.29/51.32	c 32.0411 11.2305 791 592800
51.29/51.32	o 6212
52.29/52.34	c 32.684 11.2305 816 602317
52.29/52.34	o 6211
52.40/52.45	c 32.759 11.2305 779 603360
52.40/52.45	o 6167
54.59/54.63	c 34.0818 11.2305 567 619329
54.59/54.63	o 6150
54.69/54.74	c 34.1478 11.2305 542 620437
54.69/54.74	o 6036
55.39/55.44	c 34.5757 11.2305 1000 625359
55.39/55.44	o 5974
56.49/56.57	c 35.2756 11.2305 678 635678
56.49/56.57	o 5767
56.79/56.88	c 35.4516 11.2305 625 638570
56.79/56.88	o 5726
57.49/57.59	c 35.8545 11.2305 668 643168
57.49/57.59	o 5704
58.99/59.04	c 36.7844 11.2305 983 654897
58.99/59.04	o 5597
63.99/64.03	c 39.8759 11.2305 681 688885
63.99/64.03	o 5573
64.09/64.17	c 39.9599 11.2305 735 690129
64.09/64.17	o 5469
67.49/67.55	c 42.0596 11.3555 846 711187
67.49/67.55	o 5464
68.10/68.14	c 42.4226 11.3555 732 716087
68.10/68.14	o 5414
68.49/68.54	c 42.6865 11.3555 655 720242
68.49/68.54	o 5395
68.49/68.59	c 42.7125 11.3555 824 720737
68.49/68.59	o 5392
69.30/69.31	c 43.1454 11.3555 700 726494
69.30/69.31	o 5347
69.89/69.90	c 43.5074 11.3555 623 731390
69.89/69.90	o 5343
69.99/70.01	c 43.5844 11.3555 611 732467
69.99/70.01	o 5301
71.69/71.72	c 44.6272 11.3555 879 743659
71.69/71.72	o 5261
76.69/76.75	c 47.7447 11.3555 579 779033
76.69/76.75	o 5226
77.09/77.11	c 47.9677 11.3555 835 781589
77.09/77.11	o 5221
77.29/77.39	c 48.1507 11.3555 559 784338
77.29/77.39	o 5058
77.49/77.56	c 48.2547 11.3555 607 785752
77.49/77.56	o 5047
78.09/78.12	c 48.6126 11.3555 609 789960
78.09/78.12	o 5021
78.89/78.95	c 49.1145 11.3555 733 796422
78.89/78.95	o 5020
79.49/79.57	c 49.4975 11.3555 600 800855
79.49/79.57	o 5019
79.59/79.63	c 49.5415 11.3555 794 801336
79.59/79.63	o 5004
81.00/81.08	c 50.4123 11.3555 622 811391
81.00/81.08	o 4952
81.20/81.29	c 50.5463 11.3555 675 813652
81.20/81.29	o 4932
81.40/81.48	c 50.6713 11.3555 504 815571
81.40/81.48	o 4906
82.10/82.11	c 51.0622 11.3555 769 821202
82.10/82.11	o 4897
82.40/82.49	c 51.2912 11.3555 877 824689
82.40/82.49	o 4884
82.50/82.52	c 51.3092 11.3555 512 824989
82.50/82.52	o 4861
82.69/82.79	c 51.4762 11.3555 811 826550
82.69/82.79	o 4842
82.99/83.05	c 51.6332 11.3555 461 828702
82.99/83.05	o 4814
84.79/84.81	c 52.707 11.3555 851 841059
84.79/84.81	o 4768
85.19/85.28	c 52.9839 11.3555 670 844871
85.19/85.28	o 4761
86.29/86.37	c 53.6628 11.3555 740 854047
86.29/86.37	o 4673
86.59/86.68	c 53.8558 11.3555 779 856176
86.59/86.68	o 4591
87.79/87.85	c 54.5877 11.3555 474 864855
87.79/87.85	o 4494
87.90/87.92	c 54.6367 11.3555 757 865631
87.90/87.92	o 4483
89.69/89.79	c 55.7505 11.3555 662 879377
89.69/89.79	o 4457
89.89/89.90	c 55.8165 11.3555 581 880159
89.89/89.90	o 4397
90.29/90.37	c 56.1005 11.3555 608 883612
90.29/90.37	o 4367
90.49/90.54	c 56.2115 11.3555 587 884778
90.49/90.54	o 4233
90.59/90.62	c 56.2514 11.3555 795 885486
90.59/90.62	o 4134
91.09/91.19	c 56.6114 11.4766 920 888647
91.09/91.19	o 4130
92.79/92.88	c 57.6332 11.4766 901 899638
92.79/92.88	o 4039
93.09/93.19	c 57.8122 11.4766 621 902030
93.09/93.19	o 3990
93.69/93.76	c 58.1772 11.4766 637 906147
93.69/93.76	o 3960
94.09/94.12	c 58.3911 11.4766 912 908776
94.09/94.12	o 3821
94.60/94.63	c 58.7001 11.4766 578 912837
94.60/94.63	o 3804
94.79/94.88	c 58.875 11.4766 648 915320
94.79/94.88	o 3788
95.49/95.57	c 59.292 11.4766 733 920658
95.49/95.57	o 3733
95.89/95.96	c 59.5469 11.4766 578 923526
95.89/95.96	o 3684
96.00/96.07	c 59.6189 11.4766 901 924367
96.00/96.07	o 3663
96.39/96.48	c 59.8659 11.4766 657 926783
96.39/96.48	o 3635
96.99/97.08	c 60.2338 11.4766 718 930893
96.99/97.08	o 3628
97.99/98.03	c 60.7968 11.4766 791 937026
97.99/98.03	o 3614
99.29/99.32	c 61.6076 11.4766 779 946146
99.29/99.32	o 3587
99.39/99.47	c 61.6896 11.4766 766 947423
99.39/99.47	o 3522
100.19/100.23	c 62.1446 11.4766 570 952254
100.19/100.23	o 3500
100.19/100.29	c 62.1815 11.4766 724 952743
100.19/100.29	o 3463
101.10/101.10	c 62.6725 11.4766 830 958079
101.10/101.10	o 3398
101.20/101.23	c 62.7455 11.4766 838 959005
101.20/101.23	o 3356
101.40/101.49	c 62.9144 11.4766 736 961037
101.40/101.49	o 3300
101.80/101.86	c 63.1534 11.4766 578 963786
101.80/101.86	o 3249
102.09/102.12	c 63.3074 11.4766 553 965837
102.09/102.12	o 3190
102.20/102.25	c 63.3904 11.4766 521 966943
102.20/102.25	o 3007
103.40/103.48	c 64.1442 11.4766 481 974018
103.40/103.48	o 2905
103.60/103.63	c 64.2452 11.4766 829 974913
103.60/103.63	o 2849
103.79/103.84	c 64.3792 11.4766 604 976702
103.79/103.84	o 2688
103.79/103.89	c 64.4162 11.4766 747 977143
103.79/103.89	o 2684
103.89/103.91	c 64.4302 11.4766 815 977355
103.89/103.91	o 2656
103.89/103.91	c 64.4342 11.4766 833 977459
103.89/103.91	o 2653
103.89/103.96	c 64.4652 11.4766 546 977858
103.89/103.96	o 2617
103.99/104.01	c 64.4962 11.4766 699 978254
103.99/104.01	o 2602
104.09/104.19	c 64.6052 11.4766 706 979640
104.09/104.19	o 2595
104.29/104.34	c 64.6912 11.4766 724 980878
104.29/104.34	o 2517
104.50/104.58	c 64.8491 11.4766 899 982198
104.50/104.58	o 2459
104.50/104.58	c 64.8521 11.4766 459 982252
104.50/104.58	o 2444
104.89/104.92	c 65.0501 11.4766 545 984505
104.89/104.92	o 2430
105.09/105.10	c 65.1661 11.4766 620 985894
105.09/105.10	o 2390
105.70/105.75	c 65.555 11.4766 493 989526
105.70/105.75	o 2362
105.79/105.82	c 65.604 11.4766 653 989971
105.79/105.82	o 2348
106.29/106.36	c 65.938 11.6016 761 993359
106.29/106.36	o 2344
106.49/106.58	c 66.074 11.6016 923 994782
106.49/106.58	o 2315
106.49/106.60	c 66.084 11.6016 498 994939
106.49/106.60	o 2273
106.79/106.80	c 66.2249 11.6016 524 996381
106.79/106.80	o 2229
107.09/107.10	c 66.4159 11.6016 830 998110
107.09/107.10	o 2225
107.09/107.15	c 66.4419 11.6016 514 998515
107.09/107.15	o 2222
107.20/107.25	c 66.5069 11.6016 864 999440
107.20/107.25	o 2185
107.30/107.36	c 66.5779 11.6016 770 1000246
107.30/107.36	o 2172
107.40/107.47	c 66.6449 11.6016 661 1001076
107.40/107.47	o 2110
107.59/107.60	c 66.7269 11.6016 628 1001990
107.59/107.60	o 2056
107.59/107.70	c 66.7908 11.6016 903 1002716
107.59/107.70	o 2030
107.80/107.86	c 66.8748 11.6016 976 1003842
107.80/107.86	o 2011
107.90/107.90	c 66.9048 11.6016 621 1004270
107.90/107.90	o 1994
107.90/107.95	c 66.9368 11.6016 775 1004674
107.90/107.95	o 1985
107.90/107.96	c 66.9408 11.6016 805 1004775
107.90/107.96	o 1963
108.10/108.11	c 67.0348 11.6016 780 1005977
108.10/108.11	o 1902
108.10/108.19	c 67.0878 11.6016 552 1006501
108.10/108.19	o 1854
108.20/108.28	c 67.1398 11.6016 803 1007111
108.20/108.28	o 1805
108.29/108.39	c 67.2028 11.6016 675 1007725
108.29/108.39	o 1790
108.39/108.42	c 67.2188 11.6016 755 1007960
108.39/108.42	o 1751
108.59/108.61	c 67.3368 11.6016 843 1009307
108.59/108.61	o 1718
108.99/109.05	c 67.5867 11.6016 689 1012085
108.99/109.05	o 1698
109.09/109.14	c 67.6377 11.6016 923 1012590
109.09/109.14	o 1669
109.09/109.19	c 67.6667 11.6016 653 1013096
109.09/109.19	o 1632
109.20/109.25	c 67.7027 11.6016 818 1013490
109.20/109.25	o 1557
109.39/109.46	c 67.8507 11.6016 499 1014681
109.39/109.46	o 1523
109.39/109.48	c 67.8677 11.6016 552 1014909
109.39/109.48	o 1462
109.49/109.53	c 67.9017 11.6016 703 1015344
109.49/109.53	o 1412
109.49/109.56	c 67.9167 11.6016 789 1015617
109.49/109.56	o 1361
109.59/109.64	c 67.9737 11.6016 605 1016194
109.59/109.65	o 1350
109.79/109.84	c 68.0986 11.6016 725 1017477
109.79/109.84	o 1260
109.90/109.91	c 68.1436 11.6016 894 1017859
109.90/109.91	o 1259
109.90/109.98	c 68.1866 11.6016 635 1018332
109.90/109.98	o 1209
109.99/110.04	c 68.2246 11.6016 834 1018750
109.99/110.04	o 1181
109.99/110.08	c 68.2516 11.6016 909 1018920
109.99/110.08	o 1179
110.09/110.13	c 68.2846 11.6016 604 1019313
110.09/110.13	o 1161
110.09/110.18	c 68.3116 11.6016 717 1019671
110.09/110.18	o 1151
110.20/110.24	c 68.3476 11.6016 892 1020019
110.20/110.24	o 1136
110.29/110.32	c 68.3946 11.7266 683 1020458
110.29/110.32	o 1120
110.29/110.37	c 68.4306 11.7266 813 1020898
110.29/110.37	o 1037
110.40/110.42	c 68.4576 11.7266 503 1021277
110.40/110.42	o 1001
110.60/110.69	c 68.6396 11.7266 671 1022786
110.60/110.69	o 848
110.70/110.74	c 68.6706 11.7266 808 1023147
110.70/110.74	o 814
110.79/110.81	c 68.7196 11.7266 916 1023541
110.79/110.81	o 745
110.89/110.92	c 68.7935 11.7266 710 1024367
110.89/110.92	o 689
110.89/110.93	c 68.7985 11.7266 743 1024442
110.89/110.93	o 669
110.89/110.95	c 68.8105 11.7266 816 1024615
110.89/110.95	o 664
110.89/110.99	c 68.8345 11.7266 905 1024933
110.89/110.99	o 576
110.99/111.04	c 68.8645 11.7266 1132 1025352
110.99/111.04	o 554
110.99/111.07	c 68.8785 11.7266 1235 1025556
110.99/111.07	o 551
110.99/111.07	c 68.8795 11.7266 1236 1025626
110.99/111.07	o 512
110.99/111.07	c 68.8805 11.7266 1236 1025666
110.99/111.07	o 508
110.99/111.07	c 68.8805 11.7266 1236 1025783
110.99/111.07	o 397
110.99/111.07	c 68.8805 11.7266 1237 1025809
110.99/111.07	o 393
110.99/111.08	c 68.8835 11.7266 981 1025866
110.99/111.08	o 367
110.99/111.08	c 68.8845 11.7266 985 1025906
110.99/111.08	o 360
110.99/111.08	c 68.8875 11.7266 994 1025952
110.99/111.08	o 335
110.99/111.09	c 68.8935 11.7266 1040 1026102
110.99/111.09	o 271
111.10/111.11	c 68.9095 11.7266 849 1026291
111.10/111.11	o 256
111.10/111.11	c 68.9105 11.7266 852 1026324
111.10/111.11	o 246
111.10/111.11	c 68.9115 11.7266 855 1026395
111.10/111.11	o 177
111.10/111.11	c 68.9115 11.7266 857 1026419
111.10/111.11	o 162
111.10/111.11	c 68.9115 11.7266 858 1026472
111.10/111.11	o 110
111.10/111.11	c 68.9125 11.7266 860 1026491
111.10/111.11	o 99
111.10/111.11	c 68.9135 11.7266 875 1026509
111.10/111.11	s OPTIMUM FOUND
111.10/111.11	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	99

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.91 1.97 1.20 4/178 18954
/proc/meminfo: memFree=29639768/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=2136 CPUtime=0
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21656082 2187264 180 4089446400 134512640 136422188 4290276256 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18954/statm: 534 180 144 467 0 65 0

[startup+0.0415809 s]
/proc/loadavg: 1.91 1.97 1.20 4/178 18954
/proc/meminfo: memFree=29639768/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=10352 CPUtime=0.03
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2326 0 0 0 3 0 0 0 25 0 1 0 21656082 10600448 2244 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2588 2244 237 467 0 2119 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10352

[startup+0.100569 s]
/proc/loadavg: 1.91 1.97 1.20 4/178 18954
/proc/meminfo: memFree=29639768/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=10480 CPUtime=0.09
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2360 0 0 0 7 2 0 0 25 0 1 0 21656082 10731520 2261 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2620 2261 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.300533 s]
/proc/loadavg: 1.91 1.97 1.20 4/178 18954
/proc/meminfo: memFree=29639768/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=10608 CPUtime=0.29
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2400 0 0 0 20 9 0 0 25 0 1 0 21656082 10862592 2295 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2652 2295 238 467 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10608

[startup+0.700463 s]
/proc/loadavg: 1.91 1.97 1.20 4/178 18954
/proc/meminfo: memFree=29639768/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=10608 CPUtime=0.69
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2425 0 0 0 45 24 0 0 25 0 1 0 21656082 10862592 2313 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2652 2313 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50032 s]
/proc/loadavg: 1.91 1.97 1.20 3/179 18955
/proc/meminfo: memFree=29630708/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=10736 CPUtime=1.49
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2445 0 0 0 94 55 0 0 25 0 1 0 21656082 10993664 2330 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2684 2330 238 467 0 2215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10736

[startup+3.10104 s]
/proc/loadavg: 1.92 1.97 1.20 3/179 18956
/proc/meminfo: memFree=29630088/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=10864 CPUtime=3.09
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2470 0 0 0 194 115 0 0 25 0 1 0 21656082 11124736 2349 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2716 2349 238 467 0 2247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10864

[startup+6.30047 s]
/proc/loadavg: 1.92 1.97 1.20 3/179 18956
/proc/meminfo: memFree=29629732/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=10864 CPUtime=6.29
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2501 0 0 0 395 234 0 0 25 0 1 0 21656082 11124736 2373 4089446400 134512640 136422188 4290276256 18446744073709551615 134869745 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2716 2373 238 467 0 2247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10864

[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 1.21 3/179 18956
/proc/meminfo: memFree=29628376/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=11120 CPUtime=12.69
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2555 0 0 0 800 469 0 0 25 0 1 0 21656082 11386880 2411 4089446400 134512640 136422188 4290276256 18446744073709551615 134594111 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2780 2411 238 467 0 2311 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11120

[startup+25.5001 s]
/proc/loadavg: 1.94 1.97 1.22 3/179 18956
/proc/meminfo: memFree=29620676/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=11248 CPUtime=25.49
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2614 0 0 0 1594 955 0 0 25 0 1 0 21656082 11517952 2450 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2812 2450 238 467 0 2343 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11248

[startup+51.1006 s]
/proc/loadavg: 1.96 1.97 1.24 3/179 18957
/proc/meminfo: memFree=29606988/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=11496 CPUtime=51.1
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2730 0 0 0 3191 1919 0 0 25 0 1 0 21656082 11771904 2511 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2874 2511 238 467 0 2405 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 11496

[startup+102.307 s]
/proc/loadavg: 2.04 1.99 1.28 3/179 18959
/proc/meminfo: memFree=29583500/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=11748 CPUtime=102.3
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2886 0 0 0 6342 3888 0 0 25 0 1 0 21656082 12029952 2596 4089446400 134512640 136422188 4290276256 18446744073709551615 134903705 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2937 2596 238 467 0 2468 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11748

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

[startup+105.501 s]
/proc/loadavg: 2.04 1.99 1.28 3/179 18959
/proc/meminfo: memFree=29581876/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=11748 CPUtime=105.5
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2912 0 0 0 6540 4010 0 0 25 0 1 0 21656082 12029952 2608 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2937 2608 238 467 0 2468 0
Current children cumulated CPU time (s) 105.5
Current children cumulated vsize (KiB) 11748

[startup+108.7 s]
/proc/loadavg: 2.04 1.99 1.29 3/179 18959
/proc/meminfo: memFree=29580760/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=11876 CPUtime=108.7
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2953 0 0 0 6737 4133 0 0 25 0 1 0 21656082 12161024 2626 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2969 2626 238 467 0 2500 0
Current children cumulated CPU time (s) 108.7
Current children cumulated vsize (KiB) 11876

[startup+110.301 s]
/proc/loadavg: 2.04 1.99 1.29 3/179 18959
/proc/meminfo: memFree=29579768/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=11876 CPUtime=110.29
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2985 0 0 0 6837 4192 0 0 25 0 1 0 21656082 12161024 2641 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 2969 2641 238 467 0 2500 0
Current children cumulated CPU time (s) 110.29
Current children cumulated vsize (KiB) 11876

[startup+110.701 s]
/proc/loadavg: 2.04 1.99 1.29 3/179 18959
/proc/meminfo: memFree=29579768/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=12004 CPUtime=110.7
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2994 0 0 0 6864 4206 0 0 25 0 1 0 21656082 12292096 2646 4089446400 134512640 136422188 4290276256 18446744073709551615 135020362 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 3001 2646 238 467 0 2532 0
Current children cumulated CPU time (s) 110.7
Current children cumulated vsize (KiB) 12004

[startup+111.106 s]
/proc/loadavg: 2.03 1.99 1.29 3/179 18959
/proc/meminfo: memFree=29579272/32950928 swapFree=67111528/67111528
[pid=18954] ppid=18952 vsize=12004 CPUtime=111.1
/proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 3017 0 0 0 6890 4220 0 0 18 0 1 0 21656082 12292096 2653 4089446400 134512640 136422188 4290276256 18446744073709551615 134872961 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18954/statm: 3001 2653 238 467 0 2532 0
Current children cumulated CPU time (s) 111.1
Current children cumulated vsize (KiB) 12004

Child status: 0
Real time (s): 111.129
CPU time (s): 111.131
CPU user time (s): 68.9235
CPU system time (s): 42.2076
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 12004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.9235
system time used= 42.2076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1364

runsolver used 0.147977 second user time and 0.374943 second system time

The end

Launcher Data 

Begin job on node120 at 2010-07-07 22:27:06
IDJOB=2700207
IDBENCH=79408
IDSOLVER=1212
FILE ID=node120/2700207-1278534426
PBS_JOBID= 11239237
Free space on /tmp= 73460 MiB

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

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

MD5SUM BENCH= 6d863641d8b2b772fe5ea25b86285712
RANDOM SEED=441929184

node120.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.813
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.62
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.813
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.813
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.813
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.813
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.78
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.813
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	: 5363.42
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.813
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.76
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.813
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29640296 kB
Buffers:        135988 kB
Cached:        2709060 kB
SwapCached:          0 kB
Active:        1812664 kB
Inactive:      1346280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29640296 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2084 kB
Writeback:           0 kB
AnonPages:      314472 kB
Mapped:          15548 kB
Slab:            86084 kB
PageTables:       4988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   459960 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= 73460 MiB
End job on node120 at 2010-07-07 22:28:57