Trace number 2699940

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 35.0147 35.014

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh301_wcsp.wbo
MD5SUM43b9aaaba58886f82a61abd15f4e868b
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.199969
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints1000
Number of soft constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint14
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 27
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/900 units 0
0.00/0.00	c vars 200
0.00/0.04	c 0.037994 10.1836 1 2027
0.00/0.04	o 32979
0.00/0.04	c 0.039993 10.3711 1 2959
0.00/0.04	o 30899
0.00/0.04	c 0.040993 10.3711 1 3153
0.00/0.04	o 30795
0.00/0.04	c 0.041993 10.3711 1 4089
0.00/0.04	o 28359
0.00/0.04	c 0.043993 10.3711 2 4272
0.00/0.04	o 28272
0.00/0.05	c 0.045993 10.3711 2 5203
0.00/0.05	o 18171
0.00/0.05	c 0.051992 10.3711 20 5473
0.00/0.05	o 18133
0.00/0.06	c 0.058991 10.3711 85 5947
0.00/0.06	o 17928
0.09/0.14	c 0.110983 10.4961 586 8047
0.09/0.14	o 17876
0.09/0.15	c 0.115982 10.4961 608 8385
0.09/0.15	o 17708
0.09/0.16	c 0.12698 10.6211 692 9223
0.09/0.16	o 17158
0.09/0.18	c 0.131979 10.6211 451 9829
0.09/0.18	o 17113
0.09/0.19	c 0.136979 10.6211 470 10074
0.09/0.19	o 17102
0.19/0.20	c 0.142978 10.6211 509 10456
0.19/0.20	o 16994
0.19/0.22	c 0.154976 10.6211 597 10805
0.19/0.22	o 16964
0.19/0.27	c 0.182972 10.6211 456 11549
0.19/0.27	o 16889
0.19/0.27	c 0.188971 10.6211 481 11806
0.19/0.27	o 16881
0.19/0.28	c 0.19097 10.6211 481 12757
0.19/0.28	o 14931
0.19/0.28	c 0.19197 10.6211 482 13166
0.19/0.28	o 14838
0.19/0.28	c 0.19297 10.6211 482 13430
0.19/0.28	o 14822
0.19/0.28	c 0.19497 10.6211 482 13723
0.19/0.28	o 14772
0.19/0.28	c 0.19697 10.6211 483 14681
0.19/0.28	o 13843
0.19/0.29	c 0.197969 10.6211 484 14994
0.19/0.29	o 13708
0.19/0.29	c 0.201969 10.6211 499 15513
0.19/0.29	o 13340
0.39/0.40	c 0.276957 10.7461 589 17088
0.39/0.40	o 13199
0.69/0.76	c 0.492925 10.7461 526 22539
0.69/0.76	o 13030
0.69/0.76	c 0.497924 10.7461 536 22808
0.69/0.76	o 12907
0.69/0.77	c 0.499924 10.7461 536 23253
0.69/0.77	o 12647
0.69/0.77	c 0.500923 10.7461 541 23579
0.69/0.77	o 12549
0.69/0.77	c 0.502923 10.7461 542 23984
0.69/0.77	o 12394
0.69/0.77	c 0.502923 10.7461 543 24385
0.69/0.77	o 12192
0.69/0.78	c 0.505923 10.7461 547 24727
0.69/0.78	o 11978
0.79/0.80	c 0.51992 10.7461 630 25237
0.79/0.80	o 11772
0.79/0.83	c 0.543917 10.7461 407 25719
0.79/0.83	o 11767
0.89/0.99	c 0.646901 10.7461 575 28352
0.89/0.99	o 11761
1.19/1.28	c 0.828873 10.7461 738 31338
1.19/1.28	o 11748
1.29/1.39	c 0.891864 10.7461 582 33282
1.29/1.39	o 11734
1.39/1.42	c 0.907861 10.7461 377 33999
1.39/1.42	o 11639
1.39/1.42	c 0.907861 10.7461 380 34205
1.39/1.42	o 11582
1.39/1.50	c 0.960853 10.7461 426 35343
1.39/1.50	o 11542
1.99/2.02	c 1.2878 10.7461 721 42979
1.99/2.02	o 11320
1.99/2.04	c 1.3018 10.7461 458 43493
1.99/2.04	o 11297
1.99/2.07	c 1.3218 10.7461 601 44036
1.99/2.07	o 11270
2.09/2.10	c 1.3398 10.7461 421 44730
2.09/2.10	o 11242
2.09/2.13	c 1.35679 10.7461 554 45379
2.09/2.13	o 11067
2.09/2.15	c 1.36979 10.7461 666 45946
2.09/2.15	o 10997
2.09/2.18	c 1.39179 10.7461 474 46642
2.09/2.18	o 10975
2.20/2.23	c 1.41578 10.7461 680 47317
2.20/2.23	o 10922
2.59/2.61	c 1.65175 10.7461 792 51275
2.59/2.61	o 10900
2.89/2.92	c 1.85672 10.7461 515 56253
2.89/2.92	o 10882
2.99/3.05	c 1.93171 10.8672 593 57880
2.99/3.05	o 10733
5.00/5.01	c 3.14252 10.8672 746 78575
5.00/5.01	o 10657
5.00/5.08	c 3.19251 10.8672 464 80067
5.00/5.08	o 10525
5.29/5.34	c 3.35349 10.8672 717 84043
5.29/5.34	o 10520
5.59/5.62	c 3.51946 10.8672 766 87056
5.59/5.62	o 10515
5.59/5.69	c 3.55246 10.8672 659 88108
5.59/5.69	o 10403
5.69/5.72	c 3.57146 10.8672 421 88643
5.69/5.72	o 10323
6.39/6.47	c 4.02639 10.8672 659 100107
6.39/6.47	o 10257
6.99/7.06	c 4.38933 10.8672 777 106874
6.99/7.06	o 10197
7.19/7.22	c 4.49032 10.8672 712 108937
7.19/7.22	o 10182
7.49/7.59	c 4.72528 10.9922 667 112220
7.49/7.59	o 9999
7.60/7.65	c 4.75928 10.9922 564 113219
7.60/7.65	o 9851
7.80/7.80	c 4.86526 10.9922 587 115959
7.80/7.80	o 9850
7.99/8.07	c 5.02724 10.9922 819 118963
7.99/8.07	o 9686
7.99/8.09	c 5.04123 10.9922 522 119585
7.99/8.09	o 9544
8.40/8.45	c 5.2662 10.9922 727 124392
8.40/8.45	o 9537
8.69/8.77	c 5.46517 10.9922 785 127855
8.69/8.77	o 9393
8.99/9.02	c 5.62214 10.9922 751 130649
8.99/9.02	o 9364
9.50/9.52	c 5.9281 10.9922 517 136817
9.50/9.52	o 9360
9.69/9.78	c 6.10007 10.9922 520 140234
9.69/9.78	o 9333
11.19/11.22	c 7.03993 10.9922 984 153076
11.19/11.22	o 9244
11.39/11.42	c 7.16491 10.9922 699 155716
11.39/11.42	o 9218
11.50/11.57	c 7.2489 10.9922 732 158084
11.50/11.57	o 9206
11.50/11.58	c 7.2549 10.9922 394 158344
11.50/11.58	o 9152
11.79/11.88	c 7.43987 10.9922 525 162165
11.79/11.88	o 8847
12.19/12.21	c 7.64784 10.9922 637 165778
12.19/12.21	o 8838
12.29/12.33	c 7.71483 10.9922 763 167343
12.29/12.33	o 8779
12.39/12.42	c 7.77382 10.9922 704 168235
12.39/12.42	o 8759
12.49/12.50	c 7.82381 10.9922 567 169074
12.49/12.50	o 8718
12.59/12.69	c 7.95879 10.9922 543 171283
12.59/12.69	o 8667
12.79/12.83	c 8.04278 10.9922 665 172727
12.79/12.83	o 8545
12.90/12.96	c 8.11677 10.9922 834 174144
12.90/12.96	o 8493
13.10/13.11	c 8.20775 10.9922 764 175972
13.10/13.11	o 8488
13.89/13.95	c 8.70368 11.1172 763 182597
13.89/13.95	o 8390
14.09/14.15	c 8.82266 11.1172 434 184977
14.09/14.15	o 8179
14.29/14.34	c 8.93864 11.1172 465 187457
14.29/14.34	o 8144
14.29/14.36	c 8.94964 11.1172 584 188143
14.29/14.36	o 7978
14.49/14.59	c 9.09762 11.1172 612 190362
14.49/14.59	o 7963
15.40/15.49	c 9.62954 11.1172 599 199911
15.40/15.49	o 7945
15.99/16.05	c 9.99548 11.1172 691 205928
15.99/16.05	o 7922
16.29/16.30	c 10.1435 11.1172 566 208891
16.29/16.30	o 7850
16.29/16.31	c 10.1495 11.1172 589 209102
16.29/16.31	o 7838
16.40/16.43	c 10.2274 11.1172 566 210215
16.40/16.43	o 7816
17.20/17.21	c 10.7174 11.1172 460 219052
17.20/17.21	o 7801
17.30/17.39	c 10.8214 11.1172 701 221321
17.30/17.39	o 7776
17.59/17.69	c 11.0093 11.1172 490 224952
17.59/17.69	o 7758
17.69/17.70	c 11.0193 11.1172 542 225175
17.69/17.70	o 7696
17.79/17.89	c 11.1493 11.1172 799 227198
17.79/17.89	o 7464
18.70/18.78	c 11.6872 11.2422 620 235910
18.70/18.78	o 7282
19.10/19.12	c 11.8902 11.2422 877 238867
19.10/19.12	o 7261
19.10/19.18	c 11.9372 11.2422 763 239709
19.10/19.18	o 7183
19.29/19.38	c 12.0612 11.2422 469 241940
19.29/19.38	o 7173
19.69/19.77	c 12.3191 11.2422 711 245502
19.69/19.77	o 7033
19.90/19.90	c 12.4031 11.2422 535 247307
19.90/19.90	o 6964
19.99/20.05	c 12.4851 11.2422 675 248822
19.99/20.05	o 6941
20.29/20.33	c 12.6551 11.2422 928 251431
20.29/20.33	o 6934
20.90/20.93	c 13.026 11.2422 580 257430
20.90/20.93	o 6740
20.99/21.00	c 13.075 11.2422 518 258335
20.99/21.00	o 6735
21.09/21.10	c 13.137 11.2422 481 259565
21.09/21.10	o 6648
21.09/21.12	c 13.155 11.2422 577 260053
21.09/21.12	o 6540
21.29/21.30	c 13.267 11.2422 521 262148
21.29/21.30	o 6495
21.29/21.32	c 13.275 11.2422 559 262383
21.29/21.32	o 6453
21.40/21.40	c 13.327 11.2422 823 263115
21.40/21.40	o 6400
21.40/21.41	c 13.33 11.2422 429 263482
21.40/21.41	o 6232
21.40/21.46	c 13.357 11.2422 597 264092
21.40/21.46	o 6197
21.49/21.50	c 13.383 11.2422 761 264738
21.49/21.50	o 6125
21.59/21.65	c 13.476 11.2422 529 266317
21.59/21.65	o 6032
21.69/21.77	c 13.5569 11.2422 640 267995
21.69/21.77	o 5953
21.99/22.08	c 13.7459 11.2422 666 270184
21.99/22.08	o 5935
22.19/22.21	c 13.8309 11.2422 732 271602
22.19/22.21	o 5896
22.39/22.43	c 13.9599 11.2422 681 273620
22.39/22.43	o 5820
22.49/22.55	c 14.0319 11.2422 753 274985
22.49/22.55	o 5757
22.80/22.88	c 14.2588 11.2422 952 277607
22.80/22.88	o 5715
22.99/23.02	c 14.3488 11.2422 548 278872
22.99/23.02	o 5682
22.99/23.07	c 14.3778 11.2422 683 279271
22.99/23.07	o 5681
23.50/23.52	c 14.6658 11.2422 944 282733
23.50/23.52	o 5667
23.50/23.59	c 14.7048 11.2422 715 283427
23.50/23.59	o 5608
23.59/23.68	c 14.7558 11.2422 561 284120
23.59/23.68	o 5598
23.69/23.74	c 14.7918 11.2422 801 284886
23.69/23.74	o 5576
23.90/23.91	c 14.9097 11.2422 642 286912
23.90/23.91	o 5458
25.89/25.92	c 16.1455 11.2422 487 300612
25.89/25.92	o 5396
25.89/25.97	c 16.1685 11.2422 659 301236
25.89/25.97	o 5294
26.00/26.09	c 16.2425 11.2422 570 302304
26.00/26.09	o 5267
26.09/26.14	c 16.2815 11.2422 726 302817
26.09/26.14	o 5189
26.19/26.27	c 16.3555 11.2422 761 304027
26.19/26.27	o 5158
26.70/26.80	c 16.6965 11.3633 534 308363
26.70/26.80	o 5051
26.89/26.91	c 16.7645 11.3633 899 309415
26.89/26.91	o 4881
27.29/27.38	c 17.0644 11.3633 713 312979
27.29/27.38	o 4865
27.39/27.45	c 17.1084 11.3633 536 313636
27.39/27.45	o 4816
27.59/27.61	c 17.2064 11.3633 715 315203
27.59/27.61	o 4770
27.69/27.72	c 17.2714 11.3633 715 316353
27.69/27.72	o 4734
27.69/27.78	c 17.3114 11.3633 501 316930
27.69/27.78	o 4684
27.80/27.83	c 17.3464 11.3633 711 317574
27.80/27.83	o 4576
27.90/27.91	c 17.3874 11.3633 568 318248
27.90/27.91	o 4558
27.90/27.95	c 17.4114 11.3633 730 318707
27.90/27.95	o 4504
28.30/28.39	c 17.6753 11.3633 762 321881
28.30/28.39	o 4481
28.60/28.62	c 17.8133 11.3633 418 324045
28.60/28.62	o 4469
28.79/28.82	c 17.9443 11.3633 659 325675
28.79/28.82	o 4460
28.90/28.96	c 18.0283 11.3633 665 326960
28.90/28.96	o 4410
28.90/28.98	c 18.0423 11.3633 703 327189
28.90/28.98	o 4378
29.00/29.04	c 18.0723 11.3633 451 327662
29.00/29.04	o 4331
29.00/29.06	c 18.0862 11.3633 514 327931
29.00/29.06	o 4244
29.19/29.29	c 18.2242 11.3633 771 329573
29.19/29.29	o 4144
29.39/29.45	c 18.3332 11.3633 532 331226
29.39/29.45	o 4079
29.39/29.47	c 18.3502 11.3633 595 331522
29.39/29.47	o 3981
29.49/29.53	c 18.3832 11.3633 758 331936
29.49/29.53	o 3963
29.70/29.77	c 18.5312 11.3633 668 333623
29.70/29.77	o 3940
29.99/30.04	c 18.6962 11.3633 758 335942
29.99/30.04	o 3938
29.99/30.07	c 18.7202 11.3633 461 336366
29.99/30.07	o 3907
30.19/30.26	c 18.8281 11.3633 628 338043
30.19/30.26	o 3809
30.29/30.34	c 18.8801 11.3633 950 338930
30.29/30.34	o 3723
30.29/30.39	c 18.9041 11.3633 627 339549
30.29/30.39	o 3649
30.39/30.47	c 18.9551 11.3633 911 340208
30.39/30.47	o 3644
30.60/30.62	c 19.0431 11.3633 451 341300
30.60/30.62	o 3630
30.60/30.70	c 19.0891 11.3633 695 341933
30.60/30.70	o 3572
30.89/30.91	c 19.2121 11.3633 853 343477
30.89/30.91	o 3523
30.89/30.94	c 19.2321 11.3633 516 343730
30.89/30.94	o 3447
30.99/31.01	c 19.2751 11.3633 692 344282
30.99/31.01	o 3444
31.30/31.30	c 19.452 11.3633 718 346520
31.30/31.30	o 3373
31.49/31.54	c 19.603 11.3633 636 348465
31.49/31.54	o 3282
31.69/31.77	c 19.747 11.3633 858 349663
31.69/31.77	o 3242
31.79/31.85	c 19.805 11.3633 619 350161
31.79/31.85	o 3164
31.90/31.99	c 19.887 11.3633 605 351192
31.90/31.99	o 3158
31.99/32.07	c 19.942 11.3633 797 351807
31.99/32.07	o 3104
32.09/32.14	c 19.979 11.3633 541 352359
32.09/32.14	o 3033
32.19/32.20	c 20.012 11.3633 738 352780
32.19/32.20	o 3021
32.50/32.56	c 20.2379 11.4883 782 355811
32.50/32.56	o 2929
32.69/32.70	c 20.3159 11.4883 822 357068
32.69/32.70	o 2925
32.69/32.71	c 20.3199 11.625 440 357286
32.69/32.71	o 2879
32.69/32.71	c 20.3249 11.625 465 357419
32.69/32.71	o 2843
32.79/32.82	c 20.3869 11.625 777 358235
32.79/32.82	o 2832
32.79/32.90	c 20.4339 11.625 596 358858
32.79/32.90	o 2813
32.89/32.99	c 20.5009 11.625 878 359566
32.89/32.99	o 2802
33.00/33.05	c 20.5369 11.625 611 360015
33.00/33.05	o 2794
33.09/33.12	c 20.5729 11.625 785 360487
33.09/33.12	o 2793
33.19/33.23	c 20.6399 11.625 600 361206
33.19/33.23	o 2776
33.19/33.25	c 20.6489 11.625 658 361531
33.19/33.25	o 2604
33.29/33.38	c 20.7218 11.625 597 362566
33.29/33.38	o 2565
33.39/33.47	c 20.7838 11.625 856 363281
33.39/33.47	o 2451
33.49/33.52	c 20.8108 11.625 545 363665
33.49/33.52	o 2418
33.49/33.56	c 20.8368 11.625 650 364019
33.49/33.56	o 2374
33.49/33.56	c 20.8408 11.7539 657 364084
33.49/33.56	o 2359
33.49/33.56	c 20.8418 11.7539 658 364130
33.49/33.56	o 2350
33.49/33.57	c 20.8438 11.7539 662 364191
33.49/33.57	o 2344
33.60/33.64	c 20.8868 11.7539 850 364605
33.60/33.64	o 2317
33.60/33.68	c 20.9188 11.7539 540 364986
33.60/33.68	o 2307
33.60/33.69	c 20.9278 11.7539 566 365116
33.60/33.69	o 2245
33.60/33.70	c 20.9318 11.7539 584 365192
33.60/33.70	o 2244
33.69/33.73	c 20.9578 11.7539 659 365393
33.69/33.73	o 2223
33.69/33.77	c 20.9808 11.7539 757 365674
33.69/33.77	o 2133
33.69/33.79	c 20.9958 11.7539 823 365944
33.69/33.79	o 2099
33.89/33.94	c 21.0918 11.7539 737 366985
33.89/33.94	o 1872
34.19/34.24	c 21.2728 11.7539 654 368702
34.19/34.24	o 1848
34.19/34.26	c 21.2838 11.7539 685 368948
34.19/34.26	o 1729
34.19/34.27	c 21.2928 11.7539 723 369089
34.19/34.27	o 1728
34.29/34.30	c 21.3128 11.7539 796 369350
34.29/34.30	o 1724
34.29/34.35	c 21.3428 11.7539 488 369692
34.29/34.35	o 1678
34.39/34.43	c 21.3857 11.7539 678 370189
34.39/34.43	o 1640
34.39/34.44	c 21.3967 11.7539 712 370316
34.39/34.44	o 1607
34.39/34.46	c 21.4047 11.7539 744 370420
34.39/34.46	o 1605
34.50/34.52	c 21.4507 11.7539 485 370852
34.50/34.52	o 1522
34.50/34.56	c 21.4777 11.7539 618 371260
34.50/34.56	o 1512
34.60/34.63	c 21.5127 11.7539 783 371851
34.60/34.63	o 1353
34.60/34.63	c 21.5177 11.7539 799 372008
34.60/34.63	o 1293
34.60/34.66	c 21.5347 11.7539 870 372233
34.60/34.66	o 1220
34.70/34.71	c 21.5767 11.7539 572 372632
34.70/34.71	o 1185
34.70/34.73	c 21.5877 11.7539 625 372770
34.70/34.73	o 1127
34.70/34.76	c 21.6057 11.7539 718 373000
34.70/34.76	o 1108
34.70/34.77	c 21.6097 11.7539 752 373270
34.70/34.77	o 1099
34.70/34.79	c 21.6247 11.7539 823 373456
34.70/34.79	o 1090
34.79/34.80	c 21.6297 11.7539 838 373621
34.79/34.80	o 988
34.79/34.81	c 21.6367 11.7539 885 373721
34.79/34.81	o 964
34.79/34.81	c 21.6397 11.7539 450 373850
34.79/34.81	o 950
34.79/34.82	c 21.6447 11.7539 475 373961
34.79/34.82	o 918
34.79/34.85	c 21.6617 11.7539 527 374144
34.79/34.85	o 877
34.79/34.85	c 21.6677 11.7539 563 374221
34.79/34.85	o 862
34.79/34.87	c 21.6787 11.7539 601 374610
34.79/34.87	o 637
34.79/34.87	c 21.6807 11.7539 590 374664
34.79/34.87	o 616
34.79/34.87	c 21.6827 11.7539 598 374738
34.79/34.87	o 584
34.79/34.90	c 21.7017 11.7539 686 374922
34.79/34.90	o 577
34.89/34.90	c 21.7057 11.7539 527 375006
34.89/34.90	o 524
34.89/34.91	c 21.7097 11.7539 553 375126
34.89/34.91	o 440
34.89/34.93	c 21.7257 11.7539 644 375329
34.89/34.93	o 437
34.89/34.94	c 21.7287 11.7539 673 375430
34.89/34.94	o 404
34.89/34.95	c 21.7357 11.7539 703 375491
34.89/34.95	o 393
34.89/34.97	c 21.7507 11.7539 753 375680
34.89/34.97	o 380
34.89/34.97	c 21.7527 11.7539 757 375709
34.89/34.97	o 371
34.89/34.98	c 21.7627 11.7539 838 375833
34.89/34.98	o 368
34.89/34.99	c 21.7657 11.7539 850 375912
34.89/34.99	o 316
34.89/34.99	c 21.7667 11.7539 850 375953
34.89/34.99	o 284
34.89/34.99	c 21.7667 11.7539 851 375999
34.89/34.99	o 248
34.89/34.99	c 21.7677 11.7539 851 376037
34.89/34.99	o 216
34.89/34.99	c 21.7687 11.7539 852 376086
34.89/34.99	o 169
34.89/34.99	c 21.7687 11.7539 860 376135
34.89/34.99	o 141
34.89/34.99	c 21.7697 11.8906 865 376213
34.89/34.99	o 76
34.89/34.99	c 21.7717 11.8906 877 376244
34.89/34.99	o 75
34.89/34.99	c 21.7717 11.8906 635 376276
34.89/34.99	o 64
34.89/35.00	c 21.7727 11.8906 642 376324
34.89/35.00	o 23
34.99/35.00	c 21.7747 11.8906 651 376353
34.99/35.00	o 12
34.99/35.00	c 21.7767 11.8906 665 376389
34.99/35.00	o 0
34.99/35.00	c 21.7767 11.8906 665 376389
34.99/35.00	s OPTIMUM FOUND
34.99/35.00	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-2699940-1278533858/watcher-2699940-1278533858 -o /tmp/evaluation-result-2699940-1278533858/solver-2699940-1278533858 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699940-1278533858.wbo 

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


