Trace number 2695063

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.1MSAT (TO) 1800.05 1800.01

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo
MD5SUMcf389047fd441928b15b38cce26251ed
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 benchmark273.451
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 135280
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135279
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 685
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.1 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.15	c 0.116982 20.0039 31 43443
0.09/0.16	o 811
0.19/0.21	c 0.143978 20.2383 56 70659
0.19/0.21	o 730
0.19/0.24	c 0.150977 20.4727 85 79810
0.19/0.24	o 412
0.39/0.43	c 0.253961 20.4727 370 84629
0.39/0.43	o 399
0.39/0.45	c 0.26096 20.4727 389 86500
0.39/0.45	o 393
0.49/0.53	c 0.300954 20.4727 525 91701
0.49/0.53	o 380
0.69/0.75	c 0.436933 20.4727 874 94679
0.69/0.75	o 366
0.79/0.84	c 0.495924 20.4727 997 96244
0.79/0.84	o 341
0.79/0.86	c 0.503923 20.4727 1011 96679
0.79/0.86	o 331
0.89/1.00	c 0.594909 20.4727 627 99371
0.89/1.00	o 329
1.00/1.06	c 0.620905 20.4727 689 100174
1.00/1.06	o 315
1.00/1.10	c 0.626904 20.4727 738 101013
1.00/1.10	o 303
1.09/1.16	c 0.6569 20.4727 816 102101
1.09/1.16	o 294
1.19/1.20	c 0.676897 20.4727 853 102574
1.19/1.20	o 292
1.29/1.37	c 0.766883 20.4727 1067 104076
1.29/1.37	o 287
1.39/1.49	c 0.843871 20.4727 656 105514
1.39/1.49	o 272
1.49/1.56	c 0.883865 20.4727 735 106173
1.49/1.56	o 258
1.59/1.65	c 0.924859 20.4727 828 106807
1.59/1.65	o 247
1.69/1.73	c 0.958854 20.4727 917 107159
1.69/1.73	o 244
1.79/1.85	c 1.03284 20.4727 1141 108257
1.79/1.85	o 227
2.29/2.35	c 1.3388 20.4727 1154 110724
2.29/2.35	o 225
2.59/2.60	c 1.48277 20.4727 829 112326
2.59/2.60	o 218
2.59/2.65	c 1.51177 20.4727 876 113134
2.59/2.65	o 204
3.30/3.36	c 1.9487 20.4727 1349 115944
3.30/3.36	o 197
3.49/3.52	c 2.05069 20.4727 905 116923
3.49/3.52	o 191
3.79/3.84	c 2.25066 20.4727 716 118893
3.79/3.84	o 181
3.99/4.00	c 2.33465 20.4727 950 120437
3.99/4.00	o 158
3.99/4.04	c 2.35664 20.4727 1007 120803
3.99/4.04	o 151
3.99/4.04	c 2.35864 20.4727 1013 120980
3.99/4.04	o 147
4.19/4.30	c 2.51062 20.4727 1383 122274
4.19/4.30	o 132
4.30/4.31	c 2.51462 20.4727 698 122723
4.30/4.31	o 117
7.19/7.22	c 3.9534 20.7305 1040 131414
7.19/7.22	o 113
7.49/7.54	c 4.15437 20.7305 832 132888
7.49/7.54	o 97
8.99/9.09	c 5.07323 20.7305 780 137483
8.99/9.09	o 96
9.09/9.13	c 5.10122 20.7305 813 137961
9.09/9.13	o 88
9.09/9.14	c 5.10722 20.7305 832 138239
9.09/9.14	o 81
9.19/9.29	c 5.19221 20.7305 1261 139416
9.19/9.29	o 73
9.29/9.34	c 5.2322 20.7305 1337 139609
9.29/9.34	o 72
9.39/9.40	c 5.2732 20.7305 1464 140159
9.39/9.40	o 65
10.79/10.86	c 6.30104 20.8594 1021 147078
10.79/10.86	o 63
10.79/10.88	c 6.31304 20.8594 1059 147220
10.79/10.88	o 61
11.09/11.18	c 6.52101 20.8594 1995 149389
11.09/11.18	o 58
11.39/11.43	c 6.69298 20.8594 1376 150618
11.39/11.43	o 55
11.49/11.56	c 6.78297 20.8594 1736 151478
11.49/11.56	o 52
11.99/12.06	c 7.05993 20.8594 2134 155035
11.99/12.06	o 34
12.10/12.13	c 7.09892 20.8594 2455 155772
12.10/12.13	o 24
12.29/12.32	c 7.2219 20.8594 2080 157842
12.29/12.32	o 22
12.39/12.46	c 7.31689 20.9883 3181 159649
12.39/12.46	o 19
12.50/12.60	c 7.41387 20.9883 2486 161811
12.50/12.60	o 5
12.99/13.03	c 7.78981 21.5039 2983 168631
12.99/13.03	o 4
17.39/17.50	c 11.8052 21.5039 2377 236703
17.39/17.50	o 2
30.49/30.56	c 23.5474 22.0195 3329 421108
30.49/30.56	o 1
1800.03/1800.00	s SATISFIABLE
1800.03/1800.00	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-2695063-1277928154/watcher-2695063-1277928154 -o /tmp/evaluation-result-2695063-1277928154/solver-2695063-1277928154 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695063-1277928154.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.92 2.01 2.00 4/196 26838
/proc/meminfo: memFree=30985920/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=2136 CPUtime=0
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 166407176 2187264 174 4089446400 134512640 136421960 4292990880 18446744073709551615 134518197 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26838/statm: 534 174 144 467 0 65 0

