Trace number 2700327

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 122.513 122.511

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/850 units 0
0.00/0.00	c vars 200
0.02/0.04	c 0.036994 9.95312 1 1940
0.02/0.04	o 32126
0.02/0.04	c 0.036994 10.1133 1 2831
0.02/0.04	o 30760
0.02/0.04	c 0.037994 10.1133 2 3477
0.02/0.04	o 30103
0.02/0.04	c 0.038994 10.1133 2 4363
0.02/0.04	o 21030
0.02/0.04	c 0.039993 10.1133 2 4642
0.02/0.04	o 20960
0.02/0.05	c 0.040993 10.1133 5 5252
0.02/0.05	o 20456
0.02/0.05	c 0.041993 10.1133 5 6148
0.02/0.05	o 10499
0.02/0.05	c 0.041993 10.1133 5 6591
0.02/0.05	o 10396
0.02/0.05	c 0.045993 10.1133 30 7254
0.02/0.05	o 10024
1.79/1.86	c 1.17982 10.3633 702 29266
1.79/1.86	o 9978
3.89/3.93	c 2.49562 10.4883 731 50175
3.89/3.93	o 9963
4.29/4.31	c 2.71959 10.4883 507 55109
4.29/4.31	o 9879
4.39/4.46	c 2.81857 10.4883 492 57389
4.39/4.46	o 9708
6.09/6.14	c 3.88141 10.4883 723 74686
6.09/6.14	o 9653
10.49/10.59	c 6.582 10.4883 570 111129
10.49/10.59	o 9501
12.19/12.24	c 7.58685 10.6133 650 127390
12.19/12.24	o 9441
12.39/12.44	c 7.71483 10.6133 716 129724
12.39/12.44	o 9421
13.99/14.08	c 8.73667 10.6133 543 145202
13.99/14.08	o 9410
15.09/15.16	c 9.39457 10.6133 689 157239
15.09/15.16	o 9397
15.19/15.27	c 9.46056 10.6133 499 158725
15.19/15.27	o 9270
16.09/16.14	c 10.0195 10.6133 511 168157
16.09/16.14	o 9238
16.29/16.36	c 10.1485 10.6133 838 171071
16.29/16.36	o 9106
16.99/17.08	c 10.6174 10.6133 787 178767
16.99/17.08	o 9058
22.09/22.11	c 13.7319 10.7383 506 227597
22.09/22.11	o 9008
22.39/22.46	c 13.9429 10.7383 787 231074
22.39/22.46	o 8783
24.79/24.81	c 15.4566 10.7383 748 257195
24.79/24.81	o 8761
27.19/27.25	c 16.9894 10.7383 733 282020
27.19/27.25	o 8743
28.89/29.00	c 18.0723 10.7383 466 296570
28.89/29.00	o 8716
29.09/29.17	c 18.1832 10.7383 523 298732
29.09/29.17	o 8625
30.99/31.01	c 19.3461 10.7383 692 318104
30.99/31.01	o 8593
31.49/31.55	c 19.672 10.7383 620 323791
31.49/31.55	o 8467
31.59/31.66	c 19.732 10.7383 467 325264
31.59/31.66	o 8433
31.89/31.93	c 19.908 10.7383 861 328032
31.89/31.93	o 8426
32.09/32.17	c 20.06 10.7383 733 329706
32.09/32.17	o 8389
32.29/32.39	c 20.1789 10.7383 503 332213
32.29/32.39	o 8335
33.09/33.11	c 20.6379 10.7383 469 340001
33.09/33.11	o 8174
33.29/33.32	c 20.7628 10.7383 561 342039
33.29/33.32	o 8148
33.59/33.63	c 20.9618 10.7383 693 344589
33.59/33.63	o 8098
35.59/35.62	c 22.1646 10.7383 594 363807
35.59/35.62	o 8071
35.89/35.90	c 22.3256 10.7383 696 365922
35.89/35.90	o 8057
35.89/35.99	c 22.3816 10.7383 698 367000
35.89/35.99	o 7998
36.59/36.64	c 22.7755 10.7383 903 372819
36.59/36.64	o 7899
37.09/37.13	c 23.0785 10.7383 562 378577
37.09/37.13	o 7840
38.29/38.32	c 23.8054 10.8594 806 389686
38.29/38.32	o 7788
39.19/39.29	c 24.4193 10.8594 602 399963
39.19/39.29	o 7562
39.39/39.45	c 24.5173 10.8594 451 401562
39.39/39.45	o 7548
42.59/42.63	c 26.514 10.8594 515 432035
42.59/42.63	o 7546
46.19/46.21	c 28.7116 10.8594 897 458764
46.19/46.21	o 7494
46.70/46.77	c 29.0296 10.8594 743 464625
46.70/46.77	o 7430
47.59/47.67	c 29.5795 10.8594 589 472936
47.59/47.67	o 7419
47.89/47.94	c 29.7345 10.8594 677 474738
47.89/47.94	o 7398
55.80/55.88	c 34.6927 10.8594 549 543385
55.80/55.88	o 7363
55.99/56.00	c 34.7697 10.8594 597 544583
55.99/56.00	o 7362
61.30/61.32	c 38.1172 10.8594 743 593600
61.30/61.32	o 7234
61.30/61.37	c 38.1412 10.8594 566 594215
61.30/61.37	o 7202
62.20/62.24	c 38.6941 10.8594 677 602753
62.20/62.24	o 7146
65.49/65.52	c 40.6928 10.9844 719 630904
65.49/65.52	o 6891
66.09/66.10	c 41.0448 10.9844 558 636418
66.09/66.10	o 6871
66.49/66.51	c 41.3017 10.9844 776 640547
66.49/66.51	o 6773
67.00/67.00	c 41.6077 10.9844 487 644236
67.00/67.00	o 6764
67.00/67.04	c 41.6377 10.9844 672 644886
67.00/67.04	o 6748
68.09/68.15	c 42.3176 10.9844 582 653878
68.09/68.15	o 6666
68.99/69.01	c 42.8305 10.9844 593 660364
68.99/69.01	o 6655
71.09/71.18	c 44.1623 10.9844 600 676843
71.09/71.18	o 6617
71.79/71.83	c 44.5682 10.9844 561 683140
71.79/71.83	o 6530
71.99/72.01	c 44.6862 10.9844 467 684987
71.99/72.01	o 6471
71.99/72.08	c 44.7252 10.9844 726 685804
71.99/72.08	o 6468
76.19/76.27	c 47.3428 10.9844 836 714733
76.19/76.27	o 6459
76.49/76.51	c 47.4928 10.9844 727 718000
76.49/76.51	o 6220
76.99/77.02	c 47.8127 10.9844 752 722934
76.99/77.02	o 6192
77.59/77.64	c 48.1687 10.9844 453 729048
77.59/77.64	o 6167
77.59/77.68	c 48.1857 10.9844 591 729517
77.59/77.68	o 6151
77.79/77.86	c 48.3007 10.9844 842 730914
77.79/77.86	o 6130
78.40/78.47	c 48.6826 10.9844 525 735995
78.40/78.47	o 6099
78.59/78.62	c 48.7706 10.9844 772 737534
78.59/78.62	o 6014
78.59/78.66	c 48.8026 10.9844 550 738114
78.59/78.66	o 5970
79.10/79.14	c 49.0975 10.9844 516 742948
79.10/79.14	o 5920
79.20/79.20	c 49.1315 10.9844 725 743470
79.20/79.20	o 5891
79.59/79.67	c 49.3965 10.9844 715 747648
79.59/79.67	o 5729
79.89/79.90	c 49.5475 10.9844 465 749552
79.89/79.90	o 5686
80.89/80.96	c 50.1984 10.9844 598 757783
80.89/80.96	o 5651
81.90/81.95	c 50.8033 10.9844 512 765768
81.90/81.95	o 5601
82.69/82.78	c 51.2902 10.9844 847 772114
82.69/82.78	o 5521
83.20/83.28	c 51.6042 10.9844 539 775091
83.20/83.28	o 5414
84.99/85.07	c 52.758 10.9844 631 787861
84.99/85.07	o 5407
85.79/85.85	c 53.2419 10.9844 708 793124
85.79/85.85	o 5323
90.20/90.28	c 55.9685 11.1094 692 824069
90.20/90.28	o 5279
90.49/90.54	c 56.1335 11.1094 853 826563
90.49/90.54	o 5232
90.59/90.60	c 56.1725 11.1094 651 827396
90.59/90.60	o 5148
91.20/91.21	c 56.5494 11.1094 806 832616
91.20/91.21	o 5129
92.60/92.64	c 57.4123 11.1094 584 842330
92.60/92.64	o 5119
93.79/93.85	c 58.1482 11.1094 757 849359
93.79/93.85	o 5090
95.80/95.81	c 59.361 11.1094 711 863877
95.80/95.81	o 4945
95.80/95.83	c 59.375 11.1094 408 864037
95.80/95.83	o 4943
95.99/96.06	c 59.518 11.1094 722 866010
95.99/96.06	o 4888
97.50/97.53	c 60.4468 11.1094 907 877030
97.50/97.53	o 4878
97.50/97.59	c 60.4878 11.1094 665 877630
97.50/97.59	o 4859
97.69/97.77	c 60.6058 11.1094 465 879137
97.69/97.77	o 4824
98.60/98.69	c 61.1677 11.1094 771 885899
98.60/98.69	o 4757
99.19/99.27	c 61.5296 11.1094 489 889952
99.19/99.27	o 4593
100.20/100.22	c 62.0916 11.1094 730 898105
100.20/100.22	o 4582
100.39/100.40	c 62.2095 11.1094 496 899582
100.39/100.40	o 4502
100.49/100.59	c 62.3455 11.1094 759 901266
100.49/100.59	o 4490
100.70/100.76	c 62.4595 11.1094 867 902539
100.70/100.76	o 4486
101.49/101.59	c 62.9704 11.1094 813 907710
101.49/101.59	o 4460
101.99/102.03	c 63.2354 11.1094 895 910468
101.99/102.03	o 4441
102.20/102.27	c 63.3934 11.1094 816 912605
102.20/102.27	o 4387
103.30/103.34	c 64.0603 11.1094 566 919882
103.30/103.34	o 4369
103.30/103.39	c 64.0943 11.1094 736 920385
103.30/103.39	o 4333
103.89/103.93	c 64.4132 11.1094 472 924381
103.89/103.93	o 4195
104.29/104.31	c 64.6242 11.1094 730 926805
104.29/104.31	o 4149
104.29/104.39	c 64.6712 11.1094 643 927634
104.29/104.39	o 4067
104.89/104.98	c 65.0181 11.1094 481 931768
104.89/104.98	o 4025
105.60/105.63	c 65.4181 11.1094 747 936104
105.60/105.63	o 3986
105.69/105.74	c 65.478 11.1094 670 936927
105.69/105.74	o 3940
105.69/105.78	c 65.504 11.1094 411 937466
105.69/105.78	o 3865
105.80/105.86	c 65.549 11.1094 669 938133
105.80/105.86	o 3864
106.09/106.16	c 65.743 11.1094 765 940590
106.09/106.16	o 3836
107.49/107.51	c 66.5609 11.1094 741 949574
107.49/107.51	o 3780
107.70/107.72	c 66.6949 11.1094 520 950846
107.70/107.72	o 3728
108.19/108.22	c 67.0008 11.1094 774 954255
108.19/108.22	o 3682
108.19/108.25	c 67.0218 11.1094 514 954728
108.19/108.25	o 3629
108.60/108.68	c 67.2658 11.1094 766 956893
108.60/108.68	o 3595
109.70/109.73	c 67.9097 11.1094 712 963760
109.70/109.73	o 3575
110.29/110.30	c 68.2546 11.2305 644 967153
110.29/110.30	o 3480
110.39/110.49	c 68.3786 11.2305 789 968262
110.39/110.49	o 3441
110.59/110.63	c 68.4716 11.2305 481 969572
110.59/110.63	o 3381
111.39/111.43	c 68.9645 11.2305 824 975224
111.39/111.43	o 3289
111.79/111.85	c 69.2245 11.2305 734 978106
111.79/111.85	o 3202
111.99/112.07	c 69.3665 11.2305 560 979648
111.99/112.07	o 3175
112.10/112.17	c 69.4214 11.2305 829 980252
112.10/112.17	o 3166
112.29/112.32	c 69.5004 11.2305 861 981441
112.29/112.32	o 3133
112.50/112.52	c 69.6304 11.2305 617 982875
112.50/112.52	o 3131
112.59/112.67	c 69.7224 11.2305 673 983979
112.59/112.67	o 3101
112.80/112.83	c 69.8104 11.2305 716 985079
112.80/112.83	o 2942
112.80/112.87	c 69.8374 11.2305 452 985529
112.80/112.87	o 2911
113.20/113.23	c 70.0593 11.2305 502 987660
113.20/113.23	o 2838
113.79/113.88	c 70.4603 11.2305 744 991956
113.79/113.88	o 2788
114.80/114.82	c 71.0412 11.2305 600 996563
114.80/114.82	o 2722
115.50/115.56	c 71.5061 11.2305 588 1001531
115.50/115.56	o 2720
115.59/115.62	c 71.5411 11.2305 712 1002022
115.59/115.62	o 2574
115.69/115.80	c 71.6481 11.2305 783 1003245
115.69/115.80	o 2431
116.00/116.02	c 71.7901 11.2305 598 1004791
116.00/116.02	o 2389
116.10/116.19	c 71.8981 11.2305 675 1006087
116.10/116.19	o 2362
116.79/116.83	c 72.316 11.2305 841 1009739
116.79/116.83	o 2316
117.19/117.21	c 72.556 11.2305 684 1012304
117.19/117.21	o 2242
118.19/118.25	c 73.2249 11.2305 696 1018391
118.19/118.25	o 2229
118.19/118.27	c 73.2359 11.2305 749 1018582
118.19/118.27	o 2195
118.19/118.29	c 73.2429 11.2305 784 1018748
118.19/118.29	o 2151
118.29/118.36	c 73.2909 11.2305 569 1019196
118.29/118.36	o 2094
119.09/119.11	c 73.7648 11.2305 471 1023349
119.09/119.11	o 2075
119.20/119.22	c 73.8348 11.2305 797 1024157
119.20/119.22	o 2060
119.20/119.24	c 73.8498 11.2305 450 1024331
119.20/119.24	o 1997
119.20/119.26	c 73.8638 11.2305 507 1024512
119.20/119.26	o 1985
119.39/119.47	c 73.9888 11.2305 653 1025875
119.39/119.47	o 1871
119.69/119.72	c 74.1497 11.2305 493 1027741
119.69/119.72	o 1825
119.69/119.75	c 74.1647 11.2305 573 1027973
119.69/119.75	o 1823
119.69/119.79	c 74.1937 11.2305 707 1028319
119.69/119.79	o 1819
119.90/119.92	c 74.2707 11.2305 652 1029198
119.90/119.92	o 1777
119.99/120.01	c 74.3267 11.2305 464 1029670
119.99/120.01	o 1748
120.09/120.17	c 74.4397 11.3555 466 1030624
120.09/120.17	o 1709
120.19/120.24	c 74.4767 11.3555 655 1031110
120.19/120.24	o 1707
120.19/120.27	c 74.4997 11.3555 742 1031351
120.19/120.27	o 1677
120.39/120.47	c 74.6367 11.3555 810 1032441
120.39/120.47	o 1672
120.50/120.59	c 74.7036 11.3555 725 1033381
120.50/120.59	o 1622
120.70/120.74	c 74.7936 11.3555 707 1034183
120.70/120.74	o 1616
121.09/121.13	c 75.0276 11.3555 530 1036506
121.09/121.13	o 1608
121.19/121.22	c 75.0886 11.3555 766 1037001
121.19/121.22	o 1599
121.19/121.29	c 75.1366 11.3555 491 1037414
121.19/121.29	o 1579
121.30/121.32	c 75.1566 11.3555 571 1037714
121.30/121.32	o 1500
121.30/121.33	c 75.1666 11.3555 613 1037944
121.30/121.33	o 1427
121.40/121.42	c 75.2226 11.3555 482 1038534
121.40/121.42	o 1357
121.49/121.52	c 75.2926 11.3555 726 1039058
121.49/121.52	o 1350
121.49/121.56	c 75.3225 11.3555 449 1039431
121.49/121.56	o 1320
121.59/121.61	c 75.3565 11.3555 591 1039832
121.59/121.61	o 1287
121.69/121.74	c 75.4325 11.3555 522 1040656
121.69/121.74	o 1225
121.69/121.79	c 75.4665 11.3555 666 1041081
121.69/121.79	o 1165
121.79/121.83	c 75.4905 11.3555 779 1041334
121.79/121.83	o 1160
121.79/121.89	c 75.5245 11.3555 487 1041737
121.79/121.89	o 1040
121.89/121.99	c 75.5805 11.3555 725 1042343
121.89/121.99	o 948
122.00/122.02	c 75.6035 11.3555 821 1042592
122.00/122.02	o 878
122.00/122.05	c 75.6275 11.3555 504 1042789
122.00/122.05	o 864
122.00/122.07	c 75.6425 11.3555 581 1042956
122.00/122.07	o 845
122.00/122.09	c 75.6545 11.3555 650 1043181
122.00/122.09	o 776
122.10/122.17	c 75.7115 11.3555 911 1043844
122.10/122.17	o 773
122.10/122.18	c 75.7135 11.3555 922 1043884
122.10/122.18	o 765
122.19/122.22	c 75.7385 11.3555 562 1044172
122.19/122.22	o 728
122.19/122.29	c 75.7845 11.3555 797 1044698
122.19/122.29	o 689
122.29/122.32	c 75.8035 11.3555 896 1044930
122.29/122.32	o 675
122.29/122.32	c 75.8065 11.3555 904 1044983
122.29/122.32	o 631
122.29/122.33	c 75.8115 11.3555 917 1045044
122.29/122.33	o 618
122.29/122.35	c 75.8225 11.3555 978 1045183
122.29/122.35	o 594
122.29/122.36	c 75.8295 11.3555 975 1045262
122.29/122.36	o 579
122.29/122.37	c 75.8375 11.3555 1038 1045374
122.29/122.37	o 572
122.29/122.38	c 75.8415 11.3555 1067 1045475
122.29/122.38	o 553
122.39/122.41	c 75.8565 11.3555 1154 1045641
122.39/122.41	o 541
122.39/122.41	c 75.8595 11.4805 1178 1045712
122.39/122.41	o 528
122.39/122.44	c 75.8815 11.4805 659 1045925
122.39/122.44	o 527
122.39/122.45	c 75.8915 11.4805 716 1046028
122.39/122.45	o 525
122.39/122.46	c 75.8935 11.4805 743 1046094
122.39/122.46	o 506
122.39/122.46	c 75.8955 11.4805 745 1046142
122.39/122.46	o 463
122.39/122.46	c 75.8965 11.4805 745 1046170
122.39/122.46	o 440
122.39/122.47	c 75.8965 11.4805 745 1046216
122.39/122.47	o 384
122.39/122.47	c 75.8975 11.4805 745 1046239
122.39/122.47	o 361
122.39/122.47	c 75.8995 11.4805 767 1046345
122.39/122.47	o 286
122.39/122.49	c 75.9145 11.4805 861 1046494
122.39/122.49	o 263
122.39/122.49	c 75.9145 11.4805 759 1046559
122.39/122.49	o 184
122.39/122.49	c 75.9155 11.4805 762 1046578
122.39/122.49	o 176
122.39/122.49	c 75.9185 11.4805 776 1046657
122.39/122.49	o 97
122.39/122.49	c 75.9195 11.4805 780 1046673
122.39/122.49	o 85
122.39/122.50	c 75.9205 11.4805 782 1046675
122.39/122.50	s OPTIMUM FOUND
122.39/122.50	v -x1 x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 -x13 x14 -x15 x16 -x17 x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 -x35 x36 x37 -x38 x39 -x40 -x41 x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 -x53 x54 x55 -x56 x57 -x58 x59 -x60 -x61 x62 -x63 x64 x65 -x66 -x67 x68 x69 -x70 x71 -x72 -x73 x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 -x85 x86 -x87 x88 -x89 x90 -x91 x92 -x93 x94 -x95 x96 x97 -x98 -x99 x100 -x101 x102 -x103 x104 x105 -x106 -x107 x108 x109 -x110 -x111 x112 x113 -x114 x115 -x116 -x117 x118 -x119 x120 x121 -x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130 x131 -x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 x141 -x142 -x143 x144 -x145 x146 -x147 x148 x149 -x150 x151 -x152 -x153 x154 -x155 x156 -x157 x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 -x169 x170 x171 -x172 x173 -x174 -x175 x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200

