Trace number 2695677

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 1052.58 1052.55

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-33-100-0.wbo
MD5SUMcb67e22228ed30d84ff6579ce17258b0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark294.877
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 constraints1788
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 89002
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 89001
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 733
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 908/1776 units 0
0.00/0.01	c vars 231
0.09/0.11	c 0.094985 16.6094 26 20927
0.09/0.11	o 731
0.09/0.12	c 0.102984 16.793 56 27576
0.09/0.12	o 558
0.09/0.13	c 0.106983 16.793 60 27942
0.09/0.13	o 548
0.09/0.18	c 0.140978 16.793 199 31427
0.09/0.18	o 500
0.20/0.20	c 0.155976 16.793 265 34083
0.20/0.20	o 282
0.20/0.25	c 0.182972 16.9141 413 34611
0.20/0.25	o 280
14.39/14.46	c 8.75367 17.1641 1071 2551230
14.39/14.46	o 219
41.69/41.73	c 25.4391 17.1641 1161 7901684
41.69/41.73	o 217
75.19/75.20	c 45.792 17.1641 1162 14589074
75.19/75.20	o 211
75.19/75.20	c 45.794 17.1641 583 14589414
75.19/75.20	o 199
86.49/86.52	c 52.652 17.1641 956 16271993
86.49/86.52	o 168
98.29/98.38	c 59.8789 17.2891 974 18691419
98.29/98.38	o 160
110.88/110.94	c 67.5237 17.2891 891 19912529
110.88/110.94	o 157
112.20/112.22	c 68.2986 17.2891 667 20030937
112.20/112.22	o 155
118.99/119.05	c 72.395 17.2891 961 20901949
118.99/119.05	o 150
119.49/119.56	c 72.7359 17.668 1549 20906481
119.49/119.56	o 149
119.49/119.57	c 72.7399 17.668 776 20906635
119.49/119.57	o 146
119.49/119.57	c 72.7429 17.668 778 20906935
119.49/119.57	o 134
119.49/119.58	c 72.7489 17.668 786 20907246
119.49/119.58	o 131
119.59/119.61	c 72.7679 17.668 884 20907806
119.59/119.61	o 111
119.59/119.64	c 72.7889 17.668 965 20908135
119.59/119.64	o 103
119.98/120.01	c 73.0269 17.668 1059 20909975
119.98/120.01	o 85
120.49/120.54	c 73.3758 17.668 1038 20913501
120.49/120.54	o 69
120.79/120.90	c 73.6138 17.668 1479 20915817
120.79/120.90	o 66
122.09/122.18	c 74.4267 17.793 1622 20944964
122.09/122.18	o 65
122.29/122.36	c 74.5447 17.793 1277 20949456
122.29/122.36	o 58
125.59/125.63	c 76.6313 17.793 1890 21165861
125.59/125.63	o 49
127.50/127.59	c 78.0891 17.793 1255 21181118
127.50/127.59	o 45
127.69/127.72	c 78.1861 17.793 2096 21182576
127.69/127.72	o 36
127.78/127.80	c 78.2501 17.793 1647 21183673
127.78/127.80	o 34
128.69/128.70	c 78.978 17.793 1407 21192847
128.69/128.70	o 30
129.39/129.41	c 79.5359 17.793 2159 21199711
129.39/129.41	o 28
132.79/132.81	c 82.2725 17.793 1938 21233311
132.79/132.81	o 23
138.39/138.45	c 86.8818 18.0469 1669 21294036
138.39/138.45	o 21
139.39/139.49	c 87.7817 18.0469 1621 21307268
139.39/139.49	o 19
139.89/139.91	c 88.1366 18.0469 1564 21313214
139.89/139.91	o 15
141.49/141.56	c 89.5634 18.0469 1725 21336139
141.49/141.56	o 8
150.70/150.78	c 97.8351 18.1367 3054 21488464
150.70/150.78	o 6
163.80/163.85	c 109.653 18.2266 2121 21686144
163.80/163.85	o 3
339.20/339.24	c 268.73 19.0625 2913 24480307
339.20/339.24	o 2
1052.51/1052.53	c 866.739 19.3203 2058 36396041
1052.51/1052.53	s OPTIMUM FOUND
1052.51/1052.53	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-2695677-1277910369/watcher-2695677-1277910369 -o /tmp/evaluation-result-2695677-1277910369/solver-2695677-1277910369 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695677-1277910369.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.01 2.13 2.22 3/196 16328
/proc/meminfo: memFree=30726272/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=2136 CPUtime=0
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 132332818 2187264 174 4089446400 134512640 136421960 4287771216 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16328/statm: 534 174 144 467 0 65 0

