Trace number 2698864

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 1122.71 1122.7

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo
MD5SUMd1c4dbb5406fd100fd0c417364df25ff
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark39.172
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 136368
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136367
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
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.092985 19.9922 32 5847
0.09/0.10	o 911
0.09/0.11	c 0.095985 20.2266 34 10383
0.09/0.11	o 704
0.09/0.14	c 0.107983 20.4609 62 11197
0.09/0.14	o 682
0.09/0.14	c 0.108983 20.4609 67 11560
0.09/0.14	o 676
0.09/0.19	c 0.118981 20.4609 165 12017
0.09/0.19	o 675
0.09/0.19	c 0.120981 20.4609 172 12417
0.09/0.19	o 670
0.19/0.22	c 0.12598 20.4609 230 12808
0.19/0.22	o 669
0.19/0.23	c 0.12698 20.4609 230 13519
0.19/0.23	o 653
0.19/0.23	c 0.13098 20.4609 230 13852
0.19/0.23	o 649
0.19/0.24	c 0.13098 20.4609 230 14731
0.19/0.24	o 630
0.19/0.24	c 0.133979 20.4609 230 15755
0.19/0.24	o 599
0.19/0.25	c 0.135979 20.4609 233 17631
0.19/0.25	o 539
0.29/0.37	c 0.174973 20.4609 533 19303
0.29/0.37	o 534
0.29/0.37	c 0.175973 20.4609 533 20039
0.29/0.37	o 515
0.29/0.38	c 0.176973 20.4609 533 20450
0.29/0.38	o 509
0.29/0.39	c 0.179972 20.4609 535 21051
0.29/0.39	o 495
0.39/0.44	c 0.184971 20.4609 593 21521
0.39/0.44	o 493
0.39/0.46	c 0.186971 20.4609 630 22824
0.39/0.46	o 456
0.49/0.51	c 0.197969 20.4609 719 23698
0.49/0.51	o 435
0.49/0.54	c 0.198969 20.4609 740 24335
0.49/0.54	o 428
0.49/0.55	c 0.200969 20.4609 751 24522
0.49/0.55	o 427
0.69/0.70	c 0.224965 20.4609 959 25919
0.69/0.70	o 406
0.69/0.76	c 0.234964 20.4609 1013 26246
0.69/0.76	o 403
0.89/0.96	c 0.26196 20.4609 692 27681
0.89/0.96	o 402
0.89/0.98	c 0.264959 20.4609 714 28054
0.89/0.98	o 395
1.29/1.34	c 0.306953 20.4609 1195 30083
1.29/1.34	o 392
1.29/1.36	c 0.307953 20.4609 613 30414
1.29/1.36	o 389
1.59/1.61	c 0.370943 20.4609 928 32459
1.59/1.61	o 357
1.59/1.62	c 0.372943 20.4609 929 32962
1.59/1.62	o 345
1.59/1.62	c 0.373943 20.4609 929 33513
1.59/1.62	o 330
1.59/1.63	c 0.373943 20.4609 930 34167
1.59/1.63	o 310
1.59/1.64	c 0.373943 20.4609 932 35163
1.59/1.64	o 279
1.59/1.66	c 0.379942 20.4609 965 35947
1.59/1.66	o 255
1.69/1.70	c 0.384941 20.4609 1006 36264
1.69/1.70	o 250
1.69/1.71	c 0.386941 20.4609 1017 36738
1.69/1.71	o 240
2.20/2.23	c 0.45893 20.4609 1149 39658
2.20/2.23	o 221
2.29/2.30	c 0.468928 20.4609 1228 40012
2.29/2.30	o 218
2.39/2.42	c 0.487925 20.4609 772 40723
2.39/2.42	o 212
2.49/2.50	c 0.497924 20.4609 851 41385
2.49/2.50	o 201
2.49/2.52	c 0.502923 20.4609 882 41556
2.49/2.52	o 199
2.69/2.75	c 0.534918 20.4609 1157 43028
2.69/2.75	o 174
2.79/2.82	c 0.547916 20.5898 1248 43443
2.79/2.82	o 169
2.99/3.05	c 0.598908 20.5898 1060 44414
2.99/3.05	o 168
4.39/4.43	c 0.831873 20.5898 960 50086
4.39/4.43	o 155
5.89/5.91	c 1.16982 20.5898 965 55134
5.89/5.91	o 154
5.89/5.99	c 1.20182 20.5898 1076 56109
5.89/5.99	o 137
6.09/6.19	c 1.26281 20.5898 692 56825
6.09/6.19	o 136
6.79/6.86	c 1.48477 20.5898 994 59939
6.79/6.86	o 130
6.99/7.07	c 1.52577 20.5898 695 60852
6.99/7.07	o 129
8.09/8.17	c 1.73174 20.5898 1181 66141
8.09/8.17	o 121
8.89/8.99	c 1.89671 20.8477 970 68779
8.89/8.99	o 120
9.09/9.14	c 1.92771 20.8477 1251 69651
9.09/9.14	o 117
9.80/9.80	c 2.08268 20.8477 789 73111
9.80/9.80	o 99
10.50/10.55	c 2.23866 20.8477 756 76139
10.50/10.55	o 97
10.69/10.77	c 2.29165 20.8477 1082 77131
10.69/10.77	o 90
10.90/10.99	c 2.33664 20.8477 1435 78224
10.90/10.99	o 85
10.99/11.06	c 2.35364 20.8477 793 78461
10.99/11.06	o 83
11.09/11.15	c 2.38164 20.8477 1239 79755
11.09/11.15	o 82
11.19/11.22	c 2.40163 20.8477 1423 80321
11.19/11.22	o 76
12.59/12.62	c 2.88156 20.8477 1592 86850
12.59/12.62	o 65
12.89/12.93	c 3.02154 20.9766 1252 88437
12.89/12.93	o 62
13.59/13.67	c 3.3025 20.9766 1840 92486
13.59/13.67	o 60
13.89/13.90	c 3.36949 20.9766 2500 94112
13.89/13.90	o 49
14.19/14.29	c 3.49447 20.9766 2365 96374
14.19/14.29	o 43
14.30/14.35	c 3.52146 20.9766 1437 97314
14.30/14.35	o 35
14.70/14.76	c 3.70344 21.1055 1680 100274
14.70/14.76	o 21
14.79/14.80	c 3.72843 21.1055 1954 101022
14.79/14.80	o 10
14.79/14.85	c 3.75943 21.1055 2303 101668
14.79/14.85	o 5
18.49/18.55	c 6.50301 22.1367 3429 158496
18.49/18.55	o 3
20.79/20.84	c 8.33073 22.1367 3349 190549
20.79/20.84	o 2
1122.60/1122.67	c 848.457 24.9023 3569 15137961
1122.60/1122.67	s OPTIMUM FOUND
1122.60/1122.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	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698864-1278464657/watcher-2698864-1278464657 -o /tmp/evaluation-result-2698864-1278464657/solver-2698864-1278464657 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698864-1278464657.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.96 1.98 1.93 3/178 14612
/proc/meminfo: memFree=29623288/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=2136 CPUtime=0
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 253 0 0 0 0 0 0 0 20 0 1 0 14679150 2187264 172 4089446400 134512640 136422188 4294294976 18446744073709551615 135818393 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14612/statm: 534 172 144 467 0 65 0

