Trace number 2699955

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 389.677 389.774

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
MD5SUM8b86218007c145a9ce1787d0bbf0d30b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark395
Best CPU time to get the best result obtained on this benchmark1.59076
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 constraint10
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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.03	c constraints 100/0 clauses 0/900 units 0
0.00/0.03	c vars 200
0.02/0.12	c 0.036994 10.2188 1 2043
0.02/0.12	o 32337
0.02/0.12	c 0.036994 10.457 1 2991
0.02/0.12	o 30721
0.02/0.12	c 0.036994 10.457 1 3157
0.02/0.12	o 30641
0.02/0.12	c 0.036994 10.457 1 4099
0.02/0.12	o 29503
0.02/0.13	c 0.037994 10.457 3 5039
0.02/0.13	o 28761
0.02/0.13	c 0.037994 10.457 3 5979
0.02/0.13	o 17828
0.02/0.13	c 0.038994 10.457 3 6920
0.02/0.13	o 16291
0.02/0.13	c 0.042993 10.457 45 7329
0.02/0.13	o 16172
0.11/0.26	c 0.084987 10.457 585 10293
0.11/0.26	o 16147
0.21/0.30	c 0.092985 10.457 424 11202
0.21/0.30	o 15896
0.21/0.38	c 0.116982 10.582 658 13442
0.21/0.38	o 15704
0.31/0.44	c 0.138978 10.582 725 15157
0.31/0.44	o 15531
0.92/1.08	c 0.313952 10.707 703 23285
0.92/1.08	o 15358
1.02/1.13	c 0.330949 10.707 381 24958
1.02/1.13	o 14969
1.51/1.68	c 0.486925 10.707 520 32924
1.51/1.68	o 14940
1.62/1.77	c 0.510922 10.707 381 34897
1.62/1.77	o 14902
2.91/3.08	c 0.832873 10.832 719 48970
2.91/3.08	o 14871
3.81/3.95	c 1.06984 10.8281 974 64673
3.81/3.95	o 14864
4.32/4.41	c 1.18682 10.8281 882 73513
4.32/4.41	o 14360
4.41/4.53	c 1.22781 10.8281 648 75772
4.41/4.53	o 14134
5.12/5.21	c 1.39679 10.8281 949 84741
5.12/5.21	o 14087
5.12/5.24	c 1.40779 10.8281 386 85886
5.12/5.24	o 13902
5.62/5.79	c 1.55276 10.8281 577 95951
5.62/5.79	o 13869
5.92/6.06	c 1.62875 10.8281 643 101248
5.92/6.06	o 13835
6.11/6.25	c 1.67375 10.8281 500 104279
6.11/6.25	o 13741
6.11/6.27	c 1.67674 10.8281 645 104894
6.11/6.27	o 13681
6.62/6.80	c 1.83272 10.8281 685 114061
6.62/6.80	o 13651
7.01/7.14	c 1.91771 10.8281 941 117418
7.01/7.14	o 13639
7.21/7.36	c 1.9737 10.8281 441 121960
7.21/7.36	o 13127
9.91/10.01	c 2.65959 10.9492 889 163274
9.91/10.01	o 13115
12.91/13.10	c 3.55446 10.9492 691 203732
12.91/13.10	o 12948
13.02/13.11	c 3.55746 10.9492 458 204307
13.02/13.11	o 12943
13.71/13.80	c 3.73443 10.9492 665 215505
13.71/13.80	o 12839
13.71/13.82	c 3.74043 10.9492 418 216092
13.71/13.82	o 12821
15.42/15.56	c 4.21336 10.9492 501 238742
15.42/15.56	o 12726
15.62/15.73	c 4.25935 10.9492 685 241726
15.62/15.73	o 12713
17.12/17.28	c 4.68729 11.0742 703 267180
17.12/17.28	o 12623
17.21/17.30	c 4.69029 11.0742 496 268248
17.21/17.30	o 12159
18.61/18.78	c 5.07823 11.0742 402 289266
18.61/18.78	o 12123
20.02/20.14	c 5.42018 11.0742 645 308452
20.02/20.14	o 11924
21.31/21.47	c 5.76112 11.0742 868 325956
21.31/21.47	o 11854
21.41/21.56	c 5.78112 11.0742 535 327639
21.41/21.56	o 11835
23.22/23.31	c 6.25705 11.0742 722 348608
23.22/23.31	o 11725
31.31/31.41	c 8.31774 11.1992 489 431227
31.31/31.41	o 11416
33.71/33.84	c 8.92564 11.1992 625 463750
33.71/33.84	o 11352
34.11/34.26	c 9.02863 11.1992 648 469993
34.11/34.26	o 11338
34.31/34.44	c 9.08562 11.1992 646 473585
34.31/34.44	o 11309
35.51/35.61	c 9.37358 11.1992 582 488457
35.51/35.61	o 11208
35.51/35.65	c 9.38257 11.1992 439 489346
35.51/35.65	o 10946
37.21/37.37	c 9.82451 11.1992 724 508244
37.21/37.37	o 10931
38.42/38.59	c 10.1535 11.1992 624 524332
38.42/38.60	o 10892
41.32/41.40	c 10.9013 11.1992 546 564123
41.32/41.40	o 10847
42.61/42.71	c 11.2343 11.1992 592 578327
42.61/42.71	o 10791
42.82/42.98	c 11.2963 11.1992 494 582668
42.82/42.98	o 10743
48.11/48.28	c 12.6581 11.3242 569 641880
48.11/48.28	o 10740
48.81/48.93	c 12.844 11.3242 965 651410
48.81/48.93	o 10732
51.91/52.10	c 13.6369 11.3242 465 686796
51.91/52.10	o 10710
58.11/58.21	c 15.1517 11.3242 638 754293
58.11/58.21	o 10690
58.11/58.24	c 15.1597 11.3242 407 754902
58.11/58.24	o 10657
59.81/59.93	c 15.5746 11.3242 645 776947
59.81/59.93	o 10617
60.21/60.30	c 15.6646 11.3242 636 781896
60.21/60.30	o 10585
61.21/61.37	c 15.9326 11.3242 719 794544
61.21/61.37	o 10530
61.42/61.53	c 15.9686 11.3242 533 797234
61.42/61.53	o 10490
63.31/63.48	c 16.4795 11.3242 985 820411
63.31/63.48	o 10380
66.01/66.18	c 17.1944 11.3242 706 848368
66.01/66.18	o 10346
70.91/71.07	c 18.3812 11.4453 640 911173
70.91/71.07	o 10165
71.11/71.23	c 18.4222 11.4453 704 913427
71.11/71.23	o 10118
72.00/72.11	c 18.6432 11.4453 747 924835
72.00/72.11	o 10113
75.91/76.00	c 19.636 11.4453 494 968686
75.91/76.00	o 9954
79.21/79.36	c 20.4869 11.4453 602 1011493
79.21/79.36	o 9945
81.10/81.29	c 20.9488 11.4453 680 1035520
81.10/81.29	o 9890
85.80/85.91	c 22.0796 11.4453 860 1087438
85.80/85.91	o 9797
86.51/86.65	c 22.2486 11.4453 638 1096912
86.51/86.65	o 9755
88.20/88.39	c 22.6796 11.4453 477 1120071
88.20/88.39	o 9737
89.70/89.89	c 23.0525 11.4453 693 1138654
89.70/89.89	o 9630
94.41/94.60	c 24.1993 11.4453 909 1197353
94.41/94.60	o 9499
96.10/96.29	c 24.6203 11.4453 589 1217236
96.10/96.29	o 9477
98.31/98.46	c 25.1732 11.4453 879 1237698
98.31/98.46	o 9453
98.50/98.64	c 25.2172 11.4453 671 1240523
98.50/98.64	o 9423
108.51/108.66	c 27.7378 11.5703 794 1358827
108.51/108.66	o 9362
115.11/115.21	c 29.4115 11.5703 744 1434103
115.11/115.21	o 9359
116.41/116.51	c 29.7355 11.5703 668 1450715
116.41/116.51	o 9354
116.51/116.69	c 29.7805 11.5703 816 1453285
116.51/116.69	o 9317
117.70/117.90	c 30.0644 11.5703 764 1467398
117.70/117.90	o 9305
119.30/119.40	c 30.4254 11.5703 554 1486599
119.30/119.40	o 9255
119.61/119.75	c 30.5204 11.5703 566 1492258
119.61/119.75	o 9235
122.20/122.35	c 31.1343 11.5703 562 1518992
122.20/122.35	o 9194
125.40/125.50	c 31.9491 11.5703 745 1557744
125.40/125.50	o 9159
125.70/125.82	c 32.0231 11.5703 659 1561554
125.70/125.82	o 9086
128.20/128.31	c 32.629 11.5703 583 1591446
128.20/128.31	o 8932
128.70/128.80	c 32.752 11.5703 656 1597519
128.70/128.80	o 8843
131.61/131.70	c 33.4809 11.5703 818 1629414
131.61/131.70	o 8799
132.81/132.96	c 33.7869 11.6953 1050 1643952
132.81/132.96	o 8761
135.80/135.99	c 34.5567 11.6953 806 1682789
135.80/135.99	o 8700
137.41/137.53	c 34.9337 11.6953 528 1702593
137.41/137.53	o 8672
137.90/138.02	c 35.0347 11.6953 694 1708504
137.90/138.02	o 8625
141.51/141.66	c 35.9045 11.6953 929 1747007
141.51/141.66	o 8610
147.70/147.88	c 37.4483 11.6953 849 1818426
147.70/147.88	o 8609
147.81/147.98	c 37.4633 11.6953 791 1819490
147.81/147.98	o 8407
155.30/155.43	c 39.335 11.6953 607 1900314
155.30/155.44	o 8369
155.41/155.54	c 39.364 11.6953 654 1901836
155.41/155.54	o 8317
156.51/156.60	c 39.631 11.6953 458 1914867
156.51/156.60	o 8126
160.71/160.85	c 40.6698 11.6953 829 1964920
160.71/160.85	o 8066
164.10/164.28	c 41.5237 11.6953 541 1998185
164.10/164.28	o 7996
165.80/165.97	c 41.9386 11.6953 936 2016459
165.80/165.97	o 7980
168.40/168.57	c 42.5355 11.6953 729 2041141
168.40/168.57	o 7974
169.31/169.42	c 42.7515 11.6953 712 2050093
169.31/169.42	o 7935
176.20/176.32	c 44.4132 11.6953 568 2117682
176.20/176.32	o 7912
179.90/180.02	c 45.3101 11.6953 750 2157329
179.90/180.02	o 7639
180.30/180.43	c 45.4181 11.6953 518 2163047
180.30/180.43	o 7567
184.61/184.71	c 46.4289 11.8164 1055 2202148
184.61/184.71	o 7562
187.20/187.35	c 47.0568 11.8164 521 2231103
187.20/187.35	o 7406
188.60/188.78	c 47.4278 11.8164 562 2244543
188.60/188.78	o 7164
189.20/189.32	c 47.5518 11.8164 756 2250121
189.20/189.32	o 7105
192.50/192.61	c 48.3357 11.8164 778 2282066
192.50/192.61	o 7095
192.80/192.90	c 48.3976 11.8164 677 2285134
192.80/192.90	o 6951
194.11/194.26	c 48.7316 11.8164 849 2299033
194.11/194.26	o 6882
196.81/196.99	c 49.3355 11.8164 889 2325832
196.81/196.99	o 6847
197.81/197.96	c 49.5845 11.8164 789 2336104
197.81/197.96	o 6795
198.41/198.57	c 49.7374 11.8164 665 2341633
198.41/198.57	o 6768
213.91/214.08	c 53.3819 11.8164 578 2466342
213.91/214.08	o 6750
215.20/215.32	c 53.6668 11.8164 718 2478935
215.20/215.32	o 6677
216.50/216.62	c 53.9478 11.8164 774 2492411
216.50/216.62	o 6568
217.00/217.17	c 54.0638 11.8164 839 2497175
217.00/217.17	o 6411
217.60/217.77	c 54.1928 11.8164 567 2502666
217.60/217.77	o 6332
221.40/221.50	c 55.1006 11.8164 837 2537112
221.40/221.50	o 6258
222.71/222.82	c 55.4496 11.8164 740 2549073
222.71/222.82	o 6242
225.41/225.51	c 56.0855 11.8164 574 2574552
225.41/225.51	o 6035
230.11/230.27	c 57.1513 11.8164 605 2615668
230.11/230.27	o 5981
231.60/231.70	c 57.5113 11.8164 1013 2627181
231.60/231.70	o 5932
232.20/232.38	c 57.6542 11.8164 658 2633700
232.20/232.38	o 5887
232.30/232.40	c 57.6592 11.8164 769 2634134
232.30/232.40	o 5852
233.11/233.22	c 57.8462 11.8164 688 2641871
233.11/233.22	o 5786
234.70/234.84	c 58.2141 11.8164 890 2657024
234.70/234.84	o 5721
238.90/239.06	c 59.202 11.8164 913 2696093
238.90/239.06	o 5694
239.61/239.79	c 59.378 11.8164 955 2703465
239.61/239.79	o 5665
242.10/242.20	c 59.9259 11.8164 684 2724230
242.10/242.20	o 5635
257.00/257.11	c 63.3944 11.8164 798 2839239
257.00/257.11	o 5584
258.80/258.96	c 63.8083 11.8164 933 2855265
258.80/258.96	o 5514
260.50/260.65	c 64.1892 11.9453 820 2870747
260.50/260.65	o 5347
260.80/260.98	c 64.2682 11.9453 682 2873473
260.80/260.98	o 5329
267.70/267.84	c 65.812 11.9453 671 2932508
267.70/267.84	o 5323
270.19/270.39	c 66.3619 11.9453 739 2957963
270.19/270.39	o 5263
271.89/272.03	c 66.7479 11.9453 687 2971412
271.89/272.03	o 5193
273.80/273.95	c 67.2008 11.9453 653 2988157
273.80/273.95	o 5146
277.50/277.60	c 68.0277 11.9453 614 3015784
277.50/277.60	o 5058
277.60/277.77	c 68.0667 11.9453 444 3017402
277.60/277.77	o 5054
277.69/277.82	c 68.0747 11.9453 629 3017984
277.69/277.82	o 5027
279.31/279.46	c 68.4266 11.9453 625 3031601
279.31/279.46	o 4993
283.30/283.41	c 69.3175 11.9453 649 3063627
283.30/283.42	o 4980
283.30/283.49	c 69.3325 11.9453 552 3064542
283.30/283.49	o 4977
284.60/284.72	c 69.5964 11.9453 763 3075274
284.60/284.72	o 4976
290.80/290.99	c 71.0002 11.9453 789 3124892
290.80/290.99	o 4899
292.60/292.79	c 71.4041 11.9453 673 3140260
292.60/292.79	o 4889
293.40/293.60	c 71.5771 11.9453 935 3147064
293.40/293.60	o 4786
297.09/297.24	c 72.376 11.9453 601 3177190
297.09/297.24	o 4706
301.99/302.12	c 73.5258 11.9453 910 3211557
301.99/302.12	o 4665
302.30/302.42	c 73.5918 11.9453 912 3213528
302.30/302.42	o 4585
302.40/302.56	c 73.6258 11.9453 917 3214730
302.40/302.56	o 4545
307.40/307.50	c 74.7216 11.9453 717 3253435
307.40/307.50	o 4507
308.39/308.54	c 74.9446 11.9453 695 3262151
308.39/308.54	o 4493
314.29/314.46	c 76.2744 11.9453 605 3307415
314.29/314.46	o 4450
314.51/314.66	c 76.3264 11.9453 486 3309330
314.51/314.66	o 4216
315.50/315.70	c 76.5574 11.9453 765 3317873
315.50/315.70	o 4088
315.60/315.77	c 76.5724 11.9453 612 3318595
315.60/315.77	o 4063
316.00/316.15	c 76.6533 11.9453 809 3322236
316.00/316.15	o 3989
316.49/316.63	c 76.7583 11.9453 675 3325865
316.49/316.63	o 3970
317.90/318.08	c 77.0693 11.9453 686 3335081
317.90/318.08	o 3935
318.20/318.38	c 77.1283 11.9453 859 3337789
318.20/318.38	o 3893
321.40/321.52	c 77.8392 11.9453 924 3362266
321.40/321.52	o 3775
322.60/322.74	c 78.1041 11.9453 521 3371304
322.60/322.74	o 3750
322.90/323.04	c 78.1791 11.9453 926 3373066
322.90/323.04	o 3727
323.50/323.63	c 78.3051 11.9453 796 3377719
323.50/323.63	o 3601
325.51/325.67	c 78.728 12.0703 518 3392505
325.51/325.67	o 3591
328.19/328.38	c 79.3099 12.0703 520 3411895
328.19/328.38	o 3553
332.80/332.96	c 80.2938 12.0703 890 3445815
332.80/332.96	o 3494
332.89/333.06	c 80.3168 12.0703 786 3446681
332.89/333.06	o 3459
333.29/333.45	c 80.4088 12.0703 435 3450164
333.29/333.45	o 3445
334.59/334.79	c 80.7017 12.0703 969 3460456
334.59/334.79	o 3418
334.70/334.86	c 80.7157 12.0703 746 3461235
334.70/334.86	o 3329
335.80/335.95	c 80.9367 12.0703 568 3469752
335.80/335.95	o 3262
336.60/336.74	c 81.1207 12.0703 977 3476068
336.60/336.74	o 3186
337.51/337.61	c 81.3046 12.0703 581 3482431
337.51/337.61	o 3137
338.71/338.84	c 81.5566 12.0703 757 3490394
338.71/338.84	o 3105
339.70/339.90	c 81.7736 12.0703 710 3498317
339.70/339.90	o 3103
339.90/340.09	c 81.8096 12.0703 860 3499940
339.90/340.09	o 3075
340.20/340.38	c 81.8746 12.0703 901 3502118
340.20/340.38	o 3038
340.60/340.70	c 81.9515 12.0703 544 3504260
340.60/340.70	o 2867
341.10/341.20	c 82.0635 12.0703 651 3507313
341.10/341.20	o 2676
345.60/345.72	c 83.0554 12.0703 630 3534818
345.60/345.72	o 2619
347.00/347.16	c 83.3553 12.0703 643 3544195
347.00/347.16	o 2583
347.70/347.80	c 83.4973 12.0703 798 3548628
347.70/347.80	o 2564
351.59/351.73	c 84.3562 12.0703 512 3573413
351.59/351.73	o 2536
352.00/352.13	c 84.4472 12.0703 833 3576090
352.00/352.13	o 2495
355.00/355.20	c 85.1461 12.0703 917 3595655
355.00/355.20	o 2487
355.10/355.25	c 85.1571 12.0703 602 3596004
355.10/355.25	o 2462
355.10/355.28	c 85.1601 12.0703 696 3596245
355.10/355.28	o 2426
356.39/356.50	c 85.44 12.0703 567 3603327
356.39/356.50	o 2335
356.49/356.69	c 85.476 12.0703 687 3604664
356.49/356.69	o 2316
361.99/362.11	c 86.6508 12.0703 665 3637902
361.99/362.11	o 2310
364.00/364.16	c 87.1348 12.0703 867 3650804
364.00/364.16	o 2296
364.19/364.38	c 87.1927 12.0703 622 3652700
364.19/364.38	o 2230
364.60/364.76	c 87.2757 12.0703 875 3655597
364.60/364.77	o 2158
365.10/365.21	c 87.3947 12.0703 893 3658635
365.10/365.21	o 2060
365.70/365.81	c 87.5347 12.0703 863 3662073
365.70/365.81	o 2052
368.70/368.89	c 88.2446 12.0703 574 3677988
368.70/368.89	o 2039
370.39/370.59	c 88.6265 12.0703 717 3689396
370.39/370.59	o 2021
370.50/370.64	c 88.6405 12.0703 859 3689738
370.50/370.64	o 1999
370.50/370.70	c 88.6525 12.0703 573 3690118
370.50/370.70	o 1967
370.60/370.77	c 88.6725 12.0703 821 3690849
370.60/370.77	o 1868
371.89/372.08	c 88.9655 12.0703 914 3698893
371.89/372.08	o 1828
372.39/372.54	c 89.0585 12.0703 881 3701861
372.39/372.54	o 1728
372.49/372.64	c 89.0765 12.0703 737 3702460
372.49/372.64	o 1716
375.49/375.60	c 89.7893 12.3125 623 3721027
375.49/375.60	o 1686
375.70/375.88	c 89.8433 12.3125 627 3723223
375.70/375.88	o 1530
375.79/375.93	c 89.8563 12.3125 769 3723665
375.79/375.93	o 1502
377.30/377.41	c 90.1933 12.3125 667 3732641
377.30/377.41	o 1493
377.60/377.79	c 90.2893 12.3125 928 3734688
377.60/377.79	o 1492
377.89/378.07	c 90.3593 12.3125 884 3736563
377.89/378.07	o 1366
378.00/378.18	c 90.3833 12.3125 753 3737202
378.00/378.18	o 1360
378.20/378.39	c 90.4453 12.3125 907 3738466
378.20/378.39	o 1345
379.69/379.86	c 90.8102 12.3125 708 3747254
379.69/379.86	o 1336
381.80/381.96	c 91.3691 12.3125 878 3760214
381.80/381.96	o 1316
382.79/382.92	c 91.6411 12.3125 558 3766098
382.79/382.92	o 1295
382.79/382.95	c 91.6481 12.3125 635 3766351
382.79/382.95	o 1233
384.80/384.98	c 92.159 12.4414 525 3777979
384.80/384.98	o 1172
386.19/386.30	c 92.4889 12.4414 823 3786134
386.19/386.30	o 1114
386.40/386.58	c 92.5639 12.4414 822 3787827
386.40/386.58	o 1096
386.60/386.75	c 92.6059 12.4414 880 3788904
386.60/386.75	o 1064
387.00/387.12	c 92.7199 12.4414 772 3791746
387.00/387.12	o 985
387.60/387.79	c 92.9089 12.4414 924 3796157
387.60/387.79	o 937
388.20/388.32	c 93.0549 12.4414 863 3799446
388.20/388.32	o 862
388.69/388.89	c 93.2148 12.4414 709 3803058
388.69/388.89	o 755
388.79/388.95	c 93.2318 12.4414 901 3803445
388.79/388.95	o 749
388.90/389.02	c 93.2478 12.4414 1094 3803855
388.90/389.02	o 722
389.20/389.35	c 93.3658 12.4414 732 3806092
389.20/389.35	o 698
389.30/389.44	c 93.4018 12.4414 1144 3806784
389.30/389.44	o 657
389.39/389.51	c 93.4208 12.4414 840 3807234
389.39/389.51	o 611
389.49/389.60	c 93.4488 12.4414 1275 3807915
389.49/389.60	o 575
389.49/389.67	c 93.4688 12.4414 960 3808387
389.49/389.67	o 565
389.59/389.71	c 93.4808 12.4414 1147 3808717
389.59/389.71	o 524
389.59/389.73	c 93.4898 12.4414 1256 3808913
389.59/389.73	o 480
389.59/389.75	c 93.4998 12.4414 1342 3809063
389.59/389.75	o 434
389.59/389.75	c 93.5018 12.4414 1059 3809126
389.59/389.75	o 395
389.59/389.76	c 93.5038 12.4414 1096 3809166
389.59/389.76	s OPTIMUM FOUND
389.59/389.76	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	395

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699955-1278533861/watcher-2699955-1278533861 -o /tmp/evaluation-result-2699955-1278533861/solver-2699955-1278533861 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699955-1278533861.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: 3.45 0.95 0.32 4/190 17716
/proc/meminfo: memFree=30119240/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=2136 CPUtime=0
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 257 0 0 0 0 0 0 0 24 0 1 0 21599337 2187264 176 4089446400 134512640 136422188 4288119424 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17716/statm: 534 176 144 467 0 65 0

