Trace number 2698779

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 551.726 551.706

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo
MD5SUMdb6ee27e0a2875f2e81d96fef92170ce
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 benchmark137.819
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 765
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.098984 20.0898 10 5682
0.09/0.10	o 655
0.09/0.11	c 0.113982 20.3242 43 9189
0.09/0.11	o 647
0.09/0.12	c 0.119981 20.5586 49 11581
0.09/0.12	o 638
0.09/0.14	c 0.13098 20.5586 69 13228
0.09/0.14	o 612
0.19/0.22	c 0.183972 20.5586 217 14232
0.19/0.22	o 610
0.19/0.23	c 0.189971 20.5586 233 15228
0.19/0.23	o 584
0.19/0.25	c 0.197969 20.5586 241 16455
0.19/0.25	o 561
0.19/0.25	c 0.204968 20.5586 247 16876
0.19/0.25	o 554
0.19/0.26	c 0.208968 20.5586 249 17833
0.19/0.26	o 525
0.19/0.27	c 0.210967 20.5586 249 18329
0.19/0.27	o 513
0.19/0.27	c 0.215967 20.5586 250 21115
0.19/0.27	o 413
0.29/0.34	c 0.255961 20.5586 369 21767
0.29/0.34	o 410
0.89/0.95	c 0.637903 20.5586 1271 25473
0.89/0.95	o 400
0.89/0.96	c 0.640902 20.5586 640 25803
0.89/0.96	o 397
0.89/0.98	c 0.6549 20.5586 654 26138
0.89/0.98	o 393
0.89/0.99	c 0.662899 20.5586 665 26610
0.89/0.99	o 382
1.09/1.11	c 0.730888 20.5586 813 27399
1.09/1.11	o 377
1.09/1.12	c 0.737887 20.5586 822 28259
1.09/1.12	o 354
1.09/1.13	c 0.745886 20.5586 844 29693
1.09/1.13	o 307
1.09/1.17	c 0.772882 20.5586 889 29997
1.09/1.17	o 302
1.19/1.27	c 0.828873 20.5586 995 30877
1.19/1.27	o 294
1.29/1.33	c 0.876866 20.5586 1088 31307
1.29/1.33	o 290
1.29/1.34	c 0.882865 20.5586 1090 31794
1.29/1.34	o 284
1.79/1.81	c 1.15582 20.5586 1056 33702
1.79/1.81	o 280
1.79/1.84	c 1.16882 20.5586 1088 34043
1.79/1.84	o 273
1.79/1.85	c 1.17482 20.5586 1089 34420
1.79/1.85	o 268
1.79/1.85	c 1.17782 20.5586 1090 34787
1.79/1.85	o 262
1.79/1.88	c 1.18982 20.5586 1122 35500
1.79/1.88	o 242
1.89/1.97	c 1.25581 20.5586 619 36029
1.89/1.97	o 240
2.39/2.41	c 1.52477 20.5586 674 38498
2.39/2.41	o 235
2.49/2.56	c 1.60875 20.5586 836 39361
2.49/2.56	o 223
2.59/2.63	c 1.64875 20.5586 917 39734
2.59/2.63	o 219
2.59/2.68	c 1.67575 20.5586 968 40059
2.59/2.68	o 215
2.69/2.77	c 1.72774 20.5586 1054 40370
2.69/2.77	o 213
2.89/2.91	c 1.82272 20.6875 631 41282
2.89/2.91	o 207
3.20/3.29	c 2.04369 20.6875 1049 43497
3.20/3.29	o 173
3.30/3.31	c 2.05869 20.6875 1066 43727
3.30/3.31	o 169
3.30/3.32	c 2.06569 20.6875 1071 44019
3.30/3.32	o 161
3.99/4.06	c 2.51862 20.6875 1447 47455
3.99/4.06	o 137
5.00/5.03	c 3.11353 20.6875 1041 49958
5.00/5.03	o 132
5.29/5.36	c 3.3145 20.6875 847 51364
5.29/5.36	o 130
5.50/5.59	c 3.46447 20.6875 1128 52322
5.50/5.59	o 128
6.29/6.37	c 3.9324 20.6875 1092 55554
6.29/6.37	o 121
6.90/6.90	c 4.26435 20.6875 1131 57623
6.90/6.90	o 113
7.49/7.51	c 4.64229 20.6875 618 59477
7.49/7.51	o 110
8.29/8.34	c 5.17821 20.8164 960 61803
8.29/8.34	o 107
8.49/8.55	c 5.32019 20.8164 685 62982
8.49/8.55	o 103
9.09/9.18	c 5.71913 20.8164 952 65371
9.09/9.18	o 102
9.39/9.43	c 5.8931 20.8164 1334 66380
9.39/9.43	o 101
11.09/11.14	c 7.00793 20.9453 882 73380
11.09/11.14	o 100
11.30/11.34	c 7.14191 20.9453 1225 74403
11.30/11.34	o 87
13.59/13.60	c 8.64569 20.9453 1642 82231
13.59/13.60	o 84
14.59/14.61	c 9.28959 20.9453 934 86177
14.59/14.61	o 83
15.20/15.26	c 9.73252 21.0742 2158 88587
15.20/15.26	o 78
15.59/15.60	c 9.95949 21.0742 1648 90013
15.59/15.60	o 75
15.69/15.74	c 10.0585 21.0742 1903 90998
15.69/15.74	o 70
16.59/16.60	c 10.6404 21.0742 1453 94228
16.59/16.60	o 67
17.50/17.52	c 11.2843 21.0742 2119 97691
17.50/17.52	o 64
17.50/17.54	c 11.2983 21.0742 1114 97965
17.50/17.54	o 60
17.50/17.55	c 11.3023 21.0742 1161 98227
17.50/17.55	o 55
17.60/17.64	c 11.3653 21.0742 1383 98740
17.60/17.64	o 54
18.30/18.33	c 11.8422 21.0742 1659 102327
18.30/18.33	o 53
20.19/20.27	c 13.221 21.0742 2473 110433
20.19/20.27	o 52
20.29/20.31	c 13.243 21.0742 1293 110661
20.29/20.31	o 48
20.29/20.35	c 13.272 21.0742 1382 110834
20.29/20.35	o 46
22.80/22.87	c 15.0827 21.2031 1669 123640
22.80/22.87	o 43
23.89/23.96	c 15.9046 21.332 1893 129460
23.89/23.96	o 41
24.10/24.20	c 16.0746 21.332 2492 130722
24.10/24.20	o 39
24.29/24.34	c 16.1785 21.332 2950 131608
24.29/24.34	o 37
24.69/24.72	c 16.4645 21.332 2549 133533
24.69/24.72	o 35
25.99/26.01	c 17.4044 21.332 2130 140144
25.99/26.01	o 34
26.90/26.92	c 18.1182 21.4609 1965 145454
26.90/26.92	o 31
27.29/27.32	c 18.4312 21.4609 1966 148216
27.29/27.32	o 28
27.59/27.66	c 18.7012 21.4609 1965 151394
27.59/27.66	o 24
28.29/28.31	c 19.2141 21.4609 2179 157563
28.29/28.31	o 22
29.10/29.11	c 19.86 21.4609 3311 165799
29.10/29.11	o 21
29.19/29.24	c 19.979 21.4609 2472 167359
29.19/29.24	o 20
29.30/29.36	c 20.0679 21.4609 3096 168572
29.30/29.36	o 13
29.80/29.86	c 20.5069 21.9766 2642 173435
29.80/29.86	o 12
30.89/30.97	c 21.4917 21.9766 2853 189790
30.89/30.97	o 11
32.10/32.18	c 22.5216 21.9766 3738 202009
32.10/32.18	o 7
34.00/34.04	c 24.1833 22.2344 3020 227375
34.00/34.04	o 6
34.29/34.38	c 24.4963 22.2344 2438 232648
34.29/34.38	o 5
34.99/35.06	c 25.1162 22.2344 2961 242419
34.99/35.06	o 3
50.89/50.94	c 39.532 22.7539 2772 452284
50.89/50.94	o 2
62.89/62.99	c 50.4053 22.7539 3995 619721
62.89/62.99	o 1
551.61/551.67	c 419.506 24.0938 3857 7583982
551.61/551.67	s OPTIMUM FOUND
551.61/551.67	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-2698779-1278464510/watcher-2698779-1278464510 -o /tmp/evaluation-result-2698779-1278464510/solver-2698779-1278464510 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698779-1278464510.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.99 2.00 1.93 4/178 13649
/proc/meminfo: memFree=28586328/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=2136 CPUtime=0
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 14665746 2187264 174 4089446400 134512640 136422188 4286941360 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13649/statm: 534 174 144 467 0 65 0