[startup+0.0214511 s]
/proc/loadavg: 2.01 2.13 2.22 3/196 16328
/proc/meminfo: memFree=30726272/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=3844 CPUtime=0.02
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 666 0 0 0 2 0 0 0 25 0 1 0 132332818 3936256 585 4089446400 134512640 136421960 4287771216 18446744073709551615 134723285 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16328/statm: 995 598 187 467 0 526 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3844

[startup+0.100422 s]
/proc/loadavg: 2.01 2.13 2.22 3/196 16328
/proc/meminfo: memFree=30726272/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=17004 CPUtime=0.09
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 3925 0 0 0 8 1 0 0 25 0 1 0 132332818 17412096 3844 4089446400 134512640 136421960 4287771216 18446744073709551615 134867981 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16328/statm: 4251 3844 213 467 0 3782 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17004

[startup+0.300424 s]
/proc/loadavg: 2.01 2.13 2.22 3/196 16328
/proc/meminfo: memFree=30726272/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=17316 CPUtime=0.29
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4014 0 0 0 21 8 0 0 18 0 1 0 132332818 17731584 3927 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/16328/statm: 4329 3927 236 467 0 3860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17316

[startup+0.700354 s]
/proc/loadavg: 2.01 2.13 2.22 3/196 16328
/proc/meminfo: memFree=30726272/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=17452 CPUtime=0.69
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4041 0 0 0 44 25 0 0 18 0 1 0 132332818 17870848 3954 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4363 3954 237 467 0 3894 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17452

[startup+1.50021 s]
/proc/loadavg: 2.01 2.13 2.22 3/197 16329
/proc/meminfo: memFree=30711452/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=17452 CPUtime=1.49
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4043 0 0 0 92 57 0 0 19 0 1 0 132332818 17870848 3956 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4363 3956 237 467 0 3894 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17452

[startup+3.10092 s]
/proc/loadavg: 2.01 2.13 2.22 3/197 16329
/proc/meminfo: memFree=30711204/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=17452 CPUtime=3.08
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4043 0 0 0 187 121 0 0 24 0 1 0 132332818 17870848 3956 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4363 3956 237 467 0 3894 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17452

[startup+6.30034 s]
/proc/loadavg: 2.01 2.12 2.22 3/197 16329
/proc/meminfo: memFree=30710952/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=17452 CPUtime=6.28
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4059 0 0 0 378 250 0 0 25 0 1 0 132332818 17870848 3972 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4363 3972 237 467 0 3894 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17452

[startup+12.7002 s]
/proc/loadavg: 2.01 2.12 2.22 4/197 16329
/proc/meminfo: memFree=30710064/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=17572 CPUtime=12.68
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4078 0 0 0 765 503 0 0 25 0 1 0 132332818 17993728 3991 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4393 3991 237 467 0 3924 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17572

[startup+25.5009 s]
/proc/loadavg: 2.01 2.12 2.21 3/197 16329
/proc/meminfo: memFree=30709432/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=17572 CPUtime=25.49
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4079 0 0 0 1552 997 0 0 25 0 1 0 132332818 17993728 3991 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4393 3991 237 467 0 3924 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17572

[startup+51.1002 s]
/proc/loadavg: 2.00 2.11 2.20 3/197 16330
/proc/meminfo: memFree=30707536/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=17572 CPUtime=51.08
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4085 0 0 0 3123 1985 0 0 25 0 1 0 132332818 17993728 3996 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4393 3996 237 467 0 3924 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17572

[startup+102.307 s]
/proc/loadavg: 2.00 2.09 2.19 3/197 16331
/proc/meminfo: memFree=30705764/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=17700 CPUtime=102.3
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4117 0 0 0 6224 4006 0 0 25 0 1 0 132332818 18124800 4024 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4425 4024 237 467 0 3956 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17700

