Trace number 2700303

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 32.3751 32.3753

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh209_wcsp.wbo
MD5SUM9631dbe60bb4b54b94c0583eca7044d2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.154975
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 constraints900
Number of soft constraints800
Number of constraints which are clauses800
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 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
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/800 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.033994 9.74609 1 1849
0.00/0.03	o 28314
0.00/0.04	c 0.033994 9.89453 1 2431
0.00/0.04	o 27697
0.00/0.04	c 0.034994 9.89453 2 3284
0.00/0.04	o 26696
0.00/0.04	c 0.034994 9.89453 2 4129
0.00/0.04	o 16165
0.00/0.04	c 0.034994 9.89453 2 4496
0.00/0.04	o 15943
0.00/0.04	c 0.036994 9.89453 3 4991
0.00/0.04	o 15597
0.00/0.05	c 0.036994 9.89453 6 5398
0.00/0.05	o 15343
0.00/0.05	c 0.037994 9.89453 6 5707
0.00/0.05	o 15293
0.00/0.05	c 0.038994 9.89453 11 6191
0.00/0.05	o 15039
0.09/0.13	c 0.088986 10.0195 434 8051
0.09/0.13	o 14802
0.09/0.15	c 0.101984 10.0195 493 8419
0.09/0.15	o 14669
0.49/0.56	c 0.361944 10.1445 498 13259
0.49/0.56	o 14616
0.49/0.58	c 0.376942 10.1445 639 13945
0.49/0.58	o 14597
0.69/0.78	c 0.501923 10.1445 560 16918
0.69/0.78	o 14560
0.69/0.79	c 0.506922 10.1445 331 17912
0.69/0.79	o 13952
0.79/0.80	c 0.508922 10.1445 332 18838
0.79/0.80	o 12542
0.79/0.80	c 0.510922 10.1445 333 19363
0.79/0.80	o 12089
0.79/0.80	c 0.513921 10.1445 347 19575
0.79/0.80	o 12072
0.79/0.88	c 0.558915 10.1445 634 20592
0.79/0.88	o 12009
0.89/0.92	c 0.58791 10.1445 497 21437
0.89/0.92	o 11668
0.89/0.94	c 0.605907 10.1445 657 22101
0.89/0.94	o 11626
1.10/1.12	c 0.714891 10.1445 622 25251
1.10/1.12	o 11503
1.19/1.29	c 0.827874 10.1445 475 28017
1.19/1.29	o 11457
1.39/1.40	c 0.900863 10.1445 374 29820
1.39/1.40	o 11374
1.39/1.43	c 0.91986 10.1445 528 30391
1.39/1.43	o 11373
1.39/1.49	c 0.963853 10.1445 502 31233
1.39/1.49	o 11312
1.59/1.62	c 1.03984 10.1445 553 33777
1.59/1.62	o 11238
1.59/1.64	c 1.04984 10.1445 630 34235
1.59/1.64	o 11059
1.59/1.67	c 1.07184 10.1445 488 34805
1.59/1.67	o 11058
1.69/1.71	c 1.09383 10.1445 641 35434
1.69/1.71	o 10987
1.69/1.74	c 1.11183 10.1445 498 36237
1.69/1.74	o 10652
1.69/1.77	c 1.13083 10.1445 661 36986
1.69/1.77	o 10595
1.89/1.97	c 1.24881 10.1445 475 40018
1.89/1.97	o 10365
2.39/2.48	c 1.56276 10.2695 952 46402
2.39/2.48	o 10305
2.49/2.56	c 1.61475 10.2695 553 47726
2.49/2.56	o 10246
2.49/2.57	c 1.62275 10.2695 587 48164
2.49/2.57	o 10155
2.69/2.72	c 1.71674 10.2695 659 50405
2.69/2.72	o 10045
3.20/3.24	c 2.03169 10.2695 386 55878
3.20/3.24	o 9678
3.20/3.24	c 2.03369 10.2695 386 56314
3.20/3.24	o 9371
3.20/3.25	c 2.03469 10.2695 392 56849
3.20/3.25	o 9088
3.20/3.25	c 2.03769 10.2695 412 57060
3.20/3.25	o 9020
3.49/3.52	c 2.20666 10.2695 709 60272
3.49/3.52	o 8905
3.69/3.70	c 2.32065 10.2695 881 61375
3.69/3.70	o 8846
4.19/4.23	c 2.6486 10.2695 845 65761
4.19/4.23	o 8735
4.69/4.70	c 2.94955 10.2695 533 71612
4.69/4.70	o 8690
5.40/5.45	c 3.42548 10.2695 876 78642
5.40/5.45	o 8651
5.59/5.64	c 3.54246 10.2695 526 81217
5.59/5.64	o 8579
6.09/6.13	c 3.83942 10.3906 542 85789
6.09/6.13	o 8530
6.70/6.71	c 4.19936 10.3906 613 92280
6.70/6.71	o 8470
7.29/7.32	c 4.5893 10.3906 495 100265
7.29/7.32	o 8282
7.69/7.71	c 4.83526 10.3906 635 104515
7.69/7.71	o 8254
8.19/8.22	c 5.15122 10.3906 450 108966
8.19/8.22	o 8248
8.29/8.33	c 5.21621 10.3906 505 110369
8.29/8.33	o 8240
8.49/8.57	c 5.36518 10.3906 635 112849
8.49/8.57	o 8219
8.89/8.97	c 5.62214 10.3906 476 117612
8.89/8.97	o 8035
9.99/10.09	c 6.32204 10.3906 392 128628
9.99/10.09	o 8014
10.39/10.43	c 6.53101 10.3906 574 130886
10.39/10.43	o 7943
10.99/11.01	c 6.90595 10.3906 752 137079
10.99/11.01	o 7923
10.99/11.05	c 6.92895 10.3906 516 137642
10.99/11.05	o 7907
11.59/11.65	c 7.29989 10.3906 428 143544
11.59/11.65	o 7836
11.69/11.70	c 7.32389 10.3906 677 144381
11.69/11.70	o 7811
11.79/11.85	c 7.41387 10.3906 578 146105
11.79/11.85	o 7694
12.49/12.51	c 7.83081 10.3906 486 153148
12.49/12.51	o 7679
12.49/12.56	c 7.8608 10.3906 398 153910
12.49/12.56	o 7632
12.59/12.63	c 7.8968 10.3906 642 154729
12.59/12.63	o 7587
13.20/13.25	c 8.27974 10.5156 721 159476
13.20/13.25	o 7559
13.49/13.50	c 8.43672 10.5156 530 162229
13.49/13.50	o 7532
13.70/13.70	c 8.5567 10.5156 510 164288
13.70/13.70	o 7493
13.70/13.72	c 8.5657 10.5156 626 164831
13.70/13.72	o 7341
13.99/14.09	c 8.79366 10.5156 680 168565
13.99/14.09	o 7279
14.20/14.24	c 8.89165 10.5156 739 170690
14.20/14.24	o 7255
14.20/14.26	c 8.90265 10.5156 455 170996
14.20/14.26	o 7197
14.60/14.62	c 9.11461 10.5156 673 174638
14.60/14.62	o 7053
14.60/14.65	c 9.13361 10.5156 426 175142
14.60/14.65	o 7049
14.60/14.69	c 9.16061 10.5156 549 175619
14.60/14.69	o 7030
14.69/14.71	c 9.17361 10.5156 624 175975
14.69/14.71	o 6959
15.30/15.32	c 9.56155 10.5156 758 180756
15.30/15.32	o 6940
15.30/15.38	c 9.60154 10.5156 655 181554
15.30/15.38	o 6927
15.59/15.63	c 9.74852 10.5156 808 184107
15.59/15.63	o 6855
15.59/15.68	c 9.77651 10.5156 635 184868
15.59/15.68	o 6849
16.19/16.29	c 10.1495 10.5156 707 190777
16.19/16.29	o 6839
16.30/16.35	c 10.1825 10.5156 538 191335
16.30/16.35	o 6827
16.30/16.39	c 10.2064 10.5156 675 191781
16.30/16.39	o 6823
16.39/16.42	c 10.2344 10.5156 432 192300
16.39/16.42	o 6773
16.69/16.75	c 10.4424 10.5156 665 195372
16.69/16.75	o 6731
16.79/16.87	c 10.5264 10.5156 694 196461
16.79/16.87	o 6674
17.19/17.21	c 10.7354 10.5156 751 199676
17.19/17.21	o 6521
17.39/17.43	c 10.8763 10.5156 483 202074
17.39/17.43	o 6501
17.39/17.46	c 10.8913 10.5156 600 202594
17.39/17.46	o 6392
17.79/17.82	c 11.1123 10.5156 563 205399
17.79/17.82	o 6314
17.79/17.85	c 11.1333 10.5156 686 205919
17.79/17.85	o 6301
18.09/18.18	c 11.3403 10.5156 657 208464
18.09/18.18	o 6292
18.29/18.36	c 11.4413 10.5156 936 210125
18.29/18.36	o 6239
18.29/18.40	c 11.4643 10.5156 636 210643
18.29/18.40	o 6231
18.49/18.51	c 11.5352 10.5156 675 211722
18.49/18.51	o 6213
18.60/18.64	c 11.6122 10.5156 778 213214
18.60/18.64	o 6176
18.79/18.89	c 11.7642 10.5156 637 216110
18.79/18.89	o 6138
19.49/19.57	c 12.1631 10.6406 693 222355
19.49/19.57	o 6119
20.09/20.18	c 12.5281 10.6406 597 228023
20.09/20.18	o 5987
20.29/20.32	c 12.6201 10.6406 783 229659
20.29/20.32	o 5948
20.29/20.36	c 12.6471 10.6406 514 230250
20.29/20.36	o 5815
20.50/20.57	c 12.7701 10.6406 534 232386
20.50/20.57	o 5723
20.79/20.90	c 12.974 10.6406 798 234994
20.79/20.90	o 5694
20.90/20.94	c 12.998 10.6406 595 235762
20.90/20.94	o 5518
21.19/21.21	c 13.157 10.6406 542 237899
21.19/21.21	o 5502
21.19/21.28	c 13.204 10.6406 431 238785
21.19/21.28	o 5429
21.29/21.30	c 13.219 10.6406 499 239081
21.29/21.30	o 5349
21.69/21.71	c 13.464 10.6406 705 242501
21.69/21.71	o 5312
22.09/22.12	c 13.7339 10.6406 435 246876
22.09/22.12	o 5299
22.59/22.69	c 14.1129 10.6406 675 251497
22.59/22.69	o 5261
22.69/22.72	c 14.1339 10.6406 753 251744
22.69/22.72	o 5257
22.69/22.74	c 14.1448 10.6406 427 251960
22.69/22.74	o 5249
22.90/22.99	c 14.3108 10.6406 473 254253
22.90/22.99	o 5202
23.00/23.00	c 14.3208 10.6406 513 254525
23.00/23.00	o 5140
23.19/23.24	c 14.4558 10.6406 523 256692
23.19/23.24	o 4954
23.29/23.39	c 14.5488 10.6406 708 258446
23.29/23.39	o 4886
23.39/23.40	c 14.5588 10.6406 759 258689
23.39/23.40	o 4835
23.50/23.51	c 14.6278 10.6406 762 259528
23.50/23.51	o 4829
23.59/23.65	c 14.7198 10.6406 425 260762
23.59/23.65	o 4823
23.90/23.90	c 14.8627 10.6406 750 262200
23.90/23.90	o 4820
24.20/24.22	c 15.0537 10.6406 514 263971
24.20/24.22	o 4772
24.49/24.58	c 15.2747 10.6406 786 266529
24.49/24.58	o 4754
24.59/24.60	c 15.2907 10.6406 440 266781
24.59/24.60	o 4707
24.69/24.70	c 15.3547 10.6406 720 267624
24.69/24.70	o 4556
25.20/25.29	c 15.7206 10.6406 889 271864
25.20/25.29	o 4550
25.59/25.65	c 15.9326 10.6406 442 274810
25.59/25.65	o 4543
25.69/25.76	c 15.9936 10.6406 438 275959
25.69/25.76	o 4351
25.89/25.91	c 16.0886 10.6406 861 276938
25.89/25.91	o 4307
26.09/26.16	c 16.2455 10.6406 461 279164
26.09/26.16	o 4210
26.30/26.39	c 16.3975 10.6406 771 281174
26.30/26.39	o 4194
26.50/26.50	c 16.4625 10.6406 692 282019
26.50/26.50	o 4171
26.50/26.58	c 16.5115 10.6406 479 282488
26.50/26.58	o 4166
26.59/26.67	c 16.5625 10.6406 761 283239
26.59/26.67	o 4140
26.89/26.98	c 16.7575 10.6406 460 285678
26.89/26.98	o 4122
26.99/27.04	c 16.7904 10.7578 624 286209
26.99/27.04	o 4034
27.29/27.36	c 16.9964 10.7578 586 287890
27.29/27.36	o 4028
27.49/27.55	c 17.1164 10.7578 720 289227
27.49/27.55	o 4010
27.49/27.58	c 17.1314 10.7578 799 289573
27.49/27.58	o 3840
27.90/27.92	c 17.3414 10.7578 512 291723
27.90/27.92	o 3757
28.19/28.20	c 17.5143 10.7578 522 293947
28.19/28.20	o 3746
28.19/28.21	c 17.5173 10.7578 538 294080
28.19/28.21	o 3712
28.19/28.24	c 17.5393 10.7578 613 294249
28.19/28.24	o 3700
28.29/28.39	c 17.6343 10.7578 615 295509
28.29/28.39	o 3669
28.39/28.41	c 17.6413 10.7578 647 295682
28.39/28.41	o 3656
28.39/28.41	c 17.6443 10.7578 657 295748
28.39/28.41	o 3653
28.39/28.43	c 17.6543 10.7578 709 296030
28.39/28.43	o 3554
28.39/28.47	c 17.6793 10.7578 435 296482
28.39/28.47	o 3510
28.49/28.54	c 17.7273 10.7578 668 297139
28.49/28.54	o 3491
28.80/28.88	c 17.9293 10.7578 947 299779
28.80/28.88	o 3490
28.89/28.95	c 17.9803 10.7578 709 300524
28.89/28.95	o 3384
28.89/28.99	c 17.9993 10.7578 432 301037
28.89/28.99	o 3310
29.20/29.21	c 18.1372 10.7578 665 302633
29.20/29.21	o 3298
29.20/29.24	c 18.1552 10.7578 752 302858
29.20/29.24	o 3257
29.20/29.25	c 18.1602 10.7578 785 303074
29.20/29.25	o 3199
29.49/29.58	c 18.3652 10.7578 832 305085
29.49/29.58	o 3184
29.59/29.68	c 18.4272 10.7578 713 305926
29.59/29.68	o 3138
29.70/29.73	c 18.4602 10.7578 430 306269
29.70/29.73	o 3133
29.79/29.88	c 18.5482 10.7578 804 307122
29.79/29.88	o 3114
29.90/29.95	c 18.6022 10.7578 638 307833
29.90/29.95	o 3056
29.99/30.04	c 18.6572 10.7578 833 308232
29.99/30.04	o 3033
30.19/30.24	c 18.7771 10.7578 617 309658
30.19/30.24	o 3009
30.19/30.28	c 18.8061 10.7578 737 310084
30.19/30.28	o 2974
30.29/30.34	c 18.8511 10.7578 488 310554
30.29/30.34	o 2884
30.39/30.48	c 18.9391 10.7578 518 311592
30.39/30.48	o 2857
30.49/30.50	c 18.9521 10.7578 557 311762
30.49/30.50	o 2792
30.49/30.51	c 18.9571 10.7578 573 311883
30.49/30.51	o 2777
30.49/30.51	c 18.9581 10.7578 574 311963
30.49/30.51	o 2761
30.49/30.51	c 18.9591 10.7578 576 312039
30.49/30.51	o 2736
30.49/30.56	c 18.9831 10.7578 701 312458
30.49/30.56	o 2684
30.59/30.60	c 19.0051 10.7578 407 312765
30.59/30.60	o 2658
30.59/30.61	c 19.0091 10.8789 427 312856
30.59/30.61	o 2644
30.59/30.62	c 19.0191 10.8789 472 313013
30.59/30.62	o 2599
30.59/30.65	c 19.0371 10.8789 547 313215
30.59/30.65	o 2567
30.69/30.70	c 19.0701 10.8789 671 313530
30.69/30.70	o 2552
30.69/30.72	c 19.0821 10.8789 699 313657
30.69/30.72	o 2501
30.69/30.73	c 19.0861 10.8789 721 313800
30.69/30.73	o 2433
30.69/30.78	c 19.1211 10.8789 471 314247
30.69/30.78	o 2362
30.80/30.88	c 19.1881 10.8789 750 314842
30.80/30.88	o 2346
30.89/30.90	c 19.2101 10.8789 816 314997
30.89/30.90	o 2332
30.89/30.94	c 19.2361 10.8789 518 315311
30.89/30.94	o 2327
30.89/30.95	c 19.2401 10.8789 546 315438
30.89/30.95	o 2290
30.89/30.96	c 19.2441 10.8789 561 315634
30.89/30.96	o 2141
30.89/30.99	c 19.2621 10.8789 631 315799
30.89/30.99	o 2133
30.99/31.00	c 19.2701 10.8789 649 315916
30.99/31.00	o 2098
30.99/31.03	c 19.2861 10.8789 739 316137
30.99/31.03	o 2089
31.09/31.10	c 19.3411 10.8789 579 316824
31.09/31.10	o 2064
31.09/31.19	c 19.402 10.8789 796 317313
31.09/31.19	o 2058
31.20/31.25	c 19.449 10.8789 595 317899
31.20/31.25	o 2044
31.20/31.27	c 19.458 10.8789 640 318162
31.20/31.27	o 1918
31.20/31.30	c 19.476 10.8789 690 318375
31.29/31.30	o 1912
31.29/31.36	c 19.52 10.8789 855 318745
31.29/31.36	o 1892
31.39/31.41	c 19.546 10.8789 571 319144
31.39/31.41	o 1847
31.39/31.43	c 19.562 10.8789 652 319377
31.39/31.43	o 1843
31.39/31.46	c 19.583 10.8789 703 319817
31.39/31.46	o 1673
31.39/31.47	c 19.585 10.8789 726 319892
31.39/31.47	o 1671
31.50/31.55	c 19.636 10.8789 532 320443
31.50/31.55	o 1619
31.59/31.63	c 19.691 10.8789 767 321016
31.59/31.63	o 1600
31.59/31.65	c 19.71 11.0078 837 321237
31.59/31.65	o 1566
31.69/31.72	c 19.751 11.0078 582 321652
31.69/31.72	o 1551
31.69/31.73	c 19.761 11.0078 619 321836
31.69/31.73	o 1549
31.69/31.73	c 19.763 11.0078 624 321888
31.69/31.73	o 1529
31.69/31.74	c 19.765 11.0078 631 321988
31.69/31.74	o 1457
31.69/31.75	c 19.77 11.0078 655 322184
31.69/31.75	o 1341
31.69/31.76	c 19.779 11.0078 704 322323
31.69/31.76	o 1268
31.80/31.82	c 19.819 11.0078 881 322753
31.80/31.82	o 1231
31.80/31.85	c 19.836 11.0078 500 322932
31.80/31.85	o 1182
31.80/31.87	c 19.845 11.0078 534 323092
31.80/31.87	o 1136
31.80/31.88	c 19.852 11.0078 588 323228
31.80/31.88	o 1094
31.80/31.88	c 19.854 11.0078 612 323290
31.80/31.88	o 1087
31.80/31.89	c 19.861 11.0078 632 323355
31.80/31.89	o 1080
31.80/31.90	c 19.865 11.0078 660 323475
31.80/31.90	o 1062
31.90/31.91	c 19.873 11.0078 690 323595
31.90/31.91	o 1037
31.90/31.91	c 19.875 11.0078 695 323648
31.90/31.91	o 1015
31.90/31.92	c 19.878 11.0078 708 323702
31.90/31.92	o 1014
31.90/31.92	c 19.882 11.0078 725 323768
31.90/31.92	o 995
31.90/31.95	c 19.894 11.0078 778 323971
31.90/31.95	o 962
31.99/32.00	c 19.926 11.0078 492 324306
31.99/32.00	o 925
31.99/32.02	c 19.944 11.0078 580 324498
31.99/32.02	o 895
31.99/32.02	c 19.948 11.0078 595 324548
31.99/32.02	o 888
31.99/32.03	c 19.951 11.0078 609 324620
31.99/32.03	o 849
31.99/32.05	c 19.969 11.0078 674 324791
31.99/32.05	o 836
31.99/32.06	c 19.974 11.0078 704 324895
31.99/32.06	o 802
31.99/32.08	c 19.99 11.0078 759 325049
31.99/32.08	o 780
31.99/32.09	c 19.992 11.0078 787 325133
31.99/32.09	o 779
32.09/32.10	c 20.001 11.0078 819 325257
32.09/32.10	o 770
32.09/32.10	c 20.002 11.0078 827 325314
32.09/32.10	o 752
32.09/32.12	c 20.015 11.0078 875 325394
32.09/32.12	o 746
32.09/32.12	c 20.016 11.0078 890 325437
32.09/32.12	o 734
32.09/32.13	c 20.02 11.0078 906 325493
32.09/32.13	o 718
32.09/32.17	c 20.044 11.0078 1023 325722
32.09/32.17	o 672
32.09/32.18	c 20.054 11.0078 1064 325873
32.09/32.18	o 617
32.09/32.19	c 20.0609 11.0078 580 325952
32.09/32.19	o 616
32.19/32.21	c 20.0669 11.0078 653 326162
32.19/32.21	o 604
32.19/32.22	c 20.0799 11.0078 662 326258
32.19/32.22	o 596
32.19/32.26	c 20.1009 11.0078 770 326500
32.19/32.26	o 583
32.19/32.26	c 20.1019 11.0078 773 326532
32.19/32.26	o 580
32.19/32.26	c 20.1039 11.0078 778 326565
32.19/32.26	o 575
32.19/32.28	c 20.1129 11.0078 845 326741
32.19/32.28	o 539
32.19/32.28	c 20.1139 11.0078 874 326809
32.19/32.28	o 524
32.19/32.29	c 20.1179 11.0078 894 326904
32.19/32.29	o 492
32.30/32.30	c 20.1249 11.0078 948 327038
32.30/32.30	o 485
32.30/32.31	c 20.1259 11.0078 966 327092
32.30/32.31	o 464
32.30/32.32	c 20.1349 11.0078 998 327178
32.30/32.32	o 434
32.30/32.33	c 20.1409 11.0078 1018 327293
32.30/32.33	o 425
32.30/32.33	c 20.1429 11.0078 1037 327345
32.30/32.33	o 419
32.30/32.33	c 20.1469 11.1328 1049 327391
32.30/32.33	o 397
32.30/32.34	c 20.1499 11.1328 1078 327458
32.30/32.34	o 372
32.30/32.35	c 20.1569 11.1328 1125 327700
32.30/32.35	o 195
32.30/32.35	c 20.1579 11.1328 1125 327717
32.30/32.35	o 190
32.30/32.35	c 20.1579 11.1328 1125 327745
32.30/32.35	o 165
32.30/32.35	c 20.1579 11.1328 1127 327793
32.30/32.35	o 124
32.30/32.35	c 20.1589 11.1328 715 327888
32.30/32.35	o 49
32.30/32.35	c 20.1589 11.1328 716 327909
32.30/32.35	o 39
32.30/32.36	c 20.1609 11.1328 759 327988
32.30/32.36	o 12
32.30/32.36	c 20.1609 11.1328 762 328015
32.30/32.36	o 0
32.30/32.36	c 20.1619 11.1328 762 328015
32.30/32.36	s OPTIMUM FOUND
32.30/32.36	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	0

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.59 2.04 4/182 18254
/proc/meminfo: memFree=30156492/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=2136 CPUtime=0
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 21682396 2187264 174 4089446400 134512640 136422188 4289637072 18446744073709551615 135523966 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18254/statm: 534 174 144 467 0 65 0

