Trace number 2695030

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.1OPTIMUM 1146.09 1146.06

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
MD5SUMec85c0538058c3457da9eddcb3b315b2
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 benchmark173.946
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 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.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.09/0.17	c 0.140978 19.9883 47 37458
0.09/0.17	o 869
0.19/0.24	c 0.178972 20.2227 121 60475
0.19/0.24	o 427
0.79/0.86	c 0.559914 20.457 975 67854
0.79/0.86	o 424
0.79/0.87	c 0.566913 20.457 978 68990
0.79/0.87	o 405
0.79/0.88	c 0.576912 20.457 992 69976
0.79/0.88	o 392
1.29/1.30	c 0.825874 20.457 983 74811
1.29/1.30	o 375
1.69/1.74	c 1.08483 20.457 949 83894
1.69/1.74	o 364
1.89/1.95	c 1.20982 20.457 1195 86635
1.89/1.95	o 332
2.20/2.24	c 1.38579 20.457 996 90358
2.20/2.24	o 330
2.39/2.40	c 1.48777 20.457 1195 91532
2.39/2.40	o 324
2.39/2.41	c 1.49077 20.457 602 92874
2.39/2.42	o 290
3.39/3.48	c 2.12068 20.457 1143 96987
3.39/3.48	o 283
3.69/3.71	c 2.27165 20.457 802 98173
3.69/3.71	o 281
4.40/4.43	c 2.69259 20.457 1043 101813
4.40/4.43	o 275
4.49/4.57	c 2.78658 20.457 1209 102787
4.49/4.57	o 259
6.20/6.27	c 3.82642 20.5859 995 109877
6.20/6.27	o 256
6.40/6.46	c 3.9464 20.5859 627 110907
6.40/6.46	o 252
7.29/7.31	c 4.43733 20.5859 1038 114898
7.29/7.31	o 243
7.60/7.69	c 4.65929 20.5859 1477 116255
7.60/7.69	o 237
7.70/7.78	c 4.71228 20.5859 851 116959
7.70/7.78	o 233
8.09/8.12	c 4.92225 20.5859 1233 118531
8.09/8.12	o 221
8.40/8.41	c 5.10222 20.5859 928 119895
8.40/8.41	o 211
8.59/8.63	c 5.21521 20.5859 1168 121068
8.59/8.63	o 208
8.70/8.74	c 5.2852 20.5859 698 121759
8.70/8.74	o 201
8.89/8.92	c 5.38918 20.5859 908 123257
8.89/8.92	o 176
9.89/9.96	c 6.03408 20.5859 711 126498
9.89/9.96	o 166
11.29/11.35	c 6.89595 20.5859 1087 130835
11.29/11.35	o 164
11.59/11.63	c 7.07392 20.5859 820 131771
11.59/11.63	o 159
12.19/12.28	c 7.44787 20.5859 916 133559
12.19/12.28	o 154
12.89/12.96	c 7.8598 20.5859 1015 136046
12.89/12.96	o 138
13.90/13.94	c 8.44172 20.5859 775 138608
13.90/13.94	o 134
14.20/14.25	c 8.62169 20.5859 1120 139521
14.20/14.25	o 132
14.20/14.27	c 8.63369 20.5859 1150 139845
14.20/14.27	o 129
14.69/14.78	c 8.93964 20.5859 1126 141458
14.69/14.78	o 127
14.69/14.78	c 8.94264 20.5859 1127 141704
14.69/14.78	o 122
14.79/14.80	c 8.95064 20.5859 1150 142083
14.79/14.80	o 112
18.49/18.51	c 11.2783 20.7148 1670 150146
18.49/18.51	o 107
21.59/21.67	c 13.282 20.7148 807 161952
21.59/21.67	o 102
22.29/22.36	c 13.7399 20.7148 1094 164430
22.29/22.36	o 100
22.79/22.83	c 14.0489 20.7148 735 166269
22.79/22.83	o 90
24.00/24.08	c 14.8227 20.7148 1291 170597
24.00/24.08	o 68
25.69/25.75	c 15.9256 20.7148 1092 177194
25.69/25.75	o 65
25.89/25.92	c 16.0326 20.7148 1427 178382
25.89/25.92	o 51
26.79/26.86	c 16.6775 20.8438 1523 182893
26.79/26.86	o 47
29.29/29.31	c 18.4472 20.8438 1969 194973
29.29/29.31	o 46
30.39/30.40	c 19.2521 20.9727 2258 200082
30.39/30.40	o 45
30.39/30.41	c 19.2601 20.9727 2300 200501
30.39/30.41	o 32
30.49/30.59	c 19.4001 21.1016 3270 201845
30.49/30.59	o 30
32.19/32.28	c 20.7638 21.2305 2678 215868
32.19/32.28	o 24
32.59/32.68	c 21.1008 21.2305 1986 219992
32.59/32.68	o 23
34.29/34.38	c 22.5196 21.2305 2714 236791
34.29/34.38	o 22
36.69/36.78	c 24.5133 21.2305 2192 260016
36.69/36.78	o 17
37.79/37.83	c 25.4121 21.3594 2985 272852
37.79/37.83	o 10
37.99/38.06	c 25.6211 21.3594 3036 275953
37.99/38.06	o 6
49.99/50.07	c 36.4575 22.2617 3503 433559
49.99/50.07	o 4
55.99/56.07	c 41.9616 22.2617 2137 512340
55.99/56.07	o 3
94.49/94.51	c 77.1373 22.2617 3280 1035994
94.49/94.51	o 2
110.89/110.90	c 92.204 22.2617 2164 1259194
110.89/110.90	o 1
1146.01/1146.03	c 1045.91 23.6836 3664 15587145
1146.01/1146.03	s OPTIMUM FOUND
1146.01/1146.03	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-2695030-1277926915/watcher-2695030-1277926915 -o /tmp/evaluation-result-2695030-1277926915/solver-2695030-1277926915 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695030-1277926915.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.95 2.36 2.38 4/178 26378
/proc/meminfo: memFree=31489056/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=2136 CPUtime=0
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 166283283 2187264 173 4089446400 134512640 136421960 4287989056 18446744073709551615 135378148 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26378/statm: 534 173 144 467 0 65 0

