Trace number 2689990

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.4aOPTIMUM 164.488 164.484

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546076--soft-33-100-0.wbo
MD5SUMc6951eb4d01a7aa536abe812aaa2169b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark164.488
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 constraints1848
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 94973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2689990-1277901088.wbo.
0.00/0.00	c Instance file HOME/instance-2689990-1277901088.wbo
0.00/0.00	c File size is 92546 bytes.
0.00/0.00	c Highest Coefficient sum: 723
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     20 |  0.002 % |
0.00/0.01	c |       253 |     231     2707     8338 |     6050      253     21 |  0.002 % |
0.00/0.01	c |       479 |     231     2707     8338 |     6655      479     27 |  0.002 % |
0.00/0.02	c |       816 |     231     2707     8338 |     7320      816     30 |  0.002 % |
0.00/0.04	c |      1322 |     231     2707     8338 |     8052     1322     31 |  0.002 % |
0.04/0.06	c |      2081 |     231     2707     8338 |     8857     2081     31 |  0.002 % |
0.09/0.11	c |      3221 |     231     2707     8338 |     9743     3221     31 |  0.002 % |
0.09/0.17	c |      4930 |     231     2707     8338 |    10717     4930     31 |  0.002 % |
0.29/0.30	c |      7492 |     231     2707     8338 |    11789     7492     32 |  0.002 % |
0.49/0.51	c |     11338 |     231     2707     8338 |    12968    11338     33 |  0.002 % |
0.79/0.82	c |     17106 |     231     2707     8338 |    14265    10593     32 |  0.002 % |
1.29/1.40	c |     25755 |     231     2707     8338 |    15692    12062     37 |  0.002 % |
2.29/2.30	c |     38729 |     231     2707     8338 |    17261     9253     36 |  0.002 % |
3.59/3.66	c |     58190 |     231     2707     8338 |    18987    11350     35 |  0.002 % |
5.89/5.98	c |     87384 |     231     2707     8338 |    20886    11932     38 |  0.002 % |
8.80/8.88	c ===============================================================================
9.39/9.42	c core #1
9.39/9.42	c ============================[ Search Statistics ]==============================
9.39/9.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.39/9.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.39/9.42	c ===============================================================================
9.39/9.42	c |         0 |    1167     4434    16392 |     5000        0    nan |  0.000 % |
9.39/9.43	c |       101 |    1167     4434    16392 |     5500      101     24 |  0.000 % |
9.39/9.44	c |       254 |    1167     4434    16392 |     6050      254     34 |  0.000 % |
9.39/9.45	c |       480 |    1167     4434    16392 |     6655      480     31 |  0.000 % |
9.39/9.46	c |       817 |    1167     4434    16392 |     7320      817     30 |  0.000 % |
9.39/9.48	c |      1323 |    1167     4434    16392 |     8052     1323     28 |  0.000 % |
9.50/9.50	c |      2082 |    1167     4434    16392 |     8857     2082     29 |  0.000 % |
9.50/9.55	c |      3222 |    1167     4434    16392 |     9743     3222     30 |  0.000 % |
9.59/9.62	c |      4933 |    1167     4434    16392 |    10717     4933     31 |  0.000 % |
9.69/9.76	c |      7495 |    1167     4434    16392 |    11789     7495     32 |  0.000 % |
9.99/10.02	c |     11340 |    1167     4434    16392 |    12968    11340     34 |  0.000 % |
10.39/10.44	c |     17106 |    1167     4434    16392 |    14265    10594     36 |  0.000 % |
11.09/11.17	c |     25755 |    1167     4434    16392 |    15692    12067     37 |  0.000 % |
12.20/12.26	c |     38729 |    1167     4434    16392 |    17261     9252     37 |  0.000 % |
13.69/13.70	c |     58191 |    1167     4434    16392 |    18987    11359     33 |  0.000 % |
15.99/16.03	c |     87383 |    1167     4434    16392 |    20886    11930     37 |  0.000 % |
19.59/19.65	c |    131172 |    1167     4434    16392 |    22974    13740     33 |  0.000 % |
25.30/25.37	c |    196856 |    1167     4434    16392 |    25272    21747     35 |  0.000 % |
35.90/35.91	c |    295382 |    1167     4434    16392 |    27799    16195     36 |  0.000 % |
44.99/45.09	c ===============================================================================
47.20/47.24	c core #2
47.20/47.24	c ============================[ Search Statistics ]==============================
47.20/47.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.20/47.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.20/47.24	c ===============================================================================
47.20/47.24	c |         0 |    2106     6145    24402 |     5000        0    nan |  0.000 % |
47.30/47.32	c |       101 |    2106     6145    24402 |     5500      101     26 |  0.000 % |
47.30/47.33	c |       251 |    2106     6145    24402 |     6050      251     28 |  0.000 % |
47.30/47.34	c |       476 |    2106     6145    24402 |     6655      476     28 |  0.000 % |
47.30/47.35	c |       813 |    2106     6145    24402 |     7320      813     29 |  0.000 % |
47.30/47.38	c |      1320 |    2106     6145    24402 |     8052     1320     30 |  0.000 % |
47.39/47.41	c |      2080 |    2106     6145    24402 |     8857     2080     30 |  0.000 % |
47.39/47.46	c |      3219 |    2106     6145    24402 |     9743     3219     31 |  0.000 % |
47.50/47.54	c |      4928 |    2106     6145    24402 |    10717     4928     32 |  0.000 % |
47.60/47.69	c |      7490 |    2106     6145    24402 |    11789     7490     32 |  0.000 % |
47.89/47.98	c |     11334 |    2106     6145    24402 |    12968    11334     32 |  0.000 % |
48.30/48.40	c |     17102 |    2106     6145    24402 |    14265    10568     35 |  0.000 % |
48.99/49.09	c |     25751 |    2106     6145    24402 |    15692    12020     37 |  0.000 % |
50.09/50.19	c |     38725 |    2106     6145    24402 |    17261     9014     37 |  0.000 % |
51.99/52.01	c |     58188 |    2106     6145    24402 |    18987    11108     36 |  0.000 % |
54.69/54.78	c |     87381 |    2106     6145    24402 |    20886    11660     34 |  0.000 % |
59.60/59.65	c |    131171 |    2106     6145    24402 |    22974    13465     36 |  0.000 % |
66.39/66.48	c |    196856 |    2106     6145    24402 |    25272    21453     38 |  0.000 % |
76.10/76.19	c |    295382 |    2106     6145    24402 |    27799    15278     35 |  0.000 % |
90.20/90.21	c |    443171 |    2085     6145    24402 |    30579    21085     30 |  0.997 % |
90.70/90.70	c ===============================================================================
93.50/93.53	c core #3
93.50/93.53	c ============================[ Search Statistics ]==============================
93.50/93.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.50/93.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
93.50/93.53	c ===============================================================================
93.50/93.53	c |         0 |    3048     7823    32307 |     5000        0    nan |  0.000 % |
93.50/93.57	c |       100 |    3048     7823    32307 |     5500      100     27 |  0.000 % |
93.50/93.57	c |       250 |    3048     7823    32307 |     6050      250     28 |  0.000 % |
93.50/93.59	c |       476 |    3048     7823    32307 |     6655      476     32 |  0.000 % |
93.59/93.60	c |       814 |    3048     7823    32307 |     7320      814     29 |  0.000 % |
93.59/93.63	c |      1323 |    3048     7823    32307 |     8052     1323     32 |  0.000 % |
93.59/93.67	c |      2085 |    3048     7823    32307 |     8857     2085     32 |  0.000 % |
93.70/93.73	c |      3224 |    3048     7823    32307 |     9743     3224     33 |  0.000 % |
93.79/93.84	c |      4933 |    3048     7823    32307 |    10717     4933     32 |  0.000 % |
93.99/94.01	c |      7496 |    3048     7823    32307 |    11789     7496     33 |  0.000 % |
94.29/94.30	c |     11340 |    3048     7823    32307 |    12968    11340     34 |  0.000 % |
94.79/94.80	c |     17108 |    3048     7823    32307 |    14265    10571     34 |  0.000 % |
95.49/95.51	c |     25757 |    3048     7823    32307 |    15692    12030     32 |  0.000 % |
96.80/96.84	c |     38731 |    3048     7823    32307 |    17261     9210     38 |  0.000 % |
98.90/98.90	c |     58192 |    3048     7823    32307 |    18987    11299     36 |  0.000 % |
101.89/101.91	c |     87384 |    3048     7823    32307 |    20886    11870     37 |  0.000 % |
106.29/106.37	c |    131174 |    3048     7823    32307 |    22974    13700     34 |  0.000 % |
113.40/113.41	c |    196858 |    3048     7823    32307 |    25272    21661     37 |  0.000 % |
123.29/123.35	c |    295385 |    3048     7823    32307 |    27799    13030     34 |  0.000 % |
138.50/138.50	c |    443175 |    3048     7823    32307 |    30579    20726     36 |  0.000 % |
156.10/156.15	c ===============================================================================
160.20/160.22	c core #4
160.20/160.22	c ============================[ Search Statistics ]==============================
160.20/160.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
160.20/160.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
160.20/160.22	c ===============================================================================
160.20/160.22	c |         0 |    4018     9518    40353 |     5000        0    nan |  0.000 % |
160.20/160.28	c |       100 |    4018     9518    40353 |     5500      100     25 |  0.000 % |
160.20/160.29	c |       251 |    4018     9518    40353 |     6050      251     30 |  0.000 % |
160.30/160.30	c |       476 |    4018     9518    40353 |     6655      476     32 |  0.000 % |
160.30/160.32	c |       813 |    4018     9518    40353 |     7320      813     30 |  0.000 % |
160.30/160.36	c |      1320 |    4018     9518    40353 |     8052     1320     31 |  0.000 % |
160.39/160.40	c |      2079 |    4018     9518    40353 |     8857     2079     31 |  0.000 % |
160.39/160.46	c |      3218 |    4018     9518    40353 |     9743     3218     32 |  0.000 % |
160.50/160.56	c |      4926 |    4018     9518    40353 |    10717     4926     32 |  0.000 % |
160.69/160.72	c |      7489 |    4018     9518    40353 |    11789     7489     32 |  0.000 % |
161.00/161.03	c |     11334 |    4018     9518    40353 |    12968    11334     33 |  0.000 % |
161.40/161.47	c |     17101 |    4018     9518    40353 |    14265    10548     33 |  0.000 % |
162.30/162.30	c |     25753 |    4018     9518    40353 |    15692    12033     36 |  0.000 % |
163.49/163.54	c |     38729 |    4018     9518    40353 |    17261     9234     35 |  0.000 % |
164.39/164.47	c ===============================================================================
164.39/164.47	c #cores: 4
164.39/164.47	c Final Weight: 4
164.39/164.47	o 4
164.39/164.47	s OPTIMUM FOUND
164.39/164.47	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
164.39/164.47	c Total CPU time: 162.548 s

