Trace number 2695054

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1MSAT (TO) 1800.04 1800.01

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo
MD5SUM0e9942c7ddaaf04ff12871ed1ee37357
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark133.058
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 137946
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137945
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.10/0.11	c 0.091986 19.9922 16 15532
0.10/0.11	o 372
0.19/0.24	c 0.103984 20.2266 151 19393
0.19/0.24	o 350
0.29/0.32	c 0.117982 20.4609 265 22817
0.29/0.32	o 324
0.29/0.39	c 0.12998 20.4609 360 23946
0.29/0.39	o 309
0.39/0.46	c 0.141978 20.4609 442 24714
0.39/0.46	o 305
0.39/0.50	c 0.145977 20.4609 490 25237
0.39/0.50	o 302
0.49/0.56	c 0.150977 20.4609 588 25946
0.49/0.56	o 298
0.59/0.66	c 0.162975 20.4609 688 26901
0.59/0.66	o 292
0.59/0.67	c 0.163975 20.4609 689 27420
0.59/0.67	o 285
0.79/0.87	c 0.189971 20.4609 996 29337
0.79/0.87	o 277
0.79/0.89	c 0.19497 20.4609 1034 30042
0.79/0.89	o 274
0.89/0.90	c 0.19597 20.4609 1041 30336
0.89/0.90	o 273
0.89/0.91	c 0.19697 20.4609 1041 30531
0.89/0.91	o 269
0.89/0.91	c 0.19697 20.4609 1041 30669
0.89/0.91	o 267
0.89/0.92	c 0.198969 20.4609 1041 30841
0.89/0.92	o 265
0.89/0.92	c 0.200969 20.4609 1042 31094
0.89/0.92	o 260
0.99/1.00	c 0.208968 20.4609 1167 32673
0.99/1.00	o 256
1.10/1.11	c 0.223965 20.4609 703 34239
1.10/1.11	o 241
1.10/1.17	c 0.230964 20.4609 752 34680
1.10/1.17	o 237
1.19/1.29	c 0.249962 20.4609 912 35793
1.19/1.29	o 229
1.29/1.32	c 0.254961 20.4609 942 36317
1.29/1.32	o 223
1.29/1.37	c 0.26096 20.4609 983 37226
1.29/1.37	o 203
1.29/1.38	c 0.26096 20.4609 988 37632
1.29/1.38	o 191
1.79/1.88	c 0.365944 20.4609 1011 39993
1.79/1.88	o 189
1.79/1.89	c 0.374943 20.4609 1052 40187
1.79/1.89	o 188
2.29/2.33	c 0.517921 20.4609 1062 42463
2.29/2.33	o 186
2.29/2.34	c 0.52092 20.4609 1064 42846
2.29/2.34	o 174
2.39/2.42	c 0.545917 20.4609 1168 43694
2.39/2.42	o 165
2.49/2.50	c 0.579911 20.4609 707 44198
2.49/2.50	o 160
2.69/2.77	c 0.660899 20.4609 1104 45576
2.69/2.77	o 153
3.09/3.11	c 0.743886 20.4609 930 46928
3.09/3.11	o 152
3.09/3.13	c 0.748886 20.4609 955 47330
3.09/3.13	o 141
3.30/3.33	c 0.78888 20.4609 651 48409
3.30/3.33	o 133
3.30/3.35	c 0.792879 20.4609 665 49400
3.30/3.35	o 104
3.40/3.43	c 0.809876 20.4609 769 49922
3.40/3.43	o 97
3.40/3.48	c 0.816875 20.4609 835 50587
3.40/3.48	o 79
3.69/3.71	c 0.857869 20.4609 1288 52508
3.69/3.71	o 53
3.89/3.97	c 0.924859 20.5898 944 53772
3.89/3.97	o 45
4.09/4.18	c 0.991849 20.5898 1474 54784
4.09/4.18	o 43
4.29/4.33	c 1.03884 20.7188 1918 55920
4.29/4.33	o 37
4.39/4.42	c 1.07384 20.7188 2190 56507
4.39/4.42	o 32
4.39/4.49	c 1.11283 20.8477 2457 57215
4.39/4.49	o 25
4.50/4.54	c 1.14383 20.8477 2718 57884
4.50/4.54	o 18
4.59/4.62	c 1.19482 20.9766 3113 58893
4.59/4.62	o 15
5.49/5.54	c 1.78973 21.2344 2170 69206
5.49/5.54	o 13
5.59/5.66	c 1.86972 21.2344 3051 70456
5.59/5.66	o 12
6.69/6.78	c 2.58861 21.2344 2459 83648
6.69/6.78	o 8
12.79/12.87	c 6.99294 21.8789 3917 164341
12.79/12.87	o 7
20.49/20.58	c 12.6661 21.8789 2364 268475
20.49/20.58	o 6
21.29/21.36	c 13.226 21.8789 3896 278667
21.29/21.36	o 5
22.99/23.09	c 14.6178 21.8789 2652 303481
22.99/23.09	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-2695054-1277927809/watcher-2695054-1277927809 -o /tmp/evaluation-result-2695054-1277927809/solver-2695054-1277927809 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695054-1277927809.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.00 2.00 2.07 3/178 15592
/proc/meminfo: memFree=31230056/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=2136 CPUtime=0
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 254 0 0 0 0 0 0 0 24 0 1 0 134077556 2187264 173 4089446400 134512640 136421960 4293640048 18446744073709551615 135818222 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15592/statm: 534 173 144 467 0 65 0

