Trace number 2698767

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 1098.27 1098.22

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo
MD5SUM1693c6ddcdda9c3a56f7a1957868c0a9
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark118.75
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 134314
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 134313
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 715
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.096985 19.9922 28 3566
0.09/0.10	o 505
0.19/0.20	c 0.160975 20.2266 146 4488
0.19/0.20	o 500
0.19/0.20	c 0.166974 20.4609 148 4737
0.19/0.20	o 497
0.19/0.23	c 0.183972 20.4609 192 6799
0.19/0.23	o 459
0.19/0.24	c 0.188971 20.4609 198 7194
0.19/0.24	o 456
0.19/0.27	c 0.205968 20.4609 223 7744
0.19/0.27	o 444
0.29/0.30	c 0.225965 20.4609 282 8149
0.29/0.30	o 438
0.29/0.31	c 0.232964 20.4609 312 9670
0.29/0.31	o 403
0.29/0.33	c 0.242963 20.4609 334 10216
0.29/0.33	o 391
0.29/0.34	c 0.247962 20.4609 334 10743
0.29/0.34	o 383
0.29/0.34	c 0.251961 20.4609 334 11167
0.29/0.34	o 378
0.29/0.34	c 0.252961 20.4609 335 11781
0.29/0.34	o 366
0.29/0.37	c 0.270958 20.4609 357 12153
0.29/0.37	o 362
0.69/0.78	c 0.52292 20.4609 988 13828
0.69/0.78	o 358
0.79/0.86	c 0.580911 20.4609 1096 14718
0.79/0.86	o 354
0.79/0.88	c 0.58691 20.4609 1134 15314
0.79/0.88	o 344
0.99/1.01	c 0.665898 20.4609 656 15961
0.99/1.01	o 339
0.99/1.05	c 0.687895 20.4609 704 17440
0.99/1.05	o 293
1.19/1.24	c 0.795879 20.4609 964 18432
1.19/1.24	o 290
1.59/1.61	c 1.01785 20.4609 949 20610
1.59/1.61	o 283
1.89/1.91	c 1.18582 20.5898 1245 21635
1.89/1.91	o 274
1.89/1.92	c 1.19482 20.5898 633 23630
1.89/1.92	o 226
2.49/2.51	c 1.56576 20.5898 822 25921
2.49/2.51	o 223
2.49/2.51	c 1.56876 20.5898 824 26061
2.49/2.51	o 222
2.49/2.58	c 1.61975 20.5898 959 26544
2.49/2.58	o 221
2.79/2.84	c 1.79673 20.5898 1260 27674
2.79/2.84	o 217
3.39/3.48	c 2.21466 20.5898 776 30566
3.39/3.48	o 209
3.49/3.58	c 2.28165 20.5898 898 31164
3.49/3.58	o 204
4.40/4.43	c 2.82157 20.5898 1174 34093
4.40/4.43	o 199
4.59/4.64	c 2.95155 20.5898 850 35363
4.59/4.64	o 188
4.90/4.99	c 3.16352 20.5898 1243 36675
4.90/4.99	o 179
5.69/5.79	c 3.66944 20.5898 1533 39080
5.69/5.79	o 171
5.80/5.82	c 3.68544 20.5898 788 39440
5.80/5.82	o 163
5.89/5.99	c 3.79142 20.5898 1030 40604
5.89/5.99	o 150
6.49/6.56	c 4.15337 20.5898 1124 42538
6.49/6.56	o 149
6.99/7.06	c 4.46032 20.5898 1118 44479
6.99/7.06	o 147
6.99/7.06	c 4.46332 20.5898 1120 44618
6.99/7.06	o 146
6.99/7.07	c 4.46732 20.5898 1123 44788
6.99/7.07	o 144
7.09/7.11	c 4.49032 20.5898 1160 44972
7.09/7.11	o 143
7.09/7.16	c 4.52531 20.5898 675 45536
7.09/7.16	o 140
7.50/7.54	c 4.77027 20.5898 1195 47017
7.50/7.54	o 139
10.19/10.26	c 6.49901 20.7188 1468 54425
10.19/10.26	o 133
10.39/10.42	c 6.587 20.7188 878 54871
10.39/10.42	o 129
10.39/10.45	c 6.609 20.7188 908 55224
10.39/10.45	o 122
10.99/11.01	c 6.96594 20.7188 986 56947
10.99/11.01	o 115
11.19/11.28	c 7.13192 20.7188 772 58457
11.19/11.28	o 101
12.20/12.24	c 7.74882 20.7188 1283 61554
12.20/12.24	o 93
12.99/13.05	c 8.26474 20.7188 899 65700
12.99/13.05	o 88
13.20/13.23	c 8.38273 20.7188 1261 66674
13.20/13.23	o 83
13.99/14.05	c 8.91065 20.8477 1576 69528
13.99/14.05	o 79
14.20/14.29	c 9.07062 20.8477 1229 70520
14.20/14.29	o 78
14.30/14.31	c 9.07562 20.8477 1249 70660
14.30/14.31	o 76
14.59/14.66	c 9.31958 20.8477 991 72333
14.59/14.66	o 75
14.69/14.71	c 9.35358 20.8477 1059 72689
14.69/14.71	o 69
15.39/15.43	c 9.8565 20.8477 1348 75575
15.39/15.43	o 68
16.30/16.37	c 10.4934 20.8477 1155 79883
16.30/16.37	o 67
16.60/16.63	c 10.6614 20.8477 1570 80719
16.60/16.63	o 62
17.89/17.91	c 11.5382 20.9766 1863 85921
17.89/17.91	o 59
18.99/19.09	c 12.3841 20.9766 1348 92161
18.99/19.09	o 58
19.70/19.72	c 12.8131 20.9766 1439 94654
19.70/19.72	o 49
20.49/20.52	c 13.407 20.9766 2347 98883
20.49/20.52	o 46
20.70/20.73	c 13.5599 20.9766 1770 100148
20.70/20.73	o 42
29.00/29.01	c 19.685 21.3633 2615 145508
29.00/29.01	o 38
31.69/31.73	c 21.7437 21.4922 2991 160459
31.69/31.73	o 36
32.19/32.20	c 22.0936 21.4922 1624 163163
32.19/32.20	o 35
33.79/33.86	c 23.3435 21.6211 3162 172556
33.79/33.86	o 28
34.99/35.05	c 24.2743 21.6211 2060 180321
34.99/35.05	o 27
35.20/35.25	c 24.4293 21.6211 2936 181767
35.20/35.25	o 19
35.39/35.40	c 24.5693 21.6211 2381 183435
35.39/35.40	o 17
39.99/40.00	c 28.5777 22.0078 2268 231076
39.99/40.00	o 14
40.29/40.36	c 28.8896 22.0078 3583 236041
40.29/40.36	o 13
40.99/41.01	c 29.4595 22.0078 2820 242760
40.99/41.01	o 11
42.30/42.31	c 30.5943 22.0078 2228 258320
42.30/42.31	o 8
42.30/42.38	c 30.6493 22.0078 2940 259436
42.30/42.38	o 5
50.19/50.29	c 37.8232 22.6523 2881 359530
50.19/50.29	o 4
70.09/70.17	c 55.9055 22.6523 3583 630477
70.09/70.17	o 3
95.60/95.64	c 78.919 22.6523 2465 974175
95.60/95.64	o 2
192.19/192.29	c 166.787 23.168 2723 2297302
192.19/192.29	o 1
1098.14/1098.19	c 991.943 24.1172 3993 15262100
1098.14/1098.19	s OPTIMUM FOUND
1098.14/1098.19	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	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698767-1278464502/watcher-2698767-1278464502 -o /tmp/evaluation-result-2698767-1278464502/solver-2698767-1278464502 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698767-1278464502.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: 1.98 1.98 1.93 4/178 16327
/proc/meminfo: memFree=29474180/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=2136 CPUtime=0
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 14662124 2187264 172 4089446400 134512640 136422188 4286978624 18446744073709551615 135809759 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16327/statm: 534 172 144 467 0 65 0

