Trace number 2699377

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.1 fixedOPTIMUM 1060.47 1060.44

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-33-100-0.wbo
MD5SUM9f5c0fb24468d0f2311d30a10738459c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark348.124
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 constraints1785
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 88246
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 88245
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 651
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.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 11/12 clauses 911/1773 units 0
0.00/0.01	c vars 231
0.06/0.08	c 0.073988 16.5938 11 8482
0.06/0.08	o 775
0.06/0.09	c 0.076988 16.9844 17 9347
0.06/0.09	o 770
0.06/0.09	c 0.077988 16.9844 22 12785
0.06/0.09	o 596
0.09/0.11	c 0.080987 16.9844 52 13384
0.09/0.11	o 576
0.09/0.12	c 0.084987 16.9844 85 14602
0.09/0.12	o 519
0.09/0.13	c 0.091986 16.9844 123 15192
0.09/0.13	o 497
0.09/0.14	c 0.096985 16.9844 158 15331
0.09/0.14	o 496
0.09/0.16	c 0.099984 16.9844 189 15990
0.09/0.16	o 469
0.09/0.18	c 0.106983 16.9844 292 17008
0.09/0.18	o 445
0.09/0.19	c 0.107983 16.9844 294 17447
0.09/0.19	o 430
0.19/0.20	c 0.109983 16.9844 301 17744
0.19/0.20	o 422
0.19/0.20	c 0.109983 16.9844 305 17958
0.19/0.20	o 420
0.19/0.21	c 0.111982 16.9844 314 18227
0.19/0.21	o 414
0.19/0.21	c 0.112982 16.9844 321 18954
0.19/0.21	o 386
0.19/0.25	c 0.121981 16.9844 384 20574
0.19/0.25	o 311
0.29/0.32	c 0.135979 16.9844 558 21260
0.29/0.32	o 298
0.29/0.36	c 0.145977 16.9844 662 21918
0.29/0.36	o 282
0.49/0.51	c 0.183972 17.1055 1175 22962
0.49/0.51	o 281
0.49/0.53	c 0.188971 17.1055 647 23568
0.49/0.53	o 257
0.49/0.54	c 0.19197 17.1055 679 24345
0.49/0.54	o 221
0.49/0.55	c 0.19397 17.1055 689 24432
0.49/0.55	o 220
0.79/0.80	c 0.25896 17.2305 1418 26802
0.79/0.80	o 168
1.39/1.46	c 0.422935 17.2305 1338 29170
1.39/1.46	o 164
1.39/1.48	c 0.427934 17.2305 715 29607
1.39/1.48	o 147
1.49/1.56	c 0.448931 17.2305 894 30140
1.49/1.56	o 146
1.59/1.62	c 0.45993 17.2305 1040 30617
1.59/1.62	o 144
1.59/1.67	c 0.476927 17.2305 1152 31086
1.59/1.67	o 138
1.59/1.68	c 0.477927 17.2305 1160 31456
1.59/1.68	o 126
1.59/1.69	c 0.477927 17.2305 1173 31661
1.59/1.69	o 125
1.70/1.70	c 0.480926 17.2305 593 31976
1.70/1.70	o 113
2.39/2.42	c 0.679896 17.2305 981 35691
2.39/2.42	o 111
2.39/2.49	c 0.694894 17.2305 1124 36124
2.39/2.49	o 106
2.69/2.77	c 0.776881 17.2305 1138 37477
2.69/2.77	o 104
3.09/3.15	c 0.882865 17.2305 1340 39438
3.09/3.15	o 88
4.19/4.27	c 1.24981 17.3555 1439 44457
4.19/4.27	o 79
4.19/4.29	c 1.25881 17.3555 762 44572
4.19/4.29	o 78
4.39/4.49	c 1.3288 17.3555 1392 45862
4.39/4.49	o 73
4.79/4.85	c 1.46278 17.3555 1715 48099
4.79/4.85	o 59
4.99/5.00	c 1.52477 17.3555 1421 49304
4.99/5.00	o 50
5.59/5.67	c 1.82672 17.4766 1826 53860
5.59/5.67	o 31
6.50/6.59	c 2.45463 18.7617 1475 63087
6.50/6.59	o 27
6.99/7.02	c 2.73158 18.7617 1745 67174
6.99/7.02	o 24
6.99/7.09	c 2.77858 18.7617 2293 68183
6.99/7.09	o 15
7.70/7.71	c 3.22751 18.7617 2449 76531
7.70/7.71	o 13
7.79/7.88	c 3.33049 18.7617 2482 78835
7.79/7.88	o 9
10.39/10.47	c 5.32619 18.7617 2323 114453
10.39/10.47	o 6
12.39/12.41	c 6.85096 18.7617 2203 144410
12.39/12.41	o 3
17.49/17.54	c 10.8953 18.7617 2320 218987
17.49/17.54	o 1
1060.42/1060.42	c 851.592 20.8086 2798 15278327
1060.42/1060.42	s OPTIMUM FOUND
1060.42/1060.42	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-2699377-1278460791/watcher-2699377-1278460791 -o /tmp/evaluation-result-2699377-1278460791/solver-2699377-1278460791 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699377-1278460791.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.00 1.91 3/178 12950
/proc/meminfo: memFree=30707480/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=2136 CPUtime=0
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 255 0 0 0 0 0 0 0 21 0 1 0 14293047 2187264 174 4089446400 134512640 136422188 4290919120 18446744073709551615 135159083 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12950/statm: 534 174 144 467 0 65 0

