Trace number 2698941

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 1132.51 1132.46

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo
MD5SUMebe664bdb6d24f27290f0bb7f023aa5a
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark776.621
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 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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.00/0.10	c 0.093985 20.0781 13 8263
0.00/0.10	o 909
0.10/0.10	c 0.095985 20.3125 13 11002
0.10/0.10	o 476
0.10/0.19	c 0.153976 20.5469 145 11817
0.10/0.19	o 472
0.19/0.20	c 0.156976 20.5469 146 16559
0.19/0.20	o 364
0.19/0.22	c 0.164974 20.5469 172 16842
0.19/0.22	o 361
0.19/0.25	c 0.179972 20.5469 207 17184
0.19/0.25	o 355
0.29/0.35	c 0.238963 20.5469 312 18015
0.29/0.35	o 348
0.29/0.37	c 0.253961 20.5469 338 18313
0.29/0.37	o 346
0.49/0.51	c 0.338948 20.5469 557 19555
0.49/0.51	o 342
0.49/0.52	c 0.346947 20.5469 579 19888
0.49/0.52	o 335
0.59/0.64	c 0.426935 20.5469 735 20931
0.59/0.64	o 321
0.59/0.65	c 0.436933 20.5469 745 21172
0.59/0.65	o 320
0.69/0.78	c 0.526919 20.5469 927 21905
0.69/0.78	o 315
0.79/0.80	c 0.535918 20.5469 943 22284
0.79/0.80	o 312
0.79/0.81	c 0.544917 20.5469 951 22541
0.79/0.81	o 311
0.79/0.89	c 0.597909 20.5469 1072 23192
0.79/0.89	o 310
0.89/0.90	c 0.601908 20.5469 1074 23928
0.89/0.90	o 288
0.89/0.99	c 0.650901 20.5469 1172 24421
0.89/0.99	o 280
1.20/1.23	c 0.799878 20.5469 958 25881
1.20/1.23	o 276
1.40/1.48	c 0.940856 20.5469 1267 26892
1.40/1.48	o 273
1.59/1.65	c 1.04084 20.5469 867 28041
1.59/1.65	o 268
1.79/1.80	c 1.12383 20.5469 1060 28951
1.79/1.80	o 259
1.79/1.89	c 1.17482 20.5469 607 29674
1.79/1.89	o 257
2.59/2.68	c 1.65975 20.5469 973 33620
2.59/2.68	o 241
3.09/3.17	c 1.9637 20.5469 925 35903
3.09/3.17	o 239
3.19/3.26	c 2.02169 20.5469 1055 36536
3.19/3.26	o 231
3.49/3.53	c 2.18067 20.6758 797 37785
3.49/3.53	o 228
3.69/3.74	c 2.32465 20.6758 1134 38722
3.69/3.74	o 227
3.79/3.84	c 2.37364 20.6758 622 39360
3.79/3.84	o 223
3.79/3.87	c 2.39563 20.6758 649 40330
3.79/3.87	o 197
3.99/4.04	c 2.51562 20.6758 932 41720
3.99/4.04	o 182
4.40/4.47	c 2.78258 20.6758 845 44048
4.40/4.47	o 166
5.50/5.54	c 3.44248 20.6758 818 48061
5.50/5.54	o 164
5.50/5.56	c 3.45647 20.6758 841 48265
5.50/5.56	o 162
5.79/5.86	c 3.63445 20.6758 692 49899
5.79/5.86	o 150
6.20/6.22	c 3.85841 20.6758 1108 50949
6.20/6.22	o 148
6.49/6.59	c 4.10338 20.6758 917 52102
6.49/6.59	o 144
7.29/7.30	c 4.55631 20.8047 1310 54851
7.29/7.30	o 126
7.39/7.47	c 4.66229 20.8047 885 55958
7.39/7.47	o 116
7.70/7.76	c 4.84526 20.8047 707 57211
7.70/7.76	o 110
7.99/8.01	c 5.00924 20.8047 1027 58193
7.99/8.01	o 106
8.19/8.29	c 5.17221 20.8047 845 59346
8.19/8.29	o 102
9.09/9.15	c 5.72213 20.8047 1233 62136
9.09/9.15	o 97
10.10/10.15	c 6.33704 20.8047 830 65363
10.10/10.15	o 92
10.59/10.60	c 6.62699 20.8047 1469 66715
10.59/10.60	o 91
11.39/11.46	c 7.16391 20.8047 1289 70080
11.39/11.46	o 81
11.39/11.48	c 7.17591 20.8047 1316 70249
11.39/11.48	o 80
13.19/13.21	c 8.31673 20.9336 1073 76235
13.19/13.21	o 72
17.89/17.99	c 11.4653 21.0625 1087 91571
17.89/17.99	o 67
19.19/19.23	c 12.2791 21.0625 2158 96373
19.19/19.23	o 63
19.69/19.73	c 12.6271 21.0625 2033 98577
19.69/19.73	o 61
35.89/35.98	c 23.8144 21.4492 2773 155554
35.89/35.98	o 59
39.19/39.29	c 26.129 21.4492 1974 168570
39.19/39.29	o 57
42.19/42.26	c 28.1507 21.4492 1753 179970
42.19/42.26	o 56
43.89/43.98	c 29.3295 21.5781 1628 186170
43.89/43.98	o 54
44.20/44.20	c 29.4935 21.5781 2113 187102
44.20/44.20	o 50
48.50/48.51	c 32.5281 21.5781 2614 204433
48.50/48.51	o 45
52.49/52.57	c 35.4326 21.8359 2570 220491
52.49/52.57	o 41
55.99/56.01	c 37.9592 21.8359 1790 238867
55.99/56.01	o 37
55.99/56.02	c 37.9662 21.8359 1830 239020
55.99/56.02	o 36
60.89/60.99	c 41.7756 21.8359 3071 269625
60.89/60.99	o 34
62.50/62.54	c 42.9495 21.8359 2476 278638
62.50/62.54	o 33
65.60/65.61	c 45.3331 21.8359 2823 300430
65.60/65.61	o 29
67.40/67.45	c 46.7699 22.0938 3330 311595
67.40/67.45	o 28
70.00/70.01	c 48.7896 22.0938 2893 331348
70.00/70.01	o 24
72.19/72.22	c 50.6053 22.4805 2422 348439
72.19/72.22	o 22
80.90/80.94	c 57.7092 22.4805 1951 426487
80.90/80.94	o 21
81.60/81.66	c 58.2901 22.4805 2877 433026
81.60/81.66	o 18
85.40/85.44	c 61.4917 22.4805 3140 473024
85.40/85.44	o 14
92.00/92.05	c 67.0848 22.6094 2654 545220
92.00/92.05	o 8
94.00/94.08	c 68.8875 22.6094 3123 570476
94.00/94.08	o 6
191.80/191.82	c 156.37 23.2539 2917 1948167
191.80/191.82	o 5
340.90/340.94	c 290.512 23.3828 3099 4145200
340.90/340.94	o 4
1132.44/1132.43	c 1004.82 24.0469 2588 16187170
1132.44/1132.44	s OPTIMUM FOUND
1132.44/1132.44	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	4

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698941-1278465016/watcher-2698941-1278465016 -o /tmp/evaluation-result-2698941-1278465016/solver-2698941-1278465016 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698941-1278465016.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.92 1.98 1.94 4/177 11531
/proc/meminfo: memFree=30849188/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=2136 CPUtime=0
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14648838 2187264 174 4089446400 134512640 136422188 4290537824 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11531/statm: 534 174 144 467 0 65 0

