Trace number 2695561

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 1129.13 1129.12

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo
MD5SUM469cd609ab798a94b23843d73b73e9c6
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 benchmark340.634
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 constraints1837
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 93832
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93831
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 677
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 5/18 clauses 865/1819 units 0
0.00/0.01	c vars 231
0.07/0.10	c 0.077988 16.8438 17 16636
0.07/0.10	o 390
28.69/28.77	c 4.55631 17.5898 2459 5937523
28.69/28.77	o 350
30.19/30.27	c 4.76628 17.5898 959 6196175
30.19/30.27	o 341
41.59/41.67	c 6.558 17.5898 940 8522526
41.59/41.67	o 320
41.80/41.80	c 6.583 17.5898 1077 8548733
41.80/41.80	o 290
44.59/44.67	c 6.99194 17.5898 1030 9089131
44.59/44.67	o 288
54.59/54.68	c 8.65568 17.5898 1545 10563920
54.59/54.68	o 285
55.39/55.44	c 8.75767 17.5898 1002 10653136
55.39/55.44	o 281
59.79/59.83	c 9.38357 17.5898 968 11179148
59.79/59.83	o 274
76.39/76.40	c 11.9552 17.5898 1180 13978758
76.39/76.40	o 272
113.09/113.19	c 17.8113 17.5898 972 19952238
113.09/113.19	o 266
113.09/113.20	c 17.8123 17.5898 976 19953010
113.09/113.20	o 249
116.09/116.11	c 18.1752 17.5898 1051 20129027
116.09/116.11	o 246
116.19/116.24	c 18.2052 17.5898 955 20142343
116.19/116.24	o 236
124.20/124.20	c 19.464 17.5898 1141 21186330
124.20/124.20	o 215
164.29/164.33	c 25.3371 17.5898 995 27130053
164.29/164.33	o 207
167.69/167.78	c 25.9411 17.5898 1226 27349802
167.69/167.78	o 179
169.49/169.58	c 26.221 17.5898 1239 27502460
169.49/169.58	o 165
184.10/184.12	c 28.6226 17.5898 1224 29524496
184.10/184.12	o 161
189.39/189.43	c 29.5145 17.5898 908 30032543
189.39/189.43	o 159
189.39/189.48	c 29.5245 17.5898 1028 30033208
189.39/189.48	o 158
191.49/191.52	c 29.9264 17.5898 927 30134720
191.49/191.52	o 157
191.49/191.53	c 29.9294 17.5898 934 30134830
191.49/191.53	o 155
191.49/191.54	c 29.9394 17.5898 1041 30135133
191.49/191.54	o 153
191.49/191.55	c 29.9424 17.5898 1052 30135205
191.49/191.55	o 152
191.69/191.71	c 29.9994 17.5898 1009 30136142
191.69/191.71	o 146
191.79/191.84	c 30.0294 17.5898 1301 30136935
191.79/191.84	o 131
191.79/191.87	c 30.0454 17.5898 982 30137390
191.79/191.87	o 123
191.79/191.88	c 30.0464 17.5898 982 30137567
191.79/191.88	o 119
191.89/191.90	c 30.0574 17.5898 1063 30137913
191.89/191.90	o 112
191.89/191.91	c 30.0594 17.5898 1068 30138269
191.89/191.91	o 98
191.99/192.02	c 30.0934 17.5898 1098 30138986
191.99/192.02	o 92
192.39/192.43	c 30.1704 17.5898 1436 30141321
192.39/192.43	o 74
192.59/192.62	c 30.2124 17.5898 907 30142533
192.59/192.62	o 69
192.79/192.83	c 30.2804 17.7188 1665 30143775
192.79/192.83	o 68
193.09/193.14	c 30.3884 17.7188 994 30145971
193.09/193.14	o 54
194.39/194.49	c 30.9363 17.9688 1645 30156549
194.39/194.49	o 38
194.49/194.51	c 30.9463 17.9688 1746 30156948
194.49/194.51	o 29
194.49/194.58	c 30.9983 17.9688 2422 30158092
194.49/194.58	o 27
194.60/194.62	c 31.0253 17.9688 1539 30158840
194.60/194.62	o 24
195.20/195.24	c 31.4622 17.9688 2321 30168218
195.20/195.24	o 23
195.99/196.08	c 32.0561 17.9688 2070 30179921
195.99/196.08	o 13
197.59/197.67	c 33.21 18.3477 2416 30203349
197.59/197.67	o 12
197.90/197.94	c 33.4089 18.3477 1850 30206668
197.90/197.94	o 10
198.59/198.66	c 33.9678 18.3477 2439 30216659
198.59/198.66	o 9
199.19/199.28	c 34.4258 18.3477 1610 30226532
199.19/199.28	o 7
200.10/200.15	c 35.0807 18.3477 2988 30239787
200.10/200.15	o 5
200.29/200.31	c 35.1996 18.3477 3030 30241917
200.29/200.31	o 2
205.29/205.34	c 39.166 18.3477 2935 30324660
205.29/205.34	o 1
1129.00/1129.09	c 777.999 19.832 3101 44932780
1129.00/1129.09	s OPTIMUM FOUND
1129.00/1129.09	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-2695561-1277904281/watcher-2695561-1277904281 -o /tmp/evaluation-result-2695561-1277904281/solver-2695561-1277904281 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695561-1277904281.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.77 2.32 2.15 4/199 23728
/proc/meminfo: memFree=31016928/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=2136 CPUtime=0
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 256 0 0 0 0 0 0 0 22 0 1 0 164067650 2187264 175 4089446400 134512640 136421960 4289693440 18446744073709551615 135372691 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23728/statm: 534 175 144 467 0 65 0

