Trace number 2698880

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 1064.83 1064.8

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo
MD5SUMf554cc9691e9826ab6aa59c7fc9c497b
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark30.1254
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 constraints2707
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 136180
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136179
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 667
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 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.10	c 0.091986 19.9766 30 8034
0.09/0.10	o 1053
0.09/0.11	c 0.092985 20.2109 36 8790
0.09/0.11	o 1050
0.09/0.12	c 0.092985 20.4453 37 13482
0.09/0.12	o 770
0.09/0.12	c 0.093985 20.4453 37 14687
0.09/0.12	o 734
0.09/0.12	c 0.094985 20.4453 37 17462
0.09/0.12	o 596
0.09/0.13	c 0.094985 20.4453 40 19802
0.09/0.13	o 523
0.09/0.14	c 0.095985 20.4453 40 21261
0.09/0.14	o 476
0.19/0.21	c 0.110983 20.4453 143 22679
0.19/0.21	o 460
0.19/0.24	c 0.112982 20.4453 180 23123
0.19/0.24	o 454
0.19/0.26	c 0.114982 20.4453 191 24141
0.19/0.26	o 424
0.29/0.32	c 0.12798 20.4453 256 24430
0.29/0.32	o 423
0.29/0.32	c 0.12998 20.4453 262 24639
0.29/0.32	o 421
0.39/0.45	c 0.142978 20.4453 430 25505
0.39/0.45	o 419
0.59/0.60	c 0.161975 20.4453 653 26742
0.59/0.60	o 414
0.59/0.60	c 0.162975 20.4453 656 27578
0.59/0.60	o 396
0.59/0.61	c 0.163975 20.4453 658 28560
0.59/0.61	o 372
0.59/0.62	c 0.164974 20.4453 665 29143
0.59/0.62	o 364
0.59/0.64	c 0.168974 20.4453 694 29483
0.59/0.64	o 361
0.59/0.65	c 0.170974 20.4453 698 30098
0.59/0.65	o 344
0.59/0.66	c 0.170974 20.4453 704 30469
0.59/0.66	o 338
0.99/1.02	c 0.220966 20.4453 660 32607
0.99/1.02	o 335
1.09/1.13	c 0.231964 20.4453 786 33669
1.09/1.13	o 332
1.09/1.19	c 0.237963 20.4453 865 34400
1.09/1.19	o 315
1.19/1.24	c 0.243962 20.4453 923 34649
1.19/1.24	o 312
1.19/1.25	c 0.248962 20.4453 935 34997
1.19/1.25	o 311
1.19/1.28	c 0.251961 20.4453 953 35439
1.19/1.28	o 303
1.29/1.31	c 0.26196 20.4453 972 36160
1.29/1.31	o 284
1.29/1.38	c 0.273958 20.4453 1059 36806
1.29/1.38	o 271
1.49/1.55	c 0.307953 20.5742 1238 37594
1.49/1.55	o 264
1.59/1.68	c 0.320951 20.5742 747 38861
1.59/1.68	o 247
1.79/1.89	c 0.352946 20.5742 1032 39997
1.79/1.89	o 245
1.89/1.94	c 0.357945 20.5742 1097 40410
1.89/1.94	o 242
1.99/2.09	c 0.378942 20.5742 640 41083
1.99/2.09	o 240
2.49/2.54	c 0.45793 20.5742 1175 43045
2.49/2.54	o 232
2.79/2.81	c 0.496924 20.5742 934 44322
2.79/2.81	o 229
2.79/2.89	c 0.504923 20.5742 1043 45111
2.79/2.89	o 222
2.89/2.92	c 0.509922 20.5742 1071 45644
2.89/2.92	o 217
3.09/3.15	c 0.544917 20.5742 696 47172
3.09/3.15	o 197
3.49/3.52	c 0.642902 20.5742 1176 48548
3.49/3.52	o 189
3.49/3.59	c 0.666898 20.5742 1307 49081
3.49/3.59	o 188
3.59/3.61	c 0.672897 20.5742 704 49714
3.59/3.61	o 173
3.99/4.04	c 0.78888 20.5742 691 51649
3.99/4.04	o 167
4.09/4.17	c 0.824874 20.5742 854 52555
4.09/4.17	o 157
4.19/4.21	c 0.838872 20.5742 975 53258
4.19/4.21	o 150
4.29/4.31	c 0.859869 20.5742 1087 53884
4.29/4.31	o 145
4.29/4.31	c 0.860869 20.5742 1094 54080
4.29/4.31	o 142
4.29/4.34	c 0.866868 20.5742 1121 54389
4.29/4.34	o 141
4.49/4.59	c 0.91986 20.5742 890 55691
4.49/4.59	o 140
4.59/4.63	c 0.928858 20.5742 936 56129
4.59/4.63	o 132
4.59/4.64	c 0.932858 20.5742 954 56512
4.59/4.64	o 122
4.99/5.06	c 1.01385 20.5742 810 58023
4.99/5.06	o 119
5.49/5.54	c 1.12583 20.5742 973 60293
5.49/5.54	o 108
5.79/5.89	c 1.19982 20.7031 795 61733
5.79/5.89	o 99
6.19/6.27	c 1.25781 20.7031 624 63061
6.19/6.27	o 96
6.29/6.37	c 1.27181 20.7031 762 63679
6.29/6.37	o 91
6.39/6.48	c 1.3018 20.7031 912 64287
6.39/6.48	o 85
6.59/6.65	c 1.3388 20.7031 1105 65073
6.59/6.65	o 81
6.69/6.72	c 1.35379 20.7031 1198 65313
6.69/6.72	o 79
6.89/6.91	c 1.40279 20.7031 1522 66130
6.89/6.91	o 78
6.89/6.93	c 1.40779 20.7031 1559 66346
6.89/6.93	o 74
7.49/7.57	c 1.56976 20.832 1756 69171
7.49/7.57	o 71
8.29/8.37	c 1.77873 20.832 1228 72780
8.29/8.37	o 62
8.69/8.74	c 1.88571 20.832 2027 74418
8.69/8.74	o 61
8.89/8.96	c 1.9537 20.9609 1347 75849
8.89/8.96	o 49
9.19/9.22	c 2.04969 20.9609 2095 77541
9.19/9.22	o 40
9.19/9.29	c 2.07168 20.9609 2293 78114
9.19/9.29	o 35
9.29/9.39	c 2.11368 20.9609 2592 78966
9.29/9.39	o 33
9.39/9.49	c 2.16067 21.0898 2974 79879
9.39/9.49	o 21
9.59/9.65	c 2.23866 21.0898 2218 81268
9.59/9.65	o 19
9.59/9.68	c 2.25466 21.0898 2374 81601
9.59/9.68	o 16
9.69/9.75	c 2.29565 21.0898 2938 82733
9.69/9.75	o 13
9.69/9.78	c 2.31265 21.0898 2985 83154
9.69/9.78	o 10
9.69/9.79	c 2.32765 21.0898 3134 83437
9.69/9.79	o 9
9.69/9.80	c 2.32864 21.0898 3138 83603
9.69/9.80	o 4
9.90/9.92	c 2.42563 21.2188 2027 85136
9.90/9.92	o 2
13.69/13.75	c 5.30819 21.7344 4188 139685
13.69/13.75	o 1
1064.73/1064.77	c 816.764 24.6016 4007 15047074
1064.73/1064.77	s OPTIMUM FOUND
1064.73/1064.77	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-2698880-1278464661/watcher-2698880-1278464661 -o /tmp/evaluation-result-2698880-1278464661/solver-2698880-1278464661 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698880-1278464661.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.93 1.99 1.94 3/178 15387
/proc/meminfo: memFree=29256584/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=2136 CPUtime=0
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 252 0 0 0 0 0 0 0 21 0 1 0 14678583 2187264 172 4089446400 134512640 136422188 4292059280 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15387/statm: 534 172 144 467 0 65 0