[startup+0.054535 s]
/proc/loadavg: 1.95 2.36 2.38 4/178 26378
/proc/meminfo: memFree=31489056/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=11736 CPUtime=0.05
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 2572 0 0 0 5 0 0 0 25 0 1 0 166283283 12017664 2491 4089446400 134512640 136421960 4287989056 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 2934 2499 193 467 0 2465 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11736

[startup+0.100527 s]
/proc/loadavg: 1.95 2.36 2.38 4/178 26378
/proc/meminfo: memFree=31489056/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=20188 CPUtime=0.09
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 4686 0 0 0 9 0 0 0 25 0 1 0 166283283 20672512 4572 4089446400 134512640 136421960 4287989056 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5047 4572 208 467 0 4578 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20188

[startup+0.300492 s]
/proc/loadavg: 1.95 2.36 2.38 4/178 26378
/proc/meminfo: memFree=31489056/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=20944 CPUtime=0.29
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 4845 0 0 0 21 8 0 0 18 0 1 0 166283283 21446656 4729 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5236 4729 236 467 0 4767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20944

[startup+0.700421 s]
/proc/loadavg: 1.95 2.36 2.38 4/178 26378
/proc/meminfo: memFree=31489056/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=20944 CPUtime=0.69
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 4846 0 0 0 45 24 0 0 18 0 1 0 166283283 21446656 4730 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5236 4730 237 467 0 4767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20944

[startup+1.50022 s]
/proc/loadavg: 1.95 2.35 2.38 3/179 26379
/proc/meminfo: memFree=31468836/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=20944 CPUtime=1.49
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 4850 0 0 0 93 56 0 0 18 0 1 0 166283283 21446656 4730 4089446400 134512640 136421960 4287989056 18446744073709551615 135874659 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5236 4730 237 467 0 4767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20944

