Trace number 2698916

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 1174.77 1174.73

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo
MD5SUM889361cc7af818b09040d50027029365
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 benchmark154.84
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 137973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 701
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.093985 19.9805 35 6701
0.09/0.10	o 1062
0.09/0.14	c 0.121981 20.2148 102 10390
0.09/0.14	o 1025
0.09/0.15	c 0.12898 20.4492 109 11677
0.09/0.15	o 999
0.09/0.16	c 0.133979 20.4492 110 12550
0.09/0.16	o 977
0.09/0.16	c 0.136979 20.4492 110 15351
0.09/0.16	o 869
0.09/0.17	c 0.138978 20.4492 111 18386
0.09/0.17	o 772
0.19/0.20	c 0.154976 20.4492 216 19742
0.19/0.20	o 765
0.19/0.21	c 0.157975 20.4492 216 22626
0.19/0.21	o 572
0.19/0.21	c 0.160975 20.4492 216 23596
0.19/0.21	o 550
0.19/0.21	c 0.163975 20.4492 216 24516
0.19/0.21	o 537
0.19/0.22	c 0.165974 20.4492 216 24979
0.19/0.22	o 536
0.19/0.22	c 0.168974 20.4492 216 25827
0.19/0.22	o 524
0.19/0.23	c 0.170974 20.4492 216 26757
0.19/0.23	o 503
0.19/0.23	c 0.170974 20.4492 216 27224
0.19/0.23	o 499
0.19/0.24	c 0.173973 20.4492 216 28058
0.19/0.24	o 478
0.19/0.24	c 0.175973 20.4492 216 28583
0.19/0.24	o 467
0.19/0.25	c 0.177972 20.4492 216 28924
0.19/0.25	o 464
0.19/0.25	c 0.178972 20.4492 217 29447
0.19/0.25	o 453
0.29/0.35	c 0.233964 20.4492 321 30365
0.29/0.35	o 445
0.49/0.57	c 0.375942 20.4492 673 31529
0.49/0.57	o 438
0.59/0.61	c 0.405938 20.4492 716 31864
0.59/0.61	o 437
0.59/0.66	c 0.432934 20.4492 758 32417
0.59/0.66	o 426
0.59/0.69	c 0.450931 20.4492 826 32857
0.59/0.69	o 421
0.79/0.87	c 0.559914 20.4492 1050 33958
0.79/0.87	o 419
0.89/0.96	c 0.615906 20.4492 1175 35186
0.89/0.96	o 398
1.19/1.21	c 0.776881 20.4492 904 36764
1.19/1.21	o 393
1.19/1.27	c 0.811876 20.4492 963 37355
1.19/1.27	o 380
1.29/1.35	c 0.858869 20.4492 1044 37980
1.29/1.35	o 367
1.99/2.04	c 1.27081 20.5781 1135 41024
1.99/2.04	o 357
2.39/2.44	c 1.51677 20.5781 1008 43327
2.39/2.44	o 340
2.49/2.53	c 1.56876 20.5781 1133 44546
2.49/2.53	o 318
2.89/2.94	c 1.81572 20.5781 1000 46300
2.89/2.94	o 307
2.99/3.09	c 1.90671 20.5781 1127 47008
2.99/3.09	o 300
3.20/3.30	c 2.04769 20.5781 842 48505
3.20/3.30	o 294
3.69/3.70	c 2.29465 20.5781 683 50266
3.69/3.70	o 292
4.19/4.30	c 2.6516 20.5781 1344 52356
4.19/4.30	o 291
4.40/4.45	c 2.73058 20.5781 846 53252
4.40/4.45	o 279
4.69/4.74	c 2.91056 20.5781 1178 54534
4.69/4.74	o 278
4.99/5.09	c 3.12252 20.5781 1122 56489
4.99/5.09	o 267
5.09/5.10	c 3.12652 20.5781 1127 57072
5.09/5.10	o 248
5.79/5.88	c 3.59545 20.5781 1130 60686
5.79/5.88	o 241
6.19/6.28	c 3.83242 20.5781 1029 62640
6.19/6.28	o 233
6.50/6.52	c 3.97839 20.5781 1333 63644
6.50/6.52	o 225
7.29/7.37	c 4.49332 20.5781 1099 67565
7.29/7.37	o 219
7.49/7.55	c 4.6013 20.5781 711 69064
7.49/7.55	o 194
7.89/7.96	c 4.85626 20.5781 1174 70453
7.89/7.96	o 193
8.59/8.68	c 5.30619 20.5781 843 73469
8.59/8.68	o 192
8.69/8.73	c 5.34019 20.5781 956 74437
8.69/8.73	o 180
8.80/8.89	c 5.44117 20.5781 1142 75394
8.80/8.89	o 171
9.09/9.15	c 5.61615 20.707 1073 77010
9.09/9.15	o 169
9.80/9.90	c 6.07907 20.707 828 80129
9.80/9.90	o 164
10.39/10.41	c 6.39703 20.707 865 82068
10.39/10.41	o 161
10.69/10.74	c 6.606 20.707 1314 83354
10.69/10.74	o 156
10.79/10.81	c 6.65799 20.707 760 83977
10.79/10.81	o 153
11.19/11.21	c 6.91495 20.707 632 85590
11.19/11.21	o 150
11.19/11.24	c 6.93595 20.707 657 86020
11.19/11.24	o 147
11.19/11.26	c 6.95094 20.707 684 86195
11.19/11.26	o 146
12.10/12.12	c 7.50586 20.707 1182 89577
12.10/12.12	o 135
12.19/12.22	c 7.56285 20.707 1262 90104
12.19/12.22	o 124
12.99/13.01	c 8.04978 20.707 938 92833
12.99/13.01	o 114
14.30/14.36	c 8.86365 20.707 1171 97272
14.30/14.36	o 105
14.70/14.79	c 9.14861 20.707 1159 99488
14.70/14.79	o 96
14.89/14.91	c 9.2176 20.707 671 99993
14.89/14.91	o 94
14.89/14.94	c 9.2306 20.707 699 100255
14.89/14.94	o 87
17.50/17.59	c 10.9273 20.8359 950 109952
17.50/17.59	o 82
17.79/17.88	c 11.1213 20.8359 1326 110933
17.79/17.88	o 79
18.29/18.32	c 11.4163 20.8359 1386 113144
18.29/18.32	o 77
18.49/18.58	c 11.5872 20.8359 1768 114078
18.49/18.58	o 75
21.90/21.91	c 13.8069 20.9648 2006 126772
21.90/21.91	o 72
22.20/22.28	c 14.0609 20.9648 1712 128484
22.20/22.28	o 68
22.79/22.81	c 14.4248 20.9648 1704 131396
22.79/22.81	o 63
24.69/24.77	c 15.7496 21.0938 1913 139038
24.69/24.77	o 57
25.29/25.33	c 16.1605 21.0938 1949 142062
25.29/25.33	o 35
25.59/25.64	c 16.3835 21.0938 1818 144470
25.59/25.64	o 33
26.30/26.35	c 16.8964 21.0938 3064 149423
26.30/26.35	o 25
26.99/27.04	c 17.4563 21.3516 2054 156019
26.99/27.04	o 24
27.09/27.13	c 17.5353 21.3516 2612 157100
27.09/27.13	o 18
27.19/27.27	c 17.6533 21.3516 1815 158842
27.19/27.27	o 10
27.29/27.37	c 17.7353 21.3516 2589 160142
27.29/27.37	o 7
29.89/29.94	c 20.056 21.8672 3401 199066
29.89/29.94	o 6
30.39/30.49	c 20.5539 21.8672 2408 206816
30.39/30.49	o 5
30.49/30.51	c 20.5819 21.8672 2632 207194
30.49/30.51	o 4
36.39/36.45	c 25.9681 21.8672 3296 299933
36.39/36.45	o 1
1174.73/1174.70	c 1063.2 25.3633 3322 15381046
1174.73/1174.70	s OPTIMUM FOUND
1174.73/1174.70	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-2698916-1278464924/watcher-2698916-1278464924 -o /tmp/evaluation-result-2698916-1278464924/solver-2698916-1278464924 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698916-1278464924.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 2.00 4/182 12898
/proc/meminfo: memFree=30743392/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=2136 CPUtime=0
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14705741 2187264 174 4089446400 134512640 136422188 4294280672 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12898/statm: 534 174 144 467 0 65 0

