Trace number 3447142

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
wbo 1.6OPTIMUM 390.927 390.915

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
MD5SUMaabd2abc5a32dbb90eb5074319abd403
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 benchmark68.1656
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 constraints930
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 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 727
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

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3447142-1307906091.wbo.
0.00/0.00	c Instance file HOME/instance-3447142-1307906091.wbo
0.00/0.00	c File size is 88014 bytes.
0.00/0.00	c Highest Coefficient sum: 727
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     231     2707     8338 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       102 |     231     2707     8338 |     5500      102     23 |  0.002 % |
0.00/0.01	c |       252 |     231     2707     8338 |     6050      252     23 |  0.002 % |
0.00/0.01	c |       479 |     231     2707     8338 |     6655      479     26 |  0.002 % |
0.00/0.02	c |       816 |     231     2707     8338 |     7320      816     30 |  0.002 % |
0.01/0.03	c |      1322 |     231     2707     8338 |     8052     1322     28 |  0.002 % |
0.01/0.04	c |      2082 |     231     2707     8338 |     8857     2082     28 |  0.002 % |
0.01/0.07	c |      3222 |     231     2707     8338 |     9743     3222     29 |  0.002 % |
0.09/0.12	c |      4930 |     231     2707     8338 |    10717     4930     29 |  0.002 % |
0.19/0.20	c |      7492 |     231     2707     8338 |    11789     7492     30 |  0.002 % |
0.29/0.36	c |     11336 |     231     2707     8338 |    12968    11336     32 |  0.002 % |
0.48/0.59	c |     17103 |     231     2707     8338 |    14265    10562     33 |  0.002 % |
0.99/1.01	c |     25753 |     231     2707     8338 |    15692    12034     35 |  0.002 % |
1.69/1.76	c |     38728 |     231     2707     8338 |    17261     9206     37 |  0.002 % |
2.79/2.84	c |     58191 |     231     2707     8338 |    18987    11304     36 |  0.002 % |
4.59/4.67	c |     87383 |     231     2707     8338 |    20886    11822     35 |  0.002 % |
7.99/8.00	c |    131172 |     231     2707     8338 |    22974    13623     38 |  0.002 % |
13.10/13.13	c |    196856 |     231     2707     8338 |    25272    21224     39 |  0.002 % |
21.29/21.30	c |    295383 |     231     2707     8338 |    27799    12831     35 |  0.002 % |
33.10/33.16	c |    443172 |     231     2707     8338 |    30579    16886     36 |  0.002 % |
55.09/55.11	c |    664856 |     231     2707     8338 |    33637    20290     42 |  0.002 % |
86.19/86.29	c |    997381 |     231     2707     8338 |    37001    32906     39 |  0.002 % |
122.19/122.24	c ===============================================================================
130.19/130.26	c core #1
130.19/130.26	c 
130.19/130.26	c 
130.19/130.26	c Core size: 893	Core Weight: 1	Total Weight: 1
130.19/130.26	c Current CPU time: 127.906 s
130.19/130.26	c
130.19/130.26	c ============================[ Search Statistics ]==============================
130.19/130.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
130.19/130.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
130.19/130.26	c ===============================================================================
130.19/130.26	c |         0 |     720     3589    12437 |     5000        0   -nan |  0.000 % |
130.19/130.27	c |       100 |     720     3589    12437 |     5500      100     28 |  0.000 % |
130.19/130.27	c |       250 |     720     3589    12437 |     6050      250     30 |  0.000 % |
130.19/130.27	c |       477 |     720     3589    12437 |     6655      477     30 |  0.000 % |
130.19/130.28	c |       816 |     720     3589    12437 |     7320      816     28 |  0.000 % |
130.19/130.29	c |      1323 |     720     3589    12437 |     8052     1323     28 |  0.000 % |
130.29/130.31	c |      2084 |     720     3589    12437 |     8857     2084     28 |  0.000 % |
130.29/130.34	c |      3226 |     720     3589    12437 |     9743     3226     30 |  0.000 % |
130.29/130.39	c |      4935 |     720     3589    12437 |    10717     4935     30 |  0.000 % |
130.40/130.49	c |      7497 |     720     3589    12437 |    11789     7497     30 |  0.000 % |
130.59/130.64	c |     11341 |     720     3589    12437 |    12968    11341     31 |  0.000 % |
130.80/130.90	c |     17107 |     720     3589    12437 |    14265    10590     32 |  0.000 % |
131.29/131.31	c |     25756 |     720     3589    12437 |    15692    12043     34 |  0.000 % |
132.00/132.08	c |     38732 |     720     3589    12437 |    17261     9210     35 |  0.000 % |
133.29/133.33	c |     58194 |     720     3589    12437 |    18987    11313     41 |  0.000 % |
135.30/135.35	c |     87386 |     720     3589    12437 |    20886    11921     38 |  0.000 % |
138.60/138.63	c |    131178 |     720     3589    12437 |    22974    13724     39 |  0.000 % |
143.60/143.62	c |    196863 |     720     3589    12437 |    25272    21681     37 |  0.000 % |
152.80/152.88	c |    295389 |     720     3589    12437 |    27799    14850     41 |  0.000 % |
165.20/165.29	c |    443178 |     720     3589    12437 |    30579    22299     40 |  0.000 % |
185.20/185.22	c |    664861 |     720     3589    12437 |    33637    25629     37 |  0.000 % |
215.39/215.46	c |    997387 |     720     3589    12437 |    37001    20846     40 |  0.000 % |
257.80/257.82	c ===============================================================================
266.50/266.54	c core #2
266.50/266.54	c 
266.50/266.54	c 
266.50/266.54	c Core size: 901	Core Weight: 1	Total Weight: 2
266.50/266.54	c Current CPU time: 262.41 s
266.50/266.54	c
266.50/266.54	c ============================[ Search Statistics ]==============================
266.50/266.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
266.50/266.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
266.50/266.54	c ===============================================================================
266.50/266.54	c |         0 |    1207     4465    16513 |     5000        0   -nan |  0.000 % |
266.50/266.54	c |       102 |    1207     4465    16513 |     5500      102     25 |  0.000 % |
266.50/266.55	c |       253 |    1207     4465    16513 |     6050      253     32 |  0.000 % |
266.50/266.55	c |       478 |    1207     4465    16513 |     6655      478     28 |  0.000 % |
266.50/266.56	c |       818 |    1207     4465    16513 |     7320      818     29 |  0.000 % |
266.50/266.57	c |      1325 |    1207     4465    16513 |     8052     1325     29 |  0.000 % |
266.50/266.59	c |      2085 |    1207     4465    16513 |     8857     2085     29 |  0.000 % |
266.60/266.63	c |      3226 |    1207     4465    16513 |     9743     3226     30 |  0.000 % |
266.60/266.68	c |      4935 |    1207     4465    16513 |    10717     4935     31 |  0.000 % |
266.70/266.79	c |      7499 |    1207     4465    16513 |    11789     7499     32 |  0.000 % |
266.90/266.97	c |     11346 |    1207     4465    16513 |    12968    11346     34 |  0.000 % |
267.20/267.24	c |     17112 |    1207     4465    16513 |    14265    10559     35 |  0.000 % |
267.70/267.75	c |     25761 |    1207     4465    16513 |    15692    12015     37 |  0.000 % |
268.50/268.57	c |     38735 |    1207     4465    16513 |    17261     9178     38 |  0.000 % |
269.70/269.73	c |     58197 |    1207     4465    16513 |    18987    11274     36 |  0.000 % |
271.50/271.57	c |     87390 |    1207     4465    16513 |    20886    11803     38 |  0.000 % |
275.01/275.08	c |    131183 |    1207     4465    16513 |    22974    13593     41 |  0.000 % |
280.20/280.21	c |    196867 |    1207     4465    16513 |    25272    21456     40 |  0.000 % |
288.40/288.41	c |    295394 |    1207     4465    16513 |    27799    12695     37 |  0.000 % |
301.30/301.37	c |    443185 |    1207     4465    16513 |    30579    18095     38 |  0.000 % |
321.70/321.73	c |    664868 |    1207     4465    16513 |    33637    19272     40 |  0.000 % |
354.80/354.89	c |    997395 |    1207     4465    16513 |    37001    14819     39 |  0.000 % |
390.90/390.90	c ===============================================================================
390.90/390.90	c #cores: 2
390.90/390.90	o 2
390.90/390.90	s OPTIMUM FOUND
390.90/390.90	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
390.90/390.90	c Total CPU time: 385.498 s

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447142-1307906091/watcher-3447142-1307906091 -o /var/tmp/evaluation-result-3447142-1307906091/solver-3447142-1307906091 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447142-1307906091.wbo 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 1.92 2/177 21263
/proc/meminfo: memFree=1143968/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=2196 CPUtime=0 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 320 0 0 0 0 0 0 0 25 0 1 0 883024578 2248704 271 33554432000 4194304 5714214 140735739385904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 549 271 178 372 0 152 0

