Trace number 2695520

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 1057.08 1057.05

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
MD5SUMc6676bcfc0f6c4806260dd430fa1f6e3
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 benchmark143.76
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 constraints1783
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 90636
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90635
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 701
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 11/12 clauses 913/1771 units 0
0.00/0.01	c vars 231
0.09/0.13	c 0.082987 16.6211 43 33258
0.09/0.13	o 517
0.09/0.13	c 0.083987 16.8047 44 35100
0.09/0.13	o 414
0.09/0.15	c 0.085986 16.8047 76 37192
0.09/0.15	o 395
0.09/0.16	c 0.088986 16.8047 96 37586
0.09/0.16	o 382
0.09/0.17	c 0.089986 16.8047 124 37939
0.09/0.17	o 376
0.09/0.18	c 0.090986 16.8047 139 38263
0.09/0.18	o 366
0.29/0.37	c 0.132979 16.9258 872 41274
0.29/0.37	o 344
0.29/0.38	c 0.133979 16.9258 878 43192
0.29/0.38	o 211
0.39/0.42	c 0.141978 16.9258 946 43988
0.39/0.42	o 186
0.48/0.52	c 0.156976 17.0469 1188 44727
0.48/0.52	o 179
0.48/0.54	c 0.160975 17.0469 653 44992
0.48/0.54	o 176
0.59/0.66	c 0.186971 17.0469 982 46116
0.59/0.66	o 153
0.69/0.75	c 0.203968 17.0469 1177 46915
0.69/0.75	o 136
0.79/0.81	c 0.222966 17.0469 765 47460
0.79/0.81	o 127
1.29/1.34	c 0.354946 17.0469 801 50447
1.29/1.34	o 100
1.69/1.73	c 0.435933 17.0469 963 52448
1.69/1.73	o 92
2.09/2.17	c 0.557915 17.0469 766 54753
2.09/2.17	o 88
2.09/2.18	c 0.561914 17.2773 779 54842
2.09/2.18	o 86
3.09/3.12	c 0.794879 17.2773 828 58918
3.09/3.12	o 77
3.30/3.32	c 0.84887 17.2773 1382 59808
3.30/3.32	o 76
4.09/4.18	c 1.09283 17.4023 1245 64337
4.09/4.18	o 58
4.30/4.32	c 1.14882 17.4023 952 65409
4.30/4.32	o 52
6.69/6.73	c 2.21666 17.9062 1737 82171
6.69/6.73	o 48
6.79/6.85	c 2.27965 17.9062 2324 83101
6.79/6.85	o 41
7.89/7.95	c 2.84757 17.9062 1651 91717
7.89/7.95	o 40
10.39/10.47	c 4.11137 17.9062 1882 116213
10.39/10.47	o 35
10.70/10.72	c 4.24935 17.9062 1420 119143
10.70/10.72	o 27
11.00/11.02	c 4.42333 17.9062 1302 123251
11.00/11.02	o 20
11.79/11.89	c 5.00924 17.9062 2024 133908
11.79/11.89	o 18
12.29/12.32	c 5.2942 17.9062 3085 139729
12.29/12.32	o 16
12.29/12.39	c 5.34219 17.9062 2258 141030
12.29/12.39	o 14
14.89/14.94	c 7.07092 17.9062 1727 176568
14.89/14.94	o 13
15.29/15.35	c 7.35488 17.9062 2819 182503
15.29/15.35	o 10
15.29/15.37	c 7.36688 17.9062 1588 182872
15.29/15.37	o 5
26.30/26.36	c 15.3957 18.5156 1617 335913
26.30/26.36	o 3
40.19/40.23	c 25.7681 18.5156 1832 531959
40.19/40.23	o 1
1057.03/1057.03	c 804.194 20.4258 2899 15478498
1057.03/1057.03	s OPTIMUM FOUND
1057.03/1057.03	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-2695520-1277901826/watcher-2695520-1277901826 -o /tmp/evaluation-result-2695520-1277901826/solver-2695520-1277901826 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695520-1277901826.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.72 2.52 2.22 4/199 23954
/proc/meminfo: memFree=31273456/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=2136 CPUtime=0
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 165786112 2187264 174 4089446400 134512640 136421960 4289043664 18446744073709551615 135308188 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23954/statm: 534 174 144 467 0 65 0

