Trace number 2700204

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 101.523 101.52

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.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.04	c 0.036994 9.94531 1 1945
0.00/0.04	o 26800
0.00/0.04	c 0.037994 10.1133 8 2089
0.00/0.04	o 26762
0.00/0.04	c 0.037994 10.1133 8 2979
0.00/0.04	o 22189
0.00/0.04	c 0.037994 10.1133 8 3870
0.00/0.04	o 20936
0.00/0.05	c 0.037994 10.1133 11 4179
0.00/0.05	o 20885
0.00/0.05	c 0.039993 10.1133 14 4518
0.00/0.05	o 20834
0.05/0.05	c 0.041993 10.1133 14 4972
0.05/0.05	o 20720
0.05/0.05	c 0.043993 10.1133 22 5920
0.05/0.05	o 19214
0.05/0.05	c 0.046992 10.1133 26 6825
0.05/0.05	o 17882
0.05/0.06	c 0.047992 10.1133 27 7422
0.05/0.06	o 17636
0.05/0.06	c 0.049992 10.1133 27 8000
0.05/0.06	o 17160
0.05/0.06	c 0.050992 10.1133 27 8523
0.05/0.06	o 16777
0.05/0.06	c 0.052991 10.1133 27 8889
0.05/0.06	o 16639
0.05/0.06	c 0.053991 10.1133 27 9320
0.05/0.06	o 16381
0.05/0.07	c 0.06399 10.2383 90 9857
0.05/0.07	o 16127
0.05/0.09	c 0.077988 10.2383 210 10690
0.05/0.09	o 15794
0.05/0.09	c 0.079987 10.2383 211 10921
0.05/0.09	o 15750
0.05/0.10	c 0.081987 10.2383 213 11253
0.05/0.10	o 15547
0.09/0.10	c 0.083987 10.2383 215 11873
0.09/0.10	o 15057
0.09/0.11	c 0.091986 10.2383 281 12404
0.09/0.11	o 14816
0.09/0.11	c 0.094985 10.2383 286 12617
0.09/0.11	o 14782
0.09/0.12	c 0.097985 10.2383 296 12908
0.09/0.12	o 14618
0.09/0.17	c 0.133979 10.3633 534 13898
0.09/0.17	o 14598
0.19/0.27	c 0.189971 10.3633 740 15579
0.19/0.27	o 14565
0.29/0.30	c 0.205968 10.3633 531 16338
0.29/0.30	o 14404
0.29/0.32	c 0.215967 10.3633 685 16978
0.29/0.32	o 14343
0.29/0.34	c 0.223965 10.3633 443 17618
0.29/0.34	o 14270
0.29/0.34	c 0.224965 10.3633 443 18324
0.29/0.34	o 13640
0.29/0.35	c 0.232964 10.3633 492 18690
0.29/0.35	o 13483
0.39/0.42	c 0.275958 10.3633 565 20172
0.39/0.42	o 13477
0.49/0.54	c 0.343947 10.3633 576 22924
0.49/0.54	o 13359
0.59/0.64	c 0.405938 10.3633 548 25126
0.59/0.64	o 13191
0.69/0.70	c 0.442932 10.3633 566 26378
0.69/0.70	o 13173
1.19/1.29	c 0.825874 10.4883 673 34496
1.19/1.29	o 13085
1.29/1.38	c 0.880866 10.4883 422 36030
1.29/1.38	o 13011
1.99/2.06	c 1.3088 10.4883 575 45515
1.99/2.06	o 12893
2.10/2.11	c 1.3398 10.4883 460 46717
2.10/2.11	o 12849
2.10/2.12	c 1.34879 10.4883 505 47022
2.10/2.12	o 12811
2.10/2.13	c 1.35779 10.4883 606 47526
2.10/2.13	o 12805
2.59/2.62	c 1.66775 10.6133 648 56493
2.59/2.62	o 12703
3.39/3.41	c 2.17767 10.6133 566 70984
3.39/3.41	o 12651
4.59/4.63	c 2.92256 10.6133 600 84866
4.59/4.63	o 12650
4.69/4.74	c 2.99454 10.6133 658 87145
4.69/4.74	o 12643
5.29/5.35	c 3.37249 10.6133 586 97409
5.29/5.35	o 12594
5.29/5.38	c 3.39248 10.6133 409 98001
5.29/5.38	o 12542
5.50/5.52	c 3.47547 10.6133 762 100443
5.50/5.52	o 12263
5.50/5.54	c 3.49047 10.6133 477 100833
5.50/5.54	o 12130
6.09/6.12	c 3.85041 10.6133 590 108518
6.09/6.12	o 12093
6.50/6.53	c 4.11237 10.6133 408 113965
6.50/6.53	o 12072
7.49/7.51	c 4.76028 10.6133 600 129482
7.49/7.51	o 11939
7.49/7.58	c 4.80927 10.6133 388 131211
7.49/7.58	o 11857
7.69/7.76	c 4.92125 10.6133 537 134582
7.69/7.76	o 11856
7.79/7.85	c 4.97724 10.7383 926 135777
7.79/7.85	o 11708
7.79/7.88	c 4.99724 10.7383 611 136456
7.79/7.88	o 11686
8.00/8.06	c 5.11922 10.7383 620 139876
8.00/8.06	o 11608
9.49/9.58	c 6.07907 10.7383 674 156611
9.49/9.58	o 11580
9.99/10.09	c 6.39103 10.7383 654 164229
9.99/10.09	o 11506
10.19/10.29	c 6.51501 10.7383 504 168063
10.19/10.29	o 11431
10.29/10.33	c 6.54 10.7383 390 168871
10.29/10.33	o 11421
10.39/10.48	c 6.62899 10.7383 852 169912
10.39/10.48	o 11415
11.19/11.22	c 7.09292 10.8633 763 181164
11.19/11.22	o 11410
11.49/11.55	c 7.32089 10.8633 798 187178
11.49/11.55	o 11233
11.59/11.62	c 7.35688 10.8633 743 188189
11.59/11.62	o 11067
12.39/12.49	c 7.8998 10.8633 505 194974
12.39/12.49	o 11029
12.59/12.69	c 8.02378 10.8633 617 198784
12.59/12.69	o 10966
12.89/12.96	c 8.19375 10.8633 579 203353
12.89/12.96	o 10712
13.09/13.19	c 8.34373 10.8633 709 206294
13.09/13.19	o 10695
13.49/13.52	c 8.5597 10.8633 484 211574
13.49/13.52	o 10641
13.89/13.96	c 8.83766 10.8633 692 217472
13.89/13.96	o 10604
13.89/13.97	c 8.84366 10.8633 478 218010
13.89/13.97	o 10558
15.99/16.03	c 10.1425 10.8633 739 245866
15.99/16.03	o 10510
16.79/16.88	c 10.6874 10.8633 490 256406
16.79/16.88	o 10425
17.50/17.57	c 11.1153 10.8633 551 263800
17.50/17.57	o 10418
17.89/17.96	c 11.3573 10.8633 559 270802
17.89/17.96	o 10335
17.99/18.09	c 11.4313 10.8633 762 272538
17.99/18.09	o 10257
18.30/18.33	c 11.6022 10.8633 726 276230
18.30/18.33	o 9973
19.39/19.43	c 12.3071 10.8633 601 286119
19.39/19.43	o 9928
19.59/19.65	c 12.4451 10.8633 447 290260
19.59/19.65	o 9801
20.09/20.12	c 12.7271 10.8633 616 295775
20.09/20.12	o 9761
20.09/20.14	c 12.7471 10.8633 417 296447
20.09/20.14	o 9646
20.99/21.01	c 13.31 10.8633 668 307319
20.99/21.01	o 9556
21.59/21.62	c 13.6849 10.8633 633 314931
21.59/21.62	o 9446
22.59/22.67	c 14.3528 10.9883 968 327881
22.59/22.67	o 9371
23.39/23.41	c 14.8257 10.9883 773 334696
23.39/23.41	o 9363
23.39/23.49	c 14.8737 10.9883 747 335835
23.39/23.49	o 9315
23.49/23.57	c 14.9227 10.9883 728 336945
23.49/23.57	o 9207
24.49/24.59	c 15.5696 10.9883 793 351347
24.49/24.59	o 9204
25.39/25.45	c 16.1175 10.9883 697 361689
25.39/25.45	o 9107
25.49/25.50	c 16.1505 10.9883 549 362551
25.49/25.50	o 9101
25.59/25.62	c 16.2235 10.9883 741 364219
25.59/25.62	o 9001
25.59/25.68	c 16.2695 10.9883 687 365201
25.59/25.68	o 8899
25.69/25.75	c 16.3155 10.9883 683 366348
25.69/25.75	o 8836
26.59/26.64	c 16.8514 10.9883 666 376948
26.59/26.64	o 8819
26.69/26.75	c 16.9154 10.9883 911 378682
26.69/26.75	o 8812
26.79/26.83	c 16.9704 10.9883 824 379572
26.79/26.83	o 8775
27.89/27.96	c 17.6803 10.9883 796 394014
27.89/27.96	o 8716
28.29/28.31	c 17.8903 10.9883 706 396399
28.29/28.31	o 8644
28.39/28.48	c 18.0013 10.9883 653 398489
28.39/28.48	o 8623
28.79/28.83	c 18.2292 10.9883 954 402830
28.79/28.83	o 8471
29.70/29.71	c 18.7891 10.9883 795 413192
29.70/29.71	o 8411
29.80/29.82	c 18.8601 10.9883 579 414915
29.80/29.82	o 8264
29.99/30.02	c 18.9841 10.9883 492 417896
29.99/30.02	o 8250
30.19/30.29	c 19.1531 10.9883 804 421094
30.19/30.29	o 8210
30.29/30.32	c 19.1741 10.9883 575 421773
30.29/30.32	o 8170
30.29/30.37	c 19.2091 10.9883 829 422539
30.29/30.37	o 8165
31.19/31.22	c 19.754 10.9883 953 430935
31.19/31.22	o 8067
31.59/31.60	c 19.984 10.9883 547 435316
31.59/31.60	o 8035
31.59/31.69	c 20.04 10.9883 905 436139
31.59/31.69	o 8018
32.00/32.00	c 20.2319 10.9883 898 439264
32.00/32.00	o 7959
32.00/32.01	c 20.2449 11.1094 577 439773
32.00/32.01	o 7932
32.29/32.34	c 20.4409 11.1094 958 442778
32.29/32.34	o 7861
33.49/33.53	c 21.1458 11.1094 697 457382
33.49/33.53	o 7753
34.10/34.16	c 21.5527 11.1094 896 464316
34.10/34.16	o 7674
34.39/34.45	c 21.7307 11.1094 653 468271
34.39/34.45	o 7652
36.20/36.28	c 22.8855 11.1094 659 486829
36.20/36.28	o 7631
37.19/37.23	c 23.4684 11.1094 681 497004
37.19/37.23	o 7465
37.49/37.57	c 23.6764 11.1094 726 501149
37.49/37.57	o 7353
38.69/38.79	c 24.4443 11.1094 833 513693
38.69/38.79	o 7289
38.79/38.83	c 24.4753 11.1094 557 514231
38.79/38.83	o 7245
39.19/39.22	c 24.7132 11.1094 552 518306
39.19/39.22	o 7237
39.29/39.36	c 24.7902 11.1094 668 519749
39.29/39.36	o 7231
39.60/39.66	c 24.9712 11.1094 675 522980
39.60/39.66	o 7197
39.69/39.73	c 25.0072 11.1094 535 523637
39.69/39.73	o 7167
40.09/40.16	c 25.2762 11.1094 511 527678
40.09/40.16	o 7129
40.19/40.26	c 25.3381 11.1094 891 528683
40.19/40.26	o 7055
40.39/40.43	c 25.4561 11.1094 707 530643
40.39/40.43	o 6866
40.60/40.67	c 25.5971 11.1094 534 533608
40.60/40.67	o 6764
40.79/40.81	c 25.6861 11.1094 732 535190
40.79/40.81	o 6748
41.49/41.53	c 26.107 11.1094 588 541551
41.49/41.53	o 6691
42.19/42.22	c 26.53 11.1094 614 547676
42.19/42.22	o 6687
43.19/43.25	c 27.1729 11.1094 638 556743
43.19/43.25	o 6628
43.29/43.30	c 27.2049 11.1094 810 557324
43.29/43.30	o 6528
43.79/43.86	c 27.5698 11.1094 595 562990
43.79/43.86	o 6449
44.49/44.53	c 27.9707 11.1094 865 569711
44.49/44.53	o 6354
44.70/44.79	c 28.1397 11.1094 584 572573
44.70/44.79	o 6343
44.89/44.99	c 28.2647 11.1094 662 574978
44.89/44.99	o 6300
45.79/45.85	c 28.8076 11.1094 627 582631
45.79/45.85	o 6288
46.59/46.68	c 29.3035 11.2305 786 590516
46.59/46.68	o 6261
46.79/46.85	c 29.4035 11.2305 548 592055
46.79/46.85	o 6226
46.89/46.91	c 29.4365 11.2305 791 592800
46.89/46.91	o 6212
47.79/47.82	c 30.0304 11.2305 816 602317
47.79/47.82	o 6211
47.90/47.92	c 30.0994 11.2305 779 603360
47.90/47.92	o 6167
49.79/49.87	c 31.2862 11.2305 567 619329
49.79/49.87	o 6150
49.89/49.97	c 31.3522 11.2305 542 620437
49.89/49.97	o 6036
50.60/50.67	c 31.7642 11.2305 1000 625359
50.60/50.67	o 5974
51.70/51.73	c 32.4151 11.2305 678 635678
51.70/51.73	o 5767
52.00/52.01	c 32.593 11.2305 625 638570
52.00/52.01	o 5726
52.59/52.65	c 32.967 11.2305 668 643168
52.59/52.65	o 5704
53.90/53.94	c 33.7499 11.2305 983 654897
53.90/53.94	o 5597
58.49/58.54	c 36.5944 11.2305 681 688885
58.49/58.54	o 5573
58.59/58.67	c 36.6654 11.2305 735 690129
58.59/58.67	o 5469
61.59/61.68	c 38.5111 11.3555 846 711187
61.59/61.68	o 5464
62.19/62.24	c 38.8421 11.3555 732 716087
62.19/62.24	o 5414
62.60/62.64	c 39.0821 11.3555 655 720242
62.60/62.64	o 5395
62.60/62.69	c 39.1061 11.3555 824 720737
62.60/62.69	o 5392
63.30/63.38	c 39.527 11.3555 700 726494
63.30/63.38	o 5347
63.89/63.91	c 39.8479 11.3555 623 731390
63.89/63.91	o 5343
63.99/64.01	c 39.9189 11.3555 611 732467
63.99/64.01	o 5301
65.49/65.53	c 40.8568 11.3555 879 743659
65.49/65.53	o 5261
70.09/70.17	c 43.7743 11.3555 579 779033
70.09/70.17	o 5226
70.40/70.49	c 43.9683 11.3555 835 781589
70.40/70.49	o 5221
70.69/70.74	c 44.1203 11.3555 559 784338
70.69/70.74	o 5058
70.79/70.89	c 44.2123 11.3555 607 785752
70.79/70.89	o 5047
71.29/71.39	c 44.5262 11.3555 609 789960
71.29/71.39	o 5021
72.09/72.12	c 44.9792 11.3555 733 796422
72.09/72.12	o 5020
72.60/72.68	c 45.3291 11.3555 600 800855
72.60/72.68	o 5019
72.69/72.74	c 45.3681 11.3555 794 801336
72.69/72.74	o 5004
74.00/74.04	c 46.182 11.3555 622 811391
74.00/74.04	o 4952
74.20/74.25	c 46.308 11.3555 675 813652
74.20/74.25	o 4932
74.40/74.44	c 46.4269 11.3555 504 815571
74.40/74.44	o 4906
74.99/75.07	c 46.8219 11.3555 769 821202
74.99/75.07	o 4897
75.39/75.43	c 47.0448 11.3555 877 824689
75.39/75.43	o 4884
75.39/75.45	c 47.0588 11.3555 512 824989
75.39/75.45	o 4861
75.60/75.69	c 47.2268 11.3555 811 826550
75.60/75.69	o 4842
75.90/75.93	c 47.3688 11.3555 461 828702
75.90/75.93	o 4814
77.39/77.49	c 48.3007 11.3555 851 841059
77.39/77.49	o 4768
77.89/77.90	c 48.5496 11.3555 670 844871
77.89/77.90	o 4761
78.80/78.89	c 49.1475 11.3555 740 854047
78.80/78.89	o 4673
79.10/79.17	c 49.3175 11.3555 779 856176
79.10/79.17	o 4591
80.20/80.24	c 49.9774 11.3555 474 864855
80.20/80.24	o 4494
80.30/80.31	c 50.0344 11.3555 757 865631
80.30/80.31	o 4483
82.00/82.06	c 51.1412 11.3555 662 879377
82.00/82.06	o 4457
82.10/82.16	c 51.2022 11.3555 581 880159
82.10/82.16	o 4397
82.50/82.58	c 51.4632 11.3555 608 883612
82.50/82.58	o 4367
82.70/82.74	c 51.5722 11.3555 587 884778
82.70/82.74	o 4233
82.79/82.81	c 51.6152 11.3555 795 885486
82.79/82.81	o 4134
83.30/83.31	c 51.9291 11.4766 920 888647
83.30/83.31	o 4130
84.80/84.83	c 52.894 11.4766 901 899638
84.80/84.83	o 4039
85.10/85.11	c 53.0639 11.4766 621 902030
85.10/85.11	o 3990
85.59/85.63	c 53.3929 11.4766 637 906147
85.59/85.63	o 3960
85.89/85.96	c 53.5949 11.4766 912 908776
85.89/85.96	o 3821
86.39/86.46	c 53.8958 11.4766 578 912837
86.39/86.46	o 3804
86.69/86.71	c 54.0588 11.4766 648 915320
86.69/86.71	o 3788
87.29/87.37	c 54.4677 11.4766 733 920658
87.29/87.37	o 3733
87.69/87.72	c 54.6857 11.4766 578 923526
87.69/87.72	o 3684
87.79/87.82	c 54.7487 11.4766 901 924367
87.79/87.82	o 3663
88.09/88.18	c 54.9666 11.4766 657 926783
88.09/88.18	o 3635
88.70/88.72	c 55.2836 11.4766 718 930893
88.70/88.72	o 3628
89.49/89.57	c 55.7825 11.4766 791 937026
89.49/89.57	o 3614
90.69/90.72	c 56.4914 11.4766 779 946146
90.69/90.72	o 3587
90.79/90.85	c 56.5744 11.4766 766 947423
90.79/90.85	o 3522
91.49/91.53	c 56.9673 11.4766 570 952254
91.49/91.53	o 3500
91.49/91.58	c 56.9963 11.4766 724 952743
91.49/91.58	o 3463
92.30/92.35	c 57.4763 11.4766 830 958079
92.30/92.35	o 3398
92.40/92.49	c 57.5582 11.4766 838 959005
92.40/92.49	o 3356
92.70/92.74	c 57.7112 11.4766 736 961037
92.70/92.74	o 3300
93.10/93.10	c 57.9322 11.4766 578 963786
93.10/93.10	o 3249
93.30/93.34	c 58.0932 11.4766 553 965837
93.30/93.34	o 3190
93.40/93.46	c 58.1612 11.4766 521 966943
93.40/93.46	o 3007
94.49/94.57	c 58.8401 11.4766 481 974018
94.49/94.57	o 2905
94.69/94.71	c 58.921 11.4766 829 974913
94.69/94.71	o 2849
94.79/94.89	c 59.038 11.4766 604 976702
94.79/94.89	o 2688
94.89/94.93	c 59.069 11.4766 747 977143
94.89/94.93	o 2684
94.89/94.95	c 59.08 11.4766 815 977355
94.89/94.95	o 2656
94.89/94.96	c 59.082 11.4766 833 977459
94.89/94.96	o 2653
95.00/95.00	c 59.104 11.4766 546 977858
95.00/95.00	o 2617
95.00/95.04	c 59.132 11.4766 699 978254
95.00/95.04	o 2602
95.20/95.20	c 59.232 11.4766 706 979640
95.20/95.20	o 2595
95.29/95.34	c 59.324 11.4766 724 980878
95.29/95.34	o 2517
95.49/95.55	c 59.461 11.4766 899 982198
95.49/95.55	o 2459
95.49/95.55	c 59.463 11.4766 459 982252
95.49/95.55	o 2444
95.80/95.85	c 59.6609 11.4766 545 984505
95.80/95.85	o 2430
95.99/96.01	c 59.7539 11.4766 620 985894
95.99/96.01	o 2390
96.49/96.59	c 60.1089 11.4766 493 989526
96.49/96.59	o 2362
96.60/96.66	c 60.1519 11.4766 653 989971
96.60/96.66	o 2348
97.10/97.13	c 60.4328 11.6016 761 993359
97.10/97.13	o 2344
97.29/97.33	c 60.5658 11.6016 923 994782
97.29/97.33	o 2315
97.29/97.35	c 60.5788 11.6016 498 994939
97.29/97.35	o 2273
97.50/97.53	c 60.6828 11.6016 524 996381
97.50/97.53	o 2229
97.69/97.79	c 60.8477 11.6016 830 998110
97.69/97.79	o 2225
97.80/97.84	c 60.8777 11.6016 514 998515
97.80/97.84	o 2222
97.90/97.94	c 60.9357 11.6016 864 999440
97.90/97.94	o 2185
97.99/98.05	c 60.9987 11.6016 770 1000246
97.99/98.05	o 2172
98.09/98.16	c 61.0627 11.6016 661 1001076
98.09/98.16	o 2110
98.20/98.28	c 61.1347 11.6016 628 1001990
98.20/98.28	o 2056
98.30/98.38	c 61.1877 11.6016 903 1002716
98.30/98.38	o 2030
98.49/98.54	c 61.2937 11.6016 976 1003842
98.49/98.54	o 2011
98.49/98.58	c 61.3197 11.6016 621 1004270
98.49/98.58	o 1994
98.59/98.63	c 61.3467 11.6016 775 1004674
98.59/98.63	o 1985
98.59/98.64	c 61.3567 11.6016 805 1004775
98.59/98.64	o 1963
98.69/98.79	c 61.4427 11.6016 780 1005977
98.69/98.79	o 1902
98.80/98.87	c 61.4927 11.6016 552 1006501
98.80/98.87	o 1854
98.90/98.95	c 61.5496 11.6016 803 1007111
98.90/98.95	o 1805
99.00/99.06	c 61.6126 11.6016 675 1007725
99.00/99.06	o 1790
99.00/99.09	c 61.6266 11.6016 755 1007960
99.00/99.09	o 1751
99.20/99.27	c 61.7426 11.6016 843 1009307
99.20/99.27	o 1718
99.59/99.67	c 61.9976 11.6016 689 1012085
99.59/99.67	o 1698
99.69/99.74	c 62.0446 11.6016 923 1012590
99.69/99.74	o 1669
99.69/99.79	c 62.0716 11.6016 653 1013096
99.69/99.79	o 1632
99.79/99.85	c 62.1036 11.6016 818 1013490
99.79/99.85	o 1557
100.00/100.03	c 62.2145 11.6016 499 1014681
100.00/100.03	o 1523
100.00/100.05	c 62.2285 11.6016 552 1014909
100.00/100.05	o 1462
100.00/100.09	c 62.2555 11.6016 703 1015344
100.00/100.09	o 1412
100.10/100.12	c 62.2685 11.6016 789 1015617
100.10/100.12	o 1361
100.20/100.20	c 62.3205 11.6016 605 1016194
100.20/100.20	o 1350
100.29/100.37	c 62.4285 11.6016 725 1017477
100.29/100.37	o 1260
100.39/100.43	c 62.4675 11.6016 894 1017859
100.39/100.43	o 1259
100.39/100.49	c 62.5145 11.6016 635 1018332
100.39/100.49	o 1209
100.49/100.55	c 62.5535 11.6016 834 1018750
100.49/100.55	o 1181
100.49/100.58	c 62.5695 11.6016 909 1018920
100.49/100.58	o 1179
100.59/100.63	c 62.5975 11.6016 604 1019313
100.59/100.63	o 1161
100.59/100.67	c 62.6245 11.6016 717 1019671
100.59/100.67	o 1151
100.70/100.73	c 62.6595 11.6016 892 1020019
100.70/100.73	o 1136
100.70/100.79	c 62.7035 11.7266 683 1020458
100.70/100.79	o 1120
100.79/100.84	c 62.7325 11.7266 813 1020898
100.79/100.84	o 1037
100.79/100.89	c 62.7605 11.7266 503 1021277
100.79/100.89	o 1001
101.10/101.13	c 62.9114 11.7266 671 1022786
101.10/101.13	o 848
101.10/101.17	c 62.9394 11.7266 808 1023147
101.10/101.17	o 814
101.20/101.23	c 62.9844 11.7266 916 1023541
101.20/101.23	o 745
101.30/101.33	c 63.0444 11.7266 710 1024367
101.30/101.33	o 689
101.30/101.34	c 63.0494 11.7266 743 1024442
101.30/101.34	o 669
101.30/101.36	c 63.0654 11.7266 816 1024615
101.30/101.36	o 664
101.30/101.39	c 63.0904 11.7266 905 1024933
101.30/101.39	o 576
101.40/101.44	c 63.1224 11.7266 1132 1025352
101.40/101.44	o 554
101.40/101.46	c 63.1394 11.7266 1235 1025556
101.40/101.46	o 551
101.40/101.46	c 63.1404 11.7266 1236 1025626
101.40/101.46	o 512
101.40/101.47	c 63.1404 11.7266 1236 1025666
101.40/101.47	o 508
101.40/101.47	c 63.1404 11.7266 1236 1025783
101.40/101.47	o 397
101.40/101.47	c 63.1414 11.7266 1237 1025809
101.40/101.47	o 393
101.40/101.47	c 63.1424 11.7266 981 1025866
101.40/101.47	o 367
101.40/101.47	c 63.1444 11.7266 985 1025906
101.40/101.47	o 360
101.40/101.47	c 63.1464 11.7266 994 1025952
101.40/101.47	o 335
101.40/101.48	c 63.1504 11.7266 1040 1026102
101.40/101.48	o 271
101.50/101.50	c 63.1654 11.7266 849 1026291
101.50/101.50	o 256
101.50/101.50	c 63.1664 11.7266 852 1026324
101.50/101.50	o 246
101.50/101.50	c 63.1664 11.7266 855 1026395
101.50/101.50	o 177
101.50/101.50	c 63.1674 11.7266 857 1026419
101.50/101.50	o 162
101.50/101.50	c 63.1674 11.7266 858 1026472
101.50/101.50	o 110
101.50/101.50	c 63.1684 11.7266 860 1026491
101.50/101.50	o 99
101.50/101.50	c 63.1704 11.7266 875 1026509
101.50/101.50	s OPTIMUM FOUND
101.50/101.50	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-2700204-1278534409/watcher-2700204-1278534409 -o /tmp/evaluation-result-2700204-1278534409/solver-2700204-1278534409 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700204-1278534409.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: 5.17 4.29 2.31 4/182 27577
/proc/meminfo: memFree=29384956/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=2136 CPUtime=0
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21654189 2187264 181 4089446400 134512640 136421960 4291122128 18446744073709551615 135809583 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27577/statm: 534 181 144 467 0 65 0