[startup+0.0678989 s]
/proc/loadavg: 1.92 2.01 2.00 4/196 26838
/proc/meminfo: memFree=30985920/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=15620 CPUtime=0.06
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 3618 0 0 0 6 0 0 0 25 0 1 0 166407176 15994880 3537 4089446400 134512640 136421960 4292990880 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 3905 3539 193 467 0 3436 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15620

[startup+0.100891 s]
/proc/loadavg: 1.92 2.01 2.00 4/196 26838
/proc/meminfo: memFree=30985920/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=20480 CPUtime=0.09
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 4754 0 0 0 9 0 0 0 25 0 1 0 166407176 20971520 4640 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5120 4640 213 467 0 4651 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20480

[startup+0.300858 s]
/proc/loadavg: 1.92 2.01 2.00 4/196 26838
/proc/meminfo: memFree=30985920/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=20960 CPUtime=0.29
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 4846 0 0 0 18 11 0 0 25 0 1 0 166407176 21463040 4729 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5240 4729 236 467 0 4771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20960

[startup+0.700786 s]
/proc/loadavg: 1.92 2.01 2.00 4/196 26838
/proc/meminfo: memFree=30985920/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=20960 CPUtime=0.69
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 4850 0 0 0 40 29 0 0 25 0 1 0 166407176 21463040 4730 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5240 4730 237 467 0 4771 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20960

[startup+1.50064 s]
/proc/loadavg: 1.92 2.01 2.00 3/197 26839
/proc/meminfo: memFree=30967684/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=20960 CPUtime=1.49
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 4860 0 0 0 84 65 0 0 18 0 1 0 166407176 21463040 4730 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5240 4730 237 467 0 4771 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20960

[startup+3.10035 s]
/proc/loadavg: 1.92 2.01 2.00 3/197 26839
/proc/meminfo: memFree=30967560/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=20960 CPUtime=3.09
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 4871 0 0 0 176 133 0 0 19 0 1 0 166407176 21463040 4734 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5240 4734 237 467 0 4771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20960

[startup+6.30076 s]
/proc/loadavg: 1.93 2.01 2.00 3/197 26839
/proc/meminfo: memFree=30967560/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=21224 CPUtime=6.29
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 4951 0 0 0 339 290 0 0 25 0 1 0 166407176 21733376 4806 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5306 4806 237 467 0 4837 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21224

[startup+12.7006 s]
/proc/loadavg: 1.93 2.01 2.00 3/197 26839
/proc/meminfo: memFree=30967880/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=21488 CPUtime=12.69
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5045 0 0 0 749 520 0 0 25 0 1 0 166407176 22003712 4882 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5372 4882 237 467 0 4903 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21488

[startup+25.5002 s]
/proc/loadavg: 2.39 2.11 2.03 3/197 26839
/proc/meminfo: memFree=30967172/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=22280 CPUtime=25.49
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5238 0 0 0 1893 656 0 0 25 0 1 0 166407176 22814720 5073 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5570 5073 237 467 0 5101 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22280

[startup+51.1006 s]
/proc/loadavg: 2.33 2.11 2.03 3/197 26840
/proc/meminfo: memFree=30967136/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=22544 CPUtime=51.09
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5294 0 0 0 4190 919 0 0 25 0 1 0 166407176 23085056 5128 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5636 5128 237 467 0 5167 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22544

[startup+102.306 s]
/proc/loadavg: 2.14 2.09 2.03 3/197 26841
/proc/meminfo: memFree=30966624/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=23072 CPUtime=102.3
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5421 0 0 0 8836 1394 0 0 25 0 1 0 166407176 23625728 5255 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5768 5255 237 467 0 5299 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23072