Verifier Data 

OK	4

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689990-1277901088/watcher-2689990-1277901088 -o /tmp/evaluation-result-2689990-1277901088/solver-2689990-1277901088 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689990-1277901088.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.13 2.07 2.01 4/182 12127
/proc/meminfo: memFree=31101880/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=2808 CPUtime=0
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 314 0 0 0 0 0 0 0 25 0 1 0 131404449 2875392 232 4089446400 134512640 135751879 4291078944 18446744073709551615 134576339 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12127/statm: 702 232 148 303 0 374 0

[startup+0.048598 s]
/proc/loadavg: 2.13 2.07 2.01 4/182 12127
/proc/meminfo: memFree=31101880/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=3112 CPUtime=0.04
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 454 0 0 0 4 0 0 0 25 0 1 0 131404449 3186688 349 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12127/statm: 778 349 143 303 0 473 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3112

[startup+0.100598 s]
/proc/loadavg: 2.13 2.07 2.01 4/182 12127
/proc/meminfo: memFree=31101880/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=3508 CPUtime=0.09
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 563 0 0 0 9 0 0 0 25 0 1 0 131404449 3592192 458 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12127/statm: 877 458 143 303 0 572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3508

[startup+0.300549 s]
/proc/loadavg: 2.13 2.07 2.01 4/182 12127
/proc/meminfo: memFree=31101880/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=4960 CPUtime=0.29
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 901 0 0 0 29 0 0 0 25 0 1 0 131404449 5079040 796 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12127/statm: 1240 797 143 303 0 935 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4960