[startup+0.091429 s]
/proc/loadavg: 1.99 2.00 1.93 4/178 13649
/proc/meminfo: memFree=28586328/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=20272 CPUtime=0.09
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 4689 0 0 0 9 0 0 0 25 0 1 0 14665746 20758528 4575 4089446400 134512640 136422188 4286941360 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5068 4575 207 467 0 4599 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20272

[startup+0.10041 s]
/proc/loadavg: 1.99 2.00 1.93 4/178 13649
/proc/meminfo: memFree=28586328/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=20568 CPUtime=0.09
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 4754 0 0 0 9 0 0 0 25 0 1 0 14665746 21061632 4640 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5142 4640 213 467 0 4673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20568

[startup+0.300377 s]
/proc/loadavg: 1.99 2.00 1.93 4/178 13649
/proc/meminfo: memFree=28586328/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=21048 CPUtime=0.29
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 4855 0 0 0 22 7 0 0 18 0 1 0 14665746 21553152 4730 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5262 4730 237 467 0 4793 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21048

[startup+0.700302 s]
/proc/loadavg: 1.99 2.00 1.93 4/178 13649
/proc/meminfo: memFree=28586328/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=21048 CPUtime=0.69
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 4856 0 0 0 48 21 0 0 18 0 1 0 14665746 21553152 4730 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5262 4730 237 467 0 4793 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21048

