Trace number 2700000

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 42.8555 42.8868

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh207_wcsp.wbo
MD5SUMa376d7f23eea0592d561601b8922f58b
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.702892
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.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/800 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.032994 9.67188 1 1857
0.00/0.03	o 23328
0.00/0.03	c 0.032994 9.90234 1 2019
0.00/0.03	o 23258
0.00/0.04	c 0.032994 9.90234 6 2461
0.00/0.04	o 23019
0.00/0.04	c 0.032994 9.90234 6 3175
0.00/0.04	o 22287
0.00/0.04	c 0.033994 9.90234 7 3557
0.00/0.04	o 22087
0.00/0.04	c 0.033994 9.90234 7 4391
0.00/0.04	o 20880
0.00/0.04	c 0.033994 9.90234 7 4921
0.00/0.04	o 20673
0.00/0.05	c 0.034994 9.90234 8 5323
0.00/0.05	o 20629
0.00/0.05	c 0.034994 9.90234 8 6137
0.00/0.05	o 19723
0.00/0.05	c 0.034994 9.90234 8 6964
0.00/0.05	o 17951
0.00/0.05	c 0.034994 9.90234 8 7793
0.00/0.05	o 16178
0.00/0.05	c 0.035994 9.90234 13 8206
0.00/0.05	o 16149
0.00/0.05	c 0.036994 9.90234 13 8489
0.00/0.05	o 16094
0.00/0.06	c 0.036994 9.90234 13 8695
0.00/0.06	o 16061
0.09/0.13	c 0.05999 10.0273 372 9993
0.09/0.13	o 15825
0.09/0.19	c 0.082987 10.1523 680 11052
0.09/0.19	o 15776
0.09/0.19	c 0.082987 10.1523 366 11380
0.09/0.19	o 15698
0.19/0.20	c 0.086986 10.1523 414 11712
0.19/0.20	o 15590
0.30/0.31	c 0.122981 10.1523 886 12977
0.30/0.31	o 15561
0.30/0.39	c 0.164974 10.1523 330 14779
0.30/0.39	o 15493
0.39/0.40	c 0.168974 10.1523 371 15347
0.39/0.40	o 15117
0.39/0.41	c 0.169974 10.1523 387 15608
0.39/0.41	o 15091
0.39/0.42	c 0.174973 10.1523 476 15980
0.39/0.42	o 14996
0.39/0.45	c 0.183972 10.1523 609 16559
0.39/0.45	o 14972
0.49/0.52	c 0.214967 10.1523 437 18463
0.49/0.52	o 14932
0.49/0.56	c 0.227965 10.1523 618 19256
0.49/0.56	o 14921
0.49/0.56	c 0.228965 10.1523 618 19486
0.49/0.56	o 14841
0.49/0.58	c 0.235964 10.1523 361 20380
0.49/0.58	o 14340
0.49/0.59	c 0.236963 10.1523 364 20765
0.49/0.59	o 14087
0.49/0.59	c 0.237963 10.1523 374 21039
0.49/0.59	o 13941
0.49/0.59	c 0.237963 10.1523 374 21508
0.49/0.59	o 13608
0.49/0.59	c 0.239963 10.1523 374 21865
0.49/0.59	o 13394
0.59/0.60	c 0.239963 10.1523 383 22191
0.59/0.60	o 13255
0.59/0.60	c 0.243962 10.1523 426 22581
0.59/0.60	o 13171
0.59/0.62	c 0.249962 10.1523 530 23175
0.59/0.62	o 13164
0.59/0.62	c 0.250961 10.1523 530 23714
0.59/0.62	o 12836
0.59/0.62	c 0.250961 10.1523 531 24345
0.59/0.62	o 12363
0.59/0.63	c 0.253961 10.1523 541 24856
0.59/0.63	o 11969
0.59/0.64	c 0.254961 10.1523 567 25112
0.59/0.64	o 11905
0.69/0.74	c 0.283956 10.1523 463 26964
0.69/0.74	o 11854
1.10/1.14	c 0.424935 10.2773 680 30898
1.10/1.14	o 11833
1.10/1.16	c 0.429934 10.2773 452 31538
1.10/1.16	o 11648
1.10/1.16	c 0.433934 10.2773 475 31853
1.10/1.16	o 11472
1.19/1.23	c 0.460929 10.2773 627 33451
1.19/1.23	o 11385
1.19/1.25	c 0.463929 10.2773 399 34020
1.19/1.25	o 11342
1.19/1.27	c 0.465929 10.2773 498 34726
1.19/1.27	o 10853
1.29/1.34	c 0.491925 10.2773 444 35742
1.29/1.34	o 10717
1.68/1.74	c 0.619905 10.2773 526 41771
1.68/1.74	o 10651
1.98/2.01	c 0.700893 10.2773 546 45655
1.98/2.01	o 10558
2.38/2.49	c 0.855869 10.2773 564 53197
2.38/2.49	o 10504
2.48/2.52	c 0.867868 10.2773 402 53959
2.48/2.52	o 10378
2.48/2.54	c 0.871867 10.2773 559 54886
2.48/2.54	o 10028
2.48/2.59	c 0.889864 10.2773 499 55670
2.48/2.59	o 9978
2.88/2.90	c 1.00085 10.2773 704 59972
2.88/2.90	o 9925
2.88/2.95	c 1.01484 10.2773 632 60880
2.88/2.95	o 9873
2.97/3.06	c 1.05484 10.2773 417 62756
2.97/3.06	o 9799
3.18/3.26	c 1.13083 10.2773 500 65966
3.18/3.26	o 9768
3.88/3.91	c 1.3268 10.4023 548 75090
3.88/3.91	o 9509
5.87/5.93	c 1.9747 10.4023 788 101467
5.87/5.93	o 9482
5.87/5.94	c 1.9747 10.4023 453 101739
5.87/5.94	o 9475
5.97/6.02	c 2.00469 10.4023 429 102799
5.97/6.02	o 9460
6.47/6.60	c 2.18567 10.5273 464 110575
6.47/6.60	o 9448
6.57/6.65	c 2.20666 10.5273 700 111350
6.57/6.65	o 9309
7.27/7.33	c 2.42963 10.5273 639 119000
7.27/7.33	o 9282
7.27/7.38	c 2.44263 10.5273 548 120031
7.27/7.38	o 9258
7.36/7.49	c 2.48162 10.5273 686 121837
7.36/7.49	o 8903
7.57/7.66	c 2.52962 10.5273 560 124628
7.57/7.66	o 8835
7.57/7.67	c 2.53761 10.5273 683 125165
7.57/7.67	o 8762
7.57/7.69	c 2.54261 10.5273 391 125505
7.57/7.69	o 8664
7.67/7.73	c 2.55961 10.5273 634 126443
7.67/7.73	o 8575
7.76/7.86	c 2.6026 10.5273 521 128266
7.76/7.86	o 8378
8.27/8.30	c 2.75758 10.5273 693 133661
8.27/8.30	o 8279
8.37/8.43	c 2.79257 10.5273 949 135210
8.37/8.43	o 8204
8.77/8.89	c 2.93655 10.5273 558 141698
8.77/8.89	o 8092
8.86/8.90	c 2.94055 10.5273 610 141990
8.86/8.90	o 8061
9.17/9.22	c 3.03654 10.5273 666 146098
9.17/9.22	o 7990
9.46/9.53	c 3.13452 10.5273 656 149517
9.46/9.53	o 7930
10.17/10.27	c 3.35749 10.5273 586 159175
10.17/10.27	o 7726
10.17/10.28	c 3.36049 10.5273 651 159576
10.17/10.28	o 7531
10.36/10.44	c 3.39348 10.5273 652 161952
10.36/10.44	o 7524
10.97/11.00	c 3.57546 10.5273 596 167582
10.97/11.00	o 7480
10.97/11.09	c 3.60045 10.5273 696 168881
10.97/11.09	o 7404
11.17/11.27	c 3.66544 10.5273 733 171180
11.17/11.27	o 7403
11.47/11.56	c 3.76043 10.5273 797 174347
11.47/11.56	o 7392
11.97/12.07	c 3.9244 10.5273 636 180208
11.97/12.07	o 7350
12.36/12.41	c 4.03239 10.5273 691 184145
12.36/12.41	o 7255
12.97/13.08	c 4.23136 10.5273 455 193573
12.97/13.08	o 7222
13.97/14.08	c 4.53231 10.6484 930 203472
13.97/14.08	o 7181
14.87/14.91	c 4.77227 10.6484 554 212971
14.87/14.91	o 7109
14.87/14.92	c 4.77627 10.6484 662 213443
14.87/14.92	o 7064
14.97/15.00	c 4.79627 10.6484 624 214624
14.97/15.00	o 6971
15.16/15.30	c 4.87326 10.6484 573 217801
15.16/15.30	o 6934
15.37/15.48	c 4.93225 10.6484 638 220254
15.37/15.48	o 6928
15.46/15.60	c 4.97024 10.6484 759 221727
15.57/15.60	o 6886
15.57/15.65	c 4.98524 10.6484 566 222458
15.57/15.65	o 6729
15.67/15.77	c 5.02724 10.6484 565 223551
15.67/15.77	o 6661
16.27/16.33	c 5.19321 10.6484 907 229461
16.27/16.33	o 6489
16.56/16.66	c 5.30319 10.6484 805 232365
16.56/16.66	o 6477
16.67/16.75	c 5.33519 10.6484 517 233685
16.67/16.75	o 6355
16.96/17.01	c 5.42518 10.6484 785 236618
16.96/17.01	o 6332
17.47/17.58	c 5.63614 10.6484 602 242849
17.47/17.58	o 6216
18.37/18.45	c 5.9391 10.6484 742 252258
18.37/18.45	o 6089
19.07/19.19	c 6.12007 10.6484 515 259970
19.07/19.19	o 6071
19.36/19.40	c 6.18906 10.6484 502 262054
19.36/19.40	o 5970
19.78/19.80	c 6.31304 10.6484 714 266356
19.78/19.80	o 5939
19.97/20.02	c 6.38603 10.6484 900 268560
19.97/20.02	o 5930
20.27/20.32	c 6.49001 10.6484 628 271035
20.27/20.32	o 5821
20.47/20.57	c 6.558 10.6484 602 273970
20.47/20.57	o 5768
20.57/20.62	c 6.567 10.6484 789 274636
20.57/20.62	o 5726
20.97/21.09	c 6.71298 10.6484 711 279632
20.97/21.09	o 5664
21.07/21.13	c 6.72498 10.6484 511 280103
21.07/21.13	o 5594
21.27/21.37	c 6.79197 10.6484 625 282320
21.27/21.37	o 5528
21.87/21.90	c 6.96794 10.6484 595 287753
21.87/21.90	o 5415
22.47/22.50	c 7.16591 10.6484 804 294095
22.47/22.50	o 5392
22.47/22.55	c 7.17891 10.6484 586 294744
22.47/22.55	o 5297
22.77/22.89	c 7.29389 10.7656 469 298616
22.77/22.89	o 5198
24.27/24.39	c 7.75482 10.7656 423 312788
24.27/24.39	o 5072
24.36/24.43	c 7.76582 10.7656 604 313483
24.36/24.43	o 5041
24.66/24.74	c 7.8548 10.7656 707 317300
24.66/24.74	o 4992
24.76/24.85	c 7.8908 10.7656 731 318641
24.76/24.85	o 4820
24.87/24.90	c 7.9058 10.7656 544 319463
24.87/24.90	o 4554
24.87/24.96	c 7.92479 10.7656 780 320208
24.87/24.96	o 4442
25.18/25.22	c 7.99578 10.7656 612 322614
25.18/25.22	o 4434
26.57/26.62	c 8.39972 10.7656 569 335308
26.57/26.62	o 4405
27.57/27.66	c 8.70268 10.7656 535 344748
27.57/27.66	o 4383
27.77/27.81	c 8.75167 10.7656 688 346086
27.77/27.81	o 4327
29.06/29.19	c 9.2046 10.7656 624 357678
29.06/29.19	o 4252
29.27/29.31	c 9.2336 10.7656 607 358678
29.27/29.31	o 4206
29.36/29.49	c 9.28659 10.7656 586 360704
29.36/29.49	o 4169
30.67/30.75	c 9.65053 10.7656 741 372133
30.67/30.75	o 4127
30.78/30.87	c 9.68653 10.7656 805 373146
30.78/30.87	o 4103
30.97/31.09	c 9.77251 10.7656 596 375695
30.97/31.09	o 4039
31.17/31.28	c 9.8425 10.7656 466 377689
31.17/31.28	o 4011
31.26/31.34	c 9.8625 10.7656 692 378256
31.26/31.34	o 3991
31.97/32.04	c 10.0785 10.7656 881 385042
31.97/32.04	o 3963
31.97/32.05	c 10.0845 10.7656 475 385309
31.97/32.05	o 3822
32.07/32.15	c 10.1205 10.7656 800 386159
32.07/32.15	o 3820
32.16/32.26	c 10.1605 10.7656 415 387385
32.16/32.26	o 3811
32.16/32.29	c 10.1665 10.7656 492 387594
32.16/32.29	o 3805
32.87/32.90	c 10.3494 10.7656 582 392357
32.87/32.90	o 3780
33.27/33.32	c 10.4534 10.7656 651 395629
33.27/33.32	o 3779
34.96/35.05	c 10.9273 10.8906 853 408457
34.96/35.05	o 3723
35.17/35.27	c 10.9883 10.8906 861 410695
35.17/35.27	o 3687
35.87/35.98	c 11.1933 10.8906 725 415848
35.87/35.98	o 3664
36.07/36.11	c 11.2373 10.8906 779 417063
36.07/36.11	o 3654
36.07/36.14	c 11.2443 10.8906 466 417378
36.07/36.14	o 3627
36.86/36.98	c 11.4933 10.8906 904 423348
36.86/36.98	o 3601
37.28/37.31	c 11.5902 10.8906 432 426117
37.28/37.31	o 3584
37.28/37.31	c 11.5922 10.8906 440 426220
37.28/37.31	o 3561
37.57/37.63	c 11.7012 10.8906 693 428945
37.57/37.63	o 3552
38.67/38.72	c 12.0882 10.8906 517 437876
38.67/38.72	o 3474
38.67/38.77	c 12.0992 10.8906 661 438277
38.67/38.77	o 3470
38.97/39.00	c 12.1631 10.8906 777 440613
38.97/39.00	o 3446
38.97/39.03	c 12.1721 10.8906 466 440878
38.97/39.03	o 3392
38.97/39.08	c 12.1921 10.8906 659 441467
38.97/39.08	o 3365
39.17/39.28	c 12.2541 10.8906 863 442786
39.17/39.28	o 3329
39.36/39.46	c 12.3021 10.8906 530 444180
39.36/39.46	o 3320
39.47/39.51	c 12.3081 10.8906 703 444599
39.47/39.51	o 3315
39.57/39.61	c 12.3331 10.8906 635 445824
39.57/39.61	o 2985
39.66/39.71	c 12.3621 10.8906 524 446603
39.66/39.71	o 2889
39.77/39.86	c 12.4001 10.8906 620 447798
39.77/39.86	o 2832
39.77/39.87	c 12.4081 10.8906 669 448067
39.77/39.87	o 2760
39.87/39.91	c 12.4161 10.8906 398 448483
39.87/39.91	o 2751
39.87/39.92	c 12.4171 10.8906 406 448633
39.87/39.92	o 2647
39.96/40.02	c 12.4481 10.8906 694 449403
39.96/40.02	o 2498
39.96/40.07	c 12.4581 10.8906 419 449822
39.96/40.07	o 2437
39.96/40.08	c 12.4631 10.8906 440 449922
39.96/40.08	o 2432
40.06/40.12	c 12.4801 10.8906 533 450160
40.06/40.12	o 2428
40.06/40.19	c 12.4981 10.8906 765 450772
40.06/40.19	o 2382
40.16/40.22	c 12.5041 10.8906 844 451077
40.16/40.22	o 2282
40.26/40.33	c 12.5381 10.8906 770 451998
40.26/40.33	o 2259
40.37/40.43	c 12.5761 10.8906 691 452891
40.37/40.43	o 2218
40.46/40.50	c 12.6011 10.8906 541 453608
40.46/40.50	o 2170
40.46/40.57	c 12.6231 10.8906 740 454101
40.46/40.57	o 2085
40.77/40.83	c 12.7031 10.8906 661 455951
40.77/40.83	o 2047
40.86/40.93	c 12.7301 10.8906 529 456787
40.86/40.93	o 2017
40.86/40.96	c 12.7401 10.8906 612 457177
40.86/40.96	o 1820
40.86/40.97	c 12.7411 10.8906 635 457303
40.86/40.97	o 1782
40.86/40.98	c 12.7471 10.8906 672 457432
40.86/40.98	o 1776
40.97/41.03	c 12.7671 10.8906 810 457817
40.97/41.03	o 1741
40.97/41.03	c 12.7691 10.8906 418 457916
40.97/41.03	o 1725
40.97/41.08	c 12.7791 10.8906 556 458298
40.97/41.08	o 1678
41.07/41.10	c 12.7831 10.8906 585 458387
41.07/41.10	o 1676
41.07/41.12	c 12.7901 10.8906 645 458520
41.07/41.12	o 1664
41.17/41.27	c 12.832 11.0156 704 459781
41.17/41.27	o 1617
41.36/41.43	c 12.891 11.0156 770 460897
41.36/41.43	o 1522
41.46/41.58	c 12.928 11.0156 789 461977
41.46/41.58	o 1463
41.46/41.59	c 12.932 11.0156 415 462089
41.46/41.59	o 1408
41.66/41.72	c 12.976 11.0156 823 462864
41.66/41.72	o 1386
41.77/41.83	c 13.015 11.0156 781 463730
41.77/41.83	o 1298
41.77/41.84	c 13.02 11.0156 803 463856
41.77/41.84	o 1271
41.77/41.89	c 13.037 11.0156 529 464223
41.77/41.89	o 1255
41.96/42.07	c 13.103 11.0156 718 465465
41.96/42.07	o 1224
42.06/42.14	c 13.138 11.0156 537 465947
42.06/42.14	o 1215
42.06/42.18	c 13.154 11.0156 675 466407
42.06/42.18	o 1187
42.17/42.20	c 13.162 11.0156 762 466690
42.17/42.20	o 1097
42.17/42.22	c 13.168 11.0156 824 467062
42.17/42.22	o 959
42.26/42.31	c 13.199 11.0156 700 467707
42.26/42.31	o 948
42.26/42.32	c 13.203 11.0156 728 467841
42.26/42.32	o 883
42.36/42.40	c 13.229 11.0156 551 468478
42.36/42.40	o 837
42.36/42.41	c 13.23 11.0156 563 468556
42.36/42.41	o 804
42.36/42.42	c 13.234 11.0156 589 468641
42.36/42.42	o 794
42.36/42.42	c 13.234 11.0156 600 468693
42.36/42.42	o 767
42.36/42.44	c 13.241 11.0156 691 468881
42.36/42.44	o 738
42.46/42.50	c 13.255 11.0156 896 469586
42.46/42.50	o 626
42.46/42.54	c 13.268 11.0156 1056 469958
42.46/42.54	o 625
42.46/42.55	c 13.27 11.0156 567 470101
42.46/42.55	o 551
42.46/42.58	c 13.279 11.0156 664 470400
42.46/42.58	o 505
42.56/42.61	c 13.29 11.0156 773 470645
42.56/42.61	o 487
42.66/42.73	c 13.339 11.0156 784 471721
42.66/42.73	o 474
42.66/42.76	c 13.346 11.0156 880 471900
42.66/42.76	o 473
42.66/42.76	c 13.348 11.0156 907 471963
42.66/42.76	o 462
42.66/42.78	c 13.356 11.0156 1022 472200
42.66/42.78	o 456
42.66/42.79	c 13.359 11.1406 1045 472286
42.66/42.79	o 426
42.66/42.79	c 13.36 11.1406 1060 472354
42.66/42.79	o 390
42.76/42.80	c 13.371 11.1406 1127 472541
42.76/42.80	o 372
42.76/42.81	c 13.374 11.1406 1146 472599
42.76/42.81	o 367
42.76/42.84	c 13.385 11.1406 1278 472797
42.76/42.84	o 352
42.76/42.84	c 13.391 11.1406 1272 472868
42.76/42.84	o 333
42.76/42.85	c 13.392 11.1406 1285 472996
42.76/42.85	o 226
42.76/42.85	c 13.393 11.1406 1298 473041
42.76/42.85	o 223
42.76/42.85	c 13.395 11.1406 1314 473090
42.76/42.85	o 210
42.76/42.85	c 13.395 11.1406 1326 473127
42.76/42.85	o 196
42.76/42.86	c 13.398 11.1406 1349 473180
42.76/42.86	o 179
42.76/42.86	c 13.401 11.1406 1369 473236
42.76/42.86	o 148
42.76/42.87	c 13.405 11.1406 1398 473296
42.76/42.87	o 141
42.76/42.87	c 13.405 11.1406 1176 473359
42.76/42.87	o 84
42.76/42.87	c 13.406 11.1406 1203 473445
42.76/42.87	o 28
42.76/42.87	c 13.406 11.1406 1205 473480
42.76/42.87	o 10
42.76/42.87	c 13.406 11.1406 1205 473499
42.76/42.87	o 9
42.76/42.87	c 13.406 11.1406 1209 473522
42.76/42.87	o 0
42.76/42.87	c 13.406 11.1406 1209 473522
42.76/42.87	s OPTIMUM FOUND
42.76/42.87	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-2700000-1278533875/watcher-2700000-1278533875 -o /tmp/evaluation-result-2700000-1278533875/solver-2700000-1278533875 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700000-1278533875.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.72 0.70 0.23 5/186 18657
/proc/meminfo: memFree=29845128/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=2136 CPUtime=0
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21601015 2187264 181 4089446400 134512640 136421960 4293730432 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18657/statm: 534 181 144 467 0 65 0