[startup+0.0541171 s]
/proc/loadavg: 5.17 4.29 2.31 4/182 27577
/proc/meminfo: memFree=29384956/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=10352 CPUtime=0.05
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2330 0 0 0 4 1 0 0 25 0 1 0 21654189 10600448 2244 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2588 2244 237 467 0 2119 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10352

[startup+0.101123 s]
/proc/loadavg: 5.17 4.29 2.31 4/182 27577
/proc/meminfo: memFree=29384956/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=10480 CPUtime=0.09
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2359 0 0 0 8 1 0 0 25 0 1 0 21654189 10731520 2261 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2620 2261 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.301069 s]
/proc/loadavg: 5.17 4.29 2.31 4/182 27577
/proc/meminfo: memFree=29384956/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=10608 CPUtime=0.29
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2399 0 0 0 20 9 0 0 25 0 1 0 21654189 10862592 2295 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2652 2295 238 467 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10608

[startup+0.700955 s]
/proc/loadavg: 5.17 4.29 2.31 4/182 27577
/proc/meminfo: memFree=29384956/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=10608 CPUtime=0.69
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2425 0 0 0 44 25 0 0 25 0 1 0 21654189 10862592 2313 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2652 2313 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50081 s]
/proc/loadavg: 5.17 4.29 2.31 3/183 27578
/proc/meminfo: memFree=29376672/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=10736 CPUtime=1.49
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2445 0 0 0 95 54 0 0 25 0 1 0 21654189 10993664 2330 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2684 2330 238 467 0 2215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10736