Verifier Data 

OK	85

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700327-1278534767/watcher-2700327-1278534767 -o /tmp/evaluation-result-2700327-1278534767/solver-2700327-1278534767 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700327-1278534767.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.04 2.79 2.17 4/178 18050
/proc/meminfo: memFree=28816712/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=2136 CPUtime=0
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 21691798 2187264 175 4089446400 134512640 136422188 4292426832 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18050/statm: 534 175 144 467 0 65 0

[startup+0.030154 s]
/proc/loadavg: 2.04 2.79 2.17 4/178 18050
/proc/meminfo: memFree=28816712/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=8228 CPUtime=0.02
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 1768 0 0 0 2 0 0 0 25 0 1 0 21691798 8425472 1687 4089446400 134512640 136422188 4292426832 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18050/statm: 2057 1691 193 467 0 1588 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8228

[startup+0.101106 s]
/proc/loadavg: 2.04 2.79 2.17 4/178 18050
/proc/meminfo: memFree=28816712/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=10480 CPUtime=0.09
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2347 0 0 0 7 2 0 0 25 0 1 0 21691798 10731520 2257 4089446400 134512640 136422188 4292426832 18446744073709551615 135005970 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18050/statm: 2620 2257 238 467 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10480

[startup+0.301056 s]
/proc/loadavg: 2.04 2.79 2.17 4/178 18050
/proc/meminfo: memFree=28816712/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=10480 CPUtime=0.29
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2370 0 0 0 19 10 0 0 25 0 1 0 21691798 10731520 2280 4089446400 134512640 136422188 4292426832 18446744073709551615 134865440 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18050/statm: 2620 2280 238 467 0 2151 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10480

