Trace number 2698815

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 1149.46 1149.44

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
MD5SUMa22634c1977478f126d9df874c90c256
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 benchmark214.202
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 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.10	c 0.095985 20.0859 40 7072
0.09/0.10	o 593
0.09/0.18	c 0.148977 20.3203 142 8924
0.09/0.18	o 572
0.19/0.21	c 0.159975 20.5547 182 10681
0.19/0.21	o 515
0.19/0.22	c 0.163975 20.5547 184 12168
0.19/0.22	o 485
0.19/0.24	c 0.175973 20.5547 215 12603
0.19/0.24	o 479
0.29/0.30	c 0.222966 20.5547 331 13604
0.29/0.30	o 459
0.29/0.31	c 0.227965 20.5547 341 14679
0.29/0.31	o 437
0.29/0.35	c 0.245962 20.5547 391 15041
0.29/0.35	o 433
0.29/0.38	c 0.265959 20.5547 431 15649
0.29/0.38	o 423
0.39/0.42	c 0.297954 20.5547 521 16388
0.39/0.42	o 420
0.39/0.43	c 0.304953 20.5547 527 16709
0.39/0.43	o 414
0.39/0.48	c 0.330949 20.5547 584 17298
0.39/0.48	o 404
0.49/0.58	c 0.397939 20.5547 708 18633
0.49/0.58	o 393
0.59/0.64	c 0.441932 20.5547 814 19165
0.59/0.64	o 392
0.59/0.65	c 0.443932 20.5547 814 19309
0.59/0.65	o 390
0.59/0.66	c 0.449931 20.5547 818 19650
0.59/0.66	o 382
0.59/0.68	c 0.463929 20.5547 849 20621
0.59/0.68	o 353
0.59/0.69	c 0.471928 20.5547 860 21164
0.59/0.69	o 344
0.69/0.71	c 0.482926 20.5547 871 21450
0.69/0.71	o 340
0.69/0.74	c 0.505923 20.5547 910 21733
0.69/0.74	o 339
0.79/0.82	c 0.551916 20.5547 989 22049
0.79/0.82	o 336
0.79/0.88	c 0.58691 20.5547 1067 22827
0.79/0.88	o 316
0.79/0.88	c 0.58791 20.5547 1068 23554
0.79/0.88	o 298
0.89/0.91	c 0.606907 20.5547 1082 24537
0.89/0.91	o 272
0.89/0.93	c 0.619905 20.5547 1103 25229
0.89/0.93	o 252
1.79/1.89	c 1.21182 20.8125 1965 28640
1.79/1.89	o 250
1.89/1.91	c 1.22081 20.8125 991 29439
1.89/1.91	o 226
2.29/2.30	c 1.46278 20.8125 761 31109
2.29/2.30	o 210
2.39/2.48	c 1.57076 20.8125 958 31844
2.39/2.48	o 205
2.59/2.62	c 1.64375 20.8125 1090 32669
2.59/2.62	o 201
2.69/2.76	c 1.73174 20.8125 666 33326
2.69/2.76	o 200
3.09/3.11	c 1.9367 20.8125 1086 34462
3.09/3.11	o 197
3.09/3.18	c 1.9777 20.8125 611 34971
3.09/3.18	o 196
3.19/3.25	c 2.01769 20.8125 705 35265
3.19/3.25	o 193
3.19/3.30	c 2.03869 20.8125 755 35827
3.19/3.30	o 186
3.39/3.47	c 2.13068 20.8125 929 36449
3.39/3.47	o 185
3.59/3.66	c 2.23966 20.8125 1128 37342
3.59/3.66	o 180
3.99/4.09	c 2.51962 20.8125 1196 39535
3.99/4.09	o 173
4.19/4.20	c 2.58361 20.8125 763 40391
4.19/4.20	o 168
4.19/4.27	c 2.6226 20.8125 885 40827
4.19/4.27	o 166
5.29/5.31	c 3.2855 20.8125 767 44505
5.29/5.31	o 158
5.50/5.53	c 3.42948 20.8125 1061 45987
5.50/5.53	o 147
5.50/5.54	c 3.43848 20.8125 1064 46326
5.50/5.54	o 142
5.59/5.60	c 3.47447 20.8125 1121 46567
5.59/5.60	o 141
5.59/5.61	c 3.47847 20.8125 1126 46935
5.59/5.61	o 132
5.59/5.63	c 3.49347 20.8125 1144 48024
5.59/5.63	o 97
5.79/5.87	c 3.59345 20.8125 878 49129
5.79/5.87	o 93
5.89/5.92	c 3.60945 20.8125 963 49381
5.89/5.92	o 92
6.20/6.29	c 3.75743 20.8125 1554 51161
6.20/6.29	o 82
6.39/6.48	c 3.85741 20.8125 1094 52364
6.39/6.48	o 68
6.60/6.61	c 3.9204 20.8125 1293 53128
6.60/6.61	o 63
6.60/6.69	c 3.9694 20.8125 1565 53673
6.60/6.69	o 62
7.89/7.94	c 4.78527 20.9414 1529 58443
7.89/7.94	o 51
7.99/8.06	c 4.87226 20.9414 1818 59213
7.99/8.06	o 46
9.00/9.07	c 5.61115 21.1992 1657 64100
9.00/9.07	o 38
12.79/12.84	c 8.28574 22.2305 2501 83273
12.79/12.84	o 26
16.19/16.23	c 11.0103 22.875 2434 108380
16.19/16.23	o 22
18.39/18.42	c 12.7171 22.875 2582 129028
18.39/18.42	o 15
18.49/18.54	c 12.8111 22.875 3298 130373
18.49/18.54	o 11
18.59/18.64	c 12.899 22.875 2169 131523
18.59/18.64	o 8
18.70/18.77	c 13.001 22.875 3224 133049
18.70/18.77	o 4
18.79/18.82	c 13.042 22.875 3629 133729
18.79/18.82	o 2
19.30/19.37	c 13.5039 22.875 2127 140179
19.30/19.37	o 1
1149.42/1149.41	c 999.789 24.9414 5805 15344661
1149.42/1149.41	s OPTIMUM FOUND
1149.42/1149.41	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-2698815-1278464573/watcher-2698815-1278464573 -o /tmp/evaluation-result-2698815-1278464573/solver-2698815-1278464573 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698815-1278464573.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 13021
/proc/meminfo: memFree=29998740/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=2136 CPUtime=0
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14671150 2187264 173 4089446400 134512640 136422188 4292189744 18446744073709551615 135159238 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13021/statm: 534 173 144 467 0 65 0

