Trace number 2695671

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo
MD5SUM4dbce9c855a469b24d5770190ca01b65
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark300.057
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 constraints1783
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 90636
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90635
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 11/12 clauses 913/1771 units 0
0.00/0.01	c vars 231
0.09/0.18	c 0.087986 16.5938 65 71723
0.09/0.18	o 541
0.09/0.19	c 0.087986 16.7773 66 71839
0.09/0.19	o 538
0.09/0.19	c 0.089986 16.7773 68 73730
0.09/0.19	o 294
0.18/0.25	c 0.103984 16.7773 228 74565
0.18/0.25	o 286
0.18/0.28	c 0.116982 16.7773 278 75257
0.18/0.28	o 264
0.29/0.31	c 0.12798 16.7773 356 75530
0.29/0.31	o 259
0.29/0.35	c 0.144977 16.7773 450 76244
0.29/0.35	o 232
0.29/0.38	c 0.152976 16.9062 523 76937
0.29/0.38	o 202
0.39/0.41	c 0.164974 16.9062 620 77338
0.39/0.41	o 193
0.39/0.47	c 0.175973 16.9062 725 77775
0.39/0.47	o 186
0.39/0.47	c 0.179972 16.9062 730 78037
0.39/0.47	o 176
0.58/0.69	c 0.243962 17.0312 1375 79746
0.58/0.69	o 156
0.68/0.71	c 0.250961 17.0312 735 80116
0.68/0.71	o 143
0.68/0.77	c 0.274958 17.0312 917 80887
0.68/0.77	o 123
1.09/1.12	c 0.396939 17.0312 1138 82955
1.09/1.12	o 95
1.58/1.66	c 0.574912 17.1562 1262 85394
1.58/1.66	o 93
1.78/1.87	c 0.645901 17.3867 1050 86431
1.78/1.87	o 84
2.47/2.59	c 0.961853 17.3867 1184 90823
2.47/2.59	o 78
2.58/2.63	c 0.972852 17.3867 1260 91261
2.58/2.63	o 61
2.68/2.74	c 1.02584 17.3867 1617 91990
2.68/2.74	o 52
3.08/3.16	c 1.24881 17.3867 2198 95687
3.08/3.16	o 51
3.38/3.47	c 1.40279 17.5156 2413 97842
3.38/3.47	o 39
3.58/3.60	c 1.46678 17.5156 1864 99280
3.58/3.60	o 22
3.67/3.70	c 1.53177 17.5156 1536 100750
3.67/3.70	o 20
3.67/3.74	c 1.55276 17.5156 1765 101190
3.67/3.74	o 16
4.88/4.97	c 2.47362 17.7656 2611 117763
4.88/4.97	o 15
5.28/5.38	c 2.78558 17.7656 2218 123259
5.28/5.38	o 13
5.58/5.61	c 2.96855 17.7656 1607 126730
5.58/5.61	o 10
5.67/5.77	c 3.08453 17.7656 1515 128746
5.67/5.77	o 8
5.67/5.77	c 3.08953 17.7656 1581 128865
5.67/5.77	o 6
5.98/6.08	c 3.33749 17.7656 1743 133467
5.98/6.08	o 5
13.37/13.42	c 9.03363 17.8906 2074 239992
13.37/13.42	o 4
20.57/20.61	c 14.2568 18.0117 2691 347536
20.57/20.61	o 3
22.48/22.56	c 15.7196 18.0117 2607 376180
22.48/22.56	o 2
41.98/42.08	c 30.6443 18.3828 2880 653922
41.98/42.08	o 1
1800.02/1800.00	s SATISFIABLE
1800.02/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-2695671-1277910050/watcher-2695671-1277910050 -o /tmp/evaluation-result-2695671-1277910050/solver-2695671-1277910050 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695671-1277910050.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.45 2.28 2.11 3/196 25986
/proc/meminfo: memFree=30088100/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=2136 CPUtime=0
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 255 0 0 0 0 0 0 0 19 0 1 0 166608553 2187264 175 4089446400 134512640 136421960 4290270464 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25986/statm: 534 175 144 467 0 65 0

[startup+0.094957 s]
/proc/loadavg: 2.45 2.28 2.11 3/196 25986
/proc/meminfo: memFree=30088100/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=16988 CPUtime=0.08
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 3932 0 0 0 6 2 0 0 20 0 1 0 166608553 17395712 3852 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/25986/statm: 4247 3852 213 467 0 3778 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16988