[startup+3.101 s]
/proc/loadavg: 1.95 2.35 2.38 3/179 26380
/proc/meminfo: memFree=31467608/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=20944 CPUtime=3.09
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 4862 0 0 0 189 120 0 0 20 0 1 0 166283283 21446656 4737 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5236 4737 237 467 0 4767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20944

[startup+6.30044 s]
/proc/loadavg: 1.95 2.35 2.38 3/179 26380
/proc/meminfo: memFree=31463144/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=21076 CPUtime=6.29
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 4892 0 0 0 384 245 0 0 25 0 1 0 166283283 21581824 4762 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5269 4762 237 467 0 4800 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21076

[startup+12.7003 s]
/proc/loadavg: 2.03 2.35 2.38 3/179 26380
/proc/meminfo: memFree=31449108/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=21076 CPUtime=12.69
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 4905 0 0 0 769 500 0 0 18 0 1 0 166283283 21581824 4762 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5269 4762 237 467 0 4800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21076

[startup+25.501 s]
/proc/loadavg: 2.03 2.34 2.37 3/179 26381
/proc/meminfo: memFree=31432056/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=21208 CPUtime=25.49
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 4965 0 0 0 1575 974 0 0 25 0 1 0 166283283 21716992 4810 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5302 4810 237 467 0 4833 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21208

[startup+51.1005 s]
/proc/loadavg: 2.02 2.31 2.36 3/179 26381
/proc/meminfo: memFree=31388340/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=22792 CPUtime=51.09
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5359 0 0 0 3739 1370 0 0 25 0 1 0 166283283 23339008 5190 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5698 5190 237 467 0 5229 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22792

[startup+102.307 s]
/proc/loadavg: 2.00 2.26 2.34 3/179 26383
/proc/meminfo: memFree=31330760/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=22792 CPUtime=102.3
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5361 0 0 0 8425 1805 0 0 25 0 1 0 166283283 23339008 5190 4089446400 134512640 136421960 4287989056 18446744073709551615 135021940 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5698 5190 237 467 0 5229 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22792

[startup+162.301 s]
/proc/loadavg: 2.00 2.21 2.32 3/179 26384
/proc/meminfo: memFree=31288696/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=22924 CPUtime=162.29
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5391 0 0 0 13952 2277 0 0 25 0 1 0 166283283 23474176 5219 4089446400 134512640 136421960 4287989056 18446744073709551615 134862027 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5731 5219 237 467 0 5262 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 22924

[startup+222.3 s]
/proc/loadavg: 2.03 2.18 2.30 3/179 26385
/proc/meminfo: memFree=31267572/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=23056 CPUtime=222.3
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5443 0 0 0 19462 2768 0 0 25 0 1 0 166283283 23609344 5271 4089446400 134512640 136421960 4287989056 18446744073709551615 135006405 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5764 5271 237 467 0 5295 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23056

[startup+282.301 s]
/proc/loadavg: 2.01 2.14 2.27 3/179 26387
/proc/meminfo: memFree=31245832/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=23324 CPUtime=282.3
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5508 0 0 0 24977 3253 0 0 25 0 1 0 166283283 23883776 5336 4089446400 134512640 136421960 4287989056 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5831 5336 237 467 0 5362 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23324

[startup+342.301 s]
/proc/loadavg: 2.00 2.12 2.26 3/179 26389
/proc/meminfo: memFree=31235012/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=23456 CPUtime=342.3
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5530 0 0 0 30511 3719 0 0 25 0 1 0 166283283 24018944 5358 4089446400 134512640 136421960 4287989056 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5864 5358 237 467 0 5395 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23456

[startup+402.301 s]
/proc/loadavg: 2.00 2.09 2.24 3/179 26391
/proc/meminfo: memFree=31223936/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=23588 CPUtime=402.3
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5554 0 0 0 36036 4194 0 0 25 0 1 0 166283283 24154112 5382 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5897 5382 237 467 0 5428 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23588

