Trace number 2698842

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 fixedMSAT (TO) 1800.07 1800.01

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo
MD5SUMc1a8bf15a5939881d6e0f7761d224808
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark474.358
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 713
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.10	c 0.092985 19.9766 97 6204
0.09/0.10	o 874
0.09/0.11	c 0.095985 20.2109 111 9902
0.09/0.11	o 835
0.09/0.15	c 0.102984 20.4453 162 10383
0.09/0.15	o 834
0.09/0.16	c 0.102984 20.4453 165 11076
0.09/0.16	o 820
0.09/0.17	c 0.102984 20.4453 170 14032
0.09/0.17	o 719
0.19/0.23	c 0.108983 20.4453 297 15892
0.19/0.23	o 690
0.19/0.23	c 0.110983 20.4453 298 20196
0.19/0.23	o 473
0.19/0.24	c 0.111982 20.4453 306 21606
0.19/0.24	o 430
0.19/0.25	c 0.112982 20.4453 315 21885
0.19/0.25	o 426
0.19/0.27	c 0.115982 20.4453 349 22532
0.19/0.27	o 409
0.29/0.34	c 0.12798 20.4453 458 23240
0.29/0.34	o 406
0.69/0.73	c 0.19497 20.4453 1067 25820
0.69/0.73	o 405
1.29/1.30	c 0.296954 20.4453 1258 29424
1.29/1.30	o 380
1.29/1.37	c 0.301954 20.4453 721 30028
1.29/1.37	o 372
1.79/1.88	c 0.380942 20.4453 826 33235
1.79/1.88	o 370
1.89/1.94	c 0.387941 20.4453 883 34016
1.89/1.94	o 351
2.39/2.43	c 0.464929 20.5742 1615 36752
2.39/2.43	o 339
2.39/2.46	c 0.474927 20.5742 872 38450
2.39/2.46	o 289
2.99/3.02	c 0.567913 20.5742 965 41184
2.99/3.02	o 286
3.49/3.50	c 0.676897 20.5742 984 43574
3.49/3.50	o 278
3.49/3.51	c 0.679896 20.5742 990 43940
3.49/3.51	o 271
3.49/3.54	c 0.686895 20.5742 1052 44261
3.49/3.54	o 266
3.69/3.76	c 0.72289 20.5742 710 45479
3.69/3.76	o 259
3.99/4.03	c 0.796878 20.5742 1093 47090
3.99/4.03	o 253
4.09/4.11	c 0.809876 20.5742 611 47908
4.09/4.11	o 239
5.09/5.18	c 1.07684 20.7031 1543 52057
5.09/5.18	o 238
5.20/5.21	c 1.08583 20.7031 816 52403
5.20/5.21	o 236
5.29/5.31	c 1.10883 20.7031 938 53169
5.29/5.31	o 229
5.99/6.04	c 1.23381 20.7031 1247 56121
5.99/6.04	o 225
5.99/6.06	c 1.23681 20.7031 659 56702
5.99/6.06	o 210
6.99/7.02	c 1.39879 20.7031 1077 60346
6.99/7.02	o 206
6.99/7.09	c 1.41379 20.7031 611 60779
6.99/7.09	o 203
7.99/8.05	c 1.57176 20.7031 1207 64854
7.99/8.05	o 201
8.39/8.48	c 1.64975 20.7031 1215 67246
8.39/8.48	o 185
8.59/8.62	c 1.69074 20.7031 760 68230
8.59/8.62	o 175
8.89/8.99	c 1.75873 20.7031 737 70623
8.89/8.99	o 155
9.39/9.42	c 1.84672 20.7031 747 72462
9.39/9.42	o 149
10.60/10.63	c 2.09968 20.7031 939 76992
10.60/10.63	o 145
11.69/11.78	c 2.43063 20.7031 800 81899
11.69/11.78	o 144
11.79/11.83	c 2.44563 20.7031 886 82141
11.79/11.83	o 143
11.89/11.98	c 2.48362 20.7031 1213 83657
11.89/11.98	o 119
12.10/12.19	c 2.52962 20.7031 897 84589
12.10/12.19	o 116
12.49/12.57	c 2.6166 20.7031 802 85913
12.49/12.57	o 112
12.49/12.59	c 2.6236 20.7031 829 86103
12.49/12.59	o 111
14.09/14.16	c 2.95755 20.7031 1185 92097
14.09/14.16	o 103
16.29/16.38	c 3.40548 20.7031 1206 100318
16.29/16.38	o 94
17.60/17.68	c 3.76243 20.7031 1111 105008
17.60/17.68	o 87
20.90/20.95	c 4.6333 20.832 1496 117017
20.90/20.95	o 84
21.49/21.54	c 4.78627 20.832 875 119808
21.49/21.54	o 74
22.09/22.16	c 4.91925 20.832 1070 122205
22.09/22.16	o 73
23.09/23.10	c 5.16921 20.832 1902 126685
23.09/23.10	o 72
23.39/23.40	c 5.2332 20.832 1414 127959
23.39/23.40	o 71
23.49/23.58	c 5.2802 20.832 1690 129011
23.49/23.58	o 59
25.30/25.35	c 5.8841 21.0898 1657 138564
25.30/25.35	o 47
27.09/27.10	c 6.575 21.2188 2366 146936
27.09/27.10	o 41
27.09/27.15	c 6.59 21.2188 2584 147833
27.09/27.15	o 21
27.29/27.37	c 6.72998 21.3477 2374 150007
27.29/27.37	o 18
28.39/28.41	c 7.38488 21.4766 2858 162489
28.39/28.41	o 16
29.99/30.08	c 8.50571 21.4766 3109 182366
29.99/30.08	o 14
30.99/31.08	c 9.2146 21.4766 3616 194512
30.99/31.08	o 13
32.39/32.40	c 10.0315 21.6055 3750 208334
32.39/32.40	o 12
33.00/33.02	c 10.5124 21.6055 3728 216801
33.00/33.02	o 11
33.79/33.80	c 11.0953 21.6055 3498 227250
33.79/33.80	o 9
35.99/36.05	c 12.7311 21.6055 3268 257346
35.99/36.05	o 6
42.29/42.38	c 17.4254 22.1211 2435 351114
42.29/42.38	o 4
42.29/42.38	c 17.4274 22.1211 2454 351175
42.29/42.38	o 3
46.29/46.33	c 20.3689 22.1211 2806 407953
46.29/46.33	o 2
1800.06/1800.00	s SATISFIABLE
1800.06/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	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698842-1278464651/watcher-2698842-1278464651 -o /tmp/evaluation-result-2698842-1278464651/solver-2698842-1278464651 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698842-1278464651.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.93 2.01 1.99 3/182 14214
/proc/meminfo: memFree=29468488/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=2136 CPUtime=0
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 253 0 0 0 0 0 0 0 21 0 1 0 14677852 2187264 173 4089446400 134512640 136422188 4290382128 18446744073709551615 135806208 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14214/statm: 534 174 144 467 0 65 0

