Trace number 2698812

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 1131.1 1131.07

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
MD5SUMec85c0538058c3457da9eddcb3b315b2
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 benchmark173.946
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 723
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.092985 19.9883 12 4821
0.09/0.10	o 608
0.09/0.11	c 0.098984 20.2227 25 6292
0.09/0.11	o 600
0.09/0.12	c 0.110983 20.457 52 9067
0.09/0.12	o 531
0.09/0.19	c 0.149977 20.457 174 10864
0.09/0.19	o 497
0.19/0.26	c 0.187971 20.457 252 11426
0.19/0.26	o 487
0.19/0.27	c 0.19197 20.457 257 11868
0.19/0.27	o 482
0.19/0.28	c 0.198969 20.457 274 12544
0.19/0.28	o 474
0.19/0.29	c 0.201969 20.457 287 12946
0.19/0.29	o 465
0.29/0.36	c 0.245962 20.457 378 13308
0.29/0.36	o 462
0.39/0.44	c 0.302953 20.457 479 14456
0.39/0.44	o 454
0.49/0.57	c 0.383941 20.457 654 15400
0.49/0.57	o 450
0.59/0.66	c 0.434933 20.457 745 16102
0.59/0.66	o 438
0.79/0.85	c 0.538918 20.457 1057 17907
0.79/0.85	o 426
0.89/0.90	c 0.573912 20.457 1115 18779
0.89/0.90	o 402
1.00/1.07	c 0.663899 20.457 775 19888
1.00/1.07	o 399
1.10/1.13	c 0.702893 20.457 876 20576
1.10/1.13	o 398
1.19/1.21	c 0.756884 20.457 970 21234
1.19/1.21	o 396
1.29/1.32	c 0.828873 20.457 1118 22018
1.29/1.32	o 387
1.29/1.34	c 0.840872 20.457 1140 22294
1.29/1.34	o 386
1.29/1.38	c 0.868867 20.457 1185 23200
1.29/1.38	o 363
2.10/2.12	c 1.3198 20.5859 885 26537
2.10/2.12	o 354
2.10/2.15	c 1.3338 20.5859 924 26945
2.10/2.15	o 348
2.29/2.38	c 1.47477 20.5859 616 28125
2.29/2.38	o 345
2.39/2.44	c 1.51277 20.5859 680 28415
2.39/2.44	o 344
2.89/2.97	c 1.83472 20.5859 675 30455
2.89/2.97	o 339
3.29/3.37	c 2.09268 20.5859 592 32689
3.29/3.37	o 338
3.29/3.37	c 2.09568 20.5859 593 33419
3.29/3.37	o 319
3.29/3.39	c 2.10868 20.5859 615 33895
3.29/3.39	o 308
3.89/3.92	c 2.41963 20.5859 676 36936
3.89/3.92	o 291
5.19/5.27	c 3.2505 20.5859 1159 42219
5.19/5.27	o 275
5.99/6.06	c 3.73243 20.7148 1212 44989
5.99/6.06	o 272
6.29/6.36	c 3.9184 20.7148 1032 46660
6.29/6.36	o 270
6.60/6.65	c 4.12037 20.7148 773 48252
6.60/6.65	o 263
6.60/6.66	c 4.12537 20.7148 789 48500
6.60/6.66	o 258
6.99/7.03	c 4.35334 20.7148 656 49933
6.99/7.03	o 257
8.40/8.41	c 5.18121 20.7148 1017 55197
8.40/8.41	o 254
8.40/8.43	c 5.20021 20.7148 1073 55495
8.40/8.43	o 252
8.40/8.45	c 5.21021 20.7148 1086 55847
8.40/8.45	o 248
8.89/8.90	c 5.46017 20.7148 1028 57991
8.89/8.90	o 239
9.49/9.51	c 5.83411 20.7148 1249 60828
9.49/9.51	o 236
10.90/10.96	c 6.73998 20.7148 1213 66920
10.90/10.96	o 232
11.70/11.78	c 7.2659 20.7148 1659 69821
11.70/11.78	o 221
11.79/11.80	c 7.27489 20.7148 838 70289
11.79/11.80	o 212
12.10/12.15	c 7.48186 20.7148 720 72208
12.10/12.15	o 205
12.19/12.25	c 7.54385 20.7148 860 72641
12.19/12.25	o 204
12.29/12.36	c 7.60684 20.7148 993 73246
12.29/12.36	o 200
12.89/12.97	c 7.97379 20.7148 1151 75210
12.89/12.97	o 193
13.09/13.13	c 8.08077 20.7148 688 76187
13.09/13.13	o 179
13.39/13.46	c 8.28574 20.7148 1026 77326
13.39/13.46	o 166
13.59/13.68	c 8.41372 20.7148 752 78456
13.59/13.68	o 165
14.29/14.37	c 8.84666 20.7148 810 81042
14.29/14.37	o 159
15.80/15.87	c 9.77051 20.7148 773 85742
15.80/15.87	o 156
17.69/17.79	c 10.9363 20.7148 716 92956
17.69/17.79	o 144
22.00/22.08	c 13.5999 20.7148 733 108695
22.00/22.08	o 140
22.39/22.43	c 13.8319 20.8438 1526 110215
22.39/22.43	o 134
23.59/23.64	c 14.6198 20.8438 1249 115364
23.59/23.64	o 127
23.69/23.75	c 14.6908 20.8438 786 115807
23.69/23.75	o 126
24.39/24.49	c 15.1627 20.8438 1062 118353
24.39/24.49	o 125
26.09/26.10	c 16.1995 20.8438 1131 123560
26.09/26.10	o 116
29.89/29.91	c 18.5832 20.8438 1050 137308
29.89/29.91	o 112
31.49/31.52	c 19.608 20.9727 800 140817
31.49/31.52	o 111
32.79/32.88	c 20.4639 20.9727 901 144422
32.79/32.88	o 105
35.40/35.45	c 22.1046 20.9727 1208 153594
35.40/35.45	o 104
38.89/38.95	c 24.3453 20.9727 776 164976
38.89/38.95	o 94
39.99/40.04	c 25.0682 20.9727 880 168918
39.99/40.04	o 91
40.39/40.46	c 25.3381 20.9727 801 170713
40.39/40.46	o 88
40.79/40.82	c 25.5591 20.9727 784 172771
40.79/40.82	o 82
41.70/41.71	c 26.125 20.9727 1220 175812
41.70/41.71	o 81
42.90/42.98	c 26.9269 20.9727 1402 181270
42.90/42.98	o 71
42.99/43.04	c 26.9659 20.9727 1493 181501
42.99/43.04	o 70
43.19/43.20	c 27.0789 20.9727 1869 182632
43.19/43.20	o 69
43.79/43.85	c 27.5048 20.9727 2003 185476
43.79/43.85	o 67
44.89/44.93	c 28.2207 20.9727 2173 189980
44.89/44.93	o 64
45.89/45.92	c 28.8856 21.1016 2206 194557
45.89/45.92	o 57
45.89/45.93	c 28.8976 21.1016 1155 194993
45.89/45.93	o 45
46.19/46.25	c 29.1366 21.1016 2047 196822
46.19/46.25	o 44
46.29/46.37	c 29.2216 21.1016 2408 197683
46.29/46.37	o 39
47.19/47.21	c 29.8705 21.2305 2529 203301
47.19/47.21	o 35
47.30/47.32	c 29.9634 21.2305 3000 204199
47.30/47.32	o 30
48.99/49.00	c 31.3272 21.7461 2380 216416
48.99/49.00	o 28
49.09/49.14	c 31.4392 21.7461 2979 217807
49.09/49.14	o 14
49.50/49.52	c 31.7512 21.7461 2212 222355
49.50/49.52	o 12
49.99/50.03	c 32.1971 21.7461 2658 228576
49.99/50.03	o 8
51.80/51.84	c 33.7969 21.7461 2816 252648
51.80/51.84	o 6
53.59/53.62	c 35.4196 21.7461 3476 278082
53.59/53.62	o 5
77.19/77.22	c 56.5874 22.0039 3011 604864
77.19/77.22	o 2
116.60/116.69	c 92.391 23.0391 3340 1123243
116.60/116.69	o 1
1131.01/1131.04	c 1015.91 24.3516 3628 15168316
1131.01/1131.04	s OPTIMUM FOUND
1131.01/1131.04	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-2698812-1278464534/watcher-2698812-1278464534 -o /tmp/evaluation-result-2698812-1278464534/solver-2698812-1278464534 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698812-1278464534.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.93 4/178 13497
/proc/meminfo: memFree=30276944/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=2136 CPUtime=0
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14668185 2187264 173 4089446400 134512640 136422188 4293557696 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13497/statm: 534 173 144 467 0 65 0