[startup+0.105324 s]
/proc/loadavg: 1.92 1.98 1.94 4/177 11531
/proc/meminfo: memFree=30849188/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=20796 CPUtime=0.1
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 4842 0 0 0 9 1 0 0 25 0 1 0 14648838 21295104 4694 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5199 4694 236 467 0 4730 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20796

[startup+0.200314 s]
/proc/loadavg: 1.92 1.98 1.94 4/177 11531
/proc/meminfo: memFree=30849188/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=21036 CPUtime=0.19
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 4877 0 0 0 15 4 0 0 18 0 1 0 14648838 21540864 4727 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5259 4727 236 467 0 4790 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21036

[startup+0.300301 s]
/proc/loadavg: 1.92 1.98 1.94 4/177 11531
/proc/meminfo: memFree=30849188/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=21036 CPUtime=0.29
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 4880 0 0 0 20 9 0 0 18 0 1 0 14648838 21540864 4727 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5259 4727 236 467 0 4790 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21036

[startup+0.700216 s]
/proc/loadavg: 1.92 1.98 1.94 4/177 11531
/proc/meminfo: memFree=30849188/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=21036 CPUtime=0.69
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 4887 0 0 0 46 23 0 0 18 0 1 0 14648838 21540864 4728 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5259 4728 237 467 0 4790 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21036

[startup+1.50106 s]
/proc/loadavg: 1.92 1.98 1.94 3/178 11532
/proc/meminfo: memFree=30830704/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=21036 CPUtime=1.5
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 4916 0 0 0 95 55 0 0 18 0 1 0 14648838 21540864 4749 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5259 4749 237 467 0 4790 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 21036

