Trace number 2699288

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 976.966 976.928

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo
MD5SUM763c02f50955b910cbe48f7840773e4a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark56.3114
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 constraints906
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 44801
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44800
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 12/11 clauses 1789/895 units 0
0.00/0.01	c vars 231
0.05/0.06	c 0.058991 13.2188 10 2754
0.05/0.06	o 401
0.05/0.06	c 0.06099 13.3555 11 3063
0.05/0.06	o 393
0.05/0.07	c 0.066989 13.3555 58 4056
0.05/0.07	o 298
0.09/0.13	c 0.107983 13.4844 601 5274
0.09/0.13	o 278
0.09/0.16	c 0.134979 13.4844 852 6406
0.09/0.16	o 271
0.09/0.16	c 0.139978 13.4844 917 6677
0.09/0.16	o 257
0.09/0.17	c 0.141978 13.4844 922 6817
0.09/0.17	o 249
0.09/0.18	c 0.150977 13.4844 1001 7083
0.09/0.18	o 237
0.09/0.19	c 0.157975 13.6055 1067 7687
0.09/0.19	o 184
0.19/0.20	c 0.166974 13.6055 1127 7955
0.19/0.20	o 180
0.29/0.31	c 0.250961 13.6055 1225 9435
0.29/0.31	o 177
0.39/0.48	c 0.369943 13.6055 1021 11498
0.39/0.48	o 174
0.49/0.54	c 0.411937 13.6055 1433 12373
0.49/0.54	o 168
0.59/0.68	c 0.518921 13.6055 968 14157
0.59/0.68	o 164
0.69/0.78	c 0.595909 13.6055 913 15199
0.69/0.78	o 162
0.79/0.84	c 0.628904 13.6055 1170 16021
0.79/0.84	o 125
0.79/0.86	c 0.650901 13.6055 772 16508
0.79/0.86	o 110
0.89/0.94	c 0.713891 13.6055 674 17560
0.89/0.94	o 90
1.39/1.48	c 1.11783 13.6055 1236 23228
1.39/1.48	o 77
1.59/1.67	c 1.25581 13.6055 1143 25262
1.59/1.67	o 76
1.89/1.91	c 1.44278 13.6055 940 27559
1.89/1.91	o 74
2.39/2.42	c 1.82572 13.7305 1573 32192
2.39/2.42	o 70
2.39/2.44	c 1.84372 13.7305 899 32483
2.39/2.44	o 63
2.79/2.81	c 2.12868 13.7305 865 36591
2.79/2.81	o 62
3.19/3.24	c 2.48362 13.7305 1414 41766
3.19/3.24	o 55
3.39/3.41	c 2.6066 13.7305 1766 43583
3.39/3.41	o 48
6.69/6.71	c 5.33219 13.9844 1401 85886
6.69/6.71	o 46
8.80/8.88	c 7.14591 13.9844 950 110578
8.80/8.88	o 41
13.59/13.67	c 11.1653 14.1094 1504 169996
13.59/13.67	o 35
17.69/17.78	c 14.6858 14.2344 1165 223126
17.69/17.78	o 34
26.19/26.23	c 21.9097 14.2344 1402 332633
26.19/26.23	o 29
27.29/27.35	c 22.8585 14.2344 1105 347789
27.29/27.35	o 18
31.99/32.06	c 26.9889 14.4844 1621 412753
31.99/32.06	o 17
40.10/40.16	c 34.0858 14.4844 1332 530697
40.10/40.16	o 7
40.10/40.17	c 34.0918 14.4844 1410 530869
40.10/40.17	o 5
48.90/48.92	c 41.7936 14.4844 1327 662405
48.90/48.92	o 3
61.60/61.61	c 53.1409 14.4844 1745 851842
61.60/61.61	o 1
976.93/976.91	c 875.056 15.8633 1672 14134887
976.93/976.91	s OPTIMUM FOUND
976.93/976.91	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699288-1278459624/watcher-2699288-1278459624 -o /tmp/evaluation-result-2699288-1278459624/solver-2699288-1278459624 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699288-1278459624.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.99 1.97 1.75 3/177 10958
/proc/meminfo: memFree=30718188/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=2136 CPUtime=0
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 250 0 0 0 0 0 0 0 25 0 1 0 14109643 2187264 170 4089446400 134512640 136422188 4292572208 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10958/statm: 534 170 144 467 0 65 0