[startup+462.3 s]
/proc/loadavg: 2.00 2.07 2.22 3/179 26395
/proc/meminfo: memFree=31211132/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=23588 CPUtime=462.3
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5585 0 0 0 41583 4647 0 0 25 0 1 0 166283283 24154112 5413 4089446400 134512640 136421960 4287989056 18446744073709551615 134862267 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5897 5413 237 467 0 5428 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 23588

[startup+522.301 s]
/proc/loadavg: 2.00 2.06 2.20 3/179 26396
/proc/meminfo: memFree=31206380/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=23728 CPUtime=522.3
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5599 0 0 0 47094 5136 0 0 25 0 1 0 166283283 24297472 5427 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5932 5427 237 467 0 5463 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 23728

[startup+582.3 s]
/proc/loadavg: 2.06 2.06 2.19 3/179 26398
/proc/meminfo: memFree=31201888/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=23860 CPUtime=582.3
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5620 0 0 0 52622 5608 0 0 25 0 1 0 166283283 24432640 5448 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5965 5448 237 467 0 5496 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 23860

[startup+642.301 s]
/proc/loadavg: 2.02 2.05 2.18 3/179 26400
/proc/meminfo: memFree=31196780/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=23992 CPUtime=642.31
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5678 0 0 0 58158 6073 0 0 25 0 1 0 166283283 24567808 5506 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 5998 5506 237 467 0 5529 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 23992

[startup+702.3 s]
/proc/loadavg: 2.01 2.04 2.16 3/179 26402
/proc/meminfo: memFree=31190044/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24124 CPUtime=702.31
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5686 0 0 0 63688 6543 0 0 25 0 1 0 166283283 24702976 5514 4089446400 134512640 136421960 4287989056 18446744073709551615 135020368 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6031 5514 237 467 0 5562 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 24124

[startup+762.307 s]
/proc/loadavg: 2.00 2.03 2.15 3/179 26403
/proc/meminfo: memFree=31186280/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24124 CPUtime=762.31
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5687 0 0 0 69213 7018 0 0 25 0 1 0 166283283 24702976 5515 4089446400 134512640 136421960 4287989056 18446744073709551615 135020368 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6031 5515 237 467 0 5562 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 24124

