Trace number 2695104

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 547.885 547.876

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo
MD5SUM5b6bb33016643c054f0ad34369984077
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark59.6679
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 constraints2707
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 136368
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136367
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 801
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 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.14	c 0.117982 19.9961 59 27872
0.09/0.14	o 925
0.09/0.18	c 0.139978 20.2305 91 43130
0.09/0.18	o 474
0.29/0.32	c 0.223965 20.4648 301 48951
0.29/0.32	o 450
0.29/0.33	c 0.226965 20.4648 304 50283
0.29/0.33	o 422
0.39/0.45	c 0.293955 20.4648 460 51994
0.39/0.45	o 420
0.59/0.66	c 0.413937 20.4648 746 54555
0.59/0.66	o 383
0.79/0.86	c 0.52492 20.4648 951 57603
0.79/0.86	o 368
0.89/0.90	c 0.556915 20.4648 985 58517
0.89/0.90	o 363
1.00/1.03	c 0.636903 20.4648 1178 60344
1.00/1.03	o 351
5.29/5.30	c 3.21751 20.4648 809 155006
5.29/5.30	o 246
5.29/5.39	c 3.2705 20.4648 910 155742
5.29/5.39	o 238
5.29/5.40	c 3.2735 20.4648 911 156203
5.29/5.40	o 226
6.19/6.25	c 3.77443 20.4648 922 160870
6.19/6.25	o 214
10.29/10.30	c 6.27105 20.5938 913 177095
10.29/10.30	o 201
11.09/11.14	c 6.78797 20.5938 771 180750
11.09/11.14	o 177
11.19/11.25	c 6.87296 20.5938 934 181254
11.19/11.25	o 175
13.50/13.57	c 8.27174 20.5938 827 189245
13.50/13.57	o 170
14.79/14.80	c 8.98563 20.5938 1490 193283
14.79/14.80	o 167
14.99/15.09	c 9.15261 20.5938 961 194896
14.99/15.09	o 166
15.59/15.61	c 9.47156 20.5938 990 197177
15.59/15.61	o 165
15.59/15.62	c 9.47756 20.5938 997 197609
15.59/15.62	o 153
15.99/16.03	c 9.71552 20.5938 958 199756
15.99/16.03	o 129
17.09/17.12	c 10.3434 20.5938 1195 204566
17.09/17.12	o 127
17.19/17.27	c 10.4284 20.5938 884 205386
17.19/17.27	o 119
17.50/17.52	c 10.5894 20.5938 730 206827
17.50/17.52	o 117
17.69/17.73	c 10.7304 20.5938 1217 208026
17.69/17.73	o 112
18.70/18.72	c 11.3303 20.5938 1063 210473
18.70/18.72	o 106
22.49/22.50	c 13.7219 21.625 1350 227489
22.49/22.50	o 104
24.10/24.18	c 14.7618 21.625 800 232369
24.10/24.18	o 102
24.10/24.20	c 14.7668 21.625 817 232578
24.10/24.20	o 100
24.39/24.44	c 14.9227 21.625 868 234274
24.39/24.44	o 82
24.49/24.51	c 14.9597 21.625 975 234774
24.49/24.51	o 80
24.49/24.59	c 15.0047 21.625 1166 235755
24.49/24.59	o 64
27.19/27.26	c 16.8224 21.625 1806 247355
27.19/27.26	o 50
27.50/27.58	c 17.0524 21.625 1896 248820
27.50/27.58	o 49
27.59/27.68	c 17.1284 21.625 2182 249526
27.59/27.68	o 45
32.69/32.79	c 20.8778 21.625 1723 277988
32.69/32.79	o 42
34.89/34.93	c 22.4106 21.625 3012 287115
34.89/34.93	o 39
38.69/38.70	c 25.2492 21.625 2330 308802
38.69/38.70	o 31
40.49/40.56	c 26.6979 21.625 2197 323654
40.49/40.56	o 29
42.09/42.10	c 27.9378 21.625 1938 334954
42.09/42.10	o 28
42.39/42.41	c 28.1837 21.625 2108 337847
42.39/42.41	o 27
42.59/42.63	c 28.3567 21.625 3227 340021
42.59/42.63	o 25
42.69/42.74	c 28.4517 21.625 2256 341172
42.69/42.74	o 23
43.69/43.75	c 29.2875 21.625 2196 351297
43.69/43.75	o 22
44.80/44.85	c 30.2054 21.625 2901 363234
44.80/44.85	o 19
44.80/44.87	c 30.2174 21.625 3034 363721
44.80/44.87	o 11
51.40/51.46	c 35.9995 22.3984 3524 447702
51.40/51.46	o 4
113.09/113.10	c 92.366 23.5586 3928 1224949
113.09/113.10	o 2
173.70/173.77	c 147.433 23.5586 2374 2046268
173.70/173.77	o 1
547.80/547.84	c 487.238 23.5586 2541 7487605
547.80/547.84	s OPTIMUM FOUND
547.80/547.84	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-2695104-1277929558/watcher-2695104-1277929558 -o /tmp/evaluation-result-2695104-1277929558/solver-2695104-1277929558 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695104-1277929558.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 1.99 4/178 14561
/proc/meminfo: memFree=31276396/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=2136 CPUtime=0
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 253 0 0 0 0 0 0 0 24 0 1 0 134252220 2187264 173 4089446400 134512640 136421960 4291030240 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14561/statm: 534 173 144 467 0 65 0