[startup+0.0591321 s]
/proc/loadavg: 1.99 1.97 1.75 3/177 10958
/proc/meminfo: memFree=30718188/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=13252 CPUtime=0.05
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 2947 0 0 0 5 0 0 0 25 0 1 0 14109643 13570048 2867 4089446400 134512640 136422188 4292572208 18446744073709551615 134929910 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3313 2867 203 467 0 2844 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13252

[startup+0.101116 s]
/proc/loadavg: 1.99 1.97 1.75 3/177 10958
/proc/meminfo: memFree=30718188/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=13672 CPUtime=0.09
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3082 0 0 0 8 1 0 0 18 0 1 0 14109643 14000128 2999 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3418 2999 236 467 0 2949 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13672

[startup+0.301083 s]
/proc/loadavg: 1.99 1.97 1.75 3/177 10958
/proc/meminfo: memFree=30718188/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=13928 CPUtime=0.29
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3153 0 0 0 23 6 0 0 18 0 1 0 14109643 14262272 3063 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3482 3063 236 467 0 3013 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13928

[startup+0.701012 s]
/proc/loadavg: 1.99 1.97 1.75 3/177 10958
/proc/meminfo: memFree=30718188/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=13928 CPUtime=0.69
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3166 0 0 0 52 17 0 0 18 0 1 0 14109643 14262272 3072 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3482 3072 236 467 0 3013 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13928

[startup+1.50084 s]
/proc/loadavg: 1.99 1.97 1.75 3/178 10959
/proc/meminfo: memFree=30706648/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=13928 CPUtime=1.49
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3172 0 0 0 112 37 0 0 20 0 1 0 14109643 14262272 3073 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3482 3073 236 467 0 3013 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13928

[startup+3.10054 s]
/proc/loadavg: 1.99 1.97 1.76 3/178 10959
/proc/meminfo: memFree=30706284/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=14056 CPUtime=3.09
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3203 0 0 0 236 73 0 0 18 0 1 0 14109643 14393344 3099 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3514 3099 236 467 0 3045 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14056

[startup+6.30092 s]
/proc/loadavg: 1.99 1.97 1.76 3/178 10959
/proc/meminfo: memFree=30706368/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=14316 CPUtime=6.29
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3255 0 0 0 497 132 0 0 25 0 1 0 14109643 14659584 3149 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3579 3149 236 467 0 3110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14316

[startup+12.7007 s]
/proc/loadavg: 1.99 1.97 1.76 3/178 10960
/proc/meminfo: memFree=30706112/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=14444 CPUtime=12.69
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3311 0 0 0 1033 236 0 0 25 0 1 0 14109643 14790656 3203 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3611 3203 236 467 0 3142 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14444

[startup+25.5002 s]
/proc/loadavg: 1.99 1.97 1.76 3/178 10961
/proc/meminfo: memFree=30706376/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=14572 CPUtime=25.49
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3341 0 0 0 2127 422 0 0 25 0 1 0 14109643 14921728 3231 4089446400 134512640 136422188 4292572208 18446744073709551615 134861937 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3643 3231 236 467 0 3174 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14572

[startup+51.1003 s]
/proc/loadavg: 1.99 1.97 1.76 3/178 10961
/proc/meminfo: memFree=30705968/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=14828 CPUtime=51.1
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3412 0 0 0 4375 735 0 0 25 0 1 0 14109643 15183872 3296 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3707 3296 236 467 0 3238 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 14828

[startup+102.306 s]
/proc/loadavg: 2.04 1.99 1.78 3/178 10963
/proc/meminfo: memFree=30705544/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=14956 CPUtime=102.3
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3437 0 0 0 8961 1269 0 0 25 0 1 0 14109643 15314944 3320 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3739 3320 236 467 0 3270 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 14956