[startup+3.10077 s]
/proc/loadavg: 1.92 1.98 1.94 3/178 11532
/proc/meminfo: memFree=30830332/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=21036 CPUtime=3.09
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 4920 0 0 0 192 117 0 0 19 0 1 0 14648838 21540864 4749 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5259 4749 237 467 0 4790 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21036

[startup+6.30021 s]
/proc/loadavg: 1.93 1.98 1.94 3/178 11532
/proc/meminfo: memFree=30830268/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=21168 CPUtime=6.29
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 4953 0 0 0 390 239 0 0 18 0 1 0 14648838 21676032 4770 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5292 4770 237 467 0 4823 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21168

[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.94 3/178 11532
/proc/meminfo: memFree=30830396/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=21432 CPUtime=12.69
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5024 0 0 0 795 474 0 0 19 0 1 0 14648838 21946368 4830 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5358 4830 237 467 0 4889 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21432

[startup+25.5005 s]
/proc/loadavg: 2.02 2.00 1.94 3/178 11533
/proc/meminfo: memFree=30830616/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=21960 CPUtime=25.49
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5164 0 0 0 1656 893 0 0 25 0 1 0 14648838 22487040 4966 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5490 4966 237 467 0 5021 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21960

[startup+51.1006 s]
/proc/loadavg: 2.09 2.02 1.95 3/178 11534
/proc/meminfo: memFree=30829652/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=22356 CPUtime=51.09
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5259 0 0 0 3439 1670 0 0 25 0 1 0 14648838 22892544 5055 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5589 5055 237 467 0 5120 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22356

[startup+102.301 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 11535
/proc/meminfo: memFree=30827872/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=23148 CPUtime=102.3
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5477 0 0 0 7625 2605 0 0 25 0 1 0 14648838 23703552 5259 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5787 5259 237 467 0 5318 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23148

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 11536
/proc/meminfo: memFree=30827452/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=23412 CPUtime=162.3
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5551 0 0 0 12997 3233 0 0 25 0 1 0 14648838 23973888 5333 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5853 5333 237 467 0 5384 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23412

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11538
/proc/meminfo: memFree=30827004/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=23808 CPUtime=222.31
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5636 0 0 0 18379 3852 0 0 25 0 1 0 14648838 24379392 5417 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5952 5417 237 467 0 5483 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 23808

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11540
/proc/meminfo: memFree=30826688/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=23808 CPUtime=282.3
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5636 0 0 0 23771 4459 0 0 25 0 1 0 14648838 24379392 5417 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5952 5417 237 467 0 5483 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23808

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11542
/proc/meminfo: memFree=30826276/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=23940 CPUtime=342.31
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5669 0 0 0 29171 5060 0 0 25 0 1 0 14648838 24514560 5449 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5985 5449 237 467 0 5516 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 23940

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11543
/proc/meminfo: memFree=30825980/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=23940 CPUtime=402.3
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5695 0 0 0 34568 5662 0 0 25 0 1 0 14648838 24514560 5475 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 5985 5475 237 467 0 5516 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23940

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11544
/proc/meminfo: memFree=30825916/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24076 CPUtime=462.31
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5723 0 0 0 39983 6248 0 0 25 0 1 0 14648838 24653824 5503 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6019 5503 237 467 0 5550 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24076

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11546
/proc/meminfo: memFree=30825848/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24212 CPUtime=522.31
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5735 0 0 0 45401 6830 0 0 25 0 1 0 14648838 24793088 5515 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6053 5515 237 467 0 5584 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24212

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11548
/proc/meminfo: memFree=30825404/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24212 CPUtime=582.31
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5758 0 0 0 50798 7433 0 0 25 0 1 0 14648838 24793088 5538 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6053 5538 237 467 0 5584 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 24212

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11550
/proc/meminfo: memFree=30825092/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24344 CPUtime=642.32
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5779 0 0 0 56235 7997 0 0 25 0 1 0 14648838 24928256 5559 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6086 5559 237 467 0 5617 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 24344

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11551
/proc/meminfo: memFree=30824800/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24344 CPUtime=702.32
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5784 0 0 0 61662 8570 0 0 25 0 1 0 14648838 24928256 5564 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6086 5564 237 467 0 5617 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 24344

[startup+762.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11552
/proc/meminfo: memFree=30825248/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24484 CPUtime=762.33
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5799 0 0 0 67084 9149 0 0 25 0 1 0 14648838 25071616 5579 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6121 5579 237 467 0 5652 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 24484

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11554
/proc/meminfo: memFree=30824936/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24484 CPUtime=822.33
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5812 0 0 0 72477 9756 0 0 25 0 1 0 14648838 25071616 5592 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6121 5592 237 467 0 5652 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 24484

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11556
/proc/meminfo: memFree=30825128/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24484 CPUtime=882.33
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5818 0 0 0 77894 10339 0 0 25 0 1 0 14648838 25071616 5598 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6121 5598 237 467 0 5652 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 24484

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11558
/proc/meminfo: memFree=30824716/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24484 CPUtime=942.33
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5826 0 0 0 83304 10929 0 0 25 0 1 0 14648838 25071616 5606 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6121 5606 237 467 0 5652 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 24484

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11559
/proc/meminfo: memFree=30824672/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24484 CPUtime=1002.33
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5830 0 0 0 88735 11498 0 0 25 0 1 0 14648838 25071616 5610 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6121 5610 237 467 0 5652 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 24484

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11560
/proc/meminfo: memFree=30824732/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24620 CPUtime=1062.33
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5835 0 0 0 94163 12070 0 0 25 0 1 0 14648838 25210880 5615 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6155 5615 237 467 0 5686 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 24620

[startup+1122.3 s]
/proc/loadavg: 1.37 1.82 1.88 2/170 11583
/proc/meminfo: memFree=30850724/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24620 CPUtime=1122.33
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5845 0 0 0 99567 12666 0 0 25 0 1 0 14648838 25210880 5625 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6155 5625 237 467 0 5686 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 24620

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

[startup+1126.4 s]
/proc/loadavg: 1.34 1.80 1.88 2/170 11583
/proc/meminfo: memFree=30850724/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24620 CPUtime=1126.44
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5845 0 0 0 99937 12707 0 0 25 0 1 0 14648838 25210880 5625 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6155 5625 237 467 0 5686 0
Current children cumulated CPU time (s) 1126.44
Current children cumulated vsize (KiB) 24620

[startup+1129.6 s]
/proc/loadavg: 1.31 1.79 1.87 2/170 11583
/proc/meminfo: memFree=30850600/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24620 CPUtime=1129.64
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5847 0 0 0 100227 12737 0 0 25 0 1 0 14648838 25210880 5627 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6155 5627 237 467 0 5686 0
Current children cumulated CPU time (s) 1129.64
Current children cumulated vsize (KiB) 24620

[startup+1131.2 s]
/proc/loadavg: 1.31 1.79 1.87 2/170 11583
/proc/meminfo: memFree=30850708/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24620 CPUtime=1131.24
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5847 0 0 0 100369 12755 0 0 25 0 1 0 14648838 25210880 5627 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6155 5627 237 467 0 5686 0
Current children cumulated CPU time (s) 1131.24
Current children cumulated vsize (KiB) 24620

[startup+1132.01 s]
/proc/loadavg: 1.31 1.79 1.87 2/170 11583
/proc/meminfo: memFree=30850708/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24620 CPUtime=1132.04
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5847 0 0 0 100441 12763 0 0 25 0 1 0 14648838 25210880 5627 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6155 5627 237 467 0 5686 0
Current children cumulated CPU time (s) 1132.04
Current children cumulated vsize (KiB) 24620

[startup+1132.4 s]
/proc/loadavg: 1.31 1.79 1.87 2/170 11583
/proc/meminfo: memFree=30850708/32950928 swapFree=67111528/67111528
[pid=11531] ppid=11529 vsize=24620 CPUtime=1132.44
/proc/11531/stat : 11531 (pbct) R 11529 11531 10681 0 -1 4202496 5847 0 0 0 100478 12766 0 0 25 0 1 0 14648838 25210880 5627 4089446400 134512640 136422188 4290537824 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11531/statm: 6155 5627 237 467 0 5686 0
Current children cumulated CPU time (s) 1132.44
Current children cumulated vsize (KiB) 24620

Child status: 0
Real time (s): 1132.46
CPU time (s): 1132.51
CPU user time (s): 1004.84
CPU system time (s): 127.669
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 24620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1004.84
system time used= 127.669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5852
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= 9
involuntary context switches= 1891

runsolver used 1.53277 second user time and 3.62045 second system time

The end

Launcher Data 

Begin job on node115 at 2010-07-07 03:10:16
IDJOB=2698941
IDBENCH=79312
IDSOLVER=1212
FILE ID=node115/2698941-1278465016
PBS_JOBID= 11233762
Free space on /tmp= 73752 MiB

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

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

MD5SUM BENCH= ebe664bdb6d24f27290f0bb7f023aa5a
RANDOM SEED=1466771045

node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30849824 kB
Buffers:        102064 kB
Cached:        1782892 kB
SwapCached:          0 kB
Active:         668104 kB
Inactive:      1297560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30849824 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3996 kB
Writeback:           0 kB
AnonPages:       80456 kB
Mapped:          15448 kB
Slab:            71928 kB
PageTables:       4340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   224324 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= 73752 MiB
End job on node115 at 2010-07-07 03:29:09