Trace number 2698769

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 992.074 992.053

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo
MD5SUMf1c7b8b76066043f2c00dac441c2cac6
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 benchmark190.536
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 44555
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44554
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
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 15/8 clauses 1786/898 units 0
0.00/0.01	c vars 231
0.00/0.06	c 0.054991 13.2461 20 2748
0.00/0.06	o 432
0.00/0.06	c 0.055991 13.3828 40 3181
0.00/0.06	o 392
0.05/0.07	c 0.057991 13.3828 74 3526
0.05/0.07	o 372
0.05/0.07	c 0.06099 13.3828 116 3804
0.05/0.07	o 354
0.09/0.11	c 0.073988 13.3828 349 4338
0.09/0.11	o 353
0.09/0.12	c 0.076988 13.3828 387 4634
0.09/0.12	o 337
0.09/0.12	c 0.077988 13.3828 389 4992
0.09/0.12	o 310
0.09/0.12	c 0.078987 13.3828 390 5228
0.09/0.12	o 292
0.09/0.12	c 0.078987 13.3828 396 5483
0.09/0.12	o 272
0.09/0.13	c 0.079987 13.3828 427 5640
0.09/0.13	o 266
0.09/0.14	c 0.083987 13.3828 488 5768
0.09/0.14	o 265
0.09/0.17	c 0.100984 13.3828 728 6216
0.09/0.17	o 263
0.09/0.19	c 0.110983 13.5078 903 6639
0.09/0.19	o 259
0.09/0.19	c 0.111982 13.5078 911 6765
0.09/0.19	o 257
0.19/0.21	c 0.116982 13.5078 1021 7164
0.19/0.21	o 244
0.19/0.21	c 0.117982 13.5078 1024 7225
0.19/0.21	o 243
0.19/0.22	c 0.119981 13.5078 1032 7662
0.19/0.22	o 204
0.19/0.25	c 0.132979 13.5078 1226 8204
0.19/0.25	o 187
0.29/0.35	c 0.174973 13.5078 1189 9414
0.29/0.35	o 186
0.29/0.38	c 0.19197 13.5078 757 9930
0.29/0.38	o 171
0.29/0.38	c 0.19197 13.5078 769 10047
0.29/0.38	o 165
0.39/0.48	c 0.223965 13.5078 698 11069
0.39/0.48	o 164
0.49/0.51	c 0.235964 13.5078 934 11609
0.49/0.51	o 162
0.59/0.61	c 0.271958 13.6328 966 13150
0.59/0.61	o 141
0.59/0.68	c 0.305953 13.6328 1394 13903
0.59/0.68	o 138
0.69/0.78	c 0.345947 13.6328 653 15344
0.69/0.78	o 107
0.89/0.98	c 0.424935 13.6328 1080 17364
0.89/0.98	o 105
1.39/1.43	c 0.603908 13.6328 1286 20783
1.39/1.43	o 97
1.59/1.62	c 0.684895 13.6328 912 22424
1.59/1.62	o 96
2.29/2.36	c 1.02084 13.6328 1123 29454
2.29/2.36	o 81
2.29/2.36	c 1.02384 13.6328 1140 29671
2.29/2.36	o 66
2.49/2.51	c 1.10383 13.6328 1492 31679
2.49/2.51	o 41
2.89/2.98	c 1.44378 13.8867 1182 38930
2.89/2.98	o 30
3.59/3.65	c 1.9527 13.8867 1163 48703
3.59/3.65	o 8
6.89/6.99	c 4.51031 14.9141 1185 94700
6.89/6.99	o 5
10.69/10.71	c 7.31689 14.9062 1677 153928
10.69/10.71	o 4
11.19/11.26	c 7.74282 14.9062 2009 162304
11.19/11.26	o 2
16.69/16.79	c 11.8672 14.9062 1378 250409
16.69/16.79	o 1
992.01/992.03	c 770.694 16.2344 3113 15253083
992.01/992.03	s OPTIMUM FOUND
992.01/992.03	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-2698769-1278461507/watcher-2698769-1278461507 -o /tmp/evaluation-result-2698769-1278461507/solver-2698769-1278461507 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698769-1278461507.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.91 3/178 14007
/proc/meminfo: memFree=29842808/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=2136 CPUtime=0
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 251 0 0 0 0 0 0 0 25 0 1 0 14364356 2187264 171 4089446400 134512640 136422188 4288561376 18446744073709551615 135818512 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14007/statm: 534 171 144 467 0 65 0