[startup+162.301 s]
/proc/loadavg: 2.02 1.99 1.79 3/178 10964
/proc/meminfo: memFree=30705364/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=15208 CPUtime=162.3
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3499 0 0 0 14341 1889 0 0 25 0 1 0 14109643 15572992 3382 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3802 3382 236 467 0 3333 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 15208

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/178 10965
/proc/meminfo: memFree=30705412/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=15336 CPUtime=222.3
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3527 0 0 0 19731 2499 0 0 25 0 1 0 14109643 15704064 3410 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3834 3410 236 467 0 3365 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15336

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.81 3/178 10967
/proc/meminfo: memFree=30696052/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=15464 CPUtime=282.3
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3562 0 0 0 25127 3103 0 0 25 0 1 0 14109643 15835136 3445 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3866 3445 236 467 0 3397 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15464

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/178 10969
/proc/meminfo: memFree=30685576/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=15464 CPUtime=342.31
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3576 0 0 0 30493 3738 0 0 25 0 1 0 14109643 15835136 3459 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3866 3459 236 467 0 3397 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 15464

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.83 3/178 10971
/proc/meminfo: memFree=30686744/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=15588 CPUtime=402.31
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3597 0 0 0 35882 4349 0 0 25 0 1 0 14109643 15962112 3480 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3897 3480 236 467 0 3428 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 15588

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/178 10972
/proc/meminfo: memFree=30671424/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=15588 CPUtime=462.31
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3608 0 0 0 41245 4986 0 0 25 0 1 0 14109643 15962112 3491 4089446400 134512640 136422188 4292572208 18446744073709551615 134864247 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3897 3491 236 467 0 3428 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 15588

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.84 3/178 10973
/proc/meminfo: memFree=30671496/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=15720 CPUtime=522.31
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3639 0 0 0 46634 5597 0 0 25 0 1 0 14109643 16097280 3522 4089446400 134512640 136422188 4292572208 18446744073709551615 134862233 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3930 3522 236 467 0 3461 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 15720

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.85 3/178 10975
/proc/meminfo: memFree=30671432/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=15848 CPUtime=582.32
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3674 0 0 0 52049 6183 0 0 25 0 1 0 14109643 16228352 3557 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3962 3557 236 467 0 3493 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 15848

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.85 3/178 10977
/proc/meminfo: memFree=30671388/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=15980 CPUtime=642.32
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3687 0 0 0 57457 6775 0 0 25 0 1 0 14109643 16363520 3570 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3995 3570 236 467 0 3526 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 15980