[startup+0.00702799 s]
/proc/loadavg: 1.93 1.99 1.94 3/178 15387
/proc/meminfo: memFree=29256584/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=2136 CPUtime=0
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 254 0 0 0 0 0 0 0 21 0 1 0 14678583 2187264 174 4089446400 134512640 136422188 4292059280 18446744073709551615 135809717 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15387/statm: 534 174 144 467 0 65 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.100998 s]
/proc/loadavg: 1.93 1.99 1.94 3/178 15387
/proc/meminfo: memFree=29256584/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=20452 CPUtime=0.09
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 4752 0 0 0 9 0 0 0 21 0 1 0 14678583 20942848 4639 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5113 4639 213 467 0 4644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20452

[startup+0.300974 s]
/proc/loadavg: 1.93 1.99 1.94 3/178 15387
/proc/meminfo: memFree=29256584/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=20932 CPUtime=0.29
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 4853 0 0 0 12 17 0 0 21 0 1 0 14678583 21434368 4730 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5233 4730 237 467 0 4764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20932

[startup+0.700901 s]
/proc/loadavg: 1.93 1.99 1.94 3/178 15387
/proc/meminfo: memFree=29256584/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=20932 CPUtime=0.69
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 4865 0 0 0 18 51 0 0 22 0 1 0 14678583 21434368 4732 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5233 4732 237 467 0 4764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20932

