Trace number 2699373

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 944.083 944.06

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo
MD5SUM98ba7b6540ae93cc2daebc624abceb03
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 benchmark29.5945
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 constraints1777
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 90281
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90280
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
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 7/16 clauses 923/1761 units 0
0.00/0.01	c vars 231
0.02/0.08	c 0.070989 16.6055 10 8146
0.02/0.08	o 917
0.02/0.09	c 0.074988 16.7891 13 13804
0.02/0.09	o 782
0.02/0.09	c 0.076988 16.7891 20 14907
0.02/0.09	o 733
0.09/0.10	c 0.077988 16.7891 27 15379
0.09/0.10	o 716
0.09/0.11	c 0.083987 16.7891 42 17028
0.09/0.11	o 628
0.09/0.11	c 0.085986 16.7891 47 17389
0.09/0.11	o 625
0.09/0.12	c 0.085986 16.7891 51 17866
0.09/0.12	o 614
0.09/0.12	c 0.087986 16.7891 58 19227
0.09/0.12	o 546
0.09/0.13	c 0.088986 16.7891 63 19812
0.09/0.13	o 516
0.09/0.13	c 0.090986 16.7891 66 20356
0.09/0.13	o 490
0.09/0.14	c 0.096985 16.7891 83 20574
0.09/0.14	o 481
0.19/0.21	c 0.117982 16.7891 284 21918
0.19/0.21	o 465
0.19/0.21	c 0.117982 16.7891 284 23812
0.19/0.21	o 364
0.19/0.21	c 0.119981 16.9219 284 24071
0.19/0.21	o 356
0.19/0.21	c 0.121981 16.9219 284 25260
0.19/0.21	o 299
0.19/0.22	c 0.122981 16.9219 290 26380
0.19/0.22	o 243
0.49/0.54	c 0.293955 17.043 716 28959
0.49/0.54	o 235
0.99/1.03	c 0.596909 17.043 1383 31973
0.99/1.03	o 214
1.19/1.26	c 0.732888 17.043 657 33541
1.19/1.26	o 211
1.59/1.67	c 0.986849 17.043 659 37098
1.59/1.67	o 178
1.69/1.75	c 1.03784 17.043 843 37638
1.69/1.75	o 171
1.99/2.06	c 1.23181 17.043 968 40167
1.99/2.06	o 150
2.99/3.05	c 1.82472 17.168 1464 45316
2.99/3.05	o 148
3.09/3.10	c 1.84772 17.168 855 45665
3.09/3.10	o 147
3.09/3.11	c 1.85372 17.168 871 45864
3.09/3.11	o 141
3.39/3.43	c 2.03069 17.168 919 47379
3.39/3.43	o 138
3.69/3.78	c 2.25866 17.168 1357 49960
3.69/3.78	o 115
4.49/4.50	c 2.71859 17.168 791 54533
4.49/4.50	o 110
4.89/4.99	c 3.00454 17.168 1628 57572
4.89/4.99	o 107
5.69/5.78	c 3.52246 17.168 915 62597
5.69/5.78	o 94
9.29/9.31	c 5.59415 17.4219 1548 80135
9.29/9.31	o 85
9.39/9.44	c 5.68314 17.4219 1210 81084
9.39/9.44	o 81
9.89/9.97	c 6.05708 17.4219 1472 84805
9.89/9.97	o 77
12.00/12.10	c 7.51286 17.4219 1543 98992
12.00/12.10	o 57
14.69/14.75	c 9.2376 17.8047 1436 119335
14.69/14.75	o 52
15.00/15.00	c 9.42157 17.8047 1833 121712
15.00/15.00	o 49
15.19/15.30	c 9.63753 17.8047 1261 124602
15.19/15.30	o 46
15.59/15.62	c 9.8575 17.8047 1781 127526
15.59/15.62	o 31
16.09/16.16	c 10.3024 17.8047 2080 133756
16.09/16.16	o 17
16.20/16.28	c 10.3974 17.8047 1630 135299
16.20/16.28	o 16
18.49/18.55	c 12.3521 17.8047 1917 166713
18.49/18.55	o 14
48.89/48.97	c 37.4743 18.1875 2840 594591
48.89/48.97	o 10
49.09/49.15	c 37.6323 18.1875 1858 597555
49.09/49.15	o 8
49.69/49.74	c 38.1452 18.1875 1545 607611
49.69/49.74	o 4
63.10/63.18	c 49.8334 18.5625 1739 810566
63.10/63.18	o 1
944.01/944.04	c 808.425 20.0352 2011 14956335
944.01/944.04	s OPTIMUM FOUND
944.01/944.04	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-2699373-1278460767/watcher-2699373-1278460767 -o /tmp/evaluation-result-2699373-1278460767/solver-2699373-1278460767 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699373-1278460767.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 1.99 1.90 4/178 13142
/proc/meminfo: memFree=30072888/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=2136 CPUtime=0
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 14290623 2187264 174 4089446400 134512640 136422188 4288283760 18446744073709551615 135162526 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13142/statm: 534 174 144 467 0 65 0

