Trace number 2695506

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 851.654 851.631

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo
MD5SUM763c02f50955b910cbe48f7840773e4a
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 benchmark56.3114
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 constraints906
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 44801
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44800
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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.01/0.01	c constraints 12/11 clauses 1789/895 units 0
0.01/0.01	c vars 231
0.01/0.06	c 0.06099 13.2188 13 3457
0.01/0.06	o 282
0.01/0.07	c 0.067989 13.3555 68 4543
0.01/0.07	o 231
0.01/0.09	c 0.082987 13.3555 223 4973
0.01/0.09	o 228
0.09/0.14	c 0.118981 13.3555 601 6131
0.09/0.14	o 226
0.09/0.17	c 0.139978 13.4805 782 6945
0.09/0.17	o 185
0.38/0.47	c 0.363944 13.6016 859 10972
0.38/0.47	o 171
0.89/0.98	c 0.735888 13.6016 1226 15845
0.89/0.98	o 170
0.89/0.99	c 0.739887 13.6016 645 15985
0.89/0.99	o 163
1.19/1.21	c 0.903862 13.6016 1159 17885
1.19/1.21	o 148
1.29/1.36	c 1.01484 13.6016 613 19060
1.29/1.36	o 127
1.89/1.91	c 1.41878 13.6016 1067 23969
1.89/1.91	o 124
1.89/1.96	c 1.45578 13.6016 738 24518
1.89/1.96	o 108
2.59/2.66	c 1.9387 13.6016 1116 30051
2.59/2.66	o 93
2.99/3.03	c 2.22366 13.6016 828 33882
2.99/3.03	o 85
3.09/3.13	c 2.29065 13.6016 745 34971
3.09/3.13	o 80
3.09/3.15	c 2.30765 13.6016 957 35394
3.09/3.15	o 73
3.19/3.20	c 2.34764 13.6016 1252 36071
3.19/3.20	o 53
3.19/3.29	c 2.42263 13.6016 1099 37195
3.19/3.29	o 47
3.30/3.34	c 2.46563 13.7266 843 38207
3.30/3.34	o 44
3.39/3.43	c 2.53461 13.7266 1521 39311
3.39/3.43	o 42
3.58/3.65	c 2.72358 13.7266 1643 42338
3.58/3.65	o 41
4.09/4.15	c 3.13152 13.7266 1275 48606
4.09/4.15	o 39
4.89/4.94	c 3.79842 13.7266 1644 58589
4.89/4.94	o 35
5.59/5.66	c 4.43133 13.9805 1536 69459
5.59/5.66	o 30
7.09/7.12	c 5.68314 13.9805 1686 91758
7.09/7.12	o 23
8.39/8.41	c 6.77797 14.1094 2052 111829
8.39/8.41	o 16
12.09/12.15	c 10.0845 14.2383 1029 174429
12.09/12.15	o 12
23.98/24.07	c 20.7558 14.2383 2010 367077
23.98/24.07	o 8
26.69/26.78	c 23.1985 14.2383 1749 412444
26.69/26.78	o 6
26.79/26.82	c 23.2355 14.2383 2228 413201
26.79/26.82	o 4
27.69/27.75	c 24.0763 14.2383 1367 427574
27.69/27.75	o 2
31.09/31.17	c 27.1549 14.2383 2050 482874
31.09/31.17	o 1
851.61/851.61	c 767.765 15.9961 3126 13978700
851.61/851.61	s OPTIMUM FOUND
851.61/851.61	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-2695506-1277900310/watcher-2695506-1277900310 -o /tmp/evaluation-result-2695506-1277900310/solver-2695506-1277900310 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695506-1277900310.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15543
/proc/meminfo: memFree=30905264/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=2136 CPUtime=0
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 251 0 0 0 0 0 0 0 25 0 1 0 131326515 2187264 171 4089446400 134512640 136421960 4293204288 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15543/statm: 534 171 144 467 0 65 0