[startup+0.032306 s]
/proc/loadavg: 1.96 1.98 1.93 3/178 14612
/proc/meminfo: memFree=29623288/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=6904 CPUtime=0.03
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 1409 0 0 0 3 0 0 0 21 0 1 0 14679150 7069696 1328 4089446400 134512640 136422188 4294294976 18446744073709551615 134784384 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14612/statm: 1726 1336 193 467 0 1257 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6904

[startup+0.1003 s]
/proc/loadavg: 1.96 1.98 1.93 3/178 14612
/proc/meminfo: memFree=29623288/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=20468 CPUtime=0.09
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4754 0 0 0 9 0 0 0 21 0 1 0 14679150 20959232 4640 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14612/statm: 5117 4640 213 467 0 4648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20468

[startup+0.30026 s]
/proc/loadavg: 1.96 1.98 1.93 3/178 14612
/proc/meminfo: memFree=29623288/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=20948 CPUtime=0.29
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4857 0 0 0 15 14 0 0 21 0 1 0 14679150 21450752 4731 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14612/statm: 5237 4731 237 467 0 4768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20948

[startup+0.700193 s]
/proc/loadavg: 1.96 1.98 1.93 3/178 14612
/proc/meminfo: memFree=29623288/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=20948 CPUtime=0.69
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4866 0 0 0 22 47 0 0 22 0 1 0 14679150 21450752 4731 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14612/statm: 5237 4731 237 467 0 4768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20948