[startup+0.100952 s]
/proc/loadavg: 2.45 2.28 2.11 3/196 25986
/proc/meminfo: memFree=30088100/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=16988 CPUtime=0.09
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 3932 0 0 0 7 2 0 0 20 0 1 0 166608553 17395712 3852 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/25986/statm: 4247 3852 213 467 0 3778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16988

[startup+0.300925 s]
/proc/loadavg: 2.45 2.28 2.11 3/196 25986
/proc/meminfo: memFree=30088100/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=17176 CPUtime=0.29
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 3999 0 0 0 12 17 0 0 20 0 1 0 166608553 17588224 3914 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/25986/statm: 4294 3914 236 467 0 3825 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17176

[startup+0.700772 s]
/proc/loadavg: 2.45 2.28 2.11 3/196 25986
/proc/meminfo: memFree=30088100/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=17436 CPUtime=0.68
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4068 0 0 0 24 44 0 0 21 0 1 0 166608553 17854464 3976 4089446400 134512640 136421960 4290270464 18446744073709551615 135686965 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25986/statm: 4359 3976 236 467 0 3890 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17436

[startup+1.50063 s]
/proc/loadavg: 2.45 2.28 2.11 3/197 25987
/proc/meminfo: memFree=30072220/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=17436 CPUtime=1.48
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4074 0 0 0 51 97 0 0 23 0 1 0 166608553 17854464 3979 4089446400 134512640 136421960 4290270464 18446744073709551615 135028336 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25986/statm: 4359 3979 236 467 0 3890 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17436

[startup+3.10043 s]
/proc/loadavg: 2.45 2.28 2.11 9/197 25987
/proc/meminfo: memFree=30071476/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=17800 CPUtime=3.08
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4129 0 0 0 121 187 0 0 25 0 1 0 166608553 18227200 4029 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4450 4029 236 467 0 3981 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17800

[startup+6.30087 s]
/proc/loadavg: 2.42 2.27 2.10 3/197 25987
/proc/meminfo: memFree=30070788/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=18188 CPUtime=6.28
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4227 0 0 0 350 278 0 0 18 0 1 0 166608553 18624512 4116 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4547 4116 236 467 0 4078 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18188

[startup+12.7007 s]
/proc/loadavg: 2.46 2.28 2.11 3/197 25996
/proc/meminfo: memFree=30066616/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=18316 CPUtime=12.68
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4276 0 0 0 850 418 0 0 25 0 1 0 166608553 18755584 4165 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4579 4165 236 467 0 4110 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18316

[startup+25.5005 s]
/proc/loadavg: 2.36 2.27 2.11 3/197 25996
/proc/meminfo: memFree=30064300/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=18440 CPUtime=25.47
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4315 0 0 0 1795 752 0 0 25 0 1 0 166608553 18882560 4201 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4610 4201 236 467 0 4141 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 18440

[startup+51.1009 s]
/proc/loadavg: 2.24 2.25 2.10 3/197 25997
/proc/meminfo: memFree=30052952/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=18820 CPUtime=51.07
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4399 0 0 0 3758 1349 0 0 25 0 1 0 166608553 19271680 4284 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4705 4284 236 467 0 4236 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18820

[startup+102.306 s]
/proc/loadavg: 2.10 2.21 2.09 3/197 25998
/proc/meminfo: memFree=30024164/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=19076 CPUtime=102.28
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4466 0 0 0 7609 2619 0 0 25 0 1 0 166608553 19533824 4351 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4769 4351 236 467 0 4300 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 19076

[startup+162.3 s]
/proc/loadavg: 2.04 2.17 2.09 3/197 26000
/proc/meminfo: memFree=29989792/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=19332 CPUtime=162.28
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4522 0 0 0 12314 3914 0 0 25 0 1 0 166608553 19795968 4407 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4833 4407 236 467 0 4364 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 19332

[startup+222.301 s]
/proc/loadavg: 2.01 2.13 2.08 3/197 26002
/proc/meminfo: memFree=29973144/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=19464 CPUtime=222.28
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4547 0 0 0 17093 5135 0 0 25 0 1 0 166608553 19931136 4432 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4866 4432 236 467 0 4397 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 19464

[startup+282.301 s]
/proc/loadavg: 2.33 2.21 2.11 3/197 26003
/proc/meminfo: memFree=29949800/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=19596 CPUtime=282.29
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4604 0 0 0 21634 6595 0 0 25 0 1 0 166608553 20066304 4489 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4899 4489 236 467 0 4430 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19596

