Trace number 2695513

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 1022.89 1022.86

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo
MD5SUMb6831e02f19f517e205ea45f0a3f162b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark159.195
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 constraints1839
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 91769
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91768
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 745
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 9/14 clauses 859/1825 units 0
0.00/0.01	c vars 231
0.02/0.08	c 0.075988 16.8438 5 3882
0.02/0.08	o 511
0.69/0.76	c 0.487925 17.2422 915 143090
0.69/0.76	o 489
27.19/27.28	c 16.4305 17.3594 1185 5415043
27.19/27.28	o 481
42.59/42.62	c 25.5371 17.4766 702 7837508
42.59/42.62	o 468
42.79/42.86	c 25.6821 17.4766 1047 7848566
42.79/42.86	o 433
45.20/45.25	c 27.0589 17.4766 924 8013179
45.20/45.25	o 373
45.20/45.26	c 27.0649 17.4766 939 8013695
45.20/45.26	o 350
47.99/48.09	c 28.7306 17.4766 816 8187256
47.99/48.09	o 336
47.99/48.10	c 28.7336 17.4766 821 8187887
47.99/48.10	o 322
48.09/48.11	c 28.7426 17.4766 862 8188115
48.09/48.11	o 321
48.09/48.12	c 28.7436 17.4766 863 8188319
48.09/48.12	o 316
48.09/48.13	c 28.7506 17.4766 877 8188600
48.09/48.13	o 309
48.09/48.17	c 28.7796 17.4766 978 8189711
48.09/48.17	o 264
48.09/48.18	c 28.7826 17.4766 989 8190251
48.09/48.18	o 240
48.09/48.19	c 28.7886 17.4766 996 8190495
48.09/48.19	o 232
48.20/48.21	c 28.8006 17.4766 1043 8190872
48.20/48.21	o 224
48.20/48.21	c 28.8026 17.4766 1046 8190967
48.20/48.21	o 223
48.20/48.22	c 28.8066 17.4766 1048 8191194
48.20/48.22	o 215
48.20/48.25	c 28.8236 17.4766 1084 8191439
48.20/48.25	o 208
48.20/48.30	c 28.8546 17.4766 631 8192463
48.20/48.30	o 190
48.30/48.32	c 28.8646 17.4766 664 8192956
48.30/48.32	o 168
48.30/48.38	c 28.9036 17.4766 819 8193420
48.30/48.38	o 166
48.50/48.51	c 28.9886 17.4766 1152 8194453
48.50/48.51	o 156
48.70/48.73	c 29.1326 17.4766 1085 8195917
48.70/48.73	o 134
49.19/49.27	c 29.4655 17.4766 973 8198126
49.19/49.27	o 131
49.29/49.33	c 29.4985 17.4766 1077 8198492
49.29/49.33	o 130
49.29/49.36	c 29.5165 17.4766 625 8199075
49.29/49.36	o 120
49.89/49.99	c 29.9215 17.4766 746 8202144
49.89/49.99	o 97
51.00/51.00	c 30.5913 17.4766 916 8207622
51.00/51.00	o 79
51.19/51.22	c 30.7503 17.4766 975 8209081
51.19/51.22	o 70
51.70/51.78	c 31.1363 17.6016 1359 8212306
51.70/51.78	o 67
51.89/51.99	c 31.2822 17.6016 2098 8213433
51.89/51.99	o 65
53.00/53.05	c 32.0441 17.6016 1059 8219961
53.00/53.05	o 49
54.79/54.89	c 33.3899 18.2422 1725 8233989
54.79/54.89	o 47
56.00/56.08	c 34.3018 18.2383 1868 8242741
56.00/56.08	o 41
56.19/56.24	c 34.4158 18.2383 1548 8244237
56.19/56.24	o 37
57.99/58.07	c 35.8545 18.2383 1302 8263252
57.99/58.07	o 32
58.60/58.67	c 36.3245 18.2383 1436 8269649
58.60/58.67	o 20
60.79/60.82	c 38.1382 18.625 2775 8298985
60.79/60.82	o 18
64.89/64.96	c 41.7617 18.625 2974 8361665
64.89/64.96	o 15
67.59/67.66	c 44.1193 18.625 2164 8402010
67.59/67.66	o 12
67.89/67.92	c 44.3523 18.625 1827 8406644
67.89/67.92	o 2
1022.82/1022.83	c 915.957 21.6133 3137 23235258
1022.82/1022.83	s OPTIMUM FOUND
1022.82/1022.83	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	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695513-1277901078/watcher-2695513-1277901078 -o /tmp/evaluation-result-2695513-1277901078/solver-2695513-1277901078 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695513-1277901078.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: 1.98 1.97 1.99 4/178 9605
/proc/meminfo: memFree=31417836/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=2136 CPUtime=0
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 131405087 2187264 175 4089446400 134512640 136421960 4291408288 18446744073709551615 135162441 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/9605/statm: 534 175 144 467 0 65 0