[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.14 3/179 26404
/proc/meminfo: memFree=31186356/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24124 CPUtime=822.31
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5695 0 0 0 74743 7488 0 0 25 0 1 0 166283283 24702976 5523 4089446400 134512640 136421960 4287989056 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6031 5523 237 467 0 5562 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24124

[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 26406
/proc/meminfo: memFree=31186316/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24124 CPUtime=882.31
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5707 0 0 0 80278 7953 0 0 25 0 1 0 166283283 24702976 5535 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6031 5535 237 467 0 5562 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 24124

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/179 26408
/proc/meminfo: memFree=31186400/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24124 CPUtime=942.31
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5713 0 0 0 85817 8414 0 0 25 0 1 0 166283283 24702976 5541 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6031 5541 237 467 0 5562 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 24124

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 26410
/proc/meminfo: memFree=31186356/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24256 CPUtime=1002.31
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5730 0 0 0 91340 8891 0 0 25 0 1 0 166283283 24838144 5558 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6064 5558 237 467 0 5595 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 24256

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 26411
/proc/meminfo: memFree=31185708/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24248 CPUtime=1062.32
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5760 0 0 0 96865 9367 0 0 25 0 1 0 166283283 24829952 5578 4089446400 134512640 136421960 4287989056 18446744073709551615 134862411 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6062 5578 237 467 0 5593 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 24248

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 26412
/proc/meminfo: memFree=31184676/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24248 CPUtime=1122.32
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5760 0 0 0 102402 9830 0 0 25 0 1 0 166283283 24829952 5578 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6062 5578 237 467 0 5593 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 24248

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

[startup+1126.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 26412
/proc/meminfo: memFree=31184428/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24248 CPUtime=1126.32
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5760 0 0 0 102772 9860 0 0 25 0 1 0 166283283 24829952 5578 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6062 5578 237 467 0 5593 0
Current children cumulated CPU time (s) 1126.32
Current children cumulated vsize (KiB) 24248

[startup+1139.1 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 26413
/proc/meminfo: memFree=31183796/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24248 CPUtime=1139.12
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5760 0 0 0 103950 9962 0 0 25 0 1 0 166283283 24829952 5578 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6062 5578 237 467 0 5593 0
Current children cumulated CPU time (s) 1139.12
Current children cumulated vsize (KiB) 24248

[startup+1142.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 26413
/proc/meminfo: memFree=31183672/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24248 CPUtime=1142.32
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5760 0 0 0 104246 9986 0 0 25 0 1 0 166283283 24829952 5578 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6062 5578 237 467 0 5593 0
Current children cumulated CPU time (s) 1142.32
Current children cumulated vsize (KiB) 24248

[startup+1143.9 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 26413
/proc/meminfo: memFree=31183296/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24248 CPUtime=1143.92
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5760 0 0 0 104394 9998 0 0 25 0 1 0 166283283 24829952 5578 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6062 5578 237 467 0 5593 0
Current children cumulated CPU time (s) 1143.92
Current children cumulated vsize (KiB) 24248

[startup+1144.7 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 26413
/proc/meminfo: memFree=31183296/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24248 CPUtime=1144.72
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5760 0 0 0 104467 10005 0 0 25 0 1 0 166283283 24829952 5578 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6062 5578 237 467 0 5593 0
Current children cumulated CPU time (s) 1144.72
Current children cumulated vsize (KiB) 24248

[startup+1145.5 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 26414
/proc/meminfo: memFree=31183296/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24248 CPUtime=1145.51
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5760 0 0 0 104542 10009 0 0 25 0 1 0 166283283 24829952 5578 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6062 5578 237 467 0 5593 0
Current children cumulated CPU time (s) 1145.51
Current children cumulated vsize (KiB) 24248

[startup+1145.9 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 26414
/proc/meminfo: memFree=31183296/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24248 CPUtime=1145.92
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5760 0 0 0 104578 10014 0 0 25 0 1 0 166283283 24829952 5578 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6062 5578 237 467 0 5593 0
Current children cumulated CPU time (s) 1145.92
Current children cumulated vsize (KiB) 24248

[startup+1146 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 26414
/proc/meminfo: memFree=31183296/32950940 swapFree=67111528/67111528
[pid=26378] ppid=26376 vsize=24248 CPUtime=1146.01
/proc/26378/stat : 26378 (pbct) R 26376 26378 26353 0 -1 4202496 5760 0 0 0 104587 10014 0 0 25 0 1 0 166283283 24829952 5578 4089446400 134512640 136421960 4287989056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/26378/statm: 6062 5578 237 467 0 5593 0
Current children cumulated CPU time (s) 1146.01
Current children cumulated vsize (KiB) 24248

Child status: 0
Real time (s): 1146.06
CPU time (s): 1146.09
CPU user time (s): 1045.93
CPU system time (s): 100.158
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 24388

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

runsolver used 1.9787 second user time and 3.90441 second system time

The end

Launcher Data 

Begin job on node117 at 2010-06-30 21:41:56
IDJOB=2695030
IDBENCH=79274
IDSOLVER=1208
FILE ID=node117/2695030-1277926915
PBS_JOBID= 11197388
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= ec85c0538058c3457da9eddcb3b315b2
RANDOM SEED=376354347

node117.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.799
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.59
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.799
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.799
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.799
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.799
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.85
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.799
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.75
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.799
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.82
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.799
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:     32950940 kB
MemFree:      31489576 kB
Buffers:        208644 kB
Cached:         857644 kB
SwapCached:          0 kB
Active:         714596 kB
Inactive:       604412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      31489576 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2256 kB
Writeback:           0 kB
AnonPages:      252376 kB
Mapped:          17320 kB
Slab:            79336 kB
PageTables:       5104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   401540 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= 74204 MiB
End job on node117 at 2010-06-30 22:01:02