[startup+0 s]
/proc/loadavg: 0.69 0.18 0.06 4/178 17278
/proc/meminfo: memFree=30385028/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=2136 CPUtime=0
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 21598329 2187264 176 4089446400 134512640 136421960 4290762144 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17278/statm: 534 180 144 467 0 65 0

[startup+0.078316 s]
/proc/loadavg: 0.69 0.18 0.06 4/178 17278
/proc/meminfo: memFree=30385028/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=10616 CPUtime=0.07
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2406 0 0 0 6 1 0 0 25 0 1 0 21598329 10870784 2318 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2654 2318 237 467 0 2185 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10616

[startup+0.100311 s]
/proc/loadavg: 0.69 0.18 0.06 4/178 17278
/proc/meminfo: memFree=30385028/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=10744 CPUtime=0.09
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2414 0 0 0 8 1 0 0 25 0 1 0 21598329 11001856 2326 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2686 2326 238 467 0 2217 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10744

[startup+0.300275 s]
/proc/loadavg: 0.69 0.18 0.06 4/178 17278
/proc/meminfo: memFree=30385028/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=10872 CPUtime=0.29
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2464 0 0 0 20 9 0 0 25 0 1 0 21598329 11132928 2360 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2718 2360 238 467 0 2249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10872

[startup+0.700205 s]
/proc/loadavg: 0.69 0.18 0.06 4/178 17278
/proc/meminfo: memFree=30385028/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=11000 CPUtime=0.69
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2497 0 0 0 45 24 0 0 25 0 1 0 21598329 11264000 2392 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2750 2392 238 467 0 2281 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11000