[startup+0.022246 s]
/proc/loadavg: 2.01 2.00 1.92 2/177 21263
/proc/meminfo: memFree=1143968/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=2372 CPUtime=0.01 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 427 0 0 0 1 0 0 0 25 0 1 0 883024578 2428928 356 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 593 356 177 372 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2372

[startup+0.100236 s]
/proc/loadavg: 2.01 2.00 1.92 2/177 21263
/proc/meminfo: memFree=1143968/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=3428 CPUtime=0.09 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 674 0 0 0 9 0 0 0 25 0 1 0 883024578 3510272 603 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 857 603 177 372 0 482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3428

[startup+0.3002 s]
/proc/loadavg: 2.01 2.00 1.92 2/177 21263
/proc/meminfo: memFree=1143968/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=5412 CPUtime=0.29 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 1155 0 0 0 28 1 0 0 25 0 1 0 883024578 5541888 1084 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 1353 1084 177 372 0 978 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5412

[startup+0.701122 s]
/proc/loadavg: 2.01 2.00 1.92 2/177 21263
/proc/meminfo: memFree=1143968/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=7272 CPUtime=0.69 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 1624 0 0 0 67 2 0 0 25 0 1 0 883024578 7446528 1553 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 1818 1553 177 372 0 1443 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7272