[startup+0.0245851 s]
/proc/loadavg: 2.00 1.99 1.90 4/178 13142
/proc/meminfo: memFree=30072888/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=4920 CPUtime=0.02
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 928 0 0 0 2 0 0 0 25 0 1 0 14290623 5038080 847 4089446400 134512640 136422188 4288283760 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 1230 849 193 467 0 761 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4920

[startup+0.100571 s]
/proc/loadavg: 2.00 1.99 1.90 4/178 13142
/proc/meminfo: memFree=30072888/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=17188 CPUtime=0.09
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 3992 0 0 0 7 2 0 0 25 0 1 0 14290623 17600512 3908 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4297 3908 236 467 0 3828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17188

[startup+0.300536 s]
/proc/loadavg: 2.00 1.99 1.90 4/178 13142
/proc/meminfo: memFree=30072888/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=17324 CPUtime=0.29
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4023 0 0 0 15 14 0 0 25 0 1 0 14290623 17739776 3926 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4331 3926 237 467 0 3862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17324

[startup+0.700465 s]
/proc/loadavg: 2.00 1.99 1.90 4/178 13142
/proc/meminfo: memFree=30072888/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=17448 CPUtime=0.69
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4057 0 0 0 38 31 0 0 25 0 1 0 14290623 17866752 3959 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4362 3959 237 467 0 3893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17448

