Trace number 2694988

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 981.979 981.954

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
MD5SUM6afd7eef78419a10c166bbe4bb320384
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 benchmark147.368
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 135280
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135279
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 711
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.01/0.01	c constraints 0/23 clauses 0/2684 units 0
0.01/0.01	c vars 231
0.09/0.13	c 0.107983 20.0039 28 23101
0.09/0.13	o 492
0.09/0.14	c 0.113982 20.2383 33 24449
0.09/0.14	o 470
0.09/0.19	c 0.131979 20.4727 118 32321
0.09/0.19	o 259
0.19/0.25	c 0.156976 20.4727 197 33308
0.19/0.25	o 252
0.29/0.35	c 0.208968 20.4727 316 34306
0.29/0.35	o 241
0.39/0.43	c 0.241963 20.4727 426 35127
0.39/0.43	o 231
0.59/0.60	c 0.312952 20.4727 659 36465
0.59/0.60	o 221
0.79/0.80	c 0.429934 20.4727 1021 37779
0.79/0.80	o 218
0.79/0.86	c 0.460929 20.4727 1075 38544
0.79/0.86	o 201
1.69/1.76	c 0.988849 20.4727 1122 43154
1.69/1.76	o 200
1.99/2.02	c 1.12983 20.4727 798 45480
1.99/2.02	o 193
1.99/2.03	c 1.13383 20.4727 806 45920
1.99/2.03	o 181
1.99/2.06	c 1.14583 20.4727 830 46427
1.99/2.06	o 178
2.20/2.25	c 1.25481 20.4727 1064 47552
2.20/2.25	o 175
2.29/2.33	c 1.3028 20.4727 1144 48541
2.29/2.33	o 170
2.39/2.40	c 1.3458 20.4727 1222 49138
2.39/2.40	o 164
2.89/2.93	c 1.67075 20.4727 877 52124
2.89/2.93	o 163
3.30/3.35	c 1.93271 20.4727 823 54443
3.30/3.35	o 161
5.09/5.18	c 3.04954 20.6016 685 62200
5.09/5.18	o 160
5.69/5.73	c 3.37649 20.6016 868 65111
5.69/5.73	o 152
5.69/5.75	c 3.39648 20.6016 946 65635
5.69/5.75	o 140
6.39/6.48	c 3.71143 20.6016 994 67975
6.39/6.48	o 136
6.69/6.71	c 3.78942 20.6016 648 68931
6.69/6.71	o 125
7.00/7.04	c 3.9454 20.6016 1226 71055
7.00/7.04	o 101
8.19/8.29	c 4.67829 20.6016 1061 74848
8.19/8.29	o 98
9.09/9.13	c 5.17521 20.6016 776 77799
9.09/9.13	o 85
9.40/9.43	c 5.34319 20.6016 814 79453
9.40/9.43	o 79
10.39/10.46	c 5.98609 20.7305 1764 82808
10.39/10.46	o 75
10.79/10.89	c 6.23905 20.7305 1881 84997
10.79/10.89	o 69
11.00/11.07	c 6.35103 20.7305 1388 86048
11.00/11.07	o 62
12.49/12.53	c 7.30689 20.7305 1777 92639
12.49/12.53	o 57
13.10/13.13	c 7.56785 20.8594 1822 94915
13.10/13.13	o 52
13.30/13.36	c 7.68183 20.8594 2516 96137
13.30/13.36	o 50
14.49/14.58	c 8.43872 20.8594 2348 103179
14.49/14.58	o 40
14.59/14.69	c 8.50671 20.8594 2770 103982
14.59/14.69	o 33
15.00/15.02	c 8.76567 21.2461 3212 106718
15.00/15.02	o 28
15.00/15.06	c 8.79966 21.2461 1863 107198
15.00/15.06	o 25
15.69/15.78	c 9.36458 21.2461 2997 113834
15.69/15.78	o 24
15.79/15.88	c 9.44656 21.2461 1850 114691
15.79/15.88	o 22
16.89/16.98	c 10.2784 21.2461 2930 126939
16.89/16.98	o 18
17.00/17.01	c 10.3054 21.2461 3145 127500
17.00/17.01	o 12
17.29/17.33	c 10.5664 21.2461 2168 131823
17.29/17.33	o 11
18.60/18.70	c 11.7522 21.2461 3056 150532
18.60/18.70	o 10
19.29/19.31	c 12.2641 21.2461 2960 160796
19.29/19.31	o 9
20.19/20.27	c 13.023 21.2461 2457 174980
20.19/20.27	o 8
20.30/20.35	c 13.102 21.2461 3250 176335
20.30/20.35	o 7
23.00/23.02	c 15.3187 21.2461 2682 216717
23.00/23.02	o 6
23.70/23.72	c 15.9106 21.2461 2316 227873
23.70/23.72	o 5
46.20/46.26	c 35.0997 21.8906 2620 574791
46.20/46.26	o 4
135.89/135.94	c 115.226 22.4102 4555 1947845
135.89/135.94	o 2
224.20/224.27	c 193.983 22.9258 4403 3315374
224.20/224.27	o 1
981.91/981.92	c 863.101 23.5703 2222 15675387
981.91/981.92	s OPTIMUM FOUND
981.91/981.92	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-2694988-1277925839/watcher-2694988-1277925839 -o /tmp/evaluation-result-2694988-1277925839/solver-2694988-1277925839 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694988-1277925839.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.00 2.01 2.00 4/196 16329
/proc/meminfo: memFree=31031708/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=2136 CPUtime=0
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 133880259 2187264 173 4089446400 134512640 136421960 4286979744 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16329/statm: 534 173 144 467 0 65 0

