Trace number 2695579

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 1143.33 1143.34

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo
MD5SUMf08844d42f277d14946ba79cfba06e67
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 benchmark107.679
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 671
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.00/0.09	c 0.070989 16.6094 11 12786
0.00/0.09	o 413
13.29/13.39	c 1.74773 17.0273 1968 3060304
13.29/13.39	o 409
65.19/65.23	c 27.7298 17.1602 1431 15007005
65.19/65.23	o 394
105.28/105.31	c 52.0991 17.2734 1088 23103817
105.28/105.31	o 389
114.40/114.48	c 57.6632 17.2734 831 24979615
114.40/114.48	o 368
122.59/122.63	c 62.6785 17.2734 1138 26672741
122.59/122.63	o 294
142.19/142.27	c 74.7276 17.2734 1174 30988164
142.19/142.27	o 288
143.38/143.44	c 75.4185 17.2734 972 31212647
143.38/143.44	o 285
147.49/147.56	c 77.9102 17.2734 738 31914554
147.49/147.56	o 267
156.59/156.66	c 83.4783 17.2734 835 34552506
156.59/156.66	o 257
160.39/160.47	c 85.759 17.2734 1468 35276048
160.39/160.47	o 253
161.69/161.73	c 86.5228 17.2734 755 35478706
161.69/161.73	o 247
203.89/203.90	c 112.105 17.2734 1021 42531670
203.89/203.90	o 203
204.28/204.30	c 112.347 17.2734 1133 42617457
204.28/204.30	o 201
210.09/210.13	c 115.91 17.6602 637 43763701
210.09/210.13	o 198
213.79/213.83	c 118.121 17.6602 1099 44170798
213.79/213.83	o 181
215.49/215.54	c 119.187 17.6602 1154 44348357
215.49/215.54	o 173
221.99/222.02	c 123.035 17.6602 828 45123689
221.99/222.02	o 166
223.49/223.50	c 123.939 17.6602 653 45185840
223.49/223.50	o 140
223.88/223.95	c 124.196 17.6602 772 45214332
223.88/223.95	o 135
233.09/233.19	c 129.812 17.6602 959 45823287
233.09/233.19	o 116
233.29/233.37	c 129.92 17.6602 830 45824551
233.29/233.37	o 103
233.29/233.38	c 129.924 17.6602 845 45824758
233.29/233.38	o 96
233.58/233.65	c 130.107 17.6602 831 45826166
233.58/233.65	o 84
233.99/234.04	c 130.362 17.6602 765 45828518
233.99/234.04	o 75
234.38/234.45	c 130.64 17.6602 1334 45831069
234.38/234.45	o 67
234.89/234.91	c 130.966 17.6602 1384 45833897
234.89/234.91	o 60
234.98/235.00	c 131.031 17.6602 1743 45834627
234.98/235.00	o 50
235.18/235.21	c 131.17 17.6602 1673 45836555
235.18/235.21	o 32
235.59/235.64	c 131.521 17.7852 2193 45840868
235.59/235.64	o 30
235.69/235.75	c 131.611 17.7852 1755 45842223
235.69/235.75	o 13
236.38/236.48	c 132.255 18.043 1962 45852001
236.38/236.48	o 12
236.68/236.72	c 132.468 18.043 1594 45855641
236.68/236.72	o 7
238.39/238.40	c 133.993 18.043 3046 45881711
238.39/238.40	o 6
238.99/239.08	c 134.609 18.043 2439 45891984
238.99/239.08	o 4
239.59/239.64	c 135.135 18.043 1946 45900222
239.59/239.64	o 3
246.09/246.18	c 141.141 18.043 2706 46002274
246.09/246.18	o 2
247.79/247.82	c 142.627 18.043 2581 46028432
247.79/247.82	o 1
1143.29/1143.31	c 963.542 19.7383 3484 61086992
1143.29/1143.31	s OPTIMUM FOUND
1143.29/1143.31	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-2695579-1277905214/watcher-2695579-1277905214 -o /tmp/evaluation-result-2695579-1277905214/solver-2695579-1277905214 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695579-1277905214.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.04 2.01 2.00 3/176 13042
/proc/meminfo: memFree=29777564/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=2136 CPUtime=0
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 254 0 0 0 0 0 0 0 21 0 1 0 131817867 2187264 174 4089446400 134512640 136421960 4293361712 18446744073709551615 135717572 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13042/statm: 534 174 144 467 0 65 0