[startup+1.50074 s]
/proc/loadavg: 1.93 1.99 1.94 3/179 15388
/proc/meminfo: memFree=29238844/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=20932 CPUtime=1.49
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 4891 0 0 0 29 120 0 0 25 0 1 0 14678583 21434368 4750 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5233 4750 237 467 0 4764 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20932

[startup+3.10045 s]
/proc/loadavg: 1.93 1.99 1.94 3/179 15388
/proc/meminfo: memFree=29239044/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=21064 CPUtime=3.09
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 4906 0 0 0 54 255 0 0 25 0 1 0 14678583 21569536 4756 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5266 4756 237 467 0 4797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21064

[startup+6.30087 s]
/proc/loadavg: 1.93 1.99 1.94 3/179 15388
/proc/meminfo: memFree=29238424/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=21196 CPUtime=6.29
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 4953 0 0 0 126 503 0 0 25 0 1 0 14678583 21704704 4786 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5299 4786 237 467 0 4830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21196

[startup+12.7007 s]
/proc/loadavg: 1.94 1.99 1.94 3/179 15388
/proc/meminfo: memFree=29238044/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=22252 CPUtime=12.69
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5254 0 0 0 455 814 0 0 25 0 1 0 14678583 22786048 5066 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5563 5066 237 467 0 5094 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22252

[startup+25.5004 s]
/proc/loadavg: 1.95 1.99 1.94 3/179 15389
/proc/meminfo: memFree=29238748/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=22384 CPUtime=25.5
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5292 0 0 0 1418 1132 0 0 25 0 1 0 14678583 22921216 5103 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5596 5103 237 467 0 5127 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 22384

[startup+51.1007 s]
/proc/loadavg: 1.97 1.99 1.94 3/179 15390
/proc/meminfo: memFree=29237872/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=22912 CPUtime=51.09
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5407 0 0 0 3387 1722 0 0 25 0 1 0 14678583 23461888 5218 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5728 5218 237 467 0 5259 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22912

[startup+102.305 s]
/proc/loadavg: 1.98 1.99 1.94 3/179 15392
/proc/meminfo: memFree=29236468/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=23180 CPUtime=102.3
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5499 0 0 0 7290 2940 0 0 25 0 1 0 14678583 23736320 5310 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5795 5310 237 467 0 5326 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23180

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 15392
/proc/meminfo: memFree=29235788/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=23712 CPUtime=162.29
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5615 0 0 0 11898 4331 0 0 25 0 1 0 14678583 24281088 5426 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5928 5426 237 467 0 5459 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23712

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 15394
/proc/meminfo: memFree=29235352/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=23844 CPUtime=222.29
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5671 0 0 0 16473 5756 0 0 25 0 1 0 14678583 24416256 5482 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 5961 5482 237 467 0 5492 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23844

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 15396
/proc/meminfo: memFree=29234672/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=24252 CPUtime=282.3
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5767 0 0 0 21097 7133 0 0 25 0 1 0 14678583 24834048 5578 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6063 5578 237 467 0 5594 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24252

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 15398
/proc/meminfo: memFree=29234700/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=24252 CPUtime=342.3
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5772 0 0 0 25720 8510 0 0 25 0 1 0 14678583 24834048 5583 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6063 5583 237 467 0 5594 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24252

