Trace number 2695509

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.1OPTIMUM 441.903 441.891

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo
MD5SUMbcc83dde29b6f868056a0bfa1b1372de
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark49.4775
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 constraints928
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 47257
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 47256
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 813
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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 15/8 clauses 1764/920 units 0
0.00/0.01	c vars 231
0.05/0.08	c 0.070989 13.2852 276 6466
0.05/0.08	o 560
0.09/0.10	c 0.081987 13.4219 500 8226
0.09/0.10	o 472
0.09/0.12	c 0.087986 13.543 624 9435
0.09/0.12	o 437
0.09/0.13	c 0.092985 13.543 719 11597
0.09/0.13	o 328
0.09/0.14	c 0.095985 13.543 795 12319
0.09/0.14	o 265
0.19/0.20	c 0.132979 13.6719 889 13896
0.19/0.20	o 243
0.19/0.23	c 0.148977 13.6719 609 14710
0.19/0.23	o 236
0.19/0.27	c 0.166974 13.6719 966 15948
0.19/0.27	o 185
0.79/0.80	c 0.416936 13.6719 1028 23489
0.79/0.80	o 170
0.79/0.86	c 0.447931 13.7969 1392 24119
0.79/0.86	o 166
0.79/0.89	c 0.468928 13.7969 950 24658
0.79/0.89	o 152
0.89/0.91	c 0.473927 13.7969 1043 25261
0.89/0.91	o 103
1.19/1.29	c 0.613906 13.7969 930 28327
1.19/1.29	o 102
1.99/2.07	c 0.936857 13.7969 1377 35853
1.99/2.07	o 100
3.30/3.37	c 1.39479 13.7969 960 48290
3.30/3.37	o 96
4.40/4.47	c 1.83272 13.7969 817 60182
4.40/4.47	o 71
4.59/4.67	c 1.91671 13.7969 1748 62768
4.59/4.67	o 70
6.29/6.36	c 2.71459 13.7969 1385 85116
6.29/6.36	o 50
8.09/8.12	c 3.76243 14.3047 1314 109241
8.09/8.12	o 37
9.69/9.72	c 4.67829 14.3047 1458 132882
9.69/9.72	o 29
9.69/9.78	c 4.71928 14.3047 1138 133945
9.69/9.78	o 26
27.89/27.91	c 16.9454 14.3047 1166 451585
27.89/27.91	o 24
27.99/28.04	c 17.0304 14.3047 1468 454113
27.99/28.04	o 23
31.49/31.52	c 19.3731 14.3047 1888 513620
31.49/31.52	o 20
65.79/65.86	c 42.7235 14.4297 1904 1114203
65.79/65.86	o 19
441.80/441.87	c 301.201 15.0898 1009 7737358
441.80/441.87	s OPTIMUM FOUND
441.80/441.87	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	19

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695509-1277900607/watcher-2695509-1277900607 -o /tmp/evaluation-result-2695509-1277900607/solver-2695509-1277900607 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695509-1277900607.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.39 2.08 2.02 4/178 12211
/proc/meminfo: memFree=31287308/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=2136 CPUtime=0
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 251 0 0 0 0 0 0 0 18 0 1 0 131356167 2187264 170 4089446400 134512640 136421960 4289393520 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/12211/statm: 534 170 144 467 0 65 0

[startup+0.0573111 s]
/proc/loadavg: 2.39 2.08 2.02 4/178 12211
/proc/meminfo: memFree=31287308/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=13600 CPUtime=0.05
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3033 0 0 0 5 0 0 0 20 0 1 0 131356167 13926400 2952 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12211/statm: 3400 2953 213 467 0 2931 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13600

[startup+0.100309 s]
/proc/loadavg: 2.39 2.08 2.02 4/178 12211
/proc/meminfo: memFree=31287308/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=13740 CPUtime=0.09
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3109 0 0 0 7 2 0 0 20 0 1 0 131356167 14069760 3027 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12211/statm: 3435 3027 236 467 0 2966 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13740

[startup+0.300268 s]
/proc/loadavg: 2.39 2.08 2.02 4/178 12211
/proc/meminfo: memFree=31287308/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=13996 CPUtime=0.29
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3162 0 0 0 17 12 0 0 20 0 1 0 131356167 14331904 3073 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12211/statm: 3499 3073 236 467 0 3030 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13996

