Trace number 2699302

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 1065.81 1065.78

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
MD5SUMc6676bcfc0f6c4806260dd430fa1f6e3
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 benchmark143.76
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 701
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 11/12 clauses 913/1771 units 0
0.00/0.01	c vars 231
0.00/0.08	c 0.081987 16.6211 10 4997
0.00/0.08	o 658
0.08/0.09	c 0.085986 16.8047 16 5426
0.08/0.09	o 648
0.08/0.09	c 0.087986 16.8047 21 7583
0.08/0.09	o 564
0.08/0.11	c 0.096985 16.8047 74 8798
0.08/0.11	o 502
0.08/0.11	c 0.098984 16.8047 75 9128
0.08/0.11	o 496
0.08/0.11	c 0.101984 16.8047 76 10328
0.08/0.11	o 452
0.08/0.12	c 0.102984 16.8047 77 10738
0.08/0.12	o 449
0.08/0.12	c 0.105983 16.8047 77 11565
0.08/0.12	o 417
0.08/0.12	c 0.107983 16.8047 77 12900
0.08/0.12	o 378
0.08/0.13	c 0.110983 16.8047 77 13133
0.08/0.13	o 373
0.08/0.13	c 0.110983 16.8047 77 13405
0.08/0.13	o 365
0.08/0.13	c 0.112982 16.8047 78 14509
0.08/0.13	o 313
0.08/0.14	c 0.114982 16.8047 79 15196
0.08/0.14	o 281
0.08/0.14	c 0.117982 16.8047 81 15832
0.08/0.14	o 260
0.08/0.15	c 0.120981 16.8047 82 15981
0.08/0.15	o 259
0.08/0.15	c 0.121981 16.8047 82 16315
0.08/0.15	o 245
0.08/0.15	c 0.123981 16.8047 83 16523
0.08/0.15	o 244
0.08/0.16	c 0.12698 17.0352 86 16724
0.08/0.16	o 240
0.08/0.17	c 0.13098 17.0352 99 17124
0.08/0.17	o 223
0.18/0.21	c 0.160975 17.0352 207 17675
0.18/0.21	o 212
0.18/0.22	c 0.165974 17.0352 213 17994
0.18/0.22	o 200
0.18/0.25	c 0.182972 17.0352 248 18517
0.18/0.25	o 177
0.59/0.65	c 0.45393 17.1602 1247 20771
0.59/0.65	o 173
0.68/0.73	c 0.502923 17.1602 784 21226
0.68/0.73	o 168
0.89/0.93	c 0.610907 17.1602 593 22378
0.89/0.93	o 157
0.89/0.94	c 0.617906 17.1602 604 22686
0.89/0.94	o 149
1.09/1.17	c 0.762884 17.1602 1047 23717
1.09/1.17	o 139
1.19/1.20	c 0.781881 17.1602 1153 24312
1.19/1.20	o 131
1.19/1.20	c 0.78688 17.1602 1173 24546
1.19/1.20	o 125
1.19/1.22	c 0.796878 17.1602 634 25200
1.19/1.22	o 96
1.39/1.42	c 0.91686 17.1602 1269 26778
1.39/1.42	o 78
1.39/1.48	c 0.963853 17.1602 750 27059
1.39/1.48	o 77
2.09/2.13	c 1.40579 17.3984 995 31012
2.09/2.13	o 57
2.19/2.23	c 1.47078 17.3984 1328 31707
2.19/2.23	o 52
2.48/2.59	c 1.75273 17.5273 1881 34844
2.48/2.59	o 31
2.58/2.60	c 1.76273 17.5273 1930 34991
2.58/2.60	o 27
2.58/2.63	c 1.78173 17.5273 2065 35442
2.58/2.63	o 18
2.79/2.85	c 1.9717 17.6523 2368 37989
2.79/2.85	o 16
2.79/2.88	c 2.00069 17.6523 2564 38253
2.79/2.88	o 15
3.19/3.24	c 2.27065 17.6523 2767 42454
3.19/3.24	o 13
3.38/3.49	c 2.47862 17.6523 2407 46384
3.38/3.49	o 8
3.69/3.79	c 2.73058 17.6523 2539 50708
3.69/3.79	o 5
32.99/33.02	c 28.4627 18.5391 2664 450210
32.99/33.02	o 3
35.69/35.79	c 30.9593 18.5391 2342 489684
35.69/35.79	o 1
1065.71/1065.76	c 935.453 20.5625 2712 15254405
1065.71/1065.76	s OPTIMUM FOUND
1065.71/1065.76	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-2699302-1278459665/watcher-2699302-1278459665 -o /tmp/evaluation-result-2699302-1278459665/solver-2699302-1278459665 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699302-1278459665.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 1.97 1.77 4/178 13261
/proc/meminfo: memFree=30875616/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=2136 CPUtime=0
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 14180057 2187264 175 4089446400 134512640 136422188 4292288208 18446744073709551615 135159083 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13261/statm: 534 175 144 467 0 65 0

