Trace number 2695137

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 1065.51 1065.48

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
MD5SUM14bc8800f159591dc4e79c8dbc089eb4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark390.912
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 138262
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 138261
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
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.15	c 0.105983 19.9883 81 40066
0.09/0.15	o 635
0.19/0.21	c 0.119981 20.2227 139 50908
0.19/0.21	o 510
0.19/0.28	c 0.134979 20.457 254 59987
0.19/0.28	o 484
0.19/0.29	c 0.136979 20.457 266 62022
0.19/0.29	o 455
0.19/0.30	c 0.136979 20.457 270 63215
0.19/0.30	o 437
0.29/0.30	c 0.138978 20.457 273 64558
0.29/0.30	o 419
0.29/0.31	c 0.140978 20.457 273 64826
0.29/0.31	o 418
0.29/0.31	c 0.141978 20.457 273 65985
0.29/0.31	o 381
0.29/0.32	c 0.143978 20.457 274 67192
0.29/0.32	o 342
0.39/0.49	c 0.19197 20.457 484 69286
0.39/0.49	o 338
0.49/0.52	c 0.197969 20.457 503 69841
0.49/0.52	o 323
0.59/0.66	c 0.230964 20.457 716 72123
0.59/0.66	o 316
0.69/0.77	c 0.26296 20.457 877 74037
0.69/0.77	o 309
0.79/0.83	c 0.278957 20.457 1002 76940
0.79/0.83	o 253
0.79/0.90	c 0.292955 20.457 1107 77899
0.79/0.90	o 236
1.10/1.18	c 0.360945 20.457 892 79872
1.10/1.18	o 228
1.69/1.78	c 0.497924 20.457 927 82615
1.69/1.78	o 218
2.39/2.49	c 0.684895 20.5859 987 85259
2.39/2.49	o 197
2.69/2.70	c 0.735888 20.5859 681 86025
2.69/2.70	o 196
3.30/3.37	c 0.884865 20.5859 752 88971
3.30/3.37	o 193
3.79/3.81	c 0.978851 20.5859 771 91741
3.79/3.81	o 181
3.79/3.88	c 0.987849 20.5859 846 92377
3.79/3.88	o 166
3.99/4.04	c 1.02884 20.5859 1046 93395
3.99/4.04	o 159
3.99/4.05	c 1.03284 20.5859 1051 93570
3.99/4.05	o 157
3.99/4.08	c 1.04384 20.5859 1095 93758
3.99/4.08	o 155
4.09/4.11	c 1.05284 20.5859 1143 94039
4.09/4.11	o 149
4.40/4.42	c 1.13083 20.5859 906 95126
4.40/4.42	o 147
4.40/4.47	c 1.14482 20.5859 962 95510
4.40/4.47	o 146
4.79/4.87	c 1.27081 20.5859 1043 98270
4.79/4.87	o 121
4.89/4.90	c 1.2768 20.5859 1071 98988
4.89/4.90	o 101
5.19/5.26	c 1.37379 20.5859 1518 100337
5.19/5.26	o 85
5.49/5.54	c 1.47078 20.5859 1184 101400
5.49/5.54	o 81
6.19/6.28	c 1.73374 20.5859 1458 105365
6.19/6.28	o 75
6.50/6.54	c 1.81772 20.7148 1060 106443
6.50/6.54	o 72
6.60/6.61	c 1.83772 20.7148 1182 106976
6.60/6.61	o 64
7.00/7.05	c 2.01769 20.7148 1314 109544
7.00/7.05	o 55
10.99/11.06	c 3.67744 20.9805 2478 126189
10.99/11.06	o 43
21.29/21.37	c 9.03862 22.5273 1946 188680
21.29/21.37	o 35
21.49/21.54	c 9.12761 22.5273 2720 189985
21.49/21.54	o 28
21.49/21.59	c 9.15461 22.5273 2946 190422
21.49/21.59	o 25
21.60/21.66	c 9.1966 22.5273 1727 191227
21.60/21.66	o 22
22.00/22.02	c 9.43257 22.5273 2250 194854
22.00/22.02	o 18
22.60/22.65	c 9.8775 22.5273 3250 201691
22.60/22.65	o 14
26.49/26.56	c 12.835 22.5273 2491 247963
26.49/26.56	o 11
40.30/40.31	c 22.9205 22.5273 2352 419160
40.30/40.31	o 6
187.70/187.71	c 139.175 23.5586 2297 2473416
187.70/187.71	o 5
1065.42/1065.45	c 813.82 23.6875 3586 15687582
1065.42/1065.45	s OPTIMUM FOUND
1065.42/1065.45	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	5

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695137-1277930807/watcher-2695137-1277930807 -o /tmp/evaluation-result-2695137-1277930807/solver-2695137-1277930807 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695137-1277930807.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.03 2.04 2.01 3/196 16448
/proc/meminfo: memFree=31134508/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=2136 CPUtime=0
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 254 0 0 0 0 0 0 0 21 0 1 0 134376106 2187264 173 4089446400 134512640 136421960 4289744848 18446744073709551615 135380465 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16448/statm: 534 173 144 467 0 65 0