[startup+1.50106 s]
/proc/loadavg: 0.69 0.18 0.06 3/179 17279
/proc/meminfo: memFree=30376412/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=11000 CPUtime=1.49
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2518 0 0 0 96 53 0 0 18 0 1 0 21598329 11264000 2398 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2750 2398 238 467 0 2281 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11000

[startup+3.10077 s]
/proc/loadavg: 0.69 0.18 0.06 3/179 17279
/proc/meminfo: memFree=30375420/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=11124 CPUtime=3.09
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2549 0 0 0 195 114 0 0 20 0 1 0 21598329 11390976 2418 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2781 2418 238 467 0 2312 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11124

[startup+6.3002 s]
/proc/loadavg: 0.79 0.21 0.07 3/179 17279
/proc/meminfo: memFree=30373348/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=11124 CPUtime=6.29
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2581 0 0 0 392 237 0 0 25 0 1 0 21598329 11390976 2444 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2781 2444 238 467 0 2312 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11124

[startup+12.701 s]
/proc/loadavg: 0.89 0.24 0.08 3/179 17280
/proc/meminfo: memFree=30369696/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=11252 CPUtime=12.69
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2642 0 0 0 795 474 0 0 25 0 1 0 21598329 11522048 2482 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2813 2482 238 467 0 2344 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11252