[startup+0.104702 s]
/proc/loadavg: 2.00 2.00 2.07 3/178 15592
/proc/meminfo: memFree=31230056/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=20468 CPUtime=0.1
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 4751 0 0 0 9 1 0 0 25 0 1 0 134077556 20959232 4637 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5117 4637 213 467 0 4648 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20468

[startup+0.200677 s]
/proc/loadavg: 2.00 2.00 2.07 3/178 15592
/proc/meminfo: memFree=31230056/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=20708 CPUtime=0.19
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 4810 0 0 0 9 10 0 0 25 0 1 0 134077556 21204992 4695 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5177 4695 236 467 0 4708 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20708

[startup+0.300661 s]
/proc/loadavg: 2.00 2.00 2.07 3/178 15592
/proc/meminfo: memFree=31230056/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=20948 CPUtime=0.29
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 4845 0 0 0 11 18 0 0 25 0 1 0 134077556 21450752 4729 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5237 4729 237 467 0 4768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20948

[startup+0.700591 s]
/proc/loadavg: 2.00 2.00 2.07 3/178 15592
/proc/meminfo: memFree=31230056/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=20948 CPUtime=0.69
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 4852 0 0 0 17 52 0 0 25 0 1 0 134077556 21450752 4729 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5237 4729 237 467 0 4768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20948

