Trace number 2695182

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.02 1800.01

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900583053--soft-0-100-0.wbo
MD5SUM4a2d6bc5f020a6a42fcf2a39cec0be8f
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 benchmark322.817
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 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 651
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.11	c 0.088986 20.0039 12 13237
0.09/0.11	o 559
0.19/0.21	c 0.110983 20.2383 135 43345
0.19/0.21	o 526
0.19/0.23	c 0.115982 20.4727 167 45681
0.19/0.23	o 517
0.19/0.26	c 0.117982 20.4727 182 54264
0.19/0.26	o 369
0.39/0.49	c 0.156976 20.4727 499 57682
0.39/0.49	o 364
0.49/0.51	c 0.160975 20.4727 516 58934
0.49/0.51	o 345
0.69/0.73	c 0.202969 20.4727 793 61078
0.69/0.73	o 342
0.69/0.74	c 0.205968 20.4727 798 61469
0.69/0.74	o 337
0.69/0.78	c 0.213967 20.4727 838 61996
0.69/0.78	o 329
1.00/1.06	c 0.278957 20.4727 1294 66877
1.00/1.06	o 314
1.10/1.17	c 0.297954 20.4727 788 68799
1.10/1.17	o 313
1.29/1.31	c 0.32295 20.4727 982 72519
1.29/1.31	o 300
1.29/1.34	c 0.329949 20.4727 1012 73684
1.29/1.34	o 268
1.29/1.38	c 0.334949 20.4727 1071 74731
1.29/1.38	o 255
2.10/2.19	c 0.486925 20.4727 900 80802
2.10/2.19	o 247
2.20/2.21	c 0.494924 20.4727 915 81158
2.20/2.21	o 246
2.20/2.21	c 0.494924 20.4727 916 81402
2.20/2.21	o 242
2.20/2.23	c 0.496924 20.4727 928 81773
2.20/2.23	o 234
2.20/2.26	c 0.504923 20.4727 958 82224
2.20/2.26	o 225
2.20/2.28	c 0.506922 20.4727 975 82810
2.20/2.28	o 224
2.29/2.31	c 0.517921 20.4727 1007 83506
2.29/2.31	o 210
2.39/2.46	c 0.552915 20.4727 1200 84860
2.39/2.46	o 204
2.99/3.00	c 0.678896 20.4727 1238 86993
2.99/3.00	o 202
2.99/3.01	c 0.678896 20.4727 626 87232
2.99/3.01	o 201
2.99/3.05	c 0.683896 20.4727 664 87679
2.99/3.05	o 194
3.99/4.02	c 0.933858 20.6016 736 92327
3.99/4.02	o 170
5.10/5.10	c 1.22081 20.6016 1032 97385
5.10/5.10	o 162
5.39/5.48	c 1.2888 20.6016 845 98955
5.39/5.48	o 160
5.69/5.78	c 1.3478 20.6016 1307 100405
5.69/5.78	o 151
5.79/5.85	c 1.36679 20.6016 761 100767
5.79/5.85	o 150
6.09/6.17	c 1.43878 20.6016 1088 101835
6.09/6.17	o 149
6.79/6.89	c 1.59776 20.6016 759 104466
6.79/6.89	o 144
7.09/7.10	c 1.63675 20.6016 1026 105799
7.09/7.10	o 136
8.90/8.93	c 2.05769 20.6016 1317 111842
8.90/8.93	o 127
9.19/9.22	c 2.11868 20.6016 1041 113118
9.19/9.22	o 125
9.29/9.30	c 2.14367 20.6016 1146 113709
9.29/9.30	o 118
9.39/9.40	c 2.16267 20.6016 669 114269
9.39/9.40	o 117
9.49/9.53	c 2.19167 20.6016 815 115024
9.49/9.53	o 109
9.69/9.72	c 2.23666 20.6016 1011 115604
9.69/9.72	o 108
9.80/9.84	c 2.27765 20.6016 667 116530
9.80/9.84	o 98
10.19/10.22	c 2.36664 20.6016 1261 117819
10.19/10.22	o 95
10.39/10.42	c 2.42463 20.6016 939 118769
10.39/10.42	o 87
11.19/11.26	c 2.6626 20.6016 1299 121434
11.19/11.26	o 78
11.59/11.61	c 2.73958 20.6016 945 122912
11.59/11.61	o 65
11.59/11.63	c 2.74758 20.6016 983 123072
11.59/11.63	o 64
11.69/11.70	c 2.76858 20.6016 1146 123499
11.69/11.70	o 63
11.69/11.79	c 2.79957 20.6016 1349 124389
11.69/11.79	o 53
11.89/11.95	c 2.86356 20.7305 1866 125599
11.89/11.95	o 42
12.00/12.03	c 2.90256 20.7305 2099 126218
12.00/12.03	o 36
12.39/12.47	c 3.12952 20.9883 2223 128886
12.39/12.47	o 35
12.49/12.53	c 3.16052 20.9883 2418 129323
12.49/12.53	o 31
14.19/14.24	c 4.13037 21.2461 2518 142315
14.19/14.24	o 29
14.30/14.39	c 4.20536 21.2461 1591 143429
14.30/14.39	o 24
16.59/16.63	c 5.53316 21.375 2147 161190
16.59/16.63	o 19
16.59/16.64	c 5.54216 21.375 2198 161392
16.59/16.64	o 15
17.69/17.70	c 6.31804 21.6328 2717 172712
17.69/17.70	o 14
17.69/17.78	c 6.37503 21.6328 3440 173927
17.69/17.78	o 13
17.79/17.87	c 6.44802 21.6328 2353 175078
17.79/17.87	o 12
17.99/18.09	c 6.604 21.6328 3813 177098
17.99/18.09	o 9
18.20/18.26	c 6.73698 21.6328 3627 179488
18.20/18.26	o 6
18.39/18.41	c 6.85496 21.6328 3210 181650
18.39/18.41	o 3
33.00/33.08	c 18.8431 22.0195 3822 397681
33.00/33.08	o 1
1800.00/1800.00	s SATISFIABLE
1800.00/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-2695182-1277931479/watcher-2695182-1277931479 -o /tmp/evaluation-result-2695182-1277931479/solver-2695182-1277931479 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695182-1277931479.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.04 2.11 2.27 3/178 17431
/proc/meminfo: memFree=31083608/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=2136 CPUtime=0
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 254 0 0 0 0 0 0 0 24 0 1 0 134442783 2187264 173 4089446400 134512640 136421960 4287485408 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17431/statm: 534 173 144 467 0 65 0