[startup+1.50032 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 13143
/proc/meminfo: memFree=30057752/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=17448 CPUtime=1.49
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4075 0 0 0 88 61 0 0 25 0 1 0 14290623 17866752 3975 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4362 3975 237 467 0 3893 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17448

[startup+3.10104 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 13143
/proc/meminfo: memFree=30057628/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=17576 CPUtime=3.09
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4098 0 0 0 184 125 0 0 18 0 1 0 14290623 17997824 3994 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4394 3994 237 467 0 3925 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17576

[startup+6.30047 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 13143
/proc/meminfo: memFree=30057904/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=17576 CPUtime=6.29
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4117 0 0 0 378 251 0 0 25 0 1 0 14290623 17997824 4006 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4394 4006 237 467 0 3925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17576

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 13144
/proc/meminfo: memFree=30057992/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=17836 CPUtime=12.69
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4177 0 0 0 791 478 0 0 25 0 1 0 14290623 18264064 4062 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4459 4062 237 467 0 3990 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17836

[startup+25.5001 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 13144
/proc/meminfo: memFree=30057548/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=18356 CPUtime=25.49
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4321 0 0 0 1795 754 0 0 25 0 1 0 14290623 18796544 4199 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4589 4199 237 467 0 4120 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18356

[startup+51.1005 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 13144
/proc/meminfo: memFree=30056868/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=18620 CPUtime=51.09
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4398 0 0 0 3937 1172 0 0 25 0 1 0 14290623 19066880 4273 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4655 4273 237 467 0 4186 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18620

[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13155
/proc/meminfo: memFree=30056396/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=19132 CPUtime=102.3
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4500 0 0 0 8359 1871 0 0 25 0 1 0 14290623 19591168 4374 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4783 4374 237 467 0 4314 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19132

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13157
/proc/meminfo: memFree=30055784/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=19392 CPUtime=162.3
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4578 0 0 0 13480 2750 0 0 25 0 1 0 14290623 19857408 4452 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4848 4452 237 467 0 4379 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19392

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13158
/proc/meminfo: memFree=30055760/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=19492 CPUtime=222.29
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4613 0 0 0 18684 3545 0 0 25 0 1 0 14290623 19959808 4487 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4873 4487 237 467 0 4404 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19492

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13160
/proc/meminfo: memFree=30055740/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=19752 CPUtime=282.29
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4674 0 0 0 23912 4317 0 0 25 0 1 0 14290623 20226048 4548 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 4938 4548 237 467 0 4469 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19752

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13161
/proc/meminfo: memFree=30055344/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20008 CPUtime=342.3
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4723 0 0 0 29148 5082 0 0 25 0 1 0 14290623 20488192 4597 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5002 4597 237 467 0 4533 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20008

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13163
/proc/meminfo: memFree=30055072/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20108 CPUtime=402.3
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4747 0 0 0 34259 5971 0 0 25 0 1 0 14290623 20590592 4621 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5027 4621 237 467 0 4558 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20108

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13165
/proc/meminfo: memFree=30055168/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20108 CPUtime=462.3
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4747 0 0 0 39456 6774 0 0 25 0 1 0 14290623 20590592 4621 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5027 4621 237 467 0 4558 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20108

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13166
/proc/meminfo: memFree=30055012/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20308 CPUtime=522.31
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4797 0 0 0 44650 7581 0 0 25 0 1 0 14290623 20795392 4671 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5077 4671 237 467 0 4608 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 20308

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13168
/proc/meminfo: memFree=30054856/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20308 CPUtime=582.31
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4810 0 0 0 49845 8386 0 0 25 0 1 0 14290623 20795392 4684 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5077 4684 237 467 0 4608 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20308

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13169
/proc/meminfo: memFree=30054576/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20436 CPUtime=642.31
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4827 0 0 0 54984 9247 0 0 25 0 1 0 14290623 20926464 4701 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5109 4701 237 467 0 4640 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20436

[startup+702.301 s]
/proc/loadavg: 2.14 2.02 1.92 3/179 13199
/proc/meminfo: memFree=30060884/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20436 CPUtime=702.31
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4849 0 0 0 60175 10056 0 0 25 0 1 0 14290623 20926464 4723 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5109 4723 237 467 0 4640 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 20436

[startup+762.306 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 13201
/proc/meminfo: memFree=30060704/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20512 CPUtime=762.32
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4862 0 0 0 65294 10938 0 0 25 0 1 0 14290623 21004288 4736 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5128 4736 237 467 0 4659 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 20512

[startup+822.301 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 13202
/proc/meminfo: memFree=30060524/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20512 CPUtime=822.32
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4870 0 0 0 70460 11772 0 0 25 0 1 0 14290623 21004288 4744 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5128 4744 237 467 0 4659 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 20512

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13204
/proc/meminfo: memFree=30060116/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20512 CPUtime=882.32
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4870 0 0 0 75584 12648 0 0 25 0 1 0 14290623 21004288 4744 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5128 4744 237 467 0 4659 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 20512

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13205
/proc/meminfo: memFree=30060212/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20512 CPUtime=942.31
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4870 0 0 0 80684 13547 0 0 25 0 1 0 14290623 21004288 4744 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5128 4744 237 467 0 4659 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 20512

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

[startup+943.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13205
/proc/meminfo: memFree=30060212/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20512 CPUtime=943.12
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4870 0 0 0 80759 13553 0 0 25 0 1 0 14290623 21004288 4744 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5128 4744 237 467 0 4659 0
Current children cumulated CPU time (s) 943.12
Current children cumulated vsize (KiB) 20512

[startup+943.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13205
/proc/meminfo: memFree=30060212/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20512 CPUtime=943.52
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4870 0 0 0 80794 13558 0 0 25 0 1 0 14290623 21004288 4744 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5128 4744 237 467 0 4659 0
Current children cumulated CPU time (s) 943.52
Current children cumulated vsize (KiB) 20512

[startup+943.901 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13205
/proc/meminfo: memFree=30060328/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20512 CPUtime=943.91
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4870 0 0 0 80829 13562 0 0 25 0 1 0 14290623 21004288 4744 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5128 4744 237 467 0 4659 0
Current children cumulated CPU time (s) 943.91
Current children cumulated vsize (KiB) 20512

[startup+944.001 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13205
/proc/meminfo: memFree=30060328/32950928 swapFree=67111528/67111528
[pid=13142] ppid=13140 vsize=20512 CPUtime=944.01
/proc/13142/stat : 13142 (pbct) R 13140 13142 12672 0 -1 4202496 4870 0 0 0 80838 13563 0 0 25 0 1 0 14290623 21004288 4744 4089446400 134512640 136422188 4288283760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13142/statm: 5128 4744 237 467 0 4659 0
Current children cumulated CPU time (s) 944.01
Current children cumulated vsize (KiB) 20512

Child status: 0
Real time (s): 944.06
CPU time (s): 944.083
CPU user time (s): 808.443
CPU system time (s): 135.64
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20564

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

runsolver used 1.3408 second user time and 2.95855 second system time

The end

Launcher Data 

Begin job on node123 at 2010-07-07 01:59:27
IDJOB=2699373
IDBENCH=78933
IDSOLVER=1212
FILE ID=node123/2699373-1278460767
PBS_JOBID= 11233746
Free space on /tmp= 73748 MiB

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

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

MD5SUM BENCH= 98ba7b6540ae93cc2daebc624abceb03
RANDOM SEED=1805490339

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30073408 kB
Buffers:        106200 kB
Cached:        2551248 kB
SwapCached:          0 kB
Active:         710524 kB
Inactive:      2028740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30073408 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1940 kB
Writeback:           0 kB
AnonPages:       81944 kB
Mapped:          15624 kB
Slab:            73760 kB
PageTables:       5252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   227520 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= 73748 MiB
End job on node123 at 2010-07-07 02:15:11