[startup+0.0267 s]
/proc/loadavg: 1.98 1.97 1.99 4/178 9605
/proc/meminfo: memFree=31417836/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=5316 CPUtime=0.02
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 1026 0 0 0 2 0 0 0 25 0 1 0 131405087 5443584 946 4089446400 134512640 136421960 4291408288 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 1329 952 193 467 0 860 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5316

[startup+0.100689 s]
/proc/loadavg: 1.98 1.97 1.99 4/178 9605
/proc/meminfo: memFree=31417836/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=17652 CPUtime=0.09
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4072 0 0 0 8 1 0 0 25 0 1 0 131405087 18075648 3991 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 4413 3991 236 467 0 3944 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17652

[startup+0.300655 s]
/proc/loadavg: 1.98 1.97 1.99 4/178 9605
/proc/meminfo: memFree=31417836/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=17652 CPUtime=0.29
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4073 0 0 0 20 9 0 0 25 0 1 0 131405087 18075648 3992 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 4413 3992 237 467 0 3944 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17652

[startup+0.70058 s]
/proc/loadavg: 1.98 1.97 1.99 4/178 9605
/proc/meminfo: memFree=31417836/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=17652 CPUtime=0.69
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4073 0 0 0 45 24 0 0 25 0 1 0 131405087 18075648 3992 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 4413 3992 237 467 0 3944 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17652

[startup+1.50044 s]
/proc/loadavg: 1.98 1.97 1.99 3/179 9606
/proc/meminfo: memFree=31402452/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=17652 CPUtime=1.49
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4080 0 0 0 92 57 0 0 25 0 1 0 131405087 18075648 3998 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 4413 3998 237 467 0 3944 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17652

[startup+3.10014 s]
/proc/loadavg: 1.98 1.97 1.99 3/179 9608
/proc/meminfo: memFree=31401708/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=17652 CPUtime=3.09
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4083 0 0 0 187 122 0 0 25 0 1 0 131405087 18075648 4001 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 4413 4001 237 467 0 3944 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17652

[startup+6.30055 s]
/proc/loadavg: 2.06 1.99 1.99 3/179 9609
/proc/meminfo: memFree=31401800/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=17652 CPUtime=6.29
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4083 0 0 0 377 252 0 0 25 0 1 0 131405087 18075648 4001 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 4413 4001 237 467 0 3944 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17652

[startup+12.7004 s]
/proc/loadavg: 2.06 1.99 1.99 3/179 9609
/proc/meminfo: memFree=31402544/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=17772 CPUtime=12.69
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4090 0 0 0 766 503 0 0 25 0 1 0 131405087 18198528 4008 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 4443 4008 237 467 0 3974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17772

[startup+25.501 s]
/proc/loadavg: 2.12 2.00 2.00 3/179 9609
/proc/meminfo: memFree=31402736/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=17772 CPUtime=25.49
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4115 0 0 0 1534 1015 0 0 25 0 1 0 131405087 18198528 4033 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 4443 4033 237 467 0 3974 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17772

