Trace number 2699317

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo
MD5SUM9b675eaf583b613075d5327645ad3a71
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark930.493
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 constraints1863
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 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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 5/18 clauses 839/1845 units 0
0.00/0.01	c vars 231
0.06/0.08	c 0.078987 16.9375 7 8474
0.06/0.08	o 629
0.09/0.11	c 0.092985 17.125 68 10880
0.09/0.11	o 551
0.09/0.11	c 0.095985 17.125 72 11704
0.09/0.11	o 513
0.09/0.12	c 0.098984 17.125 74 12063
0.09/0.12	o 510
0.09/0.13	c 0.104984 17.125 96 12376
0.09/0.13	o 502
0.09/0.14	c 0.110983 17.125 113 13323
0.09/0.14	o 458
0.09/0.19	c 0.142978 17.125 280 14377
0.09/0.19	o 438
0.19/0.26	c 0.178972 17.2344 511 15369
0.19/0.26	o 424
0.29/0.30	c 0.205968 17.2344 614 16231
0.29/0.30	o 403
0.29/0.35	c 0.237963 17.2344 686 16606
0.29/0.35	o 402
0.29/0.39	c 0.26196 17.2344 809 17028
0.29/0.39	o 401
0.39/0.42	c 0.277957 17.2344 873 17275
0.39/0.42	o 396
0.49/0.50	c 0.329949 17.3594 1086 18619
0.49/0.50	o 357
0.49/0.57	c 0.372943 17.3594 677 19174
0.49/0.57	o 352
0.49/0.58	c 0.379942 17.3594 690 19707
0.49/0.58	o 330
0.49/0.59	c 0.386941 17.3594 732 20189
0.49/0.59	o 315
0.59/0.62	c 0.399939 17.3594 767 20765
0.59/0.62	o 292
0.59/0.66	c 0.428934 17.3594 885 21455
0.59/0.66	o 275
0.59/0.69	c 0.449931 17.3594 949 21682
0.59/0.69	o 272
0.69/0.72	c 0.466929 17.3594 1020 22300
0.69/0.72	o 255
0.69/0.73	c 0.471928 17.3594 1029 22582
0.69/0.73	o 243
1.19/1.29	c 0.790879 17.3594 1442 24958
1.19/1.29	o 231
1.29/1.33	c 0.811876 17.3594 786 25495
1.29/1.33	o 213
2.20/2.21	c 1.36079 17.3594 741 29994
2.20/2.21	o 206
2.39/2.43	c 1.49677 17.3594 1196 31175
2.39/2.43	o 189
2.59/2.63	c 1.62875 17.3594 1021 32450
2.59/2.63	o 178
2.69/2.73	c 1.68974 17.3594 1267 33102
2.69/2.73	o 175
3.29/3.33	c 2.08968 17.4883 832 36613
3.29/3.33	o 169
4.49/4.51	c 2.83257 17.4883 1543 40936
4.49/4.51	o 162
4.49/4.55	c 2.86356 17.4883 890 41478
4.49/4.55	o 149
4.59/4.69	c 2.95755 17.4883 640 42353
4.59/4.69	o 146
4.79/4.85	c 3.04654 17.4883 1001 43372
4.79/4.85	o 142
4.90/4.94	c 3.10753 17.4883 1182 44023
4.90/4.94	o 130
5.90/5.96	c 3.76243 17.6016 721 48278
5.90/5.96	o 125
6.69/6.70	c 4.22636 17.6016 1024 51641
6.69/6.70	o 123
7.10/7.18	c 4.51731 17.6016 722 53776
7.10/7.18	o 120
7.49/7.58	c 4.78027 17.6016 986 55840
7.49/7.58	o 118
8.09/8.17	c 5.15122 17.6016 943 58928
8.09/8.17	o 112
10.39/10.45	c 6.584 17.6016 794 69551
10.39/10.45	o 102
12.09/12.19	c 7.69383 17.7148 725 78325
12.09/12.19	o 81
12.59/12.64	c 7.99778 17.7148 1223 80539
12.59/12.64	o 76
12.80/12.80	c 8.10277 17.7148 1060 81393
12.80/12.80	o 72
12.80/12.88	c 8.15776 17.7148 1287 82355
12.80/12.88	o 49
12.89/12.91	c 8.17976 17.7148 1402 82667
12.89/12.91	o 47
12.89/12.91	c 8.18276 17.7148 1413 82774
12.89/12.91	o 44
13.59/13.65	c 8.74167 17.8398 2244 89954
13.59/13.65	o 39
14.59/14.60	c 9.47856 17.9648 2210 99125
14.59/14.60	o 28
15.09/15.15	c 9.93549 18.2188 2456 105655
15.09/15.15	o 26
20.19/20.25	c 14.1698 18.2188 1706 165530
20.19/20.25	o 25
52.20/52.20	c 40.6278 18.4688 2018 535560
52.20/52.20	o 24
55.69/55.76	c 43.5944 18.4688 1610 575932
55.69/55.76	o 23
68.49/68.59	c 54.3237 18.5938 1975 725695
68.49/68.59	o 22
82.19/82.22	c 65.837 18.7188 1644 893356
82.19/82.22	o 19
117.10/117.15	c 95.6255 18.8945 1450 1336469
117.10/117.15	o 11
258.10/258.12	c 219.068 20.168 1937 3197066
258.10/258.12	o 8
1800.05/1800.00	s SATISFIABLE
1800.05/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	8

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699317-1278459714/watcher-2699317-1278459714 -o /tmp/evaluation-result-2699317-1278459714/solver-2699317-1278459714 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699317-1278459714.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.98 1.95 1.77 4/178 12938
/proc/meminfo: memFree=30275492/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=2136 CPUtime=0
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 14186180 2187264 174 4089446400 134512640 136422188 4286778192 18446744073709551615 135809666 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12938/statm: 534 174 144 467 0 65 0