[startup+702.301 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 10979
/proc/meminfo: memFree=30671200/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=15980 CPUtime=702.31
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3704 0 0 0 62829 7402 0 0 25 0 1 0 14109643 16363520 3587 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 3995 3587 236 467 0 3526 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 15980

[startup+762.306 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 10980
/proc/meminfo: memFree=30659628/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16108 CPUtime=762.33
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3713 0 0 0 68223 8010 0 0 25 0 1 0 14109643 16494592 3596 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4027 3596 236 467 0 3558 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 16108

[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 10981
/proc/meminfo: memFree=30660432/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16108 CPUtime=822.32
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3721 0 0 0 73620 8612 0 0 25 0 1 0 14109643 16494592 3604 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4027 3604 236 467 0 3558 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 16108

[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 10983
/proc/meminfo: memFree=30660144/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16108 CPUtime=882.32
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3732 0 0 0 79016 9216 0 0 25 0 1 0 14109643 16494592 3615 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4027 3615 236 467 0 3558 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 16108

[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 10985
/proc/meminfo: memFree=30659952/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16240 CPUtime=942.33
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3745 0 0 0 84418 9815 0 0 25 0 1 0 14109643 16629760 3628 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4060 3628 236 467 0 3591 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 16240

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

[startup+947.106 s]
/proc/loadavg: 2.07 2.00 1.89 3/178 10985
/proc/meminfo: memFree=30660048/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16240 CPUtime=947.13
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3747 0 0 0 84844 9869 0 0 25 0 1 0 14109643 16629760 3630 4089446400 134512640 136422188 4292572208 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4060 3630 236 467 0 3591 0
Current children cumulated CPU time (s) 947.13
Current children cumulated vsize (KiB) 16240

[startup+959.9 s]
/proc/loadavg: 2.06 2.00 1.89 3/178 10985
/proc/meminfo: memFree=30660032/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16240 CPUtime=959.93
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3747 0 0 0 85991 10002 0 0 25 0 1 0 14109643 16629760 3630 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4060 3630 236 467 0 3591 0
Current children cumulated CPU time (s) 959.93
Current children cumulated vsize (KiB) 16240

[startup+966.3 s]
/proc/loadavg: 2.06 2.00 1.89 3/178 10985
/proc/meminfo: memFree=30660040/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16240 CPUtime=966.33
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3748 0 0 0 86562 10071 0 0 25 0 1 0 14109643 16629760 3631 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4060 3631 236 467 0 3591 0
Current children cumulated CPU time (s) 966.33
Current children cumulated vsize (KiB) 16240

[startup+972.701 s]
/proc/loadavg: 2.05 2.00 1.89 3/178 10985
/proc/meminfo: memFree=30659916/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16240 CPUtime=972.73
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3748 0 0 0 87135 10138 0 0 25 0 1 0 14109643 16629760 3631 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4060 3631 236 467 0 3591 0
Current children cumulated CPU time (s) 972.73
Current children cumulated vsize (KiB) 16240

[startup+974.301 s]
/proc/loadavg: 2.05 2.00 1.89 3/178 10985
/proc/meminfo: memFree=30659916/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16240 CPUtime=974.33
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3748 0 0 0 87277 10156 0 0 25 0 1 0 14109643 16629760 3631 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4060 3631 236 467 0 3591 0
Current children cumulated CPU time (s) 974.33
Current children cumulated vsize (KiB) 16240

[startup+975.9 s]
/proc/loadavg: 2.05 2.00 1.89 3/178 10985
/proc/meminfo: memFree=30660032/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16240 CPUtime=975.93
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3748 0 0 0 87417 10176 0 0 25 0 1 0 14109643 16629760 3631 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4060 3631 236 467 0 3591 0
Current children cumulated CPU time (s) 975.93
Current children cumulated vsize (KiB) 16240

[startup+976.7 s]
/proc/loadavg: 2.04 2.00 1.89 3/178 10985
/proc/meminfo: memFree=30659908/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16240 CPUtime=976.74
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3748 0 0 0 87488 10186 0 0 25 0 1 0 14109643 16629760 3631 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4060 3631 236 467 0 3591 0
Current children cumulated CPU time (s) 976.74
Current children cumulated vsize (KiB) 16240

[startup+976.901 s]
/proc/loadavg: 2.04 2.00 1.89 3/178 10985
/proc/meminfo: memFree=30659908/32950928 swapFree=67111528/67111528
[pid=10958] ppid=10956 vsize=16240 CPUtime=976.93
/proc/10958/stat : 10958 (pbct) R 10956 10958 10681 0 -1 4202496 3748 0 0 0 87504 10189 0 0 25 0 1 0 14109643 16629760 3631 4089446400 134512640 136422188 4292572208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10958/statm: 4060 3631 236 467 0 3591 0
Current children cumulated CPU time (s) 976.93
Current children cumulated vsize (KiB) 16240

Child status: 0
Real time (s): 976.928
CPU time (s): 976.966
CPU user time (s): 875.07
CPU system time (s): 101.897
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 16240

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

runsolver used 1.3188 second user time and 3.13052 second system time

The end

Launcher Data 

Begin job on node115 at 2010-07-07 01:40:24
IDJOB=2699288
IDBENCH=78880
IDSOLVER=1212
FILE ID=node115/2699288-1278459624
PBS_JOBID= 11233762
Free space on /tmp= 73752 MiB

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

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

MD5SUM BENCH= 763c02f50955b910cbe48f7840773e4a
RANDOM SEED=432890515

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
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.812
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.812
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.812
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:     32950928 kB
MemFree:      30718832 kB
Buffers:         96144 kB
Cached:        1781700 kB
SwapCached:          0 kB
Active:         805204 kB
Inactive:      1292056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30718832 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1968 kB
Writeback:           0 kB
AnonPages:      219176 kB
Mapped:          15616 kB
Slab:            71240 kB
PageTables:       4652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   366912 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= 73752 MiB
End job on node115 at 2010-07-07 01:56:41