[startup+0.064634 s]
/proc/loadavg: 1.96 1.98 1.91 3/178 14007
/proc/meminfo: memFree=29842808/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=13700 CPUtime=0.05
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3082 0 0 0 5 0 0 0 25 0 1 0 14364356 14028800 3000 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14007/statm: 3425 3000 236 467 0 2956 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13700

[startup+0.100712 s]
/proc/loadavg: 1.96 1.98 1.91 3/178 14007
/proc/meminfo: memFree=29842808/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=13700 CPUtime=0.09
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3084 0 0 0 6 3 0 0 25 0 1 0 14364356 14028800 3000 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14007/statm: 3425 3000 236 467 0 2956 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13700

[startup+0.300662 s]
/proc/loadavg: 1.96 1.98 1.91 3/178 14007
/proc/meminfo: memFree=29842808/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=13828 CPUtime=0.29
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3154 0 0 0 15 14 0 0 25 0 1 0 14364356 14159872 3056 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14007/statm: 3457 3056 236 467 0 2988 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13828

[startup+0.700591 s]
/proc/loadavg: 1.96 1.98 1.91 3/178 14007
/proc/meminfo: memFree=29842808/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=13956 CPUtime=0.69
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3175 0 0 0 31 38 0 0 18 0 1 0 14364356 14290944 3070 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14007/statm: 3489 3070 236 467 0 3020 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13956

