Trace number 2695665

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 895.511 895.497

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
MD5SUMe5d1aa875e736e237b742aec181b44f0
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 benchmark21.8457
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 constraints937
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 46894
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46893
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 667
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 14/9 clauses 1756/928 units 0
0.00/0.01	c vars 231
0.00/0.06	c 0.054991 13.3906 66 4941
0.00/0.06	o 402
0.00/0.07	c 0.056991 13.5273 72 5988
0.00/0.07	o 220
0.06/0.07	c 0.057991 13.5273 82 6331
0.06/0.07	o 193
0.09/0.17	c 0.100984 13.5273 895 8077
0.09/0.17	o 165
0.29/0.36	c 0.162975 13.6523 1246 11369
0.29/0.36	o 148
0.39/0.40	c 0.175973 13.6523 810 12129
0.39/0.40	o 105
0.39/0.43	c 0.189971 13.6523 1053 12729
0.39/0.43	o 87
0.79/0.81	c 0.332949 13.6523 680 16203
0.79/0.81	o 71
1.39/1.44	c 0.604908 13.7812 1092 22504
1.39/1.44	o 67
1.59/1.66	c 0.733888 13.7812 1057 25398
1.59/1.66	o 41
2.99/3.00	c 1.64275 14.4258 1513 44014
2.99/3.00	o 40
3.09/3.13	c 1.71574 14.4258 1040 46192
3.09/3.13	o 31
4.09/4.10	c 2.33564 14.4258 1691 59378
4.09/4.10	o 11
9.19/9.27	c 6.07907 14.9297 1863 136745
9.19/9.27	o 8
10.09/10.10	c 6.68898 14.9297 1587 150323
10.09/10.10	o 3
66.10/66.15	c 48.3686 14.9102 2397 1045823
66.10/66.15	o 1
895.41/895.48	c 665.382 15.7695 1995 14739087
895.41/895.48	s OPTIMUM FOUND
895.41/895.48	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-2695665-1277909745/watcher-2695665-1277909745 -o /tmp/evaluation-result-2695665-1277909745/solver-2695665-1277909745 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695665-1277909745.wbo 

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


[startup+0 s]
/proc/loadavg: 2.56 2.68 2.57 3/178 24418
/proc/meminfo: memFree=31161776/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=2136 CPUtime=0
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 251 0 0 0 0 0 0 0 25 0 1 0 164614119 2187264 170 4089446400 134512640 136421960 4293952144 18446744073709551615 135529148 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24418/statm: 534 170 144 467 0 65 0

[startup+0.071265 s]
/proc/loadavg: 2.56 2.68 2.57 3/178 24418
/proc/meminfo: memFree=31161776/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=13848 CPUtime=0.06
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3111 0 0 0 5 1 0 0 25 0 1 0 164614119 14180352 3028 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3462 3028 236 467 0 2993 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13848

[startup+0.100671 s]
/proc/loadavg: 2.56 2.68 2.57 3/178 24418
/proc/meminfo: memFree=31161776/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=13848 CPUtime=0.09
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3112 0 0 0 6 3 0 0 25 0 1 0 164614119 14180352 3028 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3462 3028 236 467 0 2993 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13848

[startup+0.300659 s]
/proc/loadavg: 2.56 2.68 2.57 3/178 24418
/proc/meminfo: memFree=31161776/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=13976 CPUtime=0.29
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3163 0 0 0 13 16 0 0 25 0 1 0 164614119 14311424 3078 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3494 3078 236 467 0 3025 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13976

[startup+0.700598 s]
/proc/loadavg: 2.56 2.68 2.57 3/178 24418
/proc/meminfo: memFree=31161776/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=13976 CPUtime=0.69
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3176 0 0 0 28 41 0 0 25 0 1 0 164614119 14311424 3088 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3494 3088 236 467 0 3025 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13976

[startup+1.50047 s]
/proc/loadavg: 2.56 2.68 2.57 3/179 24419
/proc/meminfo: memFree=31148868/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=14108 CPUtime=1.49
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3202 0 0 0 63 86 0 0 25 0 1 0 164614119 14446592 3112 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3527 3112 236 467 0 3058 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14108

[startup+3.10118 s]
/proc/loadavg: 2.56 2.68 2.57 3/179 24419
/proc/meminfo: memFree=31148124/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=14768 CPUtime=3.09
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3369 0 0 0 169 140 0 0 25 0 1 0 164614119 15122432 3277 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3692 3277 236 467 0 3223 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14768

[startup+6.30064 s]
/proc/loadavg: 2.51 2.67 2.57 3/179 24419
/proc/meminfo: memFree=31139556/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=14768 CPUtime=6.29
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3372 0 0 0 387 242 0 0 25 0 1 0 164614119 15122432 3278 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3692 3278 236 467 0 3223 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14768