[startup+1.50006 s]
/proc/loadavg: 1.96 1.98 1.93 3/179 14613
/proc/meminfo: memFree=29604928/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=20948 CPUtime=1.49
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4886 0 0 0 33 116 0 0 25 0 1 0 14679150 21450752 4745 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14612/statm: 5237 4745 237 467 0 4768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20948

[startup+3.10079 s]
/proc/loadavg: 1.96 1.98 1.93 3/179 14613
/proc/meminfo: memFree=29604680/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=21080 CPUtime=3.09
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4935 0 0 0 60 249 0 0 19 0 1 0 14679150 21585920 4778 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14612/statm: 5270 4778 237 467 0 4801 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21080

[startup+6.30025 s]
/proc/loadavg: 1.97 1.98 1.93 3/179 14613
/proc/meminfo: memFree=29604836/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=21080 CPUtime=6.29
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4946 0 0 0 130 499 0 0 25 0 1 0 14679150 21585920 4785 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14612/statm: 5270 4785 237 467 0 4801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21080

[startup+12.7002 s]
/proc/loadavg: 1.97 1.98 1.93 3/179 14613
/proc/meminfo: memFree=29605472/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=21344 CPUtime=12.7
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5017 0 0 0 292 978 0 0 25 0 1 0 14679150 21856256 4843 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14612/statm: 5336 4843 237 467 0 4867 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 21344

