Trace number 2694990

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1OPTIMUM 477.839 477.825

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
MD5SUM97e6423088cc7ef1f08dcccdf9e01ef4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark86.7398
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 constraints1857
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 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 741
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 5/18 clauses 845/1839 units 0
0.00/0.01	c vars 231
0.09/0.12	c 0.076988 16.9219 35 32423
0.09/0.12	o 860
0.09/0.12	c 0.076988 17.1094 35 34310
0.09/0.12	o 635
0.09/0.13	c 0.076988 17.1094 36 34909
0.09/0.13	o 607
0.19/0.23	c 0.084987 17.1094 322 43882
0.19/0.23	o 457
0.29/0.31	c 0.099984 17.2266 530 46689
0.29/0.31	o 436
0.29/0.37	c 0.106983 17.2266 668 47898
0.29/0.37	o 426
0.59/0.62	c 0.146977 17.2266 902 51135
0.59/0.62	o 385
0.99/1.00	c 0.205968 17.3477 788 58633
0.99/1.00	o 356
0.99/1.01	c 0.207968 17.3477 818 59328
0.99/1.01	o 324
0.99/1.08	c 0.218966 17.3477 1001 60602
0.99/1.08	o 304
4.69/4.76	c 0.754885 17.3477 1394 263112
4.69/4.76	o 297
13.60/13.68	c 1.93171 17.3477 1072 675683
13.60/13.68	o 278
17.89/17.90	c 2.45563 17.3477 1175 861191
17.89/17.90	o 197
19.90/19.93	c 2.76958 17.3477 974 887073
19.90/19.93	o 193
20.09/20.13	c 2.79957 17.4648 1368 888463
20.09/20.13	o 181
20.29/20.40	c 2.84357 17.4648 774 889894
20.29/20.40	o 180
20.49/20.54	c 2.86856 17.4648 1160 890733
20.49/20.54	o 174
20.59/20.60	c 2.87556 17.4648 695 891385
20.59/20.60	o 154
20.79/20.85	c 2.91956 17.4648 779 893242
20.79/20.85	o 138
21.39/21.47	c 3.03854 17.4648 928 896390
21.39/21.47	o 137
21.59/21.64	c 3.07553 17.4648 725 897357
21.59/21.64	o 134
21.69/21.79	c 3.10453 17.4648 1107 898081
21.69/21.79	o 133
22.09/22.17	c 3.18552 17.4648 847 900245
22.09/22.17	o 131
24.10/24.14	c 3.66644 17.4648 1402 909581
24.10/24.14	o 124
24.10/24.16	c 3.67244 17.4648 729 909760
24.10/24.16	o 120
24.60/24.63	c 3.81542 17.4648 1080 912005
24.60/24.63	o 114
24.99/25.09	c 3.9304 17.4648 1063 914917
24.99/25.09	o 104
25.20/25.26	c 3.9654 17.4648 923 916003
25.20/25.26	o 98
25.49/25.53	c 4.00739 17.4648 885 917074
25.49/25.53	o 97
26.39/26.44	c 4.26935 17.5938 1396 922672
26.39/26.44	o 95
26.50/26.52	c 4.28235 17.5938 857 923261
26.50/26.52	o 81
26.59/26.66	c 4.32934 17.5938 760 924491
26.59/26.66	o 79
26.90/26.91	c 4.39233 17.5938 1469 926039
26.90/26.91	o 66
28.49/28.60	c 5.02424 17.8438 1083 937156
28.60/28.60	o 61
29.50/29.54	c 5.41618 17.8438 1628 942924
29.50/29.54	o 55
29.70/29.78	c 5.52716 17.8438 1960 945505
29.70/29.78	o 38
29.70/29.78	c 5.52816 17.8438 985 945615
29.70/29.78	o 34
29.89/29.96	c 5.62814 17.8438 2362 947887
29.89/29.96	o 24
30.19/30.25	c 5.82111 17.8438 2002 951194
30.19/30.25	o 21
30.39/30.40	c 5.9261 17.9688 1814 953153
30.39/30.40	o 10
32.59/32.67	c 7.63884 18.9961 1663 982458
32.59/32.67	o 9
36.29/36.33	c 10.2544 18.9414 2363 1037384
36.29/36.33	o 8
36.80/36.87	c 10.6904 18.9414 1657 1045297
36.80/36.87	o 6
37.30/37.34	c 11.0793 18.9414 2282 1053215
37.30/37.34	o 3
38.60/38.67	c 12.1062 18.9414 2788 1073854
38.60/38.67	o 1
477.80/477.80	c 357.893 19.8477 3591 8080372
477.80/477.80	s OPTIMUM FOUND
477.80/477.80	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-2694990-1277912647/watcher-2694990-1277912647 -o /tmp/evaluation-result-2694990-1277912647/solver-2694990-1277912647 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694990-1277912647.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: 2.01 2.01 2.00 3/178 16657
/proc/meminfo: memFree=30319212/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=2136 CPUtime=0
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 255 0 0 0 0 0 0 0 20 0 1 0 132560173 2187264 174 4089446400 134512640 136421960 4288007872 18446744073709551615 135818403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16657/statm: 534 174 144 467 0 65 0

