Trace number 2699369

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900545610--soft-33-100-0.wbo
MD5SUM81190eaa1a1e32ae5b8ead62e8a746de
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark436.394
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 671
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.01/0.08	c 0.070989 16.9375 5 6741
0.01/0.08	o 555
0.01/0.09	c 0.072988 17.125 22 8460
0.01/0.09	o 545
0.01/0.09	c 0.072988 17.125 22 10243
0.01/0.09	o 454
0.09/0.10	c 0.073988 17.125 25 11313
0.09/0.10	o 409
0.19/0.20	c 0.086986 17.125 349 12474
0.19/0.20	o 398
0.19/0.21	c 0.088986 17.125 361 12613
0.19/0.21	o 395
0.19/0.24	c 0.089986 17.125 440 13026
0.19/0.24	o 384
0.39/0.47	c 0.118981 17.2539 1048 15039
0.39/0.47	o 379
0.39/0.49	c 0.123981 17.2539 1068 15592
0.39/0.49	o 359
0.49/0.50	c 0.123981 17.2539 1084 15735
0.49/0.50	o 358
0.59/0.62	c 0.145977 17.2539 855 17524
0.59/0.62	o 315
0.69/0.76	c 0.165974 17.375 1142 18383
0.69/0.76	o 306
0.69/0.77	c 0.165974 17.375 1148 19005
0.69/0.77	o 277
0.69/0.79	c 0.168974 17.375 1212 19374
0.69/0.79	o 266
0.89/0.97	c 0.19197 17.375 996 21034
0.89/0.97	o 225
0.99/1.04	c 0.204968 17.375 1106 21509
0.99/1.04	o 219
0.99/1.07	c 0.211967 17.375 1169 21864
0.99/1.07	o 212
1.10/1.16	c 0.226965 17.375 800 22371
1.10/1.16	o 211
1.10/1.19	c 0.230964 17.375 843 22552
1.10/1.19	o 209
1.69/1.72	c 0.311952 17.375 781 25794
1.69/1.72	o 195
1.79/1.85	c 0.331949 17.375 1031 26583
1.79/1.85	o 193
2.20/2.27	c 0.404938 17.375 1267 28749
2.20/2.27	o 180
2.29/2.31	c 0.414936 17.375 717 28995
2.29/2.31	o 175
2.39/2.47	c 0.429934 17.375 1022 29892
2.39/2.47	o 174
2.49/2.50	c 0.430934 17.375 1075 30270
2.49/2.50	o 163
2.49/2.52	c 0.434933 17.375 1128 30466
2.49/2.52	o 158
2.49/2.54	c 0.437933 17.375 1171 30770
2.49/2.54	o 149
2.99/3.00	c 0.528919 17.375 1003 32997
2.99/3.00	o 140
2.99/3.06	c 0.540917 17.375 1109 33354
2.99/3.06	o 139
3.30/3.39	c 0.598908 17.375 1132 35276
3.30/3.39	o 120
3.69/3.76	c 0.686895 17.375 872 37528
3.69/3.76	o 118
4.49/4.52	c 0.825874 17.4922 698 41086
4.49/4.52	o 113
4.59/4.60	c 0.85487 17.4922 889 41631
4.59/4.60	o 105
4.59/4.60	c 0.856869 17.4922 898 41882
4.59/4.60	o 94
4.59/4.65	c 0.874867 17.4922 1080 42387
4.59/4.65	o 89
4.59/4.66	c 0.876866 17.4922 1082 42883
4.59/4.66	o 66
5.19/5.28	c 1.07084 17.75 1149 46132
5.19/5.28	o 61
5.59/5.61	c 1.19982 17.75 1298 48302
5.59/5.61	o 45
5.90/5.97	c 1.36679 17.8789 1999 51280
5.90/5.97	o 40
6.20/6.24	c 1.49977 17.8789 1687 54477
6.20/6.24	o 38
6.20/6.25	c 1.50277 17.8789 1753 54638
6.20/6.25	o 37
6.40/6.40	c 1.58476 17.8789 1527 56292
6.40/6.40	o 34
6.40/6.46	c 1.61075 17.8789 1871 57059
6.40/6.46	o 26
6.69/6.73	c 1.76873 17.8789 2404 59879
6.69/6.73	o 24
7.29/7.32	c 2.12068 17.8789 2407 66254
7.29/7.32	o 20
7.40/7.40	c 2.17067 17.8789 1623 67216
7.40/7.40	o 17
7.49/7.53	c 2.25866 17.8789 2627 68717
7.49/7.53	o 13
9.79/9.87	c 3.81542 18.2578 2196 98392
9.79/9.87	o 9
10.19/10.28	c 4.11337 18.2578 1585 103782
10.19/10.28	o 8
11.79/11.85	c 5.19921 18.2578 2476 126626
11.79/11.85	o 7
39.79/39.82	c 25.2012 18.5117 3419 511812
39.79/39.82	o 6
39.79/39.87	c 25.2402 18.5117 2388 512949
39.79/39.87	o 2
1800.04/1800.00	s SATISFIABLE
1800.04/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-2699369-1278460696/watcher-2699369-1278460696 -o /tmp/evaluation-result-2699369-1278460696/solver-2699369-1278460696 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699369-1278460696.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.01 2.01 1.91 3/178 12991
/proc/meminfo: memFree=30271508/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=2136 CPUtime=0
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 255 0 0 0 0 0 0 0 20 0 1 0 14284395 2187264 175 4089446400 134512640 136422188 4288640864 18446744073709551615 135818590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12991/statm: 534 175 144 467 0 65 0