[startup+3.10054 s]
/proc/loadavg: 5.17 4.29 2.31 3/183 27579
/proc/meminfo: memFree=29373448/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=10864 CPUtime=3.09
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2470 0 0 0 198 111 0 0 25 0 1 0 21654189 11124736 2350 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2716 2350 238 467 0 2247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10864

[startup+6.30093 s]
/proc/loadavg: 4.91 4.25 2.31 3/183 27579
/proc/meminfo: memFree=29369116/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=10864 CPUtime=6.29
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2501 0 0 0 396 233 0 0 25 0 1 0 21654189 11124736 2373 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2716 2373 238 467 0 2247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10864

[startup+12.7008 s]
/proc/loadavg: 4.68 4.21 2.31 3/183 27579
/proc/meminfo: memFree=29362072/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=11120 CPUtime=12.69
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2556 0 0 0 802 467 0 0 25 0 1 0 21654189 11386880 2411 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2780 2411 238 467 0 2311 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11120

[startup+25.5005 s]
/proc/loadavg: 4.15 4.12 2.31 3/183 27580
/proc/meminfo: memFree=29344532/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=11248 CPUtime=25.49
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2623 0 0 0 1614 935 0 0 25 0 1 0 21654189 11517952 2455 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2812 2455 238 467 0 2343 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11248