[startup+342.3 s]
/proc/loadavg: 2.44 2.26 2.13 3/197 26005
/proc/meminfo: memFree=29934520/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=19728 CPUtime=342.29
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4625 0 0 0 26126 8103 0 0 25 0 1 0 166608553 20201472 4510 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4932 4510 236 467 0 4463 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 19728

[startup+402.301 s]
/proc/loadavg: 2.16 2.21 2.12 3/197 26006
/proc/meminfo: memFree=29911792/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=19860 CPUtime=402.28
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4649 0 0 0 30648 9580 0 0 25 0 1 0 166608553 20336640 4534 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4965 4534 236 467 0 4496 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 19860

[startup+462.3 s]
/proc/loadavg: 2.27 2.25 2.14 3/197 26008
/proc/meminfo: memFree=29883624/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=19860 CPUtime=462.28
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4672 0 0 0 35143 11085 0 0 25 0 1 0 166608553 20336640 4557 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 4965 4557 236 467 0 4496 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 19860

[startup+522.301 s]
/proc/loadavg: 2.16 2.22 2.13 3/197 26010
/proc/meminfo: memFree=29862020/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20116 CPUtime=522.29
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4707 0 0 0 39650 12579 0 0 25 0 1 0 166608553 20598784 4592 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5029 4592 236 467 0 4560 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 20116

[startup+582.301 s]
/proc/loadavg: 2.06 2.18 2.12 3/197 26011
/proc/meminfo: memFree=29855296/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20116 CPUtime=582.3
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4713 0 0 0 44333 13897 0 0 25 0 1 0 166608553 20598784 4598 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5029 4598 236 467 0 4560 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20116

[startup+642.301 s]
/proc/loadavg: 2.02 2.14 2.11 3/197 26013
/proc/meminfo: memFree=29855140/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20212 CPUtime=642.3
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4737 0 0 0 49241 14989 0 0 25 0 1 0 166608553 20697088 4622 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5053 4622 236 467 0 4584 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 20212

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.03 2.08 2.09 3/179 26051
/proc/meminfo: memFree=30208556/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20332 CPUtime=822.29
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4765 0 0 0 62848 19381 0 0 25 0 1 0 166608553 20819968 4650 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5083 4650 236 467 0 4614 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 20332

[startup+882.301 s]
/proc/loadavg: 2.06 2.08 2.09 4/179 26052
/proc/meminfo: memFree=30164876/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20464 CPUtime=882.3
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4793 0 0 0 67369 20861 0 0 25 0 1 0 166608553 20955136 4678 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5116 4678 236 467 0 4647 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 20464

[startup+942.301 s]
/proc/loadavg: 2.02 2.06 2.08 3/179 26053
/proc/meminfo: memFree=30131004/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20464 CPUtime=942.3
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4793 0 0 0 71922 22308 0 0 25 0 1 0 166608553 20955136 4678 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5116 4678 236 467 0 4647 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 20464

[startup+1002.3 s]
/proc/loadavg: 2.23 2.10 2.09 3/200 26107
/proc/meminfo: memFree=30448108/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20464 CPUtime=1002.3
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4793 0 0 0 76453 23777 0 0 25 0 1 0 166608553 20955136 4678 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5116 4678 236 467 0 4647 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 20464

[startup+1062.3 s]
/proc/loadavg: 2.71 2.26 2.14 4/200 26109
/proc/meminfo: memFree=30419000/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20596 CPUtime=1062.29
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4831 0 0 0 81026 25203 0 0 25 0 1 0 166608553 21090304 4716 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5149 4716 236 467 0 4680 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 20596

[startup+1122.3 s]
/proc/loadavg: 2.84 2.38 2.19 4/200 26111
/proc/meminfo: memFree=30402824/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20596 CPUtime=1122.3
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4837 0 0 0 85914 26316 0 0 25 0 1 0 166608553 21090304 4722 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5149 4722 236 467 0 4680 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 20596

[startup+1182.3 s]
/proc/loadavg: 2.90 2.47 2.23 4/200 26112
/proc/meminfo: memFree=30386648/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20728 CPUtime=1182.31
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4852 0 0 0 90865 27366 0 0 25 0 1 0 166608553 21225472 4737 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5182 4737 236 467 0 4713 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 20728

[startup+1242.3 s]
/proc/loadavg: 2.86 2.54 2.27 4/200 26114
/proc/meminfo: memFree=30373684/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20728 CPUtime=1242.3
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4865 0 0 0 95556 28674 0 0 25 0 1 0 166608553 21225472 4750 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5182 4750 236 467 0 4713 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 20728