[startup+0.0421441 s]
/proc/loadavg: 2.72 2.52 2.22 4/199 23954
/proc/meminfo: memFree=31273456/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=8816 CPUtime=0.03
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 1936 0 0 0 3 0 0 0 25 0 1 0 165786112 9027584 1855 4089446400 134512640 136421960 4289043664 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/23954/statm: 2236 1856 193 467 0 1767 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8816

[startup+0.101128 s]
/proc/loadavg: 2.72 2.52 2.22 4/199 23954
/proc/meminfo: memFree=31273456/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=17016 CPUtime=0.09
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 3923 0 0 0 7 2 0 0 25 0 1 0 165786112 17424384 3842 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/23954/statm: 4254 3842 213 467 0 3785 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17016

[startup+0.301025 s]
/proc/loadavg: 2.72 2.52 2.22 4/199 23954
/proc/meminfo: memFree=31273456/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=17204 CPUtime=0.29
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4008 0 0 0 11 18 0 0 25 0 1 0 165786112 17616896 3921 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4301 3921 236 467 0 3832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17204

[startup+0.701016 s]
/proc/loadavg: 2.72 2.52 2.22 4/199 23954
/proc/meminfo: memFree=31273456/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=17452 CPUtime=0.69
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4052 0 0 0 19 50 0 0 25 0 1 0 165786112 17870848 3959 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4363 3959 236 467 0 3894 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17452

[startup+1.50087 s]
/proc/loadavg: 2.72 2.52 2.22 4/200 23955
/proc/meminfo: memFree=31258940/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=17452 CPUtime=1.49
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4066 0 0 0 39 110 0 0 25 0 1 0 165786112 17870848 3970 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4363 3970 236 467 0 3894 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17452

[startup+3.1006 s]
/proc/loadavg: 2.72 2.52 2.22 4/200 23955
/proc/meminfo: memFree=31258692/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=17688 CPUtime=3.09
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4099 0 0 0 78 231 0 0 25 0 1 0 165786112 18112512 4000 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4422 4000 236 467 0 3953 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17688

[startup+6.30098 s]
/proc/loadavg: 2.75 2.53 2.22 4/200 23955
/proc/meminfo: memFree=31257700/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=18204 CPUtime=6.29
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4225 0 0 0 202 427 0 0 25 0 1 0 165786112 18640896 4122 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4551 4122 236 467 0 4082 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18204

[startup+12.7008 s]
/proc/loadavg: 2.77 2.54 2.23 4/200 23955
/proc/meminfo: memFree=31257584/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=18332 CPUtime=12.69
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4275 0 0 0 554 715 0 0 25 0 1 0 165786112 18771968 4163 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4583 4163 236 467 0 4114 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18332

[startup+25.5004 s]
/proc/loadavg: 2.75 2.54 2.23 3/200 23956
/proc/meminfo: memFree=31256820/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=18828 CPUtime=25.49
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4389 0 0 0 1472 1077 0 0 25 0 1 0 165786112 19279872 4274 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4707 4274 236 467 0 4238 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18828

[startup+51.1007 s]
/proc/loadavg: 2.76 2.56 2.25 4/200 23957
/proc/meminfo: memFree=31255040/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=18956 CPUtime=51.1
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4447 0 0 0 3377 1733 0 0 25 0 1 0 165786112 19410944 4330 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4739 4330 236 467 0 4270 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 18956

[startup+102.306 s]
/proc/loadavg: 2.82 2.61 2.28 4/200 23958
/proc/meminfo: memFree=31250772/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=19212 CPUtime=102.3
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4507 0 0 0 7257 2973 0 0 25 0 1 0 165786112 19673088 4390 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4803 4390 236 467 0 4334 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19212

[startup+162.301 s]
/proc/loadavg: 2.81 2.65 2.31 4/200 23959
/proc/meminfo: memFree=31245504/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=19556 CPUtime=162.3
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4596 0 0 0 11779 4451 0 0 25 0 1 0 165786112 20025344 4479 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4889 4479 236 467 0 4420 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19556