[startup+0.02121 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13497
/proc/meminfo: memFree=30276944/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=3836 CPUtime=0.02
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 662 0 0 0 2 0 0 0 25 0 1 0 14668185 3928064 582 4089446400 134512640 136422188 4293557696 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 959 585 193 467 0 490 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3836

[startup+0.101199 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13497
/proc/meminfo: memFree=30276944/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=20464 CPUtime=0.09
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 4753 0 0 0 9 0 0 0 25 0 1 0 14668185 20955136 4640 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5116 4640 213 467 0 4647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20464

[startup+0.300154 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13497
/proc/meminfo: memFree=30276944/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=20944 CPUtime=0.29
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 4851 0 0 0 20 9 0 0 18 0 1 0 14668185 21446656 4730 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5236 4730 237 467 0 4767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20944

[startup+0.701083 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13497
/proc/meminfo: memFree=30276944/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=20944 CPUtime=0.69
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 4855 0 0 0 45 24 0 0 18 0 1 0 14668185 21446656 4730 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5236 4730 237 467 0 4767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20944

[startup+1.50095 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13498
/proc/meminfo: memFree=30258708/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=20944 CPUtime=1.49
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 4874 0 0 0 93 56 0 0 18 0 1 0 14668185 21446656 4741 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5236 4741 237 467 0 4767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20944

[startup+3.10067 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13498
/proc/meminfo: memFree=30258708/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=21076 CPUtime=3.09
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 4892 0 0 0 192 117 0 0 20 0 1 0 14668185 21581824 4754 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5269 4754 237 467 0 4800 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21076

[startup+6.30111 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13498
/proc/meminfo: memFree=30258712/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=21208 CPUtime=6.29
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 4941 0 0 0 387 242 0 0 25 0 1 0 14668185 21716992 4797 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5302 4797 237 467 0 4833 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21208

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13498
/proc/meminfo: memFree=30258836/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=21208 CPUtime=12.69
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 4959 0 0 0 779 490 0 0 19 0 1 0 14668185 21716992 4800 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5302 4800 237 467 0 4833 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21208

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13498
/proc/meminfo: memFree=30258788/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=21340 CPUtime=25.49
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 4998 0 0 0 1580 969 0 0 19 0 1 0 14668185 21852160 4827 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5335 4827 237 467 0 4866 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21340

[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13526
/proc/meminfo: memFree=30245200/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=22264 CPUtime=51.09
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5273 0 0 0 3313 1796 0 0 25 0 1 0 14668185 22798336 5077 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5566 5077 237 467 0 5097 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22264

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13527
/proc/meminfo: memFree=30243004/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=23324 CPUtime=102.3
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5533 0 0 0 7930 2300 0 0 25 0 1 0 14668185 23883776 5334 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5831 5334 237 467 0 5362 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23324

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13529
/proc/meminfo: memFree=30242440/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=23588 CPUtime=162.29
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5584 0 0 0 13382 2847 0 0 25 0 1 0 14668185 24154112 5384 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5897 5384 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.00 2.00 1.93 3/179 13531
/proc/meminfo: memFree=30242092/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=23588 CPUtime=222.3
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5595 0 0 0 18841 3389 0 0 25 0 1 0 14668185 24154112 5395 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5897 5395 237 467 0 5428 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23588

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13532
/proc/meminfo: memFree=30241276/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=23744 CPUtime=282.3
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5639 0 0 0 24286 3944 0 0 25 0 1 0 14668185 24313856 5439 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 5936 5439 237 467 0 5467 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23744

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13534
/proc/meminfo: memFree=30240720/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24008 CPUtime=342.3
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5711 0 0 0 29771 4459 0 0 25 0 1 0 14668185 24584192 5511 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6002 5511 237 467 0 5533 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24008

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13535
/proc/meminfo: memFree=30240780/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24008 CPUtime=402.3
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5712 0 0 0 35219 5011 0 0 25 0 1 0 14668185 24584192 5512 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6002 5512 237 467 0 5533 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24008

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13537
/proc/meminfo: memFree=30240092/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24140 CPUtime=462.31
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5749 0 0 0 40685 5546 0 0 25 0 1 0 14668185 24719360 5549 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6035 5549 237 467 0 5566 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24140

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13539
/proc/meminfo: memFree=30239904/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24272 CPUtime=522.31
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5759 0 0 0 46127 6104 0 0 25 0 1 0 14668185 24854528 5559 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6068 5559 237 467 0 5599 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24272

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13540
/proc/meminfo: memFree=30239824/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24404 CPUtime=582.3
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5786 0 0 0 51587 6643 0 0 25 0 1 0 14668185 24989696 5586 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6101 5586 237 467 0 5632 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24404

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13542
/proc/meminfo: memFree=30239508/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24536 CPUtime=642.31
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5841 0 0 0 57055 7176 0 0 25 0 1 0 14668185 25124864 5641 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6134 5641 237 467 0 5665 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 24536

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13543
/proc/meminfo: memFree=30238828/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24668 CPUtime=702.31
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5871 0 0 0 62537 7694 0 0 25 0 1 0 14668185 25260032 5671 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6167 5671 237 467 0 5698 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 24668

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13545
/proc/meminfo: memFree=30239000/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24800 CPUtime=762.31
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5887 0 0 0 68021 8210 0 0 25 0 1 0 14668185 25395200 5687 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6200 5687 237 467 0 5731 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 24800

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13547
/proc/meminfo: memFree=30238808/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24800 CPUtime=822.31
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5912 0 0 0 73484 8747 0 0 25 0 1 0 14668185 25395200 5712 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6200 5712 237 467 0 5731 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24800

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13548
/proc/meminfo: memFree=30238620/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=882.32
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5930 0 0 0 78939 9293 0 0 25 0 1 0 14668185 25530368 5730 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5730 237 467 0 5764 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 24932

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13550
/proc/meminfo: memFree=30238420/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=942.31
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5931 0 0 0 84423 9808 0 0 25 0 1 0 14668185 25530368 5731 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5731 237 467 0 5764 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 24932

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13554
/proc/meminfo: memFree=30237796/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=1002.32
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5940 0 0 0 89898 10334 0 0 25 0 1 0 14668185 25530368 5740 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5740 237 467 0 5764 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 24932

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13556
/proc/meminfo: memFree=30237572/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=1062.32
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5940 0 0 0 95336 10896 0 0 25 0 1 0 14668185 25530368 5740 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5740 237 467 0 5764 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 24932

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13558
/proc/meminfo: memFree=30237488/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=1122.32
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5940 0 0 0 100794 11438 0 0 25 0 1 0 14668185 25530368 5740 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5740 237 467 0 5764 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 24932

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

[startup+1126.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13558
/proc/meminfo: memFree=30237364/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=1126.33
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5940 0 0 0 101159 11474 0 0 25 0 1 0 14668185 25530368 5740 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5740 237 467 0 5764 0
Current children cumulated CPU time (s) 1126.33
Current children cumulated vsize (KiB) 24932

[startup+1129.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13558
/proc/meminfo: memFree=30237240/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=1129.52
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5940 0 0 0 101449 11503 0 0 25 0 1 0 14668185 25530368 5740 4089446400 134512640 136422188 4293557696 18446744073709551615 135006609 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5740 237 467 0 5764 0
Current children cumulated CPU time (s) 1129.52
Current children cumulated vsize (KiB) 24932

[startup+1130.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13558
/proc/meminfo: memFree=30237240/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=1130.31
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5940 0 0 0 101522 11509 0 0 25 0 1 0 14668185 25530368 5740 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5740 237 467 0 5764 0
Current children cumulated CPU time (s) 1130.31
Current children cumulated vsize (KiB) 24932

[startup+1130.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13558
/proc/meminfo: memFree=30237476/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=1130.72
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5940 0 0 0 101560 11512 0 0 25 0 1 0 14668185 25530368 5740 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5740 237 467 0 5764 0
Current children cumulated CPU time (s) 1130.72
Current children cumulated vsize (KiB) 24932

[startup+1130.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13558
/proc/meminfo: memFree=30237476/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=1130.91
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5940 0 0 0 101577 11514 0 0 25 0 1 0 14668185 25530368 5740 4089446400 134512640 136422188 4293557696 18446744073709551615 134862395 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5740 237 467 0 5764 0
Current children cumulated CPU time (s) 1130.91
Current children cumulated vsize (KiB) 24932

[startup+1131 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13558
/proc/meminfo: memFree=30237476/32950928 swapFree=67111528/67111528
[pid=13497] ppid=13495 vsize=24932 CPUtime=1131.01
/proc/13497/stat : 13497 (pbct) R 13495 13497 12513 0 -1 4202496 5940 0 0 0 101586 11515 0 0 25 0 1 0 14668185 25530368 5740 4089446400 134512640 136422188 4293557696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13497/statm: 6233 5740 237 467 0 5764 0
Current children cumulated CPU time (s) 1131.01
Current children cumulated vsize (KiB) 24932

Child status: 0
Real time (s): 1131.07
CPU time (s): 1131.1
CPU user time (s): 1015.93
CPU system time (s): 115.166
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 24932

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

runsolver used 1.60176 second user time and 3.54546 second system time

The end

Launcher Data 

Begin job on node112 at 2010-07-07 03:02:14
IDJOB=2698812
IDBENCH=79274
IDSOLVER=1212
FILE ID=node112/2698812-1278464534
PBS_JOBID= 11233769
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.1900556231--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698812-1278464534/watcher-2698812-1278464534 -o /tmp/evaluation-result-2698812-1278464534/solver-2698812-1278464534 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698812-1278464534.wbo

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

MD5SUM BENCH= ec85c0538058c3457da9eddcb3b315b2
RANDOM SEED=1107754759

node112.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.820
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.820
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.820
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.820
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.84
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.820
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.820
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.83
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.820
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.820
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30277464 kB
Buffers:        106588 kB
Cached:        2354196 kB
SwapCached:          0 kB
Active:         811048 kB
Inactive:      1720108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30277464 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1940 kB
Writeback:           0 kB
AnonPages:       70532 kB
Mapped:          15232 kB
Slab:            79172 kB
PageTables:       4448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   211468 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 node112 at 2010-07-07 03:21:06