[startup+0.700982 s]
/proc/loadavg: 2.04 2.79 2.17 4/178 18050
/proc/meminfo: memFree=28816712/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=10608 CPUtime=0.69
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2386 0 0 0 45 24 0 0 25 0 1 0 21691798 10862592 2296 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18050/statm: 2652 2296 238 467 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50091 s]
/proc/loadavg: 2.04 2.78 2.16 3/179 18051
/proc/meminfo: memFree=28807280/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=10608 CPUtime=1.49
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2399 0 0 0 94 55 0 0 25 0 1 0 21691798 10862592 2309 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2652 2309 238 467 0 2183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10608

[startup+3.10061 s]
/proc/loadavg: 2.04 2.78 2.16 3/179 18051
/proc/meminfo: memFree=28806784/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=10736 CPUtime=3.08
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2417 0 0 0 196 112 0 0 25 0 1 0 21691798 10993664 2326 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2684 2326 238 467 0 2215 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10736

[startup+6.301 s]
/proc/loadavg: 2.04 2.78 2.16 3/179 18051
/proc/meminfo: memFree=28802708/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=10736 CPUtime=6.29
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2425 0 0 0 398 231 0 0 25 0 1 0 21691798 10993664 2330 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2684 2330 238 467 0 2215 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10736

[startup+12.7008 s]
/proc/loadavg: 2.03 2.75 2.16 3/179 18051
/proc/meminfo: memFree=28794900/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=10864 CPUtime=12.69
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2454 0 0 0 786 483 0 0 25 0 1 0 21691798 11124736 2356 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2716 2356 238 467 0 2247 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10864