[startup+0.0741649 s]
/proc/loadavg: 2.72 0.70 0.23 5/186 18657
/proc/meminfo: memFree=29845128/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=10136 CPUtime=0.07
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2284 0 0 0 4 3 0 0 25 0 1 0 21601015 10379264 2190 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18657/statm: 2534 2190 237 467 0 2065 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10136

[startup+0.100156 s]
/proc/loadavg: 2.72 0.70 0.23 5/186 18657
/proc/meminfo: memFree=29845128/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=10264 CPUtime=0.09
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2295 0 0 0 4 5 0 0 25 0 1 0 21601015 10510336 2201 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18657/statm: 2566 2201 238 467 0 2097 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10264

[startup+0.302121 s]
/proc/loadavg: 2.72 0.70 0.23 5/186 18657
/proc/meminfo: memFree=29845128/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=10392 CPUtime=0.3
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2337 0 0 0 12 18 0 0 25 0 1 0 21601015 10641408 2239 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18657/statm: 2598 2239 238 467 0 2129 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10392

[startup+0.702206 s]
/proc/loadavg: 2.72 0.70 0.23 5/186 18657
/proc/meminfo: memFree=29845128/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=10392 CPUtime=0.69
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2368 0 0 0 27 42 0 0 25 0 1 0 21601015 10641408 2249 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18657/statm: 2598 2249 238 467 0 2129 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10392