[startup+0.0331619 s]
/proc/loadavg: 3.45 0.95 0.32 4/190 17716
/proc/meminfo: memFree=30119240/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=2136 CPUtime=0
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 264 0 0 0 0 0 0 0 24 0 1 0 21599337 2187264 183 4089446400 134512640 136422188 4288119424 18446744073709551615 134518542 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17716/statm: 534 183 144 467 0 65 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.105231 s]
/proc/loadavg: 3.45 0.95 0.32 4/190 17716
/proc/meminfo: memFree=30119240/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=9244 CPUtime=0.02
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2033 0 0 0 2 0 0 0 24 0 1 0 21599337 9465856 1952 4089446400 134512640 136422188 4288119424 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17716/statm: 2344 1961 194 467 0 1875 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9244

[startup+0.300118 s]
/proc/loadavg: 3.45 0.95 0.32 4/190 17716
/proc/meminfo: memFree=30119240/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=10704 CPUtime=0.21
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2431 0 0 0 9 12 0 0 25 0 1 0 21599337 10960896 2341 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 2676 2341 238 467 0 2207 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10704

[startup+0.703049 s]
/proc/loadavg: 3.45 0.95 0.32 4/190 17716
/proc/meminfo: memFree=30119240/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=10832 CPUtime=0.61
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2462 0 0 0 21 40 0 0 25 0 1 0 21599337 11091968 2369 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 2708 2369 238 467 0 2239 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10832