[startup+1.50098 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 21264
/proc/meminfo: memFree=1137908/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=9660 CPUtime=1.49 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 2233 0 0 0 145 4 0 0 25 0 1 0 883024578 9891840 2162 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 2415 2162 177 372 0 2040 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9660

[startup+3.10068 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 21264
/proc/meminfo: memFree=1134124/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=14164 CPUtime=3.09 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 3364 0 0 0 302 7 0 0 25 0 1 0 883024578 14503936 3293 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 3541 3293 177 372 0 3166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14164

[startup+6.30109 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 21264
/proc/meminfo: memFree=1126012/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=21412 CPUtime=6.29 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 5138 0 0 0 614 15 0 0 25 0 1 0 883024578 21925888 5067 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 5353 5067 177 372 0 4978 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21412

[startup+12.7009 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 21265
/proc/meminfo: memFree=1114352/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=32244 CPUtime=12.69 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 7849 0 0 0 1243 26 0 0 25 0 1 0 883024578 33017856 7778 33554432000 4194304 5714214 140735739385904 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 8061 7778 177 372 0 7686 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32244

[startup+25.5006 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 21265
/proc/meminfo: memFree=1092416/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=53068 CPUtime=25.49 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 13031 0 0 0 2505 44 0 0 25 0 1 0 883024578 54341632 12960 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 13267 12960 177 372 0 12892 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53068

[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21266
/proc/meminfo: memFree=1056176/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=90060 CPUtime=51.09 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 22247 0 0 0 5031 78 0 0 25 0 1 0 883024578 92221440 22176 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 22515 22176 177 372 0 22140 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 90060

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21267
/proc/meminfo: memFree=987312/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=157288 CPUtime=102.29 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 39006 0 0 0 10086 143 0 0 25 0 1 0 883024578 161062912 38935 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 39322 38935 177 372 0 38947 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 157288

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21269
/proc/meminfo: memFree=850832/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=241208 CPUtime=162.3 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 60055 0 0 0 16007 223 0 0 25 0 1 0 883024578 246996992 59911 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 60302 59911 178 372 0 59927 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 241208

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21270
/proc/meminfo: memFree=824464/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=241208 CPUtime=222.3 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 60089 0 0 0 21925 305 0 0 25 0 1 0 883024578 246996992 59945 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 60302 59945 178 372 0 59927 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 241208

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21272
/proc/meminfo: memFree=810404/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=254976 CPUtime=282.3 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 63615 0 0 0 27854 376 0 0 25 0 1 0 883024578 261095424 63471 33554432000 4194304 5714214 140735739385904 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 63744 63471 178 372 0 63369 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 254976

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21273
/proc/meminfo: memFree=810060/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=254976 CPUtime=342.3 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 63615 0 0 0 33773 457 0 0 25 0 1 0 883024578 261095424 63471 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 63744 63471 178 372 0 63369 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 254976

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

[startup+358.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21312
/proc/meminfo: memFree=1089988/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=254976 CPUtime=358.31 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 63615 0 0 0 35347 484 0 0 25 0 1 0 883024578 261095424 63471 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 63744 63471 178 372 0 63369 0
Current children cumulated CPU time (s) 358.31
Current children cumulated vsize (KiB) 254976

[startup+371.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21312
/proc/meminfo: memFree=1034524/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=254976 CPUtime=371.11 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 63615 0 0 0 36601 510 0 0 25 0 1 0 883024578 261095424 63471 33554432000 4194304 5714214 140735739385904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 63744 63471 178 372 0 63369 0
Current children cumulated CPU time (s) 371.11
Current children cumulated vsize (KiB) 254976

[startup+383.907 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21313
/proc/meminfo: memFree=1027636/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=254976 CPUtime=383.91 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 63615 0 0 0 37860 531 0 0 25 0 1 0 883024578 261095424 63471 33554432000 4194304 5714214 140735739385904 18446744073709551615 4322711 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 63744 63471 178 372 0 63369 0
Current children cumulated CPU time (s) 383.91
Current children cumulated vsize (KiB) 254976

[startup+387.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21313
/proc/meminfo: memFree=1027512/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=254976 CPUtime=387.11 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 63615 0 0 0 38175 536 0 0 25 0 1 0 883024578 261095424 63471 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 63744 63471 178 372 0 63369 0
Current children cumulated CPU time (s) 387.11
Current children cumulated vsize (KiB) 254976

[startup+388.701 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21313
/proc/meminfo: memFree=1027512/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=254976 CPUtime=388.7 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 63615 0 0 0 38332 538 0 0 25 0 1 0 883024578 261095424 63471 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 63744 63471 178 372 0 63369 0
Current children cumulated CPU time (s) 388.7
Current children cumulated vsize (KiB) 254976

[startup+390.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21313
/proc/meminfo: memFree=1027632/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=254976 CPUtime=390.31 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 63615 0 0 0 38490 541 0 0 25 0 1 0 883024578 261095424 63471 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 63744 63471 178 372 0 63369 0
Current children cumulated CPU time (s) 390.31
Current children cumulated vsize (KiB) 254976

[startup+390.701 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21313
/proc/meminfo: memFree=1027632/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=254976 CPUtime=390.7 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 63615 0 0 0 38529 541 0 0 25 0 1 0 883024578 261095424 63471 33554432000 4194304 5714214 140735739385904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 63744 63471 178 372 0 63369 0
Current children cumulated CPU time (s) 390.7
Current children cumulated vsize (KiB) 254976

[startup+390.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21313
/proc/meminfo: memFree=1027632/32951124 swapFree=67053956/67111528
[pid=21263] ppid=21261 vsize=254976 CPUtime=390.9 cores=1,3,5,7
/proc/21263/stat : 21263 (wbo1.6) R 21261 21263 19313 0 -1 4202496 63615 0 0 0 38549 541 0 0 25 0 1 0 883024578 261095424 63471 33554432000 4194304 5714214 140735739385904 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21263/statm: 63744 63471 178 372 0 63369 0
Current children cumulated CPU time (s) 390.9
Current children cumulated vsize (KiB) 254976

Child status: 0
Real time (s): 390.915
CPU time (s): 390.927
CPU user time (s): 385.498
CPU system time (s): 5.42817
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 254976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 385.498
system time used= 5.42817
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63618
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= 9
involuntary context switches= 442

runsolver used 0.579911 second user time and 1.20382 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-12 21:14:51
IDJOB=3447142
IDBENCH=78978
IDSOLVER=1943
FILE ID=node142/3447142-1307906091
RUNJOBID= node142-1307903751-20859
PBS_JOBID= 13559566
Free space on /var/tmp= 2908 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447142-1307906091/watcher-3447142-1307906091 -o /var/tmp/evaluation-result-3447142-1307906091/solver-3447142-1307906091 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447142-1307906091.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= aabd2abc5a32dbb90eb5074319abd403
RANDOM SEED=1940798619

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1144776 kB
Buffers:         59336 kB
Cached:       30494580 kB
SwapCached:      10176 kB
Active:       16201188 kB
Inactive:     14655808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1144776 kB
SwapTotal:    67111528 kB
SwapFree:     67053956 kB
Dirty:            4296 kB
Writeback:           0 kB
AnonPages:      302108 kB
Mapped:          13588 kB
Slab:           885240 kB
PageTables:       5188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   489452 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 /var/tmp at the end= 2904 MiB
End job on node142 at 2011-06-12 21:21:22