[startup+51.1003 s]
/proc/loadavg: 2.08 2.00 2.00 3/179 9610
/proc/meminfo: memFree=31401800/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=17892 CPUtime=51.1
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4161 0 0 0 3066 2044 0 0 22 0 1 0 131405087 18321408 4052 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 4473 4052 237 467 0 4004 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 17892

[startup+102.306 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 9611
/proc/meminfo: memFree=31396296/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=20124 CPUtime=102.3
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4735 0 0 0 7562 2668 0 0 25 0 1 0 131405087 20606976 4613 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5031 4613 237 467 0 4562 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 20124

[startup+162.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 9613
/proc/meminfo: memFree=31389680/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=20776 CPUtime=162.29
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4910 0 0 0 13001 3228 0 0 25 0 1 0 131405087 21274624 4773 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5194 4773 237 467 0 4725 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20776

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9615
/proc/meminfo: memFree=31386772/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=20804 CPUtime=222.3
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4950 0 0 0 18481 3749 0 0 25 0 1 0 131405087 21303296 4792 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5201 4792 237 467 0 4732 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 20804

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9616
/proc/meminfo: memFree=31385596/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=20804 CPUtime=282.3
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 4950 0 0 0 23959 4271 0 0 25 0 1 0 131405087 21303296 4792 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5201 4792 237 467 0 4732 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20804

[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9618
/proc/meminfo: memFree=31384312/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=20992 CPUtime=342.3
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5140 0 0 0 29429 4801 0 0 25 0 1 0 131405087 21495808 4839 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5248 4839 237 467 0 4779 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20992

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 9619
/proc/meminfo: memFree=31381172/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=21176 CPUtime=402.3
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5196 0 0 0 34919 5311 0 0 25 0 1 0 131405087 21684224 4885 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5294 4885 237 467 0 4825 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 21176

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9621
/proc/meminfo: memFree=31380380/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=21340 CPUtime=462.31
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5244 0 0 0 40404 5827 0 0 25 0 1 0 131405087 21852160 4926 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5335 4926 237 467 0 4866 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 21340

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9623
/proc/meminfo: memFree=31377716/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=21340 CPUtime=522.31
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5244 0 0 0 45860 6371 0 0 25 0 1 0 131405087 21852160 4926 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5335 4926 237 467 0 4866 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 21340

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9624
/proc/meminfo: memFree=31375932/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=21808 CPUtime=582.31
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5363 0 0 0 51356 6875 0 0 25 0 1 0 131405087 22331392 5043 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5452 5043 237 467 0 4983 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 21808

[startup+642.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9626
/proc/meminfo: memFree=31375780/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=21808 CPUtime=642.32
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5363 0 0 0 56841 7391 0 0 25 0 1 0 131405087 22331392 5043 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5452 5043 237 467 0 4983 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 21808

[startup+702.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 9627
/proc/meminfo: memFree=31375248/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=21940 CPUtime=702.32
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5372 0 0 0 62336 7896 0 0 25 0 1 0 131405087 22466560 5052 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5485 5052 237 467 0 5016 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 21940

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9629
/proc/meminfo: memFree=31375048/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=21808 CPUtime=762.32
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5391 0 0 0 67812 8420 0 0 25 0 1 0 131405087 22331392 5043 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5452 5043 237 467 0 4983 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 21808

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9631
/proc/meminfo: memFree=31374748/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22200 CPUtime=822.31
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5463 0 0 0 73308 8923 0 0 25 0 1 0 131405087 22732800 5115 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5550 5115 237 467 0 5081 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 22200

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9632
/proc/meminfo: memFree=31374468/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22044 CPUtime=882.32
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5463 0 0 0 78781 9451 0 0 25 0 1 0 131405087 22573056 5102 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5511 5102 237 467 0 5042 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 22044

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9634
/proc/meminfo: memFree=31374668/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22128 CPUtime=942.32
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5480 0 0 0 84283 9949 0 0 25 0 1 0 131405087 22659072 5119 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5532 5119 237 467 0 5063 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 22128

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9635
/proc/meminfo: memFree=31374488/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22128 CPUtime=1002.32
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5480 0 0 0 89738 10494 0 0 25 0 1 0 131405087 22659072 5119 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5532 5119 237 467 0 5063 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 22128

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

[startup+1011.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9636
/proc/meminfo: memFree=31374600/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22128 CPUtime=1011.12
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5480 0 0 0 90534 10578 0 0 25 0 1 0 131405087 22659072 5119 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5532 5119 237 467 0 5063 0
Current children cumulated CPU time (s) 1011.12
Current children cumulated vsize (KiB) 22128

[startup+1017.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9636
/proc/meminfo: memFree=31374476/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22128 CPUtime=1017.53
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5480 0 0 0 91113 10640 0 0 25 0 1 0 131405087 22659072 5119 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5532 5119 237 467 0 5063 0
Current children cumulated CPU time (s) 1017.53
Current children cumulated vsize (KiB) 22128

[startup+1020.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9636
/proc/meminfo: memFree=31374596/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22128 CPUtime=1020.73
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5480 0 0 0 91403 10670 0 0 25 0 1 0 131405087 22659072 5119 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5532 5119 237 467 0 5063 0
Current children cumulated CPU time (s) 1020.73
Current children cumulated vsize (KiB) 22128

[startup+1021.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9636
/proc/meminfo: memFree=31374596/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22128 CPUtime=1021.52
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5480 0 0 0 91475 10677 0 0 25 0 1 0 131405087 22659072 5119 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5532 5119 237 467 0 5063 0
Current children cumulated CPU time (s) 1021.52
Current children cumulated vsize (KiB) 22128

[startup+1022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9636
/proc/meminfo: memFree=31374596/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22128 CPUtime=1022.32
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5480 0 0 0 91547 10685 0 0 25 0 1 0 131405087 22659072 5119 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5532 5119 237 467 0 5063 0
Current children cumulated CPU time (s) 1022.32
Current children cumulated vsize (KiB) 22128

[startup+1022.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9636
/proc/meminfo: memFree=31374596/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22128 CPUtime=1022.72
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5480 0 0 0 91582 10690 0 0 25 0 1 0 131405087 22659072 5119 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5532 5119 237 467 0 5063 0
Current children cumulated CPU time (s) 1022.72
Current children cumulated vsize (KiB) 22128

[startup+1022.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9636
/proc/meminfo: memFree=31374596/32951124 swapFree=67111528/67111528
[pid=9605] ppid=9603 vsize=22128 CPUtime=1022.82
/proc/9605/stat : 9605 (pbct) R 9603 9605 9433 0 -1 4202496 5480 0 0 0 91592 10690 0 0 25 0 1 0 131405087 22659072 5119 4089446400 134512640 136421960 4291408288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/9605/statm: 5532 5119 237 467 0 5063 0
Current children cumulated CPU time (s) 1022.82
Current children cumulated vsize (KiB) 22128

Child status: 0
Real time (s): 1022.86
CPU time (s): 1022.89
CPU user time (s): 915.973
CPU system time (s): 106.916
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 22212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 915.973
system time used= 106.916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5485
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= 3
involuntary context switches= 1544

runsolver used 1.3348 second user time and 3.32449 second system time

The end

Launcher Data 

Begin job on node109 at 2010-06-30 14:31:18
IDJOB=2695513
IDBENCH=78887
IDSOLVER=1208
FILE ID=node109/2695513-1277901078
PBS_JOBID= 11197218
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= b6831e02f19f517e205ea45f0a3f162b
RANDOM SEED=2007396842

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31418488 kB
Buffers:        182072 kB
Cached:        1047104 kB
SwapCached:          0 kB
Active:         667876 kB
Inactive:       721096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31418488 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2000 kB
Writeback:           0 kB
AnonPages:      160024 kB
Mapped:          17460 kB
Slab:            80268 kB
PageTables:       4584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   309724 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= 74204 MiB
End job on node109 at 2010-06-30 14:48:21