Trace number 2699415

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo
MD5SUM12371feb76f2c231a6dc5b657286b6d5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark277.868
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 constraints1785
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 88246
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 88245
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
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 11/12 clauses 911/1773 units 0
0.00/0.01	c vars 231
0.02/0.08	c 0.071989 16.6211 9 6155
0.02/0.08	o 786
0.02/0.08	c 0.071989 17.0117 20 6928
0.02/0.08	o 785
0.02/0.09	c 0.072988 17.0117 22 7587
0.02/0.09	o 755
0.02/0.09	c 0.073988 17.0117 23 9470
0.02/0.09	o 627
0.02/0.09	c 0.073988 17.0117 25 12215
0.02/0.09	o 509
0.09/0.10	c 0.074988 17.0117 33 12475
0.09/0.10	o 504
0.09/0.11	c 0.076988 17.0117 71 14596
0.09/0.11	o 437
0.09/0.13	c 0.080987 17.0117 136 14915
0.09/0.13	o 432
0.09/0.15	c 0.081987 17.0117 171 15109
0.09/0.15	o 431
0.09/0.16	c 0.082987 17.0117 180 15899
0.09/0.16	o 399
0.09/0.17	c 0.082987 17.0117 188 16709
0.09/0.17	o 360
0.09/0.17	c 0.082987 17.0117 191 17704
0.09/0.17	o 312
0.09/0.17	c 0.082987 17.0117 191 17874
0.09/0.17	o 306
0.09/0.18	c 0.084987 17.0117 191 17995
0.09/0.18	o 305
0.09/0.18	c 0.084987 17.0117 192 18725
0.09/0.18	o 269
0.09/0.20	c 0.086986 17.0117 223 19164
0.09/0.20	o 253
0.19/0.20	c 0.086986 17.0117 225 19391
0.19/0.20	o 247
0.19/0.20	c 0.087986 17.0117 225 19982
0.19/0.20	o 220
0.19/0.21	c 0.088986 17.0117 226 20256
0.19/0.21	o 210
0.19/0.21	c 0.088986 17.0117 228 20619
0.19/0.21	o 196
0.19/0.22	c 0.090986 17.0117 242 20966
0.19/0.22	o 184
0.19/0.26	c 0.098984 17.0117 324 21237
0.19/0.26	o 181
0.19/0.28	c 0.101984 17.0117 381 21490
0.19/0.28	o 176
0.29/0.35	c 0.114982 17.0117 547 21911
0.29/0.35	o 175
0.39/0.42	c 0.12898 17.0117 697 22470
0.39/0.42	o 164
0.39/0.43	c 0.12898 17.0117 702 22673
0.39/0.43	o 158
0.39/0.47	c 0.143978 17.1289 858 23196
0.39/0.47	o 149
0.39/0.48	c 0.147977 17.1289 868 23708
0.39/0.48	o 128
0.39/0.49	c 0.149977 17.1289 879 23920
0.39/0.49	o 121
0.49/0.58	c 0.166974 17.1289 1124 24775
0.49/0.58	o 103
0.79/0.87	c 0.226965 17.1289 1136 26127
0.79/0.87	o 102
0.89/0.92	c 0.238963 17.1289 1228 26443
0.89/0.92	o 97
0.89/0.99	c 0.249962 17.1289 716 26843
0.89/0.99	o 91
0.89/1.00	c 0.252961 17.1289 734 27156
0.89/1.00	o 81
0.99/1.02	c 0.26096 17.1289 823 27391
0.99/1.02	o 78
1.29/1.37	c 0.354946 17.2578 1180 29293
1.29/1.37	o 76
1.39/1.44	c 0.369943 17.2578 1391 29917
1.39/1.44	o 66
1.39/1.46	c 0.374943 17.2578 1447 30199
1.39/1.46	o 58
1.69/1.72	c 0.45793 17.3789 1408 32052
1.69/1.72	o 55
1.89/1.95	c 0.546916 17.3789 1241 33785
1.89/1.95	o 45
2.10/2.11	c 0.636903 17.3789 2095 35161
2.10/2.11	o 34
2.59/2.60	c 0.949855 18.0195 1362 39393
2.59/2.60	o 30
3.69/3.72	c 1.61675 18.0195 1944 50169
3.69/3.72	o 24
4.09/4.10	c 1.84372 18.0195 1791 53911
4.09/4.10	o 23
4.39/4.49	c 2.06569 18.0195 1624 57660
4.39/4.49	o 22
5.19/5.25	c 2.52662 18.0195 1431 65679
5.19/5.25	o 15
10.60/10.61	c 6.29904 18.4062 2086 139930
10.60/10.61	o 9
29.89/29.93	c 20.4519 19.0312 2410 403244
29.89/29.93	o 7
31.39/31.48	c 21.6027 19.0312 1697 426369
31.39/31.48	o 5
35.29/35.36	c 24.3293 19.0312 1663 481294
35.29/35.36	o 4
36.20/36.28	c 25.0322 19.0312 2954 493808
36.20/36.28	o 3
42.09/42.15	c 29.4505 19.0312 2009 573906
42.09/42.15	o 1
1800.03/1800.00	s SATISFIABLE
1800.03/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-2699415-1278461052/watcher-2699415-1278461052 -o /tmp/evaluation-result-2699415-1278461052/solver-2699415-1278461052 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699415-1278461052.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.92 1.98 1.90 4/178 14202
/proc/meminfo: memFree=29637536/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=2136 CPUtime=0
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 254 0 0 0 0 0 0 0 21 0 1 0 14318630 2187264 174 4089446400 134512640 136422188 4289532592 18446744073709551615 135160433 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14202/statm: 534 174 144 467 0 65 0