[startup+0.054694 s]
/proc/loadavg: 1.93 2.01 1.99 3/182 14214
/proc/meminfo: memFree=29468488/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=12768 CPUtime=0.05
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 2869 0 0 0 5 0 0 0 21 0 1 0 14677852 13074432 2789 4089446400 134512640 136422188 4290382128 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 3192 2792 193 467 0 2723 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12768

[startup+0.100689 s]
/proc/loadavg: 1.93 2.01 1.99 3/182 14214
/proc/meminfo: memFree=29468488/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=20452 CPUtime=0.09
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 4746 0 0 0 9 0 0 0 21 0 1 0 14677852 20942848 4633 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5113 4636 213 467 0 4644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20452

[startup+0.300647 s]
/proc/loadavg: 1.93 2.01 1.99 3/182 14214
/proc/meminfo: memFree=29468488/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=20932 CPUtime=0.29
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 4862 0 0 0 11 18 0 0 21 0 1 0 14677852 21434368 4739 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5233 4739 237 467 0 4764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20932

[startup+0.700584 s]
/proc/loadavg: 1.93 2.01 1.99 3/182 14214
/proc/meminfo: memFree=29468488/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=20932 CPUtime=0.69
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 4863 0 0 0 19 50 0 0 22 0 1 0 14677852 21434368 4739 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5233 4739 237 467 0 4764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20932