[startup+222.301 s]
/proc/loadavg: 2.93 2.71 2.35 4/200 23961
/proc/meminfo: memFree=31241404/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=19676 CPUtime=222.29
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4627 0 0 0 16296 5933 0 0 25 0 1 0 165786112 20148224 4510 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4919 4510 236 467 0 4450 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19676

[startup+282.301 s]
/proc/loadavg: 2.93 2.74 2.38 4/200 23963
/proc/meminfo: memFree=31236516/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=19924 CPUtime=282.3
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4681 0 0 0 20876 7354 0 0 25 0 1 0 165786112 20402176 4564 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 4981 4564 236 467 0 4512 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19924

[startup+342.301 s]
/proc/loadavg: 2.80 2.74 2.40 4/200 23964
/proc/meminfo: memFree=31231748/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20136 CPUtime=342.3
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4710 0 0 0 25632 8598 0 0 25 0 1 0 165786112 20619264 4593 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5034 4593 236 467 0 4565 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20136

[startup+402.3 s]
/proc/loadavg: 2.82 2.76 2.43 4/200 23966
/proc/meminfo: memFree=31227148/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20260 CPUtime=402.3
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4751 0 0 0 30377 9853 0 0 25 0 1 0 165786112 20746240 4634 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5065 4634 236 467 0 4596 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20260

[startup+462.3 s]
/proc/loadavg: 3.03 2.84 2.47 4/200 23967
/proc/meminfo: memFree=31220756/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20388 CPUtime=462.31
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4784 0 0 0 34882 11349 0 0 25 0 1 0 165786112 20877312 4667 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5097 4667 236 467 0 4628 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 20388

[startup+522.301 s]
/proc/loadavg: 2.92 2.84 2.49 4/200 23969
/proc/meminfo: memFree=31215976/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20496 CPUtime=522.3
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4802 0 0 0 39455 12775 0 0 25 0 1 0 165786112 20987904 4685 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5124 4685 236 467 0 4655 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20496

[startup+582.301 s]
/proc/loadavg: 2.87 2.83 2.51 4/200 23971
/proc/meminfo: memFree=31212304/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20576 CPUtime=582.3
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4831 0 0 0 44210 14020 0 0 25 0 1 0 165786112 21069824 4714 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5144 4714 236 467 0 4675 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20576

[startup+642.301 s]
/proc/loadavg: 2.74 2.80 2.52 3/200 23972
/proc/meminfo: memFree=31208892/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20576 CPUtime=642.32
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4848 0 0 0 48883 15349 0 0 25 0 1 0 165786112 21069824 4731 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5144 4731 236 467 0 4675 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 20576

[startup+702.301 s]
/proc/loadavg: 2.70 2.82 2.54 3/197 24022
/proc/meminfo: memFree=31302464/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20672 CPUtime=702.31
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4861 0 0 0 53475 16756 0 0 25 0 1 0 165786112 21168128 4744 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5168 4744 236 467 0 4699 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 20672

[startup+762.307 s]
/proc/loadavg: 2.26 2.67 2.51 3/197 24023
/proc/meminfo: memFree=31268720/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20720 CPUtime=762.32
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4880 0 0 0 57995 18237 0 0 25 0 1 0 165786112 21217280 4763 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5180 4763 236 467 0 4711 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 20720

[startup+822.3 s]
/proc/loadavg: 2.09 2.55 2.47 3/197 24025
/proc/meminfo: memFree=31243636/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20804 CPUtime=822.31
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4903 0 0 0 62586 19645 0 0 25 0 1 0 165786112 21303296 4786 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5201 4786 236 467 0 4732 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 20804

[startup+882.3 s]
/proc/loadavg: 2.03 2.44 2.44 3/197 24027
/proc/meminfo: memFree=31221284/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20804 CPUtime=882.32
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4904 0 0 0 67106 21126 0 0 25 0 1 0 165786112 21303296 4787 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5201 4787 236 467 0 4732 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 20804