[startup+0.087403 s]
/proc/loadavg: 2.04 2.11 2.27 3/178 17431
/proc/meminfo: memFree=31083608/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=20192 CPUtime=0.07
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 4673 0 0 0 7 0 0 0 24 0 1 0 134442783 20676608 4559 4089446400 134512640 136421960 4287485408 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5048 4559 208 467 0 4579 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20192

[startup+0.100389 s]
/proc/loadavg: 2.04 2.11 2.27 3/178 17431
/proc/meminfo: memFree=31083608/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=20480 CPUtime=0.09
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 4754 0 0 0 8 1 0 0 24 0 1 0 134442783 20971520 4640 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5120 4640 213 467 0 4651 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20480

[startup+0.300356 s]
/proc/loadavg: 2.04 2.11 2.27 3/178 17431
/proc/meminfo: memFree=31083608/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=20960 CPUtime=0.29
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 4847 0 0 0 12 17 0 0 18 0 1 0 134442783 21463040 4729 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5240 4729 236 467 0 4771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20960

[startup+0.700273 s]
/proc/loadavg: 2.04 2.11 2.27 3/178 17431
/proc/meminfo: memFree=31083608/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=20960 CPUtime=0.69
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 4850 0 0 0 19 50 0 0 18 0 1 0 134442783 21463040 4730 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5240 4730 237 467 0 4771 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20960

[startup+1.50112 s]
/proc/loadavg: 2.04 2.11 2.27 3/179 17432
/proc/meminfo: memFree=31065496/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=20960 CPUtime=1.49
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 4864 0 0 0 36 113 0 0 18 0 1 0 134442783 21463040 4736 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5240 4736 237 467 0 4771 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20960

[startup+3.10079 s]
/proc/loadavg: 2.04 2.11 2.27 3/179 17432
/proc/meminfo: memFree=31065800/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=20960 CPUtime=3.1
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 4878 0 0 0 69 241 0 0 18 0 1 0 134442783 21463040 4739 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5240 4739 237 467 0 4771 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 20960

[startup+6.30016 s]
/proc/loadavg: 2.03 2.11 2.26 3/179 17432
/proc/meminfo: memFree=31066392/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=21092 CPUtime=6.29
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 4908 0 0 0 146 483 0 0 18 0 1 0 134442783 21598208 4763 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5273 4763 237 467 0 4804 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21092

[startup+12.7009 s]
/proc/loadavg: 2.03 2.11 2.26 3/179 17432
/proc/meminfo: memFree=31066288/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=21488 CPUtime=12.69
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5051 0 0 0 325 944 0 0 22 0 1 0 134442783 22003712 4886 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5372 4886 237 467 0 4903 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21488

[startup+25.5003 s]
/proc/loadavg: 2.02 2.10 2.26 3/179 17432
/proc/meminfo: memFree=31066300/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=22280 CPUtime=25.49
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5258 0 0 0 1269 1280 0 0 25 0 1 0 134442783 22814720 5083 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5570 5083 237 467 0 5101 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22280