[startup+1302.3 s]
/proc/loadavg: 2.84 2.59 2.30 4/200 26115
/proc/meminfo: memFree=30359732/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20728 CPUtime=1302.31
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4872 0 0 0 100186 30045 0 0 25 0 1 0 166608553 21225472 4757 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5182 4757 236 467 0 4713 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 20728

[startup+1362.3 s]
/proc/loadavg: 2.91 2.65 2.33 3/200 26117
/proc/meminfo: memFree=30348084/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20836 CPUtime=1362.31
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4881 0 0 0 104765 31466 0 0 25 0 1 0 166608553 21336064 4766 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5209 4766 236 467 0 4740 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 20836

[startup+1422.31 s]
/proc/loadavg: 2.89 2.68 2.36 4/200 26119
/proc/meminfo: memFree=30341300/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20836 CPUtime=1422.31
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4882 0 0 0 109323 32908 0 0 25 0 1 0 166608553 21336064 4767 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5209 4767 236 467 0 4740 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 20836

[startup+1482.3 s]
/proc/loadavg: 3.29 2.80 2.42 4/200 26120
/proc/meminfo: memFree=30327960/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20836 CPUtime=1482.31
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4892 0 0 0 113996 34235 0 0 25 0 1 0 166608553 21336064 4777 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5209 4777 236 467 0 4740 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 20836

[startup+1542.3 s]
/proc/loadavg: 3.26 2.86 2.46 4/200 26122
/proc/meminfo: memFree=30317360/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20836 CPUtime=1542.31
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4893 0 0 0 118626 35605 0 0 25 0 1 0 166608553 21336064 4778 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5209 4778 236 467 0 4740 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 20836

[startup+1602.3 s]
/proc/loadavg: 2.82 2.81 2.47 3/200 26123
/proc/meminfo: memFree=30309840/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20836 CPUtime=1602.31
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4903 0 0 0 123367 36864 0 0 25 0 1 0 166608553 21336064 4788 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5209 4788 236 467 0 4740 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 20836

[startup+1662.3 s]
/proc/loadavg: 2.51 2.72 2.46 4/200 26125
/proc/meminfo: memFree=30302572/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20836 CPUtime=1662.31
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4909 0 0 0 127939 38292 0 0 25 0 1 0 166608553 21336064 4794 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5209 4794 236 467 0 4740 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 20836

[startup+1722.3 s]
/proc/loadavg: 2.66 2.73 2.47 4/200 26127
/proc/meminfo: memFree=30294952/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20968 CPUtime=1722.32
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4916 0 0 0 132744 39488 0 0 25 0 1 0 166608553 21471232 4801 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5242 4801 236 467 0 4773 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 20968

[startup+1782.3 s]
/proc/loadavg: 2.27 2.60 2.44 3/179 26177
/proc/meminfo: memFree=30627324/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20968 CPUtime=1782.31
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4917 0 0 0 137571 40660 0 0 25 0 1 0 166608553 21471232 4802 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5242 4802 236 467 0 4773 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 20968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.19 2.56 2.43 3/179 26178
/proc/meminfo: memFree=30627564/32950928 swapFree=67111528/67111528
[pid=25986] ppid=25984 vsize=20968 CPUtime=1800.02
/proc/25986/stat : 25986 (pbct) R 25984 25986 25933 0 -1 4202496 4917 0 0 0 139028 40974 0 0 25 0 1 0 166608553 21471232 4802 4089446400 134512640 136421960 4290270464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/25986/statm: 5242 4802 236 467 0 4773 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 20968

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.03
CPU user time (s): 1390.29
CPU system time (s): 409.743
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 20968

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

runsolver used 2.56361 second user time and 5.67314 second system time

The end

Launcher Data 

Begin job on node112 at 2010-06-30 17:00:50
IDJOB=2695671
IDBENCH=78973
IDSOLVER=1208
FILE ID=node112/2695671-1277910050
PBS_JOBID= 11197257
Free space on /tmp= 74212 MiB

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

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

MD5SUM BENCH= 4dbce9c855a469b24d5770190ca01b65
RANDOM SEED=1551222881

node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
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.65
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.827
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.827
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.827
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.73
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.827
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.82
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.827
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.827
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.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30088620 kB
Buffers:        191860 kB
Cached:        1890480 kB
SwapCached:          0 kB
Active:        1159976 kB
Inactive:      1556760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30088620 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2024 kB
Writeback:           0 kB
AnonPages:      634132 kB
Mapped:          20344 kB
Slab:            81000 kB
PageTables:       6116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1655012 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= 74208 MiB
End job on node112 at 2010-06-30 17:30:52