[startup+162.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/197 26843
/proc/meminfo: memFree=30966444/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=23336 CPUtime=162.29
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5487 0 0 0 14292 1937 0 0 25 0 1 0 166407176 23896064 5321 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5834 5321 237 467 0 5365 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23336

[startup+222.3 s]
/proc/loadavg: 2.58 2.17 2.05 3/197 26845
/proc/meminfo: memFree=30966160/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=23600 CPUtime=222.3
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5551 0 0 0 19696 2534 0 0 25 0 1 0 166407176 24166400 5385 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5900 5385 237 467 0 5431 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23600

[startup+282.3 s]
/proc/loadavg: 2.21 2.14 2.05 3/197 26846
/proc/meminfo: memFree=30966124/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=23732 CPUtime=282.29
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5589 0 0 0 25115 3114 0 0 25 0 1 0 166407176 24301568 5423 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5933 5423 237 467 0 5464 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 23732

[startup+342.3 s]
/proc/loadavg: 2.08 2.11 2.04 3/197 26848
/proc/meminfo: memFree=30941780/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=23864 CPUtime=342.29
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5643 0 0 0 30541 3688 0 0 25 0 1 0 166407176 24436736 5477 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 5966 5477 237 467 0 5497 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 23864

[startup+402.3 s]
/proc/loadavg: 2.39 2.20 2.07 3/197 26849
/proc/meminfo: memFree=30899716/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=24000 CPUtime=402.3
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5680 0 0 0 35954 4276 0 0 25 0 1 0 166407176 24576000 5514 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 6000 5514 237 467 0 5531 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24000

[startup+462.3 s]
/proc/loadavg: 2.14 2.16 2.07 3/197 26851
/proc/meminfo: memFree=30880212/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=24132 CPUtime=462.3
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5693 0 0 0 41385 4845 0 0 25 0 1 0 166407176 24711168 5527 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 6033 5527 237 467 0 5564 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24132

[startup+522.3 s]
/proc/loadavg: 2.54 2.25 2.10 3/197 26853
/proc/meminfo: memFree=30840864/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=24396 CPUtime=522.3
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5748 0 0 0 46775 5455 0 0 25 0 1 0 166407176 24981504 5582 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 6099 5582 237 467 0 5630 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24396

[startup+582.3 s]
/proc/loadavg: 2.20 2.20 2.09 3/197 26854
/proc/meminfo: memFree=30799160/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=24528 CPUtime=582.31
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5781 0 0 0 52219 6012 0 0 25 0 1 0 166407176 25116672 5615 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 6132 5615 237 467 0 5663 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 24528

[startup+642.3 s]
/proc/loadavg: 2.07 2.16 2.08 3/197 26856
/proc/meminfo: memFree=30758056/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=24528 CPUtime=642.31
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5801 0 0 0 57652 6579 0 0 25 0 1 0 166407176 25116672 5635 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/26838/statm: 6132 5635 237 467 0 5663 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 24528

[startup+702.3 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/197 26861
/proc/meminfo: memFree=30637392/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=24800 CPUtime=822.31
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5859 0 0 0 74052 8179 0 0 25 0 1 0 166407176 25395200 5693 4089446400 134512640 136421960 4292990880 18446744073709551615 135028955 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/26838/statm: 6200 5693 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.52 2.18 2.10 3/197 26862
/proc/meminfo: memFree=30579084/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=24800 CPUtime=882.31
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5876 0 0 0 79503 8728 0 0 25 0 1 0 166407176 25395200 5710 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/26838/statm: 6200 5710 237 467 0 5731 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 24800

[startup+942.301 s]
/proc/loadavg: 2.19 2.14 2.09 3/179 26894
/proc/meminfo: memFree=31454308/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=24932 CPUtime=942.31
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5896 0 0 0 84911 9320 0 0 25 0 1 0 166407176 25530368 5730 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6233 5730 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.07 2.12 2.08 3/179 26895
/proc/meminfo: memFree=31366128/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=24932 CPUtime=1002.31
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5896 0 0 0 89483 10748 0 0 25 0 1 0 166407176 25530368 5730 4089446400 134512640 136421960 4292990880 18446744073709551615 135020394 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6233 5730 237 467 0 5764 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 24932

[startup+1062.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/179 26897
/proc/meminfo: memFree=31294772/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=24932 CPUtime=1062.31
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5896 0 0 0 94293 11938 0 0 25 0 1 0 166407176 25530368 5730 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6233 5730 237 467 0 5764 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 24932

[startup+1122.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/179 26899
/proc/meminfo: memFree=31219596/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25196 CPUtime=1122.31
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5976 0 0 0 99273 12958 0 0 25 0 1 0 166407176 25800704 5810 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6299 5810 237 467 0 5830 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 25196

[startup+1182.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/179 26900
/proc/meminfo: memFree=31217328/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25196 CPUtime=1182.32
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5976 0 0 0 104207 14025 0 0 25 0 1 0 166407176 25800704 5810 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6299 5810 237 467 0 5830 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 25196

[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/179 26902
/proc/meminfo: memFree=31208740/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25328 CPUtime=1242.32
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5987 0 0 0 109148 15084 0 0 25 0 1 0 166407176 25935872 5821 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6332 5821 237 467 0 5863 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 25328

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/179 26903
/proc/meminfo: memFree=31202000/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25328 CPUtime=1302.32
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 5996 0 0 0 114071 16161 0 0 25 0 1 0 166407176 25935872 5830 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6332 5830 237 467 0 5863 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 25328

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/179 26905
/proc/meminfo: memFree=31198996/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25328 CPUtime=1362.32
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 6000 0 0 0 119044 17188 0 0 25 0 1 0 166407176 25935872 5834 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6332 5834 237 467 0 5863 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 25328

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.04 3/179 26907
/proc/meminfo: memFree=31194492/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25460 CPUtime=1422.33
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 6031 0 0 0 123996 18237 0 0 25 0 1 0 166407176 26071040 5865 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6365 5865 237 467 0 5896 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 25460

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/179 26908
/proc/meminfo: memFree=31189388/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25460 CPUtime=1482.32
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 6031 0 0 0 128975 19257 0 0 25 0 1 0 166407176 26071040 5865 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6365 5865 237 467 0 5896 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 25460

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 26910
/proc/meminfo: memFree=31184144/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25460 CPUtime=1542.32
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 6036 0 0 0 133921 20311 0 0 25 0 1 0 166407176 26071040 5870 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6365 5870 237 467 0 5896 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 25460

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 26911
/proc/meminfo: memFree=31183492/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25460 CPUtime=1602.33
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 6036 0 0 0 138903 21330 0 0 25 0 1 0 166407176 26071040 5870 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6365 5870 237 467 0 5896 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 25460

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 26913
/proc/meminfo: memFree=31179976/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25460 CPUtime=1662.33
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 6036 0 0 0 143888 22345 0 0 25 0 1 0 166407176 26071040 5870 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6365 5870 237 467 0 5896 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 25460

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.02 3/179 26915
/proc/meminfo: memFree=31178440/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25592 CPUtime=1722.33
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 6050 0 0 0 148851 23382 0 0 25 0 1 0 166407176 26206208 5884 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6398 5884 237 467 0 5929 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 25592

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/179 26916
/proc/meminfo: memFree=31174572/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25724 CPUtime=1782.33
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 6079 0 0 0 153829 24404 0 0 25 0 1 0 166407176 26341376 5913 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6431 5913 237 467 0 5962 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 25724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.01 3/179 26917
/proc/meminfo: memFree=31172564/32950928 swapFree=67111528/67111528
[pid=26838] ppid=26836 vsize=25724 CPUtime=1800.03
/proc/26838/stat : 26838 (pbct) R 26836 26838 26813 0 -1 4202496 6079 0 0 0 155308 24695 0 0 25 0 1 0 166407176 26341376 5913 4089446400 134512640 136421960 4292990880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26838/statm: 6431 5913 237 467 0 5962 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 25724

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1553.09
CPU system time (s): 246.96
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 25724

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

runsolver used 2.97455 second user time and 5.9361 second system time

The end

Launcher Data 

Begin job on node116 at 2010-06-30 22:02:34
IDJOB=2695063
IDBENCH=79285
IDSOLVER=1208
FILE ID=node116/2695063-1277928154
PBS_JOBID= 11197416
Free space on /tmp= 74212 MiB

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

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

MD5SUM BENCH= cf389047fd441928b15b38cce26251ed
RANDOM SEED=441050794

node116.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.838
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.67
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.838
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	: 5381.00
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.838
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.838
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.838
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.76
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.838
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.77
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.838
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.838
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:      30986440 kB
Buffers:        212456 kB
Cached:        1004360 kB
SwapCached:          0 kB
Active:        1087924 kB
Inactive:       732176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30986440 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2156 kB
Writeback:           0 kB
AnonPages:      603200 kB
Mapped:          20472 kB
Slab:            79684 kB
PageTables:       5840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1663524 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= 74204 MiB
End job on node116 at 2010-06-30 22:32:36