[startup+0.011088 s]
/proc/loadavg: 2.01 2.59 2.04 4/182 18254
/proc/meminfo: memFree=30156492/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=3312 CPUtime=0
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 21682396 3391488 439 4089446400 134512640 136422188 4289637072 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18254/statm: 828 442 193 467 0 359 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3312

[startup+0.101166 s]
/proc/loadavg: 2.01 2.59 2.04 4/182 18254
/proc/meminfo: memFree=30156492/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=10256 CPUtime=0.09
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2286 0 0 0 6 3 0 0 25 0 1 0 21682396 10502144 2196 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2564 2196 238 467 0 2095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256

[startup+0.301087 s]
/proc/loadavg: 2.01 2.59 2.04 4/182 18254
/proc/meminfo: memFree=30156492/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=10384 CPUtime=0.29
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2334 0 0 0 19 10 0 0 25 0 1 0 21682396 10633216 2242 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2596 2242 238 467 0 2127 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10384

[startup+0.701064 s]
/proc/loadavg: 2.01 2.59 2.04 4/182 18254
/proc/meminfo: memFree=30156492/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=10384 CPUtime=0.69
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2336 0 0 0 45 24 0 0 25 0 1 0 21682396 10633216 2242 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2596 2242 238 467 0 2127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10384