[startup+942.3 s]
/proc/loadavg: 2.01 2.36 2.41 3/197 24028
/proc/meminfo: memFree=31198356/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=942.32
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 71623 22609 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 20912

[startup+1002.3 s]
/proc/loadavg: 2.00 2.29 2.38 3/197 24030
/proc/meminfo: memFree=31175224/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=1002.33
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 76123 24110 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 20912

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

[startup+1023.9 s]
/proc/loadavg: 2.19 2.32 2.39 3/197 24030
/proc/meminfo: memFree=31166912/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=1023.92
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 77764 24628 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 1023.92
Current children cumulated vsize (KiB) 20912

[startup+1036.7 s]
/proc/loadavg: 2.15 2.30 2.38 3/197 24040
/proc/meminfo: memFree=31160080/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=1036.72
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 78765 24907 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 1036.72
Current children cumulated vsize (KiB) 20912

[startup+1049.5 s]
/proc/loadavg: 2.11 2.29 2.37 3/197 24040
/proc/meminfo: memFree=31157304/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=1049.52
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 79789 25163 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 1049.52
Current children cumulated vsize (KiB) 20912

[startup+1052.71 s]
/proc/loadavg: 2.11 2.29 2.37 3/197 24040
/proc/meminfo: memFree=31155688/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=1052.73
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 80056 25217 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 134857216 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 1052.73
Current children cumulated vsize (KiB) 20912

[startup+1054.3 s]
/proc/loadavg: 2.11 2.29 2.37 3/197 24040
/proc/meminfo: memFree=31155316/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=1054.33
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 80191 25242 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 1054.33
Current children cumulated vsize (KiB) 20912

[startup+1055.9 s]
/proc/loadavg: 2.10 2.28 2.37 3/197 24040
/proc/meminfo: memFree=31154076/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=1055.92
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 80325 25267 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 1055.92
Current children cumulated vsize (KiB) 20912

[startup+1056.7 s]
/proc/loadavg: 2.10 2.28 2.37 3/197 24040
/proc/meminfo: memFree=31154076/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=1056.72
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 80392 25280 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 1056.72
Current children cumulated vsize (KiB) 20912

[startup+1056.9 s]
/proc/loadavg: 2.10 2.28 2.37 3/197 24040
/proc/meminfo: memFree=31154076/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=1056.92
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 80408 25284 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 1056.92
Current children cumulated vsize (KiB) 20912

[startup+1057 s]
/proc/loadavg: 2.10 2.28 2.37 3/197 24040
/proc/meminfo: memFree=31153704/32950928 swapFree=67111528/67111528
[pid=23954] ppid=23952 vsize=20912 CPUtime=1057.03
/proc/23954/stat : 23954 (pbct) R 23952 23954 23549 0 -1 4202496 4924 0 0 0 80417 25286 0 0 25 0 1 0 165786112 21413888 4807 4089446400 134512640 136421960 4289043664 18446744073709551615 134902608 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23954/statm: 5228 4807 236 467 0 4759 0
Current children cumulated CPU time (s) 1057.03
Current children cumulated vsize (KiB) 20912

Child status: 0
Real time (s): 1057.05
CPU time (s): 1057.08
CPU user time (s): 804.212
CPU system time (s): 252.871
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20932

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

runsolver used 1.56676 second user time and 3.34949 second system time

The end

Launcher Data 

Begin job on node113 at 2010-06-30 14:43:46
IDJOB=2695520
IDBENCH=78894
IDSOLVER=1208
FILE ID=node113/2695520-1277901826
PBS_JOBID= 11197215
Free space on /tmp= 74212 MiB

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

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

MD5SUM BENCH= c6676bcfc0f6c4806260dd430fa1f6e3
RANDOM SEED=1856627525

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31273604 kB
Buffers:        183196 kB
Cached:        1027976 kB
SwapCached:          0 kB
Active:         857772 kB
Inactive:       675712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31273604 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2300 kB
Writeback:           0 kB
AnonPages:      322572 kB
Mapped:          20296 kB
Slab:            78964 kB
PageTables:       5304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1658808 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 node113 at 2010-06-30 15:01:23