[startup+1.50115 s]
/proc/loadavg: 1.99 2.00 1.93 3/179 13650
/proc/meminfo: memFree=28568100/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=21048 CPUtime=1.49
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 4880 0 0 0 96 53 0 0 18 0 1 0 14665746 21553152 4743 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5262 4743 237 467 0 4793 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21048

[startup+3.10086 s]
/proc/loadavg: 1.99 2.00 1.93 3/179 13650
/proc/meminfo: memFree=28568340/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=21180 CPUtime=3.09
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 4907 0 0 0 192 117 0 0 18 0 1 0 14665746 21688320 4758 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5295 4758 237 467 0 4826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21180

[startup+6.30026 s]
/proc/loadavg: 1.99 2.00 1.93 3/179 13650
/proc/meminfo: memFree=28568320/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=21180 CPUtime=6.29
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 4937 0 0 0 389 240 0 0 24 0 1 0 14665746 21688320 4781 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5295 4781 237 467 0 4826 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21180

[startup+12.7011 s]
/proc/loadavg: 1.99 2.00 1.93 3/179 13651
/proc/meminfo: memFree=28567716/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=21444 CPUtime=12.69
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5000 0 0 0 802 467 0 0 19 0 1 0 14665746 21958656 4835 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5361 4835 237 467 0 4892 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21444

[startup+25.5006 s]
/proc/loadavg: 1.99 2.00 1.93 3/179 13651
/proc/meminfo: memFree=28567764/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=21840 CPUtime=25.5
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5135 0 0 0 1703 847 0 0 20 0 1 0 14665746 22364160 4951 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5460 4951 237 467 0 4991 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 21840

[startup+51.1008 s]
/proc/loadavg: 1.99 2.00 1.93 3/179 13652
/proc/meminfo: memFree=28566084/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=23296 CPUtime=51.1
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5489 0 0 0 3967 1143 0 0 25 0 1 0 14665746 23855104 5290 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5824 5290 237 467 0 5355 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 23296

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.93 3/179 13653
/proc/meminfo: memFree=28565924/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=23296 CPUtime=102.3
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5490 0 0 0 8596 1634 0 0 25 0 1 0 14665746 23855104 5290 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13649/statm: 5824 5290 237 467 0 5355 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23296

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/179 13683
/proc/meminfo: memFree=29145996/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=23560 CPUtime=162.29
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5573 0 0 0 13283 2946 0 0 25 0 1 0 14665746 24125440 5373 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 5890 5373 237 467 0 5421 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23560

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/179 13684
/proc/meminfo: memFree=29146072/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=23692 CPUtime=222.3
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5615 0 0 0 17689 4541 0 0 25 0 1 0 14665746 24260608 5415 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 5923 5415 237 467 0 5454 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23692

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 13686
/proc/meminfo: memFree=29145540/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=23956 CPUtime=282.3
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5671 0 0 0 22061 6169 0 0 25 0 1 0 14665746 24530944 5471 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 5989 5471 237 467 0 5520 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23956

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 13688
/proc/meminfo: memFree=29144992/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=24220 CPUtime=342.3
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5718 0 0 0 26516 7714 0 0 25 0 1 0 14665746 24801280 5518 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 6055 5518 237 467 0 5586 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24220

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13689
/proc/meminfo: memFree=29144832/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=24220 CPUtime=402.3
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5749 0 0 0 30950 9280 0 0 25 0 1 0 14665746 24801280 5549 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 6055 5549 237 467 0 5586 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24220

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13691
/proc/meminfo: memFree=29144764/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=24356 CPUtime=462.3
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5780 0 0 0 35371 10859 0 0 25 0 1 0 14665746 24940544 5580 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 6089 5580 237 467 0 5620 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24356

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13692
/proc/meminfo: memFree=29144596/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=24356 CPUtime=522.31
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5780 0 0 0 39761 12470 0 0 25 0 1 0 14665746 24940544 5580 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 6089 5580 237 467 0 5620 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24356

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