[startup+1.5009 s]
/proc/loadavg: 2.01 2.59 2.04 3/183 18255
/proc/meminfo: memFree=30148448/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=10384 CPUtime=1.49
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2354 0 0 0 96 53 0 0 25 0 1 0 21682396 10633216 2247 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2596 2247 238 467 0 2127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10384

[startup+3.10063 s]
/proc/loadavg: 2.01 2.59 2.04 3/183 18255
/proc/meminfo: memFree=30148076/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=10512 CPUtime=3.09
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2395 0 0 0 194 115 0 0 25 0 1 0 21682396 10764288 2277 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2628 2277 238 467 0 2159 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10512

[startup+6.30102 s]
/proc/loadavg: 2.01 2.58 2.04 3/183 18256
/proc/meminfo: memFree=30148196/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=10636 CPUtime=6.29
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2423 0 0 0 395 234 0 0 25 0 1 0 21682396 10891264 2294 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2659 2294 238 467 0 2190 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10636

[startup+12.7009 s]
/proc/loadavg: 2.01 2.57 2.04 3/183 18283
/proc/meminfo: memFree=30148372/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=10636 CPUtime=12.69
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2466 0 0 0 794 475 0 0 25 0 1 0 21682396 10891264 2320 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2659 2320 238 467 0 2190 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10636