[startup+51.1008 s]
/proc/loadavg: 3.42 3.95 2.30 3/183 27580
/proc/meminfo: memFree=29312500/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=11496 CPUtime=51.09
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2749 0 0 0 3203 1906 0 0 25 0 1 0 21654189 11771904 2524 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2874 2524 238 467 0 2405 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11496

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

[startup+76.7011 s]
/proc/loadavg: 2.93 3.79 2.29 3/183 27580
/proc/meminfo: memFree=29280120/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=11624 CPUtime=76.7
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2820 0 0 0 4783 2887 0 0 25 0 1 0 21654189 11902976 2565 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2906 2565 238 467 0 2437 0
Current children cumulated CPU time (s) 76.7
Current children cumulated vsize (KiB) 11624

[startup+89.5008 s]
/proc/loadavg: 2.81 3.72 2.29 3/183 27581
/proc/meminfo: memFree=29262980/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=11748 CPUtime=89.49
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2867 0 0 0 5574 3375 0 0 25 0 1 0 21654189 12029952 2589 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2937 2589 238 467 0 2468 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 11748

[startup+95.9006 s]
/proc/loadavg: 2.74 3.69 2.29 3/183 27581
/proc/meminfo: memFree=29253800/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=11748 CPUtime=95.89
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2910 0 0 0 5968 3621 0 0 25 0 1 0 21654189 12029952 2608 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2937 2608 238 467 0 2468 0
Current children cumulated CPU time (s) 95.89
Current children cumulated vsize (KiB) 11748