[startup+0.0736329 s]
/proc/loadavg: 1.98 1.95 1.77 4/178 12938
/proc/meminfo: memFree=30275492/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=17204 CPUtime=0.06
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 3955 0 0 0 6 0 0 0 25 0 1 0 14186180 17616896 3874 4089446400 134512640 136422188 4286778192 18446744073709551615 135650338 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4301 3874 207 467 0 3832 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17204

[startup+0.100625 s]
/proc/loadavg: 1.98 1.95 1.77 4/178 12938
/proc/meminfo: memFree=30275492/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=17532 CPUtime=0.09
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4072 0 0 0 8 1 0 0 25 0 1 0 14186180 17952768 3990 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4383 3990 236 467 0 3914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17532

[startup+0.300587 s]
/proc/loadavg: 1.98 1.95 1.77 4/178 12938
/proc/meminfo: memFree=30275492/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=17644 CPUtime=0.29
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4094 0 0 0 20 9 0 0 18 0 1 0 14186180 18067456 4005 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4411 4005 236 467 0 3942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17644

[startup+0.700516 s]
/proc/loadavg: 1.98 1.95 1.77 4/178 12938
/proc/meminfo: memFree=30275492/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=17772 CPUtime=0.69
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4136 0 0 0 45 24 0 0 18 0 1 0 14186180 18198528 4036 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4443 4036 236 467 0 3974 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17772

[startup+1.50037 s]
/proc/loadavg: 1.98 1.95 1.77 3/179 12939
/proc/meminfo: memFree=30259868/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=17772 CPUtime=1.49
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4166 0 0 0 91 58 0 0 19 0 1 0 14186180 18198528 4062 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4443 4062 236 467 0 3974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17772

[startup+3.10108 s]
/proc/loadavg: 1.98 1.95 1.77 3/179 12939
/proc/meminfo: memFree=30259620/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=17772 CPUtime=3.09
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4170 0 0 0 193 116 0 0 25 0 1 0 14186180 18198528 4062 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4443 4062 236 467 0 3974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17772

[startup+6.30048 s]
/proc/loadavg: 1.98 1.95 1.77 4/179 12939
/proc/meminfo: memFree=30259696/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=18020 CPUtime=6.29
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4219 0 0 0 396 233 0 0 18 0 1 0 14186180 18452480 4104 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4505 4104 236 467 0 4036 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18020