[startup+0.700179 s]
/proc/loadavg: 2.39 2.08 2.02 4/178 12211
/proc/meminfo: memFree=31287308/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=13996 CPUtime=0.69
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3173 0 0 0 35 34 0 0 21 0 1 0 131356167 14331904 3084 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3499 3084 236 467 0 3030 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13996

[startup+1.50104 s]
/proc/loadavg: 2.39 2.08 2.02 3/179 12212
/proc/meminfo: memFree=31276752/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=14124 CPUtime=1.49
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3211 0 0 0 71 78 0 0 23 0 1 0 131356167 14462976 3117 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3531 3117 236 467 0 3062 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14124

[startup+3.10078 s]
/proc/loadavg: 2.36 2.08 2.02 3/179 12212
/proc/meminfo: memFree=31276504/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=14124 CPUtime=3.09
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3212 0 0 0 130 179 0 0 25 0 1 0 131356167 14462976 3117 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3531 3117 236 467 0 3062 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14124

[startup+6.30019 s]
/proc/loadavg: 2.36 2.08 2.02 3/179 12213
/proc/meminfo: memFree=31276748/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=14124 CPUtime=6.29
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3223 0 0 0 267 362 0 0 25 0 1 0 131356167 14462976 3125 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3531 3125 236 467 0 3062 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14124

[startup+12.701 s]
/proc/loadavg: 2.30 2.08 2.02 3/179 12213
/proc/meminfo: memFree=31276272/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=14644 CPUtime=12.69
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3352 0 0 0 668 601 0 0 25 0 1 0 131356167 14995456 3250 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3661 3250 236 467 0 3192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14644

[startup+25.5007 s]
/proc/loadavg: 2.26 2.07 2.02 3/179 12213
/proc/meminfo: memFree=31276712/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=14644 CPUtime=25.49
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3352 0 0 0 1523 1026 0 0 25 0 1 0 131356167 14995456 3250 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3661 3250 236 467 0 3192 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14644

[startup+51.1011 s]
/proc/loadavg: 2.17 2.06 2.02 3/179 12214
/proc/meminfo: memFree=31276792/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=14772 CPUtime=51.09
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3368 0 0 0 3256 1853 0 0 25 0 1 0 131356167 15126528 3263 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3693 3263 236 467 0 3224 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14772

[startup+102.307 s]
/proc/loadavg: 2.07 2.05 2.01 3/179 12216
/proc/meminfo: memFree=31276400/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=14772 CPUtime=102.3
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3396 0 0 0 6743 3487 0 0 25 0 1 0 131356167 15126528 3290 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3693 3290 236 467 0 3224 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 14772