[startup+25.5006 s]
/proc/loadavg: 2.01 2.54 2.04 3/183 18283
/proc/meminfo: memFree=30148860/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=10892 CPUtime=25.49
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2590 0 0 0 1584 965 0 0 25 0 1 0 21682396 11153408 2384 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2723 2384 238 467 0 2254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10892

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

[startup+28.701 s]
/proc/loadavg: 2.00 2.53 2.04 3/183 18283
/proc/meminfo: memFree=30149724/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=11012 CPUtime=28.69
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2631 0 0 0 1781 1088 0 0 25 0 1 0 21682396 11276288 2402 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2753 2402 238 467 0 2284 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 11012

[startup+30.3008 s]
/proc/loadavg: 2.00 2.53 2.04 3/183 18283
/proc/meminfo: memFree=30149600/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=11012 CPUtime=30.29
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2657 0 0 0 1881 1148 0 0 25 0 1 0 21682396 11276288 2414 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2753 2414 238 467 0 2284 0
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (KiB) 11012

[startup+31.1006 s]
/proc/loadavg: 2.00 2.53 2.04 3/183 18283
/proc/meminfo: memFree=30149600/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=11136 CPUtime=31.09
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2699 0 0 0 1933 1176 0 0 25 0 1 0 21682396 11403264 2433 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2784 2433 238 467 0 2315 0
Current children cumulated CPU time (s) 31.09
Current children cumulated vsize (KiB) 11136

