Trace number 2695553

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 926.681 926.66

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo
MD5SUMcd9d62896ad241b3e0bc0c585d812475
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark664.98
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 constraints930
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 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 717
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 15/8 clauses 1762/922 units 0
0.00/0.01	c vars 231
0.03/0.05	c 0.052991 13.3203 11 2100
0.03/0.05	o 368
0.03/0.06	c 0.053991 13.457 13 2413
0.03/0.06	o 359
0.03/0.06	c 0.055991 13.457 60 3355
0.03/0.06	o 271
0.03/0.07	c 0.057991 13.457 90 3733
0.03/0.07	o 241
0.09/0.11	c 0.068989 13.457 401 4622
0.09/0.11	o 236
0.09/0.12	c 0.075988 13.457 531 4905
0.09/0.12	o 234
0.09/0.13	c 0.077988 13.457 574 5041
0.09/0.13	o 230
0.09/0.15	c 0.086986 13.457 701 5334
0.09/0.15	o 226
0.09/0.18	c 0.097985 13.582 994 5949
0.09/0.18	o 214
0.19/0.21	c 0.108983 13.582 1176 6672
0.19/0.21	o 174
0.19/0.23	c 0.113982 13.582 711 7121
0.19/0.23	o 151
0.29/0.30	c 0.144977 13.582 1183 8205
0.29/0.30	o 133
0.29/0.31	c 0.150977 13.582 682 8751
0.29/0.31	o 94
0.69/0.72	c 0.32495 13.582 1278 13029
0.69/0.72	o 88
2.79/2.87	c 1.24581 13.832 905 34255
2.79/2.87	o 74
3.20/3.21	c 1.43278 13.832 806 37301
3.20/3.21	o 71
4.00/4.02	c 1.80872 13.832 882 45414
4.00/4.02	o 66
5.29/5.31	c 2.36664 13.832 1227 56579
5.29/5.31	o 38
6.39/6.48	c 3.09453 14.3438 1102 71163
6.39/6.48	o 37
11.19/11.21	c 6.30804 14.3438 1262 138508
11.19/11.21	o 35
19.19/19.27	c 11.9962 14.3438 1625 259587
19.19/19.27	o 26
22.09/22.18	c 14.0039 14.3438 1817 304824
22.09/22.18	o 25
26.39/26.45	c 17.0024 14.3438 1996 368579
26.39/26.45	o 20
36.69/36.73	c 24.2313 14.3438 1759 522888
36.69/36.73	o 18
36.69/36.79	c 24.2813 14.3438 1465 523960
36.69/36.79	o 17
53.59/53.60	c 36.2755 14.4414 2063 787741
53.59/53.60	o 16
56.60/56.68	c 38.4522 14.4414 1540 834133
56.60/56.68	o 12
78.49/78.51	c 54.0198 14.5703 1563 1159504
78.49/78.51	o 11
79.59/79.60	c 54.8067 14.5703 1454 1175874
79.59/79.60	o 10
143.39/143.49	c 101.186 14.5703 2004 2187357
143.39/143.49	o 9
657.71/657.74	c 484.575 15.3164 2002 10576934
657.71/657.74	o 7
926.61/926.64	c 687.695 15.3164 1672 15132923
926.61/926.64	s OPTIMUM FOUND
926.61/926.64	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	7

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695553-1277903836/watcher-2695553-1277903836 -o /tmp/evaluation-result-2695553-1277903836/solver-2695553-1277903836 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695553-1277903836.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.90 2.08 2.06 4/200 13342
/proc/meminfo: memFree=31293920/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=2136 CPUtime=0
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 252 0 0 0 0 0 0 0 21 0 1 0 131679758 2187264 171 4089446400 134512640 136421960 4290613056 18446744073709551615 134561360 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13342/statm: 534 171 144 467 0 65 0

[startup+0.0407339 s]
/proc/loadavg: 1.90 2.08 2.06 4/200 13342
/proc/meminfo: memFree=31293920/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=8980 CPUtime=0.03
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 1928 0 0 0 3 0 0 0 21 0 1 0 131679758 9195520 1847 4089446400 134512640 136421960 4290613056 18446744073709551615 134706056 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 2278 1850 193 467 0 1809 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8980

[startup+0.100723 s]
/proc/loadavg: 1.90 2.08 2.06 4/200 13342
/proc/meminfo: memFree=31293920/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=13776 CPUtime=0.09
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3110 0 0 0 6 3 0 0 21 0 1 0 131679758 14106624 3025 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3444 3025 236 467 0 2975 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13776

[startup+0.300698 s]
/proc/loadavg: 1.90 2.08 2.06 4/200 13342
/proc/meminfo: memFree=31293920/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=13904 CPUtime=0.29
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3175 0 0 0 14 15 0 0 21 0 1 0 131679758 14237696 3083 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3476 3083 236 467 0 3007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13904

[startup+0.700648 s]
/proc/loadavg: 1.90 2.08 2.06 4/200 13342
/proc/meminfo: memFree=31293920/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=13904 CPUtime=0.69
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3178 0 0 0 31 38 0 0 22 0 1 0 131679758 14237696 3084 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3476 3084 236 467 0 3007 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13904