[startup+51.1002 s]
/proc/loadavg: 2.01 2.09 2.25 3/179 17432
/proc/meminfo: memFree=31065112/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=22676 CPUtime=51.09
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5336 0 0 0 3389 1720 0 0 25 0 1 0 134442783 23220224 5160 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5669 5160 237 467 0 5200 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22676

[startup+102.306 s]
/proc/loadavg: 2.00 2.08 2.24 3/179 17434
/proc/meminfo: memFree=31063328/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=23072 CPUtime=102.3
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5451 0 0 0 7621 2609 0 0 25 0 1 0 134442783 23625728 5275 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5768 5275 237 467 0 5299 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23072

[startup+162.301 s]
/proc/loadavg: 2.04 2.07 2.22 3/179 17436
/proc/meminfo: memFree=31058424/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=23468 CPUtime=162.3
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5538 0 0 0 12606 3624 0 0 25 0 1 0 134442783 24031232 5362 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5867 5362 237 467 0 5398 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23468

[startup+222.301 s]
/proc/loadavg: 2.01 2.06 2.21 3/179 17447
/proc/meminfo: memFree=31053536/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=23468 CPUtime=222.31
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5553 0 0 0 17620 4611 0 0 25 0 1 0 134442783 24031232 5377 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5867 5377 237 467 0 5398 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 23468