[startup+25.5004 s]
/proc/loadavg: 2.02 2.73 2.16 3/179 18051
/proc/meminfo: memFree=28775696/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=10992 CPUtime=25.49
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2491 0 0 0 1588 961 0 0 25 0 1 0 21691798 11255808 2384 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2748 2384 238 467 0 2279 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10992

[startup+51.1005 s]
/proc/loadavg: 2.02 2.67 2.16 3/179 18051
/proc/meminfo: memFree=28744092/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=11116 CPUtime=51.09
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2564 0 0 0 3170 1939 0 0 25 0 1 0 21691798 11382784 2432 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2779 2432 238 467 0 2310 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11116

[startup+102.306 s]
/proc/loadavg: 2.00 2.55 2.15 3/179 18053
/proc/meminfo: memFree=28680652/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=11372 CPUtime=102.3
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2687 0 0 0 6341 3889 0 0 25 0 1 0 21691798 11644928 2499 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2843 2499 238 467 0 2374 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11372

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

[startup+115.1 s]
/proc/loadavg: 2.00 2.53 2.14 3/179 18053
/proc/meminfo: memFree=28664020/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=11496 CPUtime=115.09
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2752 0 0 0 7120 4389 0 0 25 0 1 0 21691798 11771904 2532 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2874 2532 238 467 0 2405 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 11496

