Trace number 2694985

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 1067.32 1067.3

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo
MD5SUM1693c6ddcdda9c3a56f7a1957868c0a9
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 benchmark118.75
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 134314
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 134313
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 715
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.17	c 0.135979 19.9922 53 52783
0.09/0.17	o 569
0.09/0.17	c 0.139978 20.2266 54 54196
0.09/0.17	o 546
0.19/0.24	c 0.176973 20.4609 148 63740
0.19/0.24	o 278
0.39/0.46	c 0.303953 20.4609 396 65335
0.39/0.46	o 275
0.39/0.48	c 0.32295 20.4609 428 66139
0.39/0.48	o 272
1.10/1.18	c 0.727889 20.4609 1316 71418
1.10/1.18	o 269
1.29/1.33	c 0.815875 20.4609 892 72967
1.29/1.33	o 247
1.69/1.70	c 1.05184 20.4609 759 75689
1.69/1.70	o 242
1.89/1.94	c 1.18482 20.4609 1069 77017
1.89/1.94	o 239
2.29/2.35	c 1.45478 20.4609 1019 80531
2.29/2.35	o 230
2.39/2.44	c 1.51177 20.4609 1121 81629
2.39/2.44	o 216
2.39/2.47	c 1.53177 20.4609 1143 82067
2.39/2.47	o 209
2.99/3.06	c 1.88971 20.4609 688 85089
2.99/3.06	o 206
3.09/3.12	c 1.91771 20.4609 749 85406
3.09/3.12	o 202
3.49/3.52	c 2.14467 20.4609 631 87145
3.49/3.52	o 194
3.80/3.84	c 2.33664 20.4609 969 89356
3.80/3.84	o 186
4.79/4.81	c 2.93455 20.4609 926 93128
4.79/4.81	o 178
5.29/5.33	c 3.23651 20.4609 890 95864
5.29/5.33	o 155
5.69/5.78	c 3.53146 20.5898 1632 97476
5.69/5.78	o 153
5.99/6.08	c 3.71043 20.5898 1236 98756
5.99/6.08	o 149
6.29/6.37	c 3.89941 20.5898 964 99699
6.29/6.37	o 147
6.60/6.67	c 4.07638 20.5898 710 101198
6.60/6.67	o 126
7.60/7.61	c 4.69429 20.5898 727 104957
7.60/7.61	o 108
8.29/8.38	c 5.18621 20.5898 665 107748
8.29/8.38	o 107
8.29/8.38	c 5.18921 20.5898 666 107850
8.29/8.38	o 105
8.39/8.42	c 5.20921 20.5898 713 108009
8.39/8.42	o 104
9.00/9.06	c 5.58815 20.5898 867 110588
9.00/9.06	o 96
9.49/9.56	c 5.9221 20.5898 1124 112847
9.49/9.56	o 88
9.49/9.57	c 5.9251 20.5898 1128 113459
9.49/9.57	o 69
9.59/9.60	c 5.9441 20.5898 1161 113740
9.59/9.60	o 63
10.70/10.76	c 6.73498 20.7188 1244 117893
10.70/10.76	o 50
15.30/15.35	c 10.0025 21.1055 2504 137935
15.30/15.35	o 47
15.79/15.88	c 10.3754 21.1055 1758 141112
15.79/15.88	o 42
15.89/15.93	c 10.4034 21.1055 1872 141570
15.89/15.93	o 34
15.89/15.98	c 10.4444 21.1055 2064 142036
15.89/15.98	o 30
16.39/16.43	c 10.7944 21.1055 2655 145849
16.39/16.43	o 25
16.49/16.57	c 10.9093 21.1055 1755 147117
16.49/16.57	o 20
17.00/17.04	c 11.2933 21.2344 2884 151429
17.00/17.04	o 17
17.19/17.26	c 11.4723 21.2344 2663 153833
17.19/17.26	o 12
18.29/18.36	c 12.4361 21.2344 2648 166859
18.29/18.36	o 10
18.49/18.58	c 12.6351 21.3633 2539 169430
18.49/18.58	o 8
18.49/18.59	c 12.6491 21.3633 2660 169671
18.49/18.59	o 6
18.49/18.60	c 12.6511 21.3633 2673 169697
18.49/18.60	o 5
23.39/23.41	c 17.0944 21.4922 3175 239194
23.39/23.41	o 4
34.59/34.66	c 27.3708 21.625 2289 402751
34.59/34.66	o 1
1067.22/1067.27	c 985.521 25.0391 3261 15096803
1067.22/1067.27	s OPTIMUM FOUND
1067.22/1067.27	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-2694985-1277925750/watcher-2694985-1277925750 -o /tmp/evaluation-result-2694985-1277925750/solver-2694985-1277925750 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694985-1277925750.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.02 2.00 3/196 28629
/proc/meminfo: memFree=30297760/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=2136 CPUtime=0
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 168178519 2187264 174 4089446400 134512640 136421960 4291346144 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28629/statm: 534 174 144 467 0 65 0