[startup+537.501 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13693
/proc/meminfo: memFree=29144440/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=24536 CPUtime=537.51
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5815 0 0 0 40890 12861 0 0 25 0 1 0 14665746 25124864 5615 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 6134 5615 237 467 0 5665 0
Current children cumulated CPU time (s) 537.51
Current children cumulated vsize (KiB) 24536

[startup+543.901 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13693
/proc/meminfo: memFree=29144440/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=24668 CPUtime=543.91
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5830 0 0 0 41367 13024 0 0 25 0 1 0 14665746 25260032 5630 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 6167 5630 237 467 0 5698 0
Current children cumulated CPU time (s) 543.91
Current children cumulated vsize (KiB) 24668

[startup+547.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13693
/proc/meminfo: memFree=29144440/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=24668 CPUtime=547.11
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5832 0 0 0 41610 13101 0 0 25 0 1 0 14665746 25260032 5632 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 6167 5632 237 467 0 5698 0
Current children cumulated CPU time (s) 547.11
Current children cumulated vsize (KiB) 24668

[startup+550.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13693
/proc/meminfo: memFree=29144436/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=24668 CPUtime=550.31
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5833 0 0 0 41848 13183 0 0 25 0 1 0 14665746 25260032 5633 4089446400 134512640 136422188 4286941360 18446744073709551615 134857670 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 6167 5633 237 467 0 5698 0
Current children cumulated CPU time (s) 550.31
Current children cumulated vsize (KiB) 24668

[startup+551.106 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13693
/proc/meminfo: memFree=29144312/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=24668 CPUtime=551.12
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5833 0 0 0 41907 13205 0 0 25 0 1 0 14665746 25260032 5633 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 6167 5633 237 467 0 5698 0
Current children cumulated CPU time (s) 551.12
Current children cumulated vsize (KiB) 24668

[startup+551.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13693
/proc/meminfo: memFree=29144312/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=24668 CPUtime=551.51
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5833 0 0 0 41937 13214 0 0 25 0 1 0 14665746 25260032 5633 4089446400 134512640 136422188 4286941360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 6167 5633 237 467 0 5698 0
Current children cumulated CPU time (s) 551.51
Current children cumulated vsize (KiB) 24668

[startup+551.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13693
/proc/meminfo: memFree=29144312/32950928 swapFree=67111528/67111528
[pid=13649] ppid=13647 vsize=20036 CPUtime=551.71
/proc/13649/stat : 13649 (pbct) R 13647 13649 12651 0 -1 4202496 5837 0 0 0 41953 13218 0 0 25 0 1 0 14665746 20516864 4659 4089446400 134512640 136422188 4286941360 18446744073709551615 134586163 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13649/statm: 5009 4659 240 467 0 4540 0
Current children cumulated CPU time (s) 551.71
Current children cumulated vsize (KiB) 20036

Child status: 0
Real time (s): 551.706
CPU time (s): 551.726
CPU user time (s): 419.536
CPU system time (s): 132.19
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 24668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 419.536
system time used= 132.19
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5838
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= 19
involuntary context switches= 5202

runsolver used 0.805877 second user time and 1.81172 second system time

The end

Launcher Data 

Begin job on node114 at 2010-07-07 03:01:50
IDJOB=2698779
IDBENCH=79266
IDSOLVER=1212
FILE ID=node114/2698779-1278464510
PBS_JOBID= 11233764
Free space on /tmp= 73376 MiB

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

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

MD5SUM BENCH= db6ee27e0a2875f2e81d96fef92170ce
RANDOM SEED=1098107846

node114.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.824
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.64
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.824
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.824
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.83
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.824
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.81
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.824
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.824
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.824
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.824
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:      28586856 kB
Buffers:        111932 kB
Cached:        3438172 kB
SwapCached:          0 kB
Active:        1648432 kB
Inactive:      2563880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28586856 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:      661988 kB
Mapped:          15236 kB
Slab:            87228 kB
PageTables:       6028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   826748 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= 73376 MiB
End job on node114 at 2010-07-07 03:11:02