[startup+0.0076931 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 13042
/proc/meminfo: memFree=29777564/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=2136 CPUtime=0
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 255 0 0 0 0 0 0 0 21 0 1 0 131817867 2187264 175 4089446400 134512640 136421960 4293361712 18446744073709551615 134517445 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13042/statm: 534 175 144 467 0 65 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.100713 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 13042
/proc/meminfo: memFree=29777564/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17192 CPUtime=0.09
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 3990 0 0 0 7 2 0 0 21 0 1 0 131817867 17604608 3909 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13042/statm: 4298 3909 236 467 0 3829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17192

[startup+0.300686 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 13042
/proc/meminfo: memFree=29777564/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17192 CPUtime=0.29
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 3991 0 0 0 9 20 0 0 21 0 1 0 131817867 17604608 3910 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13042/statm: 4298 3910 237 467 0 3829 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17192

[startup+0.700621 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 13042
/proc/meminfo: memFree=29777564/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17192 CPUtime=0.69
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 3991 0 0 0 13 56 0 0 22 0 1 0 131817867 17604608 3910 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13042/statm: 4298 3910 237 467 0 3829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17192

[startup+1.50048 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13043
/proc/meminfo: memFree=29760436/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17316 CPUtime=1.49
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4015 0 0 0 21 128 0 0 25 0 1 0 131817867 17731584 3934 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13042/statm: 4329 3934 237 467 0 3860 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17316

[startup+3.10021 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13043
/proc/meminfo: memFree=29760172/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17432 CPUtime=3.09
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4030 0 0 0 39 270 0 0 25 0 1 0 131817867 17850368 3949 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13042/statm: 4358 3949 237 467 0 3889 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17432

[startup+6.30067 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13043
/proc/meminfo: memFree=29759348/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17432 CPUtime=6.29
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4050 0 0 0 87 542 0 0 25 0 1 0 131817867 17850368 3969 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13042/statm: 4358 3969 237 467 0 3889 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17432

[startup+12.7006 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13045
/proc/meminfo: memFree=29756404/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17432 CPUtime=12.69
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4053 0 0 0 167 1102 0 0 25 0 1 0 131817867 17850368 3972 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13042/statm: 4358 3972 237 467 0 3889 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17432

[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13045
/proc/meminfo: memFree=29751800/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17568 CPUtime=25.48
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4069 0 0 0 344 2204 0 0 25 0 1 0 131817867 17989632 3987 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4392 3987 237 467 0 3923 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17568

[startup+51.1011 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 13045
/proc/meminfo: memFree=29747812/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17568 CPUtime=51.09
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4072 0 0 0 1904 3205 0 0 25 0 1 0 131817867 17989632 3990 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4392 3990 237 467 0 3923 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17568

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13047
/proc/meminfo: memFree=29738732/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17684 CPUtime=102.3
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4098 0 0 0 5029 5201 0 0 25 0 1 0 131817867 18108416 4015 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4421 4015 237 467 0 3952 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17684

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13049
/proc/meminfo: memFree=29733240/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=17684 CPUtime=162.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4115 0 0 0 8686 7542 0 0 25 0 1 0 131817867 18108416 4023 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4421 4023 237 467 0 3952 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 17684

[startup+222.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 13049
/proc/meminfo: memFree=29732348/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=18080 CPUtime=222.29
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4230 0 0 0 12320 9909 0 0 25 0 1 0 131817867 18513920 4132 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4520 4132 237 467 0 4051 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 18080

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13051
/proc/meminfo: memFree=29725096/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=18728 CPUtime=282.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4413 0 0 0 17411 10817 0 0 25 0 1 0 131817867 19177472 4295 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4682 4295 237 467 0 4213 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 18728

[startup+342.301 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 13081
/proc/meminfo: memFree=31419096/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=18984 CPUtime=342.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4465 0 0 0 22911 11317 0 0 25 0 1 0 131817867 19439616 4347 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4746 4347 237 467 0 4277 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 18984

[startup+402.301 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 13083
/proc/meminfo: memFree=31395104/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=19112 CPUtime=402.27
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4513 0 0 0 28384 11843 0 0 25 0 1 0 131817867 19570688 4395 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4778 4395 237 467 0 4309 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 19112

[startup+462.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13085
/proc/meminfo: memFree=31386884/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=19244 CPUtime=462.27
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4546 0 0 0 33897 12330 0 0 25 0 1 0 131817867 19705856 4428 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4811 4428 237 467 0 4342 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 19244

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13085
/proc/meminfo: memFree=31382644/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=19376 CPUtime=522.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4578 0 0 0 39403 12825 0 0 25 0 1 0 131817867 19841024 4460 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4844 4460 237 467 0 4375 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 19376

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13087
/proc/meminfo: memFree=31378284/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=19492 CPUtime=582.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4602 0 0 0 44903 13325 0 0 25 0 1 0 131817867 19959808 4484 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4873 4484 237 467 0 4404 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 19492

[startup+642.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13089
/proc/meminfo: memFree=31374040/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=19492 CPUtime=642.29
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4610 0 0 0 50407 13822 0 0 25 0 1 0 131817867 19959808 4492 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4873 4492 237 467 0 4404 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 19492

[startup+702.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13091
/proc/meminfo: memFree=31370784/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=19676 CPUtime=702.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4654 0 0 0 55913 14315 0 0 25 0 1 0 131817867 20148224 4536 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4919 4536 237 467 0 4450 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 19676

[startup+762.306 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 13093
/proc/meminfo: memFree=31364544/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=19804 CPUtime=762.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4671 0 0 0 61412 14816 0 0 25 0 1 0 131817867 20279296 4553 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4951 4553 237 467 0 4482 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 19804

[startup+822.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 13093
/proc/meminfo: memFree=31360792/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=19940 CPUtime=822.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4700 0 0 0 66931 15297 0 0 25 0 1 0 131817867 20418560 4582 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4985 4582 237 467 0 4516 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 19940

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13095
/proc/meminfo: memFree=31358028/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=19940 CPUtime=882.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4716 0 0 0 72434 15794 0 0 25 0 1 0 131817867 20418560 4598 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 4985 4598 237 467 0 4516 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 19940

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13097
/proc/meminfo: memFree=31354280/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20076 CPUtime=942.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4732 0 0 0 77930 16298 0 0 25 0 1 0 131817867 20557824 4614 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5019 4614 237 467 0 4550 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 20076

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13099
/proc/meminfo: memFree=31352508/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20076 CPUtime=1002.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4749 0 0 0 83420 16808 0 0 25 0 1 0 131817867 20557824 4631 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5019 4631 237 467 0 4550 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 20076

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13101
/proc/meminfo: memFree=31351484/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20076 CPUtime=1062.29
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4757 0 0 0 88931 17298 0 0 25 0 1 0 131817867 20557824 4639 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5019 4639 237 467 0 4550 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 20076

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13101
/proc/meminfo: memFree=31351332/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20208 CPUtime=1122.28
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4769 0 0 0 94433 17795 0 0 25 0 1 0 131817867 20692992 4651 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5052 4651 237 467 0 4583 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 20208

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

[startup+1126.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13101
/proc/meminfo: memFree=31351208/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20208 CPUtime=1126.29
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4769 0 0 0 94799 17830 0 0 25 0 1 0 131817867 20692992 4651 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5052 4651 237 467 0 4583 0
Current children cumulated CPU time (s) 1126.29
Current children cumulated vsize (KiB) 20208

[startup+1132.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13101
/proc/meminfo: memFree=31351196/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20208 CPUtime=1132.69
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4769 0 0 0 95383 17886 0 0 25 0 1 0 131817867 20692992 4651 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5052 4651 237 467 0 4583 0
Current children cumulated CPU time (s) 1132.69
Current children cumulated vsize (KiB) 20208

[startup+1139.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13103
/proc/meminfo: memFree=31351196/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20208 CPUtime=1139.09
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4769 0 0 0 95970 17939 0 0 25 0 1 0 131817867 20692992 4651 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5052 4651 237 467 0 4583 0
Current children cumulated CPU time (s) 1139.09
Current children cumulated vsize (KiB) 20208

[startup+1140.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13103
/proc/meminfo: memFree=31351196/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20208 CPUtime=1140.7
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4769 0 0 0 96117 17953 0 0 25 0 1 0 131817867 20692992 4651 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5052 4651 237 467 0 4583 0
Current children cumulated CPU time (s) 1140.7
Current children cumulated vsize (KiB) 20208

[startup+1142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13103
/proc/meminfo: memFree=31351196/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20208 CPUtime=1142.29
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4769 0 0 0 96262 17967 0 0 25 0 1 0 131817867 20692992 4651 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5052 4651 237 467 0 4583 0
Current children cumulated CPU time (s) 1142.29
Current children cumulated vsize (KiB) 20208

[startup+1143.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13103
/proc/meminfo: memFree=31351196/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20208 CPUtime=1143.09
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4769 0 0 0 96334 17975 0 0 25 0 1 0 131817867 20692992 4651 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5052 4651 237 467 0 4583 0
Current children cumulated CPU time (s) 1143.09
Current children cumulated vsize (KiB) 20208

[startup+1143.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13103
/proc/meminfo: memFree=31351196/32951132 swapFree=67111528/67111528
[pid=13042] ppid=13040 vsize=20208 CPUtime=1143.29
/proc/13042/stat : 13042 (pbct) R 13040 13042 11878 0 -1 4202496 4769 0 0 0 96353 17976 0 0 25 0 1 0 131817867 20692992 4651 4089446400 134512640 136421960 4293361712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13042/statm: 5052 4651 237 467 0 4583 0
Current children cumulated CPU time (s) 1143.29
Current children cumulated vsize (KiB) 20208

Child status: 0
Real time (s): 1143.34
CPU time (s): 1143.33
CPU user time (s): 963.563
CPU system time (s): 179.77
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 20208

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

runsolver used 1.54976 second user time and 3.65544 second system time

The end

Launcher Data 

Begin job on node129 at 2010-06-30 15:40:14
IDJOB=2695579
IDBENCH=78927
IDSOLVER=1208
FILE ID=node129/2695579-1277905214
PBS_JOBID= 11197158
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= f08844d42f277d14946ba79cfba06e67
RANDOM SEED=1123215595

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29778332 kB
Buffers:        192320 kB
Cached:        1072496 kB
SwapCached:          0 kB
Active:        2332068 kB
Inactive:       697040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29778332 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1968 kB
Writeback:           0 kB
AnonPages:     1764408 kB
Mapped:          16492 kB
Slab:            78148 kB
PageTables:       8148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1996092 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 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 node129 at 2010-06-30 15:59:17