[startup+0.0490789 s]
/proc/loadavg: 2.00 2.02 2.00 3/196 28629
/proc/meminfo: memFree=30297760/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=11472 CPUtime=0.04
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 2526 0 0 0 4 0 0 0 25 0 1 0 168178519 11747328 2446 4089446400 134512640 136421960 4291346144 18446744073709551615 134707140 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 2901 2449 193 467 0 2432 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11472

[startup+0.101069 s]
/proc/loadavg: 2.00 2.02 2.00 3/196 28629
/proc/meminfo: memFree=30297760/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=20468 CPUtime=0.09
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 4755 0 0 0 9 0 0 0 25 0 1 0 168178519 20959232 4642 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5117 4642 213 467 0 4648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20468

[startup+0.301035 s]
/proc/loadavg: 2.00 2.02 2.00 3/196 28629
/proc/meminfo: memFree=30297760/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=20948 CPUtime=0.3
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 4849 0 0 0 21 9 0 0 25 0 1 0 168178519 21450752 4733 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5237 4733 236 467 0 4768 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 20948

[startup+0.700964 s]
/proc/loadavg: 2.00 2.02 2.00 3/196 28629
/proc/meminfo: memFree=30297760/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=20948 CPUtime=0.69
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 4852 0 0 0 44 25 0 0 18 0 1 0 168178519 21450752 4734 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5237 4734 237 467 0 4768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20948