[startup+0.08753 s]
/proc/loadavg: 2.00 1.97 1.77 4/178 13261
/proc/meminfo: memFree=30875616/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=17204 CPUtime=0.08
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 3991 0 0 0 8 0 0 0 25 0 1 0 14180057 17616896 3909 4089446400 134512640 136422188 4292288208 18446744073709551615 135022248 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13261/statm: 4301 3909 236 467 0 3832 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17204

[startup+0.100527 s]
/proc/loadavg: 2.00 1.97 1.77 4/178 13261
/proc/meminfo: memFree=30875616/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=17204 CPUtime=0.08
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 3999 0 0 0 8 0 0 0 25 0 1 0 14180057 17616896 3915 4089446400 134512640 136422188 4292288208 18446744073709551615 135874787 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13261/statm: 4301 3915 236 467 0 3832 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17204

[startup+0.300492 s]
/proc/loadavg: 2.00 1.97 1.77 4/178 13261
/proc/meminfo: memFree=30875616/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=17440 CPUtime=0.29
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4049 0 0 0 21 8 0 0 18 0 1 0 14180057 17858560 3946 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13261/statm: 4360 3946 236 467 0 3891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17440

[startup+0.700421 s]
/proc/loadavg: 2.00 1.97 1.77 4/178 13261
/proc/meminfo: memFree=30875616/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=17568 CPUtime=0.68
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4080 0 0 0 47 21 0 0 18 0 1 0 14180057 17989632 3976 4089446400 134512640 136422188 4292288208 18446744073709551615 135028396 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13261/statm: 4392 3976 236 467 0 3923 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17568

[startup+1.50028 s]
/proc/loadavg: 2.00 1.97 1.77 3/179 13262
/proc/meminfo: memFree=30860616/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=17568 CPUtime=1.49
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4098 0 0 0 97 52 0 0 18 0 1 0 14180057 17989632 3985 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 4392 3985 236 467 0 3923 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17568

[startup+3.101 s]
/proc/loadavg: 2.00 1.97 1.77 3/179 13262
/proc/meminfo: memFree=30860616/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=18072 CPUtime=3.08
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4223 0 0 0 216 92 0 0 20 0 1 0 14180057 18505728 4103 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 4518 4103 236 467 0 4049 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18072

[startup+6.30043 s]
/proc/loadavg: 2.00 1.97 1.77 3/179 13289
/proc/meminfo: memFree=30861224/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=18464 CPUtime=6.28
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4325 0 0 0 495 133 0 0 25 0 1 0 14180057 18907136 4202 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 4616 4202 236 467 0 4147 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18464