[startup+118.301 s]
/proc/loadavg: 2.00 2.52 2.14 3/179 18053
/proc/meminfo: memFree=28659308/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=11496 CPUtime=118.29
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2772 0 0 0 7324 4505 0 0 25 0 1 0 21691798 11771904 2542 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2874 2542 238 467 0 2405 0
Current children cumulated CPU time (s) 118.29
Current children cumulated vsize (KiB) 11496

[startup+119.906 s]
/proc/loadavg: 2.00 2.52 2.14 3/179 18053
/proc/meminfo: memFree=28654216/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=11496 CPUtime=119.9
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2781 0 0 0 7426 4564 0 0 25 0 1 0 21691798 11771904 2542 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2874 2542 238 467 0 2405 0
Current children cumulated CPU time (s) 119.9
Current children cumulated vsize (KiB) 11496

[startup+121.5 s]
/proc/loadavg: 2.00 2.52 2.14 3/179 18053
/proc/meminfo: memFree=28653720/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=11624 CPUtime=121.49
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2809 0 0 0 7527 4622 0 0 25 0 1 0 21691798 11902976 2556 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2906 2556 238 467 0 2437 0
Current children cumulated CPU time (s) 121.49
Current children cumulated vsize (KiB) 11624

[startup+122.301 s]
/proc/loadavg: 2.00 2.52 2.14 3/179 18053
/proc/meminfo: memFree=28651116/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=11624 CPUtime=122.29
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2839 0 0 0 7578 4651 0 0 25 0 1 0 21691798 11902976 2570 4089446400 134512640 136422188 4292426832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2906 2570 238 467 0 2437 0
Current children cumulated CPU time (s) 122.29
Current children cumulated vsize (KiB) 11624