[startup+1.50082 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 28630
/proc/meminfo: memFree=30279772/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=20948 CPUtime=1.49
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 4854 0 0 0 92 57 0 0 19 0 1 0 168178519 21450752 4734 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5237 4734 237 467 0 4768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20948

[startup+3.10054 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 28630
/proc/meminfo: memFree=30279920/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=20948 CPUtime=3.09
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 4863 0 0 0 190 119 0 0 18 0 1 0 168178519 21450752 4737 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5237 4737 237 467 0 4768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20948

[startup+6.30097 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 28630
/proc/meminfo: memFree=30280416/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=21080 CPUtime=6.29
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 4902 0 0 0 385 244 0 0 18 0 1 0 168178519 21585920 4769 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5270 4769 237 467 0 4801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21080

[startup+12.7008 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 28630
/proc/meminfo: memFree=30276696/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=21476 CPUtime=12.69
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5010 0 0 0 808 461 0 0 25 0 1 0 168178519 21991424 4866 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5369 4866 237 467 0 4900 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21476

[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 28631
/proc/meminfo: memFree=30276852/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=22004 CPUtime=25.49
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5145 0 0 0 1901 648 0 0 25 0 1 0 168178519 22532096 4988 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5501 4988 237 467 0 5032 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22004

[startup+51.1011 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 28632
/proc/meminfo: memFree=30275548/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=22932 CPUtime=51.09
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5385 0 0 0 4259 850 0 0 25 0 1 0 168178519 23482368 5227 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5733 5227 237 467 0 5264 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22932

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 28633
/proc/meminfo: memFree=30267344/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=23460 CPUtime=102.3
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5537 0 0 0 8989 1241 0 0 25 0 1 0 168178519 24023040 5379 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5865 5379 237 467 0 5396 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23460

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28634
/proc/meminfo: memFree=30266820/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=23856 CPUtime=162.29
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5638 0 0 0 14548 1681 0 0 25 0 1 0 168178519 24428544 5480 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 5964 5480 237 467 0 5495 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23856

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28636
/proc/meminfo: memFree=30266040/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=24120 CPUtime=222.29
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5678 0 0 0 20104 2125 0 0 25 0 1 0 168178519 24698880 5520 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6030 5520 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.05 2.01 2.00 3/197 28638
/proc/meminfo: memFree=30265148/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=24360 CPUtime=282.3
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5758 0 0 0 25663 2567 0 0 25 0 1 0 168178519 24944640 5589 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6090 5589 237 467 0 5621 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24360

[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 28639
/proc/meminfo: memFree=30256304/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=24416 CPUtime=342.3
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5830 0 0 0 31214 3016 0 0 25 0 1 0 168178519 25001984 5622 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6104 5622 237 467 0 5635 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24416

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28641
/proc/meminfo: memFree=30250684/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=24488 CPUtime=402.3
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5912 0 0 0 36780 3450 0 0 25 0 1 0 168178519 25075712 5640 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6122 5640 237 467 0 5653 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24488

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28642
/proc/meminfo: memFree=30244576/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=24620 CPUtime=462.3
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5939 0 0 0 42340 3890 0 0 25 0 1 0 168178519 25210880 5667 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6155 5667 237 467 0 5686 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24620

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28644
/proc/meminfo: memFree=30244420/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=24752 CPUtime=522.31
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 5955 0 0 0 47901 4330 0 0 25 0 1 0 168178519 25346048 5683 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6188 5683 237 467 0 5719 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24752

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28646
/proc/meminfo: memFree=30242640/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25016 CPUtime=582.31
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6021 0 0 0 53492 4739 0 0 25 0 1 0 168178519 25616384 5749 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6254 5749 237 467 0 5785 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25016

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28647
/proc/meminfo: memFree=30233808/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25016 CPUtime=642.31
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6037 0 0 0 59076 5155 0 0 25 0 1 0 168178519 25616384 5765 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6254 5765 237 467 0 5785 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 25016

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28649
/proc/meminfo: memFree=30233164/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25108 CPUtime=702.31
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6078 0 0 0 64651 5580 0 0 25 0 1 0 168178519 25710592 5795 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6277 5795 237 467 0 5808 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 25108

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28650
/proc/meminfo: memFree=30233136/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25240 CPUtime=762.32
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6108 0 0 0 70222 6010 0 0 25 0 1 0 168178519 25845760 5825 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6310 5825 237 467 0 5841 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 25240

[startup+822.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 28652
/proc/meminfo: memFree=30232852/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25240 CPUtime=822.32
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6108 0 0 0 75791 6441 0 0 25 0 1 0 168178519 25845760 5825 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6310 5825 237 467 0 5841 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 25240

[startup+882.301 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 28705
/proc/meminfo: memFree=30486980/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25372 CPUtime=882.31
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6128 0 0 0 81364 6867 0 0 25 0 1 0 168178519 25980928 5845 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6343 5845 237 467 0 5874 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 25372

[startup+942.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 28706
/proc/meminfo: memFree=30361948/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25372 CPUtime=942.31
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6128 0 0 0 86919 7312 0 0 25 0 1 0 168178519 25980928 5845 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6343 5845 237 467 0 5874 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 25372

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 28708
/proc/meminfo: memFree=30286516/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25636 CPUtime=1002.32
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6184 0 0 0 92510 7722 0 0 25 0 1 0 168178519 26251264 5901 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6409 5901 237 467 0 5940 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 25636

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 28709
/proc/meminfo: memFree=30242076/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25636 CPUtime=1062.32
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6184 0 0 0 98089 8143 0 0 25 0 1 0 168178519 26251264 5901 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6409 5901 237 467 0 5940 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 25636

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

[startup+1065.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 28709
/proc/meminfo: memFree=30238480/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25636 CPUtime=1065.52
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6184 0 0 0 98386 8166 0 0 25 0 1 0 168178519 26251264 5901 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6409 5901 237 467 0 5940 0
Current children cumulated CPU time (s) 1065.52
Current children cumulated vsize (KiB) 25636

[startup+1066.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 28709
/proc/meminfo: memFree=30238596/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25636 CPUtime=1066.32
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6184 0 0 0 98461 8171 0 0 25 0 1 0 168178519 26251264 5901 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6409 5901 237 467 0 5940 0
Current children cumulated CPU time (s) 1066.32
Current children cumulated vsize (KiB) 25636

[startup+1066.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 28709
/proc/meminfo: memFree=30238596/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25636 CPUtime=1066.71
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6184 0 0 0 98498 8173 0 0 25 0 1 0 168178519 26251264 5901 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6409 5901 237 467 0 5940 0
Current children cumulated CPU time (s) 1066.71
Current children cumulated vsize (KiB) 25636

[startup+1067.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 28709
/proc/meminfo: memFree=30238348/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25636 CPUtime=1067.12
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6184 0 0 0 98536 8176 0 0 25 0 1 0 168178519 26251264 5901 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6409 5901 237 467 0 5940 0
Current children cumulated CPU time (s) 1067.12
Current children cumulated vsize (KiB) 25636

[startup+1067.2 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 28709
/proc/meminfo: memFree=30238348/32950928 swapFree=67111528/67111528
[pid=28629] ppid=28627 vsize=25636 CPUtime=1067.22
/proc/28629/stat : 28629 (pbct) R 28627 28629 27917 0 -1 4202496 6184 0 0 0 98545 8177 0 0 25 0 1 0 168178519 26251264 5901 4089446400 134512640 136421960 4291346144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28629/statm: 6409 5901 237 467 0 5940 0
Current children cumulated CPU time (s) 1067.22
Current children cumulated vsize (KiB) 25636

Child status: 0
Real time (s): 1067.3
CPU time (s): 1067.32
CPU user time (s): 985.545
CPU system time (s): 81.7796
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 25636

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

runsolver used 1.50477 second user time and 3.56446 second system time

The end

Launcher Data 

Begin job on node112 at 2010-06-30 21:22:30
IDJOB=2694985
IDBENCH=79262
IDSOLVER=1208
FILE ID=node112/2694985-1277925750
PBS_JOBID= 11197354
Free space on /tmp= 74212 MiB

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

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

MD5SUM BENCH= 1693c6ddcdda9c3a56f7a1957868c0a9
RANDOM SEED=654666502

node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30298280 kB
Buffers:        208400 kB
Cached:        1893528 kB
SwapCached:          0 kB
Active:         931480 kB
Inactive:      1573992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30298280 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2028 kB
Writeback:           0 kB
AnonPages:      403536 kB
Mapped:          20372 kB
Slab:            81728 kB
PageTables:       5508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1652124 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node112 at 2010-06-30 21:40:17