[startup+12.7003 s]
/proc/loadavg: 2.00 1.97 1.77 3/179 13290
/proc/meminfo: memFree=30852564/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=18592 CPUtime=12.69
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4358 0 0 0 1055 214 0 0 25 0 1 0 14180057 19038208 4235 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 4648 4235 236 467 0 4179 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18592

[startup+25.501 s]
/proc/loadavg: 2.00 1.97 1.77 3/179 13290
/proc/meminfo: memFree=30853704/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=18852 CPUtime=25.49
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4414 0 0 0 2175 374 0 0 25 0 1 0 14180057 19304448 4291 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 4713 4291 236 467 0 4244 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18852

[startup+51.1005 s]
/proc/loadavg: 2.00 1.97 1.78 3/179 13290
/proc/meminfo: memFree=30853040/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=19108 CPUtime=51.09
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4474 0 0 0 4446 663 0 0 25 0 1 0 14180057 19566592 4349 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 4777 4349 236 467 0 4308 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19108

[startup+102.305 s]
/proc/loadavg: 2.00 1.97 1.79 3/179 13292
/proc/meminfo: memFree=30852228/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=19460 CPUtime=102.29
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4560 0 0 0 8827 1402 0 0 25 0 1 0 14180057 19927040 4435 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 4865 4435 236 467 0 4396 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 19460