[startup+0.031999 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 14202
/proc/meminfo: memFree=29637536/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=6840 CPUtime=0.02
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 1402 0 0 0 2 0 0 0 21 0 1 0 14318630 7004160 1322 4089446400 134512640 136422188 4289532592 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 1710 1326 193 467 0 1241 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6840

[startup+0.101064 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 14202
/proc/meminfo: memFree=29637536/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=17416 CPUtime=0.09
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4025 0 0 0 7 2 0 0 21 0 1 0 14318630 17833984 3940 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4354 3940 236 467 0 3885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17416

[startup+0.301023 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 14202
/proc/meminfo: memFree=29637536/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=17416 CPUtime=0.29
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4043 0 0 0 10 19 0 0 21 0 1 0 14318630 17833984 3940 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4354 3940 236 467 0 3885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17416

[startup+0.700956 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 14202
/proc/meminfo: memFree=29637536/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=17536 CPUtime=0.69
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4079 0 0 0 19 50 0 0 22 0 1 0 14318630 17956864 3969 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4384 3969 236 467 0 3915 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17536

[startup+1.50082 s]
/proc/loadavg: 1.92 1.98 1.90 3/179 14204
/proc/meminfo: memFree=29623280/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=17668 CPUtime=1.49
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4125 0 0 0 38 111 0 0 25 0 1 0 14318630 18092032 4007 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4417 4007 236 467 0 3948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17668

[startup+3.1005 s]
/proc/loadavg: 1.92 1.98 1.90 3/179 14204
/proc/meminfo: memFree=29622784/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=18448 CPUtime=3.09
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4309 0 0 0 126 183 0 0 25 0 1 0 14318630 18890752 4187 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4612 4187 236 467 0 4143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18448

[startup+6.30101 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 14204
/proc/meminfo: memFree=29622376/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=18448 CPUtime=6.29
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4332 0 0 0 323 306 0 0 25 0 1 0 14318630 18890752 4206 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4612 4206 236 467 0 4143 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18448

[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 14204
/proc/meminfo: memFree=29621984/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=18844 CPUtime=12.69
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4433 0 0 0 778 491 0 0 25 0 1 0 14318630 19296256 4306 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4711 4306 236 467 0 4242 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18844

[startup+25.5008 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 14204
/proc/meminfo: memFree=29622352/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=19484 CPUtime=25.49
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4586 0 0 0 1719 830 0 0 25 0 1 0 14318630 19951616 4459 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4871 4459 236 467 0 4402 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19484

[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 14204
/proc/meminfo: memFree=29622156/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=19484 CPUtime=51.09
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4591 0 0 0 3616 1493 0 0 25 0 1 0 14318630 19951616 4459 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4871 4459 236 467 0 4402 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19484

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 14206
/proc/meminfo: memFree=29621852/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=19484 CPUtime=102.3
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4591 0 0 0 7490 2740 0 0 25 0 1 0 14318630 19951616 4459 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4871 4459 236 467 0 4402 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19484

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 14208
/proc/meminfo: memFree=29621624/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=19620 CPUtime=162.3
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4629 0 0 0 12033 4197 0 0 25 0 1 0 14318630 20090880 4497 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4905 4497 236 467 0 4436 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19620

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 14209
/proc/meminfo: memFree=29621396/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=19752 CPUtime=222.29
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4652 0 0 0 16584 5645 0 0 25 0 1 0 14318630 20226048 4520 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 4938 4520 236 467 0 4469 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19752

[startup+282.3 s]
/proc/loadavg: 2.05 2.00 1.91 3/179 14210
/proc/meminfo: memFree=29621208/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20096 CPUtime=282.3
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4730 0 0 0 21146 7084 0 0 25 0 1 0 14318630 20578304 4598 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5024 4598 236 467 0 4555 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20096

[startup+342.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/179 14212
/proc/meminfo: memFree=29620884/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20228 CPUtime=342.3
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4757 0 0 0 25739 8491 0 0 25 0 1 0 14318630 20713472 4625 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5057 4625 236 467 0 4588 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20228

[startup+402.3 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 14242
/proc/meminfo: memFree=29622228/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20356 CPUtime=402.29
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4796 0 0 0 30306 9923 0 0 25 0 1 0 14318630 20844544 4664 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5089 4664 236 467 0 4620 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 20356

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 14244
/proc/meminfo: memFree=29622144/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20356 CPUtime=462.3
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4796 0 0 0 34893 11337 0 0 25 0 1 0 14318630 20844544 4664 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5089 4664 236 467 0 4620 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20356

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14245
/proc/meminfo: memFree=29621556/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20484 CPUtime=522.3
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4836 0 0 0 39464 12766 0 0 25 0 1 0 14318630 20975616 4704 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5121 4704 236 467 0 4652 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20484

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14246
/proc/meminfo: memFree=29621364/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20672 CPUtime=582.3
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4873 0 0 0 44089 14141 0 0 25 0 1 0 14318630 21168128 4741 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5168 4741 236 467 0 4699 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20672

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14248
/proc/meminfo: memFree=29621032/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20672 CPUtime=642.31
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4886 0 0 0 48676 15555 0 0 25 0 1 0 14318630 21168128 4754 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5168 4754 236 467 0 4699 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20672

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14253
/proc/meminfo: memFree=29620912/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20860 CPUtime=822.3
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4935 0 0 0 62520 19710 0 0 25 0 1 0 14318630 21360640 4803 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5215 4803 236 467 0 4746 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 20860

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14257
/proc/meminfo: memFree=29620196/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20860 CPUtime=882.3
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4940 0 0 0 67177 21053 0 0 25 0 1 0 14318630 21360640 4808 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5215 4808 236 467 0 4746 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 20860

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14259
/proc/meminfo: memFree=29620068/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20952 CPUtime=942.31
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4954 0 0 0 71804 22427 0 0 25 0 1 0 14318630 21454848 4822 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5238 4822 236 467 0 4769 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 20952

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14261
/proc/meminfo: memFree=29619872/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20952 CPUtime=1002.31
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4954 0 0 0 76393 23838 0 0 25 0 1 0 14318630 21454848 4822 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5238 4822 236 467 0 4769 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 20952

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14263
/proc/meminfo: memFree=29619920/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=20952 CPUtime=1062.3
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 4954 0 0 0 80965 25265 0 0 25 0 1 0 14318630 21454848 4822 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5238 4822 236 467 0 4769 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 20952

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14264
/proc/meminfo: memFree=29619836/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21320 CPUtime=1122.31
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5011 0 0 0 85567 26664 0 0 25 0 1 0 14318630 21831680 4879 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5330 4879 236 467 0 4861 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 21320

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14265
/proc/meminfo: memFree=29619780/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21320 CPUtime=1182.31
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5034 0 0 0 90255 27976 0 0 25 0 1 0 14318630 21831680 4902 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5330 4902 236 467 0 4861 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 21320

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14267
/proc/meminfo: memFree=29619708/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21448 CPUtime=1242.31
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5055 0 0 0 94914 29317 0 0 25 0 1 0 14318630 21962752 4923 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5362 4923 236 467 0 4893 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 21448

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14269
/proc/meminfo: memFree=29619268/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21448 CPUtime=1302.31
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5073 0 0 0 99569 30662 0 0 25 0 1 0 14318630 21962752 4941 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5362 4941 236 467 0 4893 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 21448

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14298
/proc/meminfo: memFree=27517376/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21448 CPUtime=1362.31
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5074 0 0 0 104202 32029 0 0 25 0 1 0 14318630 21962752 4942 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5362 4942 236 467 0 4893 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 21448

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14299
/proc/meminfo: memFree=27513720/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21580 CPUtime=1422.32
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5090 0 0 0 108814 33418 0 0 25 0 1 0 14318630 22097920 4958 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5395 4958 236 467 0 4926 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 21580

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14300
/proc/meminfo: memFree=27511804/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21672 CPUtime=1482.32
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5129 0 0 0 113410 34822 0 0 25 0 1 0 14318630 22192128 4997 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5418 4997 236 467 0 4949 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 21672

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14302
/proc/meminfo: memFree=27510012/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21772 CPUtime=1542.32
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5142 0 0 0 117965 36267 0 0 25 0 1 0 14318630 22294528 5010 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5443 5010 236 467 0 4974 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 21772

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14304
/proc/meminfo: memFree=27508732/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21772 CPUtime=1602.31
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5142 0 0 0 122501 37730 0 0 25 0 1 0 14318630 22294528 5010 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5443 5010 236 467 0 4974 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 21772

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14306
/proc/meminfo: memFree=27507444/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21772 CPUtime=1662.32
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5144 0 0 0 127084 39148 0 0 25 0 1 0 14318630 22294528 5012 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5443 5012 236 467 0 4974 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 21772

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14307
/proc/meminfo: memFree=27506392/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21772 CPUtime=1722.32
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5144 0 0 0 131631 40601 0 0 25 0 1 0 14318630 22294528 5012 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5443 5012 236 467 0 4974 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 21772

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14309
/proc/meminfo: memFree=27503604/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21772 CPUtime=1782.32
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5146 0 0 0 136218 42014 0 0 25 0 1 0 14318630 22294528 5014 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5443 5014 236 467 0 4974 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 21772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 14309
/proc/meminfo: memFree=27503336/32950928 swapFree=67111528/67111528
[pid=14202] ppid=14200 vsize=21772 CPUtime=1800.03
/proc/14202/stat : 14202 (pbct) R 14200 14202 13849 0 -1 4202496 5146 0 0 0 137580 42423 0 0 25 0 1 0 14318630 22294528 5014 4089446400 134512640 136422188 4289532592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14202/statm: 5443 5014 236 467 0 4974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 21772

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.04
CPU user time (s): 1375.8
CPU system time (s): 424.235
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 21800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1375.8
system time used= 424.235
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 2685

runsolver used 3.2945 second user time and 5.8901 second system time

The end

Launcher Data 

Begin job on node126 at 2010-07-07 02:04:12
IDJOB=2699415
IDBENCH=78954
IDSOLVER=1212
FILE ID=node126/2699415-1278461052
PBS_JOBID= 11233740
Free space on /tmp= 73680 MiB

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

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

MD5SUM BENCH= 12371feb76f2c231a6dc5b657286b6d5
RANDOM SEED=1791035643

node126.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.861
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.72
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.861
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.05
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.861
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.861
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.67
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.861
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.84
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.861
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.67
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.861
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.85
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.861
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:      29637684 kB
Buffers:        109436 kB
Cached:        2983584 kB
SwapCached:          0 kB
Active:         858796 kB
Inactive:      2312160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29637684 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2008 kB
Writeback:           0 kB
AnonPages:       77780 kB
Mapped:          15456 kB
Slab:            78164 kB
PageTables:       4808 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   216116 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= 73668 MiB
End job on node126 at 2010-07-07 02:34:14