[startup+25.501 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 14613
/proc/meminfo: memFree=29605456/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=22664 CPUtime=25.49
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5341 0 0 0 1172 1377 0 0 25 0 1 0 14679150 23207936 5157 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14612/statm: 5666 5157 237 467 0 5197 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22664

[startup+51.1008 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 14613
/proc/meminfo: memFree=29605292/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=22796 CPUtime=51.09
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5394 0 0 0 3117 1992 0 0 25 0 1 0 14679150 23343104 5210 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14612/statm: 5699 5210 237 467 0 5230 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22796

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 14615
/proc/meminfo: memFree=29605124/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=23324 CPUtime=102.3
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5505 0 0 0 7065 3165 0 0 25 0 1 0 14679150 23883776 5321 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 5831 5321 237 467 0 5362 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23324

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 14617
/proc/meminfo: memFree=29604544/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=23740 CPUtime=162.29
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5608 0 0 0 11621 4608 0 0 25 0 1 0 14679150 24309760 5424 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 5935 5424 237 467 0 5466 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23740

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 14619
/proc/meminfo: memFree=29604224/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=23872 CPUtime=222.29
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5666 0 0 0 16218 6011 0 0 25 0 1 0 14679150 24444928 5482 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 5968 5482 237 467 0 5499 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23872

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 14620
/proc/meminfo: memFree=29603888/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=24136 CPUtime=282.3
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5725 0 0 0 20793 7437 0 0 25 0 1 0 14679150 24715264 5541 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6034 5541 237 467 0 5565 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24136

[startup+342.301 s]
/proc/loadavg: 2.07 2.00 1.94 3/179 14621
/proc/meminfo: memFree=29603576/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=24400 CPUtime=342.3
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5776 0 0 0 25411 8819 0 0 25 0 1 0 14679150 24985600 5592 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6100 5592 237 467 0 5631 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24400

[startup+402.3 s]
/proc/loadavg: 2.03 2.00 1.94 3/179 14623
/proc/meminfo: memFree=29603372/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=24532 CPUtime=402.29
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5815 0 0 0 30002 10227 0 0 25 0 1 0 14679150 25120768 5631 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6133 5631 237 467 0 5664 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 24532

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 14625
/proc/meminfo: memFree=29603044/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=24676 CPUtime=462.29
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5848 0 0 0 34652 11577 0 0 25 0 1 0 14679150 25268224 5664 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6169 5664 237 467 0 5700 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 24676

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14627
/proc/meminfo: memFree=29602968/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=24676 CPUtime=522.3
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5869 0 0 0 39245 12985 0 0 25 0 1 0 14679150 25268224 5685 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6169 5685 237 467 0 5700 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24676

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14628
/proc/meminfo: memFree=29602632/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=24964 CPUtime=582.3
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5918 0 0 0 43887 14343 0 0 25 0 1 0 14679150 25563136 5734 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6241 5734 237 467 0 5772 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24964

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14629
/proc/meminfo: memFree=29602456/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25096 CPUtime=642.3
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5945 0 0 0 48524 15706 0 0 25 0 1 0 14679150 25698304 5761 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6274 5761 237 467 0 5805 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 25096

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14631
/proc/meminfo: memFree=29602240/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25232 CPUtime=702.3
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5975 0 0 0 53203 17027 0 0 25 0 1 0 14679150 25837568 5791 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6308 5791 237 467 0 5839 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 25232

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14633
/proc/meminfo: memFree=29602052/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25232 CPUtime=762.31
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5992 0 0 0 57871 18360 0 0 25 0 1 0 14679150 25837568 5808 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6308 5808 237 467 0 5839 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 25232

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14635
/proc/meminfo: memFree=29601856/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25364 CPUtime=822.31
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6026 0 0 0 62490 19741 0 0 25 0 1 0 14679150 25972736 5842 4089446400 134512640 136422188 4294294976 18446744073709551615 135006609 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6341 5842 237 467 0 5872 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 25364

[startup+882.301 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 14639
/proc/meminfo: memFree=29601632/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25496 CPUtime=882.3
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6051 0 0 0 67220 21010 0 0 25 0 1 0 14679150 26107904 5867 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6374 5867 237 467 0 5905 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 25496

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14640
/proc/meminfo: memFree=29601396/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25496 CPUtime=942.31
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6052 0 0 0 71896 22335 0 0 25 0 1 0 14679150 26107904 5868 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6374 5868 237 467 0 5905 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 25496

[startup+1002.3 s]
/proc/loadavg: 1.44 1.85 1.89 2/171 14663
/proc/meminfo: memFree=29626652/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25496 CPUtime=1002.3
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6071 0 0 0 76307 23923 0 0 25 0 1 0 14679150 26107904 5887 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6374 5887 237 467 0 5905 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 25496

[startup+1062.3 s]
/proc/loadavg: 1.16 1.69 1.83 2/171 14665
/proc/meminfo: memFree=29626852/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25496 CPUtime=1062.3
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6071 0 0 0 80536 25694 0 0 25 0 1 0 14679150 26107904 5887 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6374 5887 237 467 0 5905 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 25496

[startup+1122.3 s]
/proc/loadavg: 1.06 1.56 1.78 2/171 14667
/proc/meminfo: memFree=29626784/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25496 CPUtime=1122.31
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6071 0 0 0 84821 27410 0 0 25 0 1 0 14679150 26107904 5887 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6374 5887 237 467 0 5905 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 25496

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

[startup+1122.5 s]
/proc/loadavg: 1.06 1.56 1.78 2/171 14667
/proc/meminfo: memFree=29626784/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25496 CPUtime=1122.51
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6071 0 0 0 84834 27417 0 0 25 0 1 0 14679150 26107904 5887 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6374 5887 237 467 0 5905 0
Current children cumulated CPU time (s) 1122.51
Current children cumulated vsize (KiB) 25496

[startup+1122.6 s]
/proc/loadavg: 1.06 1.56 1.78 2/171 14667
/proc/meminfo: memFree=29626784/32950928 swapFree=67111528/67111528
[pid=14612] ppid=14610 vsize=25496 CPUtime=1122.6
/proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6071 0 0 0 84840 27420 0 0 25 0 1 0 14679150 26107904 5887 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14612/statm: 6374 5887 237 467 0 5905 0
Current children cumulated CPU time (s) 1122.6
Current children cumulated vsize (KiB) 25496

Child status: 0
Real time (s): 1122.7
CPU time (s): 1122.71
CPU user time (s): 848.48
CPU system time (s): 274.231
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 25496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 848.48
system time used= 274.231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2534

runsolver used 1.65775 second user time and 3.45347 second system time

The end

Launcher Data 

Begin job on node126 at 2010-07-07 03:04:17
IDJOB=2698864
IDBENCH=79291
IDSOLVER=1212
FILE ID=node126/2698864-1278464657
PBS_JOBID= 11233740
Free space on /tmp= 73680 MiB

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

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

MD5SUM BENCH= d1c4dbb5406fd100fd0c417364df25ff
RANDOM SEED=1492846776

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.861
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.67
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.861
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.84
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.861
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.67
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.861
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.85
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.861
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:      29624056 kB
Buffers:        112916 kB
Cached:        2985392 kB
SwapCached:          0 kB
Active:         867084 kB
Inactive:      2316588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29624056 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2044 kB
Writeback:           0 kB
AnonPages:       85388 kB
Mapped:          15460 kB
Slab:            78544 kB
PageTables:       4820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   229288 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= 73680 MiB
End job on node126 at 2010-07-07 03:23:00