[startup+1.50044 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 14008
/proc/meminfo: memFree=29831780/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=13956 CPUtime=1.49
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3182 0 0 0 62 87 0 0 19 0 1 0 14364356 14290944 3074 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14007/statm: 3489 3074 236 467 0 3020 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13956

[startup+3.10115 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 14008
/proc/meminfo: memFree=29831408/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=14216 CPUtime=3.09
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3255 0 0 0 154 155 0 0 20 0 1 0 14364356 14557184 3142 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14007/statm: 3554 3142 236 467 0 3085 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14216

[startup+6.30052 s]
/proc/loadavg: 1.97 1.98 1.91 3/179 14008
/proc/meminfo: memFree=29830196/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=15004 CPUtime=6.29
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3447 0 0 0 396 233 0 0 25 0 1 0 14364356 15364096 3333 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14007/statm: 3751 3333 236 467 0 3282 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15004

[startup+12.7004 s]
/proc/loadavg: 1.97 1.98 1.91 3/179 14008
/proc/meminfo: memFree=29829664/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=15260 CPUtime=12.69
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3514 0 0 0 879 390 0 0 25 0 1 0 14364356 15626240 3397 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14007/statm: 3815 3397 236 467 0 3346 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15260

[startup+25.5011 s]
/proc/loadavg: 1.97 1.98 1.91 3/179 14009
/proc/meminfo: memFree=29829976/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=15260 CPUtime=25.49
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3515 0 0 0 1852 697 0 0 25 0 1 0 14364356 15626240 3397 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14007/statm: 3815 3397 236 467 0 3346 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15260

[startup+51.1004 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 14009
/proc/meminfo: memFree=29829808/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=15260 CPUtime=51.09
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3515 0 0 0 3800 1309 0 0 25 0 1 0 14364356 15626240 3397 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14007/statm: 3815 3397 236 467 0 3346 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15260

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 14011
/proc/meminfo: memFree=29829532/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=15260 CPUtime=102.29
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3518 0 0 0 7748 2481 0 0 25 0 1 0 14364356 15626240 3400 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 3815 3400 236 467 0 3346 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 15260

[startup+162.301 s]
/proc/loadavg: 2.04 2.00 1.91 3/179 14012
/proc/meminfo: memFree=29829240/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=15388 CPUtime=162.29
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3560 0 0 0 12405 3824 0 0 25 0 1 0 14364356 15757312 3442 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 3847 3442 236 467 0 3378 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15388

[startup+222.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 14014
/proc/meminfo: memFree=29828804/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=15648 CPUtime=222.29
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3627 0 0 0 17015 5214 0 0 25 0 1 0 14364356 16023552 3509 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 3912 3509 236 467 0 3443 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 15648

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14016
/proc/meminfo: memFree=29828616/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=15784 CPUtime=282.29
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3657 0 0 0 21636 6593 0 0 25 0 1 0 14364356 16162816 3539 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 3946 3539 236 467 0 3477 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 15784

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14017
/proc/meminfo: memFree=29828532/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=15908 CPUtime=342.29
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3695 0 0 0 26279 7950 0 0 25 0 1 0 14364356 16289792 3577 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 3977 3577 236 467 0 3508 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 15908

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14019
/proc/meminfo: memFree=29828360/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16040 CPUtime=402.29
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3715 0 0 0 30916 9313 0 0 25 0 1 0 14364356 16424960 3597 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4010 3597 236 467 0 3541 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 16040

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14023
/proc/meminfo: memFree=29827852/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16040 CPUtime=462.3
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3736 0 0 0 35536 10694 0 0 25 0 1 0 14364356 16424960 3618 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4010 3618 236 467 0 3541 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 16040

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14025
/proc/meminfo: memFree=29827568/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16348 CPUtime=522.3
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3782 0 0 0 40211 12019 0 0 25 0 1 0 14364356 16740352 3664 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4087 3664 236 467 0 3618 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 16348

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14027
/proc/meminfo: memFree=29827628/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16348 CPUtime=582.3
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3805 0 0 0 44940 13290 0 0 25 0 1 0 14364356 16740352 3687 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4087 3687 236 467 0 3618 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 16348

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14028
/proc/meminfo: memFree=29827448/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16484 CPUtime=642.31
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3830 0 0 0 49647 14584 0 0 25 0 1 0 14364356 16879616 3712 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4121 3712 236 467 0 3652 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 16484

[startup+702.301 s]
/proc/loadavg: 2.10 2.03 1.93 3/179 14030
/proc/meminfo: memFree=29827124/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16484 CPUtime=702.31
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3830 0 0 0 54288 15943 0 0 25 0 1 0 14364356 16879616 3712 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4121 3712 236 467 0 3652 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 16484

[startup+762.307 s]
/proc/loadavg: 2.03 2.02 1.93 3/179 14031
/proc/meminfo: memFree=29826936/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16484 CPUtime=762.31
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3845 0 0 0 58956 17275 0 0 25 0 1 0 14364356 16879616 3727 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4121 3727 236 467 0 3652 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 16484

[startup+822.301 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 14033
/proc/meminfo: memFree=29826736/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16484 CPUtime=822.31
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3848 0 0 0 63612 18619 0 0 25 0 1 0 14364356 16879616 3730 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4121 3730 236 467 0 3652 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 16484

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 14035
/proc/meminfo: memFree=29826804/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=882.31
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3862 0 0 0 68292 19939 0 0 25 0 1 0 14364356 17018880 3744 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4155 3744 236 467 0 3686 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 16620

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14036
/proc/meminfo: memFree=29826740/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=942.31
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3862 0 0 0 72929 21302 0 0 25 0 1 0 14364356 17018880 3744 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4155 3744 236 467 0 3686 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 16620

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

[startup+947.106 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14036
/proc/meminfo: memFree=29826740/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=947.12
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3862 0 0 0 73297 21415 0 0 25 0 1 0 14364356 17018880 3744 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14007/statm: 4155 3744 236 467 0 3686 0
Current children cumulated CPU time (s) 947.12
Current children cumulated vsize (KiB) 16620

[startup+972.701 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14064
/proc/meminfo: memFree=29363716/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=972.71
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3868 0 0 0 75331 21940 0 0 25 0 1 0 14364356 17018880 3750 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14007/statm: 4155 3750 236 467 0 3686 0
Current children cumulated CPU time (s) 972.71
Current children cumulated vsize (KiB) 16620

[startup+985.501 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14064
/proc/meminfo: memFree=29359768/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=985.52
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3868 0 0 0 76481 22071 0 0 25 0 1 0 14364356 17018880 3750 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14007/statm: 4155 3750 236 467 0 3686 0
Current children cumulated CPU time (s) 985.52
Current children cumulated vsize (KiB) 16620

[startup+988.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14064
/proc/meminfo: memFree=29359272/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=988.71
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3868 0 0 0 76768 22103 0 0 25 0 1 0 14364356 17018880 3750 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14007/statm: 4155 3750 236 467 0 3686 0
Current children cumulated CPU time (s) 988.71
Current children cumulated vsize (KiB) 16620

[startup+990.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14065
/proc/meminfo: memFree=29354876/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=990.31
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3868 0 0 0 76913 22118 0 0 25 0 1 0 14364356 17018880 3750 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14007/statm: 4155 3750 236 467 0 3686 0
Current children cumulated CPU time (s) 990.31
Current children cumulated vsize (KiB) 16620

[startup+991.106 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14065
/proc/meminfo: memFree=29354992/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=991.12
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3868 0 0 0 76986 22126 0 0 25 0 1 0 14364356 17018880 3750 4089446400 134512640 136422188 4288561376 18446744073709551615 134902759 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14007/statm: 4155 3750 236 467 0 3686 0
Current children cumulated CPU time (s) 991.12
Current children cumulated vsize (KiB) 16620

[startup+991.501 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14065
/proc/meminfo: memFree=29354992/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=991.51
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3868 0 0 0 77021 22130 0 0 25 0 1 0 14364356 17018880 3750 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14007/statm: 4155 3750 236 467 0 3686 0
Current children cumulated CPU time (s) 991.51
Current children cumulated vsize (KiB) 16620

[startup+991.901 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14065
/proc/meminfo: memFree=29354992/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=991.92
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3868 0 0 0 77057 22135 0 0 25 0 1 0 14364356 17018880 3750 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14007/statm: 4155 3750 236 467 0 3686 0
Current children cumulated CPU time (s) 991.92
Current children cumulated vsize (KiB) 16620

[startup+992.001 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14065
/proc/meminfo: memFree=29354992/32950928 swapFree=67111528/67111528
[pid=14007] ppid=14005 vsize=16620 CPUtime=992.01
/proc/14007/stat : 14007 (pbct) R 14005 14007 13631 0 -1 4202496 3868 0 0 0 77066 22135 0 0 25 0 1 0 14364356 17018880 3750 4089446400 134512640 136422188 4288561376 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14007/statm: 4155 3750 236 467 0 3686 0
Current children cumulated CPU time (s) 992.01
Current children cumulated vsize (KiB) 16620

Child status: 0
Real time (s): 992.053
CPU time (s): 992.074
CPU user time (s): 770.707
CPU system time (s): 221.367
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 16620

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

runsolver used 1.45178 second user time and 3.06653 second system time

The end

Launcher Data 

Begin job on node116 at 2010-07-07 02:11:48
IDJOB=2698769
IDBENCH=78997
IDSOLVER=1212
FILE ID=node116/2698769-1278461507
PBS_JOBID= 11233761
Free space on /tmp= 73584 MiB

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

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

MD5SUM BENCH= f1c7b8b76066043f2c00dac441c2cac6
RANDOM SEED=121708134

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.83
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.858
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.73
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.858
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.858
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.75
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.858
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:      29843336 kB
Buffers:        109288 kB
Cached:        2778380 kB
SwapCached:          0 kB
Active:         934276 kB
Inactive:      2030208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29843336 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1976 kB
Writeback:           0 kB
AnonPages:       76792 kB
Mapped:          15816 kB
Slab:            79804 kB
PageTables:       4488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   219216 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= 73580 MiB
End job on node116 at 2010-07-07 02:28:20