[startup+12.7006 s]
/proc/loadavg: 2.47 2.66 2.56 3/179 24419
/proc/meminfo: memFree=31128092/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15284 CPUtime=12.69
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3503 0 0 0 859 410 0 0 25 0 1 0 164614119 15650816 3407 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3821 3407 236 467 0 3352 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15284

[startup+25.5004 s]
/proc/loadavg: 2.37 2.62 2.55 3/179 24419
/proc/meminfo: memFree=31104460/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15284 CPUtime=25.49
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3503 0 0 0 1818 731 0 0 25 0 1 0 164614119 15650816 3407 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3821 3407 236 467 0 3352 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15284

[startup+51.1011 s]
/proc/loadavg: 2.30 2.59 2.54 3/179 24419
/proc/meminfo: memFree=31042864/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15284 CPUtime=51.1
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3503 0 0 0 3712 1398 0 0 25 0 1 0 164614119 15650816 3407 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3821 3407 236 467 0 3352 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 15284

[startup+102.307 s]
/proc/loadavg: 2.13 2.49 2.51 3/179 24421
/proc/meminfo: memFree=30966368/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15264 CPUtime=102.3
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3504 0 0 0 7504 2726 0 0 25 0 1 0 164614119 15630336 3407 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3816 3407 236 467 0 3347 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15264

[startup+162.301 s]
/proc/loadavg: 2.05 2.40 2.48 3/179 24423
/proc/meminfo: memFree=30910336/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15264 CPUtime=162.29
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3504 0 0 0 11937 4292 0 0 25 0 1 0 164614119 15630336 3407 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3816 3407 236 467 0 3347 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15264

[startup+222.3 s]
/proc/loadavg: 2.02 2.33 2.44 3/179 24425
/proc/meminfo: memFree=30876416/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15396 CPUtime=222.3
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3532 0 0 0 16351 5879 0 0 25 0 1 0 164614119 15765504 3435 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3849 3435 236 467 0 3380 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15396

[startup+282.3 s]
/proc/loadavg: 2.00 2.26 2.41 3/179 24425
/proc/meminfo: memFree=30846696/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15528 CPUtime=282.3
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3568 0 0 0 20786 7444 0 0 25 0 1 0 164614119 15900672 3471 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3882 3471 236 467 0 3413 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15528

[startup+342.3 s]
/proc/loadavg: 2.00 2.21 2.39 3/179 24436
/proc/meminfo: memFree=30827632/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15632 CPUtime=342.29
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3583 0 0 0 25248 8981 0 0 25 0 1 0 164614119 16007168 3486 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3908 3486 236 467 0 3439 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 15632

[startup+402.3 s]
/proc/loadavg: 2.00 2.17 2.36 3/179 24438
/proc/meminfo: memFree=30791968/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15760 CPUtime=402.29
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3611 0 0 0 29701 10528 0 0 25 0 1 0 164614119 16138240 3514 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3940 3514 236 467 0 3471 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 15760

[startup+462.3 s]
/proc/loadavg: 2.00 2.14 2.33 3/179 24440
/proc/meminfo: memFree=30726904/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15760 CPUtime=462.29
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3620 0 0 0 34204 12025 0 0 25 0 1 0 164614119 16138240 3523 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3940 3523 236 467 0 3471 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 15760

[startup+522.301 s]
/proc/loadavg: 2.00 2.11 2.31 3/179 24442
/proc/meminfo: memFree=30677092/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=15888 CPUtime=522.3
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3653 0 0 0 38681 13549 0 0 25 0 1 0 164614119 16269312 3556 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 3972 3556 236 467 0 3503 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 15888

[startup+582.301 s]
/proc/loadavg: 2.00 2.09 2.29 3/179 24442
/proc/meminfo: memFree=30615140/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16020 CPUtime=582.3
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3669 0 0 0 43147 15083 0 0 25 0 1 0 164614119 16404480 3572 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4005 3572 236 467 0 3536 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 16020

[startup+642.301 s]
/proc/loadavg: 2.06 2.08 2.27 3/179 24444
/proc/meminfo: memFree=30557000/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16020 CPUtime=642.31
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3681 0 0 0 47630 16601 0 0 25 0 1 0 164614119 16404480 3584 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4005 3584 236 467 0 3536 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 16020

[startup+702.301 s]
/proc/loadavg: 2.05 2.08 2.26 3/179 24446
/proc/meminfo: memFree=30499732/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16020 CPUtime=702.3
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3693 0 0 0 52147 18083 0 0 25 0 1 0 164614119 16404480 3596 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4005 3596 236 467 0 3536 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 16020

[startup+762.306 s]
/proc/loadavg: 2.02 2.06 2.24 3/179 24448
/proc/meminfo: memFree=30444464/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16144 CPUtime=762.31
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3703 0 0 0 56624 19607 0 0 25 0 1 0 164614119 16531456 3606 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4036 3606 236 467 0 3567 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 16144