[startup+0.0207859 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 12991
/proc/meminfo: memFree=30271508/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=3708 CPUtime=0.01
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 642 0 0 0 1 0 0 0 21 0 1 0 14284395 3796992 562 4089446400 134512640 136422188 4288640864 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 960 566 187 467 0 491 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3708

[startup+0.100774 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 12991
/proc/meminfo: memFree=30271508/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=17532 CPUtime=0.09
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4078 0 0 0 7 2 0 0 18 0 1 0 14284395 17952768 3995 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 4383 3995 236 467 0 3914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17532

[startup+0.300731 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 12991
/proc/meminfo: memFree=30271508/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=17664 CPUtime=0.29
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4091 0 0 0 9 20 0 0 18 0 1 0 14284395 18087936 4004 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 4416 4004 237 467 0 3947 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17664

[startup+0.70066 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 12991
/proc/meminfo: memFree=30271508/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=17664 CPUtime=0.69
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4124 0 0 0 15 54 0 0 18 0 1 0 14284395 18087936 4033 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 4416 4033 237 467 0 3947 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17664

[startup+1.50051 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 12992
/proc/meminfo: memFree=30256372/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=17788 CPUtime=1.49
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4145 0 0 0 27 122 0 0 18 0 1 0 14284395 18214912 4046 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 4447 4046 237 467 0 3978 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17788

[startup+3.10022 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 12992
/proc/meminfo: memFree=30257028/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=17788 CPUtime=3.09
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4170 0 0 0 55 254 0 0 18 0 1 0 14284395 18214912 4061 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 4447 4061 237 467 0 3978 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17788

[startup+6.30065 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 12993
/proc/meminfo: memFree=30257276/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=18304 CPUtime=6.29
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4318 0 0 0 152 477 0 0 18 0 1 0 14284395 18743296 4197 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 4576 4197 237 467 0 4107 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18304

[startup+12.7005 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 12993
/proc/meminfo: memFree=30256984/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=18692 CPUtime=12.69
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4404 0 0 0 581 688 0 0 25 0 1 0 14284395 19140608 4274 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 4673 4274 237 467 0 4204 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18692

[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 12993
/proc/meminfo: memFree=30257632/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=18820 CPUtime=25.49
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4429 0 0 0 1492 1057 0 0 25 0 1 0 14284395 19271680 4299 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 4705 4299 237 467 0 4236 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18820

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12994
/proc/meminfo: memFree=30256860/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=19336 CPUtime=51.09
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4560 0 0 0 3349 1760 0 0 25 0 1 0 14284395 19800064 4428 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 4834 4428 237 467 0 4365 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19336

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12995
/proc/meminfo: memFree=30256084/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=19964 CPUtime=102.3
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4727 0 0 0 7135 3095 0 0 25 0 1 0 14284395 20443136 4595 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12991/statm: 4991 4595 237 467 0 4522 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19964

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12997
/proc/meminfo: memFree=30255652/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=20216 CPUtime=162.29
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4800 0 0 0 11631 4598 0 0 25 0 1 0 14284395 20701184 4668 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5054 4668 237 467 0 4585 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20216

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13007
/proc/meminfo: memFree=30254112/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=20416 CPUtime=222.29
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4847 0 0 0 16057 6172 0 0 25 0 1 0 14284395 20905984 4715 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5104 4715 237 467 0 4635 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 20416

[startup+282.301 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 13009
/proc/meminfo: memFree=30254068/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=20668 CPUtime=282.29
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4918 0 0 0 20530 7699 0 0 25 0 1 0 14284395 21164032 4786 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5167 4786 237 467 0 4698 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 20668

[startup+342.301 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 13011
/proc/meminfo: memFree=30254004/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=20784 CPUtime=342.29
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 4942 0 0 0 25010 9219 0 0 25 0 1 0 14284395 21282816 4810 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5196 4810 237 467 0 4727 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 20784

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 13012
/proc/meminfo: memFree=30253944/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21044 CPUtime=402.29
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5012 0 0 0 29553 10676 0 0 25 0 1 0 14284395 21549056 4880 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5261 4880 237 467 0 4792 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 21044

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13014
/proc/meminfo: memFree=30254028/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21044 CPUtime=462.3
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5012 0 0 0 34034 12196 0 0 25 0 1 0 14284395 21549056 4880 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5261 4880 237 467 0 4792 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 21044

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13015
/proc/meminfo: memFree=30253984/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21052 CPUtime=522.3
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5044 0 0 0 38477 13753 0 0 25 0 1 0 14284395 21557248 4885 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5263 4885 237 467 0 4794 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 21052

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13017
/proc/meminfo: memFree=30253912/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21220 CPUtime=582.3
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5093 0 0 0 42971 15259 0 0 25 0 1 0 14284395 21729280 4927 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5305 4927 237 467 0 4836 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 21220

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13019
/proc/meminfo: memFree=30254096/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21348 CPUtime=642.31
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5117 0 0 0 47470 16761 0 0 25 0 1 0 14284395 21860352 4951 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5337 4951 237 467 0 4868 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 21348

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13051
/proc/meminfo: memFree=30147828/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21612 CPUtime=822.31
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5159 0 0 0 60968 21263 0 0 25 0 1 0 14284395 22130688 4993 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5403 4993 237 467 0 4934 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 21612

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13053
/proc/meminfo: memFree=30145100/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21612 CPUtime=882.3
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5171 0 0 0 65488 22742 0 0 25 0 1 0 14284395 22130688 5005 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5403 5005 237 467 0 4934 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 21612

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13109
/proc/meminfo: memFree=30099820/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21736 CPUtime=942.31
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5199 0 0 0 70295 23936 0 0 25 0 1 0 14284395 22257664 5033 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5434 5033 237 467 0 4965 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 21736

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13110
/proc/meminfo: memFree=30098144/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21736 CPUtime=1002.31
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5199 0 0 0 75250 24981 0 0 25 0 1 0 14284395 22257664 5033 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5434 5033 237 467 0 4965 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 21736

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13112
/proc/meminfo: memFree=30097592/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21736 CPUtime=1062.31
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5199 0 0 0 80185 26046 0 0 25 0 1 0 14284395 22257664 5033 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5434 5033 237 467 0 4965 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 21736

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13113
/proc/meminfo: memFree=30097280/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21992 CPUtime=1122.31
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5254 0 0 0 85186 27045 0 0 25 0 1 0 14284395 22519808 5088 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5498 5088 237 467 0 5029 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 21992

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13115
/proc/meminfo: memFree=30097220/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=21992 CPUtime=1182.31
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5269 0 0 0 90214 28017 0 0 25 0 1 0 14284395 22519808 5103 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5498 5103 237 467 0 5029 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 21992

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 13120
/proc/meminfo: memFree=30095764/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22104 CPUtime=1242.32
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5294 0 0 0 95219 29013 0 0 25 0 1 0 14284395 22634496 5128 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5526 5128 237 467 0 5057 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 22104

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 13121
/proc/meminfo: memFree=30095604/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22200 CPUtime=1302.33
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5341 0 0 0 100235 29998 0 0 25 0 1 0 14284395 22732800 5161 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5550 5161 237 467 0 5081 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 22200

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13123
/proc/meminfo: memFree=30095404/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22200 CPUtime=1362.33
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5341 0 0 0 105210 31023 0 0 25 0 1 0 14284395 22732800 5161 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5550 5161 237 467 0 5081 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 22200

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13124
/proc/meminfo: memFree=30095808/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22200 CPUtime=1422.32
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5343 0 0 0 110215 32017 0 0 25 0 1 0 14284395 22732800 5163 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5550 5163 237 467 0 5081 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 22200

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13126
/proc/meminfo: memFree=30095984/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22200 CPUtime=1482.32
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5343 0 0 0 115229 33003 0 0 25 0 1 0 14284395 22732800 5163 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5550 5163 237 467 0 5081 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 22200

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13128
/proc/meminfo: memFree=30095792/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22328 CPUtime=1542.32
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5353 0 0 0 120248 33984 0 0 25 0 1 0 14284395 22863872 5173 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5582 5173 237 467 0 5113 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 22328

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13129
/proc/meminfo: memFree=30095696/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22328 CPUtime=1602.33
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5362 0 0 0 125232 35001 0 0 25 0 1 0 14284395 22863872 5182 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5582 5182 237 467 0 5113 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 22328

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13158
/proc/meminfo: memFree=29030760/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22328 CPUtime=1662.33
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5363 0 0 0 130014 36219 0 0 25 0 1 0 14284395 22863872 5183 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5582 5183 237 467 0 5113 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 22328

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13159
/proc/meminfo: memFree=29023968/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22376 CPUtime=1722.33
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5388 0 0 0 134582 37651 0 0 25 0 1 0 14284395 22913024 5208 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5594 5208 237 467 0 5125 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 22376

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13161
/proc/meminfo: memFree=29021412/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22376 CPUtime=1782.33
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5389 0 0 0 139136 39097 0 0 25 0 1 0 14284395 22913024 5209 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5594 5209 237 467 0 5125 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 22376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13161
/proc/meminfo: memFree=29020772/32950928 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=22376 CPUtime=1800.04
/proc/12991/stat : 12991 (pbct) R 12989 12991 12496 0 -1 4202496 5389 0 0 0 140485 39519 0 0 25 0 1 0 14284395 22913024 5209 4089446400 134512640 136422188 4288640864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12991/statm: 5594 5209 237 467 0 5125 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 22376

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

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1404.85
system time used= 395.194
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5390
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= 10
involuntary context switches= 4697

runsolver used 2.55861 second user time and 5.63614 second system time

The end

Launcher Data 

Begin job on node112 at 2010-07-07 01:58:17
IDJOB=2699369
IDBENCH=78931
IDSOLVER=1212
FILE ID=node112/2699369-1278460696
PBS_JOBID= 11233768
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.1900545610--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699369-1278460696/watcher-2699369-1278460696 -o /tmp/evaluation-result-2699369-1278460696/solver-2699369-1278460696 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699369-1278460696.wbo

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

MD5SUM BENCH= 81190eaa1a1e32ae5b8ead62e8a746de
RANDOM SEED=893952838

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:      30272152 kB
Buffers:        101996 kB
Cached:        2351884 kB
SwapCached:          0 kB
Active:         820744 kB
Inactive:      1714388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30272152 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1940 kB
Writeback:           0 kB
AnonPages:       81524 kB
Mapped:          15624 kB
Slab:            78720 kB
PageTables:       5264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   221904 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= 73576 MiB
End job on node112 at 2010-07-07 02:28:19