[startup+0.059048 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 14561
/proc/meminfo: memFree=31276396/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=13192 CPUtime=0.05
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 2966 0 0 0 5 0 0 0 24 0 1 0 134252220 13508608 2886 4089446400 134512640 136421960 4291030240 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 3298 2897 193 467 0 2829 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13192

[startup+0.100966 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 14561
/proc/meminfo: memFree=31276396/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=20192 CPUtime=0.09
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 4692 0 0 0 9 0 0 0 24 0 1 0 134252220 20676608 4579 4089446400 134512640 136421960 4291030240 18446744073709551615 135017068 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 5048 4579 208 467 0 4579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20192

[startup+0.300932 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 14561
/proc/meminfo: memFree=31276396/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=20952 CPUtime=0.29
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 4845 0 0 0 20 9 0 0 25 0 1 0 134252220 21454848 4730 4089446400 134512640 136421960 4291030240 18446744073709551615 135026774 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 5238 4730 237 467 0 4769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20952

[startup+0.700865 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 14561
/proc/meminfo: memFree=31276396/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=20952 CPUtime=0.69
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 4849 0 0 0 43 26 0 0 18 0 1 0 134252220 21454848 4730 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 5238 4730 237 467 0 4769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20952

[startup+1.50078 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 14562
/proc/meminfo: memFree=31258036/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=20952 CPUtime=1.49
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 4852 0 0 0 90 59 0 0 18 0 1 0 134252220 21454848 4730 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 5238 4730 237 467 0 4769 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20952

[startup+3.10053 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 14562
/proc/meminfo: memFree=31258004/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=20952 CPUtime=3.09
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 4852 0 0 0 188 121 0 0 22 0 1 0 134252220 21454848 4730 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 5238 4730 237 467 0 4769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20952

[startup+6.30092 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 14562
/proc/meminfo: memFree=31258004/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=20952 CPUtime=6.29
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 4873 0 0 0 380 249 0 0 25 0 1 0 134252220 21454848 4747 4089446400 134512640 136421960 4291030240 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 5238 4747 237 467 0 4769 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20952

[startup+12.7008 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 14562
/proc/meminfo: memFree=31258204/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=21084 CPUtime=12.69
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 4900 0 0 0 773 496 0 0 25 0 1 0 134252220 21590016 4771 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 5271 4771 237 467 0 4802 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21084

[startup+25.5007 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 14562
/proc/meminfo: memFree=31257968/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=22140 CPUtime=25.49
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5193 0 0 0 1562 987 0 0 25 0 1 0 134252220 22671360 5047 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 5535 5047 237 467 0 5066 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22140

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 14564
/proc/meminfo: memFree=31257404/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=22932 CPUtime=51.09
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5386 0 0 0 3568 1541 0 0 25 0 1 0 134252220 23482368 5226 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 5733 5226 237 467 0 5264 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22932

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 14564
/proc/meminfo: memFree=31256380/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=23856 CPUtime=102.3
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5613 0 0 0 8244 1986 0 0 25 0 1 0 134252220 24428544 5452 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 5964 5452 237 467 0 5495 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23856

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14566
/proc/meminfo: memFree=31255600/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=162.3
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5693 0 0 0 13702 2528 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 24120

[startup+222.301 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 14568
/proc/meminfo: memFree=31255312/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=222.29
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 19145 3084 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 24120

[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 14570
/proc/meminfo: memFree=31254396/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=282.3
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 24593 3637 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 135023581 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24120

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14575
/proc/meminfo: memFree=31248752/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=342.3
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 30066 4164 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 134862027 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24120

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14575
/proc/meminfo: memFree=31245076/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=402.3
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 35503 4727 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 134855961 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24120

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14577
/proc/meminfo: memFree=31245400/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=462.29
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 40964 5265 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 24120

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14579
/proc/meminfo: memFree=31244744/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=522.3
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 46407 5823 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24120

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

[startup+524.707 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14579
/proc/meminfo: memFree=31244744/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=524.7
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 46625 5845 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 134862307 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 524.7
Current children cumulated vsize (KiB) 24120

[startup+537.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14579
/proc/meminfo: memFree=31244616/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=537.5
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 47783 5967 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 537.5
Current children cumulated vsize (KiB) 24120

[startup+543.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14579
/proc/meminfo: memFree=31244736/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=543.9
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 48363 6027 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 135020784 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 543.9
Current children cumulated vsize (KiB) 24120

[startup+545.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14579
/proc/meminfo: memFree=31244736/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=545.51
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 48509 6042 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 545.51
Current children cumulated vsize (KiB) 24120

[startup+547.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14579
/proc/meminfo: memFree=31244736/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=547.1
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 48655 6055 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 134643046 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 547.1
Current children cumulated vsize (KiB) 24120

[startup+547.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14579
/proc/meminfo: memFree=31244736/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=547.49
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 48691 6058 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 135006405 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 547.49
Current children cumulated vsize (KiB) 24120

[startup+547.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14579
/proc/meminfo: memFree=31244736/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=547.7
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 48710 6060 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 134862273 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 547.7
Current children cumulated vsize (KiB) 24120

[startup+547.807 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14579
/proc/meminfo: memFree=31244736/32950928 swapFree=67111528/67111528
[pid=14561] ppid=14559 vsize=24120 CPUtime=547.8
/proc/14561/stat : 14561 (pbct) R 14559 14561 14536 0 -1 4202496 5694 0 0 0 48719 6061 0 0 25 0 1 0 134252220 24698880 5531 4089446400 134512640 136421960 4291030240 18446744073709551615 135020391 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14561/statm: 6030 5531 237 467 0 5561 0
Current children cumulated CPU time (s) 547.8
Current children cumulated vsize (KiB) 24120

Child status: 0
Real time (s): 547.876
CPU time (s): 547.885
CPU user time (s): 487.265
CPU system time (s): 60.6198
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 24120

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

runsolver used 1.01585 second user time and 1.9727 second system time

The end

Launcher Data 

Begin job on node126 at 2010-06-30 22:25:59
IDJOB=2695104
IDBENCH=79298
IDSOLVER=1208
FILE ID=node126/2695104-1277929558
PBS_JOBID= 11197437
Free space on /tmp= 74188 MiB

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

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

MD5SUM BENCH= 5b6bb33016643c054f0ad34369984077
RANDOM SEED=1872503276

node126.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.835
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.67
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.835
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.83
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.835
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.835
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.83
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.835
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.72
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.835
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.82
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.835
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.75
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.835
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:     32950928 kB
MemFree:      31276916 kB
Buffers:        209636 kB
Cached:         927044 kB
SwapCached:          0 kB
Active:         859808 kB
Inactive:       670704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31276916 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:      393748 kB
Mapped:          16880 kB
Slab:            79188 kB
PageTables:       5364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   553672 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= 74184 MiB
End job on node126 at 2010-06-30 22:35:06