[startup+0.700477 s]
/proc/loadavg: 2.13 2.07 2.01 4/182 12127
/proc/meminfo: memFree=31101880/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=7104 CPUtime=0.69
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 1426 0 0 0 68 1 0 0 25 0 1 0 131404449 7274496 1321 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12127/statm: 1776 1321 143 303 0 1471 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7104

[startup+1.50033 s]
/proc/loadavg: 2.13 2.07 2.01 3/183 12128
/proc/meminfo: memFree=31095424/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=10932 CPUtime=1.49
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 2417 0 0 0 147 2 0 0 25 0 1 0 131404449 11194368 2312 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12127/statm: 2733 2312 143 303 0 2428 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10932

[startup+3.10104 s]
/proc/loadavg: 2.12 2.07 2.01 3/183 12128
/proc/meminfo: memFree=31090836/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=18064 CPUtime=3.09
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 4173 0 0 0 304 5 0 0 25 0 1 0 131404449 18497536 4068 4089446400 134512640 135751879 4291078944 18446744073709551615 134616792 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12127/statm: 4516 4068 143 303 0 4211 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18064

[startup+6.30046 s]
/proc/loadavg: 2.12 2.07 2.01 3/183 12128
/proc/meminfo: memFree=31078440/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=30268 CPUtime=6.29
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 7235 0 0 0 619 10 0 0 25 0 1 0 131404449 30994432 7130 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12127/statm: 7567 7130 143 303 0 7262 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30268