[startup+31.9065 s]
/proc/loadavg: 2.00 2.53 2.04 3/183 18283
/proc/meminfo: memFree=30149600/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=11268 CPUtime=31.9
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2755 0 0 0 1986 1204 0 0 25 0 1 0 21682396 11538432 2463 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2817 2463 238 467 0 2348 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 11268

[startup+32.3004 s]
/proc/loadavg: 2.00 2.53 2.04 3/183 18283
/proc/meminfo: memFree=30149600/32951124 swapFree=67111528/67111528
[pid=18254] ppid=18252 vsize=11268 CPUtime=32.3
/proc/18254/stat : 18254 (pbct) R 18252 18254 17268 0 -1 4202496 2808 0 0 0 2012 1218 0 0 25 0 1 0 21682396 11538432 2487 4089446400 134512640 136422188 4289637072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18254/statm: 2817 2487 238 467 0 2348 0
Current children cumulated CPU time (s) 32.3
Current children cumulated vsize (KiB) 11268

Child status: 0
Real time (s): 32.3753
CPU time (s): 32.3751
CPU user time (s): 20.1719
CPU system time (s): 12.2031
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 11268

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

runsolver used 0.06399 second user time and 0.088986 second system time

The end

Launcher Data 

Begin job on node132 at 2010-07-07 22:31:31
IDJOB=2700303
IDBENCH=79416
IDSOLVER=1212
FILE ID=node132/2700303-1278534691
PBS_JOBID= 11239214
Free space on /tmp= 73580 MiB

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

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

MD5SUM BENCH= 9631dbe60bb4b54b94c0583eca7044d2
RANDOM SEED=919299669

node132.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.830
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.66
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.830
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.83
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.830
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.830
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.82
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.830
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.830
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.830
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.830
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:     32951124 kB
MemFree:      30156912 kB
Buffers:        130088 kB
Cached:        2446156 kB
SwapCached:          0 kB
Active:         917484 kB
Inactive:      1732460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30156912 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1988 kB
Writeback:           0 kB
AnonPages:       74476 kB
Mapped:          15516 kB
Slab:            81288 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   216040 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= 73576 MiB
End job on node132 at 2010-07-07 22:32:04