[startup+0.0141959 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15543
/proc/meminfo: memFree=30905264/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=2136 CPUtime=0.01
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 265 0 0 0 1 0 0 0 25 0 1 0 131326515 2187264 185 4089446400 134512640 136421960 4293204288 18446744073709551615 135818421 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15543/statm: 534 185 144 467 0 65 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2136

[startup+0.101168 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15543
/proc/meminfo: memFree=30905264/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=13672 CPUtime=0.09
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3083 0 0 0 8 1 0 0 25 0 1 0 131326515 14000128 3000 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15543/statm: 3418 3000 236 467 0 2949 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13672

[startup+0.301133 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15543
/proc/meminfo: memFree=30905264/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=13800 CPUtime=0.29
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3125 0 0 0 23 6 0 0 25 0 1 0 131326515 14131200 3040 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3450 3040 236 467 0 2981 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13800

[startup+0.701062 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15543
/proc/meminfo: memFree=30905264/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=13924 CPUtime=0.69
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3147 0 0 0 52 17 0 0 25 0 1 0 131326515 14258176 3061 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3481 3061 236 467 0 3012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13924

[startup+1.50091 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 15544
/proc/meminfo: memFree=30893600/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=13924 CPUtime=1.49
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3165 0 0 0 111 38 0 0 25 0 1 0 131326515 14258176 3075 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3481 3075 236 467 0 3012 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13924

[startup+3.10062 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 15544
/proc/meminfo: memFree=30893760/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=13924 CPUtime=3.09
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3171 0 0 0 226 83 0 0 25 0 1 0 131326515 14258176 3077 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3481 3077 236 467 0 3012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13924

[startup+6.30105 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 15544
/proc/meminfo: memFree=30893636/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=14312 CPUtime=6.29
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3253 0 0 0 498 131 0 0 25 0 1 0 131326515 14655488 3149 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3578 3149 236 467 0 3109 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14312

[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 15545
/proc/meminfo: memFree=30893256/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=14576 CPUtime=12.69
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3326 0 0 0 1057 212 0 0 25 0 1 0 131326515 14925824 3219 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3644 3219 236 467 0 3175 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14576

[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 15545
/proc/meminfo: memFree=30893256/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=14576 CPUtime=25.49
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3335 0 0 0 2203 346 0 0 25 0 1 0 131326515 14925824 3227 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3644 3227 236 467 0 3175 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14576

[startup+51.1009 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 15545
/proc/meminfo: memFree=30893112/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=14708 CPUtime=51.09
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3374 0 0 0 4507 602 0 0 25 0 1 0 131326515 15060992 3262 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3677 3262 236 467 0 3208 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14708

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 15547
/proc/meminfo: memFree=30892432/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=15096 CPUtime=102.29
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3467 0 0 0 9116 1113 0 0 25 0 1 0 131326515 15458304 3355 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3774 3355 236 467 0 3305 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 15096

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 15549
/proc/meminfo: memFree=30891512/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=15224 CPUtime=162.29
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3512 0 0 0 14543 1686 0 0 25 0 1 0 131326515 15589376 3400 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3806 3400 236 467 0 3337 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15224

[startup+222.301 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 15550
/proc/meminfo: memFree=30891340/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=15484 CPUtime=222.29
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3549 0 0 0 19947 2282 0 0 25 0 1 0 131326515 15855616 3437 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3871 3437 236 467 0 3402 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 15484

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15552
/proc/meminfo: memFree=30890292/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=15616 CPUtime=282.29
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3590 0 0 0 25355 2874 0 0 25 0 1 0 131326515 15990784 3478 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3904 3478 236 467 0 3435 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 15616

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15553
/proc/meminfo: memFree=30882536/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=15752 CPUtime=342.3
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3621 0 0 0 30768 3462 0 0 25 0 1 0 131326515 16130048 3509 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3938 3509 236 467 0 3469 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 15752

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15555
/proc/meminfo: memFree=30882252/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=15752 CPUtime=402.3
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3635 0 0 0 36183 4047 0 0 25 0 1 0 131326515 16130048 3523 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3938 3523 236 467 0 3469 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 15752

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15557
/proc/meminfo: memFree=30878944/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=15860 CPUtime=462.3
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3668 0 0 0 41585 4645 0 0 25 0 1 0 131326515 16240640 3556 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3965 3556 236 467 0 3496 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 15860

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15558
/proc/meminfo: memFree=30868140/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=15992 CPUtime=522.31
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3699 0 0 0 47007 5224 0 0 25 0 1 0 131326515 16375808 3587 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 3998 3587 236 467 0 3529 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 15992

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15560
/proc/meminfo: memFree=30867976/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16112 CPUtime=582.31
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3727 0 0 0 52431 5800 0 0 25 0 1 0 131326515 16498688 3615 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4028 3615 236 467 0 3559 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 16112

[startup+642.301 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 15610
/proc/meminfo: memFree=30997444/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16244 CPUtime=642.31
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3743 0 0 0 57857 6374 0 0 25 0 1 0 131326515 16633856 3631 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4061 3631 236 467 0 3592 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 16244

[startup+702.301 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 15612
/proc/meminfo: memFree=30963280/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16244 CPUtime=702.31
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3755 0 0 0 63271 6960 0 0 25 0 1 0 131326515 16633856 3643 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4061 3643 236 467 0 3592 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 16244

[startup+762.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15614
/proc/meminfo: memFree=30951096/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16376 CPUtime=762.32
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3777 0 0 0 68696 7536 0 0 25 0 1 0 131326515 16769024 3665 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4094 3665 236 467 0 3625 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 16376

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15618
/proc/meminfo: memFree=30940072/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16376 CPUtime=822.32
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3787 0 0 0 74140 8092 0 0 25 0 1 0 131326515 16769024 3675 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4094 3675 236 467 0 3625 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 16376

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

[startup+831.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=30938456/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16376 CPUtime=831.92
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3789 0 0 0 75013 8179 0 0 25 0 1 0 131326515 16769024 3677 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4094 3677 236 467 0 3625 0
Current children cumulated CPU time (s) 831.92
Current children cumulated vsize (KiB) 16376

[startup+844.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=30935972/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16376 CPUtime=844.72
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3789 0 0 0 76160 8312 0 0 25 0 1 0 131326515 16769024 3677 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4094 3677 236 467 0 3625 0
Current children cumulated CPU time (s) 844.72
Current children cumulated vsize (KiB) 16376

[startup+847.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=30936092/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16376 CPUtime=847.91
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3789 0 0 0 76446 8345 0 0 25 0 1 0 131326515 16769024 3677 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4094 3677 236 467 0 3625 0
Current children cumulated CPU time (s) 847.91
Current children cumulated vsize (KiB) 16376

[startup+849.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=30935720/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16376 CPUtime=849.51
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3789 0 0 0 76588 8363 0 0 25 0 1 0 131326515 16769024 3677 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4094 3677 236 467 0 3625 0
Current children cumulated CPU time (s) 849.51
Current children cumulated vsize (KiB) 16376

[startup+850.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=30935472/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16376 CPUtime=850.32
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3789 0 0 0 76661 8371 0 0 25 0 1 0 131326515 16769024 3677 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4094 3677 236 467 0 3625 0
Current children cumulated CPU time (s) 850.32
Current children cumulated vsize (KiB) 16376

[startup+851.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=30935472/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16376 CPUtime=851.12
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3789 0 0 0 76731 8381 0 0 25 0 1 0 131326515 16769024 3677 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4094 3677 236 467 0 3625 0
Current children cumulated CPU time (s) 851.12
Current children cumulated vsize (KiB) 16376

[startup+851.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=30935348/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16376 CPUtime=851.51
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3789 0 0 0 76765 8386 0 0 25 0 1 0 131326515 16769024 3677 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4094 3677 236 467 0 3625 0
Current children cumulated CPU time (s) 851.51
Current children cumulated vsize (KiB) 16376

[startup+851.601 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=30935348/32951124 swapFree=67111528/67111528
[pid=15543] ppid=15541 vsize=16376 CPUtime=851.61
/proc/15543/stat : 15543 (pbct) R 15541 15543 14646 0 -1 4202496 3789 0 0 0 76774 8387 0 0 25 0 1 0 131326515 16769024 3677 4089446400 134512640 136421960 4293204288 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15543/statm: 4094 3677 236 467 0 3625 0
Current children cumulated CPU time (s) 851.61
Current children cumulated vsize (KiB) 16376

Child status: 0
Real time (s): 851.631
CPU time (s): 851.654
CPU user time (s): 767.777
CPU system time (s): 83.8773
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 16376

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

runsolver used 1.12583 second user time and 2.75158 second system time

The end

Launcher Data 

Begin job on node139 at 2010-06-30 14:18:30
IDJOB=2695506
IDBENCH=78880
IDSOLVER=1208
FILE ID=node139/2695506-1277900310
PBS_JOBID= 11197164
Free space on /tmp= 74120 MiB

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

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

MD5SUM BENCH= 763c02f50955b910cbe48f7840773e4a
RANDOM SEED=1147042417

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:      30905784 kB
Buffers:        188432 kB
Cached:        1471604 kB
SwapCached:          0 kB
Active:         911664 kB
Inactive:       988640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30905784 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1976 kB
Writeback:           0 kB
AnonPages:      239924 kB
Mapped:          15936 kB
Slab:            82532 kB
PageTables:       5104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   383976 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 14:32:42