[startup+0.049866 s]
/proc/loadavg: 2.03 2.04 2.01 3/196 16448
/proc/meminfo: memFree=31134508/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=11592 CPUtime=0.04
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 2550 0 0 0 4 0 0 0 21 0 1 0 134376106 11870208 2469 4089446400 134512640 136421960 4289744848 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 2898 2474 193 467 0 2429 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11592

[startup+0.100856 s]
/proc/loadavg: 2.03 2.04 2.01 3/196 16448
/proc/meminfo: memFree=31134508/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=20464 CPUtime=0.09
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 4756 0 0 0 9 0 0 0 21 0 1 0 134376106 20955136 4642 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 5116 4642 213 467 0 4647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20464

[startup+0.300827 s]
/proc/loadavg: 2.03 2.04 2.01 3/196 16448
/proc/meminfo: memFree=31134508/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=20944 CPUtime=0.29
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 4850 0 0 0 13 16 0 0 21 0 1 0 134376106 21446656 4731 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 5236 4731 236 467 0 4767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20944

[startup+0.700754 s]
/proc/loadavg: 2.03 2.04 2.01 3/196 16448
/proc/meminfo: memFree=31134508/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=20944 CPUtime=0.69
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 4859 0 0 0 24 45 0 0 22 0 1 0 134376106 21446656 4733 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 5236 4733 237 467 0 4767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20944

[startup+1.5006 s]
/proc/loadavg: 2.03 2.04 2.01 3/197 16449
/proc/meminfo: memFree=31116520/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=20944 CPUtime=1.49
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 4865 0 0 0 43 106 0 0 25 0 1 0 134376106 21446656 4735 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 5236 4735 237 467 0 4767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20944

[startup+3.10031 s]
/proc/loadavg: 2.03 2.03 2.01 3/197 16449
/proc/meminfo: memFree=31116272/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=21076 CPUtime=3.09
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 4890 0 0 0 83 226 0 0 25 0 1 0 134376106 21581824 4757 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 5269 4757 237 467 0 4800 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21076

[startup+6.30073 s]
/proc/loadavg: 2.03 2.03 2.01 3/197 16449
/proc/meminfo: memFree=31116808/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=21076 CPUtime=6.29
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 4929 0 0 0 173 456 0 0 25 0 1 0 134376106 21581824 4782 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 5269 4782 237 467 0 4800 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21076

[startup+12.7006 s]
/proc/loadavg: 2.02 2.03 2.01 3/197 16449
/proc/meminfo: memFree=31117216/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=21612 CPUtime=12.69
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5051 0 0 0 443 826 0 0 25 0 1 0 134376106 22130688 4900 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 5403 4900 237 467 0 4934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21612