[startup+1.5013 s]
/proc/loadavg: 3.45 0.95 0.32 4/191 17717
/proc/meminfo: memFree=30109552/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=10960 CPUtime=1.42
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2486 0 0 0 43 99 0 0 25 0 1 0 21599337 11223040 2391 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 2740 2391 238 467 0 2271 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10960

[startup+3.10061 s]
/proc/loadavg: 3.45 0.95 0.32 4/191 17717
/proc/meminfo: memFree=30109176/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=11088 CPUtime=3.02
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2506 0 0 0 84 218 0 0 25 0 1 0 21599337 11354112 2408 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 2772 2408 238 467 0 2303 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 11088

[startup+6.30105 s]
/proc/loadavg: 3.66 1.03 0.35 6/191 17717
/proc/meminfo: memFree=30109804/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=11084 CPUtime=6.21
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2535 0 0 0 168 453 0 0 25 0 1 0 21599337 11350016 2428 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 2771 2428 238 467 0 2302 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 11084

[startup+12.7019 s]
/proc/loadavg: 3.60 1.07 0.37 3/191 17718
/proc/meminfo: memFree=30108764/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=11208 CPUtime=12.61
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2578 0 0 0 344 917 0 0 25 0 1 0 21599337 11476992 2467 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 2802 2467 238 467 0 2333 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 11208