[startup+12.7003 s]
/proc/loadavg: 1.98 1.95 1.77 3/179 12940
/proc/meminfo: memFree=30259800/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=18136 CPUtime=12.69
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4252 0 0 0 803 466 0 0 25 0 1 0 14186180 18571264 4130 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4534 4130 236 467 0 4065 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18136

[startup+25.5009 s]
/proc/loadavg: 1.98 1.95 1.77 3/179 12940
/proc/meminfo: memFree=30259120/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=18652 CPUtime=25.49
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4412 0 0 0 1854 695 0 0 25 0 1 0 14186180 19099648 4282 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4663 4282 236 467 0 4194 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18652

[startup+51.1002 s]
/proc/loadavg: 1.99 1.96 1.78 3/179 12941
/proc/meminfo: memFree=30258712/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=18908 CPUtime=51.09
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4470 0 0 0 3971 1138 0 0 25 0 1 0 14186180 19361792 4340 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4727 4340 237 467 0 4258 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18908

[startup+102.306 s]
/proc/loadavg: 1.99 1.96 1.79 3/179 12942
/proc/meminfo: memFree=30258052/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=19344 CPUtime=102.3
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4585 0 0 0 8301 1929 0 0 25 0 1 0 14186180 19808256 4451 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 4836 4451 237 467 0 4367 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19344

[startup+162.301 s]
/proc/loadavg: 2.05 1.98 1.80 3/179 12944
/proc/meminfo: memFree=30257008/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20264 CPUtime=162.29
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 4864 0 0 0 13499 2730 0 0 25 0 1 0 14186180 20750336 4693 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5066 4693 237 467 0 4597 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20264

[startup+222.301 s]
/proc/loadavg: 2.02 1.98 1.81 3/179 12945
/proc/meminfo: memFree=30256684/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20640 CPUtime=222.3
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5011 0 0 0 18761 3469 0 0 25 0 1 0 14186180 21135360 4787 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5160 4787 237 467 0 4691 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 20640

[startup+282.301 s]
/proc/loadavg: 2.00 1.98 1.82 3/179 12947
/proc/meminfo: memFree=30256620/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=282.3
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 24035 4195 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20648

[startup+342.301 s]
/proc/loadavg: 2.05 2.00 1.83 3/179 12948
/proc/meminfo: memFree=30256696/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=342.3
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 29298 4932 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20648

[startup+402.301 s]
/proc/loadavg: 2.02 2.00 1.84 3/179 12950
/proc/meminfo: memFree=30256744/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=402.31
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 34615 5616 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 20648

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 12952
/proc/meminfo: memFree=30256556/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=462.3
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 39890 6340 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20648

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 12953
/proc/meminfo: memFree=30256736/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=522.31
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 45182 7049 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 20648

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 12955
/proc/meminfo: memFree=30256528/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=582.31
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 50474 7757 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20648

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 12956
/proc/meminfo: memFree=30256724/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=642.32
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 55802 8430 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 20648

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/179 12961
/proc/meminfo: memFree=30256804/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=822.32
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 71738 10494 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135006758 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 20648

[startup+882.3 s]
/proc/loadavg: 2.07 2.02 1.90 3/179 12963
/proc/meminfo: memFree=30256852/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=882.32
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 77067 11165 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 20648

