Trace number 2690113

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 584.43 584.419

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo
MD5SUMcb2e0a6db987ecdc06dc4066ca6b4222
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark584.43
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 constraints1804
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 90822
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90821
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 717
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-2690113-1277908185.wbo.
0.00/0.00	c Instance file HOME/instance-2690113-1277908185.wbo
0.00/0.00	c File size is 92306 bytes.
0.00/0.00	c Highest Coefficient sum: 717
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.01	c |       100 |     231     2707     8338 |     5500      100     15 |  0.002 % |
0.01/0.01	c |       251 |     231     2707     8338 |     6050      251     26 |  0.002 % |
0.01/0.02	c |       477 |     231     2707     8338 |     6655      477     28 |  0.002 % |
0.01/0.03	c |       814 |     231     2707     8338 |     7320      814     30 |  0.002 % |
0.01/0.04	c |      1320 |     231     2707     8338 |     8052     1320     31 |  0.002 % |
0.01/0.07	c |      2081 |     231     2707     8338 |     8857     2081     30 |  0.002 % |
0.09/0.11	c |      3221 |     231     2707     8338 |     9743     3221     29 |  0.002 % |
0.09/0.18	c |      4929 |     231     2707     8338 |    10717     4929     27 |  0.002 % |
0.29/0.30	c |      7491 |     231     2707     8338 |    11789     7491     28 |  0.002 % |
0.49/0.52	c |     11336 |     231     2707     8338 |    12968    11336     29 |  0.002 % |
0.89/0.91	c |     17102 |     231     2707     8338 |    14265    10557     34 |  0.002 % |
1.49/1.54	c |     25752 |     231     2707     8338 |    15692    12021     35 |  0.002 % |
2.59/2.66	c |     38726 |     231     2707     8338 |    17261     9200     38 |  0.002 % |
4.19/4.26	c |     58189 |     231     2707     8338 |    18987    11301     39 |  0.002 % |
6.99/7.02	c |     87382 |     231     2707     8338 |    20886    11863     39 |  0.002 % |
11.69/11.74	c |    131176 |     231     2707     8338 |    22974    13702     41 |  0.002 % |
18.89/18.96	c |    196860 |     231     2707     8338 |    25272    21709     37 |  0.002 % |
29.79/29.84	c |    295388 |     231     2707     8338 |    27799    24657     37 |  0.002 % |
47.99/48.07	c |    443179 |     231     2707     8338 |    30579    15472     38 |  0.002 % |
76.49/76.57	c |    664864 |     231     2707     8338 |    33637    18560     36 |  0.002 % |
119.10/119.18	c |    997389 |     231     2707     8338 |    37001    31814     39 |  0.002 % |
158.79/158.89	c ===============================================================================
168.89/168.93	c core #1
168.89/168.93	c ============================[ Search Statistics ]==============================
168.89/168.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
168.89/168.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
168.89/168.93	c ===============================================================================
168.89/168.93	c |         0 |    1147     4414    16358 |     5000        0    nan |  0.000 % |
169.19/169.23	c |       101 |    1147     4414    16358 |     5500      101     19 |  0.000 % |
169.19/169.25	c |       255 |    1147     4414    16358 |     6050      255     19 |  0.000 % |
169.19/169.26	c |       481 |    1147     4414    16358 |     6655      481     25 |  0.000 % |
169.19/169.27	c |       818 |    1147     4414    16358 |     7320      818     25 |  0.000 % |
169.19/169.30	c |      1326 |    1147     4414    16358 |     8052     1326     26 |  0.000 % |
169.30/169.37	c |      2087 |    1147     4414    16358 |     8857     2087     27 |  0.000 % |
169.41/169.42	c |      3228 |    1147     4414    16358 |     9743     3228     28 |  0.000 % |
169.49/169.51	c |      4938 |    1147     4414    16358 |    10717     4938     29 |  0.000 % |
169.59/169.65	c |      7500 |    1147     4414    16358 |    11789     7500     29 |  0.000 % |
169.90/169.90	c |     11344 |    1147     4414    16358 |    12968    11344     30 |  0.000 % |
170.29/170.33	c |     17110 |    1147     4414    16358 |    14265    10567     33 |  0.000 % |
170.99/171.08	c |     25759 |    1147     4414    16358 |    15692    12035     36 |  0.000 % |
172.20/172.25	c |     38733 |    1147     4414    16358 |    17261     9211     35 |  0.000 % |
174.10/174.19	c |     58194 |    1147     4414    16358 |    18987    11303     38 |  0.000 % |
177.60/177.66	c |     87386 |    1147     4414    16358 |    20886    11861     38 |  0.000 % |
183.10/183.13	c |    131176 |    1147     4414    16358 |    22974    13643     36 |  0.000 % |
191.59/191.67	c |    196860 |    1147     4414    16358 |    25272    21210     37 |  0.000 % |
205.90/205.90	c |    295388 |    1147     4414    16358 |    27799    12977     38 |  0.000 % |
225.09/225.10	c |    443178 |    1147     4414    16358 |    30579    19325     37 |  0.000 % |
254.19/254.26	c |    664863 |    1147     4414    16358 |    33637    21723     38 |  0.000 % |
297.70/297.79	c |    997390 |    1145     4414    16358 |    37001    33404     37 |  0.174 % |
364.29/364.38	c |   1496178 |    1143     4414    16358 |    40701    33912     36 |  0.349 % |
364.59/364.65	c ===============================================================================
375.50/375.51	c core #2
375.50/375.51	c ============================[ Search Statistics ]==============================
375.50/375.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
375.50/375.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
375.50/375.51	c ===============================================================================
375.50/375.51	c |         0 |    2062     6095    24296 |     5000        0    nan |  0.000 % |
375.50/375.56	c |       103 |    2062     6095    24296 |     5500      103     35 |  0.000 % |
375.50/375.59	c |       254 |    2062     6095    24296 |     6050      254     28 |  0.000 % |
375.60/375.62	c |       479 |    2062     6095    24296 |     6655      479     30 |  0.000 % |
375.60/375.65	c |       817 |    2062     6095    24296 |     7320      817     31 |  0.000 % |
375.60/375.67	c |      1324 |    2062     6095    24296 |     8052     1324     30 |  0.000 % |
375.69/375.72	c |      2084 |    2062     6095    24296 |     8857     2084     30 |  0.000 % |
375.69/375.78	c |      3224 |    2062     6095    24296 |     9743     3224     29 |  0.000 % |
375.80/375.87	c |      4933 |    2062     6095    24296 |    10717     4933     29 |  0.000 % |
376.00/376.02	c |      7497 |    2062     6095    24296 |    11789     7497     30 |  0.000 % |
376.20/376.28	c |     11342 |    2062     6095    24296 |    12968    11342     31 |  0.000 % |
376.70/376.73	c |     17109 |    2062     6095    24296 |    14265    10589     33 |  0.000 % |
377.39/377.49	c |     25758 |    2062     6095    24296 |    15692    12044     35 |  0.000 % |
378.70/378.74	c |     38733 |    2062     6095    24296 |    17261     9222     38 |  0.000 % |
380.50/380.57	c |     58194 |    2062     6095    24296 |    18987    11324     34 |  0.000 % |
383.49/383.56	c |     87388 |    2062     6095    24296 |    20886    11853     37 |  0.000 % |
388.00/388.03	c |    131178 |    2062     6095    24296 |    22974    13633     36 |  0.000 % |
396.40/396.40	c |    196864 |    2062     6095    24296 |    25272    21362     38 |  0.000 % |
408.19/408.20	c |    295391 |    2062     6095    24296 |    27799    12731     40 |  0.000 % |
427.39/427.43	c |    443185 |    2062     6095    24296 |    30579    20078     40 |  0.000 % |
456.51/456.59	c |    664870 |    2062     6095    24296 |    33637    22305     36 |  0.000 % |
498.10/498.13	c |    997396 |    2062     6095    24296 |    37001    13272     40 |  0.000 % |
560.70/560.75	c ===============================================================================
571.40/571.45	c core #3
571.40/571.45	c ============================[ Search Statistics ]==============================
571.40/571.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
571.40/571.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
571.40/571.45	c ===============================================================================
571.40/571.45	c |         0 |    2988     7747    32172 |     5000        0    nan |  0.000 % |
571.50/571.54	c |       100 |    2988     7747    32172 |     5500      100     19 |  0.000 % |
571.50/571.57	c |       250 |    2988     7747    32172 |     6050      250     20 |  0.000 % |
571.50/571.58	c |       475 |    2988     7747    32172 |     6655      475     24 |  0.000 % |
571.60/571.60	c |       814 |    2988     7747    32172 |     7320      814     30 |  0.000 % |
571.60/571.64	c |      1320 |    2988     7747    32172 |     8052     1320     29 |  0.000 % |
571.60/571.68	c |      2079 |    2988     7747    32172 |     8857     2079     30 |  0.000 % |
571.70/571.74	c |      3218 |    2988     7747    32172 |     9743     3218     29 |  0.000 % |
571.80/571.84	c |      4927 |    2988     7747    32172 |    10717     4927     29 |  0.000 % |
572.00/572.01	c |      7489 |    2988     7747    32172 |    11789     7489     31 |  0.000 % |
572.30/572.36	c |     11336 |    2988     7747    32172 |    12968    11336     31 |  0.000 % |
572.80/572.80	c |     17104 |    2988     7747    32172 |    14265    10567     33 |  0.000 % |
573.50/573.52	c |     25754 |    2988     7747    32172 |    15692    12024     33 |  0.000 % |
574.81/574.86	c |     38728 |    2988     7747    32172 |    17261     9197     38 |  0.000 % |
576.81/576.88	c |     58190 |    2988     7747    32172 |    18987    11291     38 |  0.000 % |
579.80/579.86	c |     87383 |    2988     7747    32172 |    20886    11848     36 |  0.000 % |
584.30/584.38	c ===============================================================================
584.30/584.38	c #cores: 3
584.30/584.38	c Final Weight: 3
584.30/584.38	o 3
584.30/584.38	s OPTIMUM FOUND
584.30/584.38	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
584.30/584.38	c Total CPU time: 579.28 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690113-1277908185/watcher-2690113-1277908185 -o /tmp/evaluation-result-2690113-1277908185/solver-2690113-1277908185 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690113-1277908185.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: 1.92 1.98 2.09 4/178 25760
/proc/meminfo: memFree=30544328/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=2668 CPUtime=0
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 166422055 2732032 222 4089446400 134512640 135751879 4288842896 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 667 222 145 303 0 339 0