[startup+12.7003 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 12128
/proc/meminfo: memFree=31061912/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=43636 CPUtime=12.69
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 10572 0 0 0 1251 18 0 0 25 0 1 0 131404449 44683264 10467 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12127/statm: 10909 10467 146 303 0 10604 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43636

[startup+25.501 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 12132
/proc/meminfo: memFree=31025604/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=81416 CPUtime=25.49
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 20019 0 0 0 2515 34 0 0 25 0 1 0 131404449 83369984 19914 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12127/statm: 20354 19914 146 303 0 20049 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81416

[startup+51.1003 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 12133
/proc/meminfo: memFree=30959840/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=148704 CPUtime=51.09
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 36853 0 0 0 5047 62 0 0 25 0 1 0 131404449 152272896 36720 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12127/statm: 37176 36720 146 303 0 36871 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 148704

[startup+102.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 12134
/proc/meminfo: memFree=30884436/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=234632 CPUtime=102.3
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 58315 0 0 0 10112 118 0 0 25 0 1 0 131404449 240263168 58182 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12127/statm: 58658 58182 146 303 0 58353 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 234632

[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/201 12180
/proc/meminfo: memFree=31037116/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=355476 CPUtime=162.3
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 88544 0 0 0 16042 188 0 0 25 0 1 0 131404449 364007424 88411 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12127/statm: 88869 88411 146 303 0 88564 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 355476

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

[startup+163.101 s]
/proc/loadavg: 2.04 2.05 2.00 3/201 12180
/proc/meminfo: memFree=31034288/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=355476 CPUtime=163.09
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 88544 0 0 0 16120 189 0 0 25 0 1 0 131404449 364007424 88411 4089446400 134512640 135751879 4291078944 18446744073709551615 134616750 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12127/statm: 88869 88411 146 303 0 88564 0
Current children cumulated CPU time (s) 163.09
Current children cumulated vsize (KiB) 355476

[startup+163.907 s]
/proc/loadavg: 2.04 2.05 2.00 3/201 12180
/proc/meminfo: memFree=31033296/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=355476 CPUtime=163.9
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 88544 0 0 0 16199 191 0 0 25 0 1 0 131404449 364007424 88411 4089446400 134512640 135751879 4291078944 18446744073709551615 134616766 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12127/statm: 88869 88411 146 303 0 88564 0
Current children cumulated CPU time (s) 163.9
Current children cumulated vsize (KiB) 355476

[startup+164.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/201 12180
/proc/meminfo: memFree=31033296/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=355476 CPUtime=164.3
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 88544 0 0 0 16238 192 0 0 25 0 1 0 131404449 364007424 88411 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12127/statm: 88869 88411 146 303 0 88564 0
Current children cumulated CPU time (s) 164.3
Current children cumulated vsize (KiB) 355476

[startup+164.401 s]
/proc/loadavg: 2.04 2.05 2.00 3/201 12180
/proc/meminfo: memFree=31033296/32951124 swapFree=67111528/67111528
[pid=12127] ppid=12125 vsize=355476 CPUtime=164.39
/proc/12127/stat : 12127 (wbo1.4a) R 12125 12127 11750 0 -1 4202496 88544 0 0 0 16247 192 0 0 25 0 1 0 131404449 364007424 88411 4089446400 134512640 135751879 4291078944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12127/statm: 88869 88411 146 303 0 88564 0
Current children cumulated CPU time (s) 164.39
Current children cumulated vsize (KiB) 355476

Child status: 0
Real time (s): 164.484
CPU time (s): 164.488
CPU user time (s): 162.548
CPU system time (s): 1.9397
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 355476

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

runsolver used 0.280957 second user time and 0.621905 second system time

The end

Launcher Data 

Begin job on node133 at 2010-06-30 14:31:28
IDJOB=2689990
IDBENCH=78888
IDSOLVER=1200
FILE ID=node133/2689990-1277901088
PBS_JOBID= 11197188
Free space on /tmp= 74208 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076--soft-33-100-0.wbo
COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689990-1277901088/watcher-2689990-1277901088 -o /tmp/evaluation-result-2689990-1277901088/solver-2689990-1277901088 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689990-1277901088.wbo

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

MD5SUM BENCH= c6951eb4d01a7aa536abe812aaa2169b
RANDOM SEED=1699569518

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
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:      31102532 kB
Buffers:        181324 kB
Cached:         978324 kB
SwapCached:          0 kB
Active:        1071992 kB
Inactive:       634852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31102532 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2740 kB
Writeback:           0 kB
AnonPages:      546856 kB
Mapped:          15908 kB
Slab:            78156 kB
PageTables:       5744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   698628 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node133 at 2010-06-30 14:34:13