[startup+0.094602 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16657
/proc/meminfo: memFree=30319212/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=17324 CPUtime=0.09
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4004 0 0 0 7 2 0 0 21 0 1 0 132560173 17739776 3923 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4331 3923 213 467 0 3862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17324

[startup+0.100599 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16657
/proc/meminfo: memFree=30319212/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=17324 CPUtime=0.09
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4004 0 0 0 7 2 0 0 21 0 1 0 132560173 17739776 3923 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4331 3923 213 467 0 3862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17324

[startup+0.300562 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16657
/proc/meminfo: memFree=30319212/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=17516 CPUtime=0.29
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4078 0 0 0 9 20 0 0 21 0 1 0 132560173 17936384 3993 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4379 3993 236 467 0 3910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17516

[startup+0.700488 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16657
/proc/meminfo: memFree=30319212/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=17636 CPUtime=0.69
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4111 0 0 0 16 53 0 0 22 0 1 0 132560173 18059264 4023 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4409 4023 236 467 0 3940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17636

[startup+1.50034 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16658
/proc/meminfo: memFree=30301968/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=17760 CPUtime=1.49
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4118 0 0 0 26 123 0 0 25 0 1 0 132560173 18186240 4027 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4440 4027 237 467 0 3971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17760

[startup+3.10105 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16658
/proc/meminfo: memFree=30299364/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=17760 CPUtime=3.1
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4134 0 0 0 46 264 0 0 25 0 1 0 132560173 18186240 4043 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4440 4043 237 467 0 3971 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 17760

[startup+6.30047 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16658
/proc/meminfo: memFree=30278928/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=17760 CPUtime=6.29
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4135 0 0 0 97 532 0 0 25 0 1 0 132560173 18186240 4043 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4440 4043 237 467 0 3971 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17760

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16658
/proc/meminfo: memFree=30278408/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=17760 CPUtime=12.69
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4148 0 0 0 180 1089 0 0 25 0 1 0 132560173 18186240 4056 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4440 4056 237 467 0 3971 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17760

[startup+25.501 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16659
/proc/meminfo: memFree=30279244/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=17880 CPUtime=25.49
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4190 0 0 0 400 2149 0 0 25 0 1 0 132560173 18309120 4081 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4470 4081 237 467 0 4001 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17880

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16660
/proc/meminfo: memFree=30262340/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=19392 CPUtime=51.09
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4590 0 0 0 2157 2952 0 0 25 0 1 0 132560173 19857408 4464 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4848 4464 237 467 0 4379 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19392

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16661
/proc/meminfo: memFree=30154804/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=19392 CPUtime=102.3
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4590 0 0 0 6066 4164 0 0 25 0 1 0 132560173 19857408 4464 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4848 4464 237 467 0 4379 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19392

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16662
/proc/meminfo: memFree=30090904/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=19524 CPUtime=162.29
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4611 0 0 0 10639 5590 0 0 25 0 1 0 132560173 19992576 4485 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4881 4485 237 467 0 4412 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19524

[startup+222.301 s]
/proc/loadavg: 2.26 2.07 2.02 3/197 16836
/proc/meminfo: memFree=30861076/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=19604 CPUtime=222.3
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4656 0 0 0 15292 6938 0 0 25 0 1 0 132560173 20074496 4518 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 4901 4518 237 467 0 4432 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19604

[startup+282.301 s]
/proc/loadavg: 2.10 2.06 2.02 3/197 16838
/proc/meminfo: memFree=30858792/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20008 CPUtime=282.3
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4727 0 0 0 19998 8232 0 0 25 0 1 0 132560173 20488192 4589 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5002 4589 237 467 0 4533 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20008

[startup+342.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/197 16839
/proc/meminfo: memFree=30851436/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20008 CPUtime=342.3
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4728 0 0 0 24986 9244 0 0 25 0 1 0 132560173 20488192 4590 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5002 4590 237 467 0 4533 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20008

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/197 16841
/proc/meminfo: memFree=30843344/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20080 CPUtime=402.3
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4789 0 0 0 29945 10285 0 0 25 0 1 0 132560173 20561920 4637 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5020 4637 237 467 0 4551 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20080

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 16842
/proc/meminfo: memFree=30836252/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20320 CPUtime=462.3
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4827 0 0 0 34590 11640 0 0 25 0 1 0 132560173 20807680 4675 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5080 4675 237 467 0 4611 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20320

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

[startup+467.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 16842
/proc/meminfo: memFree=30836128/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20320 CPUtime=467.1
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4827 0 0 0 34957 11753 0 0 25 0 1 0 132560173 20807680 4675 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5080 4675 237 467 0 4611 0
Current children cumulated CPU time (s) 467.1
Current children cumulated vsize (KiB) 20320

[startup+473.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16843
/proc/meminfo: memFree=30836000/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20320 CPUtime=473.51
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4827 0 0 0 35454 11897 0 0 25 0 1 0 132560173 20807680 4675 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5080 4675 237 467 0 4611 0
Current children cumulated CPU time (s) 473.51
Current children cumulated vsize (KiB) 20320

[startup+475.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16843
/proc/meminfo: memFree=30836000/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20320 CPUtime=475.11
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4827 0 0 0 35579 11932 0 0 25 0 1 0 132560173 20807680 4675 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5080 4675 237 467 0 4611 0
Current children cumulated CPU time (s) 475.11
Current children cumulated vsize (KiB) 20320

[startup+476.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16843
/proc/meminfo: memFree=30835504/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20320 CPUtime=476.71
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4827 0 0 0 35704 11967 0 0 25 0 1 0 132560173 20807680 4675 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5080 4675 237 467 0 4611 0
Current children cumulated CPU time (s) 476.71
Current children cumulated vsize (KiB) 20320

[startup+477.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16843
/proc/meminfo: memFree=30835504/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20320 CPUtime=477.5
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4827 0 0 0 35765 11985 0 0 25 0 1 0 132560173 20807680 4675 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5080 4675 237 467 0 4611 0
Current children cumulated CPU time (s) 477.5
Current children cumulated vsize (KiB) 20320

[startup+477.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16843
/proc/meminfo: memFree=30835504/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20320 CPUtime=477.7
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4827 0 0 0 35781 11989 0 0 25 0 1 0 132560173 20807680 4675 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5080 4675 237 467 0 4611 0
Current children cumulated CPU time (s) 477.7
Current children cumulated vsize (KiB) 20320

[startup+477.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16843
/proc/meminfo: memFree=30835504/32951124 swapFree=67111528/67111528
[pid=16657] ppid=16655 vsize=20320 CPUtime=477.8
/proc/16657/stat : 16657 (pbct) R 16655 16657 15584 0 -1 4202496 4827 0 0 0 35788 11992 0 0 25 0 1 0 132560173 20807680 4675 4089446400 134512640 136421960 4288007872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16657/statm: 5080 4675 237 467 0 4611 0
Current children cumulated CPU time (s) 477.8
Current children cumulated vsize (KiB) 20320

Child status: 0
Real time (s): 477.825
CPU time (s): 477.839
CPU user time (s): 357.911
CPU system time (s): 119.929
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 357.911
system time used= 119.929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 715

runsolver used 0.660899 second user time and 1.51677 second system time

The end

Launcher Data 

Begin job on node139 at 2010-06-30 17:44:07
IDJOB=2694990
IDBENCH=78998
IDSOLVER=1208
FILE ID=node139/2694990-1277912647
PBS_JOBID= 11197246
Free space on /tmp= 74124 MiB

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

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

MD5SUM BENCH= 97e6423088cc7ef1f08dcccdf9e01ef4
RANDOM SEED=1681689747

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.840
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.840
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.840
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.840
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.78
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.840
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.840
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.840
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:     32951124 kB
MemFree:      30319856 kB
Buffers:        201700 kB
Cached:        1471844 kB
SwapCached:          0 kB
Active:        1485012 kB
Inactive:       998364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30319856 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1996 kB
Writeback:           0 kB
AnonPages:      809464 kB
Mapped:          15292 kB
Slab:            82756 kB
PageTables:       5860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   951328 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= 74120 MiB
End job on node139 at 2010-06-30 17:52:05