[startup+1.50091 s]
/proc/loadavg: 2.72 0.70 0.23 4/187 18658
/proc/meminfo: memFree=29836688/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=10520 CPUtime=1.48
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2406 0 0 0 54 94 0 0 25 0 1 0 21601015 10772480 2279 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18657/statm: 2630 2279 238 467 0 2161 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10520

[startup+3.10063 s]
/proc/loadavg: 2.90 0.77 0.26 4/187 18658
/proc/meminfo: memFree=29836192/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=10520 CPUtime=3.08
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2420 0 0 0 106 202 0 0 25 0 1 0 21601015 10772480 2284 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/18657/statm: 2630 2284 238 467 0 2161 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10520

[startup+6.30006 s]
/proc/loadavg: 2.90 0.77 0.26 6/187 18658
/proc/meminfo: memFree=29836820/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=10648 CPUtime=6.27
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2459 0 0 0 209 418 0 0 25 0 1 0 21601015 10903552 2318 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18657/statm: 2662 2318 238 467 0 2193 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 10648

[startup+12.7009 s]
/proc/loadavg: 3.07 0.88 0.30 3/187 18658
/proc/meminfo: memFree=29837596/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=10776 CPUtime=12.67
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2518 0 0 0 412 855 0 0 25 0 1 0 21601015 11034624 2352 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18657/statm: 2694 2352 238 467 0 2225 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 10776