[startup+122.501 s]
/proc/loadavg: 2.00 2.52 2.14 3/179 18053
/proc/meminfo: memFree=28651116/32951124 swapFree=67111528/67111528
[pid=18050] ppid=18048 vsize=11232 CPUtime=122.5
/proc/18050/stat : 18050 (pbct) R 18048 18050 17447 0 -1 4202496 2875 0 0 0 7592 4658 0 0 25 0 1 0 21691798 11501568 2453 4089446400 134512640 136422188 4292426832 18446744073709551615 134710555 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18050/statm: 2808 2453 241 467 0 2339 0
Current children cumulated CPU time (s) 122.5
Current children cumulated vsize (KiB) 11232

Child status: 0
Real time (s): 122.511
CPU time (s): 122.513
CPU user time (s): 75.9305
CPU system time (s): 46.5829
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 11624

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

runsolver used 0.19097 second user time and 0.370943 second system time

The end

Launcher Data 

Begin job on node102 at 2010-07-07 22:32:48
IDJOB=2700327
IDBENCH=79418
IDSOLVER=1212
FILE ID=node102/2700327-1278534767
PBS_JOBID= 11239274
Free space on /tmp= 72988 MiB

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

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

MD5SUM BENCH= 401aade47f990d36319fcf6fc2a74e2a
RANDOM SEED=972427748

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28817116 kB
Buffers:        134052 kB
Cached:        2974908 kB
SwapCached:          0 kB
Active:        1897292 kB
Inactive:      2044256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28817116 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1988 kB
Writeback:           0 kB
AnonPages:      832908 kB
Mapped:          17276 kB
Slab:           128020 kB
PageTables:       6416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   982244 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= 72988 MiB
End job on node102 at 2010-07-07 22:34:50