[startup+822.301 s]
/proc/loadavg: 2.00 2.05 2.22 3/179 24450
/proc/meminfo: memFree=30377912/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16144 CPUtime=822.31
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3717 0 0 0 61134 21097 0 0 25 0 1 0 164614119 16531456 3620 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4036 3620 236 467 0 3567 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 16144

[startup+882.301 s]
/proc/loadavg: 2.00 2.04 2.20 3/179 24450
/proc/meminfo: memFree=30333564/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16144 CPUtime=882.3
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3722 0 0 0 65569 22661 0 0 25 0 1 0 164614119 16531456 3625 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4036 3625 236 467 0 3567 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 16144

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

[startup+883.101 s]
/proc/loadavg: 2.00 2.04 2.20 3/179 24450
/proc/meminfo: memFree=30333564/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16144 CPUtime=883.1
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3722 0 0 0 65626 22684 0 0 25 0 1 0 164614119 16531456 3625 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4036 3625 236 467 0 3567 0
Current children cumulated CPU time (s) 883.1
Current children cumulated vsize (KiB) 16144

[startup+889.501 s]
/proc/loadavg: 2.00 2.04 2.20 3/179 24452
/proc/meminfo: memFree=30329968/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16144 CPUtime=889.5
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3723 0 0 0 66097 22853 0 0 25 0 1 0 164614119 16531456 3626 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4036 3626 236 467 0 3567 0
Current children cumulated CPU time (s) 889.5
Current children cumulated vsize (KiB) 16144

[startup+892.701 s]
/proc/loadavg: 2.00 2.04 2.20 3/179 24452
/proc/meminfo: memFree=30329592/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16144 CPUtime=892.7
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3724 0 0 0 66330 22940 0 0 25 0 1 0 164614119 16531456 3627 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4036 3627 236 467 0 3567 0
Current children cumulated CPU time (s) 892.7
Current children cumulated vsize (KiB) 16144

[startup+894.307 s]
/proc/loadavg: 2.00 2.04 2.20 3/179 24452
/proc/meminfo: memFree=30326612/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16144 CPUtime=894.32
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3728 0 0 0 66449 22983 0 0 25 0 1 0 164614119 16531456 3631 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4036 3631 236 467 0 3567 0
Current children cumulated CPU time (s) 894.32
Current children cumulated vsize (KiB) 16144

[startup+895.101 s]
/proc/loadavg: 2.00 2.04 2.20 3/179 24452
/proc/meminfo: memFree=30326612/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16144 CPUtime=895.11
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3728 0 0 0 66511 23000 0 0 25 0 1 0 164614119 16531456 3631 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4036 3631 236 467 0 3567 0
Current children cumulated CPU time (s) 895.11
Current children cumulated vsize (KiB) 16144

[startup+895.301 s]
/proc/loadavg: 2.00 2.04 2.20 3/179 24452
/proc/meminfo: memFree=30325620/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16144 CPUtime=895.31
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3728 0 0 0 66525 23006 0 0 25 0 1 0 164614119 16531456 3631 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4036 3631 236 467 0 3567 0
Current children cumulated CPU time (s) 895.31
Current children cumulated vsize (KiB) 16144

[startup+895.407 s]
/proc/loadavg: 2.00 2.04 2.20 3/179 24452
/proc/meminfo: memFree=30325620/32951124 swapFree=67111528/67111528
[pid=24418] ppid=24416 vsize=16144 CPUtime=895.41
/proc/24418/stat : 24418 (pbct) R 24416 24418 22591 0 -1 4202496 3728 0 0 0 66533 23008 0 0 25 0 1 0 164614119 16531456 3631 4089446400 134512640 136421960 4293952144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24418/statm: 4036 3631 236 467 0 3567 0
Current children cumulated CPU time (s) 895.41
Current children cumulated vsize (KiB) 16144

Child status: 0
Real time (s): 895.497
CPU time (s): 895.511
CPU user time (s): 665.393
CPU system time (s): 230.118
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 16148

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

runsolver used 1.3478 second user time and 2.73858 second system time

The end

Launcher Data 

Begin job on node118 at 2010-06-30 16:55:45
IDJOB=2695665
IDBENCH=78970
IDSOLVER=1208
FILE ID=node118/2695665-1277909745
PBS_JOBID= 11197185
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= e5d1aa875e736e237b742aec181b44f0
RANDOM SEED=397594484

node118.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.791
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.58
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.791
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.791
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.76
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.791
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.791
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.75
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.791
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.83
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.791
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.791
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	: 5448.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31162296 kB
Buffers:        195724 kB
Cached:        1298204 kB
SwapCached:          0 kB
Active:         625076 kB
Inactive:      1022288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31162296 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5368 kB
Writeback:           0 kB
AnonPages:      153756 kB
Mapped:          16492 kB
Slab:            78784 kB
PageTables:       4964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   294536 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= 74208 MiB
End job on node118 at 2010-06-30 17:10:41