[startup+99.101 s]
/proc/loadavg: 2.68 3.66 2.28 3/183 27582
/proc/meminfo: memFree=29249580/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=11876 CPUtime=99.1
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2949 0 0 0 6163 3747 0 0 25 0 1 0 21654189 12161024 2624 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2969 2624 238 467 0 2500 0
Current children cumulated CPU time (s) 99.1
Current children cumulated vsize (KiB) 11876

[startup+100.701 s]
/proc/loadavg: 2.68 3.66 2.28 3/183 27582
/proc/meminfo: memFree=29248588/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=11876 CPUtime=100.7
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2981 0 0 0 6264 3806 0 0 25 0 1 0 21654189 12161024 2639 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 2969 2639 238 467 0 2500 0
Current children cumulated CPU time (s) 100.7
Current children cumulated vsize (KiB) 11876

[startup+101.101 s]
/proc/loadavg: 2.68 3.66 2.28 3/183 27582
/proc/meminfo: memFree=29245236/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=12004 CPUtime=101.1
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 2992 0 0 0 6289 3821 0 0 25 0 1 0 21654189 12292096 2646 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 3001 2646 238 467 0 2532 0
Current children cumulated CPU time (s) 101.1
Current children cumulated vsize (KiB) 12004

[startup+101.501 s]
/proc/loadavg: 2.68 3.66 2.28 3/183 27582
/proc/meminfo: memFree=29245236/32951124 swapFree=67111528/67111528
[pid=27577] ppid=27575 vsize=12004 CPUtime=101.5
/proc/27577/stat : 27577 (pbct) R 27575 27577 26954 0 -1 4202496 3016 0 0 0 6316 3834 0 0 25 0 1 0 21654189 12292096 2653 4089446400 134512640 136421960 4291122128 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/27577/statm: 3001 2653 238 467 0 2532 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 12004

Child status: 0
Real time (s): 101.52
CPU time (s): 101.523
CPU user time (s): 63.1804
CPU system time (s): 38.3422
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 12004

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

runsolver used 0.148977 second user time and 0.331949 second system time

The end

Launcher Data 

Begin job on node134 at 2010-07-07 22:26:49
IDJOB=2700204
IDBENCH=79408
IDSOLVER=1208
FILE ID=node134/2700204-1278534409
PBS_JOBID= 11239209
Free space on /tmp= 73712 MiB

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

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

MD5SUM BENCH= 6d863641d8b2b772fe5ea25b86285712
RANDOM SEED=644751413

node134.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.801
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
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.801
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
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.66
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.801
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.83
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.801
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.74
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.801
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29385360 kB
Buffers:        143528 kB
Cached:        2476044 kB
SwapCached:          0 kB
Active:        2038816 kB
Inactive:      1381400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29385360 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1964 kB
Writeback:           0 kB
AnonPages:      800540 kB
Mapped:          17116 kB
Slab:            81752 kB
PageTables:       6156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   952024 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73708 MiB
End job on node134 at 2010-07-07 22:28:30