Trace number 2698956

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 fixedOPTIMUM 1053.69 1053.67

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
MD5SUM504847a4e43d2b055735d72ea944fa39
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark199.839
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 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 705
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 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.10	c 0.092985 19.9844 19 6333
0.09/0.10	o 857
0.09/0.10	c 0.095985 20.2188 23 8168
0.09/0.10	o 855
0.09/0.11	c 0.102984 20.4531 28 9095
0.09/0.11	o 839
0.09/0.12	c 0.104984 20.4531 28 11891
0.09/0.12	o 691
0.09/0.12	c 0.107983 20.4531 28 13957
0.09/0.12	o 620
0.09/0.13	c 0.111982 20.4531 40 14222
0.09/0.13	o 616
0.09/0.16	c 0.13098 20.4531 84 14557
0.09/0.16	o 615
0.09/0.17	c 0.135979 20.4531 92 15162
0.09/0.17	o 604
0.09/0.17	c 0.140978 20.4531 94 15573
0.09/0.17	o 600
0.09/0.18	c 0.144977 20.4531 95 18420
0.09/0.18	o 495
0.09/0.18	c 0.149977 20.4531 100 18756
0.09/0.18	o 494
0.19/0.20	c 0.159975 20.4531 115 19158
0.19/0.20	o 485
0.39/0.41	c 0.286956 20.4531 371 20258
0.39/0.41	o 483
0.69/0.73	c 0.460929 20.4531 823 21646
0.69/0.73	o 476
0.69/0.74	c 0.463929 20.4531 826 23064
0.69/0.74	o 454
0.69/0.74	c 0.468928 20.4531 826 23969
0.69/0.74	o 432
0.69/0.75	c 0.473927 20.4531 826 25174
0.69/0.75	o 400
0.69/0.75	c 0.475927 20.4531 827 26258
0.69/0.75	o 370
0.69/0.76	c 0.478927 20.4531 827 27373
0.69/0.76	o 340
0.69/0.76	c 0.481926 20.4531 827 28181
0.69/0.76	o 318
0.69/0.77	c 0.483926 20.4531 827 28910
0.69/0.77	o 298
0.69/0.77	c 0.488925 20.4531 827 29461
0.69/0.77	o 292
0.69/0.80	c 0.501923 20.4531 852 29685
0.69/0.80	o 291
0.79/0.82	c 0.517921 20.4531 873 30203
0.79/0.82	o 277
1.29/1.32	c 0.807877 20.4531 833 32162
1.29/1.32	o 276
1.29/1.36	c 0.823874 20.4531 863 32449
1.29/1.36	o 273
1.49/1.52	c 0.923859 20.4531 1094 33797
1.49/1.52	o 261
1.59/1.68	c 1.01285 20.4531 700 34945
1.59/1.68	o 256
2.39/2.41	c 1.44878 20.4531 1131 38779
2.39/2.41	o 249
2.39/2.49	c 1.49777 20.4531 1224 39116
2.39/2.49	o 246
2.69/2.76	c 1.66775 20.4531 1000 40715
2.69/2.76	o 242
2.79/2.86	c 1.73574 20.4531 1112 41280
2.79/2.86	o 241
3.29/3.31	c 1.9957 20.4531 1022 42834
3.29/3.31	o 236
3.29/3.32	c 2.00069 20.4531 1045 43006
3.29/3.32	o 234
3.69/3.75	c 2.26266 20.582 1087 45468
3.69/3.75	o 230
4.50/4.51	c 2.72159 20.582 1504 48695
4.50/4.51	o 218
4.69/4.70	c 2.83957 20.582 987 49661
4.69/4.70	o 214
5.39/5.48	c 3.2885 20.582 666 52671
5.39/5.48	o 211
5.50/5.53	c 3.3215 20.582 708 52884
5.50/5.53	o 210
5.69/5.72	c 3.44548 20.582 982 53759
5.69/5.72	o 208
5.89/5.98	c 3.59045 20.582 1300 54971
5.89/5.98	o 196
6.09/6.11	c 3.67144 20.582 811 56120
6.09/6.11	o 180
6.19/6.24	c 3.74743 20.582 978 57478
6.19/6.24	o 162
6.79/6.87	c 4.12637 20.582 597 59772
6.79/6.87	o 158
6.99/7.04	c 4.22236 20.582 805 60662
6.99/7.04	o 153
7.29/7.30	c 4.38133 20.582 1144 61773
7.29/7.30	o 149
7.29/7.35	c 4.41233 20.582 1224 62037
7.29/7.35	o 146
10.09/10.16	c 6.17506 20.7109 852 72297
10.09/10.16	o 139
11.19/11.22	c 6.82396 20.7109 930 76248
11.19/11.22	o 137
11.30/11.39	c 6.92995 20.7109 1161 77029
11.30/11.39	o 128
12.59/12.60	c 7.70383 20.7109 883 81703
12.59/12.60	o 121
12.59/12.64	c 7.73482 20.7109 948 81922
12.59/12.64	o 120
12.89/12.95	c 7.92779 20.7109 651 83115
12.89/12.95	o 115
14.90/14.95	c 9.1956 20.7109 1017 90706
14.90/14.95	o 111
15.40/15.47	c 9.52655 20.7109 962 92439
15.40/15.47	o 110
17.60/17.65	c 10.9453 20.8398 1309 101656
17.60/17.65	o 109
18.79/18.84	c 11.7212 20.8398 1123 106877
18.79/18.84	o 89
18.89/18.90	c 11.7522 20.8398 1221 107157
18.89/18.90	o 86
20.49/20.59	c 12.834 20.9688 1789 113637
20.49/20.59	o 85
23.89/23.95	c 15.0357 20.9688 1211 127153
23.89/23.95	o 83
24.20/24.20	c 15.2067 20.9688 1787 128544
24.20/24.20	o 81
24.39/24.44	c 15.3627 20.9688 1378 130091
24.39/24.44	o 64
25.79/25.82	c 16.3075 20.9688 1467 136307
25.79/25.82	o 59
25.99/26.06	c 16.4725 20.9688 2134 137497
25.99/26.06	o 55
27.10/27.16	c 17.2484 20.9688 2702 143598
27.10/27.16	o 45
30.39/30.42	c 19.624 21.3555 1537 162332
30.39/30.42	o 39
32.09/32.11	c 20.9258 21.4844 1652 174654
32.09/32.11	o 30
33.49/33.53	c 22.0546 21.6133 1969 185408
33.49/33.53	o 25
33.59/33.61	c 22.1176 21.6133 2403 186252
33.59/33.61	o 20
33.59/33.62	c 22.1286 21.6133 2499 186551
33.59/33.62	o 14
33.99/34.08	c 22.5246 21.6133 2599 192677
33.99/34.08	o 12
40.60/40.62	c 28.2197 21.8711 2235 277854
40.60/40.62	o 11
40.80/40.85	c 28.4297 21.8711 2393 281434
40.80/40.85	o 9
44.39/44.43	c 31.5802 21.8711 3550 330776
44.39/44.43	o 8
47.69/47.71	c 34.4738 21.8711 2608 377789
47.69/47.71	o 7
48.39/48.48	c 35.1677 21.8711 2049 388948
48.39/48.48	o 6
71.89/71.93	c 56.1895 22.2578 2225 724275
71.89/71.93	o 4
95.60/95.69	c 77.8212 22.6445 2781 1058389
95.60/95.69	o 3
193.09/193.15	c 166.122 22.9102 3334 2499722
193.09/193.15	o 2
1053.61/1053.64	c 948.728 24.0742 3284 15359691
1053.61/1053.64	s OPTIMUM FOUND
1053.61/1053.64	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-2698956-1278465051/watcher-2698956-1278465051 -o /tmp/evaluation-result-2698956-1278465051/solver-2698956-1278465051 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698956-1278465051.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 1.96 4/178 13304
/proc/meminfo: memFree=30695448/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=2136 CPUtime=0
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14719061 2187264 173 4089446400 134512640 136422188 4293118672 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13304/statm: 534 173 144 467 0 65 0