[startup+1.50051 s]
/proc/loadavg: 1.90 2.08 2.06 3/201 13343
/proc/meminfo: memFree=31282752/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=14036 CPUtime=1.49
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3195 0 0 0 63 86 0 0 25 0 1 0 131679758 14372864 3100 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3509 3100 236 467 0 3040 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14036

[startup+3.1002 s]
/proc/loadavg: 1.90 2.08 2.06 3/201 13343
/proc/meminfo: memFree=31282824/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=14160 CPUtime=3.09
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3215 0 0 0 136 173 0 0 25 0 1 0 131679758 14499840 3119 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3540 3119 236 467 0 3071 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14160

[startup+6.30065 s]
/proc/loadavg: 1.90 2.07 2.06 3/201 13344
/proc/meminfo: memFree=31282452/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=14684 CPUtime=6.29
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3358 0 0 0 296 333 0 0 25 0 1 0 131679758 15036416 3259 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3671 3259 236 467 0 3202 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14684

[startup+12.7005 s]
/proc/loadavg: 1.91 2.07 2.06 3/201 13344
/proc/meminfo: memFree=31282588/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=14684 CPUtime=12.69
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3361 0 0 0 735 534 0 0 25 0 1 0 131679758 15036416 3260 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3671 3260 236 467 0 3202 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14684

[startup+25.5002 s]
/proc/loadavg: 1.93 2.07 2.05 3/201 13344
/proc/meminfo: memFree=31282668/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=14684 CPUtime=25.49
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3363 0 0 0 1635 914 0 0 25 0 1 0 131679758 15036416 3260 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3671 3260 236 467 0 3202 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14684

[startup+51.1007 s]
/proc/loadavg: 1.95 2.06 2.05 3/201 13344
/proc/meminfo: memFree=31282356/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=14812 CPUtime=51.1
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3388 0 0 0 3454 1656 0 0 25 0 1 0 131679758 15167488 3282 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3703 3282 236 467 0 3234 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 14812

[startup+102.308 s]
/proc/loadavg: 1.98 2.05 2.05 3/201 13346
/proc/meminfo: memFree=31281308/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=14916 CPUtime=102.3
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3446 0 0 0 7121 3109 0 0 25 0 1 0 131679758 15273984 3336 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3729 3336 236 467 0 3260 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 14916

[startup+162.301 s]
/proc/loadavg: 1.99 2.04 2.04 3/201 13348
/proc/meminfo: memFree=31280268/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15044 CPUtime=162.3
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3459 0 0 0 11517 4713 0 0 25 0 1 0 131679758 15405056 3348 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13342/statm: 3761 3348 236 467 0 3292 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 15044

[startup+222.3 s]
/proc/loadavg: 1.99 2.03 2.04 3/201 13349
/proc/meminfo: memFree=31279712/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15176 CPUtime=222.29
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3496 0 0 0 15844 6385 0 0 25 0 1 0 131679758 15540224 3385 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3794 3385 236 467 0 3325 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 15176

[startup+282.301 s]
/proc/loadavg: 2.07 2.04 2.03 3/201 13350
/proc/meminfo: memFree=31279160/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15300 CPUtime=282.29
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3516 0 0 0 20175 8054 0 0 25 0 1 0 131679758 15667200 3405 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3825 3405 236 467 0 3356 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 15300