[startup+0.0633541 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12950
/proc/meminfo: memFree=30707480/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=16504 CPUtime=0.06
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 3779 0 0 0 6 0 0 0 22 0 1 0 14293047 16900096 3698 4089446400 134512640 136422188 4290919120 18446744073709551615 135811278 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12950/statm: 4126 3698 203 467 0 3657 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16504

[startup+0.100355 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12950
/proc/meminfo: memFree=30707480/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=17388 CPUtime=0.09
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4023 0 0 0 7 2 0 0 22 0 1 0 14293047 17805312 3939 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12950/statm: 4347 3939 236 467 0 3878 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17388

[startup+0.300311 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12950
/proc/meminfo: memFree=30707480/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=17388 CPUtime=0.29
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4035 0 0 0 12 17 0 0 22 0 1 0 14293047 17805312 3939 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12950/statm: 4347 3939 236 467 0 3878 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17388

[startup+0.700249 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12950
/proc/meminfo: memFree=30707480/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=17512 CPUtime=0.69
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4067 0 0 0 23 46 0 0 24 0 1 0 14293047 17932288 3965 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12950/statm: 4378 3965 236 467 0 3909 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17512

[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12951
/proc/meminfo: memFree=30692096/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=17640 CPUtime=1.49
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4109 0 0 0 42 107 0 0 25 0 1 0 14293047 18063360 4004 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12950/statm: 4410 4004 236 467 0 3941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17640

[startup+3.10083 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12951
/proc/meminfo: memFree=30691972/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=17640 CPUtime=3.09
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4118 0 0 0 86 223 0 0 25 0 1 0 14293047 18063360 4004 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12950/statm: 4410 4004 236 467 0 3941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17640

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12951
/proc/meminfo: memFree=30692512/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=18552 CPUtime=6.29
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4338 0 0 0 226 403 0 0 25 0 1 0 14293047 18997248 4217 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 4638 4217 236 467 0 4169 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18552

[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12952
/proc/meminfo: memFree=30692832/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=19208 CPUtime=12.69
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4504 0 0 0 708 561 0 0 25 0 1 0 14293047 19668992 4376 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 4802 4376 236 467 0 4333 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19208

[startup+25.5009 s]
/proc/loadavg: 2.07 2.01 1.91 3/179 12952
/proc/meminfo: memFree=30693332/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=19208 CPUtime=25.49
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4505 0 0 0 1729 820 0 0 25 0 1 0 14293047 19668992 4376 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 4802 4376 236 467 0 4333 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19208

[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 12953
/proc/meminfo: memFree=30692900/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=19208 CPUtime=51.09
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4505 0 0 0 3745 1364 0 0 25 0 1 0 14293047 19668992 4376 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 4802 4376 236 467 0 4333 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19208

[startup+102.305 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 12963
/proc/meminfo: memFree=30692060/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=19336 CPUtime=102.3
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4559 0 0 0 7828 2402 0 0 25 0 1 0 14293047 19800064 4430 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 4834 4430 236 467 0 4365 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19336

[startup+162.301 s]
/proc/loadavg: 2.04 2.02 1.92 3/179 12965
/proc/meminfo: memFree=30691656/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=19720 CPUtime=162.29
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4650 0 0 0 12656 3573 0 0 25 0 1 0 14293047 20193280 4521 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 4930 4521 236 467 0 4461 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19720

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 12966
/proc/meminfo: memFree=30691480/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=19948 CPUtime=222.3
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4690 0 0 0 17478 4752 0 0 25 0 1 0 14293047 20426752 4561 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 4987 4561 236 467 0 4518 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19948

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.92 3/179 12968
/proc/meminfo: memFree=30691080/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=20204 CPUtime=282.3
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4772 0 0 0 22323 5907 0 0 25 0 1 0 14293047 20688896 4643 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5051 4643 236 467 0 4582 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20204

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12970
/proc/meminfo: memFree=30690900/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=20388 CPUtime=342.3
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4808 0 0 0 27159 7071 0 0 25 0 1 0 14293047 20877312 4679 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5097 4679 236 467 0 4628 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20388

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12971
/proc/meminfo: memFree=30690868/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=20504 CPUtime=402.3
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4838 0 0 0 32030 8200 0 0 25 0 1 0 14293047 20996096 4709 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5126 4709 236 467 0 4657 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20504

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12973
/proc/meminfo: memFree=30690680/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=20504 CPUtime=462.3
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4842 0 0 0 36877 9353 0 0 25 0 1 0 14293047 20996096 4713 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5126 4713 236 467 0 4657 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20504

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12974
/proc/meminfo: memFree=30690656/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=20708 CPUtime=522.3
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4884 0 0 0 41691 10539 0 0 25 0 1 0 14293047 21204992 4755 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5177 4755 236 467 0 4708 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20708

[startup+582.301 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 12976
/proc/meminfo: memFree=30690364/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=20836 CPUtime=582.3
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4927 0 0 0 46551 11679 0 0 25 0 1 0 14293047 21336064 4798 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5209 4798 236 467 0 4740 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20836

[startup+642.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 12978
/proc/meminfo: memFree=30690432/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21040 CPUtime=642.31
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4963 0 0 0 51419 12812 0 0 25 0 1 0 14293047 21544960 4834 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5260 4834 236 467 0 4791 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 21040

[startup+702.301 s]
/proc/loadavg: 2.05 2.02 1.93 3/179 12979
/proc/meminfo: memFree=30690404/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21168 CPUtime=702.31
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4995 0 0 0 56272 13959 0 0 25 0 1 0 14293047 21676032 4866 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5292 4866 236 467 0 4823 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 21168

[startup+762.306 s]
/proc/loadavg: 2.02 2.02 1.93 3/179 12981
/proc/meminfo: memFree=30690340/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21168 CPUtime=762.31
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 4995 0 0 0 61095 15136 0 0 25 0 1 0 14293047 21676032 4866 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5292 4866 236 467 0 4823 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 21168

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 12982
/proc/meminfo: memFree=30690188/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=822.31
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5020 0 0 0 65967 16264 0 0 25 0 1 0 14293047 21815296 4891 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4891 236 467 0 4857 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 21304

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12984
/proc/meminfo: memFree=30689892/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=882.31
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5030 0 0 0 70837 17394 0 0 25 0 1 0 14293047 21815296 4901 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4901 236 467 0 4857 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 21304

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12986
/proc/meminfo: memFree=30689728/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=942.31
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5030 0 0 0 75666 18565 0 0 25 0 1 0 14293047 21815296 4901 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4901 236 467 0 4857 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 21304

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12987
/proc/meminfo: memFree=30689808/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=1002.31
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5030 0 0 0 80465 19766 0 0 25 0 1 0 14293047 21815296 4901 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4901 236 467 0 4857 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 21304

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

[startup+1023.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12988
/proc/meminfo: memFree=30689656/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=1023.91
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5050 0 0 0 82202 20189 0 0 25 0 1 0 14293047 21815296 4921 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4921 236 467 0 4857 0
Current children cumulated CPU time (s) 1023.91
Current children cumulated vsize (KiB) 21304

[startup+1036.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12988
/proc/meminfo: memFree=30689524/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=1036.71
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5050 0 0 0 83240 20431 0 0 25 0 1 0 14293047 21815296 4921 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4921 236 467 0 4857 0
Current children cumulated CPU time (s) 1036.71
Current children cumulated vsize (KiB) 21304

[startup+1049.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12988
/proc/meminfo: memFree=30689620/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=1049.51
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5050 0 0 0 84270 20681 0 0 25 0 1 0 14293047 21815296 4921 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4921 236 467 0 4857 0
Current children cumulated CPU time (s) 1049.51
Current children cumulated vsize (KiB) 21304

[startup+1055.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12988
/proc/meminfo: memFree=30689620/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=1055.92
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5050 0 0 0 84794 20798 0 0 25 0 1 0 14293047 21815296 4921 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4921 236 467 0 4857 0
Current children cumulated CPU time (s) 1055.92
Current children cumulated vsize (KiB) 21304

[startup+1057.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12988
/proc/meminfo: memFree=30689620/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=1057.52
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5050 0 0 0 84923 20829 0 0 25 0 1 0 14293047 21815296 4921 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4921 236 467 0 4857 0
Current children cumulated CPU time (s) 1057.52
Current children cumulated vsize (KiB) 21304

[startup+1059.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12989
/proc/meminfo: memFree=30689620/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=1059.12
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5050 0 0 0 85052 20860 0 0 25 0 1 0 14293047 21815296 4921 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4921 236 467 0 4857 0
Current children cumulated CPU time (s) 1059.12
Current children cumulated vsize (KiB) 21304

[startup+1059.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12989
/proc/meminfo: memFree=30689620/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=1059.91
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5050 0 0 0 85116 20875 0 0 25 0 1 0 14293047 21815296 4921 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4921 236 467 0 4857 0
Current children cumulated CPU time (s) 1059.91
Current children cumulated vsize (KiB) 21304

[startup+1060.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12989
/proc/meminfo: memFree=30689620/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=1060.32
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5050 0 0 0 85149 20883 0 0 25 0 1 0 14293047 21815296 4921 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4921 236 467 0 4857 0
Current children cumulated CPU time (s) 1060.32
Current children cumulated vsize (KiB) 21304

[startup+1060.41 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12989
/proc/meminfo: memFree=30689620/32951124 swapFree=67111528/67111528
[pid=12950] ppid=12948 vsize=21304 CPUtime=1060.42
/proc/12950/stat : 12950 (pbct) R 12948 12950 12398 0 -1 4202496 5050 0 0 0 85157 20885 0 0 25 0 1 0 14293047 21815296 4921 4089446400 134512640 136422188 4290919120 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12950/statm: 5326 4921 236 467 0 4857 0
Current children cumulated CPU time (s) 1060.42
Current children cumulated vsize (KiB) 21304

Child status: 0
Real time (s): 1060.44
CPU time (s): 1060.47
CPU user time (s): 851.609
CPU system time (s): 208.858
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 21304

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

runsolver used 1.52077 second user time and 3.3105 second system time

The end

Launcher Data 

Begin job on node119 at 2010-07-07 01:59:51
IDJOB=2699377
IDBENCH=78935
IDSOLVER=1212
FILE ID=node119/2699377-1278460791
PBS_JOBID= 11233754
Free space on /tmp= 73516 MiB

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

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

MD5SUM BENCH= 9f5c0fb24468d0f2311d30a10738459c
RANDOM SEED=1315258092

node119.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.868
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.73
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.868
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.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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:     32951124 kB
MemFree:      30708000 kB
Buffers:        104272 kB
Cached:        1918736 kB
SwapCached:          0 kB
Active:         780032 kB
Inactive:      1318496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30708000 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:       75768 kB
Mapped:          15616 kB
Slab:            79464 kB
PageTables:       4836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   218788 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= 73516 MiB
End job on node119 at 2010-07-07 02:17:31