[startup+25.5007 s]
/proc/loadavg: 3.76 1.09 0.37 3/187 18658
/proc/meminfo: memFree=29839032/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=11020 CPUtime=25.47
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2605 0 0 0 808 1739 0 0 25 0 1 0 21601015 11284480 2402 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18657/statm: 2755 2402 238 467 0 2286 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 11020

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

[startup+31.9055 s]
/proc/loadavg: 4.10 1.26 0.43 4/187 18659
/proc/meminfo: memFree=29838976/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=11020 CPUtime=31.87
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2627 0 0 0 1003 2184 0 0 25 0 1 0 21601015 11284480 2413 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18657/statm: 2755 2413 238 467 0 2286 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 11020

[startup+38.3004 s]
/proc/loadavg: 4.26 1.33 0.46 4/187 18659
/proc/meminfo: memFree=29838740/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=11148 CPUtime=38.27
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2662 0 0 0 1194 2633 0 0 25 0 1 0 21601015 11415552 2432 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18657/statm: 2787 2432 238 467 0 2318 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 11148

[startup+39.9001 s]
/proc/loadavg: 4.26 1.33 0.46 6/187 18659
/proc/meminfo: memFree=29838768/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=11148 CPUtime=39.87
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2682 0 0 0 1241 2746 0 0 25 0 1 0 21601015 11415552 2440 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18657/statm: 2787 2440 238 467 0 2318 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (KiB) 11148