[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.03 3/201 13352
/proc/meminfo: memFree=31278104/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15300 CPUtime=342.3
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3532 0 0 0 24585 9645 0 0 25 0 1 0 131679758 15667200 3421 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3825 3421 236 467 0 3356 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 15300

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/201 13354
/proc/meminfo: memFree=31278040/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15300 CPUtime=402.3
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3545 0 0 0 29201 11029 0 0 25 0 1 0 131679758 15667200 3434 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3825 3434 236 467 0 3356 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 15300

[startup+462.301 s]
/proc/loadavg: 2.04 2.03 2.02 3/201 13356
/proc/meminfo: memFree=31277736/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15432 CPUtime=462.3
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3571 0 0 0 33742 12488 0 0 25 0 1 0 131679758 15802368 3460 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3858 3460 236 467 0 3389 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 15432

[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.02 3/201 13357
/proc/meminfo: memFree=31277556/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15560 CPUtime=522.3
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3590 0 0 0 38329 13901 0 0 25 0 1 0 131679758 15933440 3479 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3890 3479 236 467 0 3421 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 15560

[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.02 3/201 13358
/proc/meminfo: memFree=31277124/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15560 CPUtime=582.3
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3607 0 0 0 42871 15359 0 0 25 0 1 0 131679758 15933440 3496 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3890 3496 236 467 0 3421 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 15560

[startup+642.301 s]
/proc/loadavg: 2.09 2.04 2.02 3/201 13360
/proc/meminfo: memFree=31276804/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=642.31
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3612 0 0 0 47344 16887 0 0 25 0 1 0 131679758 16056320 3501 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3501 236 467 0 3451 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 15680

[startup+702.301 s]
/proc/loadavg: 2.03 2.03 2.01 3/201 13362
/proc/meminfo: memFree=31275772/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=702.3
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3615 0 0 0 51718 18512 0 0 25 0 1 0 131679758 16056320 3503 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3503 236 467 0 3451 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 15680

[startup+762.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13392
/proc/meminfo: memFree=31171484/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=762.31
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3618 0 0 0 56233 19998 0 0 25 0 1 0 131679758 16056320 3506 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3506 236 467 0 3451 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 15680

[startup+822.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 13393
/proc/meminfo: memFree=31054268/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=822.31
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3622 0 0 0 60816 21415 0 0 25 0 1 0 131679758 16056320 3510 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3510 236 467 0 3451 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 15680

[startup+882.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 13397
/proc/meminfo: memFree=30947072/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=882.31
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3622 0 0 0 65366 22865 0 0 25 0 1 0 131679758 16056320 3510 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3510 236 467 0 3451 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 15680

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

[startup+895.9 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 13398
/proc/meminfo: memFree=30927672/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=895.91
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3622 0 0 0 66413 23178 0 0 25 0 1 0 131679758 16056320 3510 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3510 236 467 0 3451 0
Current children cumulated CPU time (s) 895.91
Current children cumulated vsize (KiB) 15680

[startup+908.701 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13399
/proc/meminfo: memFree=30900588/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=908.71
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3623 0 0 0 67392 23479 0 0 25 0 1 0 131679758 16056320 3511 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3511 236 467 0 3451 0
Current children cumulated CPU time (s) 908.71
Current children cumulated vsize (KiB) 15680

[startup+915.101 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13399
/proc/meminfo: memFree=30888060/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=915.12
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3623 0 0 0 67887 23625 0 0 25 0 1 0 131679758 16056320 3511 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3511 236 467 0 3451 0
Current children cumulated CPU time (s) 915.12
Current children cumulated vsize (KiB) 15680

[startup+921.501 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13399
/proc/meminfo: memFree=30882228/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=921.51
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3624 0 0 0 68376 23775 0 0 25 0 1 0 131679758 16056320 3512 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3512 236 467 0 3451 0
Current children cumulated CPU time (s) 921.51
Current children cumulated vsize (KiB) 15680

[startup+924.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13399
/proc/meminfo: memFree=30877144/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=924.71
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3625 0 0 0 68622 23849 0 0 25 0 1 0 131679758 16056320 3513 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3513 236 467 0 3451 0
Current children cumulated CPU time (s) 924.71
Current children cumulated vsize (KiB) 15680

[startup+925.501 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13399
/proc/meminfo: memFree=30873176/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=925.51
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3625 0 0 0 68683 23868 0 0 25 0 1 0 131679758 16056320 3513 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3513 236 467 0 3451 0
Current children cumulated CPU time (s) 925.51
Current children cumulated vsize (KiB) 15680

[startup+926.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13399
/proc/meminfo: memFree=30872552/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=926.31
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3625 0 0 0 68742 23889 0 0 25 0 1 0 131679758 16056320 3513 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3513 236 467 0 3451 0
Current children cumulated CPU time (s) 926.31
Current children cumulated vsize (KiB) 15680

[startup+926.501 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13399
/proc/meminfo: memFree=30872552/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=926.52
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3625 0 0 0 68758 23894 0 0 25 0 1 0 131679758 16056320 3513 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3513 236 467 0 3451 0
Current children cumulated CPU time (s) 926.52
Current children cumulated vsize (KiB) 15680

[startup+926.601 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13399
/proc/meminfo: memFree=30872552/32951124 swapFree=67111528/67111528
[pid=13342] ppid=13340 vsize=15680 CPUtime=926.61
/proc/13342/stat : 13342 (pbct) R 13340 13342 12643 0 -1 4202496 3625 0 0 0 68765 23896 0 0 25 0 1 0 131679758 16056320 3513 4089446400 134512640 136421960 4290613056 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13342/statm: 3920 3513 236 467 0 3451 0
Current children cumulated CPU time (s) 926.61
Current children cumulated vsize (KiB) 15680

Child status: 0
Real time (s): 926.66
CPU time (s): 926.681
CPU user time (s): 687.706
CPU system time (s): 238.975
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 15688

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

runsolver used 1.62875 second user time and 3.21651 second system time

The end

Launcher Data 

Begin job on node132 at 2010-06-30 15:17:16
IDJOB=2695553
IDBENCH=78914
IDSOLVER=1208
FILE ID=node132/2695553-1277903836
PBS_JOBID= 11197179
Free space on /tmp= 74140 MiB

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

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

MD5SUM BENCH= cd9d62896ad241b3e0bc0c585d812475
RANDOM SEED=993143313

node132.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.810
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.62
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.810
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.810
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.810
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.810
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.74
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.810
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.810
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.810
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:      31294448 kB
Buffers:        183016 kB
Cached:        1210628 kB
SwapCached:          0 kB
Active:         653324 kB
Inactive:       859092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31294448 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2044 kB
Writeback:           0 kB
AnonPages:      118828 kB
Mapped:          20300 kB
Slab:            81228 kB
PageTables:       5104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1647812 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74136 MiB
End job on node132 at 2010-06-30 15:32:43