[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/179 12217
/proc/meminfo: memFree=31276112/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15032 CPUtime=162.3
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3440 0 0 0 10897 5333 0 0 25 0 1 0 131356167 15392768 3334 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3758 3334 236 467 0 3289 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 15032

[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 12218
/proc/meminfo: memFree=31275704/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15184 CPUtime=222.3
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3470 0 0 0 15019 7211 0 0 25 0 1 0 131356167 15548416 3364 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3796 3364 236 467 0 3327 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15184

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 12220
/proc/meminfo: memFree=31275296/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15320 CPUtime=282.3
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3501 0 0 0 19150 9080 0 0 25 0 1 0 131356167 15687680 3395 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3830 3395 236 467 0 3361 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15320

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 12222
/proc/meminfo: memFree=31275376/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15320 CPUtime=342.3
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3524 0 0 0 23304 10926 0 0 25 0 1 0 131356167 15687680 3418 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3830 3418 236 467 0 3361 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 15320

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12223
/proc/meminfo: memFree=31274972/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15448 CPUtime=402.3
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3543 0 0 0 27407 12823 0 0 25 0 1 0 131356167 15818752 3437 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3862 3437 236 467 0 3393 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 15448

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

[startup+409.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12224
/proc/meminfo: memFree=31275204/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15448 CPUtime=409.5
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3543 0 0 0 27902 13048 0 0 25 0 1 0 131356167 15818752 3437 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3862 3437 236 467 0 3393 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 15448

[startup+422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12224
/proc/meminfo: memFree=31275204/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15448 CPUtime=422.31
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3543 0 0 0 28780 13451 0 0 25 0 1 0 131356167 15818752 3437 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3862 3437 236 467 0 3393 0
Current children cumulated CPU time (s) 422.31
Current children cumulated vsize (KiB) 15448

[startup+435.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12224
/proc/meminfo: memFree=31274948/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15448 CPUtime=435.1
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3543 0 0 0 29661 13849 0 0 25 0 1 0 131356167 15818752 3437 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3862 3437 236 467 0 3393 0
Current children cumulated CPU time (s) 435.1
Current children cumulated vsize (KiB) 15448

[startup+438.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12224
/proc/meminfo: memFree=31275068/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15448 CPUtime=438.3
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3543 0 0 0 29872 13958 0 0 25 0 1 0 131356167 15818752 3437 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3862 3437 236 467 0 3393 0
Current children cumulated CPU time (s) 438.3
Current children cumulated vsize (KiB) 15448

[startup+439.901 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12224
/proc/meminfo: memFree=31275068/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15448 CPUtime=439.9
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3543 0 0 0 29980 14010 0 0 25 0 1 0 131356167 15818752 3437 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3862 3437 236 467 0 3393 0
Current children cumulated CPU time (s) 439.9
Current children cumulated vsize (KiB) 15448

[startup+440.701 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12224
/proc/meminfo: memFree=31275068/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15448 CPUtime=440.7
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3543 0 0 0 30037 14033 0 0 25 0 1 0 131356167 15818752 3437 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3862 3437 236 467 0 3393 0
Current children cumulated CPU time (s) 440.7
Current children cumulated vsize (KiB) 15448

[startup+441.501 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12224
/proc/meminfo: memFree=31275068/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15448 CPUtime=441.5
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3543 0 0 0 30094 14056 0 0 25 0 1 0 131356167 15818752 3437 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3862 3437 236 467 0 3393 0
Current children cumulated CPU time (s) 441.5
Current children cumulated vsize (KiB) 15448

[startup+441.701 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12224
/proc/meminfo: memFree=31275068/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15448 CPUtime=441.7
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3543 0 0 0 30108 14062 0 0 25 0 1 0 131356167 15818752 3437 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3862 3437 236 467 0 3393 0
Current children cumulated CPU time (s) 441.7
Current children cumulated vsize (KiB) 15448

[startup+441.801 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12224
/proc/meminfo: memFree=31275068/32951124 swapFree=67111528/67111528
[pid=12211] ppid=12209 vsize=15448 CPUtime=441.8
/proc/12211/stat : 12211 (pbct) R 12209 12211 12137 0 -1 4202496 3543 0 0 0 30115 14065 0 0 25 0 1 0 131356167 15818752 3437 4089446400 134512640 136421960 4289393520 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12211/statm: 3862 3437 236 467 0 3393 0
Current children cumulated CPU time (s) 441.8
Current children cumulated vsize (KiB) 15448

Child status: 0
Real time (s): 441.891
CPU time (s): 441.903
CPU user time (s): 301.212
CPU system time (s): 140.691
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 15448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.212
system time used= 140.691
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3548
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= 634

runsolver used 0.813876 second user time and 1.54476 second system time

The end

Launcher Data 

Begin job on node137 at 2010-06-30 14:23:27
IDJOB=2695509
IDBENCH=78883
IDSOLVER=1208
FILE ID=node137/2695509-1277900607
PBS_JOBID= 11197243
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= bcc83dde29b6f868056a0bfa1b1372de
RANDOM SEED=748148140

node137.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.876
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.75
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.876
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.876
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.74
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.876
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.876
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.75
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.876
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.83
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.876
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.876
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31287340 kB
Buffers:        183016 kB
Cached:        1258608 kB
SwapCached:          0 kB
Active:         619348 kB
Inactive:       900544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31287340 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1776 kB
Writeback:           0 kB
AnonPages:       77868 kB
Mapped:          15768 kB
Slab:            79376 kB
PageTables:       4896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   223024 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= 74208 MiB
End job on node137 at 2010-06-30 14:30:49