[startup+0.0140999 s]
/proc/loadavg: 2.00 2.01 2.00 4/196 16329
/proc/meminfo: memFree=31031708/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=2268 CPUtime=0.01
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 288 0 0 0 1 0 0 0 25 0 1 0 133880259 2322432 208 4089446400 134512640 136421960 4286979744 18446744073709551615 135372694 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16329/statm: 567 208 144 467 0 98 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2268

[startup+0.101088 s]
/proc/loadavg: 2.00 2.01 2.00 4/196 16329
/proc/meminfo: memFree=31031708/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=20480 CPUtime=0.09
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 4752 0 0 0 9 0 0 0 25 0 1 0 133880259 20971520 4639 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5120 4639 213 467 0 4651 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20480

[startup+0.3011 s]
/proc/loadavg: 2.00 2.01 2.00 4/196 16329
/proc/meminfo: memFree=31031708/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=20960 CPUtime=0.29
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 4846 0 0 0 18 11 0 0 25 0 1 0 133880259 21463040 4729 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5240 4729 236 467 0 4771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20960

[startup+0.701029 s]
/proc/loadavg: 2.00 2.01 2.00 4/196 16329
/proc/meminfo: memFree=31031708/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=20960 CPUtime=0.69
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 4850 0 0 0 36 33 0 0 25 0 1 0 133880259 21463040 4730 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5240 4730 237 467 0 4771 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20960