[startup+0.0127419 s]
/proc/loadavg: 1.92 1.98 2.09 4/178 25760
/proc/meminfo: memFree=30544328/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=2720 CPUtime=0.01
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 359 0 0 0 1 0 0 0 25 0 1 0 166422055 2785280 254 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 680 254 143 303 0 375 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2720

[startup+0.100723 s]
/proc/loadavg: 1.92 1.98 2.09 4/178 25760
/proc/meminfo: memFree=30544328/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=3512 CPUtime=0.09
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 546 0 0 0 9 0 0 0 25 0 1 0 166422055 3596288 441 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 878 441 143 303 0 573 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3512

[startup+0.300688 s]
/proc/loadavg: 1.92 1.98 2.09 4/178 25760
/proc/meminfo: memFree=30544328/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=4832 CPUtime=0.29
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 861 0 0 0 29 0 0 0 25 0 1 0 166422055 4947968 756 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 1208 756 143 303 0 903 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4832

[startup+0.700616 s]
/proc/loadavg: 1.92 1.98 2.09 4/178 25760
/proc/meminfo: memFree=30544328/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=6680 CPUtime=0.69
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 1341 0 0 0 68 1 0 0 25 0 1 0 166422055 6840320 1236 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 1670 1236 143 303 0 1365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6680