[startup+0.076475 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 12898
/proc/meminfo: memFree=30743392/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=19664 CPUtime=0.07
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 4546 0 0 0 7 0 0 0 25 0 1 0 14705741 20135936 4433 4089446400 134512640 136422188 4294280672 18446744073709551615 134929929 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 4916 4433 203 467 0 4447 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19664

[startup+0.100473 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 12898
/proc/meminfo: memFree=30743392/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=20456 CPUtime=0.09
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 4755 0 0 0 9 0 0 0 25 0 1 0 14705741 20946944 4642 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 5114 4642 213 467 0 4645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20456

[startup+0.300435 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 12898
/proc/meminfo: memFree=30743392/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=20936 CPUtime=0.29
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 4863 0 0 0 20 9 0 0 25 0 1 0 14705741 21438464 4732 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 5234 4732 237 467 0 4765 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20936

[startup+0.700363 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 12898
/proc/meminfo: memFree=30743392/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=20936 CPUtime=0.69
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 4868 0 0 0 45 24 0 0 25 0 1 0 14705741 21438464 4732 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 5234 4732 237 467 0 4765 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20936

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12899
/proc/meminfo: memFree=30725032/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=20936 CPUtime=1.49
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 4885 0 0 0 95 54 0 0 25 0 1 0 14705741 21438464 4744 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 5234 4744 237 467 0 4765 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20936

[startup+3.10093 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12899
/proc/meminfo: memFree=30725360/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=21068 CPUtime=3.09
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 4901 0 0 0 191 118 0 0 25 0 1 0 14705741 21573632 4755 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 5267 4755 237 467 0 4798 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21068

[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12899
/proc/meminfo: memFree=30725120/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=21068 CPUtime=6.29
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 4924 0 0 0 384 245 0 0 18 0 1 0 14705741 21573632 4769 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 5267 4769 237 467 0 4798 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21068

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12899
/proc/meminfo: memFree=30725224/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=21200 CPUtime=12.69
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 4974 0 0 0 785 484 0 0 18 0 1 0 14705741 21708800 4802 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 5300 4802 237 467 0 4831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21200

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12899
/proc/meminfo: memFree=30725084/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=21596 CPUtime=25.49
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 5104 0 0 0 1627 922 0 0 25 0 1 0 14705741 22114304 4918 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 5399 4918 237 467 0 4930 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21596

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12900
/proc/meminfo: memFree=30709916/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=23048 CPUtime=51.09
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 5475 0 0 0 3926 1183 0 0 25 0 1 0 14705741 23601152 5279 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 5762 5279 237 467 0 5293 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23048

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12901
/proc/meminfo: memFree=30716960/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=23840 CPUtime=102.3
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 5648 0 0 0 8579 1651 0 0 25 0 1 0 14705741 24412160 5452 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 5960 5452 237 467 0 5491 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23840

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12903
/proc/meminfo: memFree=30716304/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=24236 CPUtime=162.3
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 5756 0 0 0 14044 2186 0 0 25 0 1 0 14705741 24817664 5560 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6059 5560 237 467 0 5590 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 24236

[startup+222.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 12905
/proc/meminfo: memFree=30716132/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=24424 CPUtime=222.3
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 5842 0 0 0 19527 2703 0 0 25 0 1 0 14705741 25010176 5626 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6106 5626 237 467 0 5637 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 24424

[startup+282.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 12907
/proc/meminfo: memFree=30716104/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=24424 CPUtime=282.31
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 5842 0 0 0 24980 3251 0 0 25 0 1 0 14705741 25010176 5626 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6106 5626 237 467 0 5637 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 24424

[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 12908
/proc/meminfo: memFree=30715808/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=24820 CPUtime=342.3
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 5933 0 0 0 30433 3797 0 0 25 0 1 0 14705741 25415680 5717 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6205 5717 237 467 0 5736 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24820

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12909
/proc/meminfo: memFree=30715536/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=24952 CPUtime=402.3
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 5959 0 0 0 35904 4326 0 0 25 0 1 0 14705741 25550848 5743 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6238 5743 237 467 0 5769 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24952

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12911
/proc/meminfo: memFree=30710916/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25084 CPUtime=462.3
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 5984 0 0 0 41367 4863 0 0 25 0 1 0 14705741 25686016 5768 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6271 5768 237 467 0 5802 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25084

[startup+522.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/183 12913
/proc/meminfo: memFree=30696376/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25084 CPUtime=522.31
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 5993 0 0 0 46817 5414 0 0 25 0 1 0 14705741 25686016 5777 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6271 5777 237 467 0 5802 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 25084

[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 12915
/proc/meminfo: memFree=30686296/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25348 CPUtime=582.31
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6074 0 0 0 52295 5936 0 0 25 0 1 0 14705741 25956352 5858 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6337 5858 237 467 0 5868 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25348

[startup+642.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 12919
/proc/meminfo: memFree=30695976/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25480 CPUtime=642.31
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6103 0 0 0 57788 6443 0 0 25 0 1 0 14705741 26091520 5887 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6370 5887 237 467 0 5901 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 25480

[startup+702.301 s]
/proc/loadavg: 1.97 2.03 2.00 2/178 12938
/proc/meminfo: memFree=31014852/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25480 CPUtime=702.32
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6106 0 0 0 63269 6963 0 0 25 0 1 0 14705741 26091520 5890 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6370 5890 237 467 0 5901 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 25480

[startup+762.306 s]
/proc/loadavg: 1.41 1.86 1.94 2/175 12944
/proc/meminfo: memFree=31018012/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25612 CPUtime=762.32
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6112 0 0 0 68747 7485 0 0 25 0 1 0 14705741 26226688 5896 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6403 5896 237 467 0 5934 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 25612

[startup+822.301 s]
/proc/loadavg: 1.15 1.70 1.88 2/175 12946
/proc/meminfo: memFree=31017976/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25612 CPUtime=822.32
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6112 0 0 0 74195 8037 0 0 25 0 1 0 14705741 26226688 5896 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6403 5896 237 467 0 5934 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 25612

[startup+882.301 s]
/proc/loadavg: 1.05 1.57 1.82 2/175 12948
/proc/meminfo: memFree=31018048/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25612 CPUtime=882.32
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6138 0 0 0 79673 8559 0 0 25 0 1 0 14705741 26226688 5922 4089446400 134512640 136422188 4294280672 18446744073709551615 134862725 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6403 5922 237 467 0 5934 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 25612

[startup+942.301 s]
/proc/loadavg: 1.02 1.46 1.77 2/175 12949
/proc/meminfo: memFree=31017884/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25704 CPUtime=942.32
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6207 0 0 0 85139 9093 0 0 25 0 1 0 14705741 26320896 5947 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6426 5947 237 467 0 5957 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 25704

[startup+1002.3 s]
/proc/loadavg: 1.00 1.38 1.72 2/175 12950
/proc/meminfo: memFree=31018072/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1002.33
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 90623 9610 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 134974279 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 25968

[startup+1062.3 s]
/proc/loadavg: 1.00 1.31 1.67 2/175 12952
/proc/meminfo: memFree=31017908/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1062.32
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 96100 10132 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 25968

[startup+1122.3 s]
/proc/loadavg: 1.00 1.25 1.63 2/175 12954
/proc/meminfo: memFree=31018116/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1122.33
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 101547 10686 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 25968

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

[startup+1126.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/175 12954
/proc/meminfo: memFree=31018116/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1126.33
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 101909 10724 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1126.33
Current children cumulated vsize (KiB) 25968

[startup+1151.9 s]
/proc/loadavg: 1.00 1.22 1.60 2/175 12954
/proc/meminfo: memFree=31018100/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1151.92
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 104238 10954 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1151.92
Current children cumulated vsize (KiB) 25968

[startup+1164.7 s]
/proc/loadavg: 1.00 1.21 1.60 2/175 12955
/proc/meminfo: memFree=31018088/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1164.73
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 105405 11068 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1164.73
Current children cumulated vsize (KiB) 25968

[startup+1171.1 s]
/proc/loadavg: 1.00 1.21 1.59 2/175 12955
/proc/meminfo: memFree=31018088/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1171.13
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 105992 11121 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 135021110 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1171.13
Current children cumulated vsize (KiB) 25968

[startup+1172.7 s]
/proc/loadavg: 1.00 1.21 1.59 2/175 12955
/proc/meminfo: memFree=31017964/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1172.73
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 106138 11135 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1172.73
Current children cumulated vsize (KiB) 25968

[startup+1173.5 s]
/proc/loadavg: 1.00 1.21 1.59 2/175 12955
/proc/meminfo: memFree=31017964/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1173.53
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 106210 11143 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1173.53
Current children cumulated vsize (KiB) 25968

[startup+1174.3 s]
/proc/loadavg: 1.00 1.21 1.59 2/175 12955
/proc/meminfo: memFree=31017964/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1174.33
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 106283 11150 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1174.33
Current children cumulated vsize (KiB) 25968

[startup+1174.7 s]
/proc/loadavg: 1.00 1.21 1.59 2/175 12955
/proc/meminfo: memFree=31018084/32951124 swapFree=67111528/67111528
[pid=12898] ppid=12896 vsize=25968 CPUtime=1174.73
/proc/12898/stat : 12898 (pbct) R 12896 12898 12389 0 -1 4202496 6245 0 0 0 106319 11154 0 0 25 0 1 0 14705741 26591232 5985 4089446400 134512640 136422188 4294280672 18446744073709551615 134854867 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12898/statm: 6492 5985 237 467 0 6023 0
Current children cumulated CPU time (s) 1174.73
Current children cumulated vsize (KiB) 25968

Child status: 0
Real time (s): 1174.73
CPU time (s): 1174.77
CPU user time (s): 1063.22
CPU system time (s): 111.546
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 25968

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

runsolver used 2.09168 second user time and 3.80342 second system time

The end

Launcher Data 

Begin job on node134 at 2010-07-07 03:08:44
IDJOB=2698916
IDBENCH=79308
IDSOLVER=1212
FILE ID=node134/2698916-1278464924
PBS_JOBID= 11233725
Free space on /tmp= 73772 MiB

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

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

MD5SUM BENCH= 889361cc7af818b09040d50027029365
RANDOM SEED=94537523

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30743912 kB
Buffers:        110880 kB
Cached:        1603892 kB
SwapCached:          0 kB
Active:         837580 kB
Inactive:      1233928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30743912 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1940 kB
Writeback:           0 kB
AnonPages:      356916 kB
Mapped:          15644 kB
Slab:            72276 kB
PageTables:       5528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   499996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73772 MiB
End job on node134 at 2010-07-07 03:28:19