[startup+1.50042 s]
/proc/loadavg: 1.93 2.01 1.99 3/183 14215
/proc/meminfo: memFree=29451300/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=20932 CPUtime=1.49
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 4867 0 0 0 32 117 0 0 25 0 1 0 14677852 21434368 4740 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5233 4740 237 467 0 4764 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20932

[startup+3.10013 s]
/proc/loadavg: 1.93 2.01 1.99 3/183 14215
/proc/meminfo: memFree=29451052/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=21064 CPUtime=3.09
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 4896 0 0 0 57 252 0 0 25 0 1 0 14677852 21569536 4764 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5266 4764 237 467 0 4797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21064

[startup+6.30055 s]
/proc/loadavg: 1.94 2.01 1.99 3/183 14215
/proc/meminfo: memFree=29451420/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=21196 CPUtime=6.29
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 4930 0 0 0 126 503 0 0 25 0 1 0 14677852 21704704 4787 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5299 4787 237 467 0 4830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21196

[startup+12.7004 s]
/proc/loadavg: 1.94 2.01 1.99 3/183 14215
/proc/meminfo: memFree=29451428/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=21196 CPUtime=12.69
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 4953 0 0 0 265 1004 0 0 25 0 1 0 14677852 21704704 4796 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5299 4796 237 467 0 4830 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21196

[startup+25.501 s]
/proc/loadavg: 1.95 2.01 1.99 3/183 14216
/proc/meminfo: memFree=29452376/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=21592 CPUtime=25.49
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5063 0 0 0 594 1955 0 0 25 0 1 0 14677852 22110208 4896 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5398 4896 237 467 0 4929 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21592