[startup+25.5016 s]
/proc/loadavg: 4.37 1.36 0.47 9/191 17725
/proc/meminfo: memFree=30107448/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=11336 CPUtime=25.41
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2624 0 0 0 682 1859 0 0 25 0 1 0 21599337 11608064 2500 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 2834 2500 238 467 0 2365 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 11336

[startup+51.1011 s]
/proc/loadavg: 4.68 1.66 0.60 9/191 17726
/proc/meminfo: memFree=30106436/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=11592 CPUtime=51.01
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2675 0 0 0 1339 3762 0 0 25 0 1 0 21599337 11870208 2538 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 2898 2538 238 467 0 2429 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 11592

[startup+102.307 s]
/proc/loadavg: 5.16 2.26 0.85 4/191 17730
/proc/meminfo: memFree=30104864/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=11716 CPUtime=102.22
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2756 0 0 0 2616 7606 0 0 25 0 1 0 21599337 11997184 2596 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 2929 2596 238 467 0 2460 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 11716

[startup+162.301 s]
/proc/loadavg: 4.28 2.51 1.02 4/191 17739
/proc/meminfo: memFree=30101204/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=11972 CPUtime=162.2
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2828 0 0 0 4103 12117 0 0 25 0 1 0 21599337 12259328 2644 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 2993 2644 238 467 0 2524 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 11972