[startup+402.301 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 15400
/proc/meminfo: memFree=29234264/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=24528 CPUtime=402.3
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5818 0 0 0 30385 9845 0 0 25 0 1 0 14678583 25116672 5629 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6132 5629 237 467 0 5663 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24528

[startup+462.301 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 15400
/proc/meminfo: memFree=29234192/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=24660 CPUtime=462.31
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5852 0 0 0 35013 11218 0 0 25 0 1 0 14678583 25251840 5663 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6165 5663 237 467 0 5696 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24660

[startup+522.301 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 15402
/proc/meminfo: memFree=29233880/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=24792 CPUtime=522.31
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5884 0 0 0 39564 12667 0 0 25 0 1 0 14678583 25387008 5695 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6198 5695 237 467 0 5729 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24792

[startup+582.301 s]
/proc/loadavg: 2.04 2.00 1.95 3/179 15404
/proc/meminfo: memFree=29233696/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=24924 CPUtime=582.31
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5908 0 0 0 44230 14001 0 0 25 0 1 0 14678583 25522176 5719 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6231 5719 237 467 0 5762 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 24924

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 1.95 3/179 15406
/proc/meminfo: memFree=29233496/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25056 CPUtime=642.32
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5953 0 0 0 48906 15326 0 0 25 0 1 0 14678583 25657344 5764 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6264 5764 237 467 0 5795 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 25056

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15408
/proc/meminfo: memFree=29233280/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25056 CPUtime=702.31
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5954 0 0 0 53590 16641 0 0 25 0 1 0 14678583 25657344 5765 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6264 5765 237 467 0 5795 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 25056

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15408
/proc/meminfo: memFree=29233092/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25056 CPUtime=762.31
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5971 0 0 0 58215 18016 0 0 25 0 1 0 14678583 25657344 5782 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6264 5782 237 467 0 5795 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 25056

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15410
/proc/meminfo: memFree=29233004/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25188 CPUtime=822.32
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5987 0 0 0 62903 19329 0 0 25 0 1 0 14678583 25792512 5798 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6297 5798 237 467 0 5828 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 25188

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15415
/proc/meminfo: memFree=29231824/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25188 CPUtime=882.31
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 5996 0 0 0 67575 20656 0 0 25 0 1 0 14678583 25792512 5807 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6297 5807 237 467 0 5828 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 25188

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15417
/proc/meminfo: memFree=29231824/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25188 CPUtime=942.32
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 6001 0 0 0 72274 21958 0 0 25 0 1 0 14678583 25792512 5812 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6297 5812 237 467 0 5828 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 25188

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15419
/proc/meminfo: memFree=29231876/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25188 CPUtime=1002.33
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 6007 0 0 0 76915 23318 0 0 25 0 1 0 14678583 25792512 5818 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6297 5818 237 467 0 5828 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 25188

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15419
/proc/meminfo: memFree=29232064/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25188 CPUtime=1062.32
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 6007 0 0 0 81490 24742 0 0 25 0 1 0 14678583 25792512 5818 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6297 5818 237 467 0 5828 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 25188

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

[startup+1063.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15420
/proc/meminfo: memFree=29231940/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25188 CPUtime=1063.92
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 6007 0 0 0 81609 24783 0 0 25 0 1 0 14678583 25792512 5818 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6297 5818 237 467 0 5828 0
Current children cumulated CPU time (s) 1063.92
Current children cumulated vsize (KiB) 25188

[startup+1064.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15420
/proc/meminfo: memFree=29231940/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25188 CPUtime=1064.32
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 6007 0 0 0 81638 24794 0 0 25 0 1 0 14678583 25792512 5818 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6297 5818 237 467 0 5828 0
Current children cumulated CPU time (s) 1064.32
Current children cumulated vsize (KiB) 25188

[startup+1064.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15420
/proc/meminfo: memFree=29231940/32951124 swapFree=67111528/67111528
[pid=15387] ppid=15385 vsize=25188 CPUtime=1064.73
/proc/15387/stat : 15387 (pbct) R 15385 15387 14894 0 -1 4202496 6007 0 0 0 81670 24803 0 0 25 0 1 0 14678583 25792512 5818 4089446400 134512640 136422188 4292059280 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15387/statm: 6297 5818 237 467 0 5828 0
Current children cumulated CPU time (s) 1064.73
Current children cumulated vsize (KiB) 25188

Child status: 0
Real time (s): 1064.8
CPU time (s): 1064.83
CPU user time (s): 816.787
CPU system time (s): 248.043
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 25188

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

runsolver used 1.45878 second user time and 3.39548 second system time

The end

Launcher Data 

Begin job on node139 at 2010-07-07 03:04:21
IDJOB=2698880
IDBENCH=79296
IDSOLVER=1212
FILE ID=node139/2698880-1278464661
PBS_JOBID= 11233714
Free space on /tmp= 73884 MiB

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

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

MD5SUM BENCH= f554cc9691e9826ab6aa59c7fc9c497b
RANDOM SEED=1925261566

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29257228 kB
Buffers:        113372 kB
Cached:        3358248 kB
SwapCached:          0 kB
Active:         835780 kB
Inactive:      2718456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29257228 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4144 kB
Writeback:           0 kB
AnonPages:       82536 kB
Mapped:          15460 kB
Slab:            75004 kB
PageTables:       4688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   225336 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= 73884 MiB
End job on node139 at 2010-07-07 03:22:06