[startup+25.5007 s]
/proc/loadavg: 1.14 0.33 0.11 3/179 17280
/proc/meminfo: memFree=30365708/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=11508 CPUtime=25.49
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2759 0 0 0 1586 963 0 0 25 0 1 0 21598329 11784192 2549 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2877 2549 238 467 0 2408 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11508

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

[startup+31.9066 s]
/proc/loadavg: 1.20 0.35 0.12 3/179 17280
/proc/meminfo: memFree=30364832/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=11632 CPUtime=31.9
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2830 0 0 0 1983 1207 0 0 25 0 1 0 21598329 11911168 2578 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2908 2578 238 467 0 2439 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 11632

[startup+33.5003 s]
/proc/loadavg: 1.19 0.37 0.12 2/174 17297
/proc/meminfo: memFree=30426116/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=11900 CPUtime=33.49
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2870 0 0 0 2079 1270 0 0 25 0 1 0 21598329 12185600 2601 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 2975 2601 238 467 0 2506 0
Current children cumulated CPU time (s) 33.49
Current children cumulated vsize (KiB) 11900

[startup+34.3001 s]
/proc/loadavg: 1.19 0.37 0.12 3/179 17307
/proc/meminfo: memFree=30417768/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=12032 CPUtime=34.29
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2920 0 0 0 2130 1299 0 0 25 0 1 0 21598329 12320768 2635 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 3008 2635 238 467 0 2539 0
Current children cumulated CPU time (s) 34.29
Current children cumulated vsize (KiB) 12032