[startup+1.50048 s]
/proc/loadavg: 1.92 1.98 2.09 3/179 25761
/proc/meminfo: memFree=30538620/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=9980 CPUtime=1.49
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 2175 0 0 0 146 3 0 0 25 0 1 0 166422055 10219520 2070 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 2495 2070 143 303 0 2190 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9980

[startup+3.10119 s]
/proc/loadavg: 1.92 1.98 2.09 3/179 25761
/proc/meminfo: memFree=30534404/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=16188 CPUtime=3.09
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 3711 0 0 0 303 6 0 0 25 0 1 0 166422055 16576512 3606 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 4047 3606 143 303 0 3742 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16188

[startup+6.30063 s]
/proc/loadavg: 1.93 1.98 2.09 3/179 25761
/proc/meminfo: memFree=30522324/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=27016 CPUtime=6.29
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 6405 0 0 0 618 11 0 0 25 0 1 0 166422055 27664384 6300 4089446400 134512640 135751879 4288842896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 6754 6300 143 303 0 6449 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27016

[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 2.09 3/179 25761
/proc/meminfo: memFree=30502480/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=45776 CPUtime=12.69
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 11097 0 0 0 1251 18 0 0 25 0 1 0 166422055 46874624 10992 4089446400 134512640 135751879 4288842896 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 11444 10992 143 303 0 11139 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45776

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 2.09 3/179 25761
/proc/meminfo: memFree=30464652/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=82408 CPUtime=25.49
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 20259 0 0 0 2517 32 0 0 25 0 1 0 166422055 84385792 20154 4089446400 134512640 135751879 4288842896 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 20602 20155 143 303 0 20297 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82408

[startup+51.1007 s]
/proc/loadavg: 1.96 1.98 2.09 3/179 25790
/proc/meminfo: memFree=30475204/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=147972 CPUtime=51.09
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 36630 0 0 0 5052 57 0 0 25 0 1 0 166422055 151523328 36525 4089446400 134512640 135751879 4288842896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 36993 36525 143 303 0 36688 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 147972

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 2.08 3/179 25791
/proc/meminfo: memFree=30214384/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=270796 CPUtime=102.3
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 67318 0 0 0 10126 104 0 0 25 0 1 0 166422055 277295104 67213 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 67699 67213 143 303 0 67394 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 270796

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 2.08 3/179 25793
/proc/meminfo: memFree=29948848/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=430668 CPUtime=162.29
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 107278 0 0 0 16069 160 0 0 25 0 1 0 166422055 441004032 107173 4089446400 134512640 135751879 4288842896 18446744073709551615 134516450 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 107667 107173 143 303 0 107362 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 430668

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 2.07 3/179 25795
/proc/meminfo: memFree=29809140/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=439744 CPUtime=222.3
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 109638 0 0 0 22023 207 0 0 25 0 1 0 166422055 450297856 109496 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 109936 109496 146 303 0 109631 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 439744

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 2.06 3/179 25796
/proc/meminfo: memFree=29671916/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=500416 CPUtime=282.3
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 124792 0 0 0 27970 260 0 0 25 0 1 0 166422055 512425984 124650 4089446400 134512640 135751879 4288842896 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25760/statm: 125104 124650 146 303 0 124799 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 500416

[startup+342.301 s]
/proc/loadavg: 2.05 2.00 2.06 3/179 25798
/proc/meminfo: memFree=29505104/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=636012 CPUtime=342.3
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 158666 0 0 0 33912 318 0 0 25 0 1 0 166422055 651276288 158524 4089446400 134512640 135751879 4288842896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25760/statm: 159003 158524 146 303 0 158698 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 636012

[startup+402.3 s]
/proc/loadavg: 2.02 2.00 2.06 3/179 25799
/proc/meminfo: memFree=29324020/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=730648 CPUtime=402.3
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 182343 0 0 0 39869 361 0 0 25 0 1 0 166422055 748183552 182201 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25760/statm: 182662 182201 146 303 0 182357 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 730648

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 25801
/proc/meminfo: memFree=29217328/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=751140 CPUtime=462.3
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 187499 0 0 0 45820 410 0 0 25 0 1 0 166422055 769167360 187357 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25760/statm: 187785 187357 146 303 0 187480 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 751140

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 25803
/proc/meminfo: memFree=29023704/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=862256 CPUtime=522.3
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 215266 0 0 0 51767 463 0 0 25 0 1 0 166422055 882950144 215124 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25760/statm: 215564 215124 146 303 0 215259 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 862256

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 25804
/proc/meminfo: memFree=28816676/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=993076 CPUtime=582.31
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 247921 0 0 0 57721 510 0 0 25 0 1 0 166422055 1016909824 247779 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25760/statm: 248269 247779 146 303 0 247964 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 993076

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

[startup+583.1 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 25805
/proc/meminfo: memFree=28816056/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=993076 CPUtime=583.1
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 247921 0 0 0 57800 510 0 0 25 0 1 0 166422055 1016909824 247779 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25760/statm: 248269 247779 146 303 0 247964 0
Current children cumulated CPU time (s) 583.1
Current children cumulated vsize (KiB) 993076

[startup+583.9 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 25805
/proc/meminfo: memFree=28816056/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=993076 CPUtime=583.9
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 247921 0 0 0 57879 511 0 0 25 0 1 0 166422055 1016909824 247779 4089446400 134512640 135751879 4288842896 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25760/statm: 248269 247779 146 303 0 247964 0
Current children cumulated CPU time (s) 583.9
Current children cumulated vsize (KiB) 993076

[startup+584.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 25805
/proc/meminfo: memFree=28811344/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=993076 CPUtime=584.3
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 247921 0 0 0 57919 511 0 0 25 0 1 0 166422055 1016909824 247779 4089446400 134512640 135751879 4288842896 18446744073709551615 134649799 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25760/statm: 248269 247779 146 303 0 247964 0
Current children cumulated CPU time (s) 584.3
Current children cumulated vsize (KiB) 993076

[startup+584.4 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 25805
/proc/meminfo: memFree=28811344/32950928 swapFree=67111528/67111528
[pid=25760] ppid=25758 vsize=0 CPUtime=584.4
/proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202500 247921 0 0 0 57927 513 0 0 25 0 1 0 166422055 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/25760/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 584.4
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 584.419
CPU time (s): 584.43
CPU user time (s): 579.28
CPU system time (s): 5.15022
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 993076

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

runsolver used 0.997848 second user time and 2.19267 second system time

The end

Launcher Data 

Begin job on node112 at 2010-06-30 16:29:45
IDJOB=2690113
IDBENCH=78956
IDSOLVER=1200
FILE ID=node112/2690113-1277908185
PBS_JOBID= 11197214
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.1900557957--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-2690113-1277908185/watcher-2690113-1277908185 -o /tmp/evaluation-result-2690113-1277908185/solver-2690113-1277908185 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690113-1277908185.wbo

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

MD5SUM BENCH= cb2e0a6db987ecdc06dc4066ca6b4222
RANDOM SEED=533402095

node112.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.827
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.65
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.827
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.827
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.827
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.73
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.827
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.82
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.827
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.827
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.827
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30544856 kB
Buffers:        189776 kB
Cached:        1895064 kB
SwapCached:          0 kB
Active:         707264 kB
Inactive:      1554724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30544856 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2740 kB
Writeback:           0 kB
AnonPages:      177000 kB
Mapped:          16924 kB
Slab:            80416 kB
PageTables:       4640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   326576 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= 74204 MiB
End job on node112 at 2010-06-30 16:39:30