[startup+222.301 s]
/proc/loadavg: 4.78 2.98 1.28 4/191 17740
/proc/meminfo: memFree=30101384/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12096 CPUtime=222.2
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2889 0 0 0 5530 16690 0 0 25 0 1 0 21599337 12386304 2682 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3024 2682 238 467 0 2555 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 12096

[startup+282.303 s]
/proc/loadavg: 5.03 3.39 1.52 5/191 17742
/proc/meminfo: memFree=30101580/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12228 CPUtime=282.2
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 2936 0 0 0 6906 21314 0 0 25 0 1 0 21599337 12521472 2706 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3057 2706 238 467 0 2588 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 12228

[startup+342.302 s]
/proc/loadavg: 3.89 3.38 1.64 4/191 17743
/proc/meminfo: memFree=30100860/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12356 CPUtime=342.2
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 3012 0 0 0 8229 25991 0 0 25 0 1 0 21599337 12652544 2742 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3089 2742 238 467 0 2620 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 12356

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

[startup+358.301 s]
/proc/loadavg: 3.99 3.43 1.68 3/191 17744
/proc/meminfo: memFree=30100672/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12356 CPUtime=358.19
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 3028 0 0 0 8582 27237 0 0 25 0 1 0 21599337 12652544 2748 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3089 2748 238 467 0 2620 0
Current children cumulated CPU time (s) 358.19
Current children cumulated vsize (KiB) 12356