[startup+0.079373 s]
/proc/loadavg: 1.98 1.98 1.93 4/178 16327
/proc/meminfo: memFree=29474180/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=19676 CPUtime=0.07
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 4565 0 0 0 7 0 0 0 25 0 1 0 14662124 20148224 4452 4089446400 134512640 136422188 4286978624 18446744073709551615 134928130 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16327/statm: 4919 4452 203 467 0 4450 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19676

[startup+0.100366 s]
/proc/loadavg: 1.98 1.98 1.93 4/178 16327
/proc/meminfo: memFree=29474180/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=20468 CPUtime=0.09
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 4756 0 0 0 9 0 0 0 25 0 1 0 14662124 20959232 4643 4089446400 134512640 136422188 4286978624 18446744073709551615 134853435 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16327/statm: 5117 4643 213 467 0 4648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20468

[startup+0.300328 s]
/proc/loadavg: 1.98 1.98 1.93 4/178 16327
/proc/meminfo: memFree=29474180/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=20948 CPUtime=0.29
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 4852 0 0 0 22 7 0 0 18 0 1 0 14662124 21450752 4733 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16327/statm: 5237 4733 237 467 0 4768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20948

[startup+0.700247 s]
/proc/loadavg: 1.98 1.98 1.93 4/178 16327
/proc/meminfo: memFree=29474180/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=20948 CPUtime=0.69
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 4859 0 0 0 47 22 0 0 18 0 1 0 14662124 21450752 4733 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16327/statm: 5237 4733 237 467 0 4768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20948