[startup+41.5008 s]
/proc/loadavg: 4.26 1.33 0.46 8/187 18659
/proc/meminfo: memFree=29838768/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=11276 CPUtime=41.46
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2724 0 0 0 1290 2856 0 0 25 0 1 0 21601015 11546624 2458 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18657/statm: 2819 2458 238 467 0 2350 0
Current children cumulated CPU time (s) 41.46
Current children cumulated vsize (KiB) 11276

[startup+42.3008 s]
/proc/loadavg: 4.26 1.33 0.46 3/187 18666
/proc/meminfo: memFree=29838520/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=11276 CPUtime=42.26
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2758 0 0 0 1319 2907 0 0 25 0 1 0 21601015 11546624 2481 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18657/statm: 2819 2481 238 467 0 2350 0
Current children cumulated CPU time (s) 42.26
Current children cumulated vsize (KiB) 11276

[startup+42.7006 s]
/proc/loadavg: 4.26 1.33 0.46 3/187 18666
/proc/meminfo: memFree=29838520/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=11276 CPUtime=42.66
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2775 0 0 0 1332 2934 0 0 25 0 1 0 21601015 11546624 2486 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18657/statm: 2819 2486 238 467 0 2350 0
Current children cumulated CPU time (s) 42.66
Current children cumulated vsize (KiB) 11276

