Trace number 2698959

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 1120.91 1120.88

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo
MD5SUM81f3c07bf85fb8fa2211498324cd1b10
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark325.622
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
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.01	c constraints 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.10	c 0.095985 20 18 6403
0.09/0.10	o 740
0.09/0.13	c 0.098984 20.2344 73 8327
0.09/0.13	o 729
0.09/0.20	c 0.105983 20.4688 145 8970
0.09/0.20	o 726
0.19/0.20	c 0.107983 20.4688 153 9652
0.19/0.20	o 721
0.19/0.25	c 0.114982 20.4688 203 10091
0.19/0.25	o 713
0.19/0.28	c 0.116982 20.4688 276 11495
0.19/0.28	o 691
0.29/0.30	c 0.117982 20.4688 304 12197
0.29/0.30	o 677
0.29/0.31	c 0.118981 20.4688 309 14381
0.29/0.31	o 603
0.29/0.33	c 0.121981 20.4688 340 15711
0.29/0.33	o 569
0.39/0.41	c 0.12898 20.4688 466 16370
0.39/0.41	o 568
0.39/0.43	c 0.13098 20.4688 489 17026
0.39/0.43	o 550
0.39/0.43	c 0.131979 20.4688 494 18513
0.39/0.43	o 499
0.59/0.65	c 0.157975 20.4688 784 20474
0.59/0.65	o 466
0.69/0.72	c 0.162975 20.4688 861 20898
0.69/0.72	o 465
0.79/0.80	c 0.172973 20.4688 995 21880
0.79/0.80	o 464
0.79/0.85	c 0.178972 20.4688 1058 22743
0.79/0.85	o 445
0.99/1.03	c 0.202969 20.4688 669 23633
0.99/1.03	o 442
1.19/1.22	c 0.221966 20.4688 928 24663
1.19/1.22	o 440
1.29/1.30	c 0.236963 20.4688 1033 25410
1.29/1.30	o 439
1.29/1.36	c 0.243962 20.4688 1102 26114
1.29/1.36	o 432
1.59/1.62	c 0.279957 20.4688 855 28043
1.59/1.62	o 406
1.59/1.66	c 0.282956 20.4688 894 28480
1.59/1.66	o 400
1.79/1.83	c 0.305953 20.4688 1081 29649
1.79/1.84	o 392
1.99/2.05	c 0.339948 20.4688 822 31071
1.99/2.05	o 388
1.99/2.07	c 0.345947 20.4688 850 32139
1.99/2.07	o 359
1.99/2.09	c 0.351946 20.4688 889 32514
1.99/2.09	o 351
2.19/2.29	c 0.382941 20.4688 1181 33731
2.19/2.29	o 340
2.39/2.43	c 0.408937 20.4688 753 34469
2.39/2.43	o 338
2.39/2.45	c 0.412937 20.4688 768 35798
2.39/2.45	o 297
2.79/2.80	c 0.461929 20.4688 718 37771
2.79/2.80	o 295
2.79/2.85	c 0.471928 20.4688 765 38900
2.79/2.85	o 263
2.79/2.89	c 0.473927 20.4688 801 39538
2.79/2.89	o 246
3.89/3.95	c 0.633903 20.5977 945 43430
3.89/3.95	o 239
4.19/4.25	c 0.679896 20.5977 1309 44763
4.19/4.25	o 237
4.30/4.36	c 0.700893 20.5977 824 45698
4.30/4.36	o 229
7.19/7.28	c 1.14682 20.5977 826 58025
7.19/7.28	o 217
7.39/7.41	c 1.17282 20.5977 993 59115
7.39/7.41	o 197
8.39/8.47	c 1.38679 20.7266 1446 63208
8.39/8.47	o 182
8.59/8.66	c 1.40878 20.7266 929 64240
8.59/8.66	o 181
8.59/8.68	c 1.41179 20.7266 942 64515
8.59/8.68	o 176
8.69/8.70	c 1.41878 20.7266 979 64664
8.69/8.70	o 175
8.69/8.76	c 1.42978 20.7266 1049 64985
8.69/8.76	o 173
9.29/9.39	c 1.54377 20.7266 1256 67942
9.29/9.39	o 165
11.39/11.41	c 1.85272 20.7266 1116 75442
11.39/11.41	o 163
11.59/11.62	c 1.89371 20.7266 847 76546
11.59/11.62	o 162
12.49/12.54	c 2.04669 20.7266 1434 80725
12.49/12.54	o 146
13.10/13.20	c 2.15667 20.7266 1155 84155
13.10/13.20	o 131
15.30/15.35	c 2.57861 20.8555 985 92278
15.30/15.35	o 120
21.80/21.81	c 3.76443 20.9844 1183 112413
21.80/21.81	o 113
22.39/22.44	c 3.89241 20.9844 785 115209
22.39/22.44	o 103
23.29/23.32	c 4.07038 20.9844 710 118585
23.29/23.32	o 80
25.39/25.45	c 4.5713 20.9844 1107 126866
25.39/25.45	o 78
28.39/28.46	c 5.31919 20.9844 1790 138532
28.39/28.46	o 60
29.30/29.31	c 5.60215 21.1133 1773 142643
29.30/29.31	o 57
29.50/29.53	c 5.68314 21.1133 2418 143928
29.50/29.53	o 54
29.60/29.68	c 5.72713 21.1133 1633 144916
29.60/29.68	o 50
31.09/31.11	c 6.21506 21.1133 2162 153453
31.09/31.11	o 46
32.69/32.70	c 6.81896 21.1133 2534 164892
32.69/32.70	o 34
33.09/33.19	c 7.04693 21.2422 3213 168488
33.09/33.19	o 28
33.99/34.02	c 7.50186 21.3711 2497 174739
33.99/34.02	o 27
33.99/34.04	c 7.51286 21.3711 2583 174889
33.99/34.04	o 26
33.99/34.07	c 7.52486 21.3711 2736 175350
33.99/34.07	o 18
34.09/34.18	c 7.58785 21.3711 3478 176741
34.09/34.18	o 9
52.40/52.44	c 20.3739 23.9492 2152 410168
52.40/52.44	o 6
67.39/67.48	c 31.3042 23.9492 3092 604044
67.39/67.48	o 4
77.39/77.47	c 38.5271 23.9492 3398 760713
77.39/77.47	o 2
1120.83/1120.85	c 793.765 24.7188 3048 15563592
1120.83/1120.85	s OPTIMUM FOUND
1120.83/1120.85	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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698959-1278465062/watcher-2698959-1278465062 -o /tmp/evaluation-result-2698959-1278465062/solver-2698959-1278465062 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698959-1278465062.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.00 2.00 1.94 3/178 13719
/proc/meminfo: memFree=29162912/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=2136 CPUtime=0
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 253 0 0 0 0 0 0 0 21 0 1 0 14720956 2187264 172 4089446400 134512640 136422188 4291711536 18446744073709551615 135162166 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13719/statm: 534 172 144 467 0 65 0