[startup+34.7011 s]
/proc/loadavg: 1.19 0.37 0.12 3/179 17307
/proc/meminfo: memFree=30417768/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=12032 CPUtime=34.7
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2930 0 0 0 2156 1314 0 0 25 0 1 0 21598329 12320768 2635 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 3008 2635 238 467 0 2539 0
Current children cumulated CPU time (s) 34.7
Current children cumulated vsize (KiB) 12032

[startup+34.901 s]
/proc/loadavg: 1.19 0.37 0.12 3/179 17307
/proc/meminfo: memFree=30417768/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=12032 CPUtime=34.89
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2945 0 0 0 2170 1319 0 0 25 0 1 0 21598329 12320768 2635 4089446400 134512640 136421960 4290762144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 3008 2635 238 467 0 2539 0
Current children cumulated CPU time (s) 34.89
Current children cumulated vsize (KiB) 12032

[startup+35.001 s]
/proc/loadavg: 1.19 0.37 0.12 3/179 17307
/proc/meminfo: memFree=30417768/32951124 swapFree=67111528/67111528
[pid=17278] ppid=17276 vsize=12172 CPUtime=34.99
/proc/17278/stat : 17278 (pbct) R 17276 17278 16901 0 -1 4202496 2967 0 0 0 2177 1322 0 0 25 0 1 0 21598329 12464128 2639 4089446400 134512640 136421960 4290762144 18446744073709551615 135873790 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17278/statm: 3043 2639 238 467 0 2574 0
Current children cumulated CPU time (s) 34.99
Current children cumulated vsize (KiB) 12172

Child status: 0
Real time (s): 35.014
CPU time (s): 35.0147
CPU user time (s): 21.7857
CPU system time (s): 13.229
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 12172

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

runsolver used 0.06199 second user time and 0.112982 second system time

The end

Launcher Data 

Begin job on node137 at 2010-07-07 22:17:38
IDJOB=2699940
IDBENCH=79386
IDSOLVER=1208
FILE ID=node137/2699940-1278533858
PBS_JOBID= 11239203
Free space on /tmp= 73604 MiB

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

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

MD5SUM BENCH= 43b9aaaba58886f82a61abd15f4e868b
RANDOM SEED=579044125

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30385548 kB
Buffers:        134800 kB
Cached:        2180460 kB
SwapCached:          0 kB
Active:        1166948 kB
Inactive:      1258232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30385548 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2112 kB
Writeback:           0 kB
AnonPages:      109888 kB
Mapped:          16836 kB
Slab:            78176 kB
PageTables:       4764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   250384 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= 73604 MiB
End job on node137 at 2010-07-07 22:18:13