[startup+42.8006 s]
/proc/loadavg: 4.32 1.39 0.49 3/187 18668
/proc/meminfo: memFree=29838168/32950928 swapFree=67111528/67111528
[pid=18657] ppid=18655 vsize=11404 CPUtime=42.76
/proc/18657/stat : 18657 (pbct) R 18655 18657 17922 0 -1 4202496 2783 0 0 0 1336 2940 0 0 25 0 1 0 21601015 11677696 2488 4089446400 134512640 136421960 4293730432 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18657/statm: 2851 2488 238 467 0 2382 0
Current children cumulated CPU time (s) 42.76
Current children cumulated vsize (KiB) 11404

Child status: 0
Real time (s): 42.8868
CPU time (s): 42.8555
CPU user time (s): 13.415
CPU system time (s): 29.4405
CPU usage (%): 99.927
Max. virtual memory (cumulated for all children) (KiB): 11404

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

runsolver used 0.069989 second user time and 0.156976 second system time

The end

Launcher Data 

Begin job on node120 at 2010-07-07 22:17:55
IDJOB=2700000
IDBENCH=79391
IDSOLVER=1208
FILE ID=node120/2700000-1278533875
PBS_JOBID= 11239238
Free space on /tmp= 73448 MiB

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

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

MD5SUM BENCH= a376d7f23eea0592d561601b8922f58b
RANDOM SEED=515424507

node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29845656 kB
Buffers:        134892 kB
Cached:        2720096 kB
SwapCached:          0 kB
Active:        1606396 kB
Inactive:      1344620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29845656 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14404 kB
Writeback:           0 kB
AnonPages:       97012 kB
Mapped:          19044 kB
Slab:            87000 kB
PageTables:       5060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   309720 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= 73444 MiB
End job on node120 at 2010-07-07 22:18:38