[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 1.99 3/183 14216
/proc/meminfo: memFree=29451188/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=22648 CPUtime=51.09
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5345 0 0 0 2390 2719 0 0 25 0 1 0 14677852 23191552 5165 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5662 5165 237 467 0 5193 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22648

[startup+102.306 s]
/proc/loadavg: 1.98 2.00 1.99 3/183 14245
/proc/meminfo: memFree=29433676/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=23044 CPUtime=102.3
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5453 0 0 0 6257 3973 0 0 25 0 1 0 14677852 23597056 5273 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5761 5273 237 467 0 5292 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23044

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 14246
/proc/meminfo: memFree=29432004/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=23452 CPUtime=162.3
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5534 0 0 0 10792 5438 0 0 25 0 1 0 14677852 24014848 5354 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5863 5354 237 467 0 5394 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23452

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 14248
/proc/meminfo: memFree=29431720/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=23720 CPUtime=222.3
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5608 0 0 0 15352 6878 0 0 25 0 1 0 14677852 24289280 5428 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5930 5428 237 467 0 5461 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23720

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 14249
/proc/meminfo: memFree=29431308/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=23852 CPUtime=282.3
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5660 0 0 0 19939 8291 0 0 25 0 1 0 14677852 24424448 5480 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5963 5480 237 467 0 5494 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23852

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 14251
/proc/meminfo: memFree=29430876/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=23984 CPUtime=342.31
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5688 0 0 0 24529 9702 0 0 25 0 1 0 14677852 24559616 5508 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 5996 5508 237 467 0 5527 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 23984

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 14253
/proc/meminfo: memFree=29430324/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=24116 CPUtime=402.31
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5704 0 0 0 29082 11149 0 0 25 0 1 0 14677852 24694784 5524 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6029 5524 237 467 0 5560 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 24116

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 14254
/proc/meminfo: memFree=29430168/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=24248 CPUtime=462.3
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5744 0 0 0 33644 12586 0 0 25 0 1 0 14677852 24829952 5564 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6062 5564 237 467 0 5593 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24248

[startup+522.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 14256
/proc/meminfo: memFree=29430012/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=24380 CPUtime=522.31
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5768 0 0 0 38215 14016 0 0 25 0 1 0 14677852 24965120 5588 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6095 5588 237 467 0 5626 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24380

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14257
/proc/meminfo: memFree=29430104/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=24512 CPUtime=582.31
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5808 0 0 0 42844 15387 0 0 25 0 1 0 14677852 25100288 5628 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6128 5628 237 467 0 5659 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 24512

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 14259
/proc/meminfo: memFree=29429552/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=24512 CPUtime=642.32
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5822 0 0 0 47422 16810 0 0 25 0 1 0 14677852 25100288 5642 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6128 5642 237 467 0 5659 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 24512

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14264
/proc/meminfo: memFree=29428428/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=24908 CPUtime=822.32
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5897 0 0 0 61223 21009 0 0 25 0 1 0 14677852 25505792 5717 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6227 5717 237 467 0 5758 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 24908

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14267
/proc/meminfo: memFree=29427272/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=24908 CPUtime=882.32
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5916 0 0 0 65806 22426 0 0 25 0 1 0 14677852 25505792 5736 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6227 5736 237 467 0 5758 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 24908

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14270
/proc/meminfo: memFree=29427056/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25052 CPUtime=942.32
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5930 0 0 0 70451 23781 0 0 25 0 1 0 14677852 25653248 5750 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6263 5750 237 467 0 5794 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 25052

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14272
/proc/meminfo: memFree=29427020/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25052 CPUtime=1002.32
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5947 0 0 0 75076 25156 0 0 25 0 1 0 14677852 25653248 5767 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6263 5767 237 467 0 5794 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 25052

[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 14273
/proc/meminfo: memFree=29427600/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25052 CPUtime=1062.32
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5947 0 0 0 79698 26534 0 0 25 0 1 0 14677852 25653248 5767 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6263 5767 237 467 0 5794 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 25052

[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14275
/proc/meminfo: memFree=29427328/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25184 CPUtime=1122.33
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5963 0 0 0 84359 27874 0 0 25 0 1 0 14677852 25788416 5783 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6296 5783 237 467 0 5827 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 25184

[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 14276
/proc/meminfo: memFree=29427296/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25316 CPUtime=1182.33
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 5993 0 0 0 89009 29224 0 0 25 0 1 0 14677852 25923584 5813 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6329 5813 237 467 0 5860 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 25316

[startup+1242.3 s]
/proc/loadavg: 1.69 1.96 1.98 2/175 14299
/proc/meminfo: memFree=29453836/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25448 CPUtime=1242.33
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6019 0 0 0 93464 30769 0 0 25 0 1 0 14677852 26058752 5839 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6362 5839 237 467 0 5893 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 25448

[startup+1302.3 s]
/proc/loadavg: 1.25 1.78 1.91 2/175 14301
/proc/meminfo: memFree=29453664/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25448 CPUtime=1302.34
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6022 0 0 0 97784 32450 0 0 25 0 1 0 14677852 26058752 5842 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6362 5842 237 467 0 5893 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 25448

[startup+1362.3 s]
/proc/loadavg: 1.09 1.64 1.85 2/175 14302
/proc/meminfo: memFree=29453760/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25448 CPUtime=1362.33
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6036 0 0 0 102088 34145 0 0 25 0 1 0 14677852 26058752 5856 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6362 5856 237 467 0 5893 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 25448

[startup+1422.31 s]
/proc/loadavg: 1.03 1.52 1.80 2/175 14304
/proc/meminfo: memFree=29453484/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25448 CPUtime=1422.34
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6043 0 0 0 106433 35801 0 0 25 0 1 0 14677852 26058752 5863 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6362 5863 237 467 0 5893 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 25448

[startup+1482.3 s]
/proc/loadavg: 1.01 1.42 1.75 2/175 14305
/proc/meminfo: memFree=29453952/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25580 CPUtime=1482.34
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6057 0 0 0 110772 37462 0 0 25 0 1 0 14677852 26193920 5877 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6395 5877 237 467 0 5926 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 25580

[startup+1542.3 s]
/proc/loadavg: 1.00 1.34 1.70 2/175 14307
/proc/meminfo: memFree=29454168/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25580 CPUtime=1542.34
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6060 0 0 0 115057 39177 0 0 25 0 1 0 14677852 26193920 5880 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6395 5880 237 467 0 5926 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 25580

[startup+1602.3 s]
/proc/loadavg: 1.00 1.28 1.65 2/175 14309
/proc/meminfo: memFree=29454012/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25580 CPUtime=1602.34
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6073 0 0 0 119389 40845 0 0 25 0 1 0 14677852 26193920 5893 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6395 5893 237 467 0 5926 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 25580

[startup+1662.3 s]
/proc/loadavg: 1.00 1.22 1.61 2/175 14310
/proc/meminfo: memFree=29454112/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25580 CPUtime=1662.35
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6073 0 0 0 123650 42585 0 0 25 0 1 0 14677852 26193920 5893 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6395 5893 237 467 0 5926 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 25580

[startup+1722.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/175 14312
/proc/meminfo: memFree=29454100/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25716 CPUtime=1722.35
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6090 0 0 0 127948 44287 0 0 25 0 1 0 14677852 26333184 5910 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6429 5910 237 467 0 5960 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 25716

[startup+1782.3 s]
/proc/loadavg: 1.00 1.14 1.53 2/175 14313
/proc/meminfo: memFree=29453956/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25716 CPUtime=1782.35
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6100 0 0 0 132255 45980 0 0 25 0 1 0 14677852 26333184 5920 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6429 5920 237 467 0 5960 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 25716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.13 1.52 2/175 14314
/proc/meminfo: memFree=29453936/32951124 swapFree=67111528/67111528
[pid=14214] ppid=14212 vsize=25716 CPUtime=1800.06
/proc/14214/stat : 14214 (pbct) R 14212 14214 13615 0 -1 4202496 6104 0 0 0 133509 46497 0 0 25 0 1 0 14677852 26333184 5924 4089446400 134512640 136422188 4290382128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14214/statm: 6429 5924 237 467 0 5960 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 25716

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.07
CPU user time (s): 1335.1
CPU system time (s): 464.971
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 25716

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

runsolver used 2.6066 second user time and 5.58815 second system time

The end

Launcher Data 

Begin job on node135 at 2010-07-07 03:04:11
IDJOB=2698842
IDBENCH=79284
IDSOLVER=1212
FILE ID=node135/2698842-1278464651
PBS_JOBID= 11233722
Free space on /tmp= 73856 MiB

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

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

MD5SUM BENCH= c1a8bf15a5939881d6e0f7761d224808
RANDOM SEED=1615122714

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
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.839
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.73
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.839
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:     32951124 kB
MemFree:      29469388 kB
Buffers:        103004 kB
Cached:        3173780 kB
SwapCached:          0 kB
Active:         732600 kB
Inactive:      2610864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29469388 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2084 kB
Writeback:           0 kB
AnonPages:       66476 kB
Mapped:          15456 kB
Slab:            74496 kB
PageTables:       5300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   208928 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= 73856 MiB
End job on node135 at 2010-07-07 03:34:13