[startup+162.301 s]
/proc/loadavg: 2.00 2.07 2.18 3/197 16333
/proc/meminfo: memFree=30704836/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=18660 CPUtime=162.29
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4399 0 0 0 10825 5404 0 0 25 0 1 0 132332818 19107840 4280 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4665 4280 237 467 0 4196 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18660

[startup+222.301 s]
/proc/loadavg: 2.00 2.05 2.16 3/197 16334
/proc/meminfo: memFree=30704192/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19008 CPUtime=222.29
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4495 0 0 0 16271 5958 0 0 25 0 1 0 132332818 19464192 4375 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4752 4375 237 467 0 4283 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19008

[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.15 3/197 16336
/proc/meminfo: memFree=30703912/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19312 CPUtime=282.29
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4569 0 0 0 21705 6524 0 0 25 0 1 0 132332818 19775488 4449 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4828 4449 237 467 0 4359 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19312

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.14 3/197 16337
/proc/meminfo: memFree=30703636/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19516 CPUtime=342.29
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4610 0 0 0 27149 7080 0 0 25 0 1 0 132332818 19984384 4489 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4879 4489 237 467 0 4410 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 19516

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/197 16339
/proc/meminfo: memFree=30703724/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19516 CPUtime=402.3
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4610 0 0 0 32610 7620 0 0 25 0 1 0 132332818 19984384 4489 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4879 4489 237 467 0 4410 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19516

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.12 3/197 16341
/proc/meminfo: memFree=30703564/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19516 CPUtime=462.3
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4610 0 0 0 38079 8151 0 0 25 0 1 0 132332818 19984384 4489 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4879 4489 237 467 0 4410 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19516

[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.11 3/197 16342
/proc/meminfo: memFree=30701788/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19516 CPUtime=522.3
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4610 0 0 0 43559 8671 0 0 25 0 1 0 132332818 19984384 4489 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4879 4489 237 467 0 4410 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19516

[startup+582.301 s]
/proc/loadavg: 2.04 2.03 2.10 3/197 16344
/proc/meminfo: memFree=30691828/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19516 CPUtime=582.3
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4610 0 0 0 49019 9211 0 0 25 0 1 0 132332818 19984384 4489 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16328/statm: 4879 4489 237 467 0 4410 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 19516

[startup+642.301 s]
/proc/loadavg: 1.96 2.01 2.09 3/179 16375
/proc/meminfo: memFree=31008948/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19516 CPUtime=642.31
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4612 0 0 0 54033 10198 0 0 25 0 1 0 132332818 19984384 4491 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/16328/statm: 4879 4491 237 467 0 4410 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 19516

[startup+702.301 s]
/proc/loadavg: 1.98 2.00 2.08 3/179 16377
/proc/meminfo: memFree=30998364/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19516 CPUtime=702.31
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4622 0 0 0 58823 11408 0 0 25 0 1 0 132332818 19984384 4501 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/16328/statm: 4879 4501 237 467 0 4410 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 19516

[startup+762.306 s]
/proc/loadavg: 1.99 2.00 2.08 3/179 16379
/proc/meminfo: memFree=30991260/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19648 CPUtime=762.31
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4631 0 0 0 63576 12655 0 0 25 0 1 0 132332818 20119552 4510 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4912 4510 237 467 0 4443 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 19648

[startup+822.301 s]
/proc/loadavg: 1.99 2.00 2.07 3/179 16380
/proc/meminfo: memFree=30984764/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19648 CPUtime=822.31
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4641 0 0 0 68357 13874 0 0 25 0 1 0 132332818 20119552 4520 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4912 4520 237 467 0 4443 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 19648

[startup+882.301 s]
/proc/loadavg: 1.99 2.00 2.07 3/179 16382
/proc/meminfo: memFree=30974060/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19648 CPUtime=882.31
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4646 0 0 0 73157 15074 0 0 25 0 1 0 132332818 20119552 4525 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4912 4525 237 467 0 4443 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 19648

[startup+942.3 s]
/proc/loadavg: 1.99 2.00 2.06 3/179 16383
/proc/meminfo: memFree=30969424/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19648 CPUtime=942.32
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4654 0 0 0 77902 16330 0 0 25 0 1 0 132332818 20119552 4533 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4912 4533 237 467 0 4443 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 19648

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 16385
/proc/meminfo: memFree=30965808/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19648 CPUtime=1002.31
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4656 0 0 0 82673 17558 0 0 25 0 1 0 132332818 20119552 4535 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4912 4535 237 467 0 4443 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 19648

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

[startup+1023.9 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 16386
/proc/meminfo: memFree=30964672/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19780 CPUtime=1023.91
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4662 0 0 0 84404 17987 0 0 25 0 1 0 132332818 20254720 4541 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4945 4541 237 467 0 4476 0
Current children cumulated CPU time (s) 1023.91
Current children cumulated vsize (KiB) 19780

[startup+1036.7 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 16386
/proc/meminfo: memFree=30963432/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19780 CPUtime=1036.71
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4669 0 0 0 85422 18249 0 0 25 0 1 0 132332818 20254720 4548 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4945 4548 237 467 0 4476 0
Current children cumulated CPU time (s) 1036.71
Current children cumulated vsize (KiB) 19780

[startup+1043.1 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 16386
/proc/meminfo: memFree=30963424/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19780 CPUtime=1043.12
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4670 0 0 0 85925 18387 0 0 25 0 1 0 132332818 20254720 4549 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4945 4549 237 467 0 4476 0
Current children cumulated CPU time (s) 1043.12
Current children cumulated vsize (KiB) 19780

[startup+1049.5 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 16387
/proc/meminfo: memFree=30963424/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19780 CPUtime=1049.51
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4670 0 0 0 86431 18520 0 0 25 0 1 0 132332818 20254720 4549 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4945 4549 237 467 0 4476 0
Current children cumulated CPU time (s) 1049.51
Current children cumulated vsize (KiB) 19780

[startup+1051.1 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 16387
/proc/meminfo: memFree=30963424/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19780 CPUtime=1051.11
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4672 0 0 0 86558 18553 0 0 25 0 1 0 132332818 20254720 4551 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4945 4551 237 467 0 4476 0
Current children cumulated CPU time (s) 1051.11
Current children cumulated vsize (KiB) 19780

[startup+1051.9 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 16387
/proc/meminfo: memFree=30963300/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19780 CPUtime=1051.91
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4672 0 0 0 86623 18568 0 0 25 0 1 0 132332818 20254720 4551 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4945 4551 237 467 0 4476 0
Current children cumulated CPU time (s) 1051.91
Current children cumulated vsize (KiB) 19780

[startup+1052.3 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 16387
/proc/meminfo: memFree=30963300/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19780 CPUtime=1052.31
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4672 0 0 0 86654 18577 0 0 25 0 1 0 132332818 20254720 4551 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4945 4551 237 467 0 4476 0
Current children cumulated CPU time (s) 1052.31
Current children cumulated vsize (KiB) 19780

[startup+1052.5 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 16387
/proc/meminfo: memFree=30963300/32951124 swapFree=67111528/67111528
[pid=16328] ppid=16326 vsize=19780 CPUtime=1052.51
/proc/16328/stat : 16328 (pbct) R 16326 16328 14951 0 -1 4202496 4672 0 0 0 86671 18580 0 0 25 0 1 0 132332818 20254720 4551 4089446400 134512640 136421960 4287771216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16328/statm: 4945 4551 237 467 0 4476 0
Current children cumulated CPU time (s) 1052.51
Current children cumulated vsize (KiB) 19780

Child status: 0
Real time (s): 1052.55
CPU time (s): 1052.58
CPU user time (s): 866.757
CPU system time (s): 185.82
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 19780

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

runsolver used 1.63975 second user time and 3.2985 second system time

The end

Launcher Data 

Begin job on node138 at 2010-06-30 17:06:10
IDJOB=2695677
IDBENCH=78976
IDSOLVER=1208
FILE ID=node138/2695677-1277910369
PBS_JOBID= 11197236
Free space on /tmp= 74140 MiB

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

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

MD5SUM BENCH= cb67e22228ed30d84ff6579ce17258b0
RANDOM SEED=1326825590

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30726916 kB
Buffers:        198684 kB
Cached:        1469948 kB
SwapCached:          0 kB
Active:        1054608 kB
Inactive:      1023632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30726916 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1900 kB
Writeback:           0 kB
AnonPages:      409708 kB
Mapped:          20332 kB
Slab:            82876 kB
PageTables:       6032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1652576 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= 74132 MiB
End job on node138 at 2010-06-30 17:23:42