[startup+371.101 s]
/proc/loadavg: 4.12 3.49 1.73 8/191 17744
/proc/meminfo: memFree=30100560/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12356 CPUtime=371
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 3047 0 0 0 8875 28225 0 0 25 0 1 0 21599337 12652544 2756 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3089 2756 238 467 0 2620 0
Current children cumulated CPU time (s) 371
Current children cumulated vsize (KiB) 12356

[startup+377.503 s]
/proc/loadavg: 4.11 3.50 1.74 6/191 17751
/proc/meminfo: memFree=30098944/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12604 CPUtime=377.4
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 3074 0 0 0 9021 28719 0 0 25 0 1 0 21599337 12906496 2776 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3151 2776 238 467 0 2682 0
Current children cumulated CPU time (s) 377.4
Current children cumulated vsize (KiB) 12604

[startup+383.908 s]
/proc/loadavg: 4.42 3.58 1.78 7/191 17751
/proc/meminfo: memFree=30098440/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12736 CPUtime=383.8
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 3116 0 0 0 9189 29191 0 0 25 0 1 0 21599337 13041664 2810 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3184 2810 238 467 0 2715 0
Current children cumulated CPU time (s) 383.8
Current children cumulated vsize (KiB) 12736

[startup+387.1 s]
/proc/loadavg: 4.42 3.58 1.78 4/191 17752
/proc/meminfo: memFree=30098068/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12736 CPUtime=387
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 3120 0 0 0 9271 29429 0 0 25 0 1 0 21599337 13041664 2810 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3184 2810 238 467 0 2715 0
Current children cumulated CPU time (s) 387
Current children cumulated vsize (KiB) 12736