[startup+1.50045 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 15593
/proc/meminfo: memFree=31209340/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=20948 CPUtime=1.49
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 4866 0 0 0 27 122 0 0 25 0 1 0 134077556 21450752 4729 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5237 4729 237 467 0 4768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20948

[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 15593
/proc/meminfo: memFree=31207604/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=20948 CPUtime=3.09
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 4887 0 0 0 74 235 0 0 25 0 1 0 134077556 21450752 4743 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5237 4743 237 467 0 4768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20948

[startup+6.3006 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 15593
/proc/meminfo: memFree=31199440/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=21740 CPUtime=6.3
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5108 0 0 0 228 402 0 0 25 0 1 0 134077556 22261760 4948 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5435 4948 237 467 0 4966 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 21740

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 15594
/proc/meminfo: memFree=31185152/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=22400 CPUtime=12.69
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5266 0 0 0 686 583 0 0 25 0 1 0 134077556 22937600 5105 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5600 5105 237 467 0 5131 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22400

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 15594
/proc/meminfo: memFree=31156376/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=22532 CPUtime=25.49
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5292 0 0 0 1647 902 0 0 25 0 1 0 134077556 23072768 5127 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5633 5127 237 467 0 5164 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22532

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 15594
/proc/meminfo: memFree=31097796/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=23060 CPUtime=51.09
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5423 0 0 0 3651 1458 0 0 25 0 1 0 134077556 23613440 5258 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5765 5258 237 467 0 5296 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23060

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 15596
/proc/meminfo: memFree=30986776/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=23588 CPUtime=102.3
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5556 0 0 0 7672 2558 0 0 25 0 1 0 134077556 24154112 5391 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 5897 5391 237 467 0 5428 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23588

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 15597
/proc/meminfo: memFree=30909232/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=24116 CPUtime=162.29
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5699 0 0 0 12346 3883 0 0 25 0 1 0 134077556 24694784 5534 4089446400 134512640 136421960 4293640048 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/15592/statm: 6029 5534 237 467 0 5560 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24116

[startup+222.305 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 15599
/proc/meminfo: memFree=30837896/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=24248 CPUtime=222.29
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5733 0 0 0 17059 5170 0 0 25 0 1 0 134077556 24829952 5568 4089446400 134512640 136421960 4293640048 18446744073709551615 134862018 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6062 5568 237 467 0 5593 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 24248

[startup+282.301 s]
/proc/loadavg: 2.07 2.02 2.05 3/179 15609
/proc/meminfo: memFree=30811624/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=24380 CPUtime=282.29
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5778 0 0 0 21783 6446 0 0 25 0 1 0 134077556 24965120 5613 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6095 5613 237 467 0 5626 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24380

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/179 15611
/proc/meminfo: memFree=30703660/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=24512 CPUtime=342.29
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5810 0 0 0 26510 7719 0 0 25 0 1 0 134077556 25100288 5645 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6128 5645 237 467 0 5659 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 24512

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.04 3/179 15613
/proc/meminfo: memFree=30618916/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=24644 CPUtime=402.29
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5824 0 0 0 31194 9035 0 0 25 0 1 0 134077556 25235456 5659 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6161 5659 237 467 0 5692 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 24644

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 15614
/proc/meminfo: memFree=30578820/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=24644 CPUtime=462.29
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5835 0 0 0 35961 10268 0 0 25 0 1 0 134077556 25235456 5670 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6161 5670 237 467 0 5692 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 24644

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 15616
/proc/meminfo: memFree=30497064/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=24644 CPUtime=522.29
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5835 0 0 0 40651 11578 0 0 25 0 1 0 134077556 25235456 5670 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6161 5670 237 467 0 5692 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 24644

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 15617
/proc/meminfo: memFree=30405736/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=25040 CPUtime=582.29
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5927 0 0 0 45395 12834 0 0 25 0 1 0 134077556 25640960 5762 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6260 5762 237 467 0 5791 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 25040

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 15619
/proc/meminfo: memFree=30324720/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=25116 CPUtime=642.3
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 5960 0 0 0 50188 14042 0 0 25 0 1 0 134077556 25718784 5779 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6279 5779 237 467 0 5810 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 25116

[startup+702.301 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15625
/proc/meminfo: memFree=29985504/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=25468 CPUtime=882.3
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6104 0 0 0 69262 18968 0 0 25 0 1 0 134077556 26079232 5884 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6367 5884 237 467 0 5898 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 25468

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15627
/proc/meminfo: memFree=29895428/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=25428 CPUtime=942.3
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6116 0 0 0 74036 20194 0 0 25 0 1 0 134077556 26038272 5876 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6357 5876 237 467 0 5888 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 25428

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15629
/proc/meminfo: memFree=29811432/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=25560 CPUtime=1002.31
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6180 0 0 0 78840 21391 0 0 25 0 1 0 134077556 26173440 5882 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6390 5882 237 467 0 5921 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 25560

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15630
/proc/meminfo: memFree=29736236/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=25560 CPUtime=1062.31
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6180 0 0 0 83518 22713 0 0 25 0 1 0 134077556 26173440 5882 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6390 5882 237 467 0 5921 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 25560

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15632
/proc/meminfo: memFree=29660304/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=25560 CPUtime=1122.31
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6180 0 0 0 88213 24018 0 0 25 0 1 0 134077556 26173440 5882 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6390 5882 237 467 0 5921 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 25560

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15633
/proc/meminfo: memFree=29589188/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=25956 CPUtime=1182.31
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6296 0 0 0 92960 25271 0 0 25 0 1 0 134077556 26578944 5998 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6489 5998 237 467 0 6020 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 25956

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15635
/proc/meminfo: memFree=29503208/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26088 CPUtime=1242.31
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6312 0 0 0 97716 26515 0 0 25 0 1 0 134077556 26714112 6014 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6522 6014 237 467 0 6053 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 26088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15637
/proc/meminfo: memFree=29435704/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26044 CPUtime=1302.31
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6336 0 0 0 102482 27749 0 0 25 0 1 0 134077556 26669056 6026 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6511 6026 237 467 0 6042 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 26044

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15638
/proc/meminfo: memFree=29363232/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26176 CPUtime=1362.31
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6352 0 0 0 107307 28924 0 0 25 0 1 0 134077556 26804224 6042 4089446400 134512640 136421960 4293640048 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6544 6042 237 467 0 6075 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 26176

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15640
/proc/meminfo: memFree=29296344/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26176 CPUtime=1422.32
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6352 0 0 0 112030 30202 0 0 25 0 1 0 134077556 26804224 6042 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6544 6042 237 467 0 6075 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 26176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15641
/proc/meminfo: memFree=29231448/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26176 CPUtime=1482.32
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6352 0 0 0 116770 31462 0 0 25 0 1 0 134077556 26804224 6042 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6544 6042 237 467 0 6075 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 26176

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15643
/proc/meminfo: memFree=29172128/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26308 CPUtime=1542.33
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6375 0 0 0 121537 32696 0 0 25 0 1 0 134077556 26939392 6065 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6577 6065 237 467 0 6108 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 26308

[startup+1602.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 15694
/proc/meminfo: memFree=31665080/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26532 CPUtime=1602.31
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6451 0 0 0 126249 33982 0 0 25 0 1 0 134077556 27168768 6125 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6633 6125 237 467 0 6164 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 26532

[startup+1662.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 15696
/proc/meminfo: memFree=31469112/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26164 CPUtime=1662.32
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6451 0 0 0 131074 35158 0 0 25 0 1 0 134077556 26791936 6056 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6541 6056 237 467 0 6072 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 26164

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 15697
/proc/meminfo: memFree=31295472/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26296 CPUtime=1722.32
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6475 0 0 0 135862 36370 0 0 25 0 1 0 134077556 26927104 6080 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6574 6080 237 467 0 6105 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 26296

[startup+1782.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 15698
/proc/meminfo: memFree=31150376/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26416 CPUtime=1782.32
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6511 0 0 0 140663 37569 0 0 25 0 1 0 134077556 27049984 6089 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6604 6089 237 467 0 6135 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 26416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.00 2.00 3/179 15699
/proc/meminfo: memFree=31150724/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26416 CPUtime=1800.03
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6511 0 0 0 142081 37922 0 0 25 0 1 0 134077556 27049984 6089 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6604 6089 237 467 0 6135 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 26416

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

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

[startup+1800 s]
/proc/loadavg: 2.05 2.00 2.00 3/179 15699
/proc/meminfo: memFree=31150724/32950928 swapFree=67111528/67111528
[pid=15592] ppid=15590 vsize=26416 CPUtime=1800.03
/proc/15592/stat : 15592 (pbct) R 15590 15592 15337 0 -1 4202496 6511 0 0 0 142081 37922 0 0 25 0 1 0 134077556 27049984 6089 4089446400 134512640 136421960 4293640048 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15592/statm: 6604 6089 237 467 0 6135 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 26416

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.04
CPU user time (s): 1420.81
CPU system time (s): 379.227
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 26532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1420.81
system time used= 379.227
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6512
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= 2707

runsolver used 2.51662 second user time and 5.67814 second system time

The end

Launcher Data 

Begin job on node125 at 2010-06-30 21:56:49
IDJOB=2695054
IDBENCH=79282
IDSOLVER=1208
FILE ID=node125/2695054-1277927809
PBS_JOBID= 11197370
Free space on /tmp= 74200 MiB

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

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

MD5SUM BENCH= 0e9942c7ddaaf04ff12871ed1ee37357
RANDOM SEED=590045528

node125.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.822
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.822
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.07
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.822
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.822
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.77
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.822
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.822
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.74
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.822
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.822
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:      31230948 kB
Buffers:        212468 kB
Cached:         798176 kB
SwapCached:          0 kB
Active:        1000992 kB
Inactive:       574312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31230948 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1992 kB
Writeback:           0 kB
AnonPages:      564844 kB
Mapped:          16264 kB
Slab:            79068 kB
PageTables:       5880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   732772 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= 74200 MiB
End job on node125 at 2010-06-30 22:26:51