[startup+1.5009 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16330
/proc/meminfo: memFree=31013844/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=20960 CPUtime=1.49
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 4855 0 0 0 82 67 0 0 25 0 1 0 133880259 21463040 4733 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5240 4733 237 467 0 4771 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20960

[startup+3.10062 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16330
/proc/meminfo: memFree=31013348/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=20960 CPUtime=3.09
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 4873 0 0 0 176 133 0 0 25 0 1 0 133880259 21463040 4743 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5240 4743 237 467 0 4771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20960

[startup+6.30099 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16330
/proc/meminfo: memFree=31013564/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=21092 CPUtime=6.29
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 4907 0 0 0 364 265 0 0 25 0 1 0 133880259 21598208 4773 4089446400 134512640 136421960 4286979744 18446744073709551615 135027126 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5273 4773 237 467 0 4804 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21092

[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16331
/proc/meminfo: memFree=31013620/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=21224 CPUtime=12.69
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 4947 0 0 0 737 532 0 0 25 0 1 0 133880259 21733376 4803 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5306 4803 237 467 0 4837 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21224

[startup+25.5007 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16331
/proc/meminfo: memFree=31012592/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=21884 CPUtime=25.49
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5146 0 0 0 1751 798 0 0 25 0 1 0 133880259 22409216 4985 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5471 4985 237 467 0 5002 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21884

[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16332
/proc/meminfo: memFree=31009048/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=22412 CPUtime=51.09
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5260 0 0 0 3949 1160 0 0 25 0 1 0 133880259 22949888 5098 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5603 5098 237 467 0 5134 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22412

[startup+102.306 s]
/proc/loadavg: 2.11 2.03 2.01 3/197 16334
/proc/meminfo: memFree=31007160/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=22812 CPUtime=102.3
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5369 0 0 0 8495 1735 0 0 25 0 1 0 133880259 23359488 5207 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5703 5207 237 467 0 5234 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22812

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/197 16335
/proc/meminfo: memFree=31006636/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=23340 CPUtime=162.3
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5506 0 0 0 13825 2405 0 0 25 0 1 0 133880259 23900160 5343 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5835 5343 237 467 0 5366 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23340

[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 16336
/proc/meminfo: memFree=30994952/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=23472 CPUtime=222.29
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5534 0 0 0 19227 3002 0 0 25 0 1 0 133880259 24035328 5371 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5868 5371 237 467 0 5399 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23472

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16338
/proc/meminfo: memFree=30993804/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=23472 CPUtime=282.3
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5546 0 0 0 24459 3771 0 0 25 0 1 0 133880259 24035328 5382 4089446400 134512640 136421960 4286979744 18446744073709551615 134861999 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5868 5382 237 467 0 5399 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23472

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16340
/proc/meminfo: memFree=30992788/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=23604 CPUtime=342.3
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5555 0 0 0 29664 4566 0 0 25 0 1 0 133880259 24170496 5391 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5901 5391 237 467 0 5432 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23604

[startup+402.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/197 16341
/proc/meminfo: memFree=30983084/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=23604 CPUtime=402.3
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5555 0 0 0 34887 5343 0 0 25 0 1 0 133880259 24170496 5391 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5901 5391 237 467 0 5432 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23604

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 16346
/proc/meminfo: memFree=30967644/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=23604 CPUtime=462.3
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5560 0 0 0 40172 6058 0 0 25 0 1 0 133880259 24170496 5396 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5901 5396 237 467 0 5432 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 23604

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16347
/proc/meminfo: memFree=30966428/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=23736 CPUtime=522.31
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5605 0 0 0 45511 6720 0 0 25 0 1 0 133880259 24305664 5441 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5934 5441 237 467 0 5465 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 23736

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16349
/proc/meminfo: memFree=30962812/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=23868 CPUtime=582.31
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5621 0 0 0 50820 7411 0 0 25 0 1 0 133880259 24440832 5457 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5967 5457 237 467 0 5498 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 23868

[startup+642.301 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 16381
/proc/meminfo: memFree=31395944/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=23868 CPUtime=642.31
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5629 0 0 0 56032 8199 0 0 25 0 1 0 133880259 24440832 5465 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5967 5465 237 467 0 5498 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 23868

[startup+702.301 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 16382
/proc/meminfo: memFree=31395180/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=23868 CPUtime=702.31
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5636 0 0 0 61468 8763 0 0 25 0 1 0 133880259 24440832 5472 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 5967 5472 237 467 0 5498 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 23868

[startup+762.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16384
/proc/meminfo: memFree=31394512/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24000 CPUtime=762.32
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5665 0 0 0 66929 9303 0 0 25 0 1 0 133880259 24576000 5501 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6000 5501 237 467 0 5531 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 24000

[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16385
/proc/meminfo: memFree=31394232/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24000 CPUtime=822.31
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5666 0 0 0 72304 9927 0 0 25 0 1 0 133880259 24576000 5502 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6000 5502 237 467 0 5531 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24000

[startup+882.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16387
/proc/meminfo: memFree=31394064/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24132 CPUtime=882.32
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5682 0 0 0 77555 10677 0 0 25 0 1 0 133880259 24711168 5518 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6033 5518 237 467 0 5564 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 24132

[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16389
/proc/meminfo: memFree=31393892/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24132 CPUtime=942.31
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5682 0 0 0 82755 11476 0 0 25 0 1 0 133880259 24711168 5518 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6033 5518 237 467 0 5564 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 24132

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

[startup+947.106 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16389
/proc/meminfo: memFree=31393876/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24132 CPUtime=947.12
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5682 0 0 0 83185 11527 0 0 25 0 1 0 133880259 24711168 5518 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6033 5518 237 467 0 5564 0
Current children cumulated CPU time (s) 947.12
Current children cumulated vsize (KiB) 24132

[startup+959.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16389
/proc/meminfo: memFree=31393992/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24132 CPUtime=959.91
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5682 0 0 0 84343 11648 0 0 25 0 1 0 133880259 24711168 5518 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6033 5518 237 467 0 5564 0
Current children cumulated CPU time (s) 959.91
Current children cumulated vsize (KiB) 24132

[startup+972.701 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 16389
/proc/meminfo: memFree=31393984/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24132 CPUtime=972.72
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5682 0 0 0 85476 11796 0 0 25 0 1 0 133880259 24711168 5518 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6033 5518 237 467 0 5564 0
Current children cumulated CPU time (s) 972.72
Current children cumulated vsize (KiB) 24132

[startup+975.901 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 16389
/proc/meminfo: memFree=31393984/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24132 CPUtime=975.91
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5682 0 0 0 85769 11822 0 0 25 0 1 0 133880259 24711168 5518 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6033 5518 237 467 0 5564 0
Current children cumulated CPU time (s) 975.91
Current children cumulated vsize (KiB) 24132

[startup+979.101 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 16389
/proc/meminfo: memFree=31393976/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24132 CPUtime=979.11
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5682 0 0 0 86051 11860 0 0 25 0 1 0 133880259 24711168 5518 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6033 5518 237 467 0 5564 0
Current children cumulated CPU time (s) 979.11
Current children cumulated vsize (KiB) 24132

[startup+980.701 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 16389
/proc/meminfo: memFree=31393976/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24132 CPUtime=980.71
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5682 0 0 0 86197 11874 0 0 25 0 1 0 133880259 24711168 5518 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6033 5518 237 467 0 5564 0
Current children cumulated CPU time (s) 980.71
Current children cumulated vsize (KiB) 24132

[startup+981.5 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 16390
/proc/meminfo: memFree=31393976/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24132 CPUtime=981.52
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5682 0 0 0 86271 11881 0 0 25 0 1 0 133880259 24711168 5518 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6033 5518 237 467 0 5564 0
Current children cumulated CPU time (s) 981.52
Current children cumulated vsize (KiB) 24132

[startup+981.9 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 16390
/proc/meminfo: memFree=31393976/32950928 swapFree=4192956/4192956
[pid=16329] ppid=16327 vsize=24132 CPUtime=981.91
/proc/16329/stat : 16329 (pbct) R 16327 16329 14030 0 -1 4202496 5682 0 0 0 86307 11884 0 0 25 0 1 0 133880259 24711168 5518 4089446400 134512640 136421960 4286979744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/16329/statm: 6033 5518 237 467 0 5564 0
Current children cumulated CPU time (s) 981.91
Current children cumulated vsize (KiB) 24132

Child status: 0
Real time (s): 981.954
CPU time (s): 981.979
CPU user time (s): 863.128
CPU system time (s): 118.851
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 24132

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

runsolver used 1.43078 second user time and 3.03554 second system time

The end

Launcher Data 

Begin job on node124 at 2010-06-30 21:23:59
IDJOB=2694988
IDBENCH=79263
IDSOLVER=1208
FILE ID=node124/2694988-1277925839
PBS_JOBID= 11197317
Free space on /tmp= 130620 MiB

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

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

MD5SUM BENCH= 6afd7eef78419a10c166bbe4bb320384
RANDOM SEED=1975550535

node124.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.833
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.66
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.833
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	: 5226.07
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.833
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.833
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.77
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.833
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.833
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.833
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.833
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31032352 kB
Buffers:        213424 kB
Cached:        1120820 kB
SwapCached:          0 kB
Active:         959292 kB
Inactive:       845720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31032352 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:      470916 kB
Mapped:          20256 kB
Slab:            80928 kB
PageTables:       5672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:  1656052 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130620 MiB
End job on node124 at 2010-06-30 21:40:21