[startup+388.704 s]
/proc/loadavg: 4.23 3.55 1.78 3/191 17752
/proc/meminfo: memFree=30098068/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12736 CPUtime=388.59
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 3123 0 0 0 9316 29543 0 0 25 0 1 0 21599337 13041664 2810 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3184 2810 238 467 0 2715 0
Current children cumulated CPU time (s) 388.59
Current children cumulated vsize (KiB) 12736

[startup+389.501 s]
/proc/loadavg: 4.23 3.55 1.78 4/191 17752
/proc/meminfo: memFree=30098068/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12736 CPUtime=389.39
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 3128 0 0 0 9341 29598 0 0 25 0 1 0 21599337 13041664 2810 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3184 2810 238 467 0 2715 0
Current children cumulated CPU time (s) 389.39
Current children cumulated vsize (KiB) 12736

[startup+389.701 s]
/proc/loadavg: 4.23 3.55 1.78 4/191 17752
/proc/meminfo: memFree=30098068/32951124 swapFree=67111528/67111528
[pid=17716] ppid=17714 vsize=12736 CPUtime=389.59
/proc/17716/stat : 17716 (pbct) R 17714 17716 17268 0 -1 4202496 3131 0 0 0 9347 29612 0 0 25 0 1 0 21599337 13041664 2810 4089446400 134512640 136422188 4288119424 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17716/statm: 3184 2810 238 467 0 2715 0
Current children cumulated CPU time (s) 389.59
Current children cumulated vsize (KiB) 12736

Child status: 0
Real time (s): 389.774
CPU time (s): 389.677
CPU user time (s): 93.5138
CPU system time (s): 296.163
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 12736

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

runsolver used 0.604908 second user time and 1.3208 second system time

The end

Launcher Data 

Begin job on node132 at 2010-07-07 22:17:41
IDJOB=2699955
IDBENCH=79387
IDSOLVER=1212
FILE ID=node132/2699955-1278533861
PBS_JOBID= 11239214
Free space on /tmp= 73564 MiB

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

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

MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b
RANDOM SEED=1206360252

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30119768 kB
Buffers:        128332 kB
Cached:        2452832 kB
SwapCached:          0 kB
Active:         954540 kB
Inactive:      1730052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30119768 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6360 kB
Writeback:           0 kB
AnonPages:      103440 kB
Mapped:          18708 kB
Slab:            82024 kB
PageTables:       4596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   319504 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73564 MiB
End job on node132 at 2010-07-07 22:24:10