[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 2.01 3/197 16449
/proc/meminfo: memFree=31116396/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=23064 CPUtime=25.49
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5410 0 0 0 1203 1346 0 0 25 0 1 0 134376106 23617536 5253 4089446400 134512640 136421960 4289744848 18446744073709551615 134862018 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 5766 5253 237 467 0 5297 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23064

[startup+51.1006 s]
/proc/loadavg: 2.01 2.03 2.01 3/197 16450
/proc/meminfo: memFree=31115928/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=23328 CPUtime=51.09
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5481 0 0 0 3091 2018 0 0 25 0 1 0 134376106 23887872 5322 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 5832 5322 237 467 0 5363 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23328

[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16451
/proc/meminfo: memFree=31114616/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=23724 CPUtime=102.3
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5590 0 0 0 7031 3199 0 0 25 0 1 0 134376106 24293376 5431 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 5931 5431 237 467 0 5462 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23724

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16453
/proc/meminfo: memFree=31113796/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=162.29
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5699 0 0 0 11869 4360 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24120

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16455
/proc/meminfo: memFree=31113344/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=222.3
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 16715 5515 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 24120

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16457
/proc/meminfo: memFree=31113016/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=282.3
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 21487 6743 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24120

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16486
/proc/meminfo: memFree=31199948/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=342.3
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 26145 8085 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 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 16487
/proc/meminfo: memFree=31023544/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=402.3
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 30722 9508 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24120

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16489
/proc/meminfo: memFree=30857352/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=462.3
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 35292 10938 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24120

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16491
/proc/meminfo: memFree=30711876/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=522.3
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 39817 12413 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24120

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16493
/proc/meminfo: memFree=30652920/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=582.3
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 44413 13817 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24120

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16494
/proc/meminfo: memFree=30633420/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=642.31
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 49036 15195 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 24120

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16495
/proc/meminfo: memFree=30583768/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=702.31
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 53657 16574 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 24120

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16497
/proc/meminfo: memFree=30510580/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=762.31
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 58218 18013 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 24120

[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 16499
/proc/meminfo: memFree=30363248/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=822.31
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 62831 19400 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24120

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16510
/proc/meminfo: memFree=30311204/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=882.32
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5700 0 0 0 67378 20854 0 0 25 0 1 0 134376106 24698880 5540 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5540 237 467 0 5561 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 24120

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16511
/proc/meminfo: memFree=30276824/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24120 CPUtime=942.32
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5706 0 0 0 71959 22273 0 0 25 0 1 0 134376106 24698880 5546 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6030 5546 237 467 0 5561 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 24120

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16512
/proc/meminfo: memFree=30143504/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24252 CPUtime=1002.32
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5711 0 0 0 76529 23703 0 0 25 0 1 0 134376106 24834048 5551 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6063 5551 237 467 0 5594 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 24252

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16514
/proc/meminfo: memFree=30012532/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24252 CPUtime=1062.32
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5712 0 0 0 81148 25084 0 0 25 0 1 0 134376106 24834048 5552 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6063 5552 237 467 0 5594 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 24252

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

[startup+1063.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16514
/proc/meminfo: memFree=30007696/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24252 CPUtime=1063.93
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5712 0 0 0 81268 25125 0 0 25 0 1 0 134376106 24834048 5552 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6063 5552 237 467 0 5594 0
Current children cumulated CPU time (s) 1063.93
Current children cumulated vsize (KiB) 24252

[startup+1064.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16514
/proc/meminfo: memFree=30005216/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24252 CPUtime=1064.73
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5712 0 0 0 81327 25146 0 0 25 0 1 0 134376106 24834048 5552 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6063 5552 237 467 0 5594 0
Current children cumulated CPU time (s) 1064.73
Current children cumulated vsize (KiB) 24252

[startup+1065.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16514
/proc/meminfo: memFree=30005216/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24252 CPUtime=1065.12
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5712 0 0 0 81357 25155 0 0 25 0 1 0 134376106 24834048 5552 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6063 5552 237 467 0 5594 0
Current children cumulated CPU time (s) 1065.12
Current children cumulated vsize (KiB) 24252

[startup+1065.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16514
/proc/meminfo: memFree=30005216/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24252 CPUtime=1065.32
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5712 0 0 0 81372 25160 0 0 25 0 1 0 134376106 24834048 5552 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6063 5552 237 467 0 5594 0
Current children cumulated CPU time (s) 1065.32
Current children cumulated vsize (KiB) 24252

[startup+1065.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16514
/proc/meminfo: memFree=30005216/32951124 swapFree=67111528/67111528
[pid=16448] ppid=16446 vsize=24252 CPUtime=1065.42
/proc/16448/stat : 16448 (pbct) R 16446 16448 16271 0 -1 4202496 5712 0 0 0 81378 25164 0 0 25 0 1 0 134376106 24834048 5552 4089446400 134512640 136421960 4289744848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16448/statm: 6063 5552 237 467 0 5594 0
Current children cumulated CPU time (s) 1065.42
Current children cumulated vsize (KiB) 24252

Child status: 0
Real time (s): 1065.48
CPU time (s): 1065.51
CPU user time (s): 813.842
CPU system time (s): 251.663
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 24252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 813.842
system time used= 251.663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5717
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 1573

runsolver used 1.48977 second user time and 3.35849 second system time

The end

Launcher Data 

Begin job on node137 at 2010-06-30 22:46:47
IDJOB=2695137
IDBENCH=79309
IDSOLVER=1208
FILE ID=node137/2695137-1277930807
PBS_JOBID= 11197430
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.1900570242--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695137-1277930807/watcher-2695137-1277930807 -o /tmp/evaluation-result-2695137-1277930807/solver-2695137-1277930807 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2695137-1277930807.wbo

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

MD5SUM BENCH= 14bc8800f159591dc4e79c8dbc089eb4
RANDOM SEED=1685243818

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31135276 kB
Buffers:        218372 kB
Cached:        1261072 kB
SwapCached:          0 kB
Active:         735696 kB
Inactive:       934416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31135276 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2036 kB
Writeback:           0 kB
AnonPages:      190752 kB
Mapped:          20308 kB
Slab:            81132 kB
PageTables:       4892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1660536 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node137 at 2010-06-30 23:04:32