[startup+0.0840599 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13719
/proc/meminfo: memFree=29162912/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=20056 CPUtime=0.08
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 4646 0 0 0 8 0 0 0 22 0 1 0 14720956 20537344 4532 4089446400 134512640 136422188 4291711536 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 5014 4532 207 467 0 4545 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20056

[startup+0.101058 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13719
/proc/meminfo: memFree=29162912/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=20476 CPUtime=0.09
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 4754 0 0 0 9 0 0 0 22 0 1 0 14720956 20967424 4640 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 5119 4640 213 467 0 4650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20476

[startup+0.301018 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13719
/proc/meminfo: memFree=29162912/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=20956 CPUtime=0.29
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 4849 0 0 0 11 18 0 0 18 0 1 0 14720956 21458944 4729 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 5239 4729 236 467 0 4770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20956

[startup+0.700947 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13719
/proc/meminfo: memFree=29162912/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=20956 CPUtime=0.69
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 4857 0 0 0 15 54 0 0 18 0 1 0 14720956 21458944 4730 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 5239 4730 237 467 0 4770 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20956

[startup+1.5008 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13720
/proc/meminfo: memFree=29145048/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=20956 CPUtime=1.49
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 4879 0 0 0 26 123 0 0 18 0 1 0 14720956 21458944 4745 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 5239 4745 237 467 0 4770 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20956

[startup+3.10049 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13720
/proc/meminfo: memFree=29145828/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=20956 CPUtime=3.09
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 4897 0 0 0 49 260 0 0 18 0 1 0 14720956 21458944 4751 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 5239 4751 237 467 0 4770 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20956

[startup+6.30088 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13720
/proc/meminfo: memFree=29146320/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=21088 CPUtime=6.29
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 4933 0 0 0 98 531 0 0 21 0 1 0 14720956 21594112 4784 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 5272 4784 237 467 0 4803 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21088

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13721
/proc/meminfo: memFree=29146908/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=21220 CPUtime=12.69
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 4963 0 0 0 207 1062 0 0 25 0 1 0 14720956 21729280 4803 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 5305 4803 237 467 0 4836 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21220

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13721
/proc/meminfo: memFree=29147424/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=21484 CPUtime=25.49
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5032 0 0 0 458 2091 0 0 25 0 1 0 14720956 21999616 4866 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 5371 4866 237 467 0 4902 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21484

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13721
/proc/meminfo: memFree=29144372/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=24520 CPUtime=51.1
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5796 0 0 0 1943 3167 0 0 25 0 1 0 14720956 25108480 5619 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 6130 5619 237 467 0 5661 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 24520

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13723
/proc/meminfo: memFree=29143828/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=24520 CPUtime=102.3
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5799 0 0 0 5734 4496 0 0 25 0 1 0 14720956 25108480 5619 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 6130 5619 237 467 0 5661 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 24520

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13725
/proc/meminfo: memFree=29143528/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=24380 CPUtime=162.29
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5799 0 0 0 10238 5991 0 0 25 0 1 0 14720956 24965120 5612 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13719/statm: 6095 5612 237 467 0 5626 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24380

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13726
/proc/meminfo: memFree=29143480/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=24380 CPUtime=222.29
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5799 0 0 0 14766 7463 0 0 25 0 1 0 14720956 24965120 5612 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6095 5612 237 467 0 5626 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 24380

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13728
/proc/meminfo: memFree=29143556/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=24380 CPUtime=282.29
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5799 0 0 0 19259 8970 0 0 25 0 1 0 14720956 24965120 5612 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6095 5612 237 467 0 5626 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24380

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13729
/proc/meminfo: memFree=29143264/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=24380 CPUtime=342.29
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5799 0 0 0 23784 10445 0 0 25 0 1 0 14720956 24965120 5612 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6095 5612 237 467 0 5626 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 24380

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13731
/proc/meminfo: memFree=29143232/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=24512 CPUtime=402.3
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5825 0 0 0 28291 11939 0 0 25 0 1 0 14720956 25100288 5638 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6128 5638 237 467 0 5659 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24512

[startup+462.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 13736
/proc/meminfo: memFree=29142408/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=24644 CPUtime=462.3
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5835 0 0 0 32810 13420 0 0 25 0 1 0 14720956 25235456 5648 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6161 5648 237 467 0 5692 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24644

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 13737
/proc/meminfo: memFree=29142704/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=24644 CPUtime=522.3
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5835 0 0 0 37259 14971 0 0 25 0 1 0 14720956 25235456 5648 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6161 5648 237 467 0 5692 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24644

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13739
/proc/meminfo: memFree=29142896/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=24908 CPUtime=582.3
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5909 0 0 0 41822 16408 0 0 25 0 1 0 14720956 25505792 5722 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6227 5722 237 467 0 5758 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24908

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13740
/proc/meminfo: memFree=29142724/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25040 CPUtime=642.32
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5935 0 0 0 46404 17828 0 0 25 0 1 0 14720956 25640960 5748 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6260 5748 237 467 0 5791 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 25040

[startup+702.301 s]
/proc/loadavg: 1.47 1.86 1.90 2/171 13763
/proc/meminfo: memFree=29169196/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25040 CPUtime=702.31
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5945 0 0 0 50649 19582 0 0 25 0 1 0 14720956 25640960 5758 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6260 5758 237 467 0 5791 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 25040

[startup+762.305 s]
/proc/loadavg: 1.17 1.70 1.84 2/171 13765
/proc/meminfo: memFree=29169132/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25176 CPUtime=762.32
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5968 0 0 0 54792 21440 0 0 25 0 1 0 14720956 25780224 5781 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6294 5781 237 467 0 5825 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 25176

[startup+822.301 s]
/proc/loadavg: 1.11 1.58 1.79 2/171 13766
/proc/meminfo: memFree=29168832/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25176 CPUtime=822.32
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5987 0 0 0 58958 23274 0 0 25 0 1 0 14720956 25780224 5800 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6294 5800 237 467 0 5825 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 25176

[startup+882.301 s]
/proc/loadavg: 1.04 1.48 1.74 2/171 13768
/proc/meminfo: memFree=29169044/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25176 CPUtime=882.31
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5988 0 0 0 63114 25117 0 0 25 0 1 0 14720956 25780224 5801 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6294 5801 237 467 0 5825 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 25176

[startup+942.3 s]
/proc/loadavg: 1.01 1.39 1.69 2/171 13769
/proc/meminfo: memFree=29168992/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25176 CPUtime=942.32
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 5998 0 0 0 67238 26994 0 0 25 0 1 0 14720956 25780224 5811 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6294 5811 237 467 0 5825 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 25176

[startup+1002.3 s]
/proc/loadavg: 1.00 1.31 1.64 2/171 13771
/proc/meminfo: memFree=29168960/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1002.32
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 71401 28831 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 25308

[startup+1062.3 s]
/proc/loadavg: 1.00 1.25 1.60 2/171 13773
/proc/meminfo: memFree=29169036/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1062.32
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 75440 30792 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 25308

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

[startup+1075.1 s]
/proc/loadavg: 1.00 1.24 1.59 2/171 13773
/proc/meminfo: memFree=29168896/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1075.13
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 76305 31208 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1075.13
Current children cumulated vsize (KiB) 25308

[startup+1100.7 s]
/proc/loadavg: 1.00 1.22 1.57 2/171 13773
/proc/meminfo: memFree=29169012/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1100.72
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 78040 32032 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1100.72
Current children cumulated vsize (KiB) 25308

[startup+1113.5 s]
/proc/loadavg: 1.00 1.21 1.56 2/171 13774
/proc/meminfo: memFree=29169128/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1113.53
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 78890 32463 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1113.53
Current children cumulated vsize (KiB) 25308

[startup+1116.7 s]
/proc/loadavg: 1.00 1.21 1.56 2/171 13774
/proc/meminfo: memFree=29169128/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1116.72
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 79099 32573 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1116.72
Current children cumulated vsize (KiB) 25308

[startup+1118.3 s]
/proc/loadavg: 1.00 1.20 1.56 2/171 13774
/proc/meminfo: memFree=29169128/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1118.33
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 79208 32625 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1118.33
Current children cumulated vsize (KiB) 25308

[startup+1119.9 s]
/proc/loadavg: 1.00 1.20 1.56 2/171 13774
/proc/meminfo: memFree=29169128/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1119.93
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 79312 32681 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1119.93
Current children cumulated vsize (KiB) 25308

[startup+1120.3 s]
/proc/loadavg: 1.00 1.20 1.56 2/171 13774
/proc/meminfo: memFree=29169128/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1120.33
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 79339 32694 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1120.33
Current children cumulated vsize (KiB) 25308

[startup+1120.7 s]
/proc/loadavg: 1.00 1.20 1.56 2/171 13774
/proc/meminfo: memFree=29169128/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1120.72
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 79365 32707 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1120.72
Current children cumulated vsize (KiB) 25308

[startup+1120.8 s]
/proc/loadavg: 1.00 1.20 1.56 2/171 13774
/proc/meminfo: memFree=29169128/32950928 swapFree=67111528/67111528
[pid=13719] ppid=13717 vsize=25308 CPUtime=1120.83
/proc/13719/stat : 13719 (pbct) R 13717 13719 12651 0 -1 4202496 6030 0 0 0 79373 32710 0 0 25 0 1 0 14720956 25915392 5843 4089446400 134512640 136422188 4291711536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13719/statm: 6327 5843 237 467 0 5858 0
Current children cumulated CPU time (s) 1120.83
Current children cumulated vsize (KiB) 25308

Child status: 0
Real time (s): 1120.88
CPU time (s): 1120.91
CPU user time (s): 793.788
CPU system time (s): 327.125
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 25308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 793.788
system time used= 327.125
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6035
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= 10
involuntary context switches= 11260

runsolver used 1.53377 second user time and 3.57246 second system time

The end

Launcher Data 

Begin job on node114 at 2010-07-07 03:11:02
IDJOB=2698959
IDBENCH=79314
IDSOLVER=1212
FILE ID=node114/2698959-1278465062
PBS_JOBID= 11233764
Free space on /tmp= 73380 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698959-1278465062/watcher-2698959-1278465062 -o /tmp/evaluation-result-2698959-1278465062/solver-2698959-1278465062 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698959-1278465062.wbo

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

MD5SUM BENCH= 81f3c07bf85fb8fa2211498324cd1b10
RANDOM SEED=788142430

node114.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.824
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.64
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.824
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.824
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.83
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.824
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.81
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.824
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.824
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.824
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.82
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.824
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:     32950928 kB
MemFree:      29163556 kB
Buffers:        112480 kB
Cached:        3436868 kB
SwapCached:          0 kB
Active:        1070144 kB
Inactive:      2564368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29163556 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1960 kB
Writeback:           0 kB
AnonPages:       85960 kB
Mapped:          15624 kB
Slab:            87232 kB
PageTables:       4868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   229548 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= 73380 MiB
End job on node114 at 2010-07-07 03:29:43