[startup+0.100591 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 13304
/proc/meminfo: memFree=30695448/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=20460 CPUtime=0.09
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 4752 0 0 0 9 0 0 0 25 0 1 0 14719061 20951040 4639 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5115 4639 213 467 0 4646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20460

[startup+0.200573 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 13304
/proc/meminfo: memFree=30695448/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=20940 CPUtime=0.19
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 4852 0 0 0 15 4 0 0 25 0 1 0 14719061 21442560 4728 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5235 4728 236 467 0 4766 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20940

[startup+0.300558 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 13304
/proc/meminfo: memFree=30695448/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=20940 CPUtime=0.29
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 4854 0 0 0 21 8 0 0 25 0 1 0 14719061 21442560 4729 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5235 4729 237 467 0 4766 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20940

[startup+0.700488 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 13304
/proc/meminfo: memFree=30695448/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=20940 CPUtime=0.69
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 4855 0 0 0 44 25 0 0 25 0 1 0 14719061 21442560 4729 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5235 4729 237 467 0 4766 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20940

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13305
/proc/meminfo: memFree=30677212/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=20940 CPUtime=1.49
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 4887 0 0 0 90 59 0 0 18 0 1 0 14719061 21442560 4748 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5235 4748 237 467 0 4766 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20940

[startup+3.10106 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13305
/proc/meminfo: memFree=30677476/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=20940 CPUtime=3.09
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 4896 0 0 0 187 122 0 0 18 0 1 0 14719061 21442560 4751 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5235 4751 237 467 0 4766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20940

[startup+6.3005 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13305
/proc/meminfo: memFree=30677104/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=21072 CPUtime=6.29
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 4927 0 0 0 378 251 0 0 24 0 1 0 14719061 21577728 4771 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5268 4771 237 467 0 4799 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21072

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13305
/proc/meminfo: memFree=30677316/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=21204 CPUtime=12.69
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 4972 0 0 0 777 492 0 0 25 0 1 0 14719061 21712896 4807 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5301 4807 237 467 0 4832 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21204

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13306
/proc/meminfo: memFree=30677232/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=21468 CPUtime=25.49
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5043 0 0 0 1609 940 0 0 19 0 1 0 14719061 21983232 4868 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5367 4868 237 467 0 4898 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21468

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13307
/proc/meminfo: memFree=30676060/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=22392 CPUtime=51.09
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5288 0 0 0 3753 1356 0 0 25 0 1 0 14719061 22929408 5099 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5598 5099 237 467 0 5129 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22392

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13308
/proc/meminfo: memFree=30674752/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=23184 CPUtime=102.3
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5508 0 0 0 8386 1844 0 0 25 0 1 0 14719061 23740416 5317 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5796 5317 237 467 0 5327 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23184

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13309
/proc/meminfo: memFree=30674460/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=23320 CPUtime=162.29
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5527 0 0 0 13818 2411 0 0 25 0 1 0 14719061 23879680 5336 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5830 5336 237 467 0 5361 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23320

[startup+222.305 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13311
/proc/meminfo: memFree=30674260/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=23588 CPUtime=222.3
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5585 0 0 0 19250 2980 0 0 25 0 1 0 14719061 24154112 5393 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5897 5393 237 467 0 5428 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23588

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13313
/proc/meminfo: memFree=30673708/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=23852 CPUtime=282.3
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5649 0 0 0 24711 3519 0 0 25 0 1 0 14719061 24424448 5457 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5963 5457 237 467 0 5494 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23852

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13314
/proc/meminfo: memFree=30673492/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=23984 CPUtime=342.3
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5690 0 0 0 30188 4042 0 0 25 0 1 0 14719061 24559616 5498 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5996 5498 237 467 0 5527 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23984

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 5/179 13316
/proc/meminfo: memFree=30673188/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=23984 CPUtime=402.3
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5703 0 0 0 35616 4614 0 0 25 0 1 0 14719061 24559616 5511 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5996 5511 237 467 0 5527 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23984

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13319
/proc/meminfo: memFree=30672480/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=23984 CPUtime=462.31
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5709 0 0 0 41064 5167 0 0 25 0 1 0 14719061 24559616 5517 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 5996 5517 237 467 0 5527 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 23984

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13322
/proc/meminfo: memFree=30672332/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24252 CPUtime=522.3
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5741 0 0 0 46526 5704 0 0 25 0 1 0 14719061 24834048 5549 4089446400 134512640 136422188 4293118672 18446744073709551615 135687093 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 6063 5549 237 467 0 5594 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24252

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13324
/proc/meminfo: memFree=30671880/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24384 CPUtime=582.3
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5780 0 0 0 51991 6239 0 0 25 0 1 0 14719061 24969216 5588 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 6096 5588 237 467 0 5627 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24384

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13325
/proc/meminfo: memFree=30671812/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24384 CPUtime=642.3
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5804 0 0 0 57443 6787 0 0 25 0 1 0 14719061 24969216 5612 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 6096 5612 237 467 0 5627 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 24384

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13327
/proc/meminfo: memFree=30671488/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24516 CPUtime=702.31
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5819 0 0 0 62907 7324 0 0 25 0 1 0 14719061 25104384 5627 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 6129 5627 237 467 0 5660 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 24516

[startup+762.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13328
/proc/meminfo: memFree=30671516/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24516 CPUtime=762.32
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5821 0 0 0 68362 7870 0 0 25 0 1 0 14719061 25104384 5629 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 6129 5629 237 467 0 5660 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 24516

[startup+822.301 s]
/proc/loadavg: 2.03 2.01 1.97 3/179 13330
/proc/meminfo: memFree=30671468/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24516 CPUtime=822.31
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5832 0 0 0 73826 8405 0 0 25 0 1 0 14719061 25104384 5640 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 6129 5640 237 467 0 5660 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24516

[startup+882.305 s]
/proc/loadavg: 2.01 2.01 1.97 3/179 13332
/proc/meminfo: memFree=30671508/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24516 CPUtime=882.32
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5840 0 0 0 79285 8947 0 0 25 0 1 0 14719061 25104384 5648 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13304/statm: 6129 5648 237 467 0 5660 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 24516

[startup+942.301 s]
/proc/loadavg: 1.51 1.88 1.92 2/171 13354
/proc/meminfo: memFree=30697532/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24648 CPUtime=942.31
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5844 0 0 0 84743 9488 0 0 25 0 1 0 14719061 25239552 5652 4089446400 134512640 136422188 4293118672 18446744073709551615 135809711 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13304/statm: 6162 5652 237 467 0 5693 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 24648

[startup+1002.3 s]
/proc/loadavg: 1.19 1.71 1.86 2/171 13356
/proc/meminfo: memFree=30697496/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24648 CPUtime=1002.31
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5845 0 0 0 90210 10021 0 0 25 0 1 0 14719061 25239552 5653 4089446400 134512640 136422188 4293118672 18446744073709551615 135006903 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13304/statm: 6162 5653 237 467 0 5693 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 24648

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

[startup+1024 s]
/proc/loadavg: 1.13 1.67 1.84 2/171 13356
/proc/meminfo: memFree=30697464/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24648 CPUtime=1024.02
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5845 0 0 0 92184 10218 0 0 25 0 1 0 14719061 25239552 5653 4089446400 134512640 136422188 4293118672 18446744073709551615 135032475 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13304/statm: 6162 5653 237 467 0 5693 0
Current children cumulated CPU time (s) 1024.02
Current children cumulated vsize (KiB) 24648

[startup+1036.8 s]
/proc/loadavg: 1.10 1.63 1.83 2/171 13357
/proc/meminfo: memFree=30697464/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24648 CPUtime=1036.82
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5848 0 0 0 93343 10339 0 0 25 0 1 0 14719061 25239552 5656 4089446400 134512640 136422188 4293118672 18446744073709551615 134862262 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13304/statm: 6162 5656 237 467 0 5693 0
Current children cumulated CPU time (s) 1036.82
Current children cumulated vsize (KiB) 24648

[startup+1043.2 s]
/proc/loadavg: 1.09 1.62 1.82 2/171 13357
/proc/meminfo: memFree=30697572/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24648 CPUtime=1043.22
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5848 0 0 0 93924 10398 0 0 25 0 1 0 14719061 25239552 5656 4089446400 134512640 136422188 4293118672 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13304/statm: 6162 5656 237 467 0 5693 0
Current children cumulated CPU time (s) 1043.22
Current children cumulated vsize (KiB) 24648

[startup+1049.6 s]
/proc/loadavg: 1.08 1.60 1.81 2/171 13357
/proc/meminfo: memFree=30697564/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24648 CPUtime=1049.61
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5849 0 0 0 94502 10459 0 0 25 0 1 0 14719061 25239552 5657 4089446400 134512640 136422188 4293118672 18446744073709551615 134860207 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13304/statm: 6162 5657 237 467 0 5693 0
Current children cumulated CPU time (s) 1049.61
Current children cumulated vsize (KiB) 24648

[startup+1051.2 s]
/proc/loadavg: 1.08 1.60 1.81 2/171 13357
/proc/meminfo: memFree=30697564/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24648 CPUtime=1051.22
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5849 0 0 0 94650 10472 0 0 25 0 1 0 14719061 25239552 5657 4089446400 134512640 136422188 4293118672 18446744073709551615 135006814 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13304/statm: 6162 5657 237 467 0 5693 0
Current children cumulated CPU time (s) 1051.22
Current children cumulated vsize (KiB) 24648

[startup+1052.81 s]
/proc/loadavg: 1.08 1.60 1.81 2/171 13357
/proc/meminfo: memFree=30697564/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24648 CPUtime=1052.82
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5849 0 0 0 94795 10487 0 0 25 0 1 0 14719061 25239552 5657 4089446400 134512640 136422188 4293118672 18446744073709551615 135022151 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13304/statm: 6162 5657 237 467 0 5693 0
Current children cumulated CPU time (s) 1052.82
Current children cumulated vsize (KiB) 24648

[startup+1053.2 s]
/proc/loadavg: 1.08 1.60 1.81 2/171 13357
/proc/meminfo: memFree=30697564/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24648 CPUtime=1053.21
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5849 0 0 0 94832 10489 0 0 25 0 1 0 14719061 25239552 5657 4089446400 134512640 136422188 4293118672 18446744073709551615 134594176 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13304/statm: 6162 5657 237 467 0 5693 0
Current children cumulated CPU time (s) 1053.21
Current children cumulated vsize (KiB) 24648

[startup+1053.6 s]
/proc/loadavg: 1.08 1.60 1.81 2/171 13357
/proc/meminfo: memFree=30697564/32951124 swapFree=67111528/67111528
[pid=13304] ppid=13302 vsize=24648 CPUtime=1053.61
/proc/13304/stat : 13304 (pbct) R 13302 13304 12415 0 -1 4202496 5849 0 0 0 94868 10493 0 0 25 0 1 0 14719061 25239552 5657 4089446400 134512640 136422188 4293118672 18446744073709551615 134974248 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13304/statm: 6162 5657 237 467 0 5693 0
Current children cumulated CPU time (s) 1053.61
Current children cumulated vsize (KiB) 24648

Child status: 0
Real time (s): 1053.67
CPU time (s): 1053.69
CPU user time (s): 948.754
CPU system time (s): 104.941
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 24648

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

runsolver used 1.52577 second user time and 3.2615 second system time

The end

Launcher Data 

Begin job on node119 at 2010-07-07 03:10:51
IDJOB=2698956
IDBENCH=79313
IDSOLVER=1212
FILE ID=node119/2698956-1278465051
PBS_JOBID= 11233755
Free space on /tmp= 73516 MiB

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

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

MD5SUM BENCH= 504847a4e43d2b055735d72ea944fa39
RANDOM SEED=445318869

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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.72
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.868
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.82
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.868
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.868
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:     32951124 kB
MemFree:      30695968 kB
Buffers:        108236 kB
Cached:        1920068 kB
SwapCached:          0 kB
Active:         790192 kB
Inactive:      1322596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30695968 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1984 kB
Writeback:           0 kB
AnonPages:       84624 kB
Mapped:          15624 kB
Slab:            79700 kB
PageTables:       4876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   226276 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= 73516 MiB
End job on node119 at 2010-07-07 03:28:25