[startup+942.301 s]
/proc/loadavg: 2.02 2.01 1.90 3/179 12964
/proc/meminfo: memFree=30257044/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=942.32
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 82384 11848 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 20648

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 12993
/proc/meminfo: memFree=30257876/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=1002.33
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 87714 12519 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 20648

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12994
/proc/meminfo: memFree=30256336/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20648 CPUtime=1062.32
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5046 0 0 0 93053 13179 0 0 25 0 1 0 14186180 21143552 4789 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5162 4789 237 467 0 4693 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 20648

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12996
/proc/meminfo: memFree=30255668/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20780 CPUtime=1122.33
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5063 0 0 0 98373 13860 0 0 25 0 1 0 14186180 21278720 4806 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5195 4806 237 467 0 4726 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 20780

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13007
/proc/meminfo: memFree=30254028/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20780 CPUtime=1182.33
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5064 0 0 0 103679 14554 0 0 25 0 1 0 14186180 21278720 4807 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5195 4807 237 467 0 4726 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 20780

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13008
/proc/meminfo: memFree=30254072/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20780 CPUtime=1242.33
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5065 0 0 0 108985 15248 0 0 25 0 1 0 14186180 21278720 4808 4089446400 134512640 136422188 4286778192 18446744073709551615 134902728 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5195 4808 237 467 0 4726 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 20780

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 13010
/proc/meminfo: memFree=30254144/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20780 CPUtime=1302.33
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5066 0 0 0 114294 15939 0 0 25 0 1 0 14186180 21278720 4809 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5195 4809 237 467 0 4726 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 20780

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 13012
/proc/meminfo: memFree=30253848/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20780 CPUtime=1362.34
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5078 0 0 0 119623 16611 0 0 25 0 1 0 14186180 21278720 4810 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5195 4810 237 467 0 4726 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 20780

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13013
/proc/meminfo: memFree=30253908/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20780 CPUtime=1422.34
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5079 0 0 0 124931 17303 0 0 25 0 1 0 14186180 21278720 4811 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5195 4811 237 467 0 4726 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 20780

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13015
/proc/meminfo: memFree=30253988/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20780 CPUtime=1482.33
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5080 0 0 0 130254 17979 0 0 25 0 1 0 14186180 21278720 4812 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5195 4812 237 467 0 4726 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 20780

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/179 13016
/proc/meminfo: memFree=30253816/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20780 CPUtime=1542.33
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5081 0 0 0 135599 18634 0 0 25 0 1 0 14186180 21278720 4813 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5195 4813 237 467 0 4726 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 20780

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13018
/proc/meminfo: memFree=30253752/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20780 CPUtime=1602.34
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5081 0 0 0 140926 19308 0 0 25 0 1 0 14186180 21278720 4813 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5195 4813 237 467 0 4726 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 20780

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13020
/proc/meminfo: memFree=30253796/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20780 CPUtime=1662.34
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5082 0 0 0 146251 19983 0 0 25 0 1 0 14186180 21278720 4814 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5195 4814 237 467 0 4726 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 20780

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13021
/proc/meminfo: memFree=30253604/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20856 CPUtime=1722.34
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5098 0 0 0 151538 20696 0 0 25 0 1 0 14186180 21356544 4830 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5214 4830 237 467 0 4745 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 20856

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13023
/proc/meminfo: memFree=30253784/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20856 CPUtime=1782.35
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5099 0 0 0 156837 21398 0 0 25 0 1 0 14186180 21356544 4831 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5214 4831 237 467 0 4745 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 20856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13023
/proc/meminfo: memFree=30253904/32950928 swapFree=67111528/67111528
[pid=12938] ppid=12936 vsize=20856 CPUtime=1800.05
/proc/12938/stat : 12938 (pbct) R 12936 12938 12513 0 -1 4202496 5099 0 0 0 158415 21590 0 0 25 0 1 0 14186180 21356544 4831 4089446400 134512640 136422188 4286778192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12938/statm: 5214 4831 237 467 0 4745 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 20856

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.06
CPU user time (s): 1584.15
CPU system time (s): 215.908
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1584.15
system time used= 215.908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5100
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2735

runsolver used 2.56061 second user time and 5.63314 second system time

The end

Launcher Data 

Begin job on node112 at 2010-07-07 01:41:54
IDJOB=2699317
IDBENCH=78905
IDSOLVER=1212
FILE ID=node112/2699317-1278459714
PBS_JOBID= 11233769
Free space on /tmp= 73584 MiB

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

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

MD5SUM BENCH= 9b675eaf583b613075d5327645ad3a71
RANDOM SEED=432890515

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30276020 kB
Buffers:        101076 kB
Cached:        2351760 kB
SwapCached:          0 kB
Active:         819940 kB
Inactive:      1713596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30276020 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1968 kB
Writeback:           0 kB
AnonPages:       81084 kB
Mapped:          15452 kB
Slab:            78716 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   223472 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= 73584 MiB
End job on node112 at 2010-07-07 02:11:56