[startup+0.022697 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13021
/proc/meminfo: memFree=29998740/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=4380 CPUtime=0.02
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 801 0 0 0 2 0 0 0 25 0 1 0 14671150 4485120 721 4089446400 134512640 136422188 4292189744 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 1095 723 193 467 0 626 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4380

[startup+0.100684 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13021
/proc/meminfo: memFree=29998740/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=20564 CPUtime=0.09
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 4753 0 0 0 9 0 0 0 25 0 1 0 14671150 21057536 4640 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5141 4640 213 467 0 4672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20564

[startup+0.300648 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13021
/proc/meminfo: memFree=29998740/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=21044 CPUtime=0.29
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 4850 0 0 0 21 8 0 0 25 0 1 0 14671150 21549056 4732 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5261 4732 237 467 0 4792 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21044

[startup+0.70058 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13021
/proc/meminfo: memFree=29998740/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=21044 CPUtime=0.69
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 4863 0 0 0 47 22 0 0 25 0 1 0 14671150 21549056 4732 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5261 4732 237 467 0 4792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21044

[startup+1.50044 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13022
/proc/meminfo: memFree=29980380/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=21044 CPUtime=1.49
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 4892 0 0 0 97 52 0 0 25 0 1 0 14671150 21549056 4754 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5261 4754 237 467 0 4792 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21044

[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13022
/proc/meminfo: memFree=29980388/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=21308 CPUtime=3.09
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 4943 0 0 0 192 117 0 0 19 0 1 0 14671150 21819392 4799 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5327 4799 237 467 0 4858 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21308

[startup+6.30059 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13022
/proc/meminfo: memFree=29980352/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=21308 CPUtime=6.29
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 4961 0 0 0 375 254 0 0 25 0 1 0 14671150 21819392 4799 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5327 4799 237 467 0 4858 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21308

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13022
/proc/meminfo: memFree=29972532/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=22760 CPUtime=12.69
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5348 0 0 0 821 448 0 0 25 0 1 0 14671150 23306240 5180 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5690 5180 237 467 0 5221 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22760

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13022
/proc/meminfo: memFree=29971972/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=23420 CPUtime=25.49
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5514 0 0 0 1906 643 0 0 25 0 1 0 14671150 23982080 5338 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5855 5338 237 467 0 5386 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23420

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13024
/proc/meminfo: memFree=29970460/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=23420 CPUtime=51.09
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5514 0 0 0 4131 978 0 0 25 0 1 0 14671150 23982080 5338 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5855 5338 237 467 0 5386 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23420

[startup+102.307 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 13024
/proc/meminfo: memFree=29955152/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=23420 CPUtime=102.3
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5514 0 0 0 8619 1611 0 0 25 0 1 0 14671150 23982080 5338 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5855 5338 237 467 0 5386 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23420

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 13026
/proc/meminfo: memFree=29952616/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=23684 CPUtime=162.29
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5583 0 0 0 13860 2369 0 0 25 0 1 0 14671150 24252416 5407 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 5921 5407 237 467 0 5452 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23684

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13028
/proc/meminfo: memFree=29952680/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=24080 CPUtime=222.3
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5665 0 0 0 19065 3165 0 0 25 0 1 0 14671150 24657920 5489 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6020 5489 237 467 0 5551 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 24080

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13030
/proc/meminfo: memFree=29952620/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=24344 CPUtime=282.3
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5724 0 0 0 24195 4035 0 0 25 0 1 0 14671150 24928256 5548 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6086 5548 237 467 0 5617 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24344

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13030
/proc/meminfo: memFree=29952560/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=24476 CPUtime=342.3
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5770 0 0 0 29503 4727 0 0 25 0 1 0 14671150 25063424 5594 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6119 5594 237 467 0 5650 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24476

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13032
/proc/meminfo: memFree=29952488/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=24612 CPUtime=402.3
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5790 0 0 0 34649 5581 0 0 25 0 1 0 14671150 25202688 5614 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6153 5614 237 467 0 5684 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24612

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13034
/proc/meminfo: memFree=29952560/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=24744 CPUtime=462.31
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5832 0 0 0 39879 6352 0 0 25 0 1 0 14671150 25337856 5656 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6186 5656 237 467 0 5717 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24744

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13036
/proc/meminfo: memFree=29951012/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=24876 CPUtime=522.3
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5869 0 0 0 45129 7101 0 0 25 0 1 0 14671150 25473024 5693 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6219 5693 237 467 0 5750 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24876

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13038
/proc/meminfo: memFree=29944024/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25008 CPUtime=582.31
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5914 0 0 0 50373 7858 0 0 25 0 1 0 14671150 25608192 5738 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6252 5738 237 467 0 5783 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25008

[startup+642.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 13039
/proc/meminfo: memFree=29943580/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25140 CPUtime=642.31
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5932 0 0 0 55575 8656 0 0 25 0 1 0 14671150 25743360 5756 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6285 5756 237 467 0 5816 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 25140

[startup+702.301 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 13040
/proc/meminfo: memFree=29935704/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25140 CPUtime=702.3
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5946 0 0 0 60747 9483 0 0 25 0 1 0 14671150 25743360 5770 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6285 5770 237 467 0 5816 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 25140

[startup+762.306 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 13042
/proc/meminfo: memFree=29932180/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25272 CPUtime=762.32
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5981 0 0 0 65991 10241 0 0 25 0 1 0 14671150 25878528 5805 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6318 5805 237 467 0 5849 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 25272

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13044
/proc/meminfo: memFree=29931984/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25272 CPUtime=822.31
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5981 0 0 0 71222 11009 0 0 25 0 1 0 14671150 25878528 5805 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6318 5805 237 467 0 5849 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 25272

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13046
/proc/meminfo: memFree=29931932/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25404 CPUtime=882.32
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 5992 0 0 0 76549 11683 0 0 25 0 1 0 14671150 26013696 5816 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6351 5816 237 467 0 5882 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 25404

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13048
/proc/meminfo: memFree=29927764/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=942.32
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6038 0 0 0 81786 12446 0 0 25 0 1 0 14671150 26148864 5862 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6384 5862 237 467 0 5915 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 25536

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 13051
/proc/meminfo: memFree=29927988/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1002.32
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 87083 13149 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 25536

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 13053
/proc/meminfo: memFree=29927816/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1062.32
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 92314 13918 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 25536

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13055
/proc/meminfo: memFree=29927632/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1122.32
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 97531 14701 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 25536

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

[startup+1126.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13055
/proc/meminfo: memFree=29924036/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1126.32
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 97895 14737 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1126.32
Current children cumulated vsize (KiB) 25536

[startup+1139.1 s]
/proc/loadavg: 1.78 1.95 1.93 2/171 13077
/proc/meminfo: memFree=30175700/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1139.11
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 99049 14862 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1139.11
Current children cumulated vsize (KiB) 25536

[startup+1145.5 s]
/proc/loadavg: 1.72 1.93 1.93 2/171 13077
/proc/meminfo: memFree=30176476/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1145.51
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 99624 14927 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1145.51
Current children cumulated vsize (KiB) 25536

[startup+1147.1 s]
/proc/loadavg: 1.72 1.93 1.93 2/171 13077
/proc/meminfo: memFree=30176476/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1147.12
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 99772 14940 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1147.12
Current children cumulated vsize (KiB) 25536

[startup+1148.7 s]
/proc/loadavg: 1.66 1.92 1.92 2/171 13077
/proc/meminfo: memFree=30176476/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1148.71
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 99913 14958 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1148.71
Current children cumulated vsize (KiB) 25536

[startup+1149.1 s]
/proc/loadavg: 1.66 1.92 1.92 2/171 13077
/proc/meminfo: memFree=30176476/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1149.12
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 99950 14962 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1149.12
Current children cumulated vsize (KiB) 25536

[startup+1149.3 s]
/proc/loadavg: 1.66 1.92 1.92 2/171 13077
/proc/meminfo: memFree=30176476/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1149.31
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 99968 14963 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1149.31
Current children cumulated vsize (KiB) 25536

[startup+1149.4 s]
/proc/loadavg: 1.66 1.92 1.92 2/171 13077
/proc/meminfo: memFree=30176848/32950928 swapFree=67111528/67111528
[pid=13021] ppid=13019 vsize=25536 CPUtime=1149.42
/proc/13021/stat : 13021 (pbct) R 13019 13021 12450 0 -1 4202496 6039 0 0 0 99978 14964 0 0 25 0 1 0 14671150 26148864 5863 4089446400 134512640 136422188 4292189744 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13021/statm: 6384 5863 237 467 0 5915 0
Current children cumulated CPU time (s) 1149.42
Current children cumulated vsize (KiB) 25536

Child status: 0
Real time (s): 1149.44
CPU time (s): 1149.46
CPU user time (s): 999.813
CPU system time (s): 149.648
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 25536

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

runsolver used 1.87771 second user time and 3.82242 second system time

The end

Launcher Data 

Begin job on node125 at 2010-07-07 03:02:53
IDJOB=2698815
IDBENCH=79275
IDSOLVER=1212
FILE ID=node125/2698815-1278464573
PBS_JOBID= 11233742
Free space on /tmp= 73628 MiB

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

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

MD5SUM BENCH= a22634c1977478f126d9df874c90c256
RANDOM SEED=1805490339

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29999260 kB
Buffers:        110376 kB
Cached:        2439212 kB
SwapCached:          0 kB
Active:         893540 kB
Inactive:      1916296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29999260 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2004 kB
Writeback:           0 kB
AnonPages:      260584 kB
Mapped:          15624 kB
Slab:            77860 kB
PageTables:       4840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   405544 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= 73628 MiB
End job on node125 at 2010-07-07 03:22:03