[startup+1.50108 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 16328
/proc/meminfo: memFree=29455944/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=20948 CPUtime=1.49
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 4877 0 0 0 95 54 0 0 18 0 1 0 14662124 21450752 4745 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16327/statm: 5237 4745 237 467 0 4768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20948

[startup+3.10076 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 16328
/proc/meminfo: memFree=29455820/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=21080 CPUtime=3.1
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 4910 0 0 0 196 114 0 0 21 0 1 0 14662124 21585920 4771 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16327/statm: 5270 4771 237 467 0 4801 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 21080

[startup+6.30113 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 16329
/proc/meminfo: memFree=29455888/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=21080 CPUtime=6.29
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 4932 0 0 0 398 231 0 0 19 0 1 0 14662124 21585920 4785 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16327/statm: 5270 4785 237 467 0 4801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21080

[startup+12.7009 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 16329
/proc/meminfo: memFree=29442996/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=21212 CPUtime=12.69
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 4969 0 0 0 803 466 0 0 25 0 1 0 14662124 21721088 4809 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16327/statm: 5303 4809 237 467 0 4834 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21212

[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 16330
/proc/meminfo: memFree=29416644/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=21740 CPUtime=25.5
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5125 0 0 0 1711 839 0 0 25 0 1 0 14662124 22261760 4950 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16327/statm: 5435 4950 237 467 0 4966 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 21740

[startup+51.1002 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 16330
/proc/meminfo: memFree=29415328/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=23192 CPUtime=51.09
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5489 0 0 0 3856 1253 0 0 25 0 1 0 14662124 23748608 5301 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 5798 5301 237 467 0 5329 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23192

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 16332
/proc/meminfo: memFree=29421492/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=23192 CPUtime=102.3
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5491 0 0 0 8500 1730 0 0 25 0 1 0 14662124 23748608 5301 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 5798 5301 237 467 0 5329 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23192

[startup+162.301 s]
/proc/loadavg: 2.06 2.00 1.93 3/179 16361
/proc/meminfo: memFree=30123004/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=23588 CPUtime=162.29
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5598 0 0 0 13958 2271 0 0 25 0 1 0 14662124 24154112 5408 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 5897 5408 237 467 0 5428 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23588

[startup+222.301 s]
/proc/loadavg: 2.06 2.01 1.94 3/179 16362
/proc/meminfo: memFree=30121376/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=23720 CPUtime=222.3
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5622 0 0 0 19403 2827 0 0 25 0 1 0 14662124 24289280 5431 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 5930 5431 237 467 0 5461 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23720

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 16364
/proc/meminfo: memFree=30121092/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=23852 CPUtime=282.31
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5638 0 0 0 24837 3394 0 0 25 0 1 0 14662124 24424448 5447 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 5963 5447 237 467 0 5494 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 23852

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 16366
/proc/meminfo: memFree=30120308/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=23852 CPUtime=342.31
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5671 0 0 0 30308 3923 0 0 25 0 1 0 14662124 24424448 5480 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 5963 5480 237 467 0 5494 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 23852

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16368
/proc/meminfo: memFree=30120268/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=23988 CPUtime=402.31
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5697 0 0 0 35767 4464 0 0 25 0 1 0 14662124 24563712 5506 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 5997 5506 237 467 0 5528 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 23988

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16369
/proc/meminfo: memFree=30119740/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24120 CPUtime=462.31
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5733 0 0 0 41239 4992 0 0 25 0 1 0 14662124 24698880 5542 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6030 5542 237 467 0 5561 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24120

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16370
/proc/meminfo: memFree=30119832/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24120 CPUtime=522.31
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5735 0 0 0 46680 5551 0 0 25 0 1 0 14662124 24698880 5544 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6030 5544 237 467 0 5561 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24120

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16372
/proc/meminfo: memFree=30119432/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24428 CPUtime=582.32
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5797 0 0 0 52151 6081 0 0 25 0 1 0 14662124 25014272 5606 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6107 5606 237 467 0 5638 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 24428

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16374
/proc/meminfo: memFree=30119280/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24428 CPUtime=642.32
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5798 0 0 0 57627 6605 0 0 25 0 1 0 14662124 25014272 5607 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6107 5607 237 467 0 5638 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 24428

[startup+702.301 s]
/proc/loadavg: 2.11 2.03 1.95 3/179 16376
/proc/meminfo: memFree=30119004/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24428 CPUtime=702.32
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5809 0 0 0 63104 7128 0 0 25 0 1 0 14662124 25014272 5618 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6107 5618 237 467 0 5638 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 24428

[startup+762.306 s]
/proc/loadavg: 2.04 2.02 1.95 3/179 16377
/proc/meminfo: memFree=30118588/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24560 CPUtime=762.33
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5823 0 0 0 68570 7663 0 0 25 0 1 0 14662124 25149440 5632 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6140 5632 237 467 0 5671 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 24560

[startup+822.301 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 16378
/proc/meminfo: memFree=30118564/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24560 CPUtime=822.33
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5831 0 0 0 74053 8180 0 0 25 0 1 0 14662124 25149440 5640 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6140 5640 237 467 0 5671 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 24560

[startup+882.301 s]
/proc/loadavg: 2.07 2.03 1.95 3/179 16380
/proc/meminfo: memFree=30118532/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24560 CPUtime=882.34
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5844 0 0 0 79506 8728 0 0 25 0 1 0 14662124 25149440 5653 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6140 5653 237 467 0 5671 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 24560

[startup+942.301 s]
/proc/loadavg: 2.02 2.02 1.95 3/179 16382
/proc/meminfo: memFree=30118504/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24692 CPUtime=942.33
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5866 0 0 0 84977 9256 0 0 25 0 1 0 14662124 25284608 5675 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6173 5675 237 467 0 5704 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 24692

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 16384
/proc/meminfo: memFree=30118360/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24692 CPUtime=1002.33
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5866 0 0 0 90463 9770 0 0 25 0 1 0 14662124 25284608 5675 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6173 5675 237 467 0 5704 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 24692

[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/179 16388
/proc/meminfo: memFree=30117884/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24692 CPUtime=1062.34
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5870 0 0 0 95924 10310 0 0 25 0 1 0 14662124 25284608 5679 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6173 5679 237 467 0 5704 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 24692

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

[startup+1075.1 s]
/proc/loadavg: 2.04 2.03 1.96 3/179 16389
/proc/meminfo: memFree=30117848/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24692 CPUtime=1075.14
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5873 0 0 0 97092 10422 0 0 25 0 1 0 14662124 25284608 5682 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6173 5682 237 467 0 5704 0
Current children cumulated CPU time (s) 1075.14
Current children cumulated vsize (KiB) 24692

[startup+1087.91 s]
/proc/loadavg: 2.03 2.02 1.96 3/179 16389
/proc/meminfo: memFree=30117972/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24692 CPUtime=1087.95
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5875 0 0 0 98257 10538 0 0 25 0 1 0 14662124 25284608 5684 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6173 5684 237 467 0 5704 0
Current children cumulated CPU time (s) 1087.95
Current children cumulated vsize (KiB) 24692

[startup+1094.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/179 16389
/proc/meminfo: memFree=30117972/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24692 CPUtime=1094.34
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5875 0 0 0 98840 10594 0 0 25 0 1 0 14662124 25284608 5684 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6173 5684 237 467 0 5704 0
Current children cumulated CPU time (s) 1094.34
Current children cumulated vsize (KiB) 24692

[startup+1095.9 s]
/proc/loadavg: 2.03 2.02 1.96 3/179 16389
/proc/meminfo: memFree=30117848/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24692 CPUtime=1095.94
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5878 0 0 0 98984 10610 0 0 25 0 1 0 14662124 25284608 5687 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6173 5687 237 467 0 5704 0
Current children cumulated CPU time (s) 1095.94
Current children cumulated vsize (KiB) 24692

[startup+1097.5 s]
/proc/loadavg: 2.03 2.02 1.96 3/179 16389
/proc/meminfo: memFree=30117968/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24692 CPUtime=1097.54
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5878 0 0 0 99131 10623 0 0 25 0 1 0 14662124 25284608 5687 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6173 5687 237 467 0 5704 0
Current children cumulated CPU time (s) 1097.54
Current children cumulated vsize (KiB) 24692

[startup+1097.9 s]
/proc/loadavg: 2.03 2.02 1.96 3/179 16389
/proc/meminfo: memFree=30117968/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24692 CPUtime=1097.94
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5878 0 0 0 99167 10627 0 0 25 0 1 0 14662124 25284608 5687 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6173 5687 237 467 0 5704 0
Current children cumulated CPU time (s) 1097.94
Current children cumulated vsize (KiB) 24692

[startup+1098.1 s]
/proc/loadavg: 2.03 2.02 1.96 3/179 16389
/proc/meminfo: memFree=30117968/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=24692 CPUtime=1098.14
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5878 0 0 0 99185 10629 0 0 25 0 1 0 14662124 25284608 5687 4089446400 134512640 136422188 4286978624 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 6173 5687 237 467 0 5704 0
Current children cumulated CPU time (s) 1098.14
Current children cumulated vsize (KiB) 24692

[startup+1098.2 s]
/proc/loadavg: 2.03 2.02 1.96 3/179 16389
/proc/meminfo: memFree=30117968/32950928 swapFree=67111528/67111528
[pid=16327] ppid=16325 vsize=21596 CPUtime=1098.24
/proc/16327/stat : 16327 (pbct) R 16325 16327 15829 0 -1 4202496 5882 0 0 0 99194 10630 0 0 25 0 1 0 14662124 22114304 5043 4089446400 134512640 136422188 4286978624 18446744073709551615 135801396 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16327/statm: 5399 5043 240 467 0 4930 0
Current children cumulated CPU time (s) 1098.24
Current children cumulated vsize (KiB) 21596

Child status: 0
Real time (s): 1098.22
CPU time (s): 1098.27
CPU user time (s): 991.966
CPU system time (s): 106.304
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 24692

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

runsolver used 1.52877 second user time and 3.47247 second system time

The end

Launcher Data 

Begin job on node149 at 2010-07-07 03:01:42
IDJOB=2698767
IDBENCH=79262
IDSOLVER=1212
FILE ID=node149/2698767-1278464502
PBS_JOBID= 11233695
Free space on /tmp= 73584 MiB

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

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

MD5SUM BENCH= 1693c6ddcdda9c3a56f7a1957868c0a9
RANDOM SEED=405961178

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
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.827
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.827
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.827
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.75
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.827
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.79
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.827
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.827
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:      29474700 kB
Buffers:        114192 kB
Cached:        2458408 kB
SwapCached:          0 kB
Active:        1469680 kB
Inactive:      1852652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29474700 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1944 kB
Writeback:           0 kB
AnonPages:      749468 kB
Mapped:          15456 kB
Slab:            89204 kB
PageTables:       6024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   917884 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= 73584 MiB
End job on node149 at 2010-07-07 03:20:00