[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.80 3/179 13294
/proc/meminfo: memFree=30851316/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=19792 CPUtime=162.29
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4664 0 0 0 14066 2163 0 0 25 0 1 0 14180057 20267008 4534 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 4948 4534 236 467 0 4479 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19792

[startup+222.3 s]
/proc/loadavg: 2.07 1.99 1.82 3/179 13295
/proc/meminfo: memFree=30851520/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=19792 CPUtime=222.29
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4665 0 0 0 19313 2916 0 0 25 0 1 0 14180057 20267008 4535 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 4948 4535 236 467 0 4479 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19792

[startup+282.301 s]
/proc/loadavg: 2.02 1.99 1.82 3/179 13296
/proc/meminfo: memFree=30850988/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20160 CPUtime=282.29
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4749 0 0 0 24671 3558 0 0 25 0 1 0 14180057 20643840 4619 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5040 4619 236 467 0 4571 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 20160

[startup+342.3 s]
/proc/loadavg: 2.01 1.99 1.83 3/179 13298
/proc/meminfo: memFree=30850588/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20332 CPUtime=342.3
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4800 0 0 0 30031 4199 0 0 25 0 1 0 14180057 20819968 4670 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5083 4670 236 467 0 4614 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20332

[startup+402.301 s]
/proc/loadavg: 2.05 2.00 1.84 3/179 13300
/proc/meminfo: memFree=30850792/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20332 CPUtime=402.29
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4803 0 0 0 35204 5025 0 0 25 0 1 0 14180057 20819968 4673 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5083 4673 236 467 0 4614 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 20332

[startup+462.301 s]
/proc/loadavg: 2.02 2.00 1.85 3/179 13302
/proc/meminfo: memFree=30850632/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20464 CPUtime=462.3
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4830 0 0 0 40438 5792 0 0 25 0 1 0 14180057 20955136 4700 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5116 4700 236 467 0 4647 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20464

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 13303
/proc/meminfo: memFree=30850220/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20596 CPUtime=522.3
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4871 0 0 0 45728 6502 0 0 25 0 1 0 14180057 21090304 4741 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5149 4741 236 467 0 4680 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20596

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 13304
/proc/meminfo: memFree=30850056/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20812 CPUtime=582.3
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4923 0 0 0 51090 7140 0 0 25 0 1 0 14180057 21311488 4793 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5203 4793 236 467 0 4734 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20812

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 13306
/proc/meminfo: memFree=30849892/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20812 CPUtime=642.31
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4923 0 0 0 56447 7784 0 0 25 0 1 0 14180057 21311488 4793 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5203 4793 236 467 0 4734 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20812

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 13308
/proc/meminfo: memFree=30849964/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20812 CPUtime=702.3
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4927 0 0 0 61760 8470 0 0 25 0 1 0 14180057 21311488 4797 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5203 4797 236 467 0 4734 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 20812

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 13310
/proc/meminfo: memFree=30849928/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20932 CPUtime=762.32
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4950 0 0 0 66999 9233 0 0 25 0 1 0 14180057 21434368 4820 4089446400 134512640 136422188 4292288208 18446744073709551615 135006617 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5233 4820 236 467 0 4764 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 20932

[startup+822.3 s]
/proc/loadavg: 2.04 2.01 1.89 3/179 13311
/proc/meminfo: memFree=30850008/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20932 CPUtime=822.31
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4950 0 0 0 72172 10059 0 0 25 0 1 0 14180057 21434368 4820 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5233 4820 236 467 0 4764 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 20932

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 1.89 3/179 13312
/proc/meminfo: memFree=30849712/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=20932 CPUtime=882.31
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4957 0 0 0 77397 10834 0 0 25 0 1 0 14180057 21434368 4827 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5233 4827 236 467 0 4764 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 20932

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 13314
/proc/meminfo: memFree=30849412/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=21052 CPUtime=942.31
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 82730 11501 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5263 4857 236 467 0 4794 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 21052

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13316
/proc/meminfo: memFree=30849612/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=21052 CPUtime=1002.31
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 87977 12254 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5263 4857 236 467 0 4794 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 21052

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13318
/proc/meminfo: memFree=30849692/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=21052 CPUtime=1062.31
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 93234 12997 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5263 4857 236 467 0 4794 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 21052

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

[startup+1063.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13318
/proc/meminfo: memFree=30849692/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=21052 CPUtime=1063.91
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 93378 13013 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5263 4857 236 467 0 4794 0
Current children cumulated CPU time (s) 1063.91
Current children cumulated vsize (KiB) 21052

[startup+1064.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13318
/proc/meminfo: memFree=30849692/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=21052 CPUtime=1064.71
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 93450 13021 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5263 4857 236 467 0 4794 0
Current children cumulated CPU time (s) 1064.71
Current children cumulated vsize (KiB) 21052

[startup+1065.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13318
/proc/meminfo: memFree=30849692/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=21052 CPUtime=1065.51
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 93521 13030 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5263 4857 236 467 0 4794 0
Current children cumulated CPU time (s) 1065.51
Current children cumulated vsize (KiB) 21052

[startup+1065.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13318
/proc/meminfo: memFree=30849692/32950928 swapFree=67111528/67111528
[pid=13261] ppid=13259 vsize=21052 CPUtime=1065.71
/proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 93539 13032 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13261/statm: 5263 4857 236 467 0 4794 0
Current children cumulated CPU time (s) 1065.71
Current children cumulated vsize (KiB) 21052

Child status: 0
Real time (s): 1065.78
CPU time (s): 1065.81
CPU user time (s): 935.47
CPU system time (s): 130.336
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 21060

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

runsolver used 1.50777 second user time and 3.34549 second system time

The end

Launcher Data 

Begin job on node120 at 2010-07-07 01:41:05
IDJOB=2699302
IDBENCH=78894
IDSOLVER=1212
FILE ID=node120/2699302-1278459665
PBS_JOBID= 11233753
Free space on /tmp= 73788 MiB

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

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

MD5SUM BENCH= c6676bcfc0f6c4806260dd430fa1f6e3
RANDOM SEED=2108762733

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30876136 kB
Buffers:        106976 kB
Cached:        1762464 kB
SwapCached:          0 kB
Active:         772920 kB
Inactive:      1166632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30876136 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1960 kB
Writeback:           0 kB
AnonPages:       70260 kB
Mapped:          15820 kB
Slab:            72360 kB
PageTables:       4792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   212892 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= 73784 MiB
End job on node120 at 2010-07-07 01:58:51