[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.19 3/179 17448
/proc/meminfo: memFree=31052612/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=23864 CPUtime=282.3
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5643 0 0 0 22605 5625 0 0 25 0 1 0 134442783 24436736 5467 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5966 5467 237 467 0 5497 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23864

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.17 3/179 17449
/proc/meminfo: memFree=31050560/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=23996 CPUtime=342.31
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5685 0 0 0 27617 6614 0 0 25 0 1 0 134442783 24571904 5509 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 5999 5509 237 467 0 5530 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 23996

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.16 3/179 17451
/proc/meminfo: memFree=31048140/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=24128 CPUtime=402.31
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5712 0 0 0 32665 7566 0 0 25 0 1 0 134442783 24707072 5536 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6032 5536 237 467 0 5563 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 24128

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.15 3/179 17453
/proc/meminfo: memFree=31047212/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=24128 CPUtime=462.31
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5714 0 0 0 37604 8627 0 0 25 0 1 0 134442783 24707072 5538 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6032 5538 237 467 0 5563 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24128

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.14 3/179 17455
/proc/meminfo: memFree=31045568/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=24392 CPUtime=522.32
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5759 0 0 0 42648 9584 0 0 25 0 1 0 134442783 24977408 5583 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6098 5583 237 467 0 5629 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 24392

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.13 3/179 17456
/proc/meminfo: memFree=31043668/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=24392 CPUtime=582.32
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5777 0 0 0 47687 10545 0 0 25 0 1 0 134442783 24977408 5601 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6098 5601 237 467 0 5629 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 24392

[startup+642.301 s]
/proc/loadavg: 2.06 2.02 2.12 3/179 17457
/proc/meminfo: memFree=31043128/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=24524 CPUtime=642.33
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5812 0 0 0 52743 11490 0 0 25 0 1 0 134442783 25112576 5636 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6131 5636 237 467 0 5662 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 24524

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 17463
/proc/meminfo: memFree=31037004/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=24776 CPUtime=822.33
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5899 0 0 0 67584 14649 0 0 25 0 1 0 134442783 25370624 5699 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6194 5699 237 467 0 5725 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 24776

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 17464
/proc/meminfo: memFree=31034732/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25040 CPUtime=882.34
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5953 0 0 0 72362 15872 0 0 25 0 1 0 134442783 25640960 5753 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6260 5753 237 467 0 5791 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 25040

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 17465
/proc/meminfo: memFree=31035056/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25040 CPUtime=942.33
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5953 0 0 0 77201 17032 0 0 25 0 1 0 134442783 25640960 5753 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6260 5753 237 467 0 5791 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 25040

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 17467
/proc/meminfo: memFree=31032780/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25040 CPUtime=1002.34
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5953 0 0 0 81959 18275 0 0 25 0 1 0 134442783 25640960 5753 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6260 5753 237 467 0 5791 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 25040

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 17469
/proc/meminfo: memFree=31032120/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25040 CPUtime=1062.34
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 5953 0 0 0 86745 19489 0 0 25 0 1 0 134442783 25640960 5753 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6260 5753 237 467 0 5791 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 25040

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 17471
/proc/meminfo: memFree=31028340/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25152 CPUtime=1122.35
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6006 0 0 0 91586 20649 0 0 25 0 1 0 134442783 25755648 5795 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6288 5795 237 467 0 5819 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 25152

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.06 3/179 17472
/proc/meminfo: memFree=31027796/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25284 CPUtime=1182.35
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6039 0 0 0 96450 21785 0 0 25 0 1 0 134442783 25890816 5828 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6321 5828 237 467 0 5852 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 25284

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/179 17473
/proc/meminfo: memFree=31026264/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25284 CPUtime=1242.35
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6039 0 0 0 101292 22943 0 0 25 0 1 0 134442783 25890816 5828 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6321 5828 237 467 0 5852 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 25284

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 17475
/proc/meminfo: memFree=31024852/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25424 CPUtime=1302.36
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6042 0 0 0 106129 24107 0 0 25 0 1 0 134442783 26034176 5831 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6356 5831 237 467 0 5887 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 25424

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 17477
/proc/meminfo: memFree=31023304/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25424 CPUtime=1362.36
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6064 0 0 0 110961 25275 0 0 25 0 1 0 134442783 26034176 5853 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/17431/statm: 6356 5853 237 467 0 5887 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 25424

[startup+1422.31 s]
/proc/loadavg: 2.20 2.06 2.06 4/200 17570
/proc/meminfo: memFree=30971888/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25424 CPUtime=1422.32
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6064 0 0 0 116244 25988 0 0 25 0 1 0 134442783 26034176 5853 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17431/statm: 6356 5853 237 467 0 5887 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 25424

[startup+1482.3 s]
/proc/loadavg: 2.79 2.24 2.12 3/179 17615
/proc/meminfo: memFree=31057856/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25556 CPUtime=1482.29
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6084 0 0 0 121802 26427 0 0 25 0 1 0 134442783 26169344 5873 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17431/statm: 6389 5873 237 467 0 5920 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 25556

[startup+1542.3 s]
/proc/loadavg: 2.29 2.20 2.11 3/179 17616
/proc/meminfo: memFree=31002272/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25552 CPUtime=1542.29
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6126 0 0 0 127397 26832 0 0 25 0 1 0 134442783 26165248 5897 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17431/statm: 6388 5897 237 467 0 5919 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 25552

[startup+1602.3 s]
/proc/loadavg: 2.10 2.16 2.10 3/179 17618
/proc/meminfo: memFree=30972220/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25552 CPUtime=1602.29
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6126 0 0 0 132977 27252 0 0 25 0 1 0 134442783 26165248 5897 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17431/statm: 6388 5897 237 467 0 5919 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 25552

[startup+1662.3 s]
/proc/loadavg: 2.04 2.13 2.09 3/179 17620
/proc/meminfo: memFree=30939912/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25684 CPUtime=1662.3
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6159 0 0 0 138564 27666 0 0 25 0 1 0 134442783 26300416 5930 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/17431/statm: 6421 5930 237 467 0 5952 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 25684

[startup+1722.3 s]
/proc/loadavg: 2.01 2.10 2.08 3/179 17622
/proc/meminfo: memFree=30910848/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25684 CPUtime=1722.3
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6160 0 0 0 144147 28083 0 0 25 0 1 0 134442783 26300416 5931 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17431/statm: 6421 5931 237 467 0 5952 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 25684

[startup+1782.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/179 17623
/proc/meminfo: memFree=30875204/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25684 CPUtime=1782.3
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6161 0 0 0 149736 28494 0 0 25 0 1 0 134442783 26300416 5932 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17431/statm: 6421 5932 237 467 0 5952 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 25684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.07 2.07 3/179 17624
/proc/meminfo: memFree=30866024/32950928 swapFree=67111528/67111528
[pid=17431] ppid=17429 vsize=25684 CPUtime=1800
/proc/17431/stat : 17431 (pbct) R 17429 17431 17191 0 -1 4202496 6161 0 0 0 151393 28607 0 0 25 0 1 0 134442783 26300416 5932 4089446400 134512640 136421960 4287485408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17431/statm: 6421 5932 237 467 0 5952 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 25684

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.02
CPU user time (s): 1513.94
CPU system time (s): 286.079
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 25688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1513.94
system time used= 286.079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6162
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= 13
involuntary context switches= 4088

runsolver used 2.68759 second user time and 5.85811 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 22:57:59
IDJOB=2695182
IDBENCH=79315
IDSOLVER=1208
FILE ID=node149/2695182-1277931479
PBS_JOBID= 11197439
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= 4a2d6bc5f020a6a42fcf2a39cec0be8f
RANDOM SEED=1231821711

node149.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.831
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.66
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.831
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	: 5226.15
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.831
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.831
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.831
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.831
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.68
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.831
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.831
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:      31084252 kB
Buffers:        216988 kB
Cached:        1274448 kB
SwapCached:          0 kB
Active:         677828 kB
Inactive:      1040616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31084252 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1984 kB
Writeback:           0 kB
AnonPages:      227464 kB
Mapped:          17092 kB
Slab:            82884 kB
PageTables:       5280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   375028 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 node149 at 2010-06-30 23:28:01