[startup+0.0838519 s]
/proc/loadavg: 2.77 2.32 2.15 4/199 23728
/proc/meminfo: memFree=31016928/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=17244 CPUtime=0.07
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 3982 0 0 0 7 0 0 0 24 0 1 0 164067650 17657856 3901 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4311 3901 213 467 0 3842 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17244

[startup+0.100847 s]
/proc/loadavg: 2.77 2.32 2.15 4/199 23728
/proc/meminfo: memFree=31016928/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=17652 CPUtime=0.09
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4077 0 0 0 7 2 0 0 24 0 1 0 164067650 18075648 3995 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4413 3995 236 467 0 3944 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17652

[startup+0.300814 s]
/proc/loadavg: 2.77 2.32 2.15 4/199 23728
/proc/meminfo: memFree=31016928/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=17652 CPUtime=0.29
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4078 0 0 0 10 19 0 0 25 0 1 0 164067650 18075648 3996 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4413 3996 237 467 0 3944 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17652

[startup+0.700721 s]
/proc/loadavg: 2.77 2.32 2.15 4/199 23728
/proc/meminfo: memFree=31016928/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=17652 CPUtime=0.69
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4078 0 0 0 17 52 0 0 25 0 1 0 164067650 18075648 3996 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4413 3996 237 467 0 3944 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17652

[startup+1.5006 s]
/proc/loadavg: 2.77 2.32 2.15 4/200 23729
/proc/meminfo: memFree=31001048/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=17652 CPUtime=1.48
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4078 0 0 0 34 114 0 0 25 0 1 0 164067650 18075648 3996 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4413 3996 237 467 0 3944 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17652

[startup+3.10035 s]
/proc/loadavg: 2.77 2.32 2.15 4/200 23729
/proc/meminfo: memFree=30999932/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=17764 CPUtime=3.09
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4099 0 0 0 59 250 0 0 25 0 1 0 164067650 18190336 4017 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4441 4017 237 467 0 3972 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17764

[startup+6.30081 s]
/proc/loadavg: 2.78 2.33 2.15 4/200 23729
/proc/meminfo: memFree=31000212/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=17764 CPUtime=6.29
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4103 0 0 0 103 526 0 0 25 0 1 0 164067650 18190336 4021 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4441 4021 237 467 0 3972 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17764

[startup+12.7007 s]
/proc/loadavg: 2.80 2.34 2.16 4/200 23729
/proc/meminfo: memFree=30999388/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=17764 CPUtime=12.68
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4112 0 0 0 198 1070 0 0 25 0 1 0 164067650 18190336 4030 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4441 4030 237 467 0 3972 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17764

[startup+25.5006 s]
/proc/loadavg: 2.77 2.36 2.17 4/200 23729
/proc/meminfo: memFree=30997724/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=18008 CPUtime=25.49
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4153 0 0 0 399 2150 0 0 25 0 1 0 164067650 18440192 4071 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4502 4071 237 467 0 4033 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18008

[startup+51.1003 s]
/proc/loadavg: 2.79 2.39 2.18 3/200 23731
/proc/meminfo: memFree=30995072/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=18008 CPUtime=51.08
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4164 0 0 0 804 4304 0 0 25 0 1 0 164067650 18440192 4077 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4502 4077 237 467 0 4033 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18008

[startup+102.307 s]
/proc/loadavg: 2.87 2.47 2.22 3/200 23731
/proc/meminfo: memFree=30988288/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=18008 CPUtime=102.3
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4168 0 0 0 1608 8622 0 0 25 0 1 0 164067650 18440192 4077 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4502 4077 237 467 0 4033 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 18008

[startup+162.301 s]
/proc/loadavg: 2.89 2.55 2.26 4/200 23733
/proc/meminfo: memFree=30980156/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=18008 CPUtime=162.29
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4189 0 0 0 2505 13724 0 0 25 0 1 0 164067650 18440192 4093 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4502 4093 237 467 0 4033 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18008

[startup+222.301 s]
/proc/loadavg: 2.92 2.61 2.30 4/200 23735
/proc/meminfo: memFree=30973940/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=18784 CPUtime=222.29
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4415 0 0 0 5267 16962 0 0 25 0 1 0 164067650 19234816 4285 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4696 4285 237 467 0 4227 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 18784

[startup+282.301 s]
/proc/loadavg: 2.97 2.68 2.34 4/200 23737
/proc/meminfo: memFree=30969600/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=19180 CPUtime=282.3
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4500 0 0 0 10045 18185 0 0 25 0 1 0 164067650 19640320 4370 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4795 4370 237 467 0 4326 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19180

[startup+342.3 s]
/proc/loadavg: 2.54 2.63 2.34 3/179 23765
/proc/meminfo: memFree=31124108/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=19308 CPUtime=342.3
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4544 0 0 0 14831 19399 0 0 25 0 1 0 164067650 19771392 4414 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4827 4414 237 467 0 4358 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19308

[startup+402.3 s]
/proc/loadavg: 2.20 2.51 2.32 3/179 23767
/proc/meminfo: memFree=30947996/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=19536 CPUtime=402.29
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4595 0 0 0 19569 20660 0 0 25 0 1 0 164067650 20004864 4465 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4884 4465 237 467 0 4415 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 19536

[startup+462.3 s]
/proc/loadavg: 2.07 2.41 2.29 3/179 23769
/proc/meminfo: memFree=30787888/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=19536 CPUtime=462.29
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4603 0 0 0 24327 21902 0 0 25 0 1 0 164067650 20004864 4473 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4884 4473 237 467 0 4415 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 19536

[startup+522.3 s]
/proc/loadavg: 2.02 2.34 2.27 3/179 23771
/proc/meminfo: memFree=30637560/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=19664 CPUtime=522.29
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4623 0 0 0 29095 23134 0 0 25 0 1 0 164067650 20135936 4493 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4916 4493 237 467 0 4447 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 19664

[startup+582.3 s]
/proc/loadavg: 2.01 2.27 2.25 3/179 23773
/proc/meminfo: memFree=30486380/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=19664 CPUtime=582.29
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4635 0 0 0 33841 24388 0 0 25 0 1 0 164067650 20135936 4505 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4916 4505 237 467 0 4447 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 19664

[startup+642.3 s]
/proc/loadavg: 2.08 2.24 2.24 3/179 23773
/proc/meminfo: memFree=30348336/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=19920 CPUtime=642.3
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4672 0 0 0 38653 25577 0 0 25 0 1 0 164067650 20398080 4542 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4980 4542 237 467 0 4511 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 19920

[startup+702.3 s]
/proc/loadavg: 2.03 2.19 2.22 3/179 23775
/proc/meminfo: memFree=30148668/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=19920 CPUtime=702.29
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4690 0 0 0 43454 26775 0 0 25 0 1 0 164067650 20398080 4560 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4980 4560 237 467 0 4511 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 19920

[startup+762.306 s]
/proc/loadavg: 2.01 2.15 2.21 3/179 23804
/proc/meminfo: memFree=31106040/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20044 CPUtime=762.3
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4723 0 0 0 48240 27990 0 0 25 0 1 0 164067650 20525056 4593 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5011 4593 237 467 0 4542 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 20044

[startup+822.301 s]
/proc/loadavg: 2.00 2.12 2.19 3/179 23806
/proc/meminfo: memFree=30992176/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20044 CPUtime=822.3
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4724 0 0 0 53015 29215 0 0 25 0 1 0 164067650 20525056 4594 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5011 4594 237 467 0 4542 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 20044

[startup+882.301 s]
/proc/loadavg: 2.52 2.25 2.22 4/200 23860
/proc/meminfo: memFree=31027048/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20044 CPUtime=882.3
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4733 0 0 0 57905 30325 0 0 25 0 1 0 164067650 20525056 4603 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5011 4603 237 467 0 4542 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 20044

[startup+942.301 s]
/proc/loadavg: 2.87 2.40 2.28 4/200 23860
/proc/meminfo: memFree=31013648/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20176 CPUtime=942.31
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4750 0 0 0 62767 31464 0 0 25 0 1 0 164067650 20660224 4620 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5044 4620 237 467 0 4575 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 20176

[startup+1002.3 s]
/proc/loadavg: 2.95 2.51 2.32 4/200 23865
/proc/meminfo: memFree=31003268/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20176 CPUtime=1002.31
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4766 0 0 0 67599 32632 0 0 25 0 1 0 164067650 20660224 4636 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5044 4636 237 467 0 4575 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 20176

[startup+1062.3 s]
/proc/loadavg: 2.94 2.58 2.35 4/200 23867
/proc/meminfo: memFree=30996872/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20176 CPUtime=1062.3
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4766 0 0 0 72426 33804 0 0 25 0 1 0 164067650 20660224 4636 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5044 4636 237 467 0 4575 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 20176

[startup+1122.3 s]
/proc/loadavg: 3.13 2.70 2.41 4/200 23869
/proc/meminfo: memFree=30989412/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20304 CPUtime=1122.3
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4773 0 0 0 77261 34969 0 0 25 0 1 0 164067650 20791296 4643 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5076 4643 237 467 0 4607 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 20304

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

[startup+1123.11 s]
/proc/loadavg: 3.12 2.70 2.41 4/200 23869
/proc/meminfo: memFree=30989288/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20304 CPUtime=1123.11
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4773 0 0 0 77328 34983 0 0 25 0 1 0 164067650 20791296 4643 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5076 4643 237 467 0 4607 0
Current children cumulated CPU time (s) 1123.11
Current children cumulated vsize (KiB) 20304

[startup+1126.3 s]
/proc/loadavg: 3.12 2.70 2.41 4/200 23869
/proc/meminfo: memFree=30989288/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20304 CPUtime=1126.31
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4773 0 0 0 77582 35049 0 0 25 0 1 0 164067650 20791296 4643 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5076 4643 237 467 0 4607 0
Current children cumulated CPU time (s) 1126.31
Current children cumulated vsize (KiB) 20304

[startup+1127.9 s]
/proc/loadavg: 3.12 2.70 2.41 4/200 23869
/proc/meminfo: memFree=30989036/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20304 CPUtime=1127.91
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4773 0 0 0 77705 35086 0 0 25 0 1 0 164067650 20791296 4643 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5076 4643 237 467 0 4607 0
Current children cumulated CPU time (s) 1127.91
Current children cumulated vsize (KiB) 20304

[startup+1128.7 s]
/proc/loadavg: 3.11 2.71 2.41 3/200 23869
/proc/meminfo: memFree=30989036/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=20304 CPUtime=1128.71
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4773 0 0 0 77769 35102 0 0 25 0 1 0 164067650 20791296 4643 4089446400 134512640 136421960 4289693440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 5076 4643 237 467 0 4607 0
Current children cumulated CPU time (s) 1128.71
Current children cumulated vsize (KiB) 20304

[startup+1129.1 s]
/proc/loadavg: 3.11 2.71 2.41 3/200 23869
/proc/meminfo: memFree=30989036/32951124 swapFree=67111528/67111528
[pid=23728] ppid=23726 vsize=18092 CPUtime=1129.11
/proc/23728/stat : 23728 (pbct) R 23726 23728 23338 0 -1 4202496 4777 0 0 0 77800 35111 0 0 25 0 1 0 164067650 18526208 4124 4089446400 134512640 136421960 4289693440 18446744073709551615 135801367 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23728/statm: 4523 4124 240 467 0 4054 0
Current children cumulated CPU time (s) 1129.11
Current children cumulated vsize (KiB) 18092

Child status: 0
Real time (s): 1129.12
CPU time (s): 1129.13
CPU user time (s): 778.017
CPU system time (s): 351.113
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 20304

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

runsolver used 1.69774 second user time and 3.65144 second system time

The end

Launcher Data 

Begin job on node118 at 2010-06-30 15:24:41
IDJOB=2695561
IDBENCH=78918
IDSOLVER=1208
FILE ID=node118/2695561-1277904281
PBS_JOBID= 11197244
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.1900579996--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695561-1277904281/watcher-2695561-1277904281 -o /tmp/evaluation-result-2695561-1277904281/solver-2695561-1277904281 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2695561-1277904281.wbo

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

MD5SUM BENCH= 469cd609ab798a94b23843d73b73e9c6
RANDOM SEED=1356407495

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.791
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	: 5448.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31017448 kB
Buffers:        187844 kB
Cached:        1294932 kB
SwapCached:          0 kB
Active:         776392 kB
Inactive:      1014740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31017448 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1976 kB
Writeback:           0 kB
AnonPages:      309352 kB
Mapped:          20512 kB
